| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 1299.94 | 1300.01 |
| Name | industrial/anbulagan/ hard-unsat/total-10-17-u.cnf |
| MD5SUM | 9ce7c48a28ddd5790e38607bb893dd38 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 293864 |
| Number of clauses | 1370917 |
| Sum of the clauses size | 3163902 |
| Maximum clause length | 10 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 24516 |
| Number of clauses of size 2 | 1065117 |
| Number of clauses of size 3 | 226184 |
| Number of clauses of size 4 | 6120 |
| Number of clauses of size 5 | 24480 |
| Number of clauses of size over 5 | 24500 |
0.00/0.00 c 0.00/0.00 c Starting SatElite Preprocessing 0.00/0.00 c 0.00/0.01 c Parsing... 0.00/0.59 c ============================================================================== 0.00/0.59 c | | ORIGINAL | LEARNT | | 0.00/0.59 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.59 c ============================================================================== 0.00/0.59 c | 0 | 1346401 3139386 | 403920 0 0 nan | 0.000 % | 4.38/4.42 c | 0 | 534198 1400252 | -- 0 -- -- | -- | -504732/-1043370 4.38/4.42 c ============================================================================== 4.38/4.42 c Result : #vars: 84762 #clauses: 534198 #literals: 1400252 4.38/4.42 c CPU time: 4.28835 s 4.38/4.42 c ============================================================================== 4.68/4.74 c 4.68/4.74 c Starting glucose 4.68/4.74 c 15.46/15.53 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 15.46/15.53 c WARNING: for repeatability, setting FPU to use double precision 15.46/15.53 c ============================[ Problem Statistics ]============================= 15.46/15.53 c | | 15.46/15.53 c | Number of variables: 84762 | 15.46/15.53 c | Number of clauses: 534198 | 15.46/15.53 c | Parse time: 0.14 s | 15.46/15.53 c | | 15.46/15.53 c ============================[ Search Statistics ]============================== 15.46/15.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.46/15.53 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 15.46/15.53 c =============================================================================== 15.46/15.53 c | 239 | 70402 524419 1365358 | 1 217 63 | 16.942 % | 15.46/15.53 c | 557 | 64279 485614 1236358 | 1 484 64 | 24.165 % | 15.46/15.53 c | 2028 | 64279 485614 1236358 | 1 1955 73 | 24.165 % | 15.46/15.53 c | 2329 | 63225 483715 1229776 | 1 2253 74 | 25.409 % | 15.46/15.53 c | 2430 | 63225 483715 1229776 | 1 2354 74 | 25.409 % | 15.46/15.53 c | 2947 | 63096 481575 1222372 | 1 2859 75 | 25.561 % | 15.46/15.53 c | 3105 | 63096 481575 1222372 | 1 3017 76 | 25.561 % | 15.46/15.53 c | 3209 | 63037 481575 1222372 | 1 3119 76 | 25.631 % | 15.46/15.53 c | 3368 | 62546 481575 1222372 | 1 3277 81 | 26.210 % | 15.46/15.53 c | 3469 | 62546 480544 1218733 | 1 3377 84 | 26.210 % | 15.46/15.53 c | 3570 | 62480 480544 1218733 | 1 3477 84 | 26.288 % | 15.46/15.53 c | 3670 | 62480 480544 1218733 | 1 3577 83 | 26.288 % | 15.46/15.53 c | 3778 | 62480 480544 1218733 | 1 3685 83 | 26.288 % | 15.46/15.53 c | 3934 | 62480 480544 1218733 | 1 3841 83 | 26.288 % | 15.46/15.53 c | 4034 | 62405 480435 1218366 | 1 1997 51 | 26.376 % | 15.46/15.53 c | 5780 | 62363 480435 1218366 | 1 3742 75 | 26.426 % | 15.46/15.53 c | 6441 | 62363 480330 1217978 | 1 4401 80 | 26.426 % | 15.46/15.53 c | 6541 | 61993 480330 1217978 | 1 4499 80 | 26.862 % | 15.46/15.53 c | 6641 | 61978 480330 1217978 | 1 4598 80 | 26.880 % | 15.46/15.53 c | 6803 | 61978 480330 1217978 | 1 4760 82 | 26.880 % | 15.46/15.53 c | 6912 | 61978 479489 1214918 | 1 4868 83 | 26.880 % | 15.46/15.53 c | 7014 | 61978 479489 1214918 | 1 4970 85 | 26.880 % | 15.46/15.53 c | 7184 | 61978 479489 1214918 | 1 5140 85 | 26.880 % | 15.46/15.53 c | 8556 | 58794 478020 1210073 | 1 6504 114 | 30.636 % | 15.46/15.53 c | 8658 | 58794 478020 1210073 | 1 6606 114 | 30.636 % | 15.46/15.53 c | 9393 | 58783 478020 1210073 | 1 7340 118 | 30.649 % | 15.46/15.53 c | 9493 | 58783 478020 1210073 | 1 7440 118 | 30.649 % | 15.46/15.53 c | 9594 | 58782 471570 1188002 | 1 7519 118 | 30.651 % | 15.46/15.53 c | 9803 | 58782 471570 1188002 | 1 7728 117 | 30.651 % | 15.46/15.53 c | 10031 | 58643 471570 1188002 | 1 7955 117 | 30.815 % | 15.46/15.53 c | 11503 | 58643 471570 1188002 | 1 5175 105 | 30.815 % | 15.46/15.53 c | 11604 | 58643 471570 1188002 | 1 5276 106 | 30.815 % | 15.46/15.53 c | 11811 | 58545 471199 1186636 | 1 5482 106 | 30.930 % | 15.46/15.53 c | 11916 | 58545 471199 1186636 | 1 5587 107 | 30.930 % | 15.46/15.53 c | 12336 | 58545 471199 1186636 | 1 6007 104 | 30.930 % | 15.46/15.53 c | 12484 | 58532 471199 1186636 | 1 6154 105 | 30.945 % | 15.46/15.53 c | 15881 | 58484 471199 1186636 | 1 9549 118 | 31.002 % | 15.46/15.53 c | 16808 | 58433 470803 1185338 | 1 10469 114 | 31.062 % | 15.46/15.53 c | 16908 | 58433 470803 1185338 | 1 10569 114 | 31.062 % | 37.97/38.05 c | 17009 | 58433 470803 1185338 | 1 10670 114 | 31.062 % | 37.97/38.05 c | 17109 | 58433 470803 1185338 | 1 10770 114 | 31.062 % | 37.97/38.05 c | 17214 | 58433 470803 1185338 | 1 10875 114 | 31.062 % | 37.97/38.05 c | 17382 | 58433 470803 1185338 | 1 11043 114 | 31.062 % | 37.97/38.05 c | 17483 | 58433 470719 1184981 | 1 11144 113 | 31.062 % | 37.97/38.05 c | 17601 | 58433 470719 1184981 | 1 11262 113 | 31.062 % | 37.97/38.05 c | 17822 | 43042 470719 1184981 | 1 11481 113 | 49.220 % | 37.97/38.05 c | 17924 | 43042 470719 1184981 | 1 11583 114 | 49.220 % | 37.97/38.05 c | 18025 | 43042 470719 1184981 | 1 11684 114 | 49.220 % | 37.97/38.05 c | 18125 | 43042 470719 1184981 | 1 11784 115 | 49.220 % | 37.97/38.05 c | 18321 | 43042 470719 1184981 | 1 11980 115 | 49.220 % | 37.97/38.05 c | 18701 | 42983 470719 1184981 | 1 12359 115 | 49.290 % | 37.97/38.05 c | 19113 | 42971 424406 1027570 | 1 12578 116 | 49.304 % | 37.97/38.05 c | 28444 | 42842 424098 1026572 | 1 15274 72 | 49.456 % | 37.97/38.05 c | 28568 | 42627 424004 1026249 | 1 15397 72 | 49.710 % | 37.97/38.05 c | 28752 | 42627 424004 1026249 | 1 15581 72 | 49.710 % | 37.97/38.05 c | 28941 | 42627 424004 1026249 | 1 15770 73 | 49.710 % | 37.97/38.05 c | 36187 | 42607 424004 1026249 | 1 13808 56 | 49.733 % | 37.97/38.05 c | 36526 | 42594 423644 1024556 | 1 14131 56 | 49.749 % | 37.97/38.05 c | 42751 | 42412 423351 1023133 | 1 20345 48 | 49.963 % | 37.97/38.05 c | 42877 | 42412 423351 1023133 | 1 20471 48 | 49.963 % | 37.97/38.05 c | 43852 | 42375 423262 1022819 | 1 21442 50 | 50.007 % | 37.97/38.05 c | 43955 | 42375 423262 1022819 | 1 21545 50 | 50.007 % | 37.97/38.05 c | 44055 | 42375 423262 1022819 | 1 21645 51 | 50.007 % | 37.97/38.05 c | 44155 | 42375 423262 1022819 | 1 21745 51 | 50.007 % | 37.97/38.05 c | 44311 | 42375 423262 1022819 | 1 21901 51 | 50.007 % | 37.97/38.05 c | 45068 | 42375 423262 1022819 | 1 22658 54 | 50.007 % | 37.97/38.05 c | 47330 | 42375 423262 1022819 | 1 13125 42 | 50.007 % | 37.97/38.05 c | 48414 | 42365 423221 1022696 | 1 14203 56 | 50.019 % | 37.97/38.05 c | 64781 | 42341 423102 1022307 | 1 16178 45 | 50.047 % | 37.97/38.05 c | 65000 | 42341 423102 1022307 | 1 16397 46 | 50.047 % | 37.97/38.05 c | 65100 | 42341 423102 1022307 | 1 16497 46 | 50.047 % | 37.97/38.05 c | 65200 | 42319 423076 1022221 | 1 16595 46 | 50.073 % | 37.97/38.05 c | 65300 | 42319 423076 1022221 | 1 16695 46 | 50.073 % | 37.97/38.05 c | 65400 | 42319 423076 1022221 | 1 16795 46 | 50.073 % | 37.97/38.05 c | 65501 | 42319 423076 1022221 | 1 16896 46 | 50.073 % | 37.97/38.05 c | 65601 | 42319 423076 1022221 | 1 16996 46 | 50.073 % | 37.97/38.05 c | 65812 | 42319 423076 1022221 | 1 17207 47 | 50.073 % | 37.97/38.05 c | 65912 | 42319 423076 1022221 | 1 17307 47 | 50.073 % | 37.97/38.05 c | 66225 | 42319 423076 1022221 | 1 17620 48 | 50.073 % | 37.97/38.05 c | 66395 | 42319 423034 1022087 | 1 17790 49 | 50.073 % | 37.97/38.05 c | 66497 | 42319 423034 1022087 | 1 17892 49 | 50.073 % | 37.97/38.05 c | 66598 | 42319 423034 1022087 | 1 17993 50 | 50.073 % | 37.97/38.05 c | 66699 | 42319 423034 1022087 | 1 18094 50 | 50.073 % | 37.97/38.05 c | 66799 | 42300 423034 1022087 | 1 18193 50 | 50.096 % | 37.97/38.05 c | 67323 | 42291 423034 1022087 | 1 18716 51 | 50.106 % | 37.97/38.05 c | 67649 | 42281 422933 1021782 | 1 19040 52 | 50.118 % | 37.97/38.05 c | 68047 | 42251 422933 1021782 | 1 19436 54 | 50.153 % | 37.97/38.05 c | 68846 | 42251 422933 1021782 | 1 20235 57 | 50.153 % | 37.97/38.05 c | 69876 | 42251 422835 1021486 | 1 21260 63 | 50.153 % | 66.57/66.69 c | 69977 | 42251 422835 1021486 | 1 21361 63 | 50.153 % | 66.57/66.69 c | 70077 | 42251 422835 1021486 | 1 21461 63 | 50.153 % | 66.57/66.69 c | 70179 | 42251 422835 1021486 | 1 21563 63 | 50.153 % | 66.57/66.69 c | 84179 | 42229 422763 1021254 | 1 18553 64 | 50.179 % | 66.57/66.69 c | 84964 | 42229 422763 1021254 | 1 19338 66 | 50.179 % | 66.57/66.69 c | 85169 | 42229 422763 1021254 | 1 19543 66 | 50.179 % | 66.57/66.69 c | 85913 | 42229 422763 1021254 | 1 20287 68 | 50.179 % | 66.57/66.69 c | 86337 | 42229 422763 1021254 | 1 20711 71 | 50.179 % | 66.57/66.69 c | 86437 | 42229 422763 1021254 | 1 20811 71 | 50.179 % | 66.57/66.69 c | 86539 | 42229 422763 1021254 | 1 20913 71 | 50.179 % | 66.57/66.69 c | 89413 | 41925 422729 1021140 | 1 23778 78 | 50.538 % | 66.57/66.69 c | 89514 | 41925 422729 1021140 | 1 23879 78 | 50.538 % | 66.57/66.69 c | 89614 | 41925 422729 1021140 | 1 23979 78 | 50.538 % | 66.57/66.69 c | 89715 | 41925 422729 1021140 | 1 24080 78 | 50.538 % | 66.57/66.69 c | 89815 | 41925 422729 1021140 | 1 24180 78 | 50.538 % | 66.57/66.69 c | 89916 | 41925 422729 1021140 | 1 24281 78 | 50.538 % | 66.57/66.69 c | 90017 | 41925 422729 1021140 | 1 24382 78 | 50.538 % | 66.57/66.69 c | 90603 | 41835 421933 1018293 | 1 24964 78 | 50.644 % | 66.57/66.69 c | 90775 | 41835 421933 1018293 | 1 25136 78 | 50.644 % | 66.57/66.69 c | 90875 | 41825 421933 1018293 | 1 25235 78 | 50.656 % | 66.57/66.69 c | 91058 | 41825 421933 1018293 | 1 25418 78 | 50.656 % | 66.57/66.69 c | 91210 | 41825 421933 1018293 | 1 25570 79 | 50.656 % | 66.57/66.69 c | 91312 | 41825 421933 1018293 | 1 25672 79 | 50.656 % | 66.57/66.69 c | 91447 | 41825 421933 1018293 | 1 25807 79 | 50.656 % | 66.57/66.69 c | 91833 | 41825 421933 1018293 | 1 26193 82 | 50.656 % | 66.57/66.69 c | 91933 | 41825 421933 1018293 | 1 26293 82 | 50.656 % | 66.57/66.69 c | 112915 | 41825 421613 1017304 | 1 27699 56 | 50.656 % | 66.57/66.69 c | 113015 | 41825 421613 1017304 | 1 27799 56 | 50.656 % | 66.57/66.69 c | 113548 | 41825 421613 1017304 | 1 28332 59 | 50.656 % | 66.57/66.69 c | 113650 | 41825 421613 1017304 | 1 28434 59 | 50.656 % | 66.57/66.69 c | 114354 | 41815 421579 1017194 | 1 29137 62 | 50.668 % | 66.57/66.69 c | 114577 | 41815 421579 1017194 | 1 29360 63 | 50.668 % | 66.57/66.69 c | 114700 | 41794 421579 1017194 | 1 29481 63 | 50.693 % | 66.57/66.69 c | 114802 | 41794 421579 1017194 | 1 29583 63 | 50.693 % | 66.57/66.69 c | 114902 | 41794 421579 1017194 | 1 29683 64 | 50.693 % | 66.57/66.69 c | 115045 | 41794 421579 1017194 | 1 29826 64 | 50.693 % | 66.57/66.69 c | 117387 | 41793 421579 1017194 | 1 32167 67 | 50.694 % | 66.57/66.69 c | 118233 | 41793 421521 1017004 | 1 33013 69 | 50.694 % | 66.57/66.69 c | 119059 | 41793 421521 1017004 | 1 33839 70 | 50.694 % | 66.57/66.69 c | 119391 | 41793 421521 1017004 | 1 34171 70 | 50.694 % | 66.57/66.69 c | 119491 | 41793 421521 1017004 | 1 34271 70 | 50.694 % | 66.57/66.69 c | 132345 | 41793 421521 1017004 | 1 24940 65 | 50.694 % | 66.57/66.69 c | 133862 | 41752 421421 1016694 | 1 26455 67 | 50.742 % | 66.57/66.69 c | 133963 | 41752 421421 1016694 | 1 26556 67 | 50.742 % | 66.57/66.69 c | 134063 | 41752 421421 1016694 | 1 26656 67 | 50.742 % | 66.57/66.69 c | 134386 | 41752 421421 1016694 | 1 26979 67 | 50.742 % | 66.57/66.69 c | 134896 | 41752 421421 1016694 | 1 27489 67 | 50.742 % | 66.57/66.69 c | 135455 | 41752 421377 1016554 | 1 28048 67 | 50.742 % | 66.57/66.69 c | 135555 | 41752 421377 1016554 | 1 28148 67 | 50.742 % | 66.57/66.69 c | 136245 | 41752 421377 1016554 | 1 28838 69 | 50.742 % | 226.26/226.36 c | 137828 | 41741 421344 1016439 | 1 30420 72 | 50.755 % | 226.26/226.36 c | 137930 | 41741 421344 1016439 | 1 30522 72 | 50.755 % | 226.26/226.36 c | 138030 | 41741 421344 1016439 | 1 30622 72 | 50.755 % | 226.26/226.36 c | 138439 | 41741 421344 1016439 | 1 31031 72 | 50.755 % | 226.26/226.36 c | 138540 | 41741 421344 1016439 | 1 31132 72 | 50.755 % | 226.26/226.36 c | 138641 | 41741 421344 1016439 | 1 31233 72 | 50.755 % | 226.26/226.36 c | 139438 | 41741 421344 1016439 | 1 32030 73 | 50.755 % | 226.26/226.36 c | 140165 | 41730 421344 1016439 | 1 32756 73 | 50.768 % | 226.26/226.36 c | 140268 | 41730 421304 1016308 | 1 32859 73 | 50.768 % | 226.26/226.36 c | 140394 | 41730 421304 1016308 | 1 32985 73 | 50.768 % | 226.26/226.36 c | 140494 | 41730 421304 1016308 | 1 33085 73 | 50.768 % | 226.26/226.36 c | 140594 | 41675 421304 1016308 | 1 33184 73 | 50.833 % | 226.26/226.36 c | 288843 | 41664 421304 1016308 | 1 66657 93 | 50.846 % | 226.26/226.36 c | 289025 | 41664 421090 1015663 | 1 66823 93 | 50.846 % | 226.26/226.36 c | 289290 | 41664 421090 1015663 | 1 67088 93 | 50.846 % | 226.26/226.36 c | 289667 | 41664 421090 1015663 | 1 67465 93 | 50.846 % | 226.26/226.36 c | 289768 | 41664 421090 1015663 | 1 67566 93 | 50.846 % | 226.26/226.36 c | 290844 | 41664 421090 1015663 | 1 68642 94 | 50.846 % | 226.26/226.36 c | 291528 | 41664 421090 1015663 | 1 69326 94 | 50.846 % | 226.26/226.36 c | 291629 | 41664 421090 1015663 | 1 69427 94 | 50.846 % | 226.26/226.36 c | 291731 | 41664 421090 1015663 | 1 69529 94 | 50.846 % | 226.26/226.36 c | 291897 | 41664 421090 1015663 | 1 69695 94 | 50.846 % | 226.26/226.36 c | 308774 | 41664 421090 1015663 | 1 51376 76 | 50.846 % | 226.26/226.36 c | 308874 | 41664 421090 1015663 | 1 51476 76 | 50.846 % | 226.26/226.36 c | 308977 | 41664 421090 1015663 | 1 51579 76 | 50.846 % | 226.26/226.36 c | 310413 | 41664 421090 1015663 | 1 53015 76 | 50.846 % | 226.26/226.36 c | 311990 | 41550 420827 1014750 | 1 54590 77 | 50.980 % | 226.26/226.36 c | 312091 | 41550 420827 1014750 | 1 54691 77 | 50.980 % | 226.26/226.36 c | 312442 | 41550 420827 1014750 | 1 55042 77 | 50.980 % | 226.26/226.36 c | 313358 | 41550 420827 1014750 | 1 55958 77 | 50.980 % | 226.26/226.36 c | 313460 | 41550 420827 1014750 | 1 56060 77 | 50.980 % | 226.26/226.36 c | 313561 | 41550 420827 1014750 | 1 56161 77 | 50.980 % | 226.26/226.36 c | 314541 | 41550 420827 1014750 | 1 57141 78 | 50.980 % | 226.26/226.36 c | 315393 | 41541 420775 1014575 | 1 57990 78 | 50.991 % | 226.26/226.36 c | 315507 | 41541 420775 1014575 | 1 58104 78 | 50.991 % | 226.26/226.36 c | 315608 | 41541 420775 1014575 | 1 58205 78 | 50.991 % | 226.26/226.36 c | 317080 | 41541 420775 1014575 | 1 59677 79 | 50.991 % | 226.26/226.36 c | 317182 | 41541 420775 1014575 | 1 59779 79 | 50.991 % | 226.26/226.36 c | 317284 | 41541 420775 1014575 | 1 59881 79 | 50.991 % | 226.26/226.36 c | 318206 | 41541 420775 1014575 | 1 60803 81 | 50.991 % | 226.26/226.36 c | 322049 | 41541 420775 1014575 | 1 64646 82 | 50.991 % | 226.26/226.36 c | 326295 | 41533 420740 1014468 | 1 68886 84 | 51.000 % | 226.26/226.36 c | 326395 | 41533 420740 1014468 | 1 68986 84 | 51.000 % | 226.26/226.36 c | 495331 | 41520 420691 1014306 | 1 36090 55 | 51.016 % | 226.26/226.36 c | 495828 | 41508 420691 1014306 | 1 36586 55 | 51.030 % | 226.26/226.36 c | 495944 | 41508 420691 1014306 | 1 36702 55 | 51.030 % | 226.26/226.36 c | 496045 | 41508 420691 1014306 | 1 36803 55 | 51.030 % | 226.26/226.36 c | 496147 | 41508 420691 1014306 | 1 36905 55 | 51.030 % | 226.26/226.36 c | 496247 | 41508 420691 1014306 | 1 37005 55 | 51.030 % | 226.26/226.36 c | 496349 | 41508 420691 1014306 | 1 37107 56 | 51.030 % | 333.76/333.85 c | 652691 | 41505 420691 1014306 | 1 71718 101 | 51.033 % | 333.76/333.85 c | 652791 | 41505 420645 1014152 | 1 71809 101 | 51.033 % | 333.76/333.85 c | 652891 | 41505 420645 1014152 | 1 71909 101 | 51.033 % | 333.76/333.85 c | 653342 | 41505 420645 1014152 | 1 72360 101 | 51.033 % | 333.76/333.85 c | 653442 | 41505 420645 1014152 | 1 72460 101 | 51.033 % | 333.76/333.85 c | 653618 | 41505 420645 1014152 | 1 72636 101 | 51.033 % | 333.76/333.85 c | 653719 | 41505 420645 1014152 | 1 72737 101 | 51.033 % | 333.76/333.85 c | 653821 | 41505 420645 1014152 | 1 72839 101 | 51.033 % | 333.76/333.85 c | 653921 | 41505 420645 1014152 | 1 72939 101 | 51.033 % | 333.76/333.85 c | 655018 | 41335 420645 1014152 | 1 74035 101 | 51.234 % | 333.76/333.85 c | 655987 | 41335 420645 1014152 | 1 75004 101 | 51.234 % | 333.76/333.85 c | 656088 | 41335 420645 1014152 | 1 75105 101 | 51.234 % | 333.76/333.85 c | 656193 | 41335 420645 1014152 | 1 75210 101 | 51.234 % | 333.76/333.85 c | 656542 | 41335 420645 1014152 | 1 75559 101 | 51.234 % | 333.76/333.85 c | 669474 | 41335 420645 1014152 | 1 88491 105 | 51.234 % | 333.76/333.85 c | 669575 | 41335 420217 1012718 | 1 88592 105 | 51.234 % | 333.76/333.85 c | 669675 | 41334 420217 1012718 | 1 88691 105 | 51.235 % | 333.76/333.85 c | 670289 | 41334 420217 1012718 | 1 89305 105 | 51.235 % | 333.76/333.85 c | 670390 | 41334 420217 1012718 | 1 89406 105 | 51.235 % | 333.76/333.85 c | 670600 | 41334 420217 1012718 | 1 89616 105 | 51.235 % | 333.76/333.85 c | 670869 | 41317 420217 1012718 | 1 89883 105 | 51.255 % | 333.76/333.85 c | 677588 | 41317 420217 1012718 | 1 96602 107 | 51.255 % | 333.76/333.85 c | 677689 | 41317 420217 1012718 | 1 96703 107 | 51.255 % | 333.76/333.85 c | 677790 | 41317 420217 1012718 | 1 96804 107 | 51.255 % | 333.76/333.85 c | 678674 | 41308 420217 1012718 | 1 97687 107 | 51.266 % | 333.76/333.85 c | 680515 | 41307 420133 1012458 | 1 99498 106 | 51.267 % | 333.76/333.85 c | 680617 | 41307 420133 1012458 | 1 99600 106 | 51.267 % | 333.76/333.85 c | 680717 | 41307 420133 1012458 | 1 99700 106 | 51.267 % | 333.76/333.85 c | 680817 | 41307 420133 1012458 | 1 99800 106 | 51.267 % | 333.76/333.85 c | 680917 | 41307 420133 1012458 | 1 99900 106 | 51.267 % | 333.76/333.85 c | 681018 | 41298 420133 1012458 | 1 100000 107 | 51.278 % | 333.76/333.85 c | 681119 | 41298 420133 1012458 | 1 100101 107 | 51.278 % | 333.76/333.85 c | 681220 | 41298 420133 1012458 | 1 100202 107 | 51.278 % | 333.76/333.85 c | 681321 | 41298 420133 1012458 | 1 100303 107 | 51.278 % | 333.76/333.85 c | 685505 | 41298 420133 1012458 | 1 104487 106 | 51.278 % | 333.76/333.85 c | 685608 | 41298 420133 1012458 | 1 104590 106 | 51.278 % | 333.76/333.85 c | 685708 | 41298 420133 1012458 | 1 104690 106 | 51.278 % | 333.76/333.85 c | 685808 | 41298 420133 1012458 | 1 104790 106 | 51.278 % | 333.76/333.85 c | 685909 | 41298 420133 1012458 | 1 104891 106 | 51.278 % | 333.76/333.85 c | 686011 | 41298 420133 1012458 | 1 104993 106 | 51.278 % | 333.76/333.85 c | 686114 | 41298 420133 1012458 | 1 105096 106 | 51.278 % | 333.76/333.85 c | 686379 | 41298 420133 1012458 | 1 105361 106 | 51.278 % | 333.76/333.85 c | 686479 | 41298 420133 1012458 | 1 105461 106 | 51.278 % | 333.76/333.85 c | 686581 | 41298 420133 1012458 | 1 105563 106 | 51.278 % | 333.76/333.85 c | 686682 | 41298 420133 1012458 | 1 105664 106 | 51.278 % | 333.76/333.85 c | 686961 | 41298 420133 1012458 | 1 105943 106 | 51.278 % | 333.76/333.85 c | 687062 | 41298 420133 1012458 | 1 106044 106 | 51.278 % | 333.76/333.85 c | 687163 | 41298 420133 1012458 | 1 106145 106 | 51.278 % | 333.76/333.85 c | 687268 | 41298 420133 1012458 | 1 106250 106 | 51.278 % | 333.76/333.85 c | 687368 | 41298 420133 1012458 | 1 106350 106 | 51.278 % | 365.16/365.20 c | 687470 | 41298 420133 1012458 | 1 106452 106 | 51.278 % | 365.16/365.20 c | 687571 | 41298 420133 1012458 | 1 106553 106 | 51.278 % | 365.16/365.20 c | 687672 | 41298 420133 1012458 | 1 106654 106 | 51.278 % | 365.16/365.20 c | 687772 | 41298 420133 1012458 | 1 106754 106 | 51.278 % | 365.16/365.20 c | 687872 | 41298 420133 1012458 | 1 106854 106 | 51.278 % | 365.16/365.20 c | 687972 | 41286 420133 1012458 | 1 106953 106 | 51.292 % | 365.16/365.20 c | 698937 | 41277 420133 1012458 | 1 64133 65 | 51.302 % | 365.16/365.20 c | 699037 | 41256 420026 1012125 | 1 64222 65 | 51.327 % | 365.16/365.20 c | 699139 | 41245 420026 1012125 | 1 64323 65 | 51.340 % | 365.16/365.20 c | 699439 | 40209 420026 1012125 | 1 64622 65 | 52.562 % | 365.16/365.20 c | 699539 | 40209 420026 1012125 | 1 64722 65 | 52.562 % | 365.16/365.20 c | 699906 | 40197 420026 1012125 | 1 65088 65 | 52.577 % | 365.16/365.20 c | 700006 | 40197 420026 1012125 | 1 65188 65 | 52.577 % | 365.16/365.20 c | 700159 | 40197 420026 1012125 | 1 65341 65 | 52.577 % | 365.16/365.20 c | 705726 | 40197 420026 1012125 | 1 70908 66 | 52.577 % | 365.16/365.20 c | 706077 | 40197 417009 1001668 | 1 71255 66 | 52.577 % | 365.16/365.20 c | 706178 | 40197 417009 1001668 | 1 71356 66 | 52.577 % | 365.16/365.20 c | 706329 | 40197 417009 1001668 | 1 71507 66 | 52.577 % | 365.16/365.20 c | 706430 | 40197 417009 1001668 | 1 71608 66 | 52.577 % | 365.16/365.20 c | 706531 | 40197 417009 1001668 | 1 71709 66 | 52.577 % | 365.16/365.20 c | 706631 | 40197 417009 1001668 | 1 71809 66 | 52.577 % | 365.16/365.20 c | 706732 | 40197 417009 1001668 | 1 71910 66 | 52.577 % | 365.16/365.20 c | 706930 | 40197 417009 1001668 | 1 72108 66 | 52.577 % | 365.16/365.20 c | 707031 | 40197 417009 1001668 | 1 72209 66 | 52.577 % | 365.16/365.20 c | 707454 | 40197 417009 1001668 | 1 72632 66 | 52.577 % | 365.16/365.20 c | 708262 | 40197 417009 1001668 | 1 73440 66 | 52.577 % | 365.16/365.20 c | 708364 | 40197 417009 1001668 | 1 73542 66 | 52.577 % | 365.16/365.20 c | 708467 | 40197 417009 1001668 | 1 73645 67 | 52.577 % | 365.16/365.20 c | 710007 | 40186 417009 1001668 | 1 75184 66 | 52.590 % | 365.16/365.20 c | 737755 | 40186 416934 1001443 | 1 102931 60 | 52.590 % | 365.16/365.20 c | 737870 | 40186 416934 1001443 | 1 103046 60 | 52.590 % | 365.16/365.20 c | 745077 | 40186 416934 1001443 | 1 110253 60 | 52.590 % | 365.16/365.20 c | 745177 | 40186 416934 1001443 | 1 110353 60 | 52.590 % | 365.16/365.20 c | 745630 | 40186 416934 1001443 | 1 110806 60 | 52.590 % | 365.16/365.20 c | 745733 | 40186 416934 1001443 | 1 110909 60 | 52.590 % | 365.16/365.20 c | 745834 | 40186 416934 1001443 | 1 111010 61 | 52.590 % | 365.16/365.20 c | 745934 | 40186 416934 1001443 | 1 111110 61 | 52.590 % | 365.16/365.20 c | 749012 | 40174 416897 1001318 | 1 114187 62 | 52.604 % | 365.16/365.20 c | 749113 | 40174 416897 1001318 | 1 114288 62 | 52.604 % | 365.16/365.20 c | 749215 | 40174 416897 1001318 | 1 114390 62 | 52.604 % | 365.16/365.20 c | 749316 | 40174 416897 1001318 | 1 114491 62 | 52.604 % | 365.16/365.20 c | 750511 | 40174 416897 1001318 | 1 58208 46 | 52.604 % | 365.16/365.20 c | 750611 | 40174 416897 1001318 | 1 58308 46 | 52.604 % | 365.16/365.20 c | 750714 | 40174 416897 1001318 | 1 58411 46 | 52.604 % | 365.16/365.20 c | 750924 | 40174 416897 1001318 | 1 58621 46 | 52.604 % | 365.16/365.20 c | 751025 | 40174 416897 1001318 | 1 58722 46 | 52.604 % | 365.16/365.20 c | 751131 | 40174 416897 1001318 | 1 58828 46 | 52.604 % | 365.16/365.20 c | 751231 | 40174 416897 1001318 | 1 58928 46 | 52.604 % | 365.16/365.20 c | 751331 | 40174 416897 1001318 | 1 59028 47 | 52.604 % | 365.16/365.20 c | 753029 | 40174 416897 1001318 | 1 60726 49 | 52.604 % | 393.46/393.51 c | 753131 | 40174 416897 1001318 | 1 60828 49 | 52.604 % | 393.46/393.51 c | 753233 | 40174 416897 1001318 | 1 60930 49 | 52.604 % | 393.46/393.51 c | 753333 | 40174 416897 1001318 | 1 61030 49 | 52.604 % | 393.46/393.51 c | 753434 | 40174 416897 1001318 | 1 61131 49 | 52.604 % | 393.46/393.51 c | 753536 | 40174 416897 1001318 | 1 61233 49 | 52.604 % | 393.46/393.51 c | 755164 | 40174 416897 1001318 | 1 62861 52 | 52.604 % | 393.46/393.51 c | 755267 | 40174 416897 1001318 | 1 62964 52 | 52.604 % | 393.46/393.51 c | 755978 | 40174 416897 1001318 | 1 63675 53 | 52.604 % | 393.46/393.51 c | 756078 | 40174 416897 1001318 | 1 63775 53 | 52.604 % | 393.46/393.51 c | 756178 | 40174 416897 1001318 | 1 63875 53 | 52.604 % | 393.46/393.51 c | 757108 | 40174 416897 1001318 | 1 64805 53 | 52.604 % | 393.46/393.51 c | 757208 | 40174 416897 1001318 | 1 64905 54 | 52.604 % | 393.46/393.51 c | 785842 | 40174 416897 1001318 | 1 93539 82 | 52.604 % | 393.46/393.51 c | 785943 | 40174 416897 1001318 | 1 93640 82 | 52.604 % | 393.46/393.51 c | 789665 | 40174 416897 1001318 | 1 97362 83 | 52.604 % | 393.46/393.51 c | 789766 | 40174 416897 1001318 | 1 97463 83 | 52.604 % | 393.46/393.51 c | 789867 | 40174 416897 1001318 | 1 97564 83 | 52.604 % | 393.46/393.51 c | 789967 | 40174 416897 1001318 | 1 97664 83 | 52.604 % | 393.46/393.51 c | 790472 | 40174 416897 1001318 | 1 98169 83 | 52.604 % | 393.46/393.51 c | 790572 | 40174 416897 1001318 | 1 98269 83 | 52.604 % | 393.46/393.51 c | 792077 | 40174 416897 1001318 | 1 99774 83 | 52.604 % | 393.46/393.51 c | 792629 | 40174 416897 1001318 | 1 100326 83 | 52.604 % | 393.46/393.51 c | 795259 | 40174 416897 1001318 | 1 102956 85 | 52.604 % | 393.46/393.51 c | 795361 | 40174 416897 1001318 | 1 103058 85 | 52.604 % | 393.46/393.51 c | 795975 | 40174 416897 1001318 | 1 103672 85 | 52.604 % | 393.46/393.51 c | 796793 | 40166 416874 1001249 | 1 104470 85 | 52.613 % | 393.46/393.51 c | 797148 | 40166 416874 1001249 | 1 104825 85 | 52.613 % | 393.46/393.51 c | 797248 | 40166 416874 1001249 | 1 104925 85 | 52.613 % | 393.46/393.51 c | 797348 | 40166 416874 1001249 | 1 105025 85 | 52.613 % | 393.46/393.51 c | 797448 | 40166 416874 1001249 | 1 105125 85 | 52.613 % | 393.46/393.51 c | 797550 | 40166 416874 1001249 | 1 105227 85 | 52.613 % | 393.46/393.51 c | 797651 | 40166 416874 1001249 | 1 105328 85 | 52.613 % | 393.46/393.51 c | 797752 | 40166 416874 1001249 | 1 105429 85 | 52.613 % | 393.46/393.51 c | 797852 | 40166 416874 1001249 | 1 105529 85 | 52.613 % | 393.46/393.51 c | 797953 | 40166 416874 1001249 | 1 105630 85 | 52.613 % | 393.46/393.51 c | 798053 | 40166 416874 1001249 | 1 105730 85 | 52.613 % | 393.46/393.51 c | 798153 | 40166 416874 1001249 | 1 105830 85 | 52.613 % | 393.46/393.51 c | 798496 | 40166 416874 1001249 | 1 106173 85 | 52.613 % | 393.46/393.51 c | 798596 | 40166 416874 1001249 | 1 106273 85 | 52.613 % | 393.46/393.51 c | 798696 | 40166 416874 1001249 | 1 106373 85 | 52.613 % | 393.46/393.51 c | 798797 | 40166 416874 1001249 | 1 106474 85 | 52.613 % | 393.46/393.51 c | 799367 | 40166 416874 1001249 | 1 107044 85 | 52.613 % | 393.46/393.51 c | 799467 | 40157 416874 1001249 | 1 107143 85 | 52.624 % | 393.46/393.51 c | 799567 | 40157 416874 1001249 | 1 107243 85 | 52.624 % | 393.46/393.51 c | 799690 | 40143 416874 1001249 | 1 107365 85 | 52.640 % | 393.46/393.51 c | 799791 | 40143 416874 1001249 | 1 107466 85 | 52.640 % | 393.46/393.51 c | 799892 | 40143 416874 1001249 | 1 107567 85 | 52.640 % | 393.46/393.51 c | 799993 | 40143 416874 1001249 | 1 107668 85 | 52.640 % | 393.46/393.51 c | 800095 | 40143 416874 1001249 | 1 107770 85 | 52.640 % | 435.36/435.49 c | 800217 | 40143 416874 1001249 | 1 107892 85 | 52.640 % | 435.36/435.49 c | 800318 | 40143 416874 1001249 | 1 107993 85 | 52.640 % | 435.36/435.49 c | 800420 | 40143 416874 1001249 | 1 108095 85 | 52.640 % | 435.36/435.49 c | 800657 | 40143 416874 1001249 | 1 108332 85 | 52.640 % | 435.36/435.49 c | 800757 | 40143 416874 1001249 | 1 108432 85 | 52.640 % | 435.36/435.49 c | 800857 | 40143 416874 1001249 | 1 108532 85 | 52.640 % | 435.36/435.49 c | 800958 | 40143 416874 1001249 | 1 108633 85 | 52.640 % | 435.36/435.49 c | 801058 | 40143 416874 1001249 | 1 108733 85 | 52.640 % | 435.36/435.49 c | 801159 | 40132 416874 1001249 | 1 108833 85 | 52.653 % | 435.36/435.49 c | 801946 | 40124 416874 1001249 | 1 109619 85 | 52.663 % | 435.36/435.49 c | 802118 | 40124 416874 1001249 | 1 109791 85 | 52.663 % | 435.36/435.49 c | 802219 | 40124 416874 1001249 | 1 109892 85 | 52.663 % | 435.36/435.49 c | 802453 | 40114 416874 1001249 | 1 110125 85 | 52.675 % | 435.36/435.49 c | 802555 | 40114 416874 1001249 | 1 110227 85 | 52.675 % | 435.36/435.49 c | 802762 | 40114 416874 1001249 | 1 110434 85 | 52.675 % | 435.36/435.49 c | 802864 | 40114 416874 1001249 | 1 110536 85 | 52.675 % | 435.36/435.49 c | 802964 | 40114 416874 1001249 | 1 110636 85 | 52.675 % | 435.36/435.49 c | 804259 | 40106 416662 1000568 | 1 111919 85 | 52.684 % | 435.36/435.49 c | 804360 | 40106 416662 1000568 | 1 112020 85 | 52.684 % | 435.36/435.49 c | 804555 | 40106 416662 1000568 | 1 112215 85 | 52.684 % | 435.36/435.49 c | 805066 | 40106 416662 1000568 | 1 112726 85 | 52.684 % | 435.36/435.49 c | 805240 | 40106 416662 1000568 | 1 112900 85 | 52.684 % | 435.36/435.49 c | 807582 | 40106 416662 1000568 | 1 115242 84 | 52.684 % | 435.36/435.49 c | 807682 | 40106 416662 1000568 | 1 115342 84 | 52.684 % | 435.36/435.49 c | 836259 | 40088 416617 1000401 | 1 83293 89 | 52.705 % | 435.36/435.49 c | 836380 | 40088 416617 1000401 | 1 83414 89 | 52.705 % | 435.36/435.49 c | 836678 | 40088 416617 1000401 | 1 83712 90 | 52.705 % | 435.36/435.49 c | 836780 | 40088 416617 1000401 | 1 83814 90 | 52.705 % | 435.36/435.49 c | 836881 | 40078 416617 1000401 | 1 83914 90 | 52.717 % | 435.36/435.49 c | 836981 | 40078 416617 1000401 | 1 84014 90 | 52.717 % | 435.36/435.49 c | 837755 | 40078 416617 1000401 | 1 84788 90 | 52.717 % | 435.36/435.49 c | 837857 | 40078 416617 1000401 | 1 84890 90 | 52.717 % | 435.36/435.49 c | 838057 | 40078 416617 1000401 | 1 85090 90 | 52.717 % | 435.36/435.49 c | 838157 | 40078 416617 1000401 | 1 85190 90 | 52.717 % | 435.36/435.49 c | 838258 | 40078 416617 1000401 | 1 85291 90 | 52.717 % | 435.36/435.49 c | 838358 | 40078 416617 1000401 | 1 85391 90 | 52.717 % | 435.36/435.49 c | 838458 | 40078 416617 1000401 | 1 85491 90 | 52.717 % | 435.36/435.49 c | 838942 | 40078 416617 1000401 | 1 85975 90 | 52.717 % | 435.36/435.49 c | 839042 | 40078 416617 1000401 | 1 86075 90 | 52.717 % | 435.36/435.49 c | 870735 | 40078 416617 1000401 | 1 117768 78 | 52.717 % | 435.36/435.49 c | 870835 | 40078 416583 1000295 | 1 117868 78 | 52.717 % | 435.36/435.49 c | 870935 | 40078 416583 1000295 | 1 117968 78 | 52.717 % | 435.36/435.49 c | 871190 | 40078 416583 1000295 | 1 118223 78 | 52.717 % | 435.36/435.49 c | 871354 | 40078 416583 1000295 | 1 118387 78 | 52.717 % | 435.36/435.49 c | 871454 | 40078 416583 1000295 | 1 118487 78 | 52.717 % | 435.36/435.49 c | 871768 | 40078 416583 1000295 | 1 118801 78 | 52.717 % | 435.36/435.49 c | 872213 | 40078 416583 1000295 | 1 119246 78 | 52.717 % | 435.36/435.49 c | 872313 | 39982 416583 1000295 | 1 119345 78 | 52.830 % | 435.36/435.49 c | 872616 | 39982 416583 1000295 | 1 119648 78 | 52.830 % | 435.36/435.49 c | 872717 | 39982 416583 1000295 | 1 119749 78 | 52.830 % | 471.36/471.50 c | 872819 | 39982 416583 1000295 | 1 119851 78 | 52.830 % | 471.36/471.50 c | 872919 | 39982 416583 1000295 | 1 119951 78 | 52.830 % | 471.36/471.50 c | 873019 | 39982 416583 1000295 | 1 120051 78 | 52.830 % | 471.36/471.50 c | 873119 | 39982 416583 1000295 | 1 120151 78 | 52.830 % | 471.36/471.50 c | 873219 | 39982 416583 1000295 | 1 120251 78 | 52.830 % | 471.36/471.50 c | 873475 | 39970 416583 1000295 | 1 120506 78 | 52.844 % | 471.36/471.50 c | 873577 | 39970 416583 1000295 | 1 120608 78 | 52.844 % | 471.36/471.50 c | 873677 | 39970 416583 1000295 | 1 120708 78 | 52.844 % | 471.36/471.50 c | 873777 | 39970 416583 1000295 | 1 120808 78 | 52.844 % | 471.36/471.50 c | 873879 | 39970 416583 1000295 | 1 120910 78 | 52.844 % | 471.36/471.50 c | 874869 | 39970 416583 1000295 | 1 121900 79 | 52.844 % | 471.36/471.50 c | 874971 | 39970 416583 1000295 | 1 122002 79 | 52.844 % | 471.36/471.50 c | 875355 | 39970 416583 1000295 | 1 122386 79 | 52.844 % | 471.36/471.50 c | 875691 | 39970 416583 1000295 | 1 122722 79 | 52.844 % | 471.36/471.50 c | 875792 | 39970 416583 1000295 | 1 122823 79 | 52.844 % | 471.36/471.50 c | 875892 | 39970 416583 1000295 | 1 122923 79 | 52.844 % | 471.36/471.50 c | 876245 | 39962 416583 1000295 | 1 123275 79 | 52.854 % | 471.36/471.50 c | 878422 | 39962 416583 1000295 | 1 125452 81 | 52.854 % | 471.36/471.50 c | 878525 | 39962 416283 999323 | 1 125555 81 | 52.854 % | 471.36/471.50 c | 879560 | 39962 416283 999323 | 1 126590 82 | 52.854 % | 471.36/471.50 c | 879677 | 39962 416283 999323 | 1 126707 82 | 52.854 % | 471.36/471.50 c | 880294 | 39962 416283 999323 | 1 63814 52 | 52.854 % | 471.36/471.50 c | 880394 | 39962 416283 999323 | 1 63914 53 | 52.854 % | 471.36/471.50 c | 880494 | 39962 416283 999323 | 1 64014 53 | 52.854 % | 471.36/471.50 c | 880596 | 39962 416283 999323 | 1 64116 53 | 52.854 % | 471.36/471.50 c | 880696 | 39962 416283 999323 | 1 64216 53 | 52.854 % | 471.36/471.50 c | 880797 | 39962 416283 999323 | 1 64317 53 | 52.854 % | 471.36/471.50 c | 880898 | 39962 416283 999323 | 1 64418 53 | 52.854 % | 471.36/471.50 c | 882961 | 39962 416283 999323 | 1 66481 55 | 52.854 % | 471.36/471.50 c | 883321 | 39962 416283 999323 | 1 66841 55 | 52.854 % | 471.36/471.50 c | 883423 | 39962 416283 999323 | 1 66943 55 | 52.854 % | 471.36/471.50 c | 883524 | 39962 416283 999323 | 1 67044 56 | 52.854 % | 471.36/471.50 c | 883624 | 39962 416283 999323 | 1 67144 56 | 52.854 % | 471.36/471.50 c | 883727 | 39962 416283 999323 | 1 67247 56 | 52.854 % | 471.36/471.50 c | 915432 | 39962 416283 999323 | 1 98952 72 | 52.854 % | 471.36/471.50 c | 915533 | 39962 416283 999323 | 1 99053 72 | 52.854 % | 471.36/471.50 c | 915636 | 39962 416283 999323 | 1 99156 72 | 52.854 % | 471.36/471.50 c | 916192 | 39962 416283 999323 | 1 99712 72 | 52.854 % | 471.36/471.50 c | 916294 | 39962 416283 999323 | 1 99814 72 | 52.854 % | 471.36/471.50 c | 916394 | 39962 416283 999323 | 1 99914 72 | 52.854 % | 471.36/471.50 c | 916495 | 39962 416283 999323 | 1 100015 72 | 52.854 % | 471.36/471.50 c | 916595 | 39962 416283 999323 | 1 100115 72 | 52.854 % | 471.36/471.50 c | 938129 | 39950 416242 999184 | 1 121648 85 | 52.868 % | 471.36/471.50 c | 938572 | 39950 416242 999184 | 1 122091 85 | 52.868 % | 471.36/471.50 c | 938673 | 39950 416242 999184 | 1 122192 85 | 52.868 % | 471.36/471.50 c | 938774 | 39950 416242 999184 | 1 122293 85 | 52.868 % | 471.36/471.50 c | 938874 | 39950 416242 999184 | 1 122393 85 | 52.868 % | 471.36/471.50 c | 938975 | 39950 416242 999184 | 1 122494 85 | 52.868 % | 471.36/471.50 c | 939075 | 39950 416242 999184 | 1 122594 85 | 52.868 % | 471.36/471.50 c | 939176 | 39950 416242 999184 | 1 122695 85 | 52.868 % | 605.55/605.68 c | 939463 | 39950 416242 999184 | 1 122982 85 | 52.868 % | 605.55/605.68 c | 939564 | 39950 416242 999184 | 1 123083 85 | 52.868 % | 605.55/605.68 c | 957742 | 39950 416242 999184 | 1 75009 70 | 52.868 % | 605.55/605.68 c | 957843 | 39950 416242 999184 | 1 75110 70 | 52.868 % | 605.55/605.68 c | 957945 | 39950 416242 999184 | 1 75212 70 | 52.868 % | 605.55/605.68 c | 961127 | 39943 416219 999113 | 1 78382 71 | 52.876 % | 605.55/605.68 c | 961228 | 39943 416219 999113 | 1 78483 71 | 52.876 % | 605.55/605.68 c | 961328 | 39943 416219 999113 | 1 78583 71 | 52.876 % | 605.55/605.68 c | 961428 | 39932 416219 999113 | 1 78682 71 | 52.889 % | 605.55/605.68 c | 961690 | 39932 416219 999113 | 1 78944 71 | 52.889 % | 605.55/605.68 c | 961790 | 39932 416219 999113 | 1 79044 71 | 52.889 % | 605.55/605.68 c | 961890 | 39932 416219 999113 | 1 79144 71 | 52.889 % | 605.55/605.68 c | 963990 | 39932 416219 999113 | 1 81244 73 | 52.889 % | 605.55/605.68 c | 964122 | 39932 416187 999007 | 1 81357 73 | 52.889 % | 605.55/605.68 c | 970117 | 39932 416187 999007 | 1 87352 75 | 52.889 % | 605.55/605.68 c | 970217 | 39932 416187 999007 | 1 87452 75 | 52.889 % | 605.55/605.68 c | 970317 | 39932 416187 999007 | 1 87552 75 | 52.889 % | 605.55/605.68 c | 970418 | 39932 416187 999007 | 1 87653 75 | 52.889 % | 605.55/605.68 c | 970519 | 39932 416187 999007 | 1 87754 75 | 52.889 % | 605.55/605.68 c | 974537 | 39932 416187 999007 | 1 91772 80 | 52.889 % | 605.55/605.68 c | 981787 | 39932 416187 999007 | 1 99022 85 | 52.889 % | 605.55/605.68 c | 982172 | 39932 416187 999007 | 1 99407 85 | 52.889 % | 605.55/605.68 c | 982272 | 39932 416187 999007 | 1 99507 85 | 52.889 % | 605.55/605.68 c | 983267 | 30473 382523 888140 | 1 100359 86 | 64.049 % | 605.55/605.68 c | 983368 | 30473 382523 888140 | 1 100460 86 | 64.049 % | 605.55/605.68 c | 983468 | 30473 382523 888140 | 1 100560 86 | 64.049 % | 605.55/605.68 c | 983812 | 30473 382523 888140 | 1 100904 86 | 64.049 % | 605.55/605.68 c | 983915 | 30473 382523 888140 | 1 101007 86 | 64.049 % | 605.55/605.68 c | 1012419 | 30459 382475 887983 | 1 129510 80 | 64.065 % | 605.55/605.68 c | 1012519 | 30459 382475 887983 | 1 129610 80 | 64.065 % | 605.55/605.68 c | 1151140 | 29965 381584 884333 | 1 77142 62 | 64.648 % | 605.55/605.68 c | 1151240 | 29965 381584 884333 | 1 77242 62 | 64.648 % | 605.55/605.68 c | 1151341 | 29965 381584 884333 | 1 77343 62 | 64.648 % | 605.55/605.68 c | 1151443 | 29965 381584 884333 | 1 77445 62 | 64.648 % | 605.55/605.68 c | 1154153 | 29965 381584 884333 | 1 80155 63 | 64.648 % | 605.55/605.68 c | 1154254 | 29965 381584 884333 | 1 80256 63 | 64.648 % | 605.55/605.68 c | 1157114 | 29952 381584 884333 | 1 83115 65 | 64.663 % | 605.55/605.68 c | 1157215 | 29952 381584 884333 | 1 83216 65 | 64.663 % | 605.55/605.68 c | 1157315 | 29952 381584 884333 | 1 83316 65 | 64.663 % | 605.55/605.68 c | 1192227 | 29952 381584 884333 | 1 69440 56 | 64.663 % | 605.55/605.68 c | 1192328 | 29952 381542 884196 | 1 69541 56 | 64.663 % | 605.55/605.68 c | 1192429 | 29952 381542 884196 | 1 69642 56 | 64.663 % | 605.55/605.68 c | 1192529 | 29952 381542 884196 | 1 69742 56 | 64.663 % | 605.55/605.68 c | 1192730 | 29952 381542 884196 | 1 69943 56 | 64.663 % | 605.55/605.68 c | 1192830 | 29952 381542 884196 | 1 70043 56 | 64.663 % | 605.55/605.68 c | 1192930 | 29952 381542 884196 | 1 70143 56 | 64.663 % | 605.55/605.68 c | 1193030 | 29952 381542 884196 | 1 70243 56 | 64.663 % | 605.55/605.68 c | 1193503 | 29952 381542 884196 | 1 70716 56 | 64.663 % | 605.55/605.68 c | 1193603 | 29952 381542 884196 | 1 70816 56 | 64.663 % | 605.55/605.68 c | 1193705 | 29952 381542 884196 | 1 70918 56 | 64.663 % | 627.85/627.97 c | 1193808 | 29952 381542 884196 | 1 71021 56 | 64.663 % | 627.85/627.97 c | 1193911 | 29952 381542 884196 | 1 71124 57 | 64.663 % | 627.85/627.97 c | 1194301 | 29952 381542 884196 | 1 71514 57 | 64.663 % | 627.85/627.97 c | 1194810 | 29952 381542 884196 | 1 72023 57 | 64.663 % | 627.85/627.97 c | 1194910 | 29952 381542 884196 | 1 72123 57 | 64.663 % | 627.85/627.97 c | 1195010 | 29952 381542 884196 | 1 72223 57 | 64.663 % | 627.85/627.97 c | 1195111 | 29952 381542 884196 | 1 72324 57 | 64.663 % | 627.85/627.97 c | 1195693 | 29952 381542 884196 | 1 72906 57 | 64.663 % | 627.85/627.97 c | 1195793 | 29952 381542 884196 | 1 73006 57 | 64.663 % | 627.85/627.97 c | 1195893 | 29952 381542 884196 | 1 73106 57 | 64.663 % | 627.85/627.97 c | 1197092 | 29952 381542 884196 | 1 74305 58 | 64.663 % | 627.85/627.97 c | 1199162 | 29952 381542 884196 | 1 76375 60 | 64.663 % | 627.85/627.97 c | 1199262 | 29952 381542 884196 | 1 76475 60 | 64.663 % | 627.85/627.97 c | 1199362 | 29952 381542 884196 | 1 76575 60 | 64.663 % | 627.85/627.97 c | 1199466 | 29952 381542 884196 | 1 76679 60 | 64.663 % | 627.85/627.97 c | 1199567 | 29952 381542 884196 | 1 76780 60 | 64.663 % | 627.85/627.97 c | 1199668 | 29952 381542 884196 | 1 76881 60 | 64.663 % | 627.85/627.97 c | 1199768 | 29952 381542 884196 | 1 76981 60 | 64.663 % | 627.85/627.97 c | 1199868 | 29952 381542 884196 | 1 77081 60 | 64.663 % | 627.85/627.97 c | 1199968 | 29952 381542 884196 | 1 77181 60 | 64.663 % | 627.85/627.97 c | 1200071 | 29952 381542 884196 | 1 77284 60 | 64.663 % | 627.85/627.97 c | 1200172 | 29952 381542 884196 | 1 77385 60 | 64.663 % | 627.85/627.97 c | 1200411 | 29952 381542 884196 | 1 77624 60 | 64.663 % | 627.85/627.97 c | 1208532 | 29952 381542 884196 | 1 85745 63 | 64.663 % | 627.85/627.97 c | 1208695 | 29952 381542 884196 | 1 85908 63 | 64.663 % | 627.85/627.97 c | 1208795 | 29952 381542 884196 | 1 86008 63 | 64.663 % | 627.85/627.97 c | 1209018 | 29952 381542 884196 | 1 86231 64 | 64.663 % | 627.85/627.97 c | 1209119 | 29952 381542 884196 | 1 86332 64 | 64.663 % | 627.85/627.97 c | 1210206 | 29952 381542 884196 | 1 87419 64 | 64.663 % | 627.85/627.97 c | 1210309 | 29952 381542 884196 | 1 87522 64 | 64.663 % | 627.85/627.97 c | 1210410 | 29952 381542 884196 | 1 87623 64 | 64.663 % | 627.85/627.97 c | 1210510 | 29952 381542 884196 | 1 87723 64 | 64.663 % | 627.85/627.97 c | 1210613 | 29952 381542 884196 | 1 87826 64 | 64.663 % | 627.85/627.97 c | 1210821 | 29952 381542 884196 | 1 88034 64 | 64.663 % | 627.85/627.97 c | 1211167 | 29952 381542 884196 | 1 88380 64 | 64.663 % | 627.85/627.97 c | 1211271 | 29952 381542 884196 | 1 88484 64 | 64.663 % | 627.85/627.97 c | 1211372 | 29952 381542 884196 | 1 88585 64 | 64.663 % | 627.85/627.97 c | 1211473 | 29952 381542 884196 | 1 88686 64 | 64.663 % | 627.85/627.97 c | 1211573 | 29952 381542 884196 | 1 88786 64 | 64.663 % | 627.85/627.97 c | 1211828 | 29952 381542 884196 | 1 89041 64 | 64.663 % | 627.85/627.97 c | 1211928 | 29952 381542 884196 | 1 89141 64 | 64.663 % | 627.85/627.97 c | 1212029 | 29952 381542 884196 | 1 89242 64 | 64.663 % | 627.85/627.97 c | 1212130 | 29952 381542 884196 | 1 89343 64 | 64.663 % | 627.85/627.97 c | 1233320 | 29919 381451 883881 | 1 92935 64 | 64.702 % | 627.85/627.97 c | 1240475 | 29919 381451 883881 | 1 100090 66 | 64.702 % | 627.85/627.97 c | 1240577 | 29919 381451 883881 | 1 100192 66 | 64.702 % | 627.85/627.97 c | 1240828 | 29919 381451 883881 | 1 100443 66 | 64.702 % | 627.85/627.97 c | 1240929 | 29919 381451 883881 | 1 100544 66 | 64.702 % | 627.85/627.97 c | 1241032 | 29919 381451 883881 | 1 100647 66 | 64.702 % | 627.85/627.97 c | 1241133 | 29919 381451 883881 | 1 100748 66 | 64.702 % | 743.94/744.09 c | 1241233 | 29919 381451 883881 | 1 100848 66 | 64.702 % | 743.94/744.09 c | 1246255 | 29919 381451 883881 | 1 105870 72 | 64.702 % | 743.94/744.09 c | 1274455 | 29919 381414 883770 | 1 78767 57 | 64.702 % | 743.94/744.09 c | 1275215 | 29909 381378 883662 | 1 79502 58 | 64.714 % | 743.94/744.09 c | 1275315 | 29909 381378 883662 | 1 79602 58 | 64.714 % | 743.94/744.09 c | 1275755 | 29909 381378 883662 | 1 80042 58 | 64.714 % | 743.94/744.09 c | 1275855 | 29909 381378 883662 | 1 80142 58 | 64.714 % | 743.94/744.09 c | 1276436 | 29909 381378 883662 | 1 80723 58 | 64.714 % | 743.94/744.09 c | 1276537 | 29909 381378 883662 | 1 80824 58 | 64.714 % | 743.94/744.09 c | 1276637 | 29909 381378 883662 | 1 80924 58 | 64.714 % | 743.94/744.09 c | 1276739 | 29909 381378 883662 | 1 81026 58 | 64.714 % | 743.94/744.09 c | 1277182 | 29909 381378 883662 | 1 81469 58 | 64.714 % | 743.94/744.09 c | 1277284 | 29909 381378 883662 | 1 81571 58 | 64.714 % | 743.94/744.09 c | 1277395 | 29909 381378 883662 | 1 81682 58 | 64.714 % | 743.94/744.09 c | 1277496 | 29909 381378 883662 | 1 81783 58 | 64.714 % | 743.94/744.09 c | 1277598 | 29909 381378 883662 | 1 81885 58 | 64.714 % | 743.94/744.09 c | 1294116 | 29909 381378 883662 | 1 98403 58 | 64.714 % | 743.94/744.09 c | 1294292 | 29909 381378 883662 | 1 98579 58 | 64.714 % | 743.94/744.09 c | 1294518 | 29909 381378 883662 | 1 98805 58 | 64.714 % | 743.94/744.09 c | 1294747 | 29909 381378 883662 | 1 99034 58 | 64.714 % | 743.94/744.09 c | 1307624 | 29909 381378 883662 | 1 111911 58 | 64.714 % | 743.94/744.09 c | 1307725 | 29909 381378 883662 | 1 112012 58 | 64.714 % | 743.94/744.09 c | 1307827 | 29909 381378 883662 | 1 112114 58 | 64.714 % | 743.94/744.09 c | 1308344 | 29900 381357 883599 | 1 112630 58 | 64.725 % | 743.94/744.09 c | 1309029 | 29900 381357 883599 | 1 113315 58 | 64.725 % | 743.94/744.09 c | 1309212 | 29900 381357 883599 | 1 113498 58 | 64.725 % | 743.94/744.09 c | 1309312 | 29900 381357 883599 | 1 113598 58 | 64.725 % | 743.94/744.09 c | 1373409 | 29900 381357 883599 | 1 109056 62 | 64.725 % | 743.94/744.09 c | 1373519 | 29900 381357 883599 | 1 109166 62 | 64.725 % | 743.94/744.09 c | 1373619 | 29900 381357 883599 | 1 109266 62 | 64.725 % | 743.94/744.09 c | 1373719 | 29900 381357 883599 | 1 109366 62 | 64.725 % | 743.94/744.09 c | 1373819 | 29900 381357 883599 | 1 109466 62 | 64.725 % | 743.94/744.09 c | 1377507 | 29900 381357 883599 | 1 113154 61 | 64.725 % | 743.94/744.09 c | 1377684 | 29900 381357 883599 | 1 113331 62 | 64.725 % | 743.94/744.09 c | 1377784 | 29900 381357 883599 | 1 113431 62 | 64.725 % | 743.94/744.09 c | 1377923 | 29900 381357 883599 | 1 113570 62 | 64.725 % | 743.94/744.09 c | 1378023 | 29900 381357 883599 | 1 113670 62 | 64.725 % | 743.94/744.09 c | 1378166 | 29900 381357 883599 | 1 113813 62 | 64.725 % | 743.94/744.09 c | 1378267 | 29900 381357 883599 | 1 113914 62 | 64.725 % | 743.94/744.09 c | 1378367 | 29900 381357 883599 | 1 114014 62 | 64.725 % | 743.94/744.09 c | 1378470 | 29900 381357 883599 | 1 114117 62 | 64.725 % | 743.94/744.09 c | 1380291 | 29900 381357 883599 | 1 115938 61 | 64.725 % | 743.94/744.09 c | 1380393 | 29900 381357 883599 | 1 116040 62 | 64.725 % | 743.94/744.09 c | 1383234 | 29900 381357 883599 | 1 118881 61 | 64.725 % | 743.94/744.09 c | 1383334 | 29900 381357 883599 | 1 118981 61 | 64.725 % | 743.94/744.09 c | 1388686 | 29900 381357 883599 | 1 124333 60 | 64.725 % | 743.94/744.09 c | 1388786 | 29900 381357 883599 | 1 124433 60 | 64.725 % | 743.94/744.09 c | 1388928 | 29900 381357 883599 | 1 124575 60 | 64.725 % | 743.94/744.09 c | 1396321 | 29900 381357 883599 | 1 131968 60 | 64.725 % | 743.94/744.09 c | 1462439 | 29900 381357 883599 | 1 121469 88 | 64.725 % | 783.75/783.83 c | 1462539 | 29900 381357 883599 | 1 121569 88 | 64.725 % | 783.75/783.83 c | 1462639 | 29900 381357 883599 | 1 121669 88 | 64.725 % | 783.75/783.83 c | 1464013 | 29900 381357 883599 | 1 123043 88 | 64.725 % | 783.75/783.83 c | 1464114 | 29900 381357 883599 | 1 123144 88 | 64.725 % | 783.75/783.83 c | 1464241 | 29900 381357 883599 | 1 123271 88 | 64.725 % | 783.75/783.83 c | 1467442 | 29900 381357 883599 | 1 126472 87 | 64.725 % | 783.75/783.83 c | 1467542 | 29900 381357 883599 | 1 126572 87 | 64.725 % | 783.75/783.83 c | 1467643 | 29900 381357 883599 | 1 126673 87 | 64.725 % | 783.75/783.83 c | 1467745 | 29900 381357 883599 | 1 126775 87 | 64.725 % | 783.75/783.83 c | 1467846 | 29900 381357 883599 | 1 126876 87 | 64.725 % | 783.75/783.83 c | 1470898 | 29892 381334 883530 | 1 129923 88 | 64.734 % | 783.75/783.83 c | 1471338 | 29883 381334 883530 | 1 130362 88 | 64.745 % | 783.75/783.83 c | 1471817 | 29883 381334 883530 | 1 130841 88 | 64.745 % | 783.75/783.83 c | 1471917 | 29883 381334 883530 | 1 130941 88 | 64.745 % | 783.75/783.83 c | 1472391 | 29883 381334 883530 | 1 131415 88 | 64.745 % | 783.75/783.83 c | 1481222 | 29883 381334 883530 | 1 140246 89 | 64.745 % | 783.75/783.83 c | 1481868 | 29883 381334 883530 | 1 140892 89 | 64.745 % | 783.75/783.83 c | 1487042 | 29883 381334 883530 | 1 146066 90 | 64.745 % | 783.75/783.83 c | 1487143 | 29883 381334 883530 | 1 146167 90 | 64.745 % | 783.75/783.83 c | 1487246 | 29883 381334 883530 | 1 146270 90 | 64.745 % | 783.75/783.83 c | 1487621 | 29883 381334 883530 | 1 146645 90 | 64.745 % | 783.75/783.83 c | 1487721 | 29883 381300 883428 | 1 146744 90 | 64.745 % | 783.75/783.83 c | 1488226 | 29883 381300 883428 | 1 147249 90 | 64.745 % | 783.75/783.83 c | 1488327 | 29883 381300 883428 | 1 147350 90 | 64.745 % | 783.75/783.83 c | 1488431 | 29883 381300 883428 | 1 147454 90 | 64.745 % | 783.75/783.83 c | 1488531 | 29883 381300 883428 | 1 147554 90 | 64.745 % | 783.75/783.83 c | 1488632 | 29883 381300 883428 | 1 147655 90 | 64.745 % | 783.75/783.83 c | 1488732 | 29883 381300 883428 | 1 147755 90 | 64.745 % | 783.75/783.83 c | 1488834 | 29883 381300 883428 | 1 147857 90 | 64.745 % | 783.75/783.83 c | 1489274 | 29883 381300 883428 | 1 148297 90 | 64.745 % | 783.75/783.83 c | 1489375 | 29883 381300 883428 | 1 148398 90 | 64.745 % | 783.75/783.83 c | 1489623 | 29883 381300 883428 | 1 148646 90 | 64.745 % | 783.75/783.83 c | 1489723 | 29883 381300 883428 | 1 148746 90 | 64.745 % | 783.75/783.83 c | 1489826 | 29883 381300 883428 | 1 148849 90 | 64.745 % | 783.75/783.83 c | 1489926 | 29883 381300 883428 | 1 148949 90 | 64.745 % | 783.75/783.83 c | 1490061 | 29883 381300 883428 | 1 149084 90 | 64.745 % | 783.75/783.83 c | 1490161 | 29883 381300 883428 | 1 149184 90 | 64.745 % | 783.75/783.83 c | 1540455 | 29883 381300 883428 | 1 117574 67 | 64.745 % | 783.75/783.83 c | 1540556 | 29883 381300 883428 | 1 117675 67 | 64.745 % | 783.75/783.83 c | 1540721 | 29883 381300 883428 | 1 117840 67 | 64.745 % | 783.75/783.83 c | 1541384 | 29883 381300 883428 | 1 118503 67 | 64.745 % | 783.75/783.83 c | 1542425 | 29883 381300 883428 | 1 119544 67 | 64.745 % | 783.75/783.83 c | 1542526 | 29883 381300 883428 | 1 119645 67 | 64.745 % | 783.75/783.83 c | 1542627 | 29883 381300 883428 | 1 119746 67 | 64.745 % | 783.75/783.83 c | 1542727 | 29883 381300 883428 | 1 119846 67 | 64.745 % | 783.75/783.83 c | 1542831 | 29883 381300 883428 | 1 119950 67 | 64.745 % | 783.75/783.83 c | 1542978 | 29883 381300 883428 | 1 120097 67 | 64.745 % | 783.75/783.83 c | 1543480 | 29883 381300 883428 | 1 120599 68 | 64.745 % | 783.75/783.83 c | 1543580 | 29883 381300 883428 | 1 120699 68 | 64.745 % | 783.75/783.83 c | 1543680 | 29883 381300 883428 | 1 120799 68 | 64.745 % | 838.04/838.10 c | 1555215 | 29883 381300 883428 | 1 132334 71 | 64.745 % | 838.04/838.10 c | 1555318 | 29883 381300 883428 | 1 132437 71 | 64.745 % | 838.04/838.10 c | 1555418 | 29883 381300 883428 | 1 132537 71 | 64.745 % | 838.04/838.10 c | 1555519 | 29883 381300 883428 | 1 132638 71 | 64.745 % | 838.04/838.10 c | 1555621 | 29883 381300 883428 | 1 132740 71 | 64.745 % | 838.04/838.10 c | 1555722 | 29883 381300 883428 | 1 132841 71 | 64.745 % | 838.04/838.10 c | 1555863 | 29883 381300 883428 | 1 132982 71 | 64.745 % | 838.04/838.10 c | 1555966 | 29883 381300 883428 | 1 133085 71 | 64.745 % | 838.04/838.10 c | 1556066 | 29883 381300 883428 | 1 133185 71 | 64.745 % | 838.04/838.10 c | 1567924 | 29883 381300 883428 | 1 145043 70 | 64.745 % | 838.04/838.10 c | 1593764 | 29883 381300 883428 | 1 170883 65 | 64.745 % | 838.04/838.10 c | 1593962 | 29883 381300 883428 | 1 171081 65 | 64.745 % | 838.04/838.10 c | 1594062 | 29883 381300 883428 | 1 171181 65 | 64.745 % | 838.04/838.10 c | 1595143 | 29883 381300 883428 | 1 86406 45 | 64.745 % | 838.04/838.10 c | 1595244 | 29883 381300 883428 | 1 86507 45 | 64.745 % | 838.04/838.10 c | 1595347 | 29883 381300 883428 | 1 86610 46 | 64.745 % | 838.04/838.10 c | 1595448 | 29883 381300 883428 | 1 86711 46 | 64.745 % | 838.04/838.10 c | 1595548 | 29883 381300 883428 | 1 86811 46 | 64.745 % | 838.04/838.10 c | 1607512 | 29883 381300 883428 | 1 98775 51 | 64.745 % | 838.04/838.10 c | 1607812 | 29883 381300 883428 | 1 99075 51 | 64.745 % | 838.04/838.10 c | 1608212 | 29883 381300 883428 | 1 99475 51 | 64.745 % | 838.04/838.10 c | 1608312 | 29883 381300 883428 | 1 99575 51 | 64.745 % | 838.04/838.10 c | 1608451 | 29883 381300 883428 | 1 99714 51 | 64.745 % | 838.04/838.10 c | 1608551 | 29883 381300 883428 | 1 99814 51 | 64.745 % | 838.04/838.10 c | 1608651 | 29883 381300 883428 | 1 99914 51 | 64.745 % | 838.04/838.10 c | 1608751 | 29883 381300 883428 | 1 100014 51 | 64.745 % | 838.04/838.10 c | 1608913 | 29883 381300 883428 | 1 100176 51 | 64.745 % | 838.04/838.10 c | 1609013 | 29883 381300 883428 | 1 100276 51 | 64.745 % | 838.04/838.10 c | 1609116 | 29883 381300 883428 | 1 100379 51 | 64.745 % | 838.04/838.10 c | 1609218 | 29883 381300 883428 | 1 100481 51 | 64.745 % | 838.04/838.10 c | 1610461 | 29883 381300 883428 | 1 101724 51 | 64.745 % | 838.04/838.10 c | 1610562 | 29883 381300 883428 | 1 101825 51 | 64.745 % | 838.04/838.10 c | 1610663 | 29883 381300 883428 | 1 101926 51 | 64.745 % | 838.04/838.10 c | 1610929 | 29883 381300 883428 | 1 102192 52 | 64.745 % | 838.04/838.10 c | 1611029 | 29883 381300 883428 | 1 102292 52 | 64.745 % | 838.04/838.10 c | 1611129 | 29883 381300 883428 | 1 102392 52 | 64.745 % | 838.04/838.10 c | 1611229 | 29883 381300 883428 | 1 102492 52 | 64.745 % | 838.04/838.10 c | 1613710 | 29883 381300 883428 | 1 104973 51 | 64.745 % | 838.04/838.10 c | 1613813 | 29883 381300 883428 | 1 105076 52 | 64.745 % | 838.04/838.10 c | 1613914 | 29883 381300 883428 | 1 105177 52 | 64.745 % | 838.04/838.10 c | 1615296 | 29883 381300 883428 | 1 106559 52 | 64.745 % | 838.04/838.10 c | 1615423 | 29883 381300 883428 | 1 106686 52 | 64.745 % | 838.04/838.10 c | 1623846 | 29883 381300 883428 | 1 115109 54 | 64.745 % | 838.04/838.10 c | 1633258 | 29874 381273 883339 | 1 124517 53 | 64.755 % | 838.04/838.10 c | 1633358 | 29874 381273 883339 | 1 124617 53 | 64.755 % | 838.04/838.10 c | 1635501 | 29865 381273 883339 | 1 126759 54 | 64.766 % | 838.04/838.10 c | 1635602 | 29865 381273 883339 | 1 126860 54 | 64.766 % | 838.04/838.10 c | 1635729 | 29852 381273 883339 | 1 126986 54 | 64.781 % | 838.04/838.10 c | 1635918 | 29852 381273 883339 | 1 127175 54 | 64.781 % | 838.04/838.10 c | 1638563 | 29852 381273 883339 | 1 129820 55 | 64.781 % | 903.05/903.15 c | 1638663 | 29852 381273 883339 | 1 129920 55 | 64.781 % | 903.05/903.15 c | 1638764 | 29852 381273 883339 | 1 130021 55 | 64.781 % | 903.05/903.15 c | 1639884 | 29852 381273 883339 | 1 131141 55 | 64.781 % | 903.05/903.15 c | 1641834 | 29833 381201 883114 | 1 132898 56 | 64.804 % | 903.05/903.15 c | 1643347 | 29833 381201 883114 | 1 134411 57 | 64.804 % | 903.05/903.15 c | 1643447 | 29833 381201 883114 | 1 134511 57 | 64.804 % | 903.05/903.15 c | 1643547 | 29833 381201 883114 | 1 134611 57 | 64.804 % | 903.05/903.15 c | 1643647 | 29833 381201 883114 | 1 134711 57 | 64.804 % | 903.05/903.15 c | 1643748 | 29833 381201 883114 | 1 134812 57 | 64.804 % | 903.05/903.15 c | 1671340 | 29833 381201 883114 | 1 162404 69 | 64.804 % | 903.05/903.15 c | 1671619 | 29833 381123 882877 | 1 162658 69 | 64.804 % | 903.05/903.15 c | 1729776 | 29820 381083 882740 | 1 131801 57 | 64.819 % | 903.05/903.15 c | 1729895 | 29820 381083 882740 | 1 131920 57 | 64.819 % | 903.05/903.15 c | 1729995 | 29820 381083 882740 | 1 132020 57 | 64.819 % | 903.05/903.15 c | 1730095 | 29820 381083 882740 | 1 132120 57 | 64.819 % | 903.05/903.15 c | 1730195 | 29820 381083 882740 | 1 132220 57 | 64.819 % | 903.05/903.15 c | 1730914 | 29819 381083 882740 | 1 132938 57 | 64.820 % | 903.05/903.15 c | 1731014 | 29819 381083 882740 | 1 133038 57 | 64.820 % | 903.05/903.15 c | 1731114 | 29819 381083 882740 | 1 133138 57 | 64.820 % | 903.05/903.15 c | 1731214 | 29819 381083 882740 | 1 133238 57 | 64.820 % | 903.05/903.15 c | 1732096 | 29819 381083 882740 | 1 134120 58 | 64.820 % | 903.05/903.15 c | 1732196 | 29819 381083 882740 | 1 134220 58 | 64.820 % | 903.05/903.15 c | 1732296 | 29819 381083 882740 | 1 134320 58 | 64.820 % | 903.05/903.15 c | 1733677 | 29818 381083 882740 | 1 135700 58 | 64.822 % | 903.05/903.15 c | 1733777 | 29818 381083 882740 | 1 135800 58 | 64.822 % | 903.05/903.15 c | 1733877 | 29818 381083 882740 | 1 135900 58 | 64.822 % | 903.05/903.15 c | 1733978 | 29818 381083 882740 | 1 136001 58 | 64.822 % | 903.05/903.15 c | 1739175 | 29818 381083 882740 | 1 141198 58 | 64.822 % | 903.05/903.15 c | 1739282 | 29818 381081 882734 | 1 141291 58 | 64.822 % | 903.05/903.15 c | 1739387 | 29818 381081 882734 | 1 141396 58 | 64.822 % | 903.05/903.15 c | 1739487 | 29818 381081 882734 | 1 141496 58 | 64.822 % | 903.05/903.15 c | 1739786 | 29818 381081 882734 | 1 141795 58 | 64.822 % | 903.05/903.15 c | 1739886 | 29818 381081 882734 | 1 141895 58 | 64.822 % | 903.05/903.15 c | 1739986 | 29818 381081 882734 | 1 141995 58 | 64.822 % | 903.05/903.15 c | 1741179 | 29818 381081 882734 | 1 143188 59 | 64.822 % | 903.05/903.15 c | 1741281 | 29818 381081 882734 | 1 143290 59 | 64.822 % | 903.05/903.15 c | 1741381 | 29818 381081 882734 | 1 143390 59 | 64.822 % | 903.05/903.15 c | 1741482 | 29818 381081 882734 | 1 143491 59 | 64.822 % | 903.05/903.15 c | 1741582 | 29818 381081 882734 | 1 143591 59 | 64.822 % | 903.05/903.15 c | 1741683 | 29818 381081 882734 | 1 143692 59 | 64.822 % | 903.05/903.15 c | 1741921 | 29818 381081 882734 | 1 143930 59 | 64.822 % | 903.05/903.15 c | 1742022 | 29818 381081 882734 | 1 144031 59 | 64.822 % | 903.05/903.15 c | 1742122 | 29818 381081 882734 | 1 144131 59 | 64.822 % | 903.05/903.15 c | 1742223 | 29818 381081 882734 | 1 144232 59 | 64.822 % | 903.05/903.15 c | 1744783 | 29818 381081 882734 | 1 146792 59 | 64.822 % | 903.05/903.15 c | 1744883 | 29818 381081 882734 | 1 146892 59 | 64.822 % | 903.05/903.15 c | 1745035 | 29818 381081 882734 | 1 147044 59 | 64.822 % | 903.05/903.15 c | 1745574 | 29818 381081 882734 | 1 147583 59 | 64.822 % | 903.05/903.15 c | 1745676 | 29818 381081 882734 | 1 147685 59 | 64.822 % | 903.05/903.15 c | 1747650 | 29818 381081 882734 | 1 149659 59 | 64.822 % | 927.04/927.14 c | 1747966 | 29817 381081 882734 | 1 149974 59 | 64.823 % | 927.04/927.14 c | 1748067 | 29817 381081 882734 | 1 150075 59 | 64.823 % | 927.04/927.14 c | 1748167 | 29806 381081 882734 | 1 150174 59 | 64.836 % | 927.04/927.14 c | 1750220 | 29806 381081 882734 | 1 152227 59 | 64.836 % | 927.04/927.14 c | 1751111 | 29806 381081 882734 | 1 153118 60 | 64.836 % | 927.04/927.14 c | 1751212 | 29806 381038 882597 | 1 153218 60 | 64.836 % | 927.04/927.14 c | 1751329 | 29806 381038 882597 | 1 153335 60 | 64.836 % | 927.04/927.14 c | 1751430 | 29806 381038 882597 | 1 153436 60 | 64.836 % | 927.04/927.14 c | 1751532 | 29806 381038 882597 | 1 153538 60 | 64.836 % | 927.04/927.14 c | 1751632 | 29806 381038 882597 | 1 153638 60 | 64.836 % | 927.04/927.14 c | 1751733 | 29806 381038 882597 | 1 153739 60 | 64.836 % | 927.04/927.14 c | 1751834 | 29806 381038 882597 | 1 153840 60 | 64.836 % | 927.04/927.14 c | 1759009 | 29638 381038 882597 | 1 161014 61 | 65.034 % | 927.04/927.14 c | 1759109 | 29638 381038 882597 | 1 161114 61 | 65.034 % | 927.04/927.14 c | 1759209 | 29638 381038 882597 | 1 161214 61 | 65.034 % | 927.04/927.14 c | 1759310 | 29638 381038 882597 | 1 161315 61 | 65.034 % | 927.04/927.14 c | 1759425 | 29638 381038 882597 | 1 161430 61 | 65.034 % | 927.04/927.14 c | 1759528 | 29638 381038 882597 | 1 161533 61 | 65.034 % | 927.04/927.14 c | 1759629 | 29638 381038 882597 | 1 161634 61 | 65.034 % | 927.04/927.14 c | 1759729 | 29638 381038 882597 | 1 161734 61 | 65.034 % | 927.04/927.14 c | 1759831 | 29638 381038 882597 | 1 161836 61 | 65.034 % | 927.04/927.14 c | 1759931 | 29638 381038 882597 | 1 161936 61 | 65.034 % | 927.04/927.14 c | 1760032 | 29638 381038 882597 | 1 162037 61 | 65.034 % | 927.04/927.14 c | 1760133 | 29638 381038 882597 | 1 162138 62 | 65.034 % | 927.04/927.14 c | 1775734 | 29638 381038 882597 | 1 177739 67 | 65.034 % | 927.04/927.14 c | 1775836 | 29638 380927 882107 | 1 177838 67 | 65.034 % | 927.04/927.14 c | 1775939 | 29638 380927 882107 | 1 177941 67 | 65.034 % | 927.04/927.14 c | 1776040 | 29638 380927 882107 | 1 178042 67 | 65.034 % | 927.04/927.14 c | 1776656 | 29638 380927 882107 | 1 178658 67 | 65.034 % | 927.04/927.14 c | 1776756 | 29638 380927 882107 | 1 178758 67 | 65.034 % | 927.04/927.14 c | 1776860 | 29638 380927 882107 | 1 178862 67 | 65.034 % | 927.04/927.14 c | 1776962 | 29638 380927 882107 | 1 178964 67 | 65.034 % | 927.04/927.14 c | 1777401 | 29638 380927 882107 | 1 179403 67 | 65.034 % | 927.04/927.14 c | 1777502 | 29638 380927 882107 | 1 179504 67 | 65.034 % | 927.04/927.14 c | 1777603 | 29638 380927 882107 | 1 179605 67 | 65.034 % | 927.04/927.14 c | 1777703 | 29638 380927 882107 | 1 179705 67 | 65.034 % | 927.04/927.14 c | 1777961 | 29638 380927 882107 | 1 179963 67 | 65.034 % | 927.04/927.14 c | 1778062 | 29638 380927 882107 | 1 180064 67 | 65.034 % | 927.04/927.14 c | 1778163 | 29638 380927 882107 | 1 180165 67 | 65.034 % | 927.04/927.14 c | 1781971 | 29638 380927 882107 | 1 183973 67 | 65.034 % | 927.04/927.14 c | 1782072 | 29638 380927 882107 | 1 92074 46 | 65.034 % | 927.04/927.14 c | 1783954 | 29638 380927 882107 | 1 93956 47 | 65.034 % | 927.04/927.14 c | 1784167 | 29623 380927 882107 | 1 94168 47 | 65.052 % | 927.04/927.14 c | 1784350 | 29623 380927 882107 | 1 94351 47 | 65.052 % | 927.04/927.14 c | 1784450 | 29623 380927 882107 | 1 94451 47 | 65.052 % | 927.04/927.14 c | 1784551 | 29623 380927 882107 | 1 94552 47 | 65.052 % | 927.04/927.14 c | 1784651 | 29623 380927 882107 | 1 94652 47 | 65.052 % | 927.04/927.14 c | 1784752 | 29623 380927 882107 | 1 94753 47 | 65.052 % | 927.04/927.14 c | 1784855 | 29623 380927 882107 | 1 94856 47 | 65.052 % | 927.04/927.14 c | 1784955 | 29623 380927 882107 | 1 94956 47 | 65.052 % | 1163.24/1163.33 c | 1785066 | 29623 380927 882107 | 1 95067 47 | 65.052 % | 1163.24/1163.33 c | 1785765 | 29623 380927 882107 | 1 95766 47 | 65.052 % | 1163.24/1163.33 c | 1785866 | 29623 380927 882107 | 1 95867 48 | 65.052 % | 1163.24/1163.33 c | 1786550 | 29623 380927 882107 | 1 96551 48 | 65.052 % | 1163.24/1163.33 c | 1786655 | 29623 380927 882107 | 1 96656 48 | 65.052 % | 1163.24/1163.33 c | 1786755 | 29623 380878 881936 | 1 96755 48 | 65.052 % | 1163.24/1163.33 c | 1792204 | 29623 380878 881936 | 1 102204 49 | 65.052 % | 1163.24/1163.33 c | 1794928 | 29611 380878 881936 | 1 104927 51 | 65.066 % | 1163.24/1163.33 c | 1808697 | 29611 380844 881826 | 1 118695 54 | 65.066 % | 1163.24/1163.33 c | 2153887 | 29611 380844 881826 | 1 171452 49 | 65.066 % | 1163.24/1163.33 c | 2153988 | 29611 380844 881826 | 1 171553 49 | 65.066 % | 1163.24/1163.33 c | 2154088 | 29611 380844 881826 | 1 171653 49 | 65.066 % | 1163.24/1163.33 c | 2154594 | 29611 380844 881826 | 1 172159 49 | 65.066 % | 1163.24/1163.33 c | 2155017 | 29611 380844 881826 | 1 172582 49 | 65.066 % | 1163.24/1163.33 c | 2166546 | 29610 380841 881817 | 1 184110 53 | 65.067 % | 1163.24/1163.33 c | 2166652 | 29610 380841 881817 | 1 184216 53 | 65.067 % | 1163.24/1163.33 c | 2167356 | 29610 380841 881817 | 1 184920 53 | 65.067 % | 1163.24/1163.33 c | 2167456 | 29610 380841 881817 | 1 185020 53 | 65.067 % | 1163.24/1163.33 c | 2167558 | 29610 380841 881817 | 1 185122 53 | 65.067 % | 1163.24/1163.33 c | 2169927 | 29610 380841 881817 | 1 187491 53 | 65.067 % | 1163.24/1163.33 c | 2170027 | 29610 380841 881817 | 1 187591 53 | 65.067 % | 1163.24/1163.33 c | 2170129 | 29610 380841 881817 | 1 187693 53 | 65.067 % | 1163.24/1163.33 c | 2170229 | 29610 380841 881817 | 1 187793 53 | 65.067 % | 1163.24/1163.33 c | 2170331 | 29610 380841 881817 | 1 187895 53 | 65.067 % | 1163.24/1163.33 c | 2170432 | 29610 380841 881817 | 1 187996 53 | 65.067 % | 1163.24/1163.33 c | 2170532 | 29610 380841 881817 | 1 188096 53 | 65.067 % | 1163.24/1163.33 c | 2170635 | 29610 380841 881817 | 1 188199 53 | 65.067 % | 1163.24/1163.33 c | 2170737 | 29610 380841 881817 | 1 188301 53 | 65.067 % | 1163.24/1163.33 c | 2170838 | 29610 380841 881817 | 1 188402 53 | 65.067 % | 1163.24/1163.33 c | 2170939 | 29610 380841 881817 | 1 188503 53 | 65.067 % | 1163.24/1163.33 c | 2171039 | 29610 380841 881817 | 1 188603 53 | 65.067 % | 1163.24/1163.33 c | 2171139 | 29610 380841 881817 | 1 188703 53 | 65.067 % | 1163.24/1163.33 c | 2171239 | 29610 380841 881817 | 1 188803 53 | 65.067 % | 1163.24/1163.33 c | 2171341 | 29610 380841 881817 | 1 188905 53 | 65.067 % | 1163.24/1163.33 c | 2171443 | 29610 380841 881817 | 1 189007 53 | 65.067 % | 1163.24/1163.33 c | 2171545 | 29610 380841 881817 | 1 189109 53 | 65.067 % | 1163.24/1163.33 c | 2171645 | 29610 380841 881817 | 1 189209 53 | 65.067 % | 1163.24/1163.33 c | 2172704 | 29610 380841 881817 | 1 190268 53 | 65.067 % | 1163.24/1163.33 c | 2172804 | 29610 380841 881817 | 1 190368 53 | 65.067 % | 1163.24/1163.33 c | 2172906 | 29610 380841 881817 | 1 190470 53 | 65.067 % | 1163.24/1163.33 c | 2173187 | 29610 380841 881817 | 1 190751 53 | 65.067 % | 1163.24/1163.33 c | 2173290 | 29610 380841 881817 | 1 190854 53 | 65.067 % | 1163.24/1163.33 c | 2173392 | 29610 380841 881817 | 1 190956 53 | 65.067 % | 1163.24/1163.33 c | 2173851 | 29610 380841 881817 | 1 191415 53 | 65.067 % | 1163.24/1163.33 c | 2173956 | 29610 380841 881817 | 1 191520 53 | 65.067 % | 1163.24/1163.33 c | 2174110 | 29610 380841 881817 | 1 191674 53 | 65.067 % | 1163.24/1163.33 c | 2174211 | 29610 380841 881817 | 1 191775 53 | 65.067 % | 1163.24/1163.33 c | 2174312 | 29610 380841 881817 | 1 191876 53 | 65.067 % | 1163.24/1163.33 c | 2196320 | 29610 380841 881817 | 1 111107 43 | 65.067 % | 1163.24/1163.33 c | 2196423 | 29610 380841 881817 | 1 111210 43 | 65.067 % | 1251.03/1251.14 c | 2196586 | 29610 380841 881817 | 1 111373 43 | 65.067 % | 1251.03/1251.14 c | 2196686 | 29610 380841 881817 | 1 111473 43 | 65.067 % | 1251.03/1251.14 c | 2196818 | 29610 380841 881817 | 1 111605 43 | 65.067 % | 1251.03/1251.14 c | 2202498 | 29610 380841 881817 | 1 117285 45 | 65.067 % | 1251.03/1251.14 c | 2205899 | 29610 380841 881817 | 1 120686 45 | 65.067 % | 1251.03/1251.14 c | 2205999 | 29610 380841 881817 | 1 120786 45 | 65.067 % | 1251.03/1251.14 c | 2206715 | 29610 380841 881817 | 1 121502 45 | 65.067 % | 1251.03/1251.14 c | 2206815 | 29610 380841 881817 | 1 121602 45 | 65.067 % | 1251.03/1251.14 c | 2207069 | 29610 380841 881817 | 1 121856 45 | 65.067 % | 1251.03/1251.14 c | 2207171 | 29610 380841 881817 | 1 121958 45 | 65.067 % | 1251.03/1251.14 c | 2207273 | 29610 380841 881817 | 1 122060 45 | 65.067 % | 1251.03/1251.14 c | 2207374 | 29610 380841 881817 | 1 122161 45 | 65.067 % | 1251.03/1251.14 c | 2207476 | 29610 380841 881817 | 1 122263 45 | 65.067 % | 1251.03/1251.14 c | 2213814 | 29610 380841 881817 | 1 128601 45 | 65.067 % | 1251.03/1251.14 c | 2213914 | 29610 380841 881817 | 1 128701 45 | 65.067 % | 1251.03/1251.14 c | 2214154 | 29610 380841 881817 | 1 128941 45 | 65.067 % | 1251.03/1251.14 c | 2214254 | 29610 380841 881817 | 1 129041 45 | 65.067 % | 1251.03/1251.14 c | 2214357 | 29610 380841 881817 | 1 129144 45 | 65.067 % | 1251.03/1251.14 c | 2214462 | 29610 380841 881817 | 1 129249 45 | 65.067 % | 1251.03/1251.14 c | 2214581 | 29610 380841 881817 | 1 129368 45 | 65.067 % | 1251.03/1251.14 c | 2214685 | 29610 380841 881817 | 1 129472 45 | 65.067 % | 1251.03/1251.14 c | 2214849 | 29610 380841 881817 | 1 129636 45 | 65.067 % | 1251.03/1251.14 c | 2214986 | 29610 380841 881817 | 1 129773 45 | 65.067 % | 1251.03/1251.14 c | 2215393 | 29610 380841 881817 | 1 130180 45 | 65.067 % | 1251.03/1251.14 c | 2217597 | 29610 380841 881817 | 1 132384 46 | 65.067 % | 1251.03/1251.14 c | 2217699 | 29610 380841 881817 | 1 132486 46 | 65.067 % | 1251.03/1251.14 c | 2217799 | 29610 380841 881817 | 1 132586 46 | 65.067 % | 1251.03/1251.14 c | 2217900 | 29610 380841 881817 | 1 132687 46 | 65.067 % | 1251.03/1251.14 c | 2218002 | 29610 380841 881817 | 1 132789 46 | 65.067 % | 1251.03/1251.14 c | 2218104 | 29610 380841 881817 | 1 132891 46 | 65.067 % | 1251.03/1251.14 c | 2218206 | 29610 380841 881817 | 1 132993 46 | 65.067 % | 1251.03/1251.14 c | 2218900 | 29610 380841 881817 | 1 133687 47 | 65.067 % | 1251.03/1251.14 c | 2219458 | 29610 380841 881817 | 1 134245 47 | 65.067 % | 1251.03/1251.14 c | 2219764 | 29610 380841 881817 | 1 134551 47 | 65.067 % | 1251.03/1251.14 c | 2219864 | 29610 380841 881817 | 1 134651 47 | 65.067 % | 1251.03/1251.14 c | 2219965 | 29610 380841 881817 | 1 134752 47 | 65.067 % | 1251.03/1251.14 c | 2254331 | 29610 380841 881817 | 1 169118 52 | 65.067 % | 1251.03/1251.14 c | 2254432 | 29610 380841 881817 | 1 169219 52 | 65.067 % | 1251.03/1251.14 c | 2267402 | 29610 380841 881817 | 1 182189 56 | 65.067 % | 1251.03/1251.14 c | 2317424 | 29610 380841 881817 | 1 126828 46 | 65.067 % | 1251.03/1251.14 c | 2317728 | 29610 380841 881817 | 1 127132 46 | 65.067 % | 1251.03/1251.14 c | 2317833 | 29610 380841 881817 | 1 127237 46 | 65.067 % | 1251.03/1251.14 c | 2317933 | 29610 380841 881817 | 1 127337 46 | 65.067 % | 1251.03/1251.14 c | 2318162 | 29610 380841 881817 | 1 127566 46 | 65.067 % | 1251.03/1251.14 c | 2318263 | 29610 380841 881817 | 1 127667 46 | 65.067 % | 1251.03/1251.14 c | 2318366 | 29610 380841 881817 | 1 127770 46 | 65.067 % | 1251.03/1251.14 c | 2318468 | 29610 380841 881817 | 1 127872 46 | 65.067 % | 1251.03/1251.14 c | 2361783 | 29610 380841 881817 | 1 171187 59 | 65.067 % | 1251.03/1251.14 c | 2362151 | 29610 380841 881817 | 1 171555 59 | 65.067 % | 1251.03/1251.14 c | 2362251 | 29610 380841
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: 935) 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-3280294-1303749439/watcher-3280294-1303749439 -o /tmp/evaluation-result-3280294-1303749439/solver-3280294-1303749439 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3280294-1303749439.cnf running on 2 cores: 0,2 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.09 3.80 3.66 4/182 5749 /proc/meminfo: memFree=18397296/32951124 swapFree=67111528/67111528 [pid=5749] ppid=5747 vsize=11800 CPUtime=0 cores=0,2 /proc/5749/stat : 5749 (runsolver) R 5747 5749 5394 0 -1 4202560 44 0 0 0 0 0 0 0 21 0 1 0 486542533 12083200 54 33554432000 4194304 5434984 140737194013360 18446744073709551615 5055495 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/5749/statm: 2950 54 34 303 0 2644 0 [startup+0.054243 s] /proc/loadavg: 3.09 3.80 3.66 4/182 5749 /proc/meminfo: memFree=18397296/32951124 swapFree=67111528/67111528 [pid=5749] ppid=5747 vsize=8704 CPUtime=0 cores=0,2 /proc/5749/stat : 5749 (glucose.sh) S 5747 5749 5394 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 486542533 8912896 253 33554432000 4194304 4922060 140733998912464 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/5749/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100243 s] /proc/loadavg: 3.09 3.80 3.66 4/182 5749 /proc/meminfo: memFree=18397296/32951124 swapFree=67111528/67111528 [pid=5749] ppid=5747 vsize=8704 CPUtime=0 cores=0,2 /proc/5749/stat : 5749 (glucose.sh) S 5747 5749 5394 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 486542533 8912896 253 33554432000 4194304 4922060 140733998912464 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/5749/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300274 s] /proc/loadavg: 3.09 3.80 3.66 4/182 5749 /proc/meminfo: memFree=18397296/32951124 swapFree=67111528/67111528 [pid=5749] ppid=5747 vsize=8704 CPUtime=0 cores=0,2 /proc/5749/stat : 5749 (glucose.sh) S 5747 5749 5394 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 486542533 8912896 253 33554432000 4194304 4922060 140733998912464 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/5749/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.701181 s] /proc/loadavg: 3.09 3.80 3.66 4/182 5749 /proc/meminfo: memFree=18397296/32951124 swapFree=67111528/67111528 [pid=5749] ppid=5747 vsize=8704 CPUtime=0 cores=0,2 /proc/5749/stat : 5749 (glucose.sh) S 5747 5749 5394 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 486542533 8912896 253 33554432000 4194304 4922060 140733998912464 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/5749/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50106 s] /proc/loadavg: 3.08 3.78 3.66 5/190 5762 /proc/meminfo: memFree=18079564/32951124 swapFree=67111528/67111528 [pid=5749] ppid=5747 vsize=8704 CPUtime=0 cores=0,2 /proc/5749/stat : 5749 (glucose.sh) S 5747 5749 5394 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 486542533 8912896 253 33554432000 4194304 4922060 140733998912464 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/5749/statm: 2176 253 211 178 0 69 0 [pid=5751] ppid=5749 vsize=175168 CPUtime=1.48 cores=0,2 /proc/5751/stat : 5751 (SatELite_releas) R 5749 5749 5394 0 -1 4202496 39474 0 0 0 140 8 0 0 25 0 1 0 486542534 179372032 36068 33554432000 134512640 135144242 4289681616 18446744073709551615 134585643 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/5751/statm: 43792 36068 77 155 0 43635 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 183872 [startup+3.10078 s] /proc/loadavg: 3.08 3.78 3.66 5/194 5769 /proc/meminfo: memFree=17989508/32951124 swapFree=67111528/67111528 [pid=5749] ppid=5747 vsize=8704 CPUtime=0 cores=0,2 /proc/5749/stat : 5749 (glucose.sh) S 5747 5749 5394 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 486542533 8912896 253 33554432000 4194304 4922060 140733998912464 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/5749/statm: 2176 253 211 178 0 69 0 [pid=5751] ppid=5749 vsize=181424 CPUtime=3.08 cores=0,2 /proc/5751/stat : 5751 (SatELite_releas) R 5749 5749 5394 0 -1 4202496 44151 0 0 0 299 9 0 0 25 0 1 0 486542534 185778176 36344 33554432000 134512640 135144242 4289681616 18446744073709551615 134555808 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/5751/statm: 45356 36344 77 155 0 45199 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 190128 [startup+6.30125 s] /proc/loadavg: 3.15 3.79 3.66 5/194 5773 /proc/meminfo: memFree=18225748/32951124 swapFree=67111528/67111528 [pid=5749] ppid=5747 vsize=8704 CPUtime=4.72 cores=0,2 /proc/5749/stat : 5749 (glucose.sh) S 5747 5749 5394 0 -1 4202496 359 59629 0 0 0 0 458 14 18 0 1 0 486542533 8912896 255 33554432000 4194304 4922060 140733998912464 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/5749/statm: 2176 255 211 178 0 69 0 [pid=5773] ppid=5749 vsize=57148 CPUtime=1.55 cores=0,2 /proc/5773/stat : 5773 (glucose_static) R 5749 5749 5394 0 -1 4202496 10888 0 0 0 153 2 0 0 24 0 1 0 486543007 58519552 10245 33554432000 4194304 4260849 140733789338928 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/5773/statm: 14287 10245 249 17 0 10928 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 65852 [startup+12.7012 s] /proc/loadavg: 3.22 3.79 3.66 5/194 5773 /proc/meminfo: memFree=18197208/32951124 swapFree=67111528/67111528 [pid=5749] ppid=5747 vsize=8704 CPUtime=4.72 cores=0,2 /proc/5749/stat : 5749 (glucose.sh) S 5747 5749 5394 0 -1 4202496 359 59629 0 0 0 0 458 14 18 0 1 0 486542533 8912896 255 33554432000 4194304 4922060 140733998912464 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/5749/statm: 2176 255 211 178 0 69 0 [pid=5773] ppid=5749 vsize=57880 CPUtime=7.95 cores=0,2 /proc/5773/stat : 5773 (glucose_static) R 5749 5749 5394 0 -1 4202496 15312 0 0 0 792 3 0 0 25 0 1 0 486543007 59269120 10487 33554432000 4194304 4260849 140733789338928 18446744073709551615 4209365 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/5773/statm: 14470 10487 251 17 0 11111 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 66584 [startup+25.501 s] /proc/loadavg: 3.34 3.80 3.66 5/194 5774 /proc/meminfo: memFree=18121204/32951124 swapFree=67111528/67111528 [pid=5749] ppid=5747 vsize=8704 CPUtime=4.72 cores=0,2 /proc/5749/stat : 5749 (glucose.sh) S 5747 5749 5394 0 -1 4202496 359 59629 0 0 0 0 458 14 18 0 1 0 486542533 8912896 255 33554432000 4194304 4922060 140733998912464 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/5749/statm: 2176 255 211 178 0 69 0 [pid=5773] ppid=5749 vsize=88572 CPUtime=20.75 cores=0,2 /proc/5773/stat : 5773 (glucose_static) R 5749 5749 5394 0 -1 4202496 26241 0 0 0 2069 6 0 0 25 0 1 0 486543007 90697728 16933 33554432000 4194304 4260849 140733789338928 18446744073709551615 4224855 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/5773/statm: 22143 16933 251 17 0 18784 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 97276 [startup+51.1007 s] /proc/loadavg: 3.56 3.81 3.67 5/194 5774 /proc/meminfo: memFree=18067148/32951124 swapFree=67111528/67111528 [pid=5749] ppid=5747 vsize=8704 CPUtime=4.72 cores=0,2 /proc/5749/stat : 5749 (glucose.sh) S 5747 5749 5394 0 -1 4202496 359 59629 0 0 0 0 458 14 18 0 1 0 486542533 8912896 255 33554432000 4194304 4922060 140733998912464 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/5749/statm: 2176 255 211 178 0 69 0 [pid=5773] ppid=5749 vsize=107428 CPUtime=46.34 cores=0,2 /proc/5773/stat : 5773 (glucose_static) R 5749 5749 5394 0 -1 4202496 36405 0 0 0 4626 8 0 0 25 0 1 0 486543007 110006272 21051 33554432000 4194304 4260849 140733789338928 18446744073709551615 4221289 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/5773/statm: 26857 21051 251 17 0 23498 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 116132 [startup+102.301 s] /proc/loadavg: 3.82 3.84 3.69 5/194 5776 /proc/meminfo: memFree=18033276/32951124 swapFree=67111528/67111528 [pid=5749] ppid=5747 vsize=8704 CPUtime=4.72 cores=0,2 /proc/5749/stat : 5749 (glucose.sh) S 5747 5749 5394 0 -1 4202496 359 59629 0 0 0 0 458 14 18 0 1 0 486542533 8912896 255 33554432000 4194304 4922060 140733998912464 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/5749/statm: 2176 255 211 178 0 69 0 [pid=5773] ppid=5749 vsize=107428 CPUtime=97.55 cores=0,2 /proc/5773/stat : 5773 (glucose_static) R 5749 5749 5394 0 -1 4202496 38482 0 0 0 9746 9 0 0 25 0 1 0 486543007 110006272 23101 33554432000 4194304 4260849 140733789338928 18446744073709551615 4224374 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/5773/statm: 26857 23101 251 17 0 23498 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 116132 [startup+162.301 s] /proc/loadavg: 3.93 3.87 3.70 5/194 5777 /proc/meminfo: memFree=17924672/32951124 swapFree=67111528/67111528 [pid=5749] ppid=5747 vsize=8704 CPUtime=4.72 cores=0,2 /proc/5749/stat : 5749 (glucose.sh) S 5747 5749 5394 0 -1 4202496 359 59629 0 0 0 0 458 14 18 0 1 0 486542533 8912896 255 33554432000 4194304 4922060 140733998912464 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/5749/statm: 2176 255 211 178 0 69 0 [pid=5773] ppid=5749 vsize=156748 CPUtime=157.55 cores=0,2 /proc/5773/stat : 5773 (glucose_static) R 5749 5749 5394 0 -1 4202496 63277 0 0 0 15743 12 0 0 25 0 1 0 486543007 160509952 31064 33554432000 4194304 4260849 140733789338928 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/5773/statm: 39187 31064 251 17 0 35828 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 165452 [startup+222.301 s] /proc/loadavg: 3.97 3.89 3.72 5/194 5779 /proc/meminfo: memFree=18007748/32951124 swapFree=67111528/67111528 [pid=5749] ppid=5747 vsize=8704 CPUtime=4.72 cores=0,2 /proc/5749/stat : 5749 (glucose.sh) S 5747 5749 5394 0 -1 4202496 359 59629 0 0 0 0 458 14 18 0 1 0 486542533 8912896 255 33554432000 4194304 4922060 140733998912464 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/5749/statm: 2176 255 211 178 0 69 0 [pid=5773] ppid=5749 vsize=107428 CPUtime=217.54 cores=0,2 /proc/5773/stat : 5773 (glucose_static) R 5749 5749 5394 0 -1 4202496 63440 0 0 0 21742 12 0 0 25 0 1 0 486543007 110006272 23145 33554432000 4194304 4260849 140733789338928 18446744073709551615 4226333 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/5773/statm: 26857 23145 251 17 0 23498 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 116132 [startup+282.307 s] /proc/loadavg: 3.99 3.91 3.74 5/194 5780 /proc/meminfo: memFree=17898116/32951124 swapFree=67111528/67111528 [pid=5749] ppid=5747 vsize=8704 CPUtime=4.72 cores=0,2 /proc/5749/stat : 5749 (glucose.sh) S 5747 5749 5394 0 -1 4202496 359 59629 0 0 0 0 458 14 18 0 1 0 486542533 8912896 255 33554432000 4194304 4922060 140733998912464 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/5749/statm: 2176 255 211 178 0 69 0 [pid=5773] ppid=5749 vsize=156748 CPUtime=277.55 cores=0,2 /proc/5773/stat : 5773 (glucose_static) R 5749 5749 5394 0 -1 4202496 92851 0 0 0 27736 19 0 0 25 0 1 0 486543007 160509952 32644 33554432000 4194304 4260849 140733789338928 18446744073709551615 4209261 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/5773/statm: 39187 32644 251 17 0 35828 0 Current children cumulated CPU time (s) 282.27 Current children cumulated vsize (KiB) 165452 [startup+342.301 s] /proc/loadavg: 4.04 3.94 3.75 5/194 5782 /proc/meminfo: memFree=17955372/32951124 swapFree=67111528/67111528 [pid=5749] ppid=5747 vsize=8704 CPUtime=4.72 cores=0,2 /proc/5749/stat : 5749 (glucose.sh) S 5747 5749 5394 0 -1 4202496 359 59629 0 0 0 0 458 14 18 0 1 0 486542533 8912896 255 33554432000 4194304 4922060 140733998912464 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/5749/statm: 2176 255 211 178 0 69 0 [pid=5773] ppid=5749 vsize=107428 CPUtime=337.54 cores=0,2 /proc/5773/stat : 5773 (glucose_static) R 5749 5749 5394 0 -1 4202496 110368 0 0 0 33729 25 0 0 25 0 1 0 486543007 110006272 23145 33554432000 4194304 4260849 140733789338928 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/5773/statm: 26857 23145 251 17 0 23498 0 Current children cumulated CPU time (s) 342.26 Current children cumulated vsize (KiB) 116132 [startup+402.301 s] /proc/loadavg: 4.01 3.94 3.76 5/194 5784 /proc/meminfo: memFree=17868436/32951124 swapFree=67111528/67111528 [pid=5749] ppid=5747 vsize=8704 CPUtime=4.72 cores=0,2 ################ # More data... # ################ /proc/5773/statm: 30072 26360 251 17 0 26713 0 Current children cumulated CPU time (s) 642.25 Current children cumulated vsize (KiB) 128992 [startup+702.301 s] /proc/loadavg: 4.00 3.97 3.82 5/194 5792 /proc/meminfo: memFree=17794176/32951124 swapFree=67111528/67111528 [pid=5749] ppid=5747 vsize=8704 CPUtime=4.72 cores=0,2 /proc/5749/stat : 5749 (glucose.sh) S 5747 5749 5394 0 -1 4202496 359 59629 0 0 0 0 458 14 18 0 1 0 486542533 8912896 255 33554432000 4194304 4922060 140733998912464 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/5749/statm: 2176 255 211 178 0 69 0 [pid=5773] ppid=5749 vsize=169608 CPUtime=697.53 cores=0,2 /proc/5773/stat : 5773 (glucose_static) R 5749 5749 5394 0 -1 4202496 234513 0 0 0 69701 52 0 0 25 0 1 0 486543007 173678592 35752 33554432000 4194304 4260849 140733789338928 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/5773/statm: 42402 35752 251 17 0 39043 0 Current children cumulated CPU time (s) 702.25 Current children cumulated vsize (KiB) 178312 [startup+762.301 s] /proc/loadavg: 4.00 3.97 3.83 5/194 5793 /proc/meminfo: memFree=17860000/32951124 swapFree=67111528/67111528 [pid=5749] ppid=5747 vsize=8704 CPUtime=4.72 cores=0,2 /proc/5749/stat : 5749 (glucose.sh) S 5747 5749 5394 0 -1 4202496 359 59629 0 0 0 0 458 14 18 0 1 0 486542533 8912896 255 33554432000 4194304 4922060 140733998912464 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/5749/statm: 2176 255 211 178 0 69 0 [pid=5773] ppid=5749 vsize=200428 CPUtime=757.52 cores=0,2 /proc/5773/stat : 5773 (glucose_static) R 5749 5749 5394 0 -1 4202496 253809 0 0 0 75696 56 0 0 25 0 1 0 486543007 205238272 41895 33554432000 4194304 4260849 140733789338928 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/5773/statm: 50107 41895 251 17 0 46748 0 Current children cumulated CPU time (s) 762.24 Current children cumulated vsize (KiB) 209132 [startup+822.301 s] /proc/loadavg: 4.04 3.99 3.84 5/194 5795 /proc/meminfo: memFree=17801580/32951124 swapFree=67111528/67111528 [pid=5749] ppid=5747 vsize=8704 CPUtime=4.72 cores=0,2 /proc/5749/stat : 5749 (glucose.sh) S 5747 5749 5394 0 -1 4202496 359 59629 0 0 0 0 458 14 18 0 1 0 486542533 8912896 255 33554432000 4194304 4922060 140733998912464 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/5749/statm: 2176 255 211 178 0 69 0 [pid=5773] ppid=5749 vsize=120288 CPUtime=817.53 cores=0,2 /proc/5773/stat : 5773 (glucose_static) R 5749 5749 5394 0 -1 4202496 267970 0 0 0 81694 59 0 0 25 0 1 0 486543007 123174912 26360 33554432000 4194304 4260849 140733789338928 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/5773/statm: 30072 26360 251 17 0 26713 0 Current children cumulated CPU time (s) 822.25 Current children cumulated vsize (KiB) 128992 [startup+882.301 s] /proc/loadavg: 4.01 3.99 3.85 5/194 5796 /proc/meminfo: memFree=17784204/32951124 swapFree=67111528/67111528 [pid=5749] ppid=5747 vsize=8704 CPUtime=4.72 cores=0,2 /proc/5749/stat : 5749 (glucose.sh) S 5747 5749 5394 0 -1 4202496 359 59629 0 0 0 0 458 14 18 0 1 0 486542533 8912896 255 33554432000 4194304 4922060 140733998912464 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/5749/statm: 2176 255 211 178 0 69 0 [pid=5773] ppid=5749 vsize=169608 CPUtime=877.52 cores=0,2 /proc/5773/stat : 5773 (glucose_static) R 5749 5749 5394 0 -1 4202496 290860 0 0 0 87688 64 0 0 25 0 1 0 486543007 173678592 34729 33554432000 4194304 4260849 140733789338928 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/5773/statm: 42402 34729 251 17 0 39043 0 Current children cumulated CPU time (s) 882.24 Current children cumulated vsize (KiB) 178312 [startup+942.307 s] /proc/loadavg: 4.00 3.99 3.85 5/194 5798 /proc/meminfo: memFree=17799424/32951124 swapFree=67111528/67111528 [pid=5749] ppid=5747 vsize=8704 CPUtime=4.72 cores=0,2 /proc/5749/stat : 5749 (glucose.sh) S 5747 5749 5394 0 -1 4202496 359 59629 0 0 0 0 458 14 18 0 1 0 486542533 8912896 255 33554432000 4194304 4922060 140733998912464 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/5749/statm: 2176 255 211 178 0 69 0 [pid=5773] ppid=5749 vsize=169608 CPUtime=937.53 cores=0,2 /proc/5773/stat : 5773 (glucose_static) R 5749 5749 5394 0 -1 4202496 305670 0 0 0 93684 69 0 0 25 0 1 0 486543007 173678592 35182 33554432000 4194304 4260849 140733789338928 18446744073709551615 4224451 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/5773/statm: 42402 35182 251 17 0 39043 0 Current children cumulated CPU time (s) 942.25 Current children cumulated vsize (KiB) 178312 [startup+1002.3 s] /proc/loadavg: 4.08 4.00 3.86 5/194 5800 /proc/meminfo: memFree=17691140/32951124 swapFree=67111528/67111528 [pid=5749] ppid=5747 vsize=8704 CPUtime=4.72 cores=0,2 /proc/5749/stat : 5749 (glucose.sh) S 5747 5749 5394 0 -1 4202496 359 59629 0 0 0 0 458 14 18 0 1 0 486542533 8912896 255 33554432000 4194304 4922060 140733998912464 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/5749/statm: 2176 255 211 178 0 69 0 [pid=5773] ppid=5749 vsize=169608 CPUtime=997.51 cores=0,2 /proc/5773/stat : 5773 (glucose_static) R 5749 5749 5394 0 -1 4202496 322877 0 0 0 99677 74 0 0 25 0 1 0 486543007 173678592 37814 33554432000 4194304 4260849 140733789338928 18446744073709551615 4209365 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/5773/statm: 42402 37814 251 17 0 39043 0 Current children cumulated CPU time (s) 1002.23 Current children cumulated vsize (KiB) 178312 [startup+1062.3 s] /proc/loadavg: 4.03 4.00 3.87 5/194 5801 /proc/meminfo: memFree=17766024/32951124 swapFree=67111528/67111528 [pid=5749] ppid=5747 vsize=8704 CPUtime=4.72 cores=0,2 /proc/5749/stat : 5749 (glucose.sh) S 5747 5749 5394 0 -1 4202496 359 59629 0 0 0 0 458 14 18 0 1 0 486542533 8912896 255 33554432000 4194304 4922060 140733998912464 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/5749/statm: 2176 255 211 178 0 69 0 [pid=5773] ppid=5749 vsize=169608 CPUtime=1057.52 cores=0,2 /proc/5773/stat : 5773 (glucose_static) R 5749 5749 5394 0 -1 4202496 337166 0 0 0 105673 79 0 0 25 0 1 0 486543007 173678592 36291 33554432000 4194304 4260849 140733789338928 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/5773/statm: 42402 36291 251 17 0 39043 0 Current children cumulated CPU time (s) 1062.24 Current children cumulated vsize (KiB) 178312 [startup+1122.3 s] /proc/loadavg: 4.01 4.00 3.88 5/194 5803 /proc/meminfo: memFree=17843864/32951124 swapFree=67111528/67111528 [pid=5749] ppid=5747 vsize=8704 CPUtime=4.72 cores=0,2 /proc/5749/stat : 5749 (glucose.sh) S 5747 5749 5394 0 -1 4202496 359 59629 0 0 0 0 458 14 18 0 1 0 486542533 8912896 255 33554432000 4194304 4922060 140733998912464 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/5749/statm: 2176 255 211 178 0 69 0 [pid=5773] ppid=5749 vsize=169608 CPUtime=1117.51 cores=0,2 /proc/5773/stat : 5773 (glucose_static) R 5749 5749 5394 0 -1 4202496 349396 0 0 0 111669 82 0 0 25 0 1 0 486543007 173678592 34901 33554432000 4194304 4260849 140733789338928 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/5773/statm: 42402 34901 251 17 0 39043 0 Current children cumulated CPU time (s) 1122.23 Current children cumulated vsize (KiB) 178312 [startup+1182.3 s] /proc/loadavg: 4.00 4.00 3.88 5/194 5804 /proc/meminfo: memFree=17878304/32951124 swapFree=67111528/67111528 [pid=5749] ppid=5747 vsize=8704 CPUtime=4.72 cores=0,2 /proc/5749/stat : 5749 (glucose.sh) S 5747 5749 5394 0 -1 4202496 359 59629 0 0 0 0 458 14 18 0 1 0 486542533 8912896 255 33554432000 4194304 4922060 140733998912464 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/5749/statm: 2176 255 211 178 0 69 0 [pid=5773] ppid=5749 vsize=169608 CPUtime=1177.52 cores=0,2 /proc/5773/stat : 5773 (glucose_static) R 5749 5749 5394 0 -1 4202496 363514 0 0 0 117665 87 0 0 25 0 1 0 486543007 173678592 35830 33554432000 4194304 4260849 140733789338928 18446744073709551615 4209318 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/5773/statm: 42402 35830 251 17 0 39043 0 Current children cumulated CPU time (s) 1182.24 Current children cumulated vsize (KiB) 178312 [startup+1242.3 s] /proc/loadavg: 4.00 4.00 3.89 5/194 5806 /proc/meminfo: memFree=17765300/32951124 swapFree=67111528/67111528 [pid=5749] ppid=5747 vsize=8704 CPUtime=4.72 cores=0,2 /proc/5749/stat : 5749 (glucose.sh) S 5747 5749 5394 0 -1 4202496 359 59629 0 0 0 0 458 14 18 0 1 0 486542533 8912896 255 33554432000 4194304 4922060 140733998912464 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/5749/statm: 2176 255 211 178 0 69 0 [pid=5773] ppid=5749 vsize=169608 CPUtime=1237.51 cores=0,2 /proc/5773/stat : 5773 (glucose_static) R 5749 5749 5394 0 -1 4202496 379179 0 0 0 123660 91 0 0 25 0 1 0 486543007 173678592 37103 33554432000 4194304 4260849 140733789338928 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/5773/statm: 42402 37103 251 17 0 39043 0 Current children cumulated CPU time (s) 1242.23 Current children cumulated vsize (KiB) 178312 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 4.00 4.00 3.89 4/192 5809 /proc/meminfo: memFree=17940264/32951124 swapFree=67111528/67111528 [pid=5749] ppid=5747 vsize=8704 CPUtime=4.72 cores=0,2 /proc/5749/stat : 5749 (glucose.sh) S 5747 5749 5394 0 -1 4202496 359 59629 0 0 0 0 458 14 18 0 1 0 486542533 8912896 255 33554432000 4194304 4922060 140733998912464 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/5749/statm: 2176 255 211 178 0 69 0 [pid=5773] ppid=5749 vsize=169608 CPUtime=1295.22 cores=0,2 /proc/5773/stat : 5773 (glucose_static) R 5749 5749 5394 0 -1 4202496 397135 0 0 0 129424 98 0 0 25 0 1 0 486543007 173678592 37487 33554432000 4194304 4260849 140733789338928 18446744073709551615 4209536 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/5773/statm: 42402 37487 251 17 0 39043 0 Current children cumulated CPU time (s) 1299.94 Current children cumulated vsize (KiB) 178312 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1300 s] /proc/loadavg: 4.00 4.00 3.89 4/192 5809 /proc/meminfo: memFree=17940264/32951124 swapFree=67111528/67111528 [pid=5749] ppid=5747 vsize=8704 CPUtime=4.72 cores=0,2 /proc/5749/stat : 5749 (glucose.sh) S 5747 5749 5394 0 -1 4202496 359 59629 0 0 0 0 458 14 18 0 1 0 486542533 8912896 255 33554432000 4194304 4922060 140733998912464 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/5749/statm: 2176 255 211 178 0 69 0 [pid=5773] ppid=5749 vsize=169608 CPUtime=1295.22 cores=0,2 /proc/5773/stat : 5773 (glucose_static) R 5749 5749 5394 0 -1 4202496 397135 0 0 0 129424 98 0 0 25 0 1 0 486543007 173678592 37487 33554432000 4194304 4260849 140733789338928 18446744073709551615 4209536 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/5773/statm: 42402 37487 251 17 0 39043 0 Current children cumulated CPU time (s) 1299.94 Current children cumulated vsize (KiB) 178312 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 5749 and gives # childrusage.ru_utime.tv_sec=4 # childrusage.ru_utime.tv_usec=583303 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=147977 # CPU time returned by wait4() is 4.73128 # while last known CPU time is 1299.94 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1300.01 CPU time (s): 1299.94 CPU user time (s): 1298.82 CPU system time (s): 1.12 CPU usage (%): 99.9945 Max. virtual memory (cumulated for all children) (KiB): 209132 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.5833 system time used= 0.147977 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 59988 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= 8 involuntary context switches= 60 runsolver used 2.14467 second user time and 4.95725 second system time The end
Begin job on node130 at 2011-04-25 18:37:20 IDJOB=3280294 IDBENCH=20365 IDSOLVER=1651 FILE ID=node130/3280294-1303749439 RUNJOBID= node130-1303749439-5722 PBS_JOBID= 13154032 Free space on /tmp= 71896 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/total-10-17-u.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3280294-1303749439/watcher-3280294-1303749439 -o /tmp/evaluation-result-3280294-1303749439/solver-3280294-1303749439 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3280294-1303749439.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 9ce7c48a28ddd5790e38607bb893dd38 RANDOM SEED=800618644 node130.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 : 5332.83 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.81 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.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.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.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.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.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.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.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 18398808 kB Buffers: 2097336 kB Cached: 11806052 kB SwapCached: 0 kB Active: 6515304 kB Inactive: 7488556 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 18398808 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 51440 kB Writeback: 0 kB AnonPages: 99056 kB Mapped: 15000 kB Slab: 483224 kB PageTables: 4936 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 252292 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= 71820 MiB End job on node130 at 2011-04-25 18:59:02