| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 1300.03 | 1300.02 |
| Name | SAT05/crafted/sorge05/QG7a/ gensys-ukn009.shuffled-as.sat05-3849.cnf |
| MD5SUM | f2a1eb7937a7cda114ce344a30ca1145 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 824.93 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2969 |
| Number of clauses | 18718 |
| Sum of the clauses size | 134151 |
| Maximum clause length | 13 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 42 |
| Number of clauses of size 2 | 435 |
| Number of clauses of size 3 | 2341 |
| Number of clauses of size 4 | 498 |
| Number of clauses of size 5 | 677 |
| Number of clauses of size over 5 | 14725 |
0.00/0.00 c 0.00/0.00 c Starting SatElite Preprocessing 0.00/0.00 c 0.00/0.00 c Parsing... 0.00/0.01 c ============================================================================== 0.00/0.01 c | | ORIGINAL | LEARNT | | 0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.01 c ============================================================================== 0.00/0.01 c | 0 | 18377 132406 | 5513 0 0 nan | 0.000 % | 0.00/0.04 c | 0 | 16697 121947 | -- 0 -- -- | -- | -436/-5158 0.00/0.04 c ============================================================================== 0.00/0.04 c Result : #vars: 2874 #clauses: 16697 #literals: 121947 0.00/0.04 c CPU time: 0.043993 s 0.00/0.04 c ============================================================================== 0.00/0.06 c 0.00/0.06 c Starting glucose 0.00/0.06 c 0.06/0.59 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 0.06/0.59 c WARNING: for repeatability, setting FPU to use double precision 0.06/0.59 c ============================[ Problem Statistics ]============================= 0.06/0.59 c | | 0.06/0.59 c | Number of variables: 2874 | 0.06/0.59 c | Number of clauses: 16697 | 0.06/0.59 c | Parse time: 0.01 s | 0.06/0.59 c | | 0.06/0.59 c ============================[ Search Statistics ]============================== 0.06/0.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.06/0.59 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 0.06/0.59 c =============================================================================== 0.06/0.59 c | 551 | 2874 16697 121947 | 1 551 22 | 0.000 % | 0.06/0.59 c | 1581 | 2874 16697 121947 | 1 1581 21 | 0.000 % | 0.06/0.59 c | 2170 | 2874 16697 121947 | 1 2170 22 | 0.000 % | 0.06/0.59 c | 3095 | 2874 16697 121947 | 1 3095 22 | 0.000 % | 0.06/0.59 c | 3366 | 2874 16697 121947 | 1 3366 23 | 0.000 % | 0.06/0.59 c | 3772 | 2874 16697 121947 | 1 3772 23 | 0.000 % | 0.06/0.59 c | 5374 | 2874 16697 121947 | 1 3376 19 | 0.000 % | 0.06/0.59 c | 7072 | 2874 16697 121947 | 1 5074 22 | 0.000 % | 0.06/0.59 c | 8086 | 2874 16697 121947 | 1 6088 22 | 0.000 % | 0.06/0.59 c | 8303 | 2874 16697 121947 | 1 6305 23 | 0.000 % | 0.06/0.59 c | 8665 | 2874 16697 121947 | 1 6667 23 | 0.000 % | 0.06/0.59 c | 9153 | 2874 16697 121947 | 1 7155 23 | 0.000 % | 0.06/0.59 c | 9518 | 2874 16697 121947 | 1 7520 23 | 0.000 % | 0.06/0.59 c | 9633 | 2874 16697 121947 | 1 7635 23 | 0.000 % | 0.06/0.59 c | 10497 | 2874 16697 121947 | 1 8499 23 | 0.000 % | 0.06/0.59 c | 10653 | 2874 16697 121947 | 1 4363 15 | 0.000 % | 0.06/0.59 c | 12081 | 2874 16697 121947 | 1 5791 18 | 0.000 % | 0.06/0.59 c | 12461 | 2874 16697 121947 | 1 6171 19 | 0.000 % | 0.06/0.59 c | 13984 | 2874 16697 121947 | 1 7694 20 | 0.000 % | 0.06/0.59 c | 16542 | 2874 16697 121947 | 1 10252 21 | 0.000 % | 0.06/0.59 c | 16661 | 2874 16697 121947 | 1 10371 21 | 0.000 % | 0.06/0.59 c | 17223 | 2874 16697 121947 | 1 10933 21 | 0.000 % | 0.06/0.59 c | 18101 | 2874 16697 121947 | 1 11811 22 | 0.000 % | 0.06/0.59 c | 19214 | 2874 16697 121947 | 1 12924 22 | 0.000 % | 0.06/0.59 c | 20340 | 2874 16697 121947 | 1 7300 15 | 0.000 % | 0.06/0.59 c | 20963 | 2874 16697 121947 | 1 7923 16 | 0.000 % | 0.06/0.59 c | 21409 | 2874 16697 121947 | 1 8369 17 | 0.000 % | 0.06/0.59 c | 21862 | 2874 16697 121947 | 1 8822 17 | 0.000 % | 0.06/0.59 c | 22308 | 2874 16697 121947 | 1 9268 18 | 0.000 % | 0.06/0.59 c | 23112 | 2874 16697 121947 | 1 10072 18 | 0.000 % | 0.06/0.59 c | 23279 | 2874 16697 121947 | 1 10239 18 | 0.000 % | 0.06/0.59 c | 23758 | 2874 16697 121947 | 1 10718 19 | 0.000 % | 0.06/0.59 c | 23864 | 2874 16697 121947 | 1 10824 19 | 0.000 % | 0.06/0.59 c | 24456 | 2874 16697 121947 | 1 11416 19 | 0.000 % | 0.06/0.59 c | 25314 | 2874 16697 121947 | 1 12274 20 | 0.000 % | 0.06/0.59 c | 25569 | 2874 16697 121947 | 1 12529 20 | 0.000 % | 0.06/0.59 c | 26364 | 2874 16697 121947 | 1 13324 20 | 0.000 % | 0.06/0.59 c | 26925 | 2874 16697 121947 | 1 13885 21 | 0.000 % | 0.06/0.59 c | 27515 | 2874 16697 121947 | 1 14475 21 | 0.000 % | 3.18/3.20 c | 27870 | 2874 16697 121947 | 1 14830 21 | 0.000 % | 3.18/3.20 c | 30258 | 2874 16697 121947 | 1 17218 22 | 0.000 % | 3.18/3.20 c | 30682 | 2874 16697 121947 | 1 17642 22 | 0.000 % | 3.18/3.20 c | 30798 | 2874 16697 121947 | 1 17758 22 | 0.000 % | 3.18/3.20 c | 31484 | 2874 16697 121947 | 1 18444 22 | 0.000 % | 3.18/3.20 c | 31946 | 2874 16697 121947 | 1 9627 14 | 0.000 % | 3.18/3.20 c | 32053 | 2874 16697 121947 | 1 9734 14 | 0.000 % | 3.18/3.20 c | 32397 | 2874 16697 121947 | 1 10078 15 | 0.000 % | 3.18/3.20 c | 33201 | 2874 16697 121947 | 1 10882 16 | 0.000 % | 3.18/3.20 c | 33317 | 2874 16697 121947 | 1 10998 16 | 0.000 % | 3.18/3.20 c | 33417 | 2874 16697 121947 | 1 11098 16 | 0.000 % | 3.18/3.20 c | 34198 | 2874 16697 121947 | 1 11879 17 | 0.000 % | 3.18/3.20 c | 35345 | 2874 16697 121947 | 1 13026 18 | 0.000 % | 3.18/3.20 c | 35866 | 2874 16697 121947 | 1 13547 18 | 0.000 % | 3.18/3.20 c | 38326 | 2874 16697 121947 | 1 16007 19 | 0.000 % | 3.18/3.20 c | 39641 | 2874 16697 121947 | 1 17322 20 | 0.000 % | 3.18/3.20 c | 41003 | 2874 16697 121947 | 1 18684 21 | 0.000 % | 3.18/3.20 c | 41127 | 2874 16697 121947 | 1 18808 21 | 0.000 % | 3.18/3.20 c | 42663 | 2874 16697 121947 | 1 20344 21 | 0.000 % | 3.18/3.20 c | 43730 | 2874 16697 121947 | 1 21411 22 | 0.000 % | 3.18/3.20 c | 45855 | 2874 16697 121947 | 1 23536 23 | 0.000 % | 3.18/3.20 c | 47369 | 2874 16697 121947 | 1 13227 16 | 0.000 % | 3.18/3.20 c | 47570 | 2874 16697 121947 | 1 13428 16 | 0.000 % | 3.18/3.20 c | 48294 | 2874 16697 121947 | 1 14152 17 | 0.000 % | 3.18/3.20 c | 50620 | 2874 16697 121947 | 1 16478 18 | 0.000 % | 3.18/3.20 c | 57099 | 2874 16697 121947 | 1 22957 21 | 0.000 % | 3.18/3.20 c | 57493 | 2874 16697 121947 | 1 23351 22 | 0.000 % | 3.18/3.20 c | 58979 | 2874 16697 121947 | 1 24837 22 | 0.000 % | 3.18/3.20 c | 60900 | 2874 16697 121947 | 1 26758 22 | 0.000 % | 3.18/3.20 c | 61259 | 2874 16697 121947 | 1 27117 22 | 0.000 % | 3.18/3.20 c | 66734 | 2874 16697 121947 | 1 18177 18 | 0.000 % | 3.18/3.20 c | 68800 | 2874 16697 121947 | 1 20243 19 | 0.000 % | 3.18/3.20 c | 70489 | 2874 16697 121947 | 1 21932 20 | 0.000 % | 3.18/3.20 c | 70873 | 2874 16697 121947 | 1 22316 20 | 0.000 % | 3.18/3.20 c | 70973 | 2874 16697 121947 | 1 22416 20 | 0.000 % | 3.18/3.20 c | 71497 | 2874 16697 121947 | 1 22940 21 | 0.000 % | 3.18/3.20 c | 71697 | 2874 16697 121947 | 1 23140 21 | 0.000 % | 3.18/3.20 c | 73300 | 2874 16697 121947 | 1 24743 21 | 0.000 % | 3.18/3.20 c | 73558 | 2874 16697 121947 | 1 25001 21 | 0.000 % | 3.18/3.20 c | 73737 | 2874 16697 121947 | 1 25180 21 | 0.000 % | 3.18/3.20 c | 73934 | 2874 16697 121947 | 1 25377 21 | 0.000 % | 3.18/3.20 c | 74433 | 2874 16697 121947 | 1 25876 21 | 0.000 % | 3.18/3.20 c | 87701 | 2874 16697 121947 | 1 22137 20 | 0.000 % | 3.18/3.20 c | 88700 | 2874 16697 121947 | 1 23136 21 | 0.000 % | 3.18/3.20 c | 88940 | 2874 16697 121947 | 1 23376 21 | 0.000 % | 3.18/3.20 c | 92340 | 2874 16697 121947 | 1 26776 22 | 0.000 % | 3.18/3.20 c | 94020 | 2874 16697 121947 | 1 28456 22 | 0.000 % | 3.18/3.20 c | 94839 | 2874 16697 121947 | 1 29275 22 | 0.000 % | 3.18/3.20 c | 95068 | 2874 16697 121947 | 1 29504 22 | 0.000 % | 3.18/3.20 c | 95179 | 2874 16697 121947 | 1 29615 22 | 0.000 % | 7.08/7.15 c | 96139 | 2874 16697 121947 | 1 30575 23 | 0.000 % | 7.08/7.15 c | 102704 | 2874 16697 121947 | 1 37140 24 | 0.000 % | 7.08/7.15 c | 103023 | 2874 16697 121947 | 1 37459 24 | 0.000 % | 7.08/7.15 c | 103745 | 2874 16697 121947 | 1 38181 24 | 0.000 % | 7.08/7.15 c | 104020 | 2874 16697 121947 | 1 38456 24 | 0.000 % | 7.08/7.15 c | 105621 | 2874 16697 121947 | 1 20458 16 | 0.000 % | 7.08/7.15 c | 106102 | 2874 16697 121947 | 1 20939 16 | 0.000 % | 7.08/7.15 c | 106291 | 2874 16697 121947 | 1 21128 16 | 0.000 % | 7.08/7.15 c | 108014 | 2874 16697 121947 | 1 22851 17 | 0.000 % | 7.08/7.15 c | 108630 | 2874 16697 121947 | 1 23467 18 | 0.000 % | 7.08/7.15 c | 109287 | 2874 16697 121947 | 1 24124 18 | 0.000 % | 7.08/7.15 c | 109433 | 2874 16697 121947 | 1 24270 18 | 0.000 % | 7.08/7.15 c | 109535 | 2874 16697 121947 | 1 24372 18 | 0.000 % | 7.08/7.15 c | 109721 | 2874 16697 121947 | 1 24558 18 | 0.000 % | 7.08/7.15 c | 109853 | 2874 16697 121947 | 1 24690 18 | 0.000 % | 7.08/7.15 c | 110222 | 2874 16697 121947 | 1 25059 18 | 0.000 % | 7.08/7.15 c | 115419 | 2874 16697 121947 | 1 30256 21 | 0.000 % | 7.08/7.15 c | 117403 | 2874 16697 121947 | 1 32240 21 | 0.000 % | 7.08/7.15 c | 118889 | 2874 16697 121947 | 1 33726 22 | 0.000 % | 7.08/7.15 c | 119002 | 2874 16697 121947 | 1 33839 22 | 0.000 % | 7.08/7.15 c | 119102 | 2874 16697 121947 | 1 33939 22 | 0.000 % | 7.08/7.15 c | 119203 | 2874 16697 121947 | 1 34040 22 | 0.000 % | 7.08/7.15 c | 119743 | 2874 16697 121947 | 1 34580 22 | 0.000 % | 7.08/7.15 c | 119971 | 2874 16697 121947 | 1 34808 22 | 0.000 % | 7.08/7.15 c | 120454 | 2874 16697 121947 | 1 35291 22 | 0.000 % | 7.08/7.15 c | 120857 | 2874 16697 121947 | 1 35694 22 | 0.000 % | 7.08/7.15 c | 121102 | 2874 16697 121947 | 1 35939 22 | 0.000 % | 7.08/7.15 c | 121348 | 2874 16697 121947 | 1 36185 22 | 0.000 % | 7.08/7.15 c | 121889 | 2874 16697 121947 | 1 36726 22 | 0.000 % | 7.08/7.15 c | 123333 | 2874 16697 121947 | 1 38170 23 | 0.000 % | 7.08/7.15 c | 123546 | 2874 16697 121947 | 1 38383 23 | 0.000 % | 7.08/7.15 c | 125629 | 2874 16697 121947 | 1 40466 23 | 0.000 % | 7.08/7.15 c | 126817 | 2874 16697 121947 | 1 41654 23 | 0.000 % | 7.08/7.15 c | 126917 | 2874 16697 121947 | 1 41754 23 | 0.000 % | 7.08/7.15 c | 127145 | 2874 16697 121947 | 1 41982 23 | 0.000 % | 7.08/7.15 c | 127980 | 2874 16697 121947 | 1 42817 24 | 0.000 % | 7.08/7.15 c | 132538 | 2874 16697 121947 | 1 25175 16 | 0.000 % | 7.08/7.15 c | 142948 | 2874 16697 121947 | 1 35585 21 | 0.000 % | 7.08/7.15 c | 143666 | 2874 16697 121947 | 1 36303 21 | 0.000 % | 7.08/7.15 c | 145757 | 2874 16697 121947 | 1 38394 21 | 0.000 % | 7.08/7.15 c | 146447 | 2874 16697 121947 | 1 39084 21 | 0.000 % | 7.08/7.15 c | 150783 | 2874 16697 121947 | 1 43420 22 | 0.000 % | 7.08/7.15 c | 151376 | 2874 16697 121947 | 1 44013 22 | 0.000 % | 7.08/7.15 c | 151491 | 2874 16697 121947 | 1 44128 22 | 0.000 % | 7.08/7.15 c | 155723 | 2874 16697 121947 | 1 48360 23 | 0.000 % | 7.08/7.15 c | 166384 | 2874 16697 121947 | 1 34221 20 | 0.000 % | 7.08/7.15 c | 166704 | 2874 16697 121947 | 1 34541 20 | 0.000 % | 7.08/7.15 c | 168520 | 2874 16697 121947 | 1 36357 20 | 0.000 % | 7.08/7.15 c | 172710 | 2874 16697 121947 | 1 40547 22 | 0.000 % | 7.08/7.15 c | 174716 | 2874 16697 121947 | 1 42553 22 | 0.000 % | 22.99/23.06 c | 174966 | 2874 16697 121947 | 1 42803 22 | 0.000 % | 22.99/23.06 c | 179256 | 2874 16697 121947 | 1 47093 23 | 0.000 % | 22.99/23.06 c | 179384 | 2874 16697 121947 | 1 47221 23 | 0.000 % | 22.99/23.06 c | 183222 | 2874 16697 121947 | 1 51059 24 | 0.000 % | 22.99/23.06 c | 184632 | 2874 16697 121947 | 1 52469 24 | 0.000 % | 22.99/23.06 c | 184746 | 2874 16697 121947 | 1 52583 24 | 0.000 % | 22.99/23.06 c | 184918 | 2874 16697 121947 | 1 52755 24 | 0.000 % | 22.99/23.06 c | 185029 | 2874 16697 121947 | 1 52866 24 | 0.000 % | 22.99/23.06 c | 185657 | 2874 16697 121947 | 1 53494 24 | 0.000 % | 22.99/23.06 c | 185757 | 2874 16697 121947 | 1 53594 25 | 0.000 % | 22.99/23.06 c | 185859 | 2874 16697 121947 | 1 53696 25 | 0.000 % | 22.99/23.06 c | 186891 | 2874 16697 121947 | 1 54728 25 | 0.000 % | 22.99/23.06 c | 186993 | 2874 16697 121947 | 1 54830 25 | 0.000 % | 22.99/23.06 c | 190829 | 2874 16697 121947 | 1 31247 17 | 0.000 % | 22.99/23.06 c | 195847 | 2874 16697 121947 | 1 36265 20 | 0.000 % | 22.99/23.06 c | 197997 | 2874 16697 121947 | 1 38415 20 | 0.000 % | 22.99/23.06 c | 198178 | 2874 16697 121947 | 1 38596 21 | 0.000 % | 22.99/23.06 c | 198496 | 2874 16697 121947 | 1 38914 21 | 0.000 % | 22.99/23.06 c | 199206 | 2874 16697 121947 | 1 39624 21 | 0.000 % | 22.99/23.06 c | 200277 | 2874 16697 121947 | 1 40695 21 | 0.000 % | 22.99/23.06 c | 205817 | 2874 16697 121947 | 1 46235 23 | 0.000 % | 22.99/23.06 c | 208494 | 2874 16697 121947 | 1 48912 23 | 0.000 % | 22.99/23.06 c | 214043 | 2874 16697 121947 | 1 54461 24 | 0.000 % | 22.99/23.06 c | 214555 | 2874 16697 121947 | 1 54973 24 | 0.000 % | 22.99/23.06 c | 214842 | 2874 16697 121947 | 1 55260 24 | 0.000 % | 22.99/23.06 c | 217384 | 2874 16697 121947 | 1 57802 25 | 0.000 % | 22.99/23.06 c | 217605 | 2874 16697 121947 | 1 58023 25 | 0.000 % | 22.99/23.06 c | 220303 | 2874 16697 121947 | 1 30720 15 | 0.000 % | 22.99/23.06 c | 231848 | 2874 16697 121947 | 1 42265 20 | 0.000 % | 22.99/23.06 c | 233742 | 2874 16697 121947 | 1 44159 20 | 0.000 % | 22.99/23.06 c | 250148 | 2874 16697 121947 | 1 60565 23 | 0.000 % | 22.99/23.06 c | 250919 | 2874 16697 121947 | 1 61336 23 | 0.000 % | 22.99/23.06 c | 252204 | 2874 16697 121947 | 1 62621 23 | 0.000 % | 22.99/23.06 c | 254634 | 2874 16697 121947 | 1 65051 24 | 0.000 % | 22.99/23.06 c | 255268 | 2874 16697 121947 | 1 33080 15 | 0.000 % | 22.99/23.06 c | 270290 | 2874 16697 121947 | 1 48102 20 | 0.000 % | 22.99/23.06 c | 271749 | 2874 16697 121947 | 1 49561 21 | 0.000 % | 22.99/23.06 c | 285179 | 2874 16697 121947 | 1 62991 24 | 0.000 % | 22.99/23.06 c | 286382 | 2874 16697 121947 | 1 64194 24 | 0.000 % | 22.99/23.06 c | 288572 | 2874 16697 121947 | 1 66384 24 | 0.000 % | 22.99/23.06 c | 292562 | 2874 16697 121947 | 1 70374 25 | 0.000 % | 22.99/23.06 c | 292678 | 2874 16697 121947 | 1 35292 15 | 0.000 % | 22.99/23.06 c | 339736 | 2874 16697 121947 | 1 44561 19 | 0.000 % | 22.99/23.06 c | 340335 | 2874 16697 121947 | 1 45160 20 | 0.000 % | 22.99/23.06 c | 340582 | 2874 16697 121947 | 1 45407 20 | 0.000 % | 22.99/23.06 c | 340935 | 2874 16697 121947 | 1 45760 20 | 0.000 % | 22.99/23.06 c | 375918 | 2874 16697 121947 | 1 80743 26 | 0.000 % | 22.99/23.06 c | 377814 | 2874 16697 121947 | 1 42241 17 | 0.000 % | 22.99/23.06 c | 380676 | 2874 16697 121947 | 1 45103 17 | 0.000 % | 22.99/23.06 c | 383494 | 2874 16697 121947 | 1 47921 18 | 0.000 % | 63.59/63.69 c | 386552 | 2874 16697 121947 | 1 50979 19 | 0.000 % | 63.59/63.69 c | 387349 | 2874 16697 121947 | 1 51776 19 | 0.000 % | 63.59/63.69 c | 387704 | 2874 16697 121947 | 1 52131 19 | 0.000 % | 63.59/63.69 c | 390447 | 2874 16697 121947 | 1 54874 20 | 0.000 % | 63.59/63.69 c | 391498 | 2874 16697 121947 | 1 55925 20 | 0.000 % | 63.59/63.69 c | 394158 | 2874 16697 121947 | 1 58585 21 | 0.000 % | 63.59/63.69 c | 394467 | 2874 16697 121947 | 1 58894 21 | 0.000 % | 63.59/63.69 c | 396599 | 2874 16697 121947 | 1 61026 22 | 0.000 % | 63.59/63.69 c | 397403 | 2874 16697 121947 | 1 61830 22 | 0.000 % | 63.59/63.69 c | 400938 | 2874 16697 121947 | 1 65365 23 | 0.000 % | 63.59/63.69 c | 426533 | 2874 16697 121947 | 1 47959 17 | 0.000 % | 63.59/63.69 c | 432572 | 2874 16697 121947 | 1 53998 19 | 0.000 % | 63.59/63.69 c | 433717 | 2874 16697 121947 | 1 55143 20 | 0.000 % | 63.59/63.69 c | 434601 | 2874 16697 121947 | 1 56027 20 | 0.000 % | 63.59/63.69 c | 437511 | 2874 16697 121947 | 1 58937 21 | 0.000 % | 63.59/63.69 c | 442592 | 2874 16697 121947 | 1 64018 22 | 0.000 % | 63.59/63.69 c | 442841 | 2874 16697 121947 | 1 64267 22 | 0.000 % | 63.59/63.69 c | 444582 | 2874 16697 121947 | 1 66008 22 | 0.000 % | 63.59/63.69 c | 451434 | 2874 16697 121947 | 1 72860 24 | 0.000 % | 63.59/63.69 c | 457293 | 2874 16697 121947 | 1 78719 25 | 0.000 % | 63.59/63.69 c | 459574 | 2874 16697 121947 | 1 81000 25 | 0.000 % | 63.59/63.69 c | 459859 | 2874 16697 121947 | 1 81285 25 | 0.000 % | 63.59/63.69 c | 460458 | 2874 16697 121947 | 1 81884 25 | 0.000 % | 63.59/63.69 c | 461174 | 2874 16697 121947 | 1 82600 25 | 0.000 % | 63.59/63.69 c | 523613 | 2874 16697 121947 | 1 51252 18 | 0.000 % | 63.59/63.69 c | 524137 | 2874 16697 121947 | 1 51776 18 | 0.000 % | 63.59/63.69 c | 524240 | 2874 16697 121947 | 1 51879 18 | 0.000 % | 63.59/63.69 c | 527375 | 2874 16697 121947 | 1 55014 19 | 0.000 % | 63.59/63.69 c | 527795 | 2874 16697 121947 | 1 55434 19 | 0.000 % | 63.59/63.69 c | 528350 | 2874 16697 121947 | 1 55989 20 | 0.000 % | 63.59/63.69 c | 528589 | 2874 16697 121947 | 1 56228 20 | 0.000 % | 63.59/63.69 c | 650678 | 2874 16697 121947 | 1 74116 23 | 0.000 % | 63.59/63.69 c | 650778 | 2874 16697 121947 | 1 74216 23 | 0.000 % | 63.59/63.69 c | 655428 | 2874 16697 121947 | 1 78866 23 | 0.000 % | 63.59/63.69 c | 657412 | 2874 16697 121947 | 1 80850 24 | 0.000 % | 63.59/63.69 c | 664612 | 2874 16697 121947 | 1 88050 24 | 0.000 % | 63.59/63.69 c | 667831 | 2874 16697 121947 | 1 91269 25 | 0.000 % | 63.59/63.69 c | 672353 | 2874 16697 121947 | 1 95791 25 | 0.000 % | 63.59/63.69 c | 672454 | 2874 16697 121947 | 1 95892 26 | 0.000 % | 63.59/63.69 c | 677520 | 2874 16697 121947 | 1 100958 26 | 0.000 % | 63.59/63.69 c | 678466 | 2874 16697 121947 | 1 101904 26 | 0.000 % | 63.59/63.69 c | 682165 | 2874 16697 121947 | 1 105603 26 | 0.000 % | 63.59/63.69 c | 695561 | 2874 16697 121947 | 1 62998 17 | 0.000 % | 63.59/63.69 c | 696402 | 2874 16697 121947 | 1 63839 18 | 0.000 % | 63.59/63.69 c | 697553 | 2874 16697 121947 | 1 64990 18 | 0.000 % | 63.59/63.69 c | 707406 | 2874 16697 121947 | 1 74843 20 | 0.000 % | 63.59/63.69 c | 707630 | 2874 16697 121947 | 1 75067 20 | 0.000 % | 63.59/63.69 c | 714593 | 2874 16697 121947 | 1 82030 22 | 0.000 % | 63.59/63.69 c | 714731 | 2874 16697 121947 | 1 82168 22 | 0.000 % | 63.59/63.69 c | 724072 | 2874 16697 121947 | 1 91509 23 | 0.000 % | 266.99/267.03 c | 736074 | 2874 16697 121947 | 1 103511 25 | 0.000 % | 266.99/267.03 c | 736870 | 2874 16697 121947 | 1 104307 25 | 0.000 % | 266.99/267.03 c | 807546 | 2874 16697 121947 | 1 116372 26 | 0.000 % | 266.99/267.03 c | 807647 | 2874 16697 121947 | 1 116473 26 | 0.000 % | 266.99/267.03 c | 807749 | 2874 16697 121947 | 1 116575 26 | 0.000 % | 266.99/267.03 c | 859041 | 2874 16697 121947 | 1 106671 26 | 0.000 % | 266.99/267.03 c | 859141 | 2874 16697 121947 | 1 106771 26 | 0.000 % | 266.99/267.03 c | 911468 | 2874 16697 121947 | 1 95286 22 | 0.000 % | 266.99/267.03 c | 916530 | 2874 16697 121947 | 1 100348 23 | 0.000 % | 266.99/267.03 c | 923133 | 2874 16697 121947 | 1 106951 24 | 0.000 % | 266.99/267.03 c | 923233 | 2874 16697 121947 | 1 107051 24 | 0.000 % | 266.99/267.03 c | 927747 | 2874 16697 121947 | 1 111565 25 | 0.000 % | 266.99/267.03 c | 1157500 | 2874 16697 121947 | 1 134313 24 | 0.000 % | 266.99/267.03 c | 1179449 | 2874 16697 121947 | 1 82071 17 | 0.000 % | 266.99/267.03 c | 1180290 | 2874 16697 121947 | 1 82912 17 | 0.000 % | 266.99/267.03 c | 1181881 | 2874 16697 121947 | 1 84503 18 | 0.000 % | 266.99/267.03 c | 1186094 | 2874 16697 121947 | 1 88716 19 | 0.000 % | 266.99/267.03 c | 1193921 | 2874 16697 121947 | 1 96543 20 | 0.000 % | 266.99/267.03 c | 1194871 | 2874 16697 121947 | 1 97493 20 | 0.000 % | 266.99/267.03 c | 1195154 | 2874 16697 121947 | 1 97776 20 | 0.000 % | 266.99/267.03 c | 1208599 | 2874 16697 121947 | 1 111221 22 | 0.000 % | 266.99/267.03 c | 1289271 | 2874 16697 121947 | 1 115094 23 | 0.000 % | 266.99/267.03 c | 1294645 | 2874 16697 121947 | 1 120468 23 | 0.000 % | 266.99/267.03 c | 1342719 | 2874 16697 121947 | 1 89152 17 | 0.000 % | 266.99/267.03 c | 1383077 | 2874 16697 121947 | 1 129510 23 | 0.000 % | 266.99/267.03 c | 1424423 | 2874 16697 121947 | 1 88854 17 | 0.000 % | 266.99/267.03 c | 1473883 | 2874 16697 121947 | 1 138314 24 | 0.000 % | 266.99/267.03 c | 1552309 | 2874 16697 121947 | 1 132139 22 | 0.000 % | 266.99/267.03 c | 1558429 | 2874 16697 121947 | 1 138259 23 | 0.000 % | 266.99/267.03 c | 1566221 | 2874 16697 121947 | 1 146051 24 | 0.000 % | 266.99/267.03 c | 1566501 | 2874 16697 121947 | 1 146331 24 | 0.000 % | 266.99/267.03 c | 1567440 | 2874 16697 121947 | 1 147270 24 | 0.000 % | 266.99/267.03 c | 1570175 | 2874 16697 121947 | 1 150005 24 | 0.000 % | 266.99/267.03 c | 1571137 | 2874 16697 121947 | 1 150967 24 | 0.000 % | 266.99/267.03 c | 1585205 | 2874 16697 121947 | 1 165035 25 | 0.000 % | 266.99/267.03 c | 1668051 | 2874 16697 121947 | 1 160681 23 | 0.000 % | 266.99/267.03 c | 1703090 | 2874 16697 121947 | 1 105914 18 | 0.000 % | 266.99/267.03 c | 1716770 | 2874 16697 121947 | 1 119594 20 | 0.000 % | 266.99/267.03 c | 1722349 | 2874 16697 121947 | 1 125173 21 | 0.000 % | 266.99/267.03 c | 1727762 | 2874 16697 121947 | 1 130586 21 | 0.000 % | 266.99/267.03 c | 1727867 | 2874 16697 121947 | 1 130691 21 | 0.000 % | 266.99/267.03 c | 1728025 | 2874 16697 121947 | 1 130849 22 | 0.000 % | 266.99/267.03 c | 1747795 | 2874 16697 121947 | 1 150619 23 | 0.000 % | 266.99/267.03 c | 1754531 | 2874 16697 121947 | 1 157355 24 | 0.000 % | 266.99/267.03 c | 1755494 | 2874 16697 121947 | 1 158318 24 | 0.000 % | 266.99/267.03 c | 1757997 | 2874 16697 121947 | 1 160821 24 | 0.000 % | 266.99/267.03 c | 1776793 | 2874 16697 121947 | 1 179617 25 | 0.000 % | 266.99/267.03 c | 1851988 | 2874 16697 121947 | 1 162405 24 | 0.000 % | 266.99/267.03 c | 1863459 | 2874 16697 121947 | 1 173876 25 | 0.000 % | 266.99/267.03 c | 1863560 | 2874 16697 121947 | 1 173977 25 | 0.000 % | 395.79/395.88 c | 1863660 | 2874 16697 121947 | 1 174077 25 | 0.000 % | 395.79/395.88 c | 1864238 | 2874 16697 121947 | 1 174655 25 | 0.000 % | 395.79/395.88 c | 1864357 | 2874 16697 121947 | 1 174774 25 | 0.000 % | 395.79/395.88 c | 1899888 | 2874 16697 121947 | 1 115299 18 | 0.000 % | 395.79/395.88 c | 1930251 | 2874 16697 121947 | 1 145662 22 | 0.000 % | 395.79/395.88 c | 1930352 | 2874 16697 121947 | 1 145763 22 | 0.000 % | 395.79/395.88 c | 1941557 | 2874 16697 121947 | 1 156968 23 | 0.000 % | 395.79/395.88 c | 1942171 | 2874 16697 121947 | 1 157582 23 | 0.000 % | 395.79/395.88 c | 1944171 | 2874 16697 121947 | 1 159582 23 | 0.000 % | 395.79/395.88 c | 1944695 | 2874 16697 121947 | 1 160106 23 | 0.000 % | 395.79/395.88 c | 1945646 | 2874 16697 121947 | 1 161057 23 | 0.000 % | 395.79/395.88 c | 1948654 | 2874 16697 121947 | 1 164065 24 | 0.000 % | 395.79/395.88 c | 1948759 | 2874 16697 121947 | 1 164170 24 | 0.000 % | 395.79/395.88 c | 1949458 | 2874 16697 121947 | 1 164869 24 | 0.000 % | 395.79/395.88 c | 1978943 | 2874 16697 121947 | 1 194354 26 | 0.000 % | 395.79/395.88 c | 2035162 | 2874 16697 121947 | 1 152973 23 | 0.000 % | 395.79/395.88 c | 2067575 | 2874 16697 121947 | 1 185386 25 | 0.000 % | 395.79/395.88 c | 2067711 | 2874 16697 121947 | 1 185522 25 | 0.000 % | 395.79/395.88 c | 2067823 | 2874 16697 121947 | 1 185634 25 | 0.000 % | 395.79/395.88 c | 2113091 | 2874 16697 121947 | 1 130709 20 | 0.000 % | 395.79/395.88 c | 2113191 | 2874 16697 121947 | 1 130809 20 | 0.000 % | 395.79/395.88 c | 2113292 | 2874 16697 121947 | 1 130910 20 | 0.000 % | 395.79/395.88 c | 2136300 | 2874 16697 121947 | 1 153918 22 | 0.000 % | 395.79/395.88 c | 2139622 | 2874 16697 121947 | 1 157240 23 | 0.000 % | 395.79/395.88 c | 2142298 | 2874 16697 121947 | 1 159916 23 | 0.000 % | 395.79/395.88 c | 2142398 | 2874 16697 121947 | 1 160016 23 | 0.000 % | 395.79/395.88 c | 2144667 | 2874 16697 121947 | 1 162285 23 | 0.000 % | 395.79/395.88 c | 2145395 | 2874 16697 121947 | 1 163013 23 | 0.000 % | 395.79/395.88 c | 2146350 | 2874 16697 121947 | 1 163968 23 | 0.000 % | 395.79/395.88 c | 2260116 | 2874 16697 121947 | 1 174933 23 | 0.000 % | 395.79/395.88 c | 2261083 | 2874 16697 121947 | 1 175900 23 | 0.000 % | 395.79/395.88 c | 2303857 | 2874 16697 121947 | 1 113277 16 | 0.000 % | 395.79/395.88 c | 2346631 | 2874 16697 121947 | 1 156051 21 | 0.000 % | 395.79/395.88 c | 2347028 | 2874 16697 121947 | 1 156448 21 | 0.000 % | 395.79/395.88 c | 2347683 | 2874 16697 121947 | 1 157103 21 | 0.000 % | 395.79/395.88 c | 2357123 | 2874 16697 121947 | 1 166543 22 | 0.000 % | 395.79/395.88 c | 2357226 | 2874 16697 121947 | 1 166646 22 | 0.000 % | 395.79/395.88 c | 2358112 | 2874 16697 121947 | 1 167532 22 | 0.000 % | 395.79/395.88 c | 2358223 | 2874 16697 121947 | 1 167643 23 | 0.000 % | 395.79/395.88 c | 2359036 | 2874 16697 121947 | 1 168456 23 | 0.000 % | 395.79/395.88 c | 2359228 | 2874 16697 121947 | 1 168648 23 | 0.000 % | 395.79/395.88 c | 2359329 | 2874 16697 121947 | 1 168749 23 | 0.000 % | 395.79/395.88 c | 2359432 | 2874 16697 121947 | 1 168852 23 | 0.000 % | 395.79/395.88 c | 2359888 | 2874 16697 121947 | 1 169308 23 | 0.000 % | 395.79/395.88 c | 2367203 | 2874 16697 121947 | 1 176623 23 | 0.000 % | 395.79/395.88 c | 2368375 | 2874 16697 121947 | 1 177795 23 | 0.000 % | 395.79/395.88 c | 2379831 | 2874 16697 121947 | 1 189251 24 | 0.000 % | 395.79/395.88 c | 2391587 | 2874 16697 121947 | 1 201007 25 | 0.000 % | 395.79/395.88 c | 2412355 | 2874 16697 121947 | 1 113772 16 | 0.000 % | 527.10/527.14 c | 2413099 | 2874 16697 121947 | 1 114516 16 | 0.000 % | 527.10/527.14 c | 2423328 | 2874 16697 121947 | 1 124745 18 | 0.000 % | 527.10/527.14 c | 2423430 | 2874 16697 121947 | 1 124847 18 | 0.000 % | 527.10/527.14 c | 2423531 | 2874 16697 121947 | 1 124948 18 | 0.000 % | 527.10/527.14 c | 2424351 | 2874 16697 121947 | 1 125768 18 | 0.000 % | 527.10/527.14 c | 2425586 | 2874 16697 121947 | 1 127003 18 | 0.000 % | 527.10/527.14 c | 2426755 | 2874 16697 121947 | 1 128172 18 | 0.000 % | 527.10/527.14 c | 2426906 | 2874 16697 121947 | 1 128323 18 | 0.000 % | 527.10/527.14 c | 2427068 | 2874 16697 121947 | 1 128485 18 | 0.000 % | 527.10/527.14 c | 2481612 | 2874 16697 121947 | 1 183029 24 | 0.000 % | 527.10/527.14 c | 2483755 | 2874 16697 121947 | 1 185172 24 | 0.000 % | 527.10/527.14 c | 2483855 | 2874 16697 121947 | 1 185272 24 | 0.000 % | 527.10/527.14 c | 2486356 | 2874 16697 121947 | 1 187773 24 | 0.000 % | 527.10/527.14 c | 2486456 | 2874 16697 121947 | 1 187873 24 | 0.000 % | 527.10/527.14 c | 2486617 | 2874 16697 121947 | 1 188034 24 | 0.000 % | 527.10/527.14 c | 2487042 | 2874 16697 121947 | 1 188459 24 | 0.000 % | 527.10/527.14 c | 2516897 | 2874 16697 121947 | 1 218314 26 | 0.000 % | 527.10/527.14 c | 2524429 | 2874 16697 121947 | 1 115241 15 | 0.000 % | 527.10/527.14 c | 2525069 | 2874 16697 121947 | 1 115881 15 | 0.000 % | 527.10/527.14 c | 2526057 | 2874 16697 121947 | 1 116869 16 | 0.000 % | 527.10/527.14 c | 2528584 | 2874 16697 121947 | 1 119396 16 | 0.000 % | 527.10/527.14 c | 2529563 | 2874 16697 121947 | 1 120375 16 | 0.000 % | 527.10/527.14 c | 2530445 | 2874 16697 121947 | 1 121257 17 | 0.000 % | 527.10/527.14 c | 2530549 | 2874 16697 121947 | 1 121361 17 | 0.000 % | 527.10/527.14 c | 2640774 | 2874 16697 121947 | 1 118391 15 | 0.000 % | 527.10/527.14 c | 2651257 | 2874 16697 121947 | 1 128874 17 | 0.000 % | 527.10/527.14 c | 2652028 | 2874 16697 121947 | 1 129645 17 | 0.000 % | 527.10/527.14 c | 2652128 | 2874 16697 121947 | 1 129745 17 | 0.000 % | 527.10/527.14 c | 2652427 | 2874 16697 121947 | 1 130044 17 | 0.000 % | 527.10/527.14 c | 2658600 | 2874 16697 121947 | 1 136217 18 | 0.000 % | 527.10/527.14 c | 2670344 | 2874 16697 121947 | 1 147961 20 | 0.000 % | 527.10/527.14 c | 2679414 | 2874 16697 121947 | 1 157031 21 | 0.000 % | 527.10/527.14 c | 2679614 | 2874 16697 121947 | 1 157231 21 | 0.000 % | 527.10/527.14 c | 2679714 | 2874 16697 121947 | 1 157331 21 | 0.000 % | 527.10/527.14 c | 2680029 | 2874 16697 121947 | 1 157646 21 | 0.000 % | 527.10/527.14 c | 2680530 | 2874 16697 121947 | 1 158147 21 | 0.000 % | 527.10/527.14 c | 2682126 | 2874 16697 121947 | 1 159743 21 | 0.000 % | 527.10/527.14 c | 2682226 | 2874 16697 121947 | 1 159843 21 | 0.000 % | 527.10/527.14 c | 2683352 | 2874 16697 121947 | 1 160969 21 | 0.000 % | 527.10/527.14 c | 2809639 | 2874 16697 121947 | 1 171460 22 | 0.000 % | 527.10/527.14 c | 2828123 | 2874 16697 121947 | 1 189944 24 | 0.000 % | 527.10/527.14 c | 2830082 | 2874 16697 121947 | 1 191903 24 | 0.000 % | 527.10/527.14 c | 2831394 | 2874 16697 121947 | 1 193215 24 | 0.000 % | 527.10/527.14 c | 2831496 | 2874 16697 121947 | 1 193317 24 | 0.000 % | 527.10/527.14 c | 2844144 | 2874 16697 121947 | 1 205965 25 | 0.000 % | 527.10/527.14 c | 2844325 | 2874 16697 121947 | 1 206146 25 | 0.000 % | 527.10/527.14 c | 2850196 | 2874 16697 121947 | 1 212017 25 | 0.000 % | 527.10/527.14 c | 2850298 | 2874 16697 121947 | 1 212119 25 | 0.000 % | 527.10/527.14 c | 2851517 | 2874 16697 121947 | 1 213338 25 | 0.000 % | 527.10/527.14 c | 2865120 | 2874 16697 121947 | 1 226941 26 | 0.000 % | 738.11/738.15 c | 2865359 | 2874 16697 121947 | 1 227180 26 | 0.000 % | 738.11/738.15 c | 2932066 | 2874 16697 121947 | 1 175482 22 | 0.000 % | 738.11/738.15 c | 2940083 | 2874 16697 121947 | 1 183499 22 | 0.000 % | 738.11/738.15 c | 2940185 | 2874 16697 121947 | 1 183601 22 | 0.000 % | 738.11/738.15 c | 2949879 | 2874 16697 121947 | 1 193295 23 | 0.000 % | 738.11/738.15 c | 2955139 | 2874 16697 121947 | 1 198555 24 | 0.000 % | 738.11/738.15 c | 2955666 | 2874 16697 121947 | 1 199082 24 | 0.000 % | 738.11/738.15 c | 3004011 | 2874 16697 121947 | 1 126431 15 | 0.000 % | 738.11/738.15 c | 3005059 | 2874 16697 121947 | 1 127479 15 | 0.000 % | 738.11/738.15 c | 3005160 | 2874 16697 121947 | 1 127580 15 | 0.000 % | 738.11/738.15 c | 3077559 | 2874 16697 121947 | 1 199979 23 | 0.000 % | 738.11/738.15 c | 3081168 | 2874 16697 121947 | 1 203588 23 | 0.000 % | 738.11/738.15 c | 3118523 | 2874 16697 121947 | 1 240943 25 | 0.000 % | 738.11/738.15 c | 3131149 | 2874 16697 121947 | 1 129969 15 | 0.000 % | 738.11/738.15 c | 3163120 | 2874 16697 121947 | 1 161940 20 | 0.000 % | 738.11/738.15 c | 3170581 | 2874 16697 121947 | 1 169401 21 | 0.000 % | 738.11/738.15 c | 3170682 | 2874 16697 121947 | 1 169502 21 | 0.000 % | 738.11/738.15 c | 3176353 | 2874 16697 121947 | 1 175173 21 | 0.000 % | 738.11/738.15 c | 3177225 | 2874 16697 121947 | 1 176045 21 | 0.000 % | 738.11/738.15 c | 3177327 | 2874 16697 121947 | 1 176147 21 | 0.000 % | 738.11/738.15 c | 3178483 | 2874 16697 121947 | 1 177303 21 | 0.000 % | 738.11/738.15 c | 3178599 | 2874 16697 121947 | 1 177419 21 | 0.000 % | 738.11/738.15 c | 3178858 | 2874 16697 121947 | 1 177678 22 | 0.000 % | 738.11/738.15 c | 3179327 | 2874 16697 121947 | 1 178147 22 | 0.000 % | 738.11/738.15 c | 3186086 | 2874 16697 121947 | 1 184906 22 | 0.000 % | 738.11/738.15 c | 3186615 | 2874 16697 121947 | 1 185435 22 | 0.000 % | 738.11/738.15 c | 3194080 | 2874 16697 121947 | 1 192900 23 | 0.000 % | 738.11/738.15 c | 3202975 | 2874 16697 121947 | 1 201795 24 | 0.000 % | 738.11/738.15 c | 3203077 | 2874 16697 121947 | 1 201897 24 | 0.000 % | 738.11/738.15 c | 3204141 | 2874 16697 121947 | 1 202961 24 | 0.000 % | 738.11/738.15 c | 3204285 | 2874 16697 121947 | 1 203105 24 | 0.000 % | 738.11/738.15 c | 3204386 | 2874 16697 121947 | 1 203206 24 | 0.000 % | 738.11/738.15 c | 3373874 | 2874 16697 121947 | 1 246487 24 | 0.000 % | 738.11/738.15 c | 3377320 | 2874 16697 121947 | 1 249933 25 | 0.000 % | 738.11/738.15 c | 3381066 | 2874 16697 121947 | 1 253679 25 | 0.000 % | 738.11/738.15 c | 3392711 | 2874 16697 121947 | 1 136527 15 | 0.000 % | 738.11/738.15 c | 3392812 | 2874 16697 121947 | 1 136628 15 | 0.000 % | 738.11/738.15 c | 3407977 | 2874 16697 121947 | 1 151793 17 | 0.000 % | 738.11/738.15 c | 3408389 | 2874 16697 121947 | 1 152205 17 | 0.000 % | 738.11/738.15 c | 3413461 | 2874 16697 121947 | 1 157277 18 | 0.000 % | 738.11/738.15 c | 3413794 | 2874 16697 121947 | 1 157610 18 | 0.000 % | 738.11/738.15 c | 3419326 | 2874 16697 121947 | 1 163142 19 | 0.000 % | 738.11/738.15 c | 3487138 | 2874 16697 121947 | 1 230954 23 | 0.000 % | 738.11/738.15 c | 3490597 | 2874 16697 121947 | 1 234413 24 | 0.000 % | 738.11/738.15 c | 3493022 | 2874 16697 121947 | 1 236838 24 | 0.000 % | 738.11/738.15 c | 3526538 | 2874 16697 121947 | 1 138955 15 | 0.000 % | 738.11/738.15 c | 3529789 | 2874 16697 121947 | 1 142206 16 | 0.000 % | 738.11/738.15 c | 3529889 | 2874 16697 121947 | 1 142306 16 | 0.000 % | 738.11/738.15 c | 3530532 | 2874 16697 121947 | 1 142949 16 | 0.000 % | 738.11/738.15 c | 3531450 | 2874 16697 121947 | 1 143867 16 | 0.000 % | 922.51/922.56 c | 3596715 | 2874 16697 121947 | 1 209132 23 | 0.000 % | 922.51/922.56 c | 3640791 | 2874 16697 121947 | 1 253208 25 | 0.000 % | 922.51/922.56 c | 3648469 | 2874 16697 121947 | 1 260886 25 | 0.000 % | 922.51/922.56 c | 3651191 | 2874 16697 121947 | 1 263608 25 | 0.000 % | 922.51/922.56 c | 3651822 | 2874 16697 121947 | 1 264239 25 | 0.000 % | 922.51/922.56 c | 3652312 | 2874 16697 121947 | 1 264729 25 | 0.000 % | 922.51/922.56 c | 3652414 | 2874 16697 121947 | 1 264831 25 | 0.000 % | 922.51/922.56 c | 3658073 | 2874 16697 121947 | 1 136495 14 | 0.000 % | 922.51/922.56 c | 3683950 | 2874 16697 121947 | 1 162372 18 | 0.000 % | 922.51/922.56 c | 3684703 | 2874 16697 121947 | 1 163125 18 | 0.000 % | 922.51/922.56 c | 3688720 | 2874 16697 121947 | 1 167142 19 | 0.000 % | 922.51/922.56 c | 3718633 | 2874 16697 121947 | 1 197055 22 | 0.000 % | 922.51/922.56 c | 3722058 | 2874 16697 121947 | 1 200480 22 | 0.000 % | 922.51/922.56 c | 3723996 | 2874 16697 121947 | 1 202418 22 | 0.000 % | 922.51/922.56 c | 3728959 | 2874 16697 121947 | 1 207381 23 | 0.000 % | 922.51/922.56 c | 3731560 | 2874 16697 121947 | 1 209982 23 | 0.000 % | 922.51/922.56 c | 3732458 | 2874 16697 121947 | 1 210880 23 | 0.000 % | 922.51/922.56 c | 3751460 | 2874 16697 121947 | 1 229882 24 | 0.000 % | 922.51/922.56 c | 3763254 | 2874 16697 121947 | 1 241676 25 | 0.000 % | 922.51/922.56 c | 3763773 | 2874 16697 121947 | 1 242195 25 | 0.000 % | 922.51/922.56 c | 3777675 | 2874 16697 121947 | 1 256097 25 | 0.000 % | 922.51/922.56 c | 3828914 | 2874 16697 121947 | 1 170737 18 | 0.000 % | 922.51/922.56 c | 3840949 | 2874 16697 121947 | 1 182772 20 | 0.000 % | 922.51/922.56 c | 3891703 | 2874 16697 121947 | 1 233526 23 | 0.000 % | 922.51/922.56 c | 3893174 | 2874 16697 121947 | 1 234997 24 | 0.000 % | 922.51/922.56 c | 3893347 | 2874 16697 121947 | 1 235170 24 | 0.000 % | 922.51/922.56 c | 3893537 | 2874 16697 121947 | 1 235360 24 | 0.000 % | 922.51/922.56 c | 3897719 | 2874 16697 121947 | 1 239542 24 | 0.000 % | 922.51/922.56 c | 3949317 | 2874 16697 121947 | 1 151942 16 | 0.000 % | 922.51/922.56 c | 3949498 | 2874 16697 121947 | 1 152123 16 | 0.000 % | 922.51/922.56 c | 3949598 | 2874 16697 121947 | 1 152223 16 | 0.000 % | 922.51/922.56 c | 3957853 | 2874 16697 121947 | 1 160478 17 | 0.000 % | 922.51/922.56 c | 3974176 | 2874 16697 121947 | 1 176801 19 | 0.000 % | 922.51/922.56 c | 3974750 | 2874 16697 121947 | 1 177375 19 | 0.000 % | 922.51/922.56 c | 3975299 | 2874 16697 121947 | 1 177924 19 | 0.000 % | 922.51/922.56 c | 3976273 | 2874 16697 121947 | 1 178898 19 | 0.000 % | 922.51/922.56 c | 3976373 | 2874 16697 121947 | 1 178998 19 | 0.000 % | 922.51/922.56 c | 3976563 | 2874 16697 121947 | 1 179188 19 | 0.000 % | 922.51/922.56 c | 3977172 | 2874 16697 121947 | 1 179797 19 | 0.000 % | 922.51/922.56 c | 3988043 | 2874 16697 121947 | 1 190668 21 | 0.000 % | 922.51/922.56 c | 3988252 | 2874 16697 121947 | 1 190877 21 | 0.000 % | 922.51/922.56 c | 3997715 | 2874 16697 121947 | 1 200340 21 | 0.000 % | 922.51/922.56 c | 4055179 | 2874 16697 121947 | 1 257804 25 | 0.000 % | 922.51/922.56 c | 4055905 | 2874 16697 121947 | 1 258530 25 | 0.000 % | 922.51/922.56 c | 4057543 | 2874 16697 121947 | 1 260168 25 | 0.000 % | 922.51/922.56 c | 4057643 | 2874 16697 121947 | 1 260268 25 | 0.000 % | 922.51/922.56 c | 4070700 | 2874 16697 121947 | 1 273325 26 | 0.000 % | 922.51/922.56 c | 4070800 | 2874 16697 121947 | 1 273425 26 | 0.000 % | 922.51/922.56 c | 4071179 | 2874 16697 121947 | 1 273804 26 | 0.000 % | 922.51/922.56 c | 4072982 | 2874 16697 121947 | 1 275607 26 | 0.000 % | 1185.32/1185.37 c | 4073089 | 2874 16697 121947 | 1 275714 26 | 0.000 % | 1185.32/1185.37 c | 4138038 | 2874 16697 121947 | 1 198862 20 | 0.000 % | 1185.32/1185.37 c | 4138139 | 2874 16697 121947 | 1 198963 20 | 0.000 % | 1185.32/1185.37 c | 4139651 | 2874 16697 121947 | 1 200475 20 | 0.000 % | 1185.32/1185.37 c | 4162009 | 2874 16697 121947 | 1 222833 22 | 0.000 % | 1185.32/1185.37 c | 4162154 | 2874 16697 121947 | 1 222978 22 | 0.000 % | 1185.32/1185.37 c | 4235808 | 2874 16697 121947 | 1 152231 15 | 0.000 % | 1185.32/1185.37 c | 4252543 | 2874 16697 121947 | 1 168966 17 | 0.000 % | 1185.32/1185.37 c | 4253064 | 2874 16697 121947 | 1 169487 17 | 0.000 % | 1185.32/1185.37 c | 4253669 | 2874 16697 121947 | 1 170092 17 | 0.000 % | 1185.32/1185.37 c | 4260192 | 2874 16697 121947 | 1 176615 18 | 0.000 % | 1185.32/1185.37 c | 4327097 | 2874 16697 121947 | 1 243520 23 | 0.000 % | 1185.32/1185.37 c | 4334449 | 2874 16697 121947 | 1 250872 23 | 0.000 % | 1185.32/1185.37 c | 4357310 | 2874 16697 121947 | 1 273733 24 | 0.000 % | 1185.32/1185.37 c | 4361465 | 2874 16697 121947 | 1 277888 25 | 0.000 % | 1185.32/1185.37 c | 4361566 | 2874 16697 121947 | 1 277989 25 | 0.000 % | 1185.32/1185.37 c | 4361667 | 2874 16697 121947 | 1 278090 25 | 0.000 % | 1185.32/1185.37 c | 4396586 | 2874 16697 121947 | 1 166002 16 | 0.000 % | 1185.32/1185.37 c | 4397115 | 2874 16697 121947 | 1 166531 17 | 0.000 % | 1185.32/1185.37 c | 4405306 | 2874 16697 121947 | 1 174722 17 | 0.000 % | 1185.32/1185.37 c | 4423834 | 2874 16697 121947 | 1 193250 19 | 0.000 % | 1185.32/1185.37 c | 4441403 | 2874 16697 121947 | 1 210819 21 | 0.000 % | 1185.32/1185.37 c | 4441506 | 2874 16697 121947 | 1 210922 21 | 0.000 % | 1185.32/1185.37 c | 4449792 | 2874 16697 121947 | 1 219208 22 | 0.000 % | 1185.32/1185.37 c | 4456335 | 2874 16697 121947 | 1 225751 22 | 0.000 % | 1185.32/1185.37 c | 4517270 | 2874 16697 121947 | 1 286686 25 | 0.000 % | 1185.32/1185.37 c | 4530569 | 2874 16697 121947 | 1 150385 14 | 0.000 % | 1185.32/1185.37 c | 4543920 | 2874 16697 121947 | 1 163736 16 | 0.000 % | 1185.32/1185.37 c | 4573433 | 2874 16697 121947 | 1 193249 19 | 0.000 % | 1185.32/1185.37 c | 4579784 | 2874 16697 121947 | 1 199600 20 | 0.000 % | 1185.32/1185.37 c | 4584241 | 2874 16697 121947 | 1 204057 20 | 0.000 % | 1185.32/1185.37 c | 4590397 | 2874 16697 121947 | 1 210213 21 | 0.000 % | 1185.32/1185.37 c | 4590497 | 2874 16697 121947 | 1 210313 21 | 0.000 % | 1185.32/1185.37 c | 4640147 | 2874 16697 121947 | 1 259963 23 | 0.000 % | 1185.32/1185.37 c | 4640502 | 2874 16697 121947 | 1 260318 23 | 0.000 % | 1185.32/1185.37 c | 4641970 | 2874 16697 121947 | 1 261786 23 | 0.000 % | 1185.32/1185.37 c | 4642127 | 2874 16697 121947 | 1 261943 23 | 0.000 % | 1185.32/1185.37 c | 4682887 | 2874 16697 121947 | 1 302703 26 | 0.000 % | 1185.32/1185.37 c | 4707406 | 2874 16697 121947 | 1 175022 17 | 0.000 % | 1185.32/1185.37 c | 4754685 | 2874 16697 121947 | 1 222301 21 | 0.000 % | 1185.32/1185.37 c | 4754786 | 2874 16697 121947 | 1 222402 21 | 0.000 % | 1185.32/1185.37 c | 4754887 | 2874 16697 121947 | 1 222503 21 | 0.000 % | 1185.32/1185.37 c | 4755248 | 2874 16697 121947 | 1 222864 21 | 0.000 % | 1185.32/1185.37 c | 4755349 | 2874 16697 121947 | 1 222965 21 | 0.000 % | 1185.32/1185.37 c | 4756434 | 2874 16697 121947 | 1 224050 21 | 0.000 % | 1185.32/1185.37 c | 4756534 | 2874 16697 121947 | 1 224150 21 | 0.000 % | 1185.32/1185.37 c | 4756635 | 2874 16697 121947 | 1 224251 21 | 0.000 % | 1185.32/1185.37 c | 4756863 | 2874 16697 121947 | 1 224479 21 | 0.000 % | 1185.32/1185.37 c | 4757475 | 2874 16697 121947 | 1 225091 22 | 0.000 % | 1185.32/1185.37 c | 4767401 | 2874 16697 121947 | 1 235017
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-3265652-1303562489/watcher-3265652-1303562489 -o /tmp/evaluation-result-3265652-1303562489/solver-3265652-1303562489 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3265652-1303562489.cnf running on 2 cores: 1,3 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.39 3.87 4.16 2/180 14774 /proc/meminfo: memFree=13961564/32950928 swapFree=67111528/67111528 [pid=14774] ppid=14772 vsize=8704 CPUtime=0 cores=1,3 /proc/14774/stat : 14774 (glucose.sh) S 14772 14774 14396 0 -1 4202496 335 0 0 0 0 0 0 0 22 0 1 0 546479588 8912896 253 33554432000 4194304 4922060 140736536163296 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14774/statm: 2176 253 211 178 0 69 0 [startup+0.11208 s] /proc/loadavg: 3.39 3.87 4.16 2/180 14774 /proc/meminfo: memFree=13961564/32950928 swapFree=67111528/67111528 [pid=14774] ppid=14772 vsize=8704 CPUtime=0.06 cores=1,3 /proc/14774/stat : 14774 (glucose.sh) S 14772 14774 14396 0 -1 4202496 360 767 0 0 0 0 6 0 22 0 1 0 546479588 8912896 255 33554432000 4194304 4922060 140736536163296 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14774/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 8704 [startup+0.201029 s] /proc/loadavg: 3.39 3.87 4.16 2/180 14774 /proc/meminfo: memFree=13961564/32950928 swapFree=67111528/67111528 [pid=14774] ppid=14772 vsize=8704 CPUtime=0.06 cores=1,3 /proc/14774/stat : 14774 (glucose.sh) S 14772 14774 14396 0 -1 4202496 360 767 0 0 0 0 6 0 22 0 1 0 546479588 8912896 255 33554432000 4194304 4922060 140736536163296 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14774/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 8704 [startup+0.301004 s] /proc/loadavg: 3.39 3.87 4.16 2/180 14774 /proc/meminfo: memFree=13961564/32950928 swapFree=67111528/67111528 [pid=14774] ppid=14772 vsize=8704 CPUtime=0.06 cores=1,3 /proc/14774/stat : 14774 (glucose.sh) S 14772 14774 14396 0 -1 4202496 360 767 0 0 0 0 6 0 22 0 1 0 546479588 8912896 255 33554432000 4194304 4922060 140736536163296 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14774/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 8704 [startup+0.700935 s] /proc/loadavg: 3.39 3.87 4.16 2/180 14774 /proc/meminfo: memFree=13961564/32950928 swapFree=67111528/67111528 [pid=14774] ppid=14772 vsize=8704 CPUtime=0.06 cores=1,3 /proc/14774/stat : 14774 (glucose.sh) S 14772 14774 14396 0 -1 4202496 360 767 0 0 0 0 6 0 22 0 1 0 546479588 8912896 255 33554432000 4194304 4922060 140736536163296 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14774/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 8704 [startup+1.50079 s] /proc/loadavg: 3.39 3.87 4.16 5/194 14832 /proc/meminfo: memFree=13927520/32950928 swapFree=67111528/67111528 [pid=14774] ppid=14772 vsize=8704 CPUtime=0.06 cores=1,3 /proc/14774/stat : 14774 (glucose.sh) S 14772 14774 14396 0 -1 4202496 360 767 0 0 0 0 6 0 22 0 1 0 546479588 8912896 255 33554432000 4194304 4922060 140736536163296 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14774/statm: 2176 255 211 178 0 69 0 [pid=14782] ppid=14774 vsize=24172 CPUtime=1.42 cores=1,3 /proc/14782/stat : 14782 (glucose_static) R 14774 14774 14396 0 -1 4202496 3602 0 0 0 142 0 0 0 20 0 1 0 546479595 24752128 2788 33554432000 4194304 4260849 140734422484720 18446744073709551615 4225384 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14782/statm: 6043 2788 251 17 0 2684 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 32876 [startup+3.10048 s] /proc/loadavg: 3.39 3.87 4.16 5/194 14833 /proc/meminfo: memFree=13914872/32950928 swapFree=67111528/67111528 [pid=14774] ppid=14772 vsize=8704 CPUtime=0.06 cores=1,3 /proc/14774/stat : 14774 (glucose.sh) S 14772 14774 14396 0 -1 4202496 360 767 0 0 0 0 6 0 22 0 1 0 546479588 8912896 255 33554432000 4194304 4922060 140736536163296 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14774/statm: 2176 255 211 178 0 69 0 [pid=14782] ppid=14774 vsize=25204 CPUtime=3.02 cores=1,3 /proc/14782/stat : 14782 (glucose_static) R 14774 14774 14396 0 -1 4202496 3866 0 0 0 302 0 0 0 25 0 1 0 546479595 25808896 3046 33554432000 4194304 4260849 140734422484720 18446744073709551615 4225121 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14782/statm: 6301 3046 251 17 0 2942 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 33908 [startup+6.30089 s] /proc/loadavg: 3.44 3.87 4.16 5/194 14833 /proc/meminfo: memFree=13892584/32950928 swapFree=67111528/67111528 [pid=14774] ppid=14772 vsize=8704 CPUtime=0.06 cores=1,3 /proc/14774/stat : 14774 (glucose.sh) S 14772 14774 14396 0 -1 4202496 360 767 0 0 0 0 6 0 22 0 1 0 546479588 8912896 255 33554432000 4194304 4922060 140736536163296 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14774/statm: 2176 255 211 178 0 69 0 [pid=14782] ppid=14774 vsize=34164 CPUtime=6.22 cores=1,3 /proc/14782/stat : 14782 (glucose_static) R 14774 14774 14396 0 -1 4202496 5896 0 0 0 622 0 0 0 25 0 1 0 546479595 34983936 3855 33554432000 4194304 4260849 140734422484720 18446744073709551615 4247463 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14782/statm: 8541 3855 251 17 0 5182 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 42868 [startup+12.7007 s] /proc/loadavg: 3.48 3.88 4.16 5/194 14833 /proc/meminfo: memFree=13881868/32950928 swapFree=67111528/67111528 [pid=14774] ppid=14772 vsize=8704 CPUtime=0.06 cores=1,3 /proc/14774/stat : 14774 (glucose.sh) S 14772 14774 14396 0 -1 4202496 360 767 0 0 0 0 6 0 22 0 1 0 546479588 8912896 255 33554432000 4194304 4922060 140736536163296 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14774/statm: 2176 255 211 178 0 69 0 [pid=14782] ppid=14774 vsize=38588 CPUtime=12.63 cores=1,3 /proc/14782/stat : 14782 (glucose_static) R 14774 14774 14396 0 -1 4202496 9736 0 0 0 1261 2 0 0 25 0 1 0 546479595 39514112 5251 33554432000 4194304 4260849 140734422484720 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14782/statm: 9647 5251 251 17 0 6288 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 47292 [startup+25.5003 s] /proc/loadavg: 3.60 3.88 4.16 5/194 14834 /proc/meminfo: memFree=13858696/32950928 swapFree=67111528/67111528 [pid=14774] ppid=14772 vsize=8704 CPUtime=0.06 cores=1,3 /proc/14774/stat : 14774 (glucose.sh) S 14772 14774 14396 0 -1 4202496 360 767 0 0 0 0 6 0 22 0 1 0 546479588 8912896 255 33554432000 4194304 4922060 140736536163296 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14774/statm: 2176 255 211 178 0 69 0 [pid=14782] ppid=14774 vsize=38588 CPUtime=25.43 cores=1,3 /proc/14782/stat : 14782 (glucose_static) R 14774 14774 14396 0 -1 4202496 10506 0 0 0 2541 2 0 0 25 0 1 0 546479595 39514112 6002 33554432000 4194304 4260849 140734422484720 18446744073709551615 4225129 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14782/statm: 9647 6002 251 17 0 6288 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 47292 [startup+51.1006 s] /proc/loadavg: 3.73 3.89 4.15 5/194 14835 /proc/meminfo: memFree=13810780/32950928 swapFree=67111528/67111528 [pid=14774] ppid=14772 vsize=8704 CPUtime=0.06 cores=1,3 /proc/14774/stat : 14774 (glucose.sh) S 14772 14774 14396 0 -1 4202496 360 767 0 0 0 0 6 0 22 0 1 0 546479588 8912896 255 33554432000 4194304 4922060 140736536163296 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14774/statm: 2176 255 211 178 0 69 0 [pid=14782] ppid=14774 vsize=66152 CPUtime=51.02 cores=1,3 /proc/14782/stat : 14782 (glucose_static) R 14774 14774 14396 0 -1 4202496 16637 0 0 0 5099 3 0 0 25 0 1 0 546479595 67739648 9007 33554432000 4194304 4260849 140734422484720 18446744073709551615 4225082 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14782/statm: 16538 9007 251 17 0 13179 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 74856 [startup+102.301 s] /proc/loadavg: 3.88 3.90 4.14 5/194 14836 /proc/meminfo: memFree=13774552/32950928 swapFree=67111528/67111528 [pid=14774] ppid=14772 vsize=8704 CPUtime=0.06 cores=1,3 /proc/14774/stat : 14774 (glucose.sh) S 14772 14774 14396 0 -1 4202496 360 767 0 0 0 0 6 0 22 0 1 0 546479588 8912896 255 33554432000 4194304 4922060 140736536163296 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14774/statm: 2176 255 211 178 0 69 0 [pid=14782] ppid=14774 vsize=66152 CPUtime=102.24 cores=1,3 /proc/14782/stat : 14782 (glucose_static) R 14774 14774 14396 0 -1 4202496 20385 0 0 0 10219 5 0 0 25 0 1 0 546479595 67739648 12629 33554432000 4194304 4260849 140734422484720 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14782/statm: 16538 12629 251 17 0 13179 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 74856 [startup+162.301 s] /proc/loadavg: 4.03 3.94 4.14 5/194 14837 /proc/meminfo: memFree=13747500/32950928 swapFree=67111528/67111528 [pid=14774] ppid=14772 vsize=8704 CPUtime=0.06 cores=1,3 /proc/14774/stat : 14774 (glucose.sh) S 14772 14774 14396 0 -1 4202496 360 767 0 0 0 0 6 0 22 0 1 0 546479588 8912896 255 33554432000 4194304 4922060 140736536163296 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14774/statm: 2176 255 211 178 0 69 0 [pid=14782] ppid=14774 vsize=66152 CPUtime=162.23 cores=1,3 /proc/14782/stat : 14782 (glucose_static) R 14774 14774 14396 0 -1 4202496 21020 0 0 0 16218 5 0 0 25 0 1 0 546479595 67739648 13244 33554432000 4194304 4260849 140734422484720 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14782/statm: 16538 13244 251 17 0 13179 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 74856 [startup+222.307 s] /proc/loadavg: 4.01 3.94 4.12 5/194 14839 /proc/meminfo: memFree=13717844/32950928 swapFree=67111528/67111528 [pid=14774] ppid=14772 vsize=8704 CPUtime=0.06 cores=1,3 /proc/14774/stat : 14774 (glucose.sh) S 14772 14774 14396 0 -1 4202496 360 767 0 0 0 0 6 0 22 0 1 0 546479588 8912896 255 33554432000 4194304 4922060 140736536163296 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14774/statm: 2176 255 211 178 0 69 0 [pid=14782] ppid=14774 vsize=85008 CPUtime=222.24 cores=1,3 /proc/14782/stat : 14782 (glucose_static) R 14774 14774 14396 0 -1 4202496 30606 0 0 0 22217 7 0 0 25 0 1 0 546479595 87048192 17957 33554432000 4194304 4260849 140734422484720 18446744073709551615 4225114 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14782/statm: 21252 17957 251 17 0 17893 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 93712 [startup+282.301 s] /proc/loadavg: 4.00 3.95 4.11 5/194 14841 /proc/meminfo: memFree=13713232/32950928 swapFree=67111528/67111528 [pid=14774] ppid=14772 vsize=8704 CPUtime=0.06 cores=1,3 /proc/14774/stat : 14774 (glucose.sh) S 14772 14774 14396 0 -1 4202496 360 767 0 0 0 0 6 0 22 0 1 0 546479588 8912896 255 33554432000 4194304 4922060 140736536163296 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14774/statm: 2176 255 211 178 0 69 0 [pid=14782] ppid=14774 vsize=85008 CPUtime=282.23 cores=1,3 /proc/14782/stat : 14782 (glucose_static) R 14774 14774 14396 0 -1 4202496 30606 0 0 0 28216 7 0 0 25 0 1 0 546479595 87048192 17957 33554432000 4194304 4260849 140734422484720 18446744073709551615 4225399 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14782/statm: 21252 17957 251 17 0 17893 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 93712 [startup+342.301 s] /proc/loadavg: 4.05 3.97 4.11 5/194 14842 /proc/meminfo: memFree=13696716/32950928 swapFree=67111528/67111528 [pid=14774] ppid=14772 vsize=8704 CPUtime=0.06 cores=1,3 /proc/14774/stat : 14774 (glucose.sh) S 14772 14774 14396 0 -1 4202496 360 767 0 0 0 0 6 0 22 0 1 0 546479588 8912896 255 33554432000 4194304 4922060 140736536163296 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14774/statm: 2176 255 211 178 0 69 0 [pid=14782] ppid=14774 vsize=97860 CPUtime=342.23 cores=1,3 /proc/14782/stat : 14782 (glucose_static) R 14774 14774 14396 0 -1 4202496 40791 0 0 0 34212 11 0 0 25 0 1 0 546479595 100208640 17651 33554432000 4194304 4260849 140734422484720 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14782/statm: 24465 17651 251 17 0 21106 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 106564 [startup+402.301 s] /proc/loadavg: 4.02 3.97 4.09 5/194 14844 /proc/meminfo: memFree=13654404/32950928 swapFree=67111528/67111528 [pid=14774] ppid=14772 vsize=8704 CPUtime=0.06 cores=1,3 ################ # More data... # ################ /proc/14782/statm: 24465 19425 251 17 0 21106 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 106564 [startup+702.301 s] /proc/loadavg: 4.00 3.97 4.06 5/194 14852 /proc/meminfo: memFree=13633840/32950928 swapFree=67111528/67111528 [pid=14774] ppid=14772 vsize=8704 CPUtime=0.06 cores=1,3 /proc/14774/stat : 14774 (glucose.sh) S 14772 14774 14396 0 -1 4202496 360 767 0 0 0 0 6 0 22 0 1 0 546479588 8912896 255 33554432000 4194304 4922060 140736536163296 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14774/statm: 2176 255 211 178 0 69 0 [pid=14782] ppid=14774 vsize=97860 CPUtime=702.25 cores=1,3 /proc/14782/stat : 14782 (glucose_static) R 14774 14774 14396 0 -1 4202496 43177 0 0 0 70213 12 0 0 25 0 1 0 546479595 100208640 19990 33554432000 4194304 4260849 140734422484720 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14782/statm: 24465 19990 251 17 0 21106 0 Current children cumulated CPU time (s) 702.31 Current children cumulated vsize (KiB) 106564 [startup+762.3 s] /proc/loadavg: 4.12 4.00 4.07 5/194 14853 /proc/meminfo: memFree=13631708/32950928 swapFree=67111528/67111528 [pid=14774] ppid=14772 vsize=8704 CPUtime=0.06 cores=1,3 /proc/14774/stat : 14774 (glucose.sh) S 14772 14774 14396 0 -1 4202496 360 767 0 0 0 0 6 0 22 0 1 0 546479588 8912896 255 33554432000 4194304 4922060 140736536163296 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14774/statm: 2176 255 211 178 0 69 0 [pid=14782] ppid=14774 vsize=97860 CPUtime=762.25 cores=1,3 /proc/14782/stat : 14782 (glucose_static) R 14774 14774 14396 0 -1 4202496 43365 0 0 0 76213 12 0 0 25 0 1 0 546479595 100208640 20178 33554432000 4194304 4260849 140734422484720 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14782/statm: 24465 20178 251 17 0 21106 0 Current children cumulated CPU time (s) 762.31 Current children cumulated vsize (KiB) 106564 [startup+822.3 s] /proc/loadavg: 4.11 4.02 4.07 5/194 14855 /proc/meminfo: memFree=13625980/32950928 swapFree=67111528/67111528 [pid=14774] ppid=14772 vsize=8704 CPUtime=0.06 cores=1,3 /proc/14774/stat : 14774 (glucose.sh) S 14772 14774 14396 0 -1 4202496 360 767 0 0 0 0 6 0 22 0 1 0 546479588 8912896 255 33554432000 4194304 4922060 140736536163296 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14774/statm: 2176 255 211 178 0 69 0 [pid=14782] ppid=14774 vsize=97860 CPUtime=822.25 cores=1,3 /proc/14782/stat : 14782 (glucose_static) R 14774 14774 14396 0 -1 4202496 51462 0 0 0 82212 13 0 0 25 0 1 0 546479595 100208640 20667 33554432000 4194304 4260849 140734422484720 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14782/statm: 24465 20667 251 17 0 21106 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 106564 [startup+882.307 s] /proc/loadavg: 4.04 4.01 4.06 6/194 14857 /proc/meminfo: memFree=13623224/32950928 swapFree=67111528/67111528 [pid=14774] ppid=14772 vsize=8704 CPUtime=0.06 cores=1,3 /proc/14774/stat : 14774 (glucose.sh) S 14772 14774 14396 0 -1 4202496 360 767 0 0 0 0 6 0 22 0 1 0 546479588 8912896 255 33554432000 4194304 4922060 140736536163296 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14774/statm: 2176 255 211 178 0 69 0 [pid=14782] ppid=14774 vsize=97860 CPUtime=882.26 cores=1,3 /proc/14782/stat : 14782 (glucose_static) R 14774 14774 14396 0 -1 4202496 67441 0 0 0 88211 15 0 0 25 0 1 0 546479595 100208640 20810 33554432000 4194304 4260849 140734422484720 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14782/statm: 24465 20810 251 17 0 21106 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 106564 [startup+942.3 s] /proc/loadavg: 4.01 4.00 4.06 5/194 14858 /proc/meminfo: memFree=13622092/32950928 swapFree=67111528/67111528 [pid=14774] ppid=14772 vsize=8704 CPUtime=0.06 cores=1,3 /proc/14774/stat : 14774 (glucose.sh) S 14772 14774 14396 0 -1 4202496 360 767 0 0 0 0 6 0 22 0 1 0 546479588 8912896 255 33554432000 4194304 4922060 140736536163296 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14774/statm: 2176 255 211 178 0 69 0 [pid=14782] ppid=14774 vsize=97860 CPUtime=942.25 cores=1,3 /proc/14782/stat : 14782 (glucose_static) R 14774 14774 14396 0 -1 4202496 75748 0 0 0 94209 16 0 0 25 0 1 0 546479595 100208640 20868 33554432000 4194304 4260849 140734422484720 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14782/statm: 24465 20868 251 17 0 21106 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 106564 [startup+1002.3 s] /proc/loadavg: 4.00 4.00 4.05 5/194 14860 /proc/meminfo: memFree=13615260/32950928 swapFree=67111528/67111528 [pid=14774] ppid=14772 vsize=8704 CPUtime=0.06 cores=1,3 /proc/14774/stat : 14774 (glucose.sh) S 14772 14774 14396 0 -1 4202496 360 767 0 0 0 0 6 0 22 0 1 0 546479588 8912896 255 33554432000 4194304 4922060 140736536163296 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14774/statm: 2176 255 211 178 0 69 0 [pid=14782] ppid=14774 vsize=97860 CPUtime=1002.25 cores=1,3 /proc/14782/stat : 14782 (glucose_static) R 14774 14774 14396 0 -1 4202496 83902 0 0 0 100208 17 0 0 25 0 1 0 546479595 100208640 20869 33554432000 4194304 4260849 140734422484720 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14782/statm: 24465 20869 251 17 0 21106 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 106564 [startup+1062.3 s] /proc/loadavg: 4.00 4.00 4.04 5/194 14861 /proc/meminfo: memFree=13588464/32950928 swapFree=67111528/67111528 [pid=14774] ppid=14772 vsize=8704 CPUtime=0.06 cores=1,3 /proc/14774/stat : 14774 (glucose.sh) S 14772 14774 14396 0 -1 4202496 360 767 0 0 0 0 6 0 22 0 1 0 546479588 8912896 255 33554432000 4194304 4922060 140736536163296 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14774/statm: 2176 255 211 178 0 69 0 [pid=14782] ppid=14774 vsize=97860 CPUtime=1062.26 cores=1,3 /proc/14782/stat : 14782 (glucose_static) R 14774 14774 14396 0 -1 4202496 92191 0 0 0 106207 19 0 0 25 0 1 0 546479595 100208640 20870 33554432000 4194304 4260849 140734422484720 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14782/statm: 24465 20870 251 17 0 21106 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 106564 [startup+1122.3 s] /proc/loadavg: 4.00 4.00 4.04 5/194 14863 /proc/meminfo: memFree=13582228/32950928 swapFree=67111528/67111528 [pid=14774] ppid=14772 vsize=8704 CPUtime=0.06 cores=1,3 /proc/14774/stat : 14774 (glucose.sh) S 14772 14774 14396 0 -1 4202496 360 767 0 0 0 0 6 0 22 0 1 0 546479588 8912896 255 33554432000 4194304 4922060 140736536163296 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14774/statm: 2176 255 211 178 0 69 0 [pid=14782] ppid=14774 vsize=97860 CPUtime=1122.25 cores=1,3 /proc/14782/stat : 14782 (glucose_static) R 14774 14774 14396 0 -1 4202496 100583 0 0 0 112205 20 0 0 25 0 1 0 546479595 100208640 20903 33554432000 4194304 4260849 140734422484720 18446744073709551615 4225056 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14782/statm: 24465 20903 251 17 0 21106 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 106564 [startup+1182.3 s] /proc/loadavg: 4.00 4.00 4.03 5/194 14874 /proc/meminfo: memFree=13581576/32950928 swapFree=67111528/67111528 [pid=14774] ppid=14772 vsize=8704 CPUtime=0.06 cores=1,3 /proc/14774/stat : 14774 (glucose.sh) S 14772 14774 14396 0 -1 4202496 360 767 0 0 0 0 6 0 22 0 1 0 546479588 8912896 255 33554432000 4194304 4922060 140736536163296 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14774/statm: 2176 255 211 178 0 69 0 [pid=14782] ppid=14774 vsize=97860 CPUtime=1182.26 cores=1,3 /proc/14782/stat : 14782 (glucose_static) R 14774 14774 14396 0 -1 4202496 109449 0 0 0 118204 22 0 0 25 0 1 0 546479595 100208640 20909 33554432000 4194304 4260849 140734422484720 18446744073709551615 4226718 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14782/statm: 24465 20909 251 17 0 21106 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 106564 [startup+1242.3 s] /proc/loadavg: 4.00 4.00 4.03 5/194 14875 /proc/meminfo: memFree=13551104/32950928 swapFree=67111528/67111528 [pid=14774] ppid=14772 vsize=8704 CPUtime=0.06 cores=1,3 /proc/14774/stat : 14774 (glucose.sh) S 14772 14774 14396 0 -1 4202496 360 767 0 0 0 0 6 0 22 0 1 0 546479588 8912896 255 33554432000 4194304 4922060 140736536163296 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14774/statm: 2176 255 211 178 0 69 0 [pid=14782] ppid=14774 vsize=97860 CPUtime=1242.26 cores=1,3 /proc/14782/stat : 14782 (glucose_static) R 14774 14774 14396 0 -1 4202496 118489 0 0 0 124202 24 0 0 25 0 1 0 546479595 100208640 20909 33554432000 4194304 4260849 140734422484720 18446744073709551615 4224703 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14782/statm: 24465 20909 251 17 0 21106 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 106564 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 4.00 4.00 4.02 5/194 14877 /proc/meminfo: memFree=13581340/32950928 swapFree=67111528/67111528 [pid=14774] ppid=14772 vsize=8704 CPUtime=0.06 cores=1,3 /proc/14774/stat : 14774 (glucose.sh) S 14772 14774 14396 0 -1 4202496 360 767 0 0 0 0 6 0 22 0 1 0 546479588 8912896 255 33554432000 4194304 4922060 140736536163296 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14774/statm: 2176 255 211 178 0 69 0 [pid=14782] ppid=14774 vsize=97860 CPUtime=1299.97 cores=1,3 /proc/14782/stat : 14782 (glucose_static) R 14774 14774 14396 0 -1 4202496 127696 0 0 0 129971 26 0 0 25 0 1 0 546479595 100208640 20911 33554432000 4194304 4260849 140734422484720 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14782/statm: 24465 20911 251 17 0 21106 0 Current children cumulated CPU time (s) 1300.03 Current children cumulated vsize (KiB) 106564 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 4.02 5/194 14877 /proc/meminfo: memFree=13581340/32950928 swapFree=67111528/67111528 [pid=14774] ppid=14772 vsize=8704 CPUtime=0.06 cores=1,3 /proc/14774/stat : 14774 (glucose.sh) S 14772 14774 14396 0 -1 4202496 360 767 0 0 0 0 6 0 22 0 1 0 546479588 8912896 255 33554432000 4194304 4922060 140736536163296 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14774/statm: 2176 255 211 178 0 69 0 [pid=14782] ppid=14774 vsize=97860 CPUtime=1299.97 cores=1,3 /proc/14782/stat : 14782 (glucose_static) R 14774 14774 14396 0 -1 4202496 127696 0 0 0 129971 26 0 0 25 0 1 0 546479595 100208640 20911 33554432000 4194304 4260849 140734422484720 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14782/statm: 24465 20911 251 17 0 21106 0 Current children cumulated CPU time (s) 1300.03 Current children cumulated vsize (KiB) 106564 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 14774 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=62990 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=2999 # CPU time returned by wait4() is 0.065989 # while last known CPU time is 1300.03 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1300.02 CPU time (s): 1300.03 CPU user time (s): 1299.77 CPU system time (s): 0.26 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 155884 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.06299 system time used= 0.002999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1127 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9 involuntary context switches= 15 runsolver used 2.10468 second user time and 4.99624 second system time The end
Begin job on node113 at 2011-04-23 14:41:29 IDJOB=3265652 IDBENCH=85793 IDSOLVER=1651 FILE ID=node113/3265652-1303562489 RUNJOBID= node113-1303562489-14753 PBS_JOBID= 13150282 Free space on /tmp= 70796 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT05/crafted/sorge05/QG7a/gensys-ukn009.shuffled-as.sat05-3849.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3265652-1303562489/watcher-3265652-1303562489 -o /tmp/evaluation-result-3265652-1303562489/solver-3265652-1303562489 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3265652-1303562489.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= f2a1eb7937a7cda114ce344a30ca1145 RANDOM SEED=1697947097 node113.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.846 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.69 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.846 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.76 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.846 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.74 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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 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.75 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.846 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.83 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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 13962092 kB Buffers: 1839160 kB Cached: 16498360 kB SwapCached: 0 kB Active: 10541908 kB Inactive: 7861156 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 13962092 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4028 kB Writeback: 0 kB AnonPages: 65364 kB Mapped: 15256 kB Slab: 522304 kB PageTables: 5084 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 212848 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= 70788 MiB End job on node113 at 2011-04-23 15:03:11