| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 5000.08 | 5000.02 |
| Name | crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf |
| MD5SUM | c86ce640ddb0138bf41ccc37bc6fcf28 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.156975 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1295 |
| Number of clauses | 148400 |
| Sum of the clauses size | 298025 |
| Maximum clause length | 37 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 148365 |
| 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 | 35 |
0.00/0.01 c 0.00/0.01 c Starting SatElite Preprocessing 0.00/0.01 c 0.00/0.01 c Parsing... 0.00/0.03 c ============================================================================== 0.00/0.03 c | | ORIGINAL | LEARNT | | 0.00/0.03 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.03 c ============================================================================== 0.00/0.03 c | 0 | 148400 298025 | 44519 0 0 nan | 0.000 % | 0.00/0.34 c | 0 | 147105 445953 | -- 0 -- -- | -- | -1295/147928 0.00/0.34 c ============================================================================== 0.00/0.34 c Result : #vars: 1260 #clauses: 147105 #literals: 445953 0.00/0.34 c CPU time: 0.342947 s 0.00/0.34 c ============================================================================== 0.00/0.41 c 0.00/0.41 c Starting glucose 0.00/0.41 c 331.86/331.94 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 331.86/331.94 c WARNING: for repeatability, setting FPU to use double precision 331.86/331.94 c ============================[ Problem Statistics ]============================= 331.86/331.94 c | | 331.86/331.94 c | Number of variables: 1260 | 331.86/331.94 c | Number of clauses: 147105 | 331.86/331.94 c | Parse time: 0.02 s | 331.86/331.94 c | | 331.86/331.94 c ============================[ Search Statistics ]============================== 331.86/331.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 331.86/331.94 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 331.86/331.94 c =============================================================================== 331.86/331.94 c | 1501 | 1260 147105 445953 | 1 1501 213 | 0.000 % | 331.86/331.94 c | 1723 | 1260 147105 445953 | 1 1723 211 | 0.000 % | 331.86/331.94 c | 1823 | 1260 147105 445953 | 1 1823 211 | 0.000 % | 331.86/331.94 c | 4762 | 1260 147105 445953 | 1 2773 166 | 0.000 % | 331.86/331.94 c | 4891 | 1260 147105 445953 | 1 2902 165 | 0.000 % | 331.86/331.94 c | 5153 | 1260 147105 445953 | 1 3164 163 | 0.000 % | 331.86/331.94 c | 7358 | 1260 147105 445953 | 1 5369 158 | 0.000 % | 331.86/331.94 c | 37283 | 1260 147105 445953 | 1 14981 123 | 0.000 % | 331.86/331.94 c | 127255 | 1260 147105 445953 | 1 42082 98 | 0.000 % | 331.86/331.94 c | 242104 | 1260 147105 445953 | 1 52518 102 | 0.000 % | 331.86/331.94 c | 242207 | 1260 147105 445953 | 1 52621 102 | 0.000 % | 331.86/331.94 c | 248449 | 1260 147105 445953 | 1 58863 106 | 0.000 % | 331.86/331.94 c | 254068 | 1260 147105 445953 | 1 64482 110 | 0.000 % | 331.86/331.94 c | 254169 | 1260 147105 445953 | 1 64583 110 | 0.000 % | 331.86/331.94 c | 254271 | 1260 147105 445953 | 1 64685 110 | 0.000 % | 331.86/331.94 c | 292015 | 1260 147105 445953 | 1 69845 105 | 0.000 % | 331.86/331.94 c | 293457 | 1260 147105 445953 | 1 36078 75 | 0.000 % | 331.86/331.94 c | 293622 | 1260 147105 445953 | 1 36243 75 | 0.000 % | 331.86/331.94 c | 566707 | 1260 147105 445953 | 1 94337 90 | 0.000 % | 331.86/331.94 c | 598620 | 1260 147105 445953 | 1 75438 88 | 0.000 % | 331.86/331.94 c | 1071478 | 1260 147105 445953 | 1 119908 86 | 0.000 % | 331.86/331.94 c | 1071850 | 1260 147105 445953 | 1 120280 86 | 0.000 % | 331.86/331.94 c | 1071951 | 1260 147105 445953 | 1 120381 86 | 0.000 % | 331.86/331.94 c | 1072527 | 1260 147105 445953 | 1 120957 86 | 0.000 % | 331.86/331.94 c | 1072852 | 1260 147105 445953 | 1 121282 86 | 0.000 % | 331.86/331.94 c | 1102484 | 1260 147105 445953 | 1 79334 67 | 0.000 % | 331.86/331.94 c | 1115785 | 1260 147105 445953 | 1 92635 72 | 0.000 % | 331.86/331.94 c | 1119701 | 1260 147105 445953 | 1 96551 74 | 0.000 % | 331.86/331.94 c | 1120022 | 1260 147105 445953 | 1 96872 74 | 0.000 % | 331.86/331.94 c | 1120126 | 1260 147105 445953 | 1 96976 74 | 0.000 % | 331.86/331.94 c | 1120465 | 1260 147105 445953 | 1 97315 74 | 0.000 % | 331.86/331.94 c | 1131511 | 1260 147105 445953 | 1 108361 78 | 0.000 % | 331.86/331.94 c | 1131612 | 1260 147105 445953 | 1 108462 78 | 0.000 % | 331.86/331.94 c | 1131714 | 1260 147105 445953 | 1 108564 78 | 0.000 % | 331.86/331.94 c | 1132014 | 1260 147105 445953 | 1 108864 78 | 0.000 % | 331.86/331.94 c | 1132114 | 1260 147105 445953 | 1 108964 78 | 0.000 % | 331.86/331.94 c | 1367445 | 1260 147105 445953 | 1 113874 67 | 0.000 % | 331.86/331.94 c | 1413042 | 1260 147105 445953 | 1 159471 80 | 0.000 % | 331.86/331.94 c | 1802014 | 1260 147105 445953 | 1 112480 64 | 0.000 % | 1693.40/1693.49 c | 3589827 | 1260 147105 445953 | 1 202256 70 | 0.000 % | 1693.40/1693.49 c | 3589928 | 1260 147105 445953 | 1 202357 70 | 0.000 % | 1693.40/1693.49 c | 3615873 | 1260 147105 445953 | 1 228302 74 | 0.000 % | 1693.40/1693.49 c | 3664614 | 1260 147105 445953 | 1 143039 57 | 0.000 % | 1693.40/1693.49 c | 3664714 | 1260 147105 445953 | 1 143139 57 | 0.000 % | 1693.40/1693.49 c | 3665013 | 1260 147105 445953 | 1 143438 57 | 0.000 % | 1693.40/1693.49 c | 3692707 | 1260 147105 445953 | 1 171132 65 | 0.000 % | 1693.40/1693.49 c | 3822725 | 1260 147105 445953 | 1 164550 60 | 0.000 % | 1693.40/1693.49 c | 3824561 | 1260 147105 445953 | 1 166386 61 | 0.000 % | 1693.40/1693.49 c | 3890389 | 1260 147105 445953 | 1 232214 64 | 0.000 % | 1693.40/1693.49 c | 3890569 | 1260 147105 445953 | 1 232394 64 | 0.000 % | 1693.40/1693.49 c | 3890986 | 1260 147105 445953 | 1 232811 64 | 0.000 % | 1693.40/1693.49 c | 4072265 | 1260 147105 445953 | 1 274880 69 | 0.000 % | 1693.40/1693.49 c | 4141679 | 1260 147105 445953 | 1 202499 74 | 0.000 % | 1693.40/1693.49 c | 4144307 | 1260 147105 445953 | 1 205127 75 | 0.000 % | 1693.40/1693.49 c | 4144409 | 1260 147105 445953 | 1 205229 75 | 0.000 % | 1693.40/1693.49 c | 4147221 | 1260 147105 445953 | 1 208041 76 | 0.000 % | 1693.40/1693.49 c | 4196300 | 1260 147105 445953 | 1 257120 81 | 0.000 % | 1693.40/1693.49 c | 4223058 | 1260 147105 445953 | 1 283878 83 | 0.000 % | 1693.40/1693.49 c | 4223843 | 1260 147105 445953 | 1 284663 83 | 0.000 % | 1693.40/1693.49 c | 4357662 | 1260 147105 445953 | 1 274078 75 | 0.000 % | 1693.40/1693.49 c | 4370795 | 1260 147105 445953 | 1 287211 76 | 0.000 % | 1693.40/1693.49 c | 4374411 | 1260 147105 445953 | 1 290827 77 | 0.000 % | 1693.40/1693.49 c | 4385688 | 1260 147105 445953 | 1 155098 58 | 0.000 % | 1693.40/1693.49 c | 4385987 | 1260 147105 445953 | 1 155397 58 | 0.000 % | 1693.40/1693.49 c | 4386496 | 1260 147105 445953 | 1 155906 58 | 0.000 % | 1693.40/1693.49 c | 4400557 | 1260 147105 445953 | 1 169967 60 | 0.000 % | 1693.40/1693.49 c | 4400814 | 1260 147105 445953 | 1 170224 61 | 0.000 % | 1693.40/1693.49 c | 4400916 | 1260 147105 445953 | 1 170326 61 | 0.000 % | 1693.40/1693.49 c | 4401448 | 1260 147105 445953 | 1 170858 61 | 0.000 % | 1693.40/1693.49 c | 4762493 | 1260 147105 445953 | 1 230103 58 | 0.000 % | 1693.40/1693.49 c | 4906269 | 1260 147105 445953 | 1 219084 68 | 0.000 % | 1693.40/1693.49 c | 4906370 | 1260 147105 445953 | 1 219185 68 | 0.000 % | 1693.40/1693.49 c | 4992691 | 1260 147105 445953 | 1 305506 77 | 0.000 % | 1693.40/1693.49 c | 5106451 | 1260 147105 445953 | 1 261867 74 | 0.000 % | 1693.40/1693.49 c | 5106553 | 1260 147105 445953 | 1 261969 74 | 0.000 % | 1693.40/1693.49 c | 5110372 | 1260 147105 445953 | 1 265788 75 | 0.000 % | 1693.40/1693.49 c | 5111620 | 1260 147105 445953 | 1 267036 75 | 0.000 % | 1693.40/1693.49 c | 5301823 | 1260 147105 445953 | 1 297237 74 | 0.000 % | 1693.40/1693.49 c | 5353387 | 1260 147105 445953 | 1 186207 65 | 0.000 % | 1693.40/1693.49 c | 5353490 | 1260 147105 445953 | 1 186310 65 | 0.000 % | 1693.40/1693.49 c | 5353590 | 1260 147105 445953 | 1 186410 65 | 0.000 % | 1693.40/1693.49 c | 5396184 | 1260 147105 445953 | 1 229004 76 | 0.000 % | 1693.40/1693.49 c | 5672941 | 1260 147105 445953 | 1 172775 60 | 0.000 % | 1693.40/1693.49 c | 5673041 | 1260 147105 445953 | 1 172875 60 | 0.000 % | 1693.40/1693.49 c | 5673143 | 1260 147105 445953 | 1 172977 60 | 0.000 % | 1693.40/1693.49 c | 5673388 | 1260 147105 445953 | 1 173222 60 | 0.000 % | 1693.40/1693.49 c | 5675294 | 1260 147105 445953 | 1 175128 60 | 0.000 % | 1693.40/1693.49 c | 5675395 | 1260 147105 445953 | 1 175229 60 | 0.000 % | 1693.40/1693.49 c | 5675595 | 1260 147105 445953 | 1 175429 61 | 0.000 % | 2140.91/2140.97 c | 5715374 | 1260 147105 445953 | 1 215208 67 | 0.000 % | 2140.91/2140.97 c | 5715667 | 1260 147105 445953 | 1 215501 67 | 0.000 % | 2140.91/2140.97 c | 5715767 | 1260 147105 445953 | 1 215601 67 | 0.000 % | 2140.91/2140.97 c | 5715867 | 1260 147105 445953 | 1 215701 67 | 0.000 % | 2140.91/2140.97 c | 5735766 | 1260 147105 445953 | 1 235600 72 | 0.000 % | 2140.91/2140.97 c | 5735868 | 1260 147105 445953 | 1 235702 72 | 0.000 % | 2140.91/2140.97 c | 5735969 | 1260 147105 445953 | 1 235803 72 | 0.000 % | 2140.91/2140.97 c | 5736514 | 1260 147105 445953 | 1 236348 72 | 0.000 % | 2140.91/2140.97 c | 5736614 | 1260 147105 445953 | 1 236448 72 | 0.000 % | 2140.91/2140.97 c | 5791826 | 1260 147105 445953 | 1 291660 77 | 0.000 % | 2140.91/2140.97 c | 5812607 | 1260 147105 445953 | 1 312441 80 | 0.000 % | 2140.91/2140.97 c | 5812707 | 1260 147105 445953 | 1 312541 80 | 0.000 % | 2140.91/2140.97 c | 5812807 | 1260 147105 445953 | 1 312641 80 | 0.000 % | 2140.91/2140.97 c | 5812908 | 1260 147105 445953 | 1 312742 80 | 0.000 % | 2140.91/2140.97 c | 5813008 | 1260 147105 445953 | 1 312842 80 | 0.000 % | 2140.91/2140.97 c | 5813108 | 1260 147105 445953 | 1 312942 80 | 0.000 % | 2140.91/2140.97 c | 6020094 | 1260 147105 445953 | 1 176524 58 | 0.000 % | 2140.91/2140.97 c | 6020195 | 1260 147105 445953 | 1 176625 58 | 0.000 % | 2140.91/2140.97 c | 6020495 | 1260 147105 445953 | 1 176925 58 | 0.000 % | 2140.91/2140.97 c | 6027631 | 1260 147105 445953 | 1 184061 61 | 0.000 % | 2140.91/2140.97 c | 6027732 | 1260 147105 445953 | 1 184162 61 | 0.000 % | 2140.91/2140.97 c | 6051439 | 1260 147105 445953 | 1 207869 65 | 0.000 % | 2140.91/2140.97 c | 6051555 | 1260 147105 445953 | 1 207985 65 | 0.000 % | 2140.91/2140.97 c | 6052409 | 1260 147105 445953 | 1 208839 65 | 0.000 % | 2140.91/2140.97 c | 6052509 | 1260 147105 445953 | 1 208939 65 | 0.000 % | 2140.91/2140.97 c | 6057409 | 1260 147105 445953 | 1 213839 66 | 0.000 % | 2140.91/2140.97 c | 6057509 | 1260 147105 445953 | 1 213939 66 | 0.000 % | 2140.91/2140.97 c | 6060553 | 1260 147105 445953 | 1 216983 67 | 0.000 % | 2140.91/2140.97 c | 6153867 | 1260 147105 445953 | 1 310297 73 | 0.000 % | 2140.91/2140.97 c | 6154196 | 1260 147105 445953 | 1 310626 73 | 0.000 % | 2140.91/2140.97 c | 6155468 | 1260 147105 445953 | 1 311898 73 | 0.000 % | 2140.91/2140.97 c | 6164232 | 1260 147105 445953 | 1 320662 74 | 0.000 % | 2140.91/2140.97 c | 6164332 | 1260 147105 445953 | 1 320762 74 | 0.000 % | 2140.91/2140.97 c | 6165856 | 1260 147105 445953 | 1 322286 74 | 0.000 % | 2140.91/2140.97 c | 6449701 | 1260 147105 445953 | 1 252321 74 | 0.000 % | 2140.91/2140.97 c | 6474136 | 1260 147105 445953 | 1 276756 77 | 0.000 % | 2140.91/2140.97 c | 6474236 | 1260 147105 445953 | 1 276856 77 | 0.000 % | 2140.91/2140.97 c | 6475286 | 1260 147105 445953 | 1 277906 77 | 0.000 % | 2140.91/2140.97 c | 6475879 | 1260 147105 445953 | 1 278499 77 | 0.000 % | 2140.91/2140.97 c | 6484284 | 1260 147105 445953 | 1 286904 78 | 0.000 % | 2140.91/2140.97 c | 6729760 | 1260 147105 445953 | 1 351578 79 | 0.000 % | 2140.91/2140.97 c | 6737336 | 1260 147105 445953 | 1 359154 79 | 0.000 % | 2140.91/2140.97 c | 6737627 | 1260 147105 445953 | 1 359445 79 | 0.000 % | 2140.91/2140.97 c | 6737730 | 1260 147105 445953 | 1 359548 79 | 0.000 % | 2140.91/2140.97 c | 6762099 | 1260 147105 445953 | 1 200511 63 | 0.000 % | 2140.91/2140.97 c | 6774447 | 1260 147105 445953 | 1 212859 65 | 0.000 % | 2140.91/2140.97 c | 6775044 | 1260 147105 445953 | 1 213456 65 | 0.000 % | 2140.91/2140.97 c | 6779445 | 1260 147105 445953 | 1 217857 66 | 0.000 % | 2140.91/2140.97 c | 6781710 | 1260 147105 445953 | 1 220122 66 | 0.000 % | 2140.91/2140.97 c | 6781811 | 1260 147105 445953 | 1 220223 66 | 0.000 % | 2544.02/2544.01 c | 6781911 | 1260 147105 445953 | 1 220323 66 | 0.000 % | 2544.02/2544.01 c | 6782012 | 1260 147105 445953 | 1 220424 66 | 0.000 % | 2544.02/2544.01 c | 6782112 | 1260 147105 445953 | 1 220524 66 | 0.000 % | 2544.02/2544.01 c | 6782213 | 1260 147105 445953 | 1 220625 66 | 0.000 % | 2544.02/2544.01 c | 6782313 | 1260 147105 445953 | 1 220725 66 | 0.000 % | 2544.02/2544.01 c | 6782725 | 1260 147105 445953 | 1 221137 67 | 0.000 % | 2544.02/2544.01 c | 6927702 | 1260 147105 445953 | 1 366114 86 | 0.000 % | 2544.02/2544.01 c | 6985853 | 1260 147105 445953 | 1 238263 72 | 0.000 % | 2544.02/2544.01 c | 6985953 | 1260 147105 445953 | 1 238363 72 | 0.000 % | 2544.02/2544.01 c | 7142504 | 1260 147105 445953 | 1 206316 67 | 0.000 % | 2544.02/2544.01 c | 7142605 | 1260 147105 445953 | 1 206417 67 | 0.000 % | 2544.02/2544.01 c | 7142705 | 1260 147105 445953 | 1 206517 67 | 0.000 % | 2544.02/2544.01 c | 7167149 | 1260 147105 445953 | 1 230961 71 | 0.000 % | 2544.02/2544.01 c | 7167331 | 1260 147105 445953 | 1 231143 71 | 0.000 % | 2544.02/2544.01 c | 7170610 | 1260 147105 445953 | 1 234422 72 | 0.000 % | 2544.02/2544.01 c | 7171794 | 1260 147105 445953 | 1 235606 72 | 0.000 % | 2544.02/2544.01 c | 7173171 | 1260 147105 445953 | 1 236983 72 | 0.000 % | 2544.02/2544.01 c | 7173271 | 1260 147105 445953 | 1 237083 72 | 0.000 % | 2544.02/2544.01 c | 7173371 | 1260 147105 445953 | 1 237183 72 | 0.000 % | 2544.02/2544.01 c | 7173471 | 1260 147105 445953 | 1 237283 72 | 0.000 % | 2544.02/2544.01 c | 7176524 | 1260 147105 445953 | 1 240336 73 | 0.000 % | 2544.02/2544.01 c | 7177432 | 1260 147105 445953 | 1 241244 73 | 0.000 % | 2544.02/2544.01 c | 7181303 | 1260 147105 445953 | 1 245115 74 | 0.000 % | 2544.02/2544.01 c | 7181407 | 1260 147105 445953 | 1 245219 74 | 0.000 % | 2544.02/2544.01 c | 7182352 | 1260 147105 445953 | 1 246164 74 | 0.000 % | 2544.02/2544.01 c | 7188542 | 1260 147105 445953 | 1 252354 75 | 0.000 % | 2544.02/2544.01 c | 7188645 | 1260 147105 445953 | 1 252457 75 | 0.000 % | 2544.02/2544.01 c | 7188746 | 1260 147105 445953 | 1 252558 75 | 0.000 % | 2544.02/2544.01 c | 7200417 | 1260 147105 445953 | 1 264229 76 | 0.000 % | 2544.02/2544.01 c | 7212714 | 1260 147105 445953 | 1 276526 79 | 0.000 % | 2544.02/2544.01 c | 7389771 | 1260 147105 445953 | 1 262386 67 | 0.000 % | 2544.02/2544.01 c | 7410643 | 1260 147105 445953 | 1 283258 70 | 0.000 % | 2544.02/2544.01 c | 7410743 | 1260 147105 445953 | 1 283358 70 | 0.000 % | 2544.02/2544.01 c | 7410843 | 1260 147105 445953 | 1 283458 70 | 0.000 % | 2544.02/2544.01 c | 7413436 | 1260 147105 445953 | 1 286051 71 | 0.000 % | 2544.02/2544.01 c | 7413982 | 1260 147105 445953 | 1 286597 71 | 0.000 % | 2544.02/2544.01 c | 7414082 | 1260 147105 445953 | 1 286697 71 | 0.000 % | 2544.02/2544.01 c | 7414182 | 1260 147105 445953 | 1 286797 71 | 0.000 % | 2544.02/2544.01 c | 7458273 | 1260 147105 445953 | 1 330888 73 | 0.000 % | 2544.02/2544.01 c | 7519336 | 1260 147105 445953 | 1 198153 58 | 0.000 % | 2544.02/2544.01 c | 7519438 | 1260 147105 445953 | 1 198255 58 | 0.000 % | 2544.02/2544.01 c | 7519538 | 1260 147105 445953 | 1 198355 58 | 0.000 % | 2544.02/2544.01 c | 7519640 | 1260 147105 445953 | 1 198457 59 | 0.000 % | 2544.02/2544.01 c | 7524538 | 1260 147105 445953 | 1 203355 60 | 0.000 % | 2544.02/2544.01 c | 7524705 | 1260 147105 445953 | 1 203522 60 | 0.000 % | 2544.02/2544.01 c | 7524805 | 1260 147105 445953 | 1 203622 60 | 0.000 % | 2544.02/2544.01 c | 7635777 | 1260 147105 445953 | 1 314594 77 | 0.000 % | 2544.02/2544.01 c | 7636054 | 1260 147105 445953 | 1 314871 77 | 0.000 % | 2544.02/2544.01 c | 7636155 | 1260 147105 445953 | 1 314972 77 | 0.000 % | 2544.02/2544.01 c | 7729569 | 1260 147105 445953 | 1 211991 66 | 0.000 % | 2957.94/2957.92 c | 7729674 | 1260 147105 445953 | 1 212096 66 | 0.000 % | 2957.94/2957.92 c | 7730165 | 1260 147105 445953 | 1 212587 66 | 0.000 % | 2957.94/2957.92 c | 7730934 | 1260 147105 445953 | 1 213356 66 | 0.000 % | 2957.94/2957.92 c | 7745873 | 1260 147105 445953 | 1 228295 69 | 0.000 % | 2957.94/2957.92 c | 7745973 | 1260 147105 445953 | 1 228395 69 | 0.000 % | 2957.94/2957.92 c | 7746073 | 1260 147105 445953 | 1 228495 69 | 0.000 % | 2957.94/2957.92 c | 7746185 | 1260 147105 445953 | 1 228607 69 | 0.000 % | 2957.94/2957.92 c | 7785571 | 1260 147105 445953 | 1 267993 74 | 0.000 % | 2957.94/2957.92 c | 7878063 | 1260 147105 445953 | 1 360485 91 | 0.000 % | 2957.94/2957.92 c | 7879624 | 1260 147105 445953 | 1 362046 91 | 0.000 % | 2957.94/2957.92 c | 7879726 | 1260 147105 445953 | 1 362148 91 | 0.000 % | 2957.94/2957.92 c | 8147344 | 1260 147105 445953 | 1 229164 66 | 0.000 % | 2957.94/2957.92 c | 8147860 | 1260 147105 445953 | 1 229680 66 | 0.000 % | 2957.94/2957.92 c | 8148335 | 1260 147105 445953 | 1 230155 66 | 0.000 % | 2957.94/2957.92 c | 8148483 | 1260 147105 445953 | 1 230303 66 | 0.000 % | 2957.94/2957.92 c | 8148583 | 1260 147105 445953 | 1 230403 66 | 0.000 % | 2957.94/2957.92 c | 8154021 | 1260 147105 445953 | 1 235841 67 | 0.000 % | 2957.94/2957.92 c | 8284381 | 1260 147105 445953 | 1 366201 84 | 0.000 % | 2957.94/2957.92 c | 8284706 | 1260 147105 445953 | 1 366526 84 | 0.000 % | 2957.94/2957.92 c | 8285792 | 1260 147105 445953 | 1 367612 84 | 0.000 % | 2957.94/2957.92 c | 8286358 | 1260 147105 445953 | 1 368178 84 | 0.000 % | 2957.94/2957.92 c | 8288621 | 1260 147105 445953 | 1 370441 84 | 0.000 % | 2957.94/2957.92 c | 8288721 | 1260 147105 445953 | 1 370541 84 | 0.000 % | 2957.94/2957.92 c | 8289107 | 1260 147105 445953 | 1 370927 84 | 0.000 % | 2957.94/2957.92 c | 8293241 | 1260 147105 445953 | 1 375061 84 | 0.000 % | 2957.94/2957.92 c | 8293343 | 1260 147105 445953 | 1 375163 84 | 0.000 % | 2957.94/2957.92 c | 8293445 | 1260 147105 445953 | 1 375265 84 | 0.000 % | 2957.94/2957.92 c | 8301003 | 1260 147105 445953 | 1 382823 85 | 0.000 % | 2957.94/2957.92 c | 8301149 | 1260 147105 445953 | 1 382969 85 | 0.000 % | 2957.94/2957.92 c | 8301482 | 1260 147105 445953 | 1 383302 85 | 0.000 % | 2957.94/2957.92 c | 8301584 | 1260 147105 445953 | 1 383404 85 | 0.000 % | 2957.94/2957.92 c | 8492261 | 1260 147105 445953 | 1 369876 71 | 0.000 % | 2957.94/2957.92 c | 8492361 | 1260 147105 445953 | 1 369976 71 | 0.000 % | 2957.94/2957.92 c | 8497095 | 1260 147105 445953 | 1 374710 71 | 0.000 % | 2957.94/2957.92 c | 8497204 | 1260 147105 445953 | 1 374819 71 | 0.000 % | 2957.94/2957.92 c | 8497304 | 1260 147105 445953 | 1 374919 71 | 0.000 % | 2957.94/2957.92 c | 8498398 | 1260 147105 445953 | 1 376013 71 | 0.000 % | 2957.94/2957.92 c | 8498576 | 1260 147105 445953 | 1 376191 71 | 0.000 % | 2957.94/2957.92 c | 8498678 | 1260 147105 445953 | 1 376293 71 | 0.000 % | 2957.94/2957.92 c | 8498778 | 1260 147105 445953 | 1 376393 71 | 0.000 % | 2957.94/2957.92 c | 8498880 | 1260 147105 445953 | 1 376495 71 | 0.000 % | 2957.94/2957.92 c | 8498984 | 1260 147105 445953 | 1 376599 71 | 0.000 % | 2957.94/2957.92 c | 8501018 | 1260 147105 445953 | 1 378633 72 | 0.000 % | 2957.94/2957.92 c | 8501416 | 1260 147105 445953 | 1 379031 72 | 0.000 % | 2957.94/2957.92 c | 8501573 | 1260 147105 445953 | 1 379188 72 | 0.000 % | 2957.94/2957.92 c | 8501674 | 1260 147105 445953 | 1 379289 72 | 0.000 % | 2957.94/2957.92 c | 8502142 | 1260 147105 445953 | 1 379757 72 | 0.000 % | 2957.94/2957.92 c | 8502242 | 1260 147105 445953 | 1 379857 72 | 0.000 % | 2957.94/2957.92 c | 8502461 | 1260 147105 445953 | 1 380076 72 | 0.000 % | 2957.94/2957.92 c | 8502562 | 1260 147105 445953 | 1 380177 72 | 0.000 % | 3219.04/3219.00 c | 8756595 | 1260 147105 445953 | 1 218012 60 | 0.000 % | 3219.04/3219.00 c | 8763603 | 1260 147105 445953 | 1 225020 62 | 0.000 % | 3219.04/3219.00 c | 8763896 | 1260 147105 445953 | 1 225313 62 | 0.000 % | 3219.04/3219.00 c | 8763998 | 1260 147105 445953 | 1 225415 62 | 0.000 % | 3219.04/3219.00 c | 8764099 | 1260 147105 445953 | 1 225516 62 | 0.000 % | 3219.04/3219.00 c | 8764200 | 1260 147105 445953 | 1 225617 63 | 0.000 % | 3219.04/3219.00 c | 8873205 | 1260 147105 445953 | 1 334622 76 | 0.000 % | 3219.04/3219.00 c | 8873307 | 1260 147105 445953 | 1 334724 76 | 0.000 % | 3219.04/3219.00 c | 8873408 | 1260 147105 445953 | 1 334825 76 | 0.000 % | 3219.04/3219.00 c | 8873590 | 1260 147105 445953 | 1 335007 76 | 0.000 % | 3219.04/3219.00 c | 8873692 | 1260 147105 445953 | 1 335109 76 | 0.000 % | 3219.04/3219.00 c | 8873797 | 1260 147105 445953 | 1 335214 76 | 0.000 % | 3219.04/3219.00 c | 8874259 | 1260 147105 445953 | 1 335676 76 | 0.000 % | 3219.04/3219.00 c | 8874675 | 1260 147105 445953 | 1 336092 76 | 0.000 % | 3219.04/3219.00 c | 8874776 | 1260 147105 445953 | 1 336193 76 | 0.000 % | 3219.04/3219.00 c | 8875387 | 1260 147105 445953 | 1 336804 76 | 0.000 % | 3219.04/3219.00 c | 8875487 | 1260 147105 445953 | 1 336904 76 | 0.000 % | 3219.04/3219.00 c | 8875587 | 1260 147105 445953 | 1 337004 76 | 0.000 % | 3219.04/3219.00 c | 8875687 | 1260 147105 445953 | 1 337104 76 | 0.000 % | 3219.04/3219.00 c | 8875795 | 1260 147105 445953 | 1 337212 76 | 0.000 % | 3219.04/3219.00 c | 8876866 | 1260 147105 445953 | 1 338283 77 | 0.000 % | 3219.04/3219.00 c | 8883618 | 1260 147105 445953 | 1 345035 77 | 0.000 % | 3219.04/3219.00 c | 8911734 | 1260 147105 445953 | 1 373151 80 | 0.000 % | 3219.04/3219.00 c | 8914011 | 1260 147105 445953 | 1 375428 80 | 0.000 % | 3219.04/3219.00 c | 8915503 | 1260 147105 445953 | 1 376920 81 | 0.000 % | 3219.04/3219.00 c | 8915603 | 1260 147105 445953 | 1 377020 81 | 0.000 % | 3219.04/3219.00 c | 9003046 | 1260 147105 445953 | 1 252472 71 | 0.000 % | 3219.04/3219.00 c | 9074672 | 1260 147105 445953 | 1 324098 79 | 0.000 % | 3219.04/3219.00 c | 9074772 | 1260 147105 445953 | 1 324198 79 | 0.000 % | 3219.04/3219.00 c | 9074872 | 1260 147105 445953 | 1 324298 79 | 0.000 % | 3219.04/3219.00 c | 9074972 | 1260 147105 445953 | 1 324398 79 | 0.000 % | 3219.04/3219.00 c | 9075072 | 1260 147105 445953 | 1 324498 80 | 0.000 % | 3219.04/3219.00 c | 9075172 | 1260 147105 445953 | 1 324598 80 | 0.000 % | 3219.04/3219.00 c | 9075273 | 1260 147105 445953 | 1 324699 80 | 0.000 % | 3219.04/3219.00 c | 9075373 | 1260 147105 445953 | 1 324799 80 | 0.000 % | 3219.04/3219.00 c | 9075473 | 1260 147105 445953 | 1 324899 80 | 0.000 % | 3219.04/3219.00 c | 9081513 | 1260 147105 445953 | 1 330939 81 | 0.000 % | 3219.04/3219.00 c | 9081878 | 1260 147105 445953 | 1 331304 81 | 0.000 % | 3219.04/3219.00 c | 9081979 | 1260 147105 445953 | 1 331405 81 | 0.000 % | 3219.04/3219.00 c | 9082114 | 1260 147105 445953 | 1 331540 81 | 0.000 % | 3219.04/3219.00 c | 9082247 | 1260 147105 445953 | 1 331673 81 | 0.000 % | 3219.04/3219.00 c | 9082638 | 1260 147105 445953 | 1 332064 81 | 0.000 % | 3219.04/3219.00 c | 9082738 | 1260 147105 445953 | 1 332164 81 | 0.000 % | 3219.04/3219.00 c | 9084178 | 1260 147105 445953 | 1 333604 81 | 0.000 % | 3219.04/3219.00 c | 9084278 | 1260 147105 445953 | 1 333704 81 | 0.000 % | 3219.04/3219.00 c | 9084378 | 1260 147105 445953 | 1 333804 81 | 0.000 % | 3219.04/3219.00 c | 9084478 | 1260 147105 445953 | 1 333904 81 | 0.000 % | 3219.04/3219.00 c | 9084755 | 1260 147105 445953 | 1 334181 81 | 0.000 % | 3219.04/3219.00 c | 9084856 | 1260 147105 445953 | 1 334282 81 | 0.000 % | 3219.04/3219.00 c | 9085072 | 1260 147105 445953 | 1 334498 81 | 0.000 % | 3535.74/3535.76 c | 9238138 | 1260 147105 445953 | 1 272966 66 | 0.000 % | 3535.74/3535.76 c | 9238238 | 1260 147105 445953 | 1 273066 66 | 0.000 % | 3535.74/3535.76 c | 9238338 | 1260 147105 445953 | 1 273166 66 | 0.000 % | 3535.74/3535.76 c | 9279062 | 1260 147105 445953 | 1 313890 70 | 0.000 % | 3535.74/3535.76 c | 9281575 | 1260 147105 445953 | 1 316403 71 | 0.000 % | 3535.74/3535.76 c | 9282722 | 1260 147105 445953 | 1 317550 71 | 0.000 % | 3535.74/3535.76 c | 9282822 | 1260 147105 445953 | 1 317650 71 | 0.000 % | 3535.74/3535.76 c | 9284713 | 1260 147105 445953 | 1 319541 71 | 0.000 % | 3535.74/3535.76 c | 9315270 | 1260 147105 445953 | 1 350098 76 | 0.000 % | 3535.74/3535.76 c | 9315372 | 1260 147105 445953 | 1 350200 76 | 0.000 % | 3535.74/3535.76 c | 9315475 | 1260 147105 445953 | 1 350303 76 | 0.000 % | 3535.74/3535.76 c | 9315575 | 1260 147105 445953 | 1 350403 76 | 0.000 % | 3535.74/3535.76 c | 9315675 | 1260 147105 445953 | 1 350503 76 | 0.000 % | 3535.74/3535.76 c | 9315776 | 1260 147105 445953 | 1 350604 76 | 0.000 % | 3535.74/3535.76 c | 9315879 | 1260 147105 445953 | 1 350707 76 | 0.000 % | 3535.74/3535.76 c | 9316023 | 1260 147105 445953 | 1 350851 76 | 0.000 % | 3535.74/3535.76 c | 9325510 | 1260 147105 445953 | 1 360338 77 | 0.000 % | 3535.74/3535.76 c | 9325802 | 1260 147105 445953 | 1 360630 77 | 0.000 % | 3535.74/3535.76 c | 9386163 | 1260 147105 445953 | 1 420991 83 | 0.000 % | 3535.74/3535.76 c | 9386263 | 1260 147105 445953 | 1 421091 83 | 0.000 % | 3535.74/3535.76 c | 9386364 | 1260 147105 445953 | 1 421192 83 | 0.000 % | 3535.74/3535.76 c | 9386465 | 1260 147105 445953 | 1 421293 83 | 0.000 % | 3535.74/3535.76 c | 9386572 | 1260 147105 445953 | 1 421400 83 | 0.000 % | 3535.74/3535.76 c | 9386672 | 1260 147105 445953 | 1 421500 83 | 0.000 % | 3535.74/3535.76 c | 9392587 | 1260 147105 445953 | 1 427415 83 | 0.000 % | 3535.74/3535.76 c | 9392687 | 1260 147105 445953 | 1 427515 83 | 0.000 % | 3535.74/3535.76 c | 9454187 | 1260 147105 445953 | 1 271810 70 | 0.000 % | 3535.74/3535.76 c | 9454287 | 1260 147105 445953 | 1 271910 70 | 0.000 % | 3535.74/3535.76 c | 9454388 | 1260 147105 445953 | 1 272011 70 | 0.000 % | 3535.74/3535.76 c | 9454692 | 1260 147105 445953 | 1 272315 70 | 0.000 % | 3535.74/3535.76 c | 9454793 | 1260 147105 445953 | 1 272416 70 | 0.000 % | 3535.74/3535.76 c | 9455486 | 1260 147105 445953 | 1 273109 70 | 0.000 % | 3535.74/3535.76 c | 9455590 | 1260 147105 445953 | 1 273213 70 | 0.000 % | 3535.74/3535.76 c | 9455694 | 1260 147105 445953 | 1 273317 70 | 0.000 % | 3535.74/3535.76 c | 9496498 | 1260 147105 445953 | 1 314121 72 | 0.000 % | 3535.74/3535.76 c | 9496633 | 1260 147105 445953 | 1 314256 72 | 0.000 % | 3535.74/3535.76 c | 9496735 | 1260 147105 445953 | 1 314358 72 | 0.000 % | 3535.74/3535.76 c | 9515098 | 1260 147105 445953 | 1 332721 74 | 0.000 % | 3535.74/3535.76 c | 9525049 | 1260 147105 445953 | 1 342672 75 | 0.000 % | 3535.74/3535.76 c | 9525151 | 1260 147105 445953 | 1 342774 75 | 0.000 % | 3535.74/3535.76 c | 9529648 | 1260 147105 445953 | 1 347271 75 | 0.000 % | 3535.74/3535.76 c | 9590943 | 1260 147105 445953 | 1 408566 80 | 0.000 % | 3535.74/3535.76 c | 9679317 | 1260 147105 445953 | 1 277137 69 | 0.000 % | 3535.74/3535.76 c | 9679418 | 1260 147105 445953 | 1 277238 70 | 0.000 % | 3535.74/3535.76 c | 9739363 | 1260 147105 445953 | 1 337183 80 | 0.000 % | 3535.74/3535.76 c | 9739465 | 1260 147105 445953 | 1 337285 80 | 0.000 % | 3535.74/3535.76 c | 9741686 | 1260 147105 445953 | 1 339506 80 | 0.000 % | 3535.74/3535.76 c | 9743510 | 1260 147105 445953 | 1 341330 80 | 0.000 % | 3535.74/3535.76 c | 9743610 | 1260 147105 445953 | 1 341430 80 | 0.000 % | 3696.34/3696.30 c | 9743711 | 1260 147105 445953 | 1 341531 80 | 0.000 % | 3696.34/3696.30 c | 9743812 | 1260 147105 445953 | 1 341632 80 | 0.000 % | 3696.34/3696.30 c | 9745144 | 1260 147105 445953 | 1 342964 80 | 0.000 % | 3696.34/3696.30 c | 9747886 | 1260 147105 445953 | 1 345706 81 | 0.000 % | 3696.34/3696.30 c | 9747987 | 1260 147105 445953 | 1 345807 81 | 0.000 % | 3696.34/3696.30 c | 9748107 | 1260 147105 445953 | 1 345927 81 | 0.000 % | 3696.34/3696.30 c | 9748496 | 1260 147105 445953 | 1 346316 81 | 0.000 % | 3696.34/3696.30 c | 9749452 | 1260 147105 445953 | 1 347272 81 | 0.000 % | 3696.34/3696.30 c | 9749815 | 1260 147105 445953 | 1 347635 81 | 0.000 % | 3696.34/3696.30 c | 9749916 | 1260 147105 445953 | 1 347736 81 | 0.000 % | 3696.34/3696.30 c | 9750819 | 1260 147105 445953 | 1 348639 81 | 0.000 % | 3696.34/3696.30 c | 9751372 | 1260 147105 445953 | 1 349192 81 | 0.000 % | 3696.34/3696.30 c | 9751472 | 1260 147105 445953 | 1 349292 81 | 0.000 % | 3696.34/3696.30 c | 9751582 | 1260 147105 445953 | 1 349402 81 | 0.000 % | 3696.34/3696.30 c | 9751684 | 1260 147105 445953 | 1 349504 81 | 0.000 % | 3696.34/3696.30 c | 9776626 | 1260 147105 445953 | 1 374446 82 | 0.000 % | 3696.34/3696.30 c | 9776728 | 1260 147105 445953 | 1 374548 82 | 0.000 % | 3696.34/3696.30 c | 9776828 | 1260 147105 445953 | 1 374648 82 | 0.000 % | 3696.34/3696.30 c | 9776928 | 1260 147105 445953 | 1 374748 82 | 0.000 % | 3696.34/3696.30 c | 9777029 | 1260 147105 445953 | 1 374849 82 | 0.000 % | 3696.34/3696.30 c | 9777129 | 1260 147105 445953 | 1 374949 82 | 0.000 % | 3696.34/3696.30 c | 9777728 | 1260 147105 445953 | 1 375548 82 | 0.000 % | 3696.34/3696.30 c | 9777829 | 1260 147105 445953 | 1 375649 82 | 0.000 % | 3696.34/3696.30 c | 9778340 | 1260 147105 445953 | 1 376160 82 | 0.000 % | 3696.34/3696.30 c | 9778443 | 1260 147105 445953 | 1 376263 82 | 0.000 % | 3696.34/3696.30 c | 9778543 | 1260 147105 445953 | 1 376363 82 | 0.000 % | 3696.34/3696.30 c | 9778645 | 1260 147105 445953 | 1 376465 82 | 0.000 % | 3696.34/3696.30 c | 9782880 | 1260 147105 445953 | 1 380700 82 | 0.000 % | 3696.34/3696.30 c | 9792463 | 1260 147105 445953 | 1 390283 83 | 0.000 % | 3696.34/3696.30 c | 9958365 | 1260 147105 445953 | 1 333782 75 | 0.000 % | 3696.34/3696.30 c | 9962097 | 1260 147105 445953 | 1 337514 75 | 0.000 % | 3696.34/3696.30 c | 10006392 | 1260 147105 445953 | 1 381809 77 | 0.000 % | 3696.34/3696.30 c | 10016231 | 1260 147105 445953 | 1 391648 78 | 0.000 % | 3696.34/3696.30 c | 10016332 | 1260 147105 445953 | 1 391749 78 | 0.000 % | 3696.34/3696.30 c | 10030621 | 1260 147105 445953 | 1 406038 79 | 0.000 % | 3696.34/3696.30 c | 10030724 | 1260 147105 445953 | 1 406141 79 | 0.000 % | 3696.34/3696.30 c | 10047673 | 1260 147105 445953 | 1 423090 81 | 0.000 % | 3696.34/3696.30 c | 10047774 | 1260 147105 445953 | 1 423191 81 | 0.000 % | 3696.34/3696.30 c | 10047874 | 1260 147105 445953 | 1 423291 81 | 0.000 % | 3696.34/3696.30 c | 10047974 | 1260 147105 445953 | 1 423391 81 | 0.000 % | 3696.34/3696.30 c | 10055800 | 1260 147105 445953 | 1 431217 82 | 0.000 % | 3696.34/3696.30 c | 10055902 | 1260 147105 445953 | 1 431319 82 | 0.000 % | 3696.34/3696.30 c | 10057879 | 1260 147105 445953 | 1 433296 82 | 0.000 % | 3696.34/3696.30 c | 10058603 | 1260 147105 445953 | 1 434020 82 | 0.000 % | 3696.34/3696.30 c | 10062056 | 1260 147105 445953 | 1 437473 82 | 0.000 % | 3696.34/3696.30 c | 10092739 | 1260 147105 445953 | 1 243156 63 | 0.000 % | 3696.34/3696.30 c | 10095762 | 1260 147105 445953 | 1 246179 64 | 0.000 % | 3696.34/3696.30 c | 10095863 | 1260 147105 445953 | 1 246280 64 | 0.000 % | 3696.34/3696.30 c | 10095963 | 1260 147105 445953 | 1 246380 64 | 0.000 % | 3696.34/3696.30 c | 10096747 | 1260 147105 445953 | 1 247164 64 | 0.000 % | 3944.56/3944.60 c | 10189538 | 1260 147105 445953 | 1 339955 81 | 0.000 % | 3944.56/3944.60 c | 10189639 | 1260 147105 445953 | 1 340056 81 | 0.000 % | 3944.56/3944.60 c | 10191837 | 1260 147105 445953 | 1 342254 81 | 0.000 % | 3944.56/3944.60 c | 10191937 | 1260 147105 445953 | 1 342354 81 | 0.000 % | 3944.56/3944.60 c | 10192040 | 1260 147105 445953 | 1 342457 81 | 0.000 % | 3944.56/3944.60 c | 10192140 | 1260 147105 445953 | 1 342557 81 | 0.000 % | 3944.56/3944.60 c | 10193274 | 1260 147105 445953 | 1 343691 82 | 0.000 % | 3944.56/3944.60 c | 10193375 | 1260 147105 445953 | 1 343792 82 | 0.000 % | 3944.56/3944.60 c | 10199373 | 1260 147105 445953 | 1 349790 82 | 0.000 % | 3944.56/3944.60 c | 10199473 | 1260 147105 445953 | 1 349890 82 | 0.000 % | 3944.56/3944.60 c | 10199575 | 1260 147105 445953 | 1 349992 82 | 0.000 % | 3944.56/3944.60 c | 10199675 | 1260 147105 445953 | 1 350092 82 | 0.000 % | 3944.56/3944.60 c | 10199775 | 1260 147105 445953 | 1 350192 82 | 0.000 % | 3944.56/3944.60 c | 10253469 | 1260 147105 445953 | 1 403886 87 | 0.000 % | 3944.56/3944.60 c | 10253574 | 1260 147105 445953 | 1 403991 87 | 0.000 % | 3944.56/3944.60 c | 10355923 | 1260 147105 445953 | 1 278748 71 | 0.000 % | 3944.56/3944.60 c | 10356024 | 1260 147105 445953 | 1 278849 71 | 0.000 % | 3944.56/3944.60 c | 10356125 | 1260 147105 445953 | 1 278950 71 | 0.000 % | 3944.56/3944.60 c | 10356225 | 1260 147105 445953 | 1 279050 71 | 0.000 % | 3944.56/3944.60 c | 10356326 | 1260 147105 445953 | 1 279151 71 | 0.000 % | 3944.56/3944.60 c | 10356464 | 1260 147105 445953 | 1 279289 71 | 0.000 % | 3944.56/3944.60 c | 10357264 | 1260 147105 445953 | 1 280089 71 | 0.000 % | 3944.56/3944.60 c | 10357366 | 1260 147105 445953 | 1 280191 71 | 0.000 % | 3944.56/3944.60 c | 10387321 | 1260 147105 445953 | 1 310146 75 | 0.000 % | 3944.56/3944.60 c | 10387421 | 1260 147105 445953 | 1 310246 75 | 0.000 % | 3944.56/3944.60 c | 10398301 | 1260 147105 445953 | 1 321126 75 | 0.000 % | 3944.56/3944.60 c | 10427811 | 1260 147105 445953 | 1 350636 79 | 0.000 % | 3944.56/3944.60 c | 10427911 | 1260 147105 445953 | 1 350736 79 | 0.000 % | 3944.56/3944.60 c | 10428464 | 1260 147105 445953 | 1 351289 79 | 0.000 % | 3944.56/3944.60 c | 10428564 | 1260 147105 445953 | 1 351389 79 | 0.000 % | 3944.56/3944.60 c | 10429056 | 1260 147105 445953 | 1 351881 79 | 0.000 % | 3944.56/3944.60 c | 10429156 | 1260 147105 445953 | 1 351981 79 | 0.000 % | 3944.56/3944.60 c | 10448873 | 1260 147105 445953 | 1 371698 79 | 0.000 % | 3944.56/3944.60 c | 10449295 | 1260 147105 445953 | 1 372120 79 | 0.000 % | 3944.56/3944.60 c | 10540098 | 1260 147105 445953 | 1 232729 61 | 0.000 % | 3944.56/3944.60 c | 10540245 | 1260 147105 445953 | 1 232876 61 | 0.000 % | 3944.56/3944.60 c | 10546811 | 1260 147105 445953 | 1 239442 62 | 0.000 % | 3944.56/3944.60 c | 10546966 | 1260 147105 445953 | 1 239597 62 | 0.000 % | 3944.56/3944.60 c | 10547066 | 1260 147105 445953 | 1 239697 62 | 0.000 % | 3944.56/3944.60 c | 10550500 | 1260 147105 445953 | 1 243131 63 | 0.000 % | 3944.56/3944.60 c | 10576778 | 1260 147105 445953 | 1 269409 67 | 0.000 % | 3944.56/3944.60 c | 10576878 | 1260 147105 445953 | 1 269509 67 | 0.000 % | 3944.56/3944.60 c | 10576981 | 1260 147105 445953 | 1 269612 67 | 0.000 % | 3944.56/3944.60 c | 10577081 | 1260 147105 445953 | 1 269712 67 | 0.000 % | 3944.56/3944.60 c | 10577183 | 1260 147105 445953 | 1 269814 68 | 0.000 % | 3944.56/3944.60 c | 10577283 | 1260 147105 445953 | 1 269914 68 | 0.000 % | 3944.56/3944.60 c | 10577383 | 1260 147105 445953 | 1 270014 68 | 0.000 % | 3944.56/3944.60 c | 10577483 | 1260 147105 445953 | 1 270114 68 | 0.000 % | 3944.56/3944.60 c | 10577584 | 1260 147105 445953 | 1 270215 68 | 0.000 % | 3944.56/3944.60 c | 10577688 | 1260 147105 445953 | 1 270319 68 | 0.000 % | 4138.36/4138.32 c | 10578187 | 1260 147105 445953 | 1 270818 68 | 0.000 % | 4138.36/4138.32 c | 10578291 | 1260 147105 445953 | 1 270922 68 | 0.000 % | 4138.36/4138.32 c | 10578391 | 1260 147105 445953 | 1 271022 68 | 0.000 % | 4138.36/4138.32 c | 10578491 | 1260 147105 445953 | 1 271122 68 | 0.000 % | 4138.36/4138.32 c | 10578594 | 1260 147105 445953 | 1 271225 68 | 0.000 % | 4138.36/4138.32 c | 10578694 | 1260 147105 445953 | 1 271325 68 | 0.000 % | 4138.36/4138.32 c | 10578795 | 1260 147105 445953 | 1 271426 68 | 0.000 % | 4138.36/4138.32 c | 10578895 | 1260 147105 445953 | 1 271526 68 | 0.000 % | 4138.36/4138.32 c | 10578995 | 1260 147105 445953 | 1 271626 68 | 0.000 % | 4138.36/4138.32 c | 10579096 | 1260 147105 445953 | 1 271727 68 | 0.000 % | 4138.36/4138.32 c | 10579197 | 1260 147105 445953 | 1 271828 68 | 0.000 % | 4138.36/4138.32 c | 10710407 | 1260 147105 445953 | 1 403038 76 | 0.000 % | 4138.36/4138.32 c | 10710507 | 1260 147105 445953 | 1 403138 76 | 0.000 % | 4138.36/4138.32 c | 10710611 | 1260 147105 445953 | 1 403242 76 | 0.000 % | 4138.36/4138.32 c | 10712102 | 1260 147105 445953 | 1 404733 76 | 0.000 % | 4138.36/4138.32 c | 10712412 | 1260 147105 445953 | 1 405043 76 | 0.000 % | 4138.36/4138.32 c | 10743451 | 1260 147105 445953 | 1 436082 78 | 0.000 % | 4138.36/4138.32 c | 10743551 | 1260 147105 445953 | 1 436182 78 | 0.000 % | 4138.36/4138.32 c | 10743655 | 1260 147105 445953 | 1 436286 78 | 0.000 % | 4138.36/4138.32 c | 10743756 | 1260 147105 445953 | 1 436387 78 | 0.000 % | 4138.36/4138.32 c | 10743857 | 1260 147105 445953 | 1 436488 78 | 0.000 % | 4138.36/4138.32 c | 10764080 | 1260 147105 445953 | 1 456711 79 | 0.000 % | 4138.36/4138.32 c | 10764180 | 1260 147105 445953 | 1 456811 79 | 0.000 % | 4138.36/4138.32 c | 10764441 | 1260 147105 445953 | 1 457072 79 | 0.000 % | 4138.36/4138.32 c | 10764541 | 1260 147105 445953 | 1 457172 79 | 0.000 % | 4138.36/4138.32 c | 10764641 | 1260 147105 445953 | 1 457272 79 | 0.000 % | 4138.36/4138.32 c | 10764741 | 1260 147105 445953 | 1 457372 79 | 0.000 % | 4138.36/4138.32 c | 10847913 | 1260 147105 445953 | 1 307734 70 | 0.000 % | 4138.36/4138.32 c | 10848014 | 1260 147105 445953 | 1 307835 70 | 0.000 % | 4138.36/4138.32 c | 10848116 | 1260 147105 445953 | 1 307937 70 | 0.000 % | 4138.36/4138.32 c | 10848217 | 1260 147105 445953 | 1 308038 70 | 0.000 % | 4138.36/4138.32 c | 10848317 | 1260 147105 445953 | 1 308138 70 | 0.000 % | 4138.36/4138.32 c | 10848549 | 1260 147105 445953 | 1 308370 70 | 0.000 % | 4138.36/4138.32 c | 10848673 | 1260 147105 445953 | 1 308494 70 | 0.000 % | 4138.36/4138.32 c | 10848774 | 1260 147105 445953 | 1 308595 70 | 0.000 % | 4138.36/4138.32 c | 10848993 | 1260 147105 445953 | 1 308814 70 | 0.000 % | 4138.36/4138.32 c | 10849502 | 1260 147105 445953 | 1 309323 70 | 0.000 % | 4138.36/4138.32 c | 10849602 | 1260 147105 445953 | 1 309423 70 | 0.000 % | 4138.36/4138.32 c | 10849702 | 1260 147105 445953 | 1 309523 70 | 0.000 % | 4138.36/4138.32 c | 10850023 | 1260 147105 445953 | 1 309844 70 | 0.000 % | 4138.36/4138.32 c | 10850123 | 1260 147105 445953 | 1 309944 70 | 0.000 % | 4138.36/4138.32 c | 10850224 | 1260 147105 445953 | 1 310045 70 | 0.000 % | 4138.36/4138.32 c | 10850326 | 1260 147105 445953 | 1 310147 71 | 0.000 % | 4138.36/4138.32 c | 10850426 | 1260 147105 445953 | 1 310247 71 | 0.000 % | 4138.36/4138.32 c | 10850527 | 1260 147105 445953 | 1 310348 71 | 0.000 % | 4138.36/4138.32 c | 10850630 | 1260 147105 445953 | 1 310451 71 | 0.000 % | 4138.36/4138.32 c | 10850730 | 1260 147105 445953 | 1 310551 71 | 0.000 % | 4138.36/4138.32 c | 10850835 | 1260 147105 445953 | 1 310656 71 | 0.000 % | 4138.36/4138.32 c | 10855166 | 1260 147105 445953 | 1 314987 71 | 0.000 % | 4138.36/4138.32 c | 10907245 | 1260 147105 445953 | 1 367066 76 | 0.000 % | 4333.86/4333.85 c | 10907347 | 1260 147105 445953 | 1 367168 76 | 0.000 % | 4333.86/4333.85 c | 10916183 | 1260 147105 445953 | 1 376004 77 | 0.000 % | 4333.86/4333.85 c | 10917470 | 1260 147105 445953 | 1 377291 77 | 0.000 % | 4333.86/4333.85 c | 10917571 | 1260 147105 445953 | 1 377392 77 | 0.000 % | 4333.86/4333.85 c | 10919678 | 1260 147105 445953 | 1 379499 77 | 0.000 % | 4333.86/4333.85 c | 10921324 | 1260 147105 445953 | 1 381145 77 | 0.000 % | 4333.86/4333.85 c | 10930611 | 1260 147105 445953 | 1 390432 78 | 0.000 % | 4333.86/4333.85 c | 10930712 | 1260 147105 445953 | 1 390533 78 | 0.000 % | 4333.86/4333.85 c | 10934396 | 1260 147105 445953 | 1 394217 79 | 0.000 % | 4333.86/4333.85 c | 10934496 | 1260 147105 445953 | 1 394317 79 | 0.000 % | 4333.86/4333.85 c | 11006526 | 1260 147105 445953 | 1 466347 82 | 0.000 % | 4333.86/4333.85 c | 11010947 | 1260 147105 445953 | 1 470768 82 | 0.000 % | 4333.86/4333.85 c | 11018810 | 1260 147105 445953 | 1 243223 61 | 0.000 % | 4333.86/4333.85 c | 11019139 | 1260 147105 445953 | 1 243552 61 | 0.000 % | 4333.86/4333.85 c | 11019239 | 1260 147105 445953 | 1 243652 61 | 0.000 % | 4333.86/4333.85 c | 11019339 | 1260 147105 445953 | 1 243752 61 | 0.000 % | 4333.86/4333.85 c | 11020592 | 1260 147105 445953 | 1 245005 61 | 0.000 % | 4333.86/4333.85 c | 11025439 | 1260 147105 445953 | 1 249852 62 | 0.000 % | 4333.86/4333.85 c | 11025540 | 1260 147105 445953 | 1 249953 62 | 0.000 % | 4333.86/4333.85 c | 11031962 | 1260 147105 445953 | 1 256375 63 | 0.000 % | 4333.86/4333.85 c | 11032065 | 1260 147105 445953 | 1 256478 63 | 0.000 % | 4333.86/4333.85 c | 11032167 | 1260 147105 445953 | 1 256580 63 | 0.000 % | 4333.86/4333.85 c | 11032267 | 1260 147105 445953 | 1 256680 63 | 0.000 % | 4333.86/4333.85 c | 11032367 | 1260 147105 445953 | 1 256780 63 | 0.000 % | 4333.86/4333.85 c | 11047997 | 1260 147105 445953 | 1 272410 67 | 0.000 % | 4333.86/4333.85 c | 11048101 | 1260 147105 445953 | 1 272514 67 | 0.000 % | 4333.86/4333.85 c | 11049807 | 1260 147105 445953 | 1 274220 68 | 0.000 % | 4333.86/4333.85 c | 11052367 | 1260 147105 445953 | 1 276780 68 | 0.000 % | 4333.86/4333.85 c | 11052467 | 1260 147105 445953 | 1 276880 68 | 0.000 % | 4333.86/4333.85 c | 11052567 | 1260 147105 445953 | 1 276980 68 | 0.000 % | 4333.86/4333.85 c | 11052669 | 1260 147105 445953 | 1 277082 68 | 0.000 % | 4333.86/4333.85 c | 11052769 | 1260 147105 445953 | 1 277182 68 | 0.000 % | 4333.86/4333.85 c | 11052870 | 1260 147105 445953 | 1 277283 68 | 0.000 % | 4333.86/4333.85 c | 11052973 | 1260 147105 445953 | 1 277386 68 | 0.000 % | 4333.86/4333.85 c | 11054217 | 1260 147105 445953 | 1 278630 68 | 0.000 % | 4333.86/4333.85 c | 11082731 | 1260 147105 445953 | 1 307144 72 | 0.000 % | 4333.86/4333.85 c | 11082831 | 1260 147105 445953 | 1 307244 72 | 0.000 % | 4333.86/4333.85 c | 11082933 | 1260 147105 445953 | 1 307346 72 | 0.000 % | 4333.86/4333.85 c | 11087903 | 1260 147105 445953 | 1 312316 73 | 0.000 % | 4333.86/4333.85 c | 11088158 | 1260 147105 445953 | 1 312571 73 | 0.000 % | 4333.86/4333.85 c | 11088258 | 1260 147105 445953 | 1 312671 73 | 0.000 % | 4333.86/4333.85 c | 11088512 | 1260 147105 445953 | 1 312925 73 | 0.000 % | 4333.86/4333.85 c | 11109661 | 1260 147105 445953 | 1 334074 75 | 0.000 % | 4333.86/4333.85 c | 11132287 | 1260 147105 445953 | 1 356700 76 | 0.000 % | 4333.86/4333.85 c | 11133120 | 1260 147105 445953 | 1 357533 76 | 0.000 % | 4333.86/4333.85 c | 11133221 | 1260 147105 445953 | 1 357634 76 | 0.000 % | 4333.86/4333.85 c | 11133321 | 1260 147105 445953 | 1 357734 76 | 0.000 % | 4333.86/4333.85 c | 11133435 | 1260 147105 445953 | 1 357848 76 | 0.000 % | 4333.86/4333.85 c | 11133536 | 1260 147105 445953 | 1 357949 76 | 0.000 % | 4333.86/4333.85 c | 11273633 | 1260 147105 445953 | 1 260053 63 | 0.000 % | 4408.26/4408.21 c | 11273734 | 1260 147105 445953 | 1 260154 63 | 0.000 % | 4408.26/4408.21 c | 11273836 | 1260 147105 445953 | 1 260256 63 | 0.000 % | 4408.26/4408.21 c | 11275991 | 1260 147105 445953 | 1 262411 63 | 0.000 % | 4408.26/4408.21 c | 11276091 | 1260 147105 445953 | 1 262511 63 | 0.000 % | 4408.26/4408.21 c | 11276198 | 1260 147105 445953 | 1 262618 63 | 0.000 % | 4408.26/4408.21 c | 11276445 | 1260 147105 445953 | 1 262865 63 | 0.000 % | 4408.26/4408.21 c | 11277477 | 1260 147105 445953 | 1 263897 63 | 0.000 % | 4408.26/4408.21 c | 11277727 | 1260 147105 445953 | 1 264147 63 | 0.000 % | 4408.26/4408.21 c | 11322199 | 1260 147105 445953 | 1 308619 74 | 0.000 % | 4408.26/4408.21 c | 11322300 | 1260 147105 445953 | 1 308720 74 | 0.000 % | 4408.26/4408.21 c | 11323000 | 1260 147105 445953 | 1 309420 74 | 0.000 % | 4408.26/4408.21 c | 11333762 | 1260 147105 445953 | 1 320182 75 | 0.000 % | 4408.26/4408.21 c | 11339120 | 1260 147105 445953 | 1 325540 76 | 0.000 % | 4408.26/4408.21 c | 11344663 | 1260 147105 445953 | 1 331083 77 | 0.000 % | 4408.26/4408.21 c | 11346569 | 1260 147105 445953 | 1 332989 77 | 0.000 % | 4408.26/4408.21 c | 11346674 | 1260 147105 445953 | 1 333094 77 | 0.000 % | 4408.26/4408.21 c | 11346776 | 1260 147105 445953 | 1 333196 77 | 0.000 % | 4408.26/4408.21 c | 11348455 | 1260 147105 445953 | 1 334875 77 | 0.000 % | 4408.26/4408.21 c | 11348610 | 1260 147105 445953 | 1 335030 77 | 0.000 % | 4408.26/4408.21 c | 11348711 | 1260 147105 445953 | 1 335131 77 | 0.000 % | 4408.26/4408.21 c | 11351383 | 1260 147105 445953 | 1 337803 77 | 0.000 % | 4408.26/4408.21 c | 11351533 | 1260 147105 445953 | 1 337953 77 | 0.000 % | 4408.26/4408.21 c | 11351866 | 1260 147105 445953 | 1 338286 77 | 0.000 % | 4408.26/4408.21 c | 11351966 | 1260 147105 445953 | 1 338386 77 | 0.000 % | 4408.26/4408.21 c | 11352069 | 1260 147105 445953 | 1 338489 77 | 0.000 % | 4408.26/4408.21 c | 11352170 | 1260 147105 445953 | 1 338590 77 | 0.000 % | 4408.26/4408.21 c | 11362457 | 1260 147105 445953 | 1 348877 79 | 0.000 % | 4408.26/4408.21 c | 11362557 | 1260 147105 445953 | 1 348977 79 | 0.000 % | 4408.26/4408.21 c | 11362661 | 1260 147105 445953 | 1 349081 79 | 0.000 % | 4408.26/4408.21 c | 11362761 | 1260 147105 445953 | 1 349181 79 | 0.000 % | 4408.26/4408.21 c | 11362861 | 1260 147105 445953 | 1 349281 79 | 0.000 % | 4408.26/4408.21 c | 11362961 | 1260 147105 445953 | 1 349381 79 | 0.000 % | 4408.26/4408.21 c | 11363291 | 1260 147105 445953 | 1 349711 79 | 0.000 % | 4408.26/4408.21 c | 11363391 | 1260 147105 445953 | 1 349811 79 | 0.000 % | 4408.26/4408.21 c | 11363491 | 1260 147105 445953 | 1 349911 79 | 0.000 % | 4408.26/4408.21 c | 11363593 | 1260 147105 445953 | 1 350013 79 | 0.000 % | 4408.26/4408.21 c | 11376614 | 1260 147105 445953 | 1 363034 81 | 0.000 % | 4408.26/4408.21 c | 11376714 | 1260 147105 445953 | 1 363134 81 | 0.000 % | 4408.26/4408.21 c | 11405524 | 1260 147105 445953 | 1 391944 83 | 0.000 % | 4408.26/4408.21 c | 11405625 | 1260 147105 445953 | 1 392045 83 | 0.000 % | 4408.26/4408.21 c | 11406059 | 1260 147105 445953 | 1 392479 83 | 0.000 % | 4408.26/4408.21 c | 11406162 | 1260 147105 445953 | 1 392582 83 | 0.000 % | 4408.26/4408.21 c | 11406523 | 1260 147105 445953 | 1 392943 83 | 0.000 % | 4408.26/4408.21 c | 11407069 | 1260 147105 445953 | 1 393489 83 | 0.000 % | 4408.26/4408.21 c | 11417927 | 1260 147105 445953 | 1 404347 84 | 0.000 % | 4408.26/4408.21 c | 11423007 | 1260 147105 445953 | 1 409427 84 | 0.000 % | 4408.26/4408.21 c | 11423217 | 1260 147105 445953 | 1 409637 84 | 0.000 % | 4408.26/4408.21 c | 11423391 | 1260 147105 445953 | 1 409811 84 | 0.000 % | 4408.26/4408.21 c | 11423492 | 1260 147105 445953 | 1 409912 84 | 0.000 % | 4408.26/4408.21 c | 11423592 | 1260 147105 445953 | 1 410012 84 | 0.000 % | 4456.66/4456.68 c | 11424651 | 1260 147105 445953 | 1 411071 84 | 0.000 % | 4456.66/4456.68 c | 11425979 | 1260 147105 445953 | 1 412399 84 | 0.000 % | 4456.66/4456.68 c | 11426081 | 1260 147105 445953 | 1 412501 84 | 0.000 % | 4456.66/4456.68 c | 11426181 | 1260 147105 445953 | 1 412601 84 | 0.000 % | 4456.66/4456.68 c | 11427381 | 1260 147105 445953 | 1 413801 84 | 0.000 % | 4456.66/4456.68 c | 11428502 | 1260 147105 445953 | 1 414922 84 | 0.000 % | 4456.66/4456.68 c | 11432188 | 1260 147105 445953 | 1 418608 85 | 0.000 % | 4456.66/4456.68 c | 11432289 | 1260 147105 445953 | 1 418709 85 | 0.000 % | 4456.66/4456.68 c | 11436583 | 1260 147105 445953 | 1 423003 85 | 0.000 % | 4456.66/4456.68 c | 11436684 | 1260 147105 445953 | 1 423104 85 | 0.000 % | 4456.66/4456.68 c | 11440939 | 1260 147105 445953 | 1 427359 85 | 0.000 % | 4456.66/4456.68 c | 11441039 | 1260 147105 445953 | 1 427459 85 | 0.000 % | 4456.66/4456.68 c | 11441143 | 1260 147105 445953 | 1 427563 85 | 0.000 % | 4456.66/4456.68 c | 11441243 | 1260 147105 445953 | 1 427663 85 | 0.000 % | 4456.66/4456.68 c | 11441344 | 1260 147105 445953 | 1 427764 85 | 0.000 % | 4456.66/4456.68 c | 11441444 | 1260 147105 445953 | 1 427864 85 | 0.000 % | 4456.66/4456.68 c | 11441544 | 1260 147105 445953 | 1 427964 85 | 0.000 % | 4456.66/4456.68 c | 11441646 | 1260 147105 445953 | 1 428066 85 | 0.000 % | 4456.66/4456.68 c | 11441747 | 1260 147105 445953 | 1 428167 85 | 0.000 % | 4456.66/4456.68 c | 11441847 | 1260 147105 445953 | 1 428267 85 | 0.000 % | 4456.66/4456.68 c | 11441949 | 1260 147105 445953 | 1 428369 85 | 0.000 % | 4456.66/4456.68 c | 11442050 | 1260 147105 445953 | 1 428470 85 | 0.000 % | 4456.66/4456.68 c | 11442150 | 1260 147105 445953 | 1 428570 85 | 0.000 % | 4456.66/4456.68 c | 11442253 | 1260 147105 445953 | 1 428673 85 | 0.000 % | 4456.66/4456.68 c | 11442357 | 1260 147105 445953 | 1 428777 85 | 0.000 % | 4456.66/4456.68 c | 11442458 | 1260 147105 445953 | 1 428878 85 | 0.000 % | 4456.66/4456.68 c | 11442558 | 1260 147105 445953 | 1 428978 85 | 0.000 % | 4456.66/4456.68 c | 11442659 | 1260 147105 445953 | 1 429079 85 | 0.000 % | 4456.66/4456.68 c | 11442759 | 1260 147105 445953 | 1 429179 85 | 0.000 % | 4456.66/4456.68 c | 11442879 | 1260 147105 445953 | 1 429299 85 | 0.000 % | 4456.66/4456.68 c | 11445079 | 1260 147105 445953 | 1 431499 85 | 0.000 % | 4456.66/4456.68 c | 11445181 | 1260 147105 445953 | 1 431601 85 | 0.000 % | 4456.66/4456.68 c | 11445281 | 1260 147105 445953 | 1 431701 85 | 0.000 % | 4456.66/4456.68 c | 11494023 | 1260 147105 445953 | 1 480443 88 | 0.000 % | 4456.66/4456.68 c | 11494139 | 1260 147105 445953 | 1 480559 88 | 0.000 % | 4456.66/4456.68 c | 11494239 | 1260 147105 445953 | 1 480659 88 | 0.000 % | 4456.66/4456.68 c | 11494340 | 1260 147105 445953 | 1 480760 88 | 0.000 % | 4456.66/4456.68 c | 11494440 | 1260 147105 445953 | 1 480860 88 | 0.000 % | 4456.66/4456.68 c | 11494540 | 1260 147105 445953 | 1 480960 88 | 0.000 % | 4456.66/4456.68 c | 11502732 | 1260 147105 445953 | 1 248542 62 | 0.000 % | 4456.66/4456.68 c | 11503393 | 1260 147105 445953 | 1 249203 62 | 0.000 % | 4456.66/4456.68 c | 11503493 | 1260 147105 445953 | 1 249303 62 | 0.000 % | 4456.66/4456.68 c | 11504748 | 1260 147105 445953 | 1 250558 62 | 0.000 % | 4456.66/4456.68 c | 11504894 | 1260 147105 445953 | 1 250704 62 | 0.000 % | 4456.66/4456.68 c | 11504994 | 1260 147105 445953 | 1 250804 62 | 0.000 % | 4456.66/4456.68 c | 11505095 | 1260 147105 445953 | 1 250905 62 | 0.000 % | 4456.66/4456.68 c | 11505196 | 1260 147105 445953 | 1 251006 62 | 0.000 % | 4456.66/4456.68 c | 11505296 | 1260 147105 445953 | 1 251106 62 | 0.000 % | 4456.66/4456.68 c | 11505396 | 1260 147105 445953 | 1 251206 62 | 0.000 % | 4456.66/4456.68 c | 11505496 | 1260 147105 445953 | 1 251306 62 | 0.000 % | 4534.97/4534.99 c | 11510206 | 1260 147105 445953 | 1 256016 63 | 0.000 % | 4534.97/4534.99 c | 11516631 | 1260 147105 445953 | 1 262441 64 | 0.000 % | 4534.97/4534.99 c | 11516884 | 1260 147105 445953 | 1 262694 64 | 0.000 % | 4534.97/4534.99 c | 11529582 | 1260 147105 445953 | 1 275392 67 | 0.000 % | 4534.97/4534.99 c | 11529684 | 1260 147105 445953 | 1 275494 67 | 0.000 % | 4534.97/4534.99 c | 11530577 | 1260 147105 445953 | 1 276387 67 | 0.000 % | 4534.97/4534.99 c | 11530678 | 1260 147105 445953 | 1 276488 67 | 0.000 % | 4534.97/4534.99 c | 11530781 | 1260 147105 445953 | 1 276591 67 | 0.000 % | 4534.97/4534.99 c | 11530881 | 1260 147105 445953 | 1 276691 67 | 0.000 % | 4534.97/4534.99 c | 11530982 | 1260 147105 445953 | 1 276792 67 | 0.000 % | 4534.97/4534.99 c | 11531082 | 1260 147105 445953 | 1 276892 67 | 0.000 % | 4534.97/4534.99 c | 11531182 | 1260 147105 445953 | 1 276992 67 | 0.000 % | 4534.97/4534.99 c | 11533124 | 1260 147105 445953 | 1 278934 68 | 0.000 % | 4534.97/4534.99 c | 11533454 | 1260 147105 445953 | 1 279264 68 | 0.000 % | 4534.97/4534.99 c | 11533787 | 1260 147105 445953 | 1 279597 68 | 0.000 % | 4534.97/4534.99 c | 11533890 | 1260 147105 445953 | 1 279700 68 | 0.000 % | 4534.97/4534.99 c | 11533994 | 1260 147105 445953 | 1 279804 68 | 0.000 % | 4534.97/4534.99 c | 11534100 | 1260 147105 445953 | 1 279910 68 | 0.000 % | 4534.97/4534.99 c | 11536332 | 1260 147105 445953 | 1 282142 68 | 0.000 % | 4534.97/4534.99 c | 11536857 | 1260 147105 445953 | 1 282667 68 | 0.000 % | 4534.97/4534.99 c | 11544395 | 1260 147105 445953 | 1 290205 69 | 0.000 % | 4534.97/4534.99 c | 11544496 | 1260 147105 445953 | 1 290306 69 | 0.000 % | 4534.97/4534.99 c | 11549454 | 1260 147105 445953 | 1 295264 70 | 0.000 % | 4534.97/4534.99 c | 11549832 | 1260 147105 445953 | 1 295642 70 | 0.000 % | 4534.97/4534.99 c | 11550163 | 1260 147105 445953 | 1 295973 70 | 0.000 % | 4534.97/4534.99 c | 11550263 | 1260 147105 445953 | 1 296073 70 | 0.000 % | 4534.97/4534.99 c | 11550363 | 1260 147105 445953 | 1 296173 70 | 0.000 % | 4534.97/4534.99 c | 11550463 | 1260 147105 445953 | 1 296273 70 | 0.000 % | 4534.97/4534.99 c | 11550564 | 1260 147105 445953 | 1 296374 70 | 0.000 % | 4534.97/4534.99 c | 11564293 | 1260 147105 445953 | 1 310103 72 | 0.000 % | 4534.97/4534.99 c | 11566504 | 1260 147105 445953 | 1 312314 72 | 0.000 % | 4534.97/4534.99 c | 11566607 | 1260 147105 445953 | 1 312417 72 | 0.000 % | 4534.97/4534.99 c | 11566712 | 1260 147105 445953 | 1 312522 72 | 0.000 % | 4534.97/4534.99 c | 11566813 | 1260 147105 445953 | 1 312623 72 | 0.000 % | 4534.97/4534.99 c | 11570081 | 1260 147105 445953 | 1 315891 73 | 0.000 % | 4534.97/4534.99 c | 11580510 | 1260 147105 445953 | 1 326320 74 | 0.000 % | 4534.97/4534.99 c | 11584206 | 1260 147105 445953 | 1 330016 75 | 0.000 % | 4534.97/4534.99 c | 11584306 | 1260 147105 445953 | 1 330116 75 | 0.000 % | 4534.97/4534.99 c | 11584407 | 1260 147105 445953 | 1 330217 75 | 0.000 % | 4534.97/4534.99 c | 11585768 | 1260 147105 445953 | 1 331578 75 | 0.000 % | 4534.97/4534.99 c | 11585868 | 1260 147105 445953 | 1 331678 75 | 0.000 % | 4534.97/4534.99 c | 11585968 | 1260 147105 445953 | 1 331778 75 | 0.000 % | 4534.97/4534.99 c | 11586592 | 1260 147105 445953 | 1 332402 75 | 0.000 % | 4534.97/4534.99 c | 11586692 | 1260 147105 445953 | 1 332502 75 | 0.000 % | 4534.97/4534.99 c | 11643406 | 1260 147105 445953 | 1 389216 80 | 0.000 % | 4534.97/4534.99 c | 11643507 | 1260 147105 445953 | 1 389317 80 | 0.000 % | 4534.97/4534.99 c | 11643607 | 1260 147105 445953 | 1 389417 80 | 0.000 % | 4534.97/4534.99 c | 11643709 | 1260 147105 445953 | 1 389519 80 | 0.000 % | 4534.97/4534.99 c | 11654768 | 1260 147105 445953 | 1 400578 80 | 0.000 % | 4534.97/4534.99 c | 11654871 | 1260 147105 445953 | 1 400681 80 | 0.000 % | 4825.37/4825.33 c | 11654972 | 1260 147105 445953 | 1 400782 80 | 0.000 % | 4825.37/4825.33 c | 11655073 | 1260 147105 445953 | 1 400883 80 | 0.000 % | 4825.37/4825.33 c | 11655176 | 1260 147105 445953 | 1 400986 80 | 0.000 % | 4825.37/4825.33 c | 11655325 | 1260 147105 445953 | 1 401135 80 | 0.000 % | 4825.37/4825.33 c | 11687852 | 1260 147105 445953 | 1 433662 81 | 0.000 % | 4825.37/4825.33 c | 11699426 | 1260 147105 445953 | 1 445236 82 | 0.000 % | 4825.37/4825.33 c | 11702429 | 1260 147105 445953 | 1 448239 82 | 0.000 % | 4825.37/4825.33 c | 11713847 | 1260 147105 445953 | 1 459657 83 | 0.000 % | 4825.37/4825.33 c | 11730667 | 1260 147105 445953 | 1 476477 84 | 0.000 % | 4825.37/4825.33 c | 11731296 | 1260 147105 445953 | 1 477106 84 | 0.000 % | 4825.37/4825.33 c | 11733139 | 1260 147105 445953 | 1 478949 84 | 0.000 % | 4825.37/4825.33 c | 11744252 | 1260 147105 445953 | 1 246870 60 | 0.000 % | 4825.37/4825.33 c | 11744352 | 1260 147105 445953 | 1 246970 60 | 0.000 % | 4825.37/4825.33 c | 11744452 | 1260 147105 445953 | 1 247070 60 | 0.000 % | 4825.37/4825.33 c | 11744554 | 1260 147105 445953 | 1 247172 60 | 0.000 % | 4825.37/4825.33 c | 11744655 | 1260 147105 445953 | 1 247273 60 | 0.000 % | 4825.37/4825.33 c | 11791903 | 1260 147105 445953 | 1 294521 66 | 0.000 % | 4825.37/4825.33 c | 11890662 | 1260 147105 445953 | 1 393280 77 | 0.000 % | 4825.37/4825.33 c | 11892672 | 1260 147105 445953 | 1 395290 77 | 0.000 % | 4825.37/4825.33 c | 11892775 | 1260 147105 445953 | 1 395393 77 | 0.000 % | 4825.37/4825.33 c | 11892875 | 1260 147105 445953 | 1 395493 77 | 0.000 % | 4825.37/4825.33 c | 11892975 | 1260 147105 445953 | 1 395593 77 | 0.000 % | 4825.37/4825.33 c | 11893075 | 1260 147105 445953 | 1 395693 77 | 0.000 % | 4825.37/4825.33 c | 11893177 | 1260 147105 445953 | 1 395795 77 | 0.000 % | 4825.37/4825.33 c | 11894829 | 1260 147105 445953 | 1 397447 77 | 0.000 % | 4825.37/4825.33 c | 11894951 | 1260 147105 445953 | 1 397569 77 | 0.000 % | 4825.37/4825.33 c | 11895051 | 1260 147105 445953 | 1 397669 77 | 0.000 % | 4825.37/4825.33 c | 11895151 | 1260 147105 445953 | 1 397769 77 | 0.000 % | 4825.37/4825.33 c | 11895251 | 1260 147105 445953 | 1 397869 77 | 0.000 % | 4825.37/4825.33 c | 11895351 | 1260 147105 445953 | 1 397969 77 | 0.000 % | 4825.37/4825.33 c | 11895452 | 1260 147105 445953 | 1 398070 77 | 0.000 % | 4825.37/4825.33 c | 11974409 | 1260 147105 445953 | 1 477027 81 | 0.000 % | 4825.37/4825.33 c | 11974881 | 1260 147105 445953 | 1 477499 81 | 0.000 % | 4825.37/4825.33 c | 11976066 | 1260 147105 445953 | 1 478684 81 | 0.000 % | 4825.37/4825.33 c | 11976169 | 1260 147105 445953 | 1 478787 81 | 0.000 % | 4825.37/4825.33 c | 11976270 | 1260 147105 445953 | 1 478888 81 | 0.000 % | 4825.37/4825.33 c | 12000840 | 1260 147105 445953 | 1 257661 64 | 0.000 % | 4825.37/4825.33 c | 12000944 | 1260 147105 445953 | 1 257765 64 | 0.000 % | 4825.37/4825.33 c | 12091931 | 1260 147105 445953 | 1 348752 71 | 0.000 % | 4825.37/4825.33 c | 12092031 | 1260 147105 445953 | 1 348852 71 | 0.000 % | 4825.37/4825.33 c | 12129940 | 1260 147105 445953 | 1 386761 76 | 0.000 % | 4825.37/4825.33 c | 12130041 | 1260 147105 445953 | 1 386862 76 | 0.000 % | 4825.37/4825.33 c | 12130142 | 1260 147105 445953 | 1 386963 76 | 0.000 % | 4825.37/4825.33 c | 12147207 | 1260 147105 445953 | 1 404028 77 | 0.000 % | 4825.37/4825.33 c | 12148170 | 1260 147105 445953 | 1 404991 77 | 0.000 % | 4825.37/4825.33 c | 12148270 | 1260 147105 445953 | 1 405091 77 | 0.000 % | 4825.37/4825.33 c | 12149574 | 1260 147105 445953 | 1 406395 77 | 0.000 % | 4825.37/4825.33 c | 12149674 | 1260 147105 445953 | 1 406495 77 | 0.000 % | 4825.37/4825.33 c | 12149870 | 1260 147105 445953 | 1 406691 77 | 0.000 % | 4825.37/4825.33 c | 12151065 | 1260 147105 445953 |
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-3303612-1306950790/watcher-3303612-1306950790 -o /tmp/evaluation-result-3303612-1306950790/solver-3303612-1306950790 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303612-1306950790.cnf 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: 1.00 1.05 1.37 2/461 20089 /proc/meminfo: memFree=30434684/32950928 swapFree=45617076/67111528 [pid=20089] ppid=20087 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/20089/stat : 20089 (glucose.sh) S 20087 20089 18917 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 806678779 8912896 252 33554432000 4194304 4922060 140733337013040 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/20089/statm: 2176 252 211 178 0 69 0 [startup+0.0610801 s] /proc/loadavg: 1.00 1.05 1.37 2/461 20089 /proc/meminfo: memFree=30434684/32950928 swapFree=45617076/67111528 [pid=20089] ppid=20087 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/20089/stat : 20089 (glucose.sh) S 20087 20089 18917 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 806678779 8912896 252 33554432000 4194304 4922060 140733337013040 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/20089/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.101073 s] /proc/loadavg: 1.00 1.05 1.37 2/461 20089 /proc/meminfo: memFree=30434684/32950928 swapFree=45617076/67111528 [pid=20089] ppid=20087 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/20089/stat : 20089 (glucose.sh) S 20087 20089 18917 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 806678779 8912896 252 33554432000 4194304 4922060 140733337013040 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/20089/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.301038 s] /proc/loadavg: 1.00 1.05 1.37 2/461 20089 /proc/meminfo: memFree=30434684/32950928 swapFree=45617076/67111528 [pid=20089] ppid=20087 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/20089/stat : 20089 (glucose.sh) S 20087 20089 18917 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 806678779 8912896 252 33554432000 4194304 4922060 140733337013040 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/20089/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.701015 s] /proc/loadavg: 1.00 1.05 1.37 2/461 20089 /proc/meminfo: memFree=30434684/32950928 swapFree=45617076/67111528 [pid=20089] ppid=20087 vsize=8704 CPUtime=0.4 cores=0,2,4,6 /proc/20089/stat : 20089 (glucose.sh) S 20087 20089 18917 0 -1 4202496 359 2974 0 0 0 0 40 0 18 0 1 0 806678779 8912896 254 33554432000 4194304 4922060 140733337013040 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/20089/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.4 Current children cumulated vsize (KiB) 8704 [startup+1.50094 s] /proc/loadavg: 1.00 1.05 1.37 3/467 20099 /proc/meminfo: memFree=30340604/32950928 swapFree=45617076/67111528 [pid=20089] ppid=20087 vsize=8704 CPUtime=0.4 cores=0,2,4,6 /proc/20089/stat : 20089 (glucose.sh) S 20087 20089 18917 0 -1 4202496 359 2974 0 0 0 0 40 0 18 0 1 0 806678779 8912896 254 33554432000 4194304 4922060 140733337013040 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/20089/statm: 2176 254 211 178 0 69 0 [pid=20099] ppid=20089 vsize=26900 CPUtime=1.08 cores=0,2,4,6 /proc/20099/stat : 20099 (glucose_static) R 20089 20089 18917 0 -1 4202496 7401 0 0 0 106 2 0 0 22 0 1 0 806678820 27545600 3222 33554432000 4194304 4260849 140735589150416 18446744073709551615 4229282 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/20099/statm: 6725 3222 250 17 0 3366 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 35604 [startup+3.10066 s] /proc/loadavg: 1.08 1.07 1.38 3/467 20099 /proc/meminfo: memFree=30327336/32950928 swapFree=45617076/67111528 [pid=20089] ppid=20087 vsize=8704 CPUtime=0.4 cores=0,2,4,6 /proc/20089/stat : 20089 (glucose.sh) S 20087 20089 18917 0 -1 4202496 359 2974 0 0 0 0 40 0 18 0 1 0 806678779 8912896 254 33554432000 4194304 4922060 140733337013040 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/20089/statm: 2176 254 211 178 0 69 0 [pid=20099] ppid=20089 vsize=45568 CPUtime=2.67 cores=0,2,4,6 /proc/20099/stat : 20099 (glucose_static) R 20089 20089 18917 0 -1 4202496 12314 0 0 0 265 2 0 0 25 0 1 0 806678820 46661632 7999 33554432000 4194304 4260849 140735589150416 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/20099/statm: 11392 7999 250 17 0 8033 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 54272 [startup+6.30098 s] /proc/loadavg: 1.08 1.07 1.38 3/467 20100 /proc/meminfo: memFree=30309776/32950928 swapFree=45617076/67111528 [pid=20089] ppid=20087 vsize=8704 CPUtime=0.4 cores=0,2,4,6 /proc/20089/stat : 20089 (glucose.sh) S 20087 20089 18917 0 -1 4202496 359 2974 0 0 0 0 40 0 18 0 1 0 806678779 8912896 254 33554432000 4194304 4922060 140733337013040 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/20089/statm: 2176 254 211 178 0 69 0 [pid=20099] ppid=20089 vsize=57168 CPUtime=5.88 cores=0,2,4,6 /proc/20099/stat : 20099 (glucose_static) R 20089 20089 18917 0 -1 4202496 15595 0 0 0 585 3 0 0 25 0 1 0 806678820 58540032 11084 33554432000 4194304 4260849 140735589150416 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/20099/statm: 14292 11084 250 17 0 10933 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 65872 [startup+12.7008 s] /proc/loadavg: 1.22 1.10 1.38 3/467 20100 /proc/meminfo: memFree=30246760/32950928 swapFree=45617076/67111528 [pid=20089] ppid=20087 vsize=8704 CPUtime=0.4 cores=0,2,4,6 /proc/20089/stat : 20089 (glucose.sh) S 20087 20089 18917 0 -1 4202496 359 2974 0 0 0 0 40 0 18 0 1 0 806678779 8912896 254 33554432000 4194304 4922060 140733337013040 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/20089/statm: 2176 254 211 178 0 69 0 [pid=20099] ppid=20089 vsize=57168 CPUtime=12.28 cores=0,2,4,6 /proc/20099/stat : 20099 (glucose_static) R 20089 20089 18917 0 -1 4202496 24043 0 0 0 1223 5 0 0 25 0 1 0 806678820 58540032 6744 33554432000 4194304 4260849 140735589150416 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/20099/statm: 14292 6744 250 17 0 10933 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 65872 [startup+25.5007 s] /proc/loadavg: 1.34 1.13 1.39 3/467 20101 /proc/meminfo: memFree=30215568/32950928 swapFree=45617076/67111528 [pid=20089] ppid=20087 vsize=8704 CPUtime=0.4 cores=0,2,4,6 /proc/20089/stat : 20089 (glucose.sh) S 20087 20089 18917 0 -1 4202496 359 2974 0 0 0 0 40 0 18 0 1 0 806678779 8912896 254 33554432000 4194304 4922060 140733337013040 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/20089/statm: 2176 254 211 178 0 69 0 [pid=20099] ppid=20089 vsize=76344 CPUtime=25.08 cores=0,2,4,6 /proc/20099/stat : 20099 (glucose_static) R 20089 20089 18917 0 -1 4202496 31925 0 0 0 2502 6 0 0 25 0 1 0 806678820 78176256 14406 33554432000 4194304 4260849 140735589150416 18446744073709551615 4225129 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/20099/statm: 19086 14406 250 17 0 15727 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 85048 [startup+51.1012 s] /proc/loadavg: 1.56 1.20 1.40 3/467 20101 /proc/meminfo: memFree=30192548/32950928 swapFree=45617076/67111528 [pid=20089] ppid=20087 vsize=8704 CPUtime=0.4 cores=0,2,4,6 /proc/20089/stat : 20089 (glucose.sh) S 20087 20089 18917 0 -1 4202496 359 2974 0 0 0 0 40 0 18 0 1 0 806678779 8912896 254 33554432000 4194304 4922060 140733337013040 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/20089/statm: 2176 254 211 178 0 69 0 [pid=20099] ppid=20089 vsize=89048 CPUtime=50.65 cores=0,2,4,6 /proc/20099/stat : 20099 (glucose_static) R 20089 20089 18917 0 -1 4202496 69010 0 0 0 5054 11 0 0 25 0 1 0 806678820 91185152 19081 33554432000 4194304 4260849 140735589150416 18446744073709551615 4224696 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/20099/statm: 22262 19081 251 17 0 18903 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 97752 [startup+102.317 s] /proc/loadavg: 1.82 1.33 1.43 3/467 20103 /proc/meminfo: memFree=30136748/32950928 swapFree=45617076/67111528 [pid=20089] ppid=20087 vsize=8704 CPUtime=0.4 cores=0,2,4,6 /proc/20089/stat : 20089 (glucose.sh) S 20087 20089 18917 0 -1 4202496 359 2974 0 0 0 0 40 0 18 0 1 0 806678779 8912896 254 33554432000 4194304 4922060 140733337013040 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/20089/statm: 2176 254 211 178 0 69 0 [pid=20099] ppid=20089 vsize=138368 CPUtime=101.88 cores=0,2,4,6 /proc/20099/stat : 20099 (glucose_static) R 20089 20089 18917 0 -1 4202496 126731 0 0 0 10168 20 0 0 25 0 1 0 806678820 141688832 28250 33554432000 4194304 4260849 140735589150416 18446744073709551615 4225060 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/20099/statm: 34592 28250 251 17 0 31233 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 147072 [startup+162.301 s] /proc/loadavg: 1.93 1.45 1.47 3/467 20104 /proc/meminfo: memFree=30174652/32950928 swapFree=45617076/67111528 [pid=20089] ppid=20087 vsize=8704 CPUtime=0.4 cores=0,2,4,6 /proc/20089/stat : 20089 (glucose.sh) S 20087 20089 18917 0 -1 4202496 359 2974 0 0 0 0 40 0 18 0 1 0 806678779 8912896 254 33554432000 4194304 4922060 140733337013040 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/20089/statm: 2176 254 211 178 0 69 0 [pid=20099] ppid=20089 vsize=89048 CPUtime=161.86 cores=0,2,4,6 /proc/20099/stat : 20099 (glucose_static) R 20089 20089 18917 0 -1 4202496 175670 0 0 0 16159 27 0 0 25 0 1 0 806678820 91185152 19081 33554432000 4194304 4260849 140735589150416 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/20099/statm: 22262 19081 251 17 0 18903 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 97752 [startup+222.301 s] /proc/loadavg: 1.97 1.55 1.50 3/467 20106 /proc/meminfo: memFree=30146204/32950928 swapFree=45617076/67111528 [pid=20089] ppid=20087 vsize=8704 CPUtime=0.4 cores=0,2,4,6 /proc/20089/stat : 20089 (glucose.sh) S 20087 20089 18917 0 -1 4202496 359 2974 0 0 0 0 40 0 18 0 1 0 806678779 8912896 254 33554432000 4194304 4922060 140733337013040 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/20089/statm: 2176 254 211 178 0 69 0 [pid=20099] ppid=20089 vsize=138368 CPUtime=221.86 cores=0,2,4,6 /proc/20099/stat : 20099 (glucose_static) R 20089 20089 18917 0 -1 4202496 225985 0 0 0 22151 35 0 0 25 0 1 0 806678820 141688832 29985 33554432000 4194304 4260849 140735589150416 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/20099/statm: 34592 29985 251 17 0 31233 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 147072 [startup+282.3 s] /proc/loadavg: 2.11 1.66 1.54 3/467 20107 /proc/meminfo: memFree=30111320/32950928 swapFree=45617076/67111528 [pid=20089] ppid=20087 vsize=8704 CPUtime=0.4 cores=0,2,4,6 /proc/20089/stat : 20089 (glucose.sh) S 20087 20089 18917 0 -1 4202496 359 2974 0 0 0 0 40 0 18 0 1 0 806678779 8912896 254 33554432000 4194304 4922060 140733337013040 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/20089/statm: 2176 254 211 178 0 69 0 [pid=20099] ppid=20089 vsize=138368 CPUtime=281.86 cores=0,2,4,6 /proc/20099/stat : 20099 (glucose_static) R 20089 20089 18917 0 -1 4202496 279538 0 0 0 28144 42 0 0 25 0 1 0 806678820 141688832 30097 33554432000 4194304 4260849 140735589150416 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/20099/statm: 34592 30097 251 17 0 31233 0 Current children cumulated CPU time (s) 282.26 Current children cumulated vsize (KiB) 147072 [startup+342.301 s] /proc/loadavg: 2.10 1.73 1.57 3/467 20109 /proc/meminfo: memFree=30077440/32950928 swapFree=45617076/67111528 [pid=20089] ppid=20087 vsize=8704 CPUtime=0.4 cores=0,2,4,6 /proc/20089/stat : 20089 (glucose.sh) S 20087 20089 18917 0 -1 4202496 359 2974 0 0 0 0 40 0 18 0 1 0 806678779 8912896 254 33554432000 4194304 4922060 140733337013040 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/20089/statm: 2176 254 211 178 0 69 0 [pid=20099] ppid=20089 vsize=200352 CPUtime=341.86 cores=0,2,4,6 /proc/20099/stat : 20099 (glucose_static) R 20089 20089 18917 0 -1 4202496 334336 0 0 0 34137 49 0 0 25 0 1 0 806678820 205160448 39246 33554432000 4194304 4260849 140735589150416 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/20099/statm: 50088 39246 251 17 0 46729 0 Current children cumulated CPU time (s) 342.26 Current children cumulated vsize (KiB) 209056 [startup+402.301 s] /proc/loadavg: 2.04 1.78 1.59 3/467 20111 /proc/meminfo: memFree=30074792/32950928 swapFree=45617076/67111528 [pid=20089] ppid=20087 vsize=8704 CPUtime=0.4 cores=0,2,4,6 ################ # More data... # ################ /proc/20099/statm: 90961 69811 251 17 0 87602 0 Current children cumulated CPU time (s) 4302.36 Current children cumulated vsize (KiB) 372548 [startup+4362.3 s] /proc/loadavg: 2.07 2.06 2.01 3/467 20240 /proc/meminfo: memFree=29833712/32950928 swapFree=45617076/67111528 [pid=20089] ppid=20087 vsize=8704 CPUtime=0.4 cores=0,2,4,6 /proc/20089/stat : 20089 (glucose.sh) S 20087 20089 18917 0 -1 4202496 359 2974 0 0 0 0 40 0 18 0 1 0 806678779 8912896 254 33554432000 4194304 4922060 140733337013040 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/20089/statm: 2176 254 211 178 0 69 0 [pid=20099] ppid=20089 vsize=282740 CPUtime=4361.96 cores=0,2,4,6 /proc/20099/stat : 20099 (glucose_static) R 20089 20089 18917 0 -1 4202496 1890532 0 0 0 435827 369 0 0 25 0 1 0 806678820 289525760 59110 33554432000 4194304 4260849 140735589150416 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/20099/statm: 70685 59110 251 17 0 67326 0 Current children cumulated CPU time (s) 4362.36 Current children cumulated vsize (KiB) 291444 [startup+4422.3 s] /proc/loadavg: 2.02 2.05 2.01 3/467 20242 /proc/meminfo: memFree=29692924/32950928 swapFree=45617076/67111528 [pid=20089] ppid=20087 vsize=8704 CPUtime=0.4 cores=0,2,4,6 /proc/20089/stat : 20089 (glucose.sh) S 20087 20089 18917 0 -1 4202496 359 2974 0 0 0 0 40 0 18 0 1 0 806678779 8912896 254 33554432000 4194304 4922060 140733337013040 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/20089/statm: 2176 254 211 178 0 69 0 [pid=20099] ppid=20089 vsize=364604 CPUtime=4421.96 cores=0,2,4,6 /proc/20099/stat : 20099 (glucose_static) R 20089 20089 18917 0 -1 4202496 1902888 0 0 0 441823 373 0 0 25 0 1 0 806678820 373354496 71368 33554432000 4194304 4260849 140735589150416 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/20099/statm: 91151 71368 251 17 0 87792 0 Current children cumulated CPU time (s) 4422.36 Current children cumulated vsize (KiB) 373308 [startup+4482.3 s] /proc/loadavg: 2.01 2.04 2.00 3/467 20243 /proc/meminfo: memFree=29640664/32950928 swapFree=45617076/67111528 [pid=20089] ppid=20087 vsize=8704 CPUtime=0.4 cores=0,2,4,6 /proc/20089/stat : 20089 (glucose.sh) S 20087 20089 18917 0 -1 4202496 359 2974 0 0 0 0 40 0 18 0 1 0 806678779 8912896 254 33554432000 4194304 4922060 140733337013040 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/20089/statm: 2176 254 211 178 0 69 0 [pid=20099] ppid=20089 vsize=283640 CPUtime=4481.97 cores=0,2,4,6 /proc/20099/stat : 20099 (glucose_static) R 20089 20089 18917 0 -1 4202496 1932026 0 0 0 447818 379 0 0 25 0 1 0 806678820 290447360 56466 33554432000 4194304 4260849 140735589150416 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/20099/statm: 70910 56466 251 17 0 67551 0 Current children cumulated CPU time (s) 4482.37 Current children cumulated vsize (KiB) 292344 [startup+4542.3 s] /proc/loadavg: 2.00 2.03 2.00 3/467 20245 /proc/meminfo: memFree=29741680/32950928 swapFree=45617076/67111528 [pid=20089] ppid=20087 vsize=8704 CPUtime=0.4 cores=0,2,4,6 /proc/20089/stat : 20089 (glucose.sh) S 20087 20089 18917 0 -1 4202496 359 2974 0 0 0 0 40 0 18 0 1 0 806678779 8912896 254 33554432000 4194304 4922060 140733337013040 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/20089/statm: 2176 254 211 178 0 69 0 [pid=20099] ppid=20089 vsize=365600 CPUtime=4541.97 cores=0,2,4,6 /proc/20099/stat : 20099 (glucose_static) R 20089 20089 18917 0 -1 4202496 1943545 0 0 0 453815 382 0 0 25 0 1 0 806678820 374374400 67863 33554432000 4194304 4260849 140735589150416 18446744073709551615 4225091 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/20099/statm: 91400 67863 251 17 0 88041 0 Current children cumulated CPU time (s) 4542.37 Current children cumulated vsize (KiB) 374304 [startup+4602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/467 20247 /proc/meminfo: memFree=29691664/32950928 swapFree=45617076/67111528 [pid=20089] ppid=20087 vsize=8704 CPUtime=0.4 cores=0,2,4,6 /proc/20089/stat : 20089 (glucose.sh) S 20087 20089 18917 0 -1 4202496 359 2974 0 0 0 0 40 0 18 0 1 0 806678779 8912896 254 33554432000 4194304 4922060 140733337013040 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/20089/statm: 2176 254 211 178 0 69 0 [pid=20099] ppid=20089 vsize=235260 CPUtime=4601.98 cores=0,2,4,6 /proc/20099/stat : 20099 (glucose_static) R 20089 20089 18917 0 -1 4202496 1968993 0 0 0 459810 388 0 0 25 0 1 0 806678820 240906240 50593 33554432000 4194304 4260849 140735589150416 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/20099/statm: 58815 50593 251 17 0 55456 0 Current children cumulated CPU time (s) 4602.38 Current children cumulated vsize (KiB) 243964 [startup+4662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/467 20248 /proc/meminfo: memFree=29536628/32950928 swapFree=45617076/67111528 [pid=20089] ppid=20087 vsize=8704 CPUtime=0.4 cores=0,2,4,6 /proc/20089/stat : 20089 (glucose.sh) S 20087 20089 18917 0 -1 4202496 359 2974 0 0 0 0 40 0 18 0 1 0 806678779 8912896 254 33554432000 4194304 4922060 140733337013040 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/20089/statm: 2176 254 211 178 0 69 0 [pid=20099] ppid=20089 vsize=285348 CPUtime=4661.97 cores=0,2,4,6 /proc/20099/stat : 20099 (glucose_static) R 20089 20089 18917 0 -1 4202496 1981974 0 0 0 465805 392 0 0 25 0 1 0 806678820 292196352 63455 33554432000 4194304 4260849 140735589150416 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/20099/statm: 71337 63455 251 17 0 67978 0 Current children cumulated CPU time (s) 4662.37 Current children cumulated vsize (KiB) 294052 [startup+4722.32 s] /proc/loadavg: 2.00 2.01 2.00 3/467 20250 /proc/meminfo: memFree=29660704/32950928 swapFree=45617076/67111528 [pid=20089] ppid=20087 vsize=8704 CPUtime=0.4 cores=0,2,4,6 /proc/20089/stat : 20089 (glucose.sh) S 20087 20089 18917 0 -1 4202496 359 2974 0 0 0 0 40 0 18 0 1 0 806678779 8912896 254 33554432000 4194304 4922060 140733337013040 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/20089/statm: 2176 254 211 178 0 69 0 [pid=20099] ppid=20089 vsize=367592 CPUtime=4721.99 cores=0,2,4,6 /proc/20099/stat : 20099 (glucose_static) R 20089 20089 18917 0 -1 4202496 1991384 0 0 0 471805 394 0 0 25 0 1 0 806678820 376414208 72772 33554432000 4194304 4260849 140735589150416 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/20099/statm: 91898 72772 251 17 0 88539 0 Current children cumulated CPU time (s) 4722.39 Current children cumulated vsize (KiB) 376296 [startup+4782.3 s] /proc/loadavg: 2.14 2.05 2.01 3/467 20251 /proc/meminfo: memFree=29619852/32950928 swapFree=45617076/67111528 [pid=20089] ppid=20087 vsize=8704 CPUtime=0.4 cores=0,2,4,6 /proc/20089/stat : 20089 (glucose.sh) S 20087 20089 18917 0 -1 4202496 359 2974 0 0 0 0 40 0 18 0 1 0 806678779 8912896 254 33554432000 4194304 4922060 140733337013040 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/20089/statm: 2176 254 211 178 0 69 0 [pid=20099] ppid=20089 vsize=286772 CPUtime=4781.97 cores=0,2,4,6 /proc/20099/stat : 20099 (glucose_static) R 20089 20089 18917 0 -1 4202496 2018677 0 0 0 477799 398 0 0 25 0 1 0 806678820 293654528 58056 33554432000 4194304 4260849 140735589150416 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/20099/statm: 71693 58056 251 17 0 68334 0 Current children cumulated CPU time (s) 4782.37 Current children cumulated vsize (KiB) 295476 [startup+4842.3 s] /proc/loadavg: 2.15 2.07 2.02 3/467 20253 /proc/meminfo: memFree=29765244/32950928 swapFree=45617076/67111528 [pid=20089] ppid=20087 vsize=8704 CPUtime=0.4 cores=0,2,4,6 /proc/20089/stat : 20089 (glucose.sh) S 20087 20089 18917 0 -1 4202496 359 2974 0 0 0 0 40 0 18 0 1 0 806678779 8912896 254 33554432000 4194304 4922060 140733337013040 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/20089/statm: 2176 254 211 178 0 69 0 [pid=20099] ppid=20089 vsize=368728 CPUtime=4841.97 cores=0,2,4,6 /proc/20099/stat : 20099 (glucose_static) R 20089 20089 18917 0 -1 4202496 2031574 0 0 0 483796 401 0 0 25 0 1 0 806678820 377577472 70854 33554432000 4194304 4260849 140735589150416 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/20099/statm: 92182 70854 251 17 0 88823 0 Current children cumulated CPU time (s) 4842.37 Current children cumulated vsize (KiB) 377432 [startup+4902.3 s] /proc/loadavg: 2.10 2.06 2.02 3/467 20255 /proc/meminfo: memFree=29736920/32950928 swapFree=45617076/67111528 [pid=20089] ppid=20087 vsize=8704 CPUtime=0.4 cores=0,2,4,6 /proc/20089/stat : 20089 (glucose.sh) S 20087 20089 18917 0 -1 4202496 359 2974 0 0 0 0 40 0 18 0 1 0 806678779 8912896 254 33554432000 4194304 4922060 140733337013040 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/20089/statm: 2176 254 211 178 0 69 0 [pid=20099] ppid=20089 vsize=238388 CPUtime=4901.97 cores=0,2,4,6 /proc/20099/stat : 20099 (glucose_static) R 20089 20089 18917 0 -1 4202496 2056073 0 0 0 489790 407 0 0 25 0 1 0 806678820 244109312 53175 33554432000 4194304 4260849 140735589150416 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/20099/statm: 59597 53175 251 17 0 56238 0 Current children cumulated CPU time (s) 4902.37 Current children cumulated vsize (KiB) 247092 [startup+4962.3 s] /proc/loadavg: 2.03 2.05 2.01 3/467 20256 /proc/meminfo: memFree=29622052/32950928 swapFree=45617076/67111528 [pid=20089] ppid=20087 vsize=8704 CPUtime=0.4 cores=0,2,4,6 /proc/20089/stat : 20089 (glucose.sh) S 20087 20089 18917 0 -1 4202496 359 2974 0 0 0 0 40 0 18 0 1 0 806678779 8912896 254 33554432000 4194304 4922060 140733337013040 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/20089/statm: 2176 254 211 178 0 69 0 [pid=20099] ppid=20089 vsize=289544 CPUtime=4961.97 cores=0,2,4,6 /proc/20099/stat : 20099 (glucose_static) R 20089 20089 18917 0 -1 4202496 2064671 0 0 0 495788 409 0 0 25 0 1 0 806678820 296493056 61654 33554432000 4194304 4260849 140735589150416 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/20099/statm: 72386 61654 251 17 0 69027 0 Current children cumulated CPU time (s) 4962.37 Current children cumulated vsize (KiB) 298248 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+5000 s] /proc/loadavg: 2.02 2.04 2.01 3/467 20257 /proc/meminfo: memFree=29544148/32950928 swapFree=45617076/67111528 [pid=20089] ppid=20087 vsize=8704 CPUtime=0.4 cores=0,2,4,6 /proc/20089/stat : 20089 (glucose.sh) S 20087 20089 18917 0 -1 4202496 359 2974 0 0 0 0 40 0 18 0 1 0 806678779 8912896 254 33554432000 4194304 4922060 140733337013040 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/20089/statm: 2176 254 211 178 0 69 0 [pid=20099] ppid=20089 vsize=371572 CPUtime=4999.68 cores=0,2,4,6 /proc/20099/stat : 20099 (glucose_static) R 20089 20089 18917 0 -1 4202496 2072209 0 0 0 499557 411 0 0 25 0 1 0 806678820 380489728 69132 33554432000 4194304 4260849 140735589150416 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/20099/statm: 92893 69132 251 17 0 89534 0 Current children cumulated CPU time (s) 5000.08 Current children cumulated vsize (KiB) 380276 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 20089 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=410937 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=5999 # CPU time returned by wait4() is 0.416936 # while last known CPU time is 5000.08 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 5000.02 CPU time (s): 5000.08 CPU user time (s): 4995.97 CPU system time (s): 4.11 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 458708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.410937 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= 3333 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= 9 involuntary context switches= 26 runsolver used 24.3203 second user time and 51.5902 second system time The end
Begin job on node123 at 2011-06-01 19:53:10 IDJOB=3303612 IDBENCH=88218 IDSOLVER=1687 FILE ID=node123/3303612-1306950790 RUNJOBID= node123-1306950790-20075 PBS_JOBID= 13488585 Free space on /tmp= 73824 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303612-1306950790/watcher-3303612-1306950790 -o /tmp/evaluation-result-3303612-1306950790/solver-3303612-1306950790 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303612-1306950790.cnf TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c86ce640ddb0138bf41ccc37bc6fcf28 RANDOM SEED=1346908907 node123.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.838 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.67 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.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 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.838 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.82 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.838 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.74 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.838 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.80 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.838 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.74 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.838 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30434840 kB Buffers: 162664 kB Cached: 138032 kB SwapCached: 9456 kB Active: 2086188 kB Inactive: 162272 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30434840 kB SwapTotal: 67111528 kB SwapFree: 45617076 kB Dirty: 4728 kB Writeback: 0 kB AnonPages: 1945924 kB Mapped: 23160 kB Slab: 121376 kB PageTables: 77996 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 133354120 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= 73792 MiB End job on node123 at 2011-06-01 21:16:32