| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | UNSAT | 22.8865 | 22.8888 |
| Name | industrial/manolios/ manol-pipe-f7idw.cnf |
| MD5SUM | e11b8f7666247454d93edb47f1646e2c |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 19.0941 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 263022 |
| Number of clauses | 782329 |
| Sum of the clauses size | 1825433 |
| Maximum clause length | 3 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 1 |
| Number of clauses of size 2 | 521552 |
| Number of clauses of size 3 | 260776 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
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.32 c ============================================================================== 0.00/0.32 c | | ORIGINAL | LEARNT | | 0.00/0.32 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.32 c ============================================================================== 0.00/0.32 c | 0 | 782328 1825432 | 234698 0 0 nan | 0.000 % | 2.39/2.43 c | 0 | 326692 1297075 | -- 0 -- -- | -- | -455634/-528352 2.39/2.44 c ============================================================================== 2.39/2.44 c Result : #vars: 41290 #clauses: 326692 #literals: 1297075 2.39/2.44 c CPU time: 2.33964 s 2.39/2.44 c ============================================================================== 2.59/2.67 c 2.59/2.67 c Starting glucose 2.59/2.67 c 4.18/4.30 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 4.18/4.30 c WARNING: for repeatability, setting FPU to use double precision 4.18/4.30 c ============================[ Problem Statistics ]============================= 4.18/4.30 c | | 4.18/4.30 c | Number of variables: 41290 | 4.18/4.30 c | Number of clauses: 326692 | 4.18/4.30 c | Parse time: 0.09 s | 4.18/4.30 c | | 4.18/4.30 c ============================[ Search Statistics ]============================== 4.18/4.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.18/4.30 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 4.18/4.30 c =============================================================================== 4.18/4.30 c | 1325 | 41288 326692 1297075 | 1 1323 17 | 0.005 % | 4.18/4.30 c | 2656 | 41288 326692 1297075 | 1 2654 16 | 0.005 % | 4.18/4.30 c | 4997 | 41286 326692 1297075 | 1 2997 12 | 0.010 % | 4.18/4.30 c | 5535 | 41286 326692 1297075 | 1 3535 14 | 0.010 % | 4.18/4.30 c | 5635 | 41260 326692 1297075 | 1 3634 14 | 0.073 % | 4.18/4.30 c | 6820 | 41260 326692 1297075 | 1 4819 15 | 0.073 % | 4.18/4.30 c | 7807 | 41260 326126 1295042 | 1 5804 15 | 0.073 % | 4.18/4.30 c | 9261 | 41260 326126 1295042 | 1 7258 15 | 0.073 % | 4.18/4.30 c | 9391 | 41256 326126 1295042 | 1 7387 16 | 0.082 % | 4.18/4.30 c | 10180 | 41256 326126 1295042 | 1 8176 15 | 0.082 % | 4.18/4.30 c | 10670 | 41256 326126 1295042 | 1 4380 10 | 0.082 % | 4.18/4.30 c | 11098 | 41256 326126 1295042 | 1 4808 11 | 0.082 % | 4.18/4.30 c | 11533 | 41256 326094 1294894 | 1 5243 11 | 0.082 % | 4.18/4.30 c | 11633 | 41256 326094 1294894 | 1 5343 12 | 0.082 % | 4.18/4.30 c | 12085 | 41256 326094 1294894 | 1 5795 12 | 0.082 % | 4.18/4.30 c | 12545 | 41256 326094 1294894 | 1 6255 12 | 0.082 % | 4.18/4.30 c | 12645 | 41256 326094 1294894 | 1 6355 12 | 0.082 % | 4.18/4.30 c | 14016 | 41256 326094 1294894 | 1 7726 14 | 0.082 % | 4.18/4.30 c | 14272 | 41256 326094 1294894 | 1 7982 14 | 0.082 % | 4.18/4.30 c | 14490 | 41256 326094 1294894 | 1 8200 14 | 0.082 % | 4.18/4.30 c | 14837 | 41256 326094 1294894 | 1 8547 14 | 0.082 % | 4.18/4.30 c | 14948 | 41256 326094 1294894 | 1 8658 15 | 0.082 % | 4.18/4.30 c | 15451 | 41256 326094 1294894 | 1 9161 15 | 0.082 % | 4.18/4.30 c | 16601 | 41256 326094 1294894 | 1 10311 16 | 0.082 % | 4.18/4.30 c | 19959 | 41255 326073 1294831 | 1 6926 10 | 0.085 % | 4.18/4.30 c | 20486 | 41255 326073 1294831 | 1 7453 10 | 0.085 % | 4.18/4.30 c | 20586 | 41255 326073 1294831 | 1 7553 11 | 0.085 % | 4.18/4.30 c | 21034 | 41255 326073 1294831 | 1 8001 11 | 0.085 % | 4.18/4.30 c | 21471 | 41255 326073 1294831 | 1 8438 12 | 0.085 % | 4.18/4.30 c | 21671 | 41246 326073 1294831 | 1 8637 12 | 0.107 % | 4.18/4.30 c | 21895 | 41246 326073 1294831 | 1 8861 12 | 0.107 % | 4.18/4.30 c | 23214 | 41246 326073 1294831 | 1 10180 12 | 0.107 % | 4.18/4.30 c | 25157 | 41226 326073 1294831 | 1 12121 13 | 0.155 % | 4.18/4.30 c | 26819 | 41225 326073 1294831 | 1 13782 14 | 0.157 % | 4.18/4.30 c | 27143 | 41225 325685 1293374 | 1 14091 14 | 0.157 % | 4.18/4.30 c | 27243 | 41225 325685 1293374 | 1 14191 14 | 0.157 % | 4.18/4.30 c | 27343 | 41225 325685 1293374 | 1 14291 15 | 0.157 % | 4.18/4.30 c | 30059 | 41131 325685 1293374 | 1 16998 15 | 0.385 % | 4.18/4.30 c | 30159 | 41131 325685 1293374 | 1 17098 15 | 0.385 % | 5.88/5.92 c | 30573 | 41131 325685 1293374 | 1 17512 15 | 0.385 % | 5.88/5.92 c | 30684 | 41131 325685 1293374 | 1 17623 15 | 0.385 % | 5.88/5.92 c | 31084 | 41131 325685 1293374 | 1 18023 16 | 0.385 % | 5.88/5.92 c | 31247 | 41050 325685 1293374 | 1 18185 16 | 0.581 % | 5.88/5.92 c | 31376 | 41050 323468 1284567 | 1 18288 16 | 0.581 % | 5.88/5.92 c | 31502 | 41050 323468 1284567 | 1 18414 16 | 0.581 % | 5.88/5.92 c | 32955 | 41050 323468 1284567 | 1 10634 13 | 0.581 % | 5.88/5.92 c | 33082 | 41050 323468 1284567 | 1 10761 13 | 0.581 % | 5.88/5.92 c | 33182 | 41050 323468 1284567 | 1 10861 13 | 0.581 % | 5.88/5.92 c | 34331 | 41050 323468 1284567 | 1 12010 14 | 0.581 % | 5.88/5.92 c | 34431 | 41050 323468 1284567 | 1 12110 14 | 0.581 % | 5.88/5.92 c | 36366 | 41050 323468 1284567 | 1 14045 16 | 0.581 % | 5.88/5.92 c | 36684 | 41050 323468 1284567 | 1 14363 16 | 0.581 % | 5.88/5.92 c | 36890 | 40972 323468 1284567 | 1 14567 16 | 0.770 % | 5.88/5.92 c | 37078 | 40972 323468 1284567 | 1 14755 16 | 0.770 % | 5.88/5.92 c | 37213 | 40972 323468 1284567 | 1 14890 16 | 0.770 % | 5.88/5.92 c | 37739 | 40972 323468 1284567 | 1 15416 16 | 0.770 % | 5.88/5.92 c | 38941 | 40965 322525 1280876 | 1 16617 17 | 0.787 % | 5.88/5.92 c | 39307 | 40965 322525 1280876 | 1 16983 17 | 0.787 % | 5.88/5.92 c | 39729 | 40965 322525 1280876 | 1 17405 17 | 0.787 % | 5.88/5.92 c | 40254 | 40965 322525 1280876 | 1 17930 17 | 0.787 % | 5.88/5.92 c | 40354 | 40965 322525 1280876 | 1 18030 17 | 0.787 % | 5.88/5.92 c | 40455 | 40965 322525 1280876 | 1 18131 17 | 0.787 % | 5.88/5.92 c | 45175 | 40965 322525 1280876 | 1 22851 20 | 0.787 % | 5.88/5.92 c | 45275 | 40965 322525 1280876 | 1 22951 20 | 0.787 % | 5.88/5.92 c | 45376 | 40965 322525 1280876 | 1 23052 20 | 0.787 % | 5.88/5.92 c | 45477 | 40965 322525 1280876 | 1 23153 20 | 0.787 % | 5.88/5.92 c | 49916 | 40965 322525 1280876 | 1 15762 14 | 0.787 % | 5.88/5.92 c | 50883 | 40965 322243 1279844 | 1 16727 15 | 0.787 % | 5.88/5.92 c | 51330 | 40962 322243 1279844 | 1 17173 15 | 0.794 % | 5.88/5.92 c | 53160 | 40962 322243 1279844 | 1 19003 16 | 0.794 % | 5.88/5.92 c | 53534 | 40962 322243 1279844 | 1 19377 16 | 0.794 % | 5.88/5.92 c | 53634 | 40962 322243 1279844 | 1 19477 16 | 0.794 % | 5.88/5.92 c | 53832 | 40962 322243 1279844 | 1 19675 16 | 0.794 % | 5.88/5.92 c | 53932 | 40962 322243 1279844 | 1 19775 16 | 0.794 % | 5.88/5.92 c | 54662 | 40962 322243 1279844 | 1 20505 16 | 0.794 % | 5.88/5.92 c | 55232 | 40962 322243 1279844 | 1 21075 16 | 0.794 % | 5.88/5.92 c | 55375 | 40962 322243 1279844 | 1 21218 16 | 0.794 % | 5.88/5.92 c | 56609 | 40962 322243 1279844 | 1 22452 17 | 0.794 % | 5.88/5.92 c | 56871 | 40962 322243 1279844 | 1 22714 18 | 0.794 % | 5.88/5.92 c | 57219 | 40962 322232 1279786 | 1 23061 18 | 0.794 % | 5.88/5.92 c | 57409 | 40962 322232 1279786 | 1 23251 18 | 0.794 % | 5.88/5.92 c | 57588 | 40962 322232 1279786 | 1 23430 18 | 0.794 % | 5.88/5.92 c | 57811 | 40962 322232 1279786 | 1 23653 18 | 0.794 % | 5.88/5.92 c | 57911 | 40962 322232 1279786 | 1 23753 18 | 0.794 % | 5.88/5.92 c | 67098 | 40962 322232 1279786 | 1 18525 16 | 0.794 % | 5.88/5.92 c | 67199 | 40962 322232 1279786 | 1 18626 16 | 0.794 % | 5.88/5.92 c | 67299 | 40962 322232 1279786 | 1 18726 16 | 0.794 % | 5.88/5.92 c | 67432 | 40962 322232 1279786 | 1 18859 16 | 0.794 % | 5.88/5.92 c | 67808 | 40962 322232 1279786 | 1 19235 16 | 0.794 % | 8.07/8.19 c | 74147 | 40962 322232 1279786 | 1 25574 19 | 0.794 % | 8.07/8.19 c | 74857 | 40962 322232 1279786 | 1 26284 19 | 0.794 % | 8.07/8.19 c | 75494 | 40962 322232 1279786 | 1 26921 19 | 0.794 % | 8.07/8.19 c | 75619 | 40962 322232 1279786 | 1 27046 19 | 0.794 % | 8.07/8.19 c | 75720 | 40962 322232 1279786 | 1 27147 19 | 0.794 % | 8.07/8.19 c | 75858 | 40962 322232 1279786 | 1 27285 19 | 0.794 % | 8.07/8.19 c | 91623 | 40962 322232 1279786 | 1 26052 22 | 0.794 % | 8.07/8.19 c | 91730 | 40962 322232 1279786 | 1 26159 22 | 0.794 % | 8.07/8.19 c | 91830 | 40962 322232 1279786 | 1 26259 22 | 0.794 % | 8.07/8.19 c | 91931 | 40962 322232 1279786 | 1 26360 22 | 0.794 % | 8.07/8.19 c | 93177 | 40962 322232 1279786 | 1 27606 22 | 0.794 % | 8.07/8.19 c | 93277 | 40962 322232 1279786 | 1 27706 22 | 0.794 % | 8.07/8.19 c | 93443 | 40962 322232 1279786 | 1 27872 22 | 0.794 % | 8.07/8.19 c | 93544 | 40962 322232 1279786 | 1 27973 22 | 0.794 % | 8.07/8.19 c | 93744 | 40962 322232 1279786 | 1 28173 22 | 0.794 % | 8.07/8.19 c | 94324 | 40962 322232 1279786 | 1 28753 22 | 0.794 % | 8.07/8.19 c | 94459 | 40962 322232 1279786 | 1 28888 22 | 0.794 % | 8.07/8.19 c | 94559 | 40962 322232 1279786 | 1 28988 22 | 0.794 % | 8.07/8.19 c | 94770 | 40962 322232 1279786 | 1 29199 23 | 0.794 % | 8.07/8.19 c | 94965 | 40962 322232 1279786 | 1 29394 23 | 0.794 % | 8.07/8.19 c | 95069 | 40962 322232 1279786 | 1 29498 23 | 0.794 % | 8.07/8.19 c | 96400 | 40962 322232 1279786 | 1 30829 23 | 0.794 % | 8.07/8.19 c | 96582 | 40962 322232 1279786 | 1 31011 23 | 0.794 % | 8.07/8.19 c | 101722 | 40962 322232 1279786 | 1 36151 24 | 0.794 % | 8.07/8.19 c | 101823 | 40962 322232 1279786 | 1 36252 24 | 0.794 % | 8.07/8.19 c | 103224 | 40962 322232 1279786 | 1 37653 24 | 0.794 % | 8.07/8.19 c | 103327 | 40962 322232 1279786 | 1 37756 24 | 0.794 % | 8.07/8.19 c | 103564 | 40962 322232 1279786 | 1 37993 24 | 0.794 % | 8.07/8.19 c | 103926 | 40947 322227 1279771 | 1 38350 24 | 0.831 % | 8.07/8.19 c | 106018 | 40947 322227 1279771 | 1 20846 16 | 0.831 % | 8.07/8.19 c | 106444 | 40939 322227 1279771 | 1 21270 16 | 0.850 % | 8.07/8.19 c | 106586 | 40939 322227 1279771 | 1 21412 16 | 0.850 % | 8.07/8.19 c | 108106 | 40939 322227 1279771 | 1 22932 17 | 0.850 % | 8.07/8.19 c | 109339 | 40937 322227 1279771 | 1 24164 17 | 0.855 % | 8.07/8.19 c | 109716 | 40937 322227 1279771 | 1 24541 17 | 0.855 % | 8.07/8.19 c | 110281 | 40937 322227 1279771 | 1 25106 17 | 0.855 % | 8.07/8.19 c | 110430 | 40937 322227 1279771 | 1 25255 17 | 0.855 % | 8.07/8.19 c | 110595 | 40937 322227 1279771 | 1 25420 17 | 0.855 % | 8.07/8.19 c | 110788 | 40937 322227 1279771 | 1 25613 17 | 0.855 % | 8.07/8.19 c | 110891 | 40937 322227 1279771 | 1 25716 17 | 0.855 % | 8.07/8.19 c | 110991 | 40937 322227 1279771 | 1 25816 18 | 0.855 % | 8.07/8.19 c | 112291 | 40937 322227 1279771 | 1 27116 18 | 0.855 % | 8.07/8.19 c | 112391 | 40937 322227 1279771 | 1 27216 18 | 0.855 % | 8.07/8.19 c | 114323 | 40937 322227 1279771 | 1 29148 18 | 0.855 % | 8.07/8.19 c | 114704 | 40937 322227 1279771 | 1 29529 18 | 0.855 % | 8.07/8.19 c | 114922 | 40937 322227 1279771 | 1 29747 18 | 0.855 % | 8.07/8.19 c | 119605 | 40937 322227 1279771 | 1 34430 20 | 0.855 % | 8.07/8.19 c | 120167 | 40937 321879 1278407 | 1 34978 20 | 0.855 % | 8.07/8.19 c | 120525 | 40937 321879 1278407 | 1 35336 20 | 0.855 % | 8.07/8.19 c | 120790 | 40937 321879 1278407 | 1 35601 20 | 0.855 % | 10.27/10.32 c | 120989 | 40937 321879 1278407 | 1 35800 20 | 0.855 % | 10.27/10.32 c | 123156 | 40934 321879 1278407 | 1 37966 20 | 0.862 % | 10.27/10.32 c | 123257 | 40934 321879 1278407 | 1 38067 20 | 0.862 % | 10.27/10.32 c | 123357 | 40934 321879 1278407 | 1 38167 20 | 0.862 % | 10.27/10.32 c | 125001 | 40934 321879 1278407 | 1 39811 20 | 0.862 % | 10.27/10.32 c | 125550 | 40934 321879 1278407 | 1 40360 21 | 0.862 % | 10.27/10.32 c | 125650 | 40934 321879 1278407 | 1 40460 21 | 0.862 % | 10.27/10.32 c | 126049 | 40934 321879 1278407 | 1 40859 21 | 0.862 % | 10.27/10.32 c | 126150 | 40934 321879 1278407 | 1 40960 21 | 0.862 % | 10.27/10.32 c | 126250 | 40934 321879 1278407 | 1 41060 21 | 0.862 % | 10.27/10.32 c | 126806 | 40934 321879 1278407 | 1 41616 21 | 0.862 % | 10.27/10.32 c | 126908 | 40934 321879 1278407 | 1 41718 21 | 0.862 % | 10.27/10.32 c | 128656 | 40934 321879 1278407 | 1 43466 21 | 0.862 % | 10.27/10.32 c | 135270 | 40934 321879 1278407 | 1 27879 16 | 0.862 % | 10.27/10.32 c | 135370 | 40934 321856 1278297 | 1 27979 16 | 0.862 % | 10.27/10.32 c | 136009 | 40934 321856 1278297 | 1 28618 16 | 0.862 % | 10.27/10.32 c | 136272 | 40934 321856 1278297 | 1 28881 16 | 0.862 % | 10.27/10.32 c | 137296 | 40933 321856 1278297 | 1 29904 16 | 0.865 % | 10.27/10.32 c | 138450 | 40933 321856 1278297 | 1 31058 17 | 0.865 % | 10.27/10.32 c | 138550 | 40933 321856 1278297 | 1 31158 17 | 0.865 % | 10.27/10.32 c | 138785 | 40933 321856 1278297 | 1 31393 17 | 0.865 % | 10.27/10.32 c | 138885 | 40933 321856 1278297 | 1 31493 17 | 0.865 % | 10.27/10.32 c | 138988 | 40933 321856 1278297 | 1 31596 17 | 0.865 % | 10.27/10.32 c | 139128 | 40933 321856 1278297 | 1 31736 17 | 0.865 % | 10.27/10.32 c | 139229 | 40933 321856 1278297 | 1 31837 17 | 0.865 % | 10.27/10.32 c | 139512 | 40932 321856 1278297 | 1 32119 17 | 0.867 % | 10.27/10.32 c | 139636 | 40932 321856 1278297 | 1 32243 17 | 0.867 % | 10.27/10.32 c | 139975 | 40932 321856 1278297 | 1 32582 17 | 0.867 % | 10.27/10.32 c | 140121 | 40932 321856 1278297 | 1 32728 17 | 0.867 % | 10.27/10.32 c | 140368 | 40932 321856 1278297 | 1 32975 17 | 0.867 % | 10.27/10.32 c | 140469 | 40932 321856 1278297 | 1 33076 17 | 0.867 % | 10.27/10.32 c | 140642 | 40932 321856 1278297 | 1 33249 17 | 0.867 % | 10.27/10.32 c | 140764 | 40932 321856 1278297 | 1 33371 17 | 0.867 % | 10.27/10.32 c | 141592 | 40932 321856 1278297 | 1 34199 18 | 0.867 % | 10.27/10.32 c | 141815 | 40932 321824 1278187 | 1 34420 18 | 0.867 % | 10.27/10.32 c | 141915 | 40932 321824 1278187 | 1 34520 18 | 0.867 % | 10.27/10.32 c | 142017 | 40932 321824 1278187 | 1 34622 18 | 0.867 % | 10.27/10.32 c | 142118 | 40932 321824 1278187 | 1 34723 18 | 0.867 % | 10.27/10.32 c | 156656 | 40932 321824 1278187 | 1 49261 21 | 0.867 % | 10.27/10.32 c | 156756 | 40932 321824 1278187 | 1 49361 21 | 0.867 % | 10.27/10.32 c | 156858 | 40932 321824 1278187 | 1 49463 21 | 0.867 % | 10.27/10.32 c | 156958 | 40932 321824 1278187 | 1 49563 21 | 0.867 % | 10.27/10.32 c | 157588 | 40932 321824 1278187 | 1 25401 15 | 0.867 % | 10.27/10.32 c | 157784 | 40932 321824 1278187 | 1 25597 15 | 0.867 % | 10.27/10.32 c | 157885 | 40932 321824 1278187 | 1 25698 16 | 0.867 % | 10.27/10.32 c | 158005 | 40932 321824 1278187 | 1 25818 16 | 0.867 % | 10.27/10.32 c | 158105 | 40932 321824 1278187 | 1 25918 16 | 0.867 % | 10.27/10.32 c | 158205 | 40932 321824 1278187 | 1 26018 16 | 0.867 % | 10.27/10.32 c | 158663 | 40932 321824 1278187 | 1 26476 16 | 0.867 % | 10.27/10.32 c | 158763 | 40932 321824 1278187 | 1 26576 16 | 0.867 % | 12.87/12.95 c | 158863 | 40932 321824 1278187 | 1 26676 16 | 0.867 % | 12.87/12.95 c | 158964 | 40932 321824 1278187 | 1 26777 16 | 0.867 % | 12.87/12.95 c | 159070 | 40932 321824 1278187 | 1 26883 16 | 0.867 % | 12.87/12.95 c | 159170 | 40932 321824 1278187 | 1 26983 16 | 0.867 % | 12.87/12.95 c | 159272 | 40932 321824 1278187 | 1 27085 16 | 0.867 % | 12.87/12.95 c | 163574 | 40932 321824 1278187 | 1 31387 19 | 0.867 % | 12.87/12.95 c | 163674 | 40932 321824 1278187 | 1 31487 20 | 0.867 % | 12.87/12.95 c | 164922 | 40932 321824 1278187 | 1 32735 21 | 0.867 % | 12.87/12.95 c | 165022 | 40932 321824 1278187 | 1 32835 21 | 0.867 % | 12.87/12.95 c | 165122 | 40932 321824 1278187 | 1 32935 21 | 0.867 % | 12.87/12.95 c | 165382 | 40932 321824 1278187 | 1 33195 21 | 0.867 % | 12.87/12.95 c | 165483 | 40932 321824 1278187 | 1 33296 21 | 0.867 % | 12.87/12.95 c | 167788 | 40932 321824 1278187 | 1 35601 22 | 0.867 % | 12.87/12.95 c | 168033 | 40932 321824 1278187 | 1 35846 22 | 0.867 % | 12.87/12.95 c | 168216 | 40932 321824 1278187 | 1 36029 22 | 0.867 % | 12.87/12.95 c | 175712 | 40932 321824 1278187 | 1 43525 26 | 0.867 % | 12.87/12.95 c | 175902 | 40932 321824 1278187 | 1 43715 26 | 0.867 % | 12.87/12.95 c | 176030 | 40932 321824 1278187 | 1 43843 26 | 0.867 % | 12.87/12.95 c | 176731 | 40932 321824 1278187 | 1 44544 26 | 0.867 % | 12.87/12.95 c | 176894 | 40932 321824 1278187 | 1 44707 26 | 0.867 % | 12.87/12.95 c | 177564 | 40932 321824 1278187 | 1 45377 26 | 0.867 % | 12.87/12.95 c | 177684 | 40932 321824 1278187 | 1 45497 26 | 0.867 % | 12.87/12.95 c | 177817 | 40932 321824 1278187 | 1 45630 26 | 0.867 % | 12.87/12.95 c | 177919 | 40932 321824 1278187 | 1 45732 26 | 0.867 % | 12.87/12.95 c | 178019 | 40932 321824 1278187 | 1 45832 26 | 0.867 % | 12.87/12.95 c | 179070 | 40932 321824 1278187 | 1 46883 26 | 0.867 % | 12.87/12.95 c | 179331 | 40932 321824 1278187 | 1 47144 26 | 0.867 % | 12.87/12.95 c | 186274 | 40932 321824 1278187 | 1 54087 30 | 0.867 % | 12.87/12.95 c | 186375 | 40932 321824 1278187 | 1 54188 30 | 0.867 % | 12.87/12.95 c | 186890 | 40932 321824 1278187 | 1 54703 30 | 0.867 % | 12.87/12.95 c | 187087 | 40932 321824 1278187 | 1 27529 20 | 0.867 % | 12.87/12.95 c | 191254 | 40932 321824 1278187 | 1 31696 20 | 0.867 % | 12.87/12.95 c | 191354 | 40932 321824 1278187 | 1 31796 20 | 0.867 % | 12.87/12.95 c | 191515 | 40932 321824 1278187 | 1 31957 20 | 0.867 % | 12.87/12.95 c | 191726 | 40932 321824 1278187 | 1 32168 20 | 0.867 % | 12.87/12.95 c | 191826 | 40932 321824 1278187 | 1 32268 20 | 0.867 % | 12.87/12.95 c | 191926 | 40932 321824 1278187 | 1 32368 20 | 0.867 % | 12.87/12.95 c | 192026 | 40932 321824 1278187 | 1 32468 20 | 0.867 % | 12.87/12.95 c | 193048 | 40932 321824 1278187 | 1 33490 21 | 0.867 % | 12.87/12.95 c | 193148 | 40932 321824 1278187 | 1 33590 21 | 0.867 % | 12.87/12.95 c | 193248 | 40932 321824 1278187 | 1 33690 21 | 0.867 % | 12.87/12.95 c | 193348 | 40932 321824 1278187 | 1 33790 21 | 0.867 % | 12.87/12.95 c | 197548 | 40932 321824 1278187 | 1 37990 22 | 0.867 % | 12.87/12.95 c | 200375 | 40932 321824 1278187 | 1 40817 23 | 0.867 % | 12.87/12.95 c | 200475 | 40932 321824 1278187 | 1 40917 23 | 0.867 % | 12.87/12.95 c | 200987 | 40932 321824 1278187 | 1 41429 23 | 0.867 % | 12.87/12.95 c | 201379 | 40932 321824 1278187 | 1 41821 23 | 0.867 % | 12.87/12.95 c | 201847 | 40932 321824 1278187 | 1 42289 23 | 0.867 % | 12.87/12.95 c | 201963 | 40932 321824 1278187 | 1 42405 23 | 0.867 % | 12.87/12.95 c | 202064 | 40932 321824 1278187 | 1 42506 23 | 0.867 % | 14.07/14.20 c | 203202 | 40932 321824 1278187 | 1 43644 23 | 0.867 % | 14.07/14.20 c | 209081 | 40932 321824 1278187 | 1 49523 24 | 0.867 % | 14.07/14.20 c | 209826 | 40932 321824 1278187 | 1 50268 24 | 0.867 % | 14.07/14.20 c | 209926 | 40932 321824 1278187 | 1 50368 24 | 0.867 % | 14.07/14.20 c | 211660 | 40932 321824 1278187 | 1 52102 24 | 0.867 % | 14.07/14.20 c | 213005 | 40932 321824 1278187 | 1 53447 24 | 0.867 % | 14.07/14.20 c | 213105 | 40932 321824 1278187 | 1 53547 24 | 0.867 % | 14.07/14.20 c | 213328 | 40932 321824 1278187 | 1 53770 24 | 0.867 % | 14.07/14.20 c | 215740 | 39756 321792 1278077 | 1 56180 24 | 3.715 % | 14.07/14.20 c | 215842 | 39756 321792 1278077 | 1 56282 24 | 3.715 % | 14.07/14.20 c | 215942 | 39756 321792 1278077 | 1 56382 24 | 3.715 % | 14.07/14.20 c | 216042 | 39756 321792 1278077 | 1 56482 24 | 3.715 % | 14.07/14.20 c | 216158 | 39756 321792 1278077 | 1 56598 24 | 3.715 % | 14.07/14.20 c | 216301 | 39756 321792 1278077 | 1 56741 24 | 3.715 % | 14.07/14.20 c | 216401 | 39756 321792 1278077 | 1 56841 24 | 3.715 % | 14.07/14.20 c | 216502 | 39756 321792 1278077 | 1 56942 24 | 3.715 % | 14.07/14.20 c | 216611 | 39756 321792 1278077 | 1 57051 24 | 3.715 % | 14.07/14.20 c | 217244 | 39755 321792 1278077 | 1 57683 24 | 3.718 % | 14.07/14.20 c | 217345 | 39755 321792 1278077 | 1 57784 24 | 3.718 % | 14.07/14.20 c | 217886 | 39755 321792 1278077 | 1 58325 25 | 3.718 % | 14.07/14.20 c | 218083 | 39755 321792 1278077 | 1 58522 25 | 3.718 % | 14.07/14.20 c | 218183 | 39755 321792 1278077 | 1 58622 25 | 3.718 % | 14.07/14.20 c | 218284 | 39755 321792 1278077 | 1 58723 25 | 3.718 % | 14.07/14.20 c | 218384 | 39755 321792 1278077 | 1 58823 25 | 3.718 % | 14.07/14.20 c | 218484 | 39755 321792 1278077 | 1 58923 25 | 3.718 % | 14.07/14.20 c | 218584 | 39755 321792 1278077 | 1 59023 25 | 3.718 % | 14.07/14.20 c | 218684 | 39755 321792 1278077 | 1 59123 25 | 3.718 % | 14.07/14.20 c | 218784 | 39755 321792 1278077 | 1 59223 25 | 3.718 % | 14.07/14.20 c | 218884 | 39755 321792 1278077 | 1 59323 25 | 3.718 % | 14.07/14.20 c | 218984 | 39755 321792 1278077 | 1 59423 25 | 3.718 % | 14.07/14.20 c | 219085 | 39755 321792 1278077 | 1 59524 25 | 3.718 % | 14.07/14.20 c | 219185 | 39755 321792 1278077 | 1 59624 25 | 3.718 % | 14.07/14.20 c | 219285 | 39755 321792 1278077 | 1 59724 25 | 3.718 % | 14.07/14.20 c | 219385 | 39755 321792 1278077 | 1 59824 25 | 3.718 % | 14.07/14.20 c | 219485 | 39755 321792 1278077 | 1 59924 25 | 3.718 % | 14.07/14.20 c | 219585 | 39755 321792 1278077 | 1 60024 25 | 3.718 % | 14.07/14.20 c | 219685 | 39755 321792 1278077 | 1 30117 15 | 3.718 % | 14.07/14.20 c | 219785 | 39755 321792 1278077 | 1 30217 15 | 3.718 % | 14.07/14.20 c | 219974 | 39755 321792 1278077 | 1 30406 15 | 3.718 % | 14.07/14.20 c | 220075 | 39755 321792 1278077 | 1 30507 15 | 3.718 % | 14.07/14.20 c | 220176 | 39755 321792 1278077 | 1 30608 15 | 3.718 % | 14.07/14.20 c | 220279 | 39755 321792 1278077 | 1 30711 15 | 3.718 % | 14.07/14.20 c | 220570 | 39755 321792 1278077 | 1 31002 15 | 3.718 % | 14.07/14.20 c | 220670 | 39755 305309 1203791 | 1 28540 15 | 3.718 % | 14.07/14.20 c | 220770 | 39755 305309 1203791 | 1 28640 16 | 3.718 % | 14.07/14.20 c | 220870 | 39755 305309 1203791 | 1 28740 16 | 3.718 % | 14.07/14.20 c | 220971 | 39755 305309 1203791 | 1 28841 16 | 3.718 % | 14.07/14.20 c | 221073 | 39755 305309 1203791 | 1 28943 16 | 3.718 % | 14.07/14.20 c | 221185 | 39755 305309 1203791 | 1 29055 16 | 3.718 % | 14.07/14.20 c | 221296 | 39755 305309 1203791 | 1 29166 16 | 3.718 % | 14.77/14.82 c | 221396 | 39755 305309 1203791 | 1 29266 16 | 3.718 % | 14.77/14.82 c | 221497 | 39755 305309 1203791 | 1 29367 16 | 3.718 % | 14.77/14.82 c | 221598 | 39755 305309 1203791 | 1 29468 16 | 3.718 % | 14.77/14.82 c | 221996 | 39755 305309 1203791 | 1 29866 16 | 3.718 % | 14.77/14.82 c | 222096 | 39755 305309 1203791 | 1 29966 16 | 3.718 % | 14.77/14.82 c | 222197 | 39755 305309 1203791 | 1 30067 16 | 3.718 % | 14.77/14.82 c | 222321 | 39755 305309 1203791 | 1 30191 16 | 3.718 % | 14.77/14.82 c | 223005 | 39755 305309 1203791 | 1 30875 17 | 3.718 % | 14.77/14.82 c | 223199 | 39755 305309 1203791 | 1 31069 17 | 3.718 % | 14.77/14.82 c | 223496 | 39755 305309 1203791 | 1 31366 17 | 3.718 % | 14.77/14.82 c | 224082 | 39755 305309 1203791 | 1 31952 18 | 3.718 % | 14.77/14.82 c | 224182 | 39755 305309 1203791 | 1 32052 18 | 3.718 % | 14.77/14.82 c | 224285 | 39755 305309 1203791 | 1 32155 18 | 3.718 % | 14.77/14.82 c | 224385 | 39755 305309 1203791 | 1 32255 18 | 3.718 % | 14.77/14.82 c | 224521 | 39755 305309 1203791 | 1 32391 18 | 3.718 % | 14.77/14.82 c | 224769 | 39755 305309 1203791 | 1 32639 18 | 3.718 % | 14.77/14.82 c | 224898 | 39755 305309 1203791 | 1 32768 18 | 3.718 % | 14.77/14.82 c | 224998 | 39755 305309 1203791 | 1 32868 18 | 3.718 % | 14.77/14.82 c | 225098 | 39755 305309 1203791 | 1 32968 18 | 3.718 % | 14.77/14.82 c | 225247 | 39755 305309 1203791 | 1 33117 18 | 3.718 % | 14.77/14.82 c | 225348 | 39755 305309 1203791 | 1 33218 18 | 3.718 % | 14.77/14.82 c | 225836 | 39752 305279 1203647 | 1 33704 18 | 3.725 % | 14.77/14.82 c | 226262 | 39752 305279 1203647 | 1 34130 18 | 3.725 % | 14.77/14.82 c | 226416 | 39752 305279 1203647 | 1 34284 18 | 3.725 % | 14.77/14.82 c | 226553 | 39752 305279 1203647 | 1 34421 18 | 3.725 % | 14.77/14.82 c | 226654 | 39752 305279 1203647 | 1 34522 18 | 3.725 % | 14.77/14.82 c | 226755 | 39752 305279 1203647 | 1 34623 18 | 3.725 % | 14.77/14.82 c | 226855 | 39752 305279 1203647 | 1 34723 18 | 3.725 % | 14.77/14.82 c | 226981 | 39752 305279 1203647 | 1 34849 18 | 3.725 % | 14.77/14.82 c | 227082 | 39752 305279 1203647 | 1 34950 19 | 3.725 % | 14.77/14.82 c | 227182 | 39752 305279 1203647 | 1 35050 19 | 3.725 % | 14.77/14.82 c | 227284 | 39752 305279 1203647 | 1 35152 19 | 3.725 % | 14.77/14.82 c | 227385 | 39752 305279 1203647 | 1 35253 19 | 3.725 % | 14.77/14.82 c | 227485 | 39752 305279 1203647 | 1 35353 19 | 3.725 % | 14.77/14.82 c | 227585 | 39752 305279 1203647 | 1 35453 19 | 3.725 % | 14.77/14.82 c | 227685 | 39752 305279 1203647 | 1 35553 19 | 3.725 % | 14.77/14.82 c | 227786 | 39752 305279 1203647 | 1 35654 19 | 3.725 % | 14.77/14.82 c | 227887 | 39752 305279 1203647 | 1 35755 19 | 3.725 % | 14.77/14.82 c | 227987 | 39752 305279 1203647 | 1 35855 19 | 3.725 % | 14.77/14.82 c | 228089 | 39752 305279 1203647 | 1 35957 19 | 3.725 % | 14.77/14.82 c | 228189 | 39752 305279 1203647 | 1 36057 19 | 3.725 % | 14.77/14.82 c | 228289 | 39752 305279 1203647 | 1 36157 19 | 3.725 % | 14.77/14.82 c | 228523 | 39752 305279 1203647 | 1 36391 19 | 3.725 % | 14.77/14.82 c | 228623 | 39752 305279 1203647 | 1 36491 19 | 3.725 % | 14.77/14.82 c | 228723 | 39752 305279 1203647 | 1 36591 19 | 3.725 % | 14.77/14.82 c | 228827 | 39752 305261 1203586 | 1 36636 19 | 3.725 % | 14.77/14.82 c | 228928 | 39752 305261 1203586 | 1 36737 19 | 3.725 % | 14.77/14.82 c | 229028 | 39752 305261 1203586 | 1 36837 20 | 3.725 % | 14.77/14.82 c | 229128 | 39752 305261 1203586 | 1 36937 20 | 3.725 % | 15.28/15.37 c | 229231 | 39752 305261 1203586 | 1 37040 20 | 3.725 % | 15.28/15.37 c | 229391 | 39752 305261 1203586 | 1 37200 20 | 3.725 % | 15.28/15.37 c | 229491 | 39752 305261 1203586 | 1 37300 20 | 3.725 % | 15.28/15.37 c | 229591 | 39752 305261 1203586 | 1 37400 20 | 3.725 % | 15.28/15.37 c | 229691 | 39752 305261 1203586 | 1 37500 20 | 3.725 % | 15.28/15.37 c | 229791 | 39752 305261 1203586 | 1 37600 20 | 3.725 % | 15.28/15.37 c | 230512 | 39752 305261 1203586 | 1 38321 20 | 3.725 % | 15.28/15.37 c | 230615 | 39752 305261 1203586 | 1 38424 20 | 3.725 % | 15.28/15.37 c | 230716 | 39752 305261 1203586 | 1 38525 20 | 3.725 % | 15.28/15.37 c | 230817 | 39752 305261 1203586 | 1 38626 20 | 3.725 % | 15.28/15.37 c | 230919 | 39752 305261 1203586 | 1 38728 20 | 3.725 % | 15.28/15.37 c | 231019 | 39752 305261 1203586 | 1 38828 20 | 3.725 % | 15.28/15.37 c | 231119 | 39752 305261 1203586 | 1 38928 20 | 3.725 % | 15.28/15.37 c | 231221 | 39752 305261 1203586 | 1 39030 20 | 3.725 % | 15.28/15.37 c | 231321 | 39752 305261 1203586 | 1 39130 20 | 3.725 % | 15.28/15.37 c | 231422 | 39752 305261 1203586 | 1 39231 20 | 3.725 % | 15.28/15.37 c | 231522 | 39752 305261 1203586 | 1 39331 20 | 3.725 % | 15.28/15.37 c | 231623 | 39752 305261 1203586 | 1 39432 20 | 3.725 % | 15.28/15.37 c | 231723 | 39752 305261 1203586 | 1 39532 20 | 3.725 % | 15.28/15.37 c | 231827 | 39752 305261 1203586 | 1 39636 20 | 3.725 % | 15.28/15.37 c | 231927 | 39752 305261 1203586 | 1 39736 20 | 3.725 % | 15.28/15.37 c | 232027 | 39752 305261 1203586 | 1 39836 21 | 3.725 % | 15.28/15.37 c | 232127 | 39752 305261 1203586 | 1 39936 21 | 3.725 % | 15.28/15.37 c | 232228 | 39752 305261 1203586 | 1 40037 21 | 3.725 % | 15.28/15.37 c | 232328 | 39752 305261 1203586 | 1 40137 21 | 3.725 % | 15.28/15.37 c | 232429 | 39752 305261 1203586 | 1 40238 21 | 3.725 % | 15.28/15.37 c | 232530 | 39752 305261 1203586 | 1 40339 21 | 3.725 % | 15.28/15.37 c | 232630 | 39752 305261 1203586 | 1 40439 21 | 3.725 % | 15.28/15.37 c | 232730 | 39752 305261 1203586 | 1 40539 21 | 3.725 % | 15.28/15.37 c | 232831 | 39752 305261 1203586 | 1 40640 21 | 3.725 % | 15.28/15.37 c | 232931 | 39752 305261 1203586 | 1 40740 21 | 3.725 % | 15.28/15.37 c | 233031 | 39752 305261 1203586 | 1 40840 21 | 3.725 % | 15.28/15.37 c | 233131 | 39752 305261 1203586 | 1 40940 21 | 3.725 % | 15.28/15.37 c | 233282 | 39752 305261 1203586 | 1 41091 21 | 3.725 % | 15.28/15.37 c | 233382 | 39752 305261 1203586 | 1 41191 21 | 3.725 % | 15.28/15.37 c | 233482 | 39752 305261 1203586 | 1 41291 21 | 3.725 % | 15.28/15.37 c | 233585 | 39752 305261 1203586 | 1 41394 21 | 3.725 % | 15.28/15.37 c | 233726 | 39752 305261 1203586 | 1 41535 21 | 3.725 % | 15.28/15.37 c | 233828 | 39752 305261 1203586 | 1 41637 21 | 3.725 % | 15.28/15.37 c | 233929 | 39752 305261 1203586 | 1 41738 21 | 3.725 % | 15.28/15.37 c | 234030 | 39752 305261 1203586 | 1 41839 22 | 3.725 % | 15.28/15.37 c | 234133 | 39752 305261 1203586 | 1 41942 22 | 3.725 % | 15.28/15.37 c | 234235 | 39752 305261 1203586 | 1 42044 22 | 3.725 % | 15.28/15.37 c | 234336 | 39752 305261 1203586 | 1 42145 22 | 3.725 % | 15.28/15.37 c | 234796 | 39752 305261 1203586 | 1 42605 22 | 3.725 % | 15.28/15.37 c | 234896 | 39752 305261 1203586 | 1 42705 22 | 3.725 % | 15.28/15.37 c | 234997 | 39752 305261 1203586 | 1 42806 22 | 3.725 % | 15.28/15.37 c | 235099 | 39752 305261 1203586 | 1 42908 22 | 3.725 % | 15.28/15.37 c | 235200 | 39752 305261 1203586 | 1 43009 22 | 3.725 % | 15.28/15.37 c | 235300 | 39752 305261 1203586 | 1 43109 22 | 3.725 % | 15.87/15.96 c | 235400 | 39751 305250 1203539 | 1 43089 22 | 3.727 % | 15.87/15.96 c | 235501 | 39751 305250 1203539 | 1 43190 22 | 3.727 % | 15.87/15.96 c | 235601 | 39751 305250 1203539 | 1 43290 22 | 3.727 % | 15.87/15.96 c | 235701 | 39751 305250 1203539 | 1 43390 22 | 3.727 % | 15.87/15.96 c | 235801 | 39751 305250 1203539 | 1 43490 22 | 3.727 % | 15.87/15.96 c | 235901 | 39751 305250 1203539 | 1 43590 22 | 3.727 % | 15.87/15.96 c | 236003 | 39751 305250 1203539 | 1 43692 22 | 3.727 % | 15.87/15.96 c | 236104 | 39751 305250 1203539 | 1 43793 22 | 3.727 % | 15.87/15.96 c | 236204 | 39751 305250 1203539 | 1 43893 22 | 3.727 % | 15.87/15.96 c | 236306 | 39751 305250 1203539 | 1 43995 22 | 3.727 % | 15.87/15.96 c | 236407 | 39751 305250 1203539 | 1 44096 22 | 3.727 % | 15.87/15.96 c | 236508 | 39751 305250 1203539 | 1 44197 22 | 3.727 % | 15.87/15.96 c | 236608 | 39751 305250 1203539 | 1 44297 22 | 3.727 % | 15.87/15.96 c | 236709 | 39751 305250 1203539 | 1 44398 23 | 3.727 % | 15.87/15.96 c | 236810 | 39746 305250 1203539 | 1 44498 23 | 3.739 % | 15.87/15.96 c | 236911 | 39746 305250 1203539 | 1 44599 23 | 3.739 % | 15.87/15.96 c | 237011 | 39746 305250 1203539 | 1 44699 23 | 3.739 % | 15.87/15.96 c | 237112 | 39746 305250 1203539 | 1 44800 23 | 3.739 % | 15.87/15.96 c | 237212 | 39746 305250 1203539 | 1 44900 23 | 3.739 % | 15.87/15.96 c | 237312 | 39746 305250 1203539 | 1 45000 23 | 3.739 % | 15.87/15.96 c | 237543 | 39744 305250 1203539 | 1 45230 23 | 3.744 % | 15.87/15.96 c | 237658 | 39744 305250 1203539 | 1 45345 23 | 3.744 % | 15.87/15.96 c | 237758 | 39744 305250 1203539 | 1 45445 23 | 3.744 % | 15.87/15.96 c | 237860 | 39744 305250 1203539 | 1 45547 23 | 3.744 % | 15.87/15.96 c | 237960 | 39744 305250 1203539 | 1 45647 23 | 3.744 % | 15.87/15.96 c | 238060 | 39744 305250 1203539 | 1 45747 23 | 3.744 % | 15.87/15.96 c | 238162 | 39744 305250 1203539 | 1 45849 23 | 3.744 % | 15.87/15.96 c | 238319 | 39744 305250 1203539 | 1 46006 23 | 3.744 % | 15.87/15.96 c | 238419 | 39744 305250 1203539 | 1 46106 23 | 3.744 % | 15.87/15.96 c | 238520 | 39744 305250 1203539 | 1 46207 23 | 3.744 % | 15.87/15.96 c | 238620 | 39744 305250 1203539 | 1 46307 23 | 3.744 % | 15.87/15.96 c | 238720 | 39744 305250 1203539 | 1 46407 23 | 3.744 % | 15.87/15.96 c | 238824 | 39744 305250 1203539 | 1 46511 23 | 3.744 % | 15.87/15.96 c | 239474 | 39744 305250 1203539 | 1 47161 23 | 3.744 % | 15.87/15.96 c | 239574 | 39744 305250 1203539 | 1 47261 23 | 3.744 % | 15.87/15.96 c | 239677 | 39744 305250 1203539 | 1 47364 23 | 3.744 % | 15.87/15.96 c | 240106 | 39744 305250 1203539 | 1 47793 23 | 3.744 % | 15.87/15.96 c | 240208 | 39744 305177 1203237 | 1 46901 23 | 3.744 % | 15.87/15.96 c | 240308 | 39744 305177 1203237 | 1 47001 23 | 3.744 % | 15.87/15.96 c | 240566 | 39744 305177 1203237 | 1 47259 23 | 3.744 % | 15.87/15.96 c | 240668 | 39744 305177 1203237 | 1 47361 23 | 3.744 % | 15.87/15.96 c | 240768 | 39744 305177 1203237 | 1 47461 23 | 3.744 % | 15.87/15.96 c | 241747 | 39743 305177 1203237 | 1 48439 23 | 3.747 % | 15.87/15.96 c | 241942 | 39743 305177 1203237 | 1 48634 23 | 3.747 % | 15.87/15.96 c | 242042 | 39743 305177 1203237 | 1 48734 23 | 3.747 % | 15.87/15.96 c | 242142 | 39743 305177 1203237 | 1 48834 23 | 3.747 % | 15.87/15.96 c | 242242 | 39743 305177 1203237 | 1 48934 23 | 3.747 % | 15.87/15.96 c | 242343 | 39743 305177 1203237 | 1 49035 23 | 3.747 % | 15.87/15.96 c | 242445 | 39743 305177 1203237 | 1 49137 23 | 3.747 % | 15.87/15.96 c | 242545 | 39743 305177 1203237 | 1 49237 23 | 3.747 % | 16.48/16.55 c | 242646 | 39742 305177 1203237 | 1 49337 23 | 3.749 % | 16.48/16.55 c | 242750 | 39742 305177 1203237 | 1 49441 23 | 3.749 % | 16.48/16.55 c | 242851 | 39742 305177 1203237 | 1 49542 24 | 3.749 % | 16.48/16.55 c | 242951 | 39742 305177 1203237 | 1 49642 24 | 3.749 % | 16.48/16.55 c | 243051 | 39742 305177 1203237 | 1 49742 24 | 3.749 % | 16.48/16.55 c | 243204 | 39742 305177 1203237 | 1 49895 24 | 3.749 % | 16.48/16.55 c | 243305 | 39742 305177 1203237 | 1 49996 24 | 3.749 % | 16.48/16.55 c | 243405 | 39742 305177 1203237 | 1 50096 24 | 3.749 % | 16.48/16.55 c | 243507 | 39742 305177 1203237 | 1 50198 24 | 3.749 % | 16.48/16.55 c | 243608 | 39742 305177 1203237 | 1 50299 24 | 3.749 % | 16.48/16.55 c | 243709 | 39742 305177 1203237 | 1 50400 24 | 3.749 % | 16.48/16.55 c | 243810 | 39742 305177 1203237 | 1 50501 24 | 3.749 % | 16.48/16.55 c | 243911 | 39742 305177 1203237 | 1 50602 24 | 3.749 % | 16.48/16.55 c | 244011 | 39742 305177 1203237 | 1 50702 24 | 3.749 % | 16.48/16.55 c | 244113 | 39742 305177 1203237 | 1 50804 24 | 3.749 % | 16.48/16.55 c | 244213 | 39742 305177 1203237 | 1 50904 24 | 3.749 % | 16.48/16.55 c | 244313 | 39742 305177 1203237 | 1 51004 24 | 3.749 % | 16.48/16.55 c | 244413 | 39742 305177 1203237 | 1 51104 24 | 3.749 % | 16.48/16.55 c | 244513 | 39742 305177 1203237 | 1 51204 24 | 3.749 % | 16.48/16.55 c | 244613 | 39742 305177 1203237 | 1 51304 24 | 3.749 % | 16.48/16.55 c | 244713 | 39742 305177 1203237 | 1 51404 24 | 3.749 % | 16.48/16.55 c | 244813 | 39742 305177 1203237 | 1 51504 24 | 3.749 % | 16.48/16.55 c | 244915 | 39742 305177 1203237 | 1 51606 24 | 3.749 % | 16.48/16.55 c | 245015 | 39742 305177 1203237 | 1 51706 24 | 3.749 % | 16.48/16.55 c | 245116 | 39742 305177 1203237 | 1 51807 24 | 3.749 % | 16.48/16.55 c | 245217 | 39742 305177 1203237 | 1 51908 24 | 3.749 % | 16.48/16.55 c | 245317 | 39742 305161 1203175 | 1 51204 24 | 3.749 % | 16.48/16.55 c | 245418 | 39742 305161 1203175 | 1 51305 24 | 3.749 % | 16.48/16.55 c | 245518 | 39742 305161 1203175 | 1 51405 24 | 3.749 % | 16.48/16.55 c | 245622 | 39742 305161 1203175 | 1 51509 24 | 3.749 % | 16.48/16.55 c | 245724 | 39742 305161 1203175 | 1 51611 24 | 3.749 % | 16.48/16.55 c | 245824 | 39742 305161 1203175 | 1 51711 24 | 3.749 % | 16.48/16.55 c | 245925 | 39742 305161 1203175 | 1 51812 24 | 3.749 % | 16.48/16.55 c | 246025 | 39742 305161 1203175 | 1 51912 24 | 3.749 % | 16.48/16.55 c | 246130 | 39742 305161 1203175 | 1 52017 24 | 3.749 % | 16.48/16.55 c | 246232 | 39742 305161 1203175 | 1 52119 24 | 3.749 % | 16.48/16.55 c | 246333 | 39742 305161 1203175 | 1 52220 24 | 3.749 % | 16.48/16.55 c | 248047 | 39742 305161 1203175 | 1 53934 24 | 3.749 % | 16.48/16.55 c | 248287 | 39741 305161 1203175 | 1 54173 24 | 3.752 % | 16.48/16.55 c | 248387 | 39741 305161 1203175 | 1 54273 24 | 3.752 % | 16.48/16.55 c | 248488 | 39741 305161 1203175 | 1 54374 24 | 3.752 % | 16.48/16.55 c | 248588 | 39741 305161 1203175 | 1 54474 24 | 3.752 % | 16.48/16.55 c | 248689 | 39741 305161 1203175 | 1 54575 24 | 3.752 % | 16.48/16.55 c | 248790 | 39741 305161 1203175 | 1 54676 24 | 3.752 % | 16.48/16.55 c | 248890 | 39741 305161 1203175 | 1 54776 24 | 3.752 % | 16.48/16.55 c | 248990 | 39741 305161 1203175 | 1 54876 24 | 3.752 % | 16.48/16.55 c | 249090 | 39741 305161 1203175 | 1 54976 24 | 3.752 % | 16.48/16.55 c | 249190 | 39741 305161 1203175 | 1 55076 24 | 3.752 % | 16.48/16.55 c | 249290 | 39741 305161 1203175 | 1 55176 24 | 3.752 % | 16.48/16.55 c | 249411 | 39741 305161 1203175 | 1 55297 24 | 3.752 % | 17.07/17.13 c | 249587 | 39741 305161 1203175 | 1 55473 25 | 3.752 % | 17.07/17.13 c | 249687 | 39741 305161 1203175 | 1 55573 25 | 3.752 % | 17.07/17.13 c | 249787 | 39741 305161 1203175 | 1 55673 25 | 3.752 % | 17.07/17.13 c | 249887 | 39741 305161 1203175 | 1 55773 25 | 3.752 % | 17.07/17.13 c | 249987 | 39741 305161 1203175 | 1 55873 25 | 3.752 % | 17.07/17.13 c | 250088 | 39741 305161 1203175 | 1 55974 25 | 3.752 % | 17.07/17.13 c | 250189 | 39741 305156 1203160 | 1 56074 25 | 3.752 % | 17.07/17.13 c | 250289 | 39741 305156 1203160 | 1 56174 25 | 3.752 % | 17.07/17.13 c | 250449 | 39741 305156 1203160 | 1 56334 25 | 3.752 % | 17.07/17.13 c | 250550 | 39741 305156 1203160 | 1 56435 25 | 3.752 % | 17.07/17.13 c | 250650 | 39741 305156 1203160 | 1 56535 25 | 3.752 % | 17.07/17.13 c | 250750 | 39741 305156 1203160 | 1 56635 25 | 3.752 % | 17.07/17.13 c | 250853 | 39741 305156 1203160 | 1 56738 25 | 3.752 % | 17.07/17.13 c | 251227 | 39741 305156 1203160 | 1 57112 25 | 3.752 % | 17.07/17.13 c | 251405 | 39741 305156 1203160 | 1 57290 25 | 3.752 % | 17.07/17.13 c | 251505 | 39741 305156 1203160 | 1 57390 25 | 3.752 % | 17.07/17.13 c | 251605 | 39741 305156 1203160 | 1 57490 25 | 3.752 % | 17.07/17.13 c | 251706 | 39741 305156 1203160 | 1 57591 25 | 3.752 % | 17.07/17.13 c | 251806 | 39741 305156 1203160 | 1 57691 25 | 3.752 % | 17.07/17.13 c | 251906 | 39741 305156 1203160 | 1 57791 25 | 3.752 % | 17.07/17.13 c | 252012 | 39741 305156 1203160 | 1 57897 25 | 3.752 % | 17.07/17.13 c | 252113 | 39741 305156 1203160 | 1 57998 25 | 3.752 % | 17.07/17.13 c | 252221 | 39741 305156 1203160 | 1 58106 25 | 3.752 % | 17.07/17.13 c | 252321 | 39741 305156 1203160 | 1 58206 25 | 3.752 % | 17.07/17.13 c | 252421 | 39741 305156 1203160 | 1 58306 25 | 3.752 % | 17.07/17.13 c | 252521 | 39741 305156 1203160 | 1 58406 25 | 3.752 % | 17.07/17.13 c | 252621 | 39741 305156 1203160 | 1 58506 25 | 3.752 % | 17.07/17.13 c | 252721 | 39741 305156 1203160 | 1 58606 25 | 3.752 % | 17.07/17.13 c | 252821 | 39741 305156 1203160 | 1 58706 25 | 3.752 % | 17.07/17.13 c | 252922 | 39741 305156 1203160 | 1 58807 25 | 3.752 % | 17.07/17.13 c | 253084 | 39741 305156 1203160 | 1 58969 25 | 3.752 % | 17.07/17.13 c | 253184 | 39741 305156 1203160 | 1 59069 25 | 3.752 % | 17.07/17.13 c | 253285 | 39741 305156 1203160 | 1 59170 25 | 3.752 % | 17.07/17.13 c | 253385 | 39741 305156 1203160 | 1 59270 25 | 3.752 % | 17.07/17.13 c | 253487 | 39741 305156 1203160 | 1 59372 25 | 3.752 % | 17.07/17.13 c | 253589 | 39741 305156 1203160 | 1 59474 25 | 3.752 % | 17.07/17.13 c | 253689 | 39741 305156 1203160 | 1 59574 25 | 3.752 % | 17.07/17.13 c | 253791 | 39741 305156 1203160 | 1 59676 25 | 3.752 % | 17.07/17.13 c | 253940 | 39741 305156 1203160 | 1 59825 25 | 3.752 % | 17.07/17.13 c | 254040 | 39741 305156 1203160 | 1 59925 25 | 3.752 % | 17.07/17.13 c | 254141 | 39741 305156 1203160 | 1 60026 25 | 3.752 % | 17.07/17.13 c | 254241 | 39741 305156 1203160 | 1 60126 25 | 3.752 % | 17.07/17.13 c | 254388 | 39741 305156 1203160 | 1 60273 25 | 3.752 % | 17.07/17.13 c | 254493 | 39741 305156 1203160 | 1 60378 25 | 3.752 % | 17.07/17.13 c | 254593 | 39741 305156 1203160 | 1 60478 25 | 3.752 % | 17.07/17.13 c | 254693 | 39741 305156 1203160 | 1 60578 25 | 3.752 % | 17.07/17.13 c | 254996 | 39741 305156 1203160 | 1 30541 17 | 3.752 % | 17.07/17.13 c | 255098 | 39741 305156 1203160 | 1 30643 17 | 3.752 % | 17.07/17.13 c | 255370 | 39741 305156 1203160 | 1 30915 17 | 3.752 % | 17.07/17.13 c | 255474 | 39741 305156 1203160 | 1 31019 17 | 3.752 % | 17.58/17.62 c | 255709 | 39741 305156 1203160 | 1 31254 17 | 3.752 % | 17.58/17.62 c | 255809 | 39741 305156 1203160 | 1 31354 17 | 3.752 % | 17.58/17.62 c | 255909 | 39741 305156 1203160 | 1 31454 17 | 3.752 % | 17.58/17.62 c | 256010 | 39741 305156 1203160 | 1 31555 17 | 3.752 % | 17.58/17.62 c | 256110 | 39741 305156 1203160 | 1 31655 17 | 3.752 % | 17.58/17.62 c | 256341 | 39741 305156 1203160 | 1 31886 17 | 3.752 % | 17.58/17.62 c | 256441 | 39741 305156 1203160 | 1 31986 18 | 3.752 % | 17.58/17.62 c | 256544 | 39741 305156 1203160 | 1 32089 18 | 3.752 % | 17.58/17.62 c | 256644 | 39741 305156 1203160 | 1 32189 18 | 3.752 % | 17.58/17.62 c | 256744 | 39741 305156 1203160 | 1 32289 18 | 3.752 % | 17.58/17.62 c | 257168 | 39741 305156 1203160 | 1 32713 18 | 3.752 % | 17.58/17.62 c | 257269 | 39741 305156 1203160 | 1 32814 18 | 3.752 % | 17.58/17.62 c | 257369 | 39741 305156 1203160 | 1 32914 18 | 3.752 % | 17.58/17.62 c | 257469 | 39741 305156 1203160 | 1 33014 18 | 3.752 % | 17.58/17.62 c | 257570 | 39741 305156 1203160 | 1 33115 18 | 3.752 % | 17.58/17.62 c | 258038 | 39741 305156 1203160 | 1 33583 18 | 3.752 % | 17.58/17.62 c | 258139 | 39741 305156 1203160 | 1 33684 18 | 3.752 % | 17.58/17.62 c | 258350 | 39741 305156 1203160 | 1 33895 18 | 3.752 % | 17.58/17.62 c | 258601 | 39741 305156 1203160 | 1 34146 18 | 3.752 % | 17.58/17.62 c | 258701 | 39741 305156 1203160 | 1 34246 19 | 3.752 % | 17.58/17.62 c | 258803 | 39741 305156 1203160 | 1 34348 19 | 3.752 % | 17.58/17.62 c | 258903 | 39741 305156 1203160 | 1 34448 19 | 3.752 % | 17.58/17.62 c | 259003 | 39741 305156 1203160 | 1 34548 19 | 3.752 % | 17.58/17.62 c | 259110 | 39741 305156 1203160 | 1 34655 19 | 3.752 % | 17.58/17.62 c | 259211 | 39741 305156 1203160 | 1 34756 19 | 3.752 % | 17.58/17.62 c | 259311 | 39741 305156 1203160 | 1 34856 19 | 3.752 % | 17.58/17.62 c | 259411 | 39741 305156 1203160 | 1 34956 19 | 3.752 % | 17.58/17.62 c | 259511 | 39741 305156 1203160 | 1 35056 19 | 3.752 % | 17.58/17.62 c | 259675 | 39741 305156 1203160 | 1 35220 19 | 3.752 % | 17.58/17.62 c | 259776 | 39741 305156 1203160 | 1 35321 19 | 3.752 % | 17.58/17.62 c | 260021 | 39741 305156 1203160 | 1 35566 19 | 3.752 % | 17.58/17.62 c | 260121 | 39741 305156 1203160 | 1 35666 19 | 3.752 % | 17.58/17.62 c | 260221 | 39741 305156 1203160 | 1 35766 19 | 3.752 % | 17.58/17.62 c | 260322 | 39741 305156 1203160 | 1 35867 19 | 3.752 % | 17.58/17.62 c | 260423 | 39741 305156 1203160 | 1 35968 19 | 3.752 % | 17.58/17.62 c | 260525 | 39741 305156 1203160 | 1 36070 19 | 3.752 % | 17.58/17.62 c | 260625 | 39741 305156 1203160 | 1 36170 19 | 3.752 % | 17.58/17.62 c | 260726 | 39741 305156 1203160 | 1 36271 19 | 3.752 % | 17.58/17.62 c | 260829 | 39741 305156 1203160 | 1 36374 19 | 3.752 % | 17.58/17.62 c | 260953 | 39741 305156 1203160 | 1 36498 19 | 3.752 % | 17.58/17.62 c | 261055 | 39741 305156 1203160 | 1 36600 20 | 3.752 % | 17.58/17.62 c | 261156 | 39741 305156 1203160 | 1 36701 20 | 3.752 % | 17.58/17.62 c | 261258 | 39741 305156 1203160 | 1 36803 20 | 3.752 % | 17.58/17.62 c | 261360 | 39741 305156 1203160 | 1 36905 20 | 3.752 % | 17.58/17.62 c | 261460 | 39741 305156 1203160 | 1 37005 20 | 3.752 % | 17.58/17.62 c | 261560 | 39741 305156 1203160 | 1 37105 20 | 3.752 % | 17.58/17.62 c | 261719 | 39741 305156 1203160 | 1 37264 20 | 3.752 % | 17.58/17.62 c | 261820 | 39741 305156 1203160 | 1 37365 20 | 3.752 % | 17.58/17.62 c | 262431 | 39741 305156 1203160 | 1 37976 20 | 3.752 % | 17.58/17.62 c | 262531 | 39741 305156 1203160 | 1 38076 20 | 3.752 % | 19.97/20.05 c | 262633 | 39741 305156 1203160 | 1 38178 20 | 3.752 % | 19.97/20.05 c | 262734 | 39741 305156 1203160 | 1 38279 20 | 3.752 % | 19.97/20.05 c | 262834 | 39741 305156 1203160 | 1 38379 20 | 3.752 % | 19.97/20.05 c | 262934 | 39741 305156 1203160 | 1 38479 20 | 3.752 % | 19.97/20.05 c | 263034 | 39741 305156 1203160 | 1 38579 20 | 3.752 % | 19.97/20.05 c | 263134 | 39741 305156 1203160 | 1 38679 20 | 3.752 % | 19.97/20.05 c | 263234 | 39741 305156 1203160 | 1 38779 20 | 3.752 % | 19.97/20.05 c | 263334 | 39741 305156 1203160 | 1 38879 20 | 3.752 % | 19.97/20.05 c | 263434 | 39741 305156 1203160 | 1 38979 20 | 3.752 % | 19.97/20.05 c | 263604 | 39741 305156 1203160 | 1 39149 20 | 3.752 % | 19.97/20.05 c | 263705 | 39741 305156 1203160 | 1 39250 20 | 3.752 % | 19.97/20.05 c | 263941 | 39741 305156 1203160 | 1 39486 20 | 3.752 % | 19.97/20.05 c | 264221 | 39741 305156 1203160 | 1 39766 20 | 3.752 % | 19.97/20.05 c | 264322 | 39741 305156 1203160 | 1 39867 20 | 3.752 % | 19.97/20.05 c | 264422 | 39741 305156 1203160 | 1 39967 20 | 3.752 % | 19.97/20.05 c | 264908 | 39741 305156 1203160 | 1 40453 21 | 3.752 % | 19.97/20.05 c | 265008 | 39741 305156 1203160 | 1 40553 21 | 3.752 % | 19.97/20.05 c | 265108 | 39741 305156 1203160 | 1 40653 21 | 3.752 % | 19.97/20.05 c | 265210 | 39741 305156 1203160 | 1 40755 21 | 3.752 % | 19.97/20.05 c | 265311 | 39741 305156 1203160 | 1 40856 21 | 3.752 % | 19.97/20.05 c | 265413 | 39741 305156 1203160 | 1 40958 21 | 3.752 % | 19.97/20.05 c | 265590 | 39740 305138 1203099 | 1 40593 21 | 3.754 % | 19.97/20.05 c | 265691 | 39740 305138 1203099 | 1 40694 21 | 3.754 % | 19.97/20.05 c | 265792 | 39740 305138 1203099 | 1 40795 21 | 3.754 % | 19.97/20.05 c | 265892 | 39740 305138 1203099 | 1 40895 21 | 3.754 % | 19.97/20.05 c | 265992 | 39740 305138 1203099 | 1 40995 21 | 3.754 % | 19.97/20.05 c | 284529 | 39740 305138 1203099 | 1 59532 22 | 3.754 % | 19.97/20.05 c | 284629 | 39740 305138 1203099 | 1 59632 22 | 3.754 % | 19.97/20.05 c | 284729 | 39740 305138 1203099 | 1 59732 22 | 3.754 % | 19.97/20.05 c | 284831 | 39740 305138 1203099 | 1 59834 22 | 3.754 % | 19.97/20.05 c | 285029 | 39740 305138 1203099 | 1 60032 22 | 3.754 % | 19.97/20.05 c | 285129 | 39739 305124 1203057 | 1 60129 22 | 3.756 % | 19.97/20.05 c | 285230 | 39739 305124 1203057 | 1 60230 22 | 3.756 % | 19.97/20.05 c | 285441 | 39739 305124 1203057 | 1 60441 22 | 3.756 % | 19.97/20.05 c | 285543 | 39739 305124 1203057 | 1 60543 22 | 3.756 % | 19.97/20.05 c | 299605 | 39739 305124 1203057 | 1 40809 18 | 3.756 % | 19.97/20.05 c | 299768 | 39739 305124 1203057 | 1 40972 18 | 3.756 % | 19.97/20.05 c | 300266 | 39739 305124 1203057 | 1 41470 18 | 3.756 % | 19.97/20.05 c | 300366 | 39739 305124 1203057 | 1 41570 18 | 3.756 % | 19.97/20.05 c | 300546 | 39739 305124 1203057 | 1 41750 19 | 3.756 % | 19.97/20.05 c | 300647 | 39739 305124 1203057 | 1 41851 19 | 3.756 % | 19.97/20.05 c | 300852 | 36170 271825 1054895 | 1 32966 19 | 12.400 % | 19.97/20.05 c | 300953 | 36170 271825 1054895 | 1 33067 19 | 12.400 % | 19.97/20.05 c | 301078 | 36170 271825 1054895 | 1 33192 19 | 12.400 % | 19.97/20.05 c | 304002 | 36170 271825 1054895 | 1 36116 19 | 12.400 % | 19.97/20.05 c | 315903 | 36170 271825 1054895 | 1 48017 18 | 12.400 % | 19.97/20.05 c | 316005 | 36170 271825 1054895 | 1 48119 18 | 12.400 % | 19.97/20.05 c | 317357 | 36170 271825 1054895 | 1 49471 18 | 12.400 % | 19.97/20.05 c | 317678 | 36170 271825 1054895 | 1 49792 18 | 12.400 % | 19.97/20.05 c | 318969 | 36170 271825 1054895 | 1 51083 18 | 12.400 % | 22.78/22.87 c | 319096 | 36170 271825 1054895 | 1 51210 18 | 12.400 % | 22.78/22.87 c | 322201 | 36170 271825 1054895 | 1 54315 18 | 12.400 % | 22.78/22.87 c | 344542 | 36170 271825 1054895 | 1 44116 14 | 12.400 % | 22.78/22.87 c | 355149 | 36170 271825 1054895 | 1 54723 14 | 12.400 % | 22.78/22.87 c | 356076 | 36170 271825 1054895 | 1 55650 14 | 12.400 % | 22.78/22.87 c | 359780 | 36170 271825 1054895 | 1 59354 14 | 12.400 % | 22.78/22.87 c | 361877 | 36170 271825 1054895 | 1 61451 14 | 12.400 % | 22.78/22.87 c | 362423 | 36170 271825 1054895 | 1 61997 14 | 12.400 % | 22.78/22.87 c | 363628 | 36170 271825 1054895 | 1 63202 14 | 12.400 % | 22.78/22.87 c | 363728 | 36170 271825 1054895 | 1 63302 14 | 12.400 % | 22.78/22.87 c | 366587 | 36170 271825 1054895 | 1 66161 14 | 12.400 % | 22.78/22.87 c | 367454 | 36170 271825 1054895 | 1 67028 14 | 12.400 % | 22.78/22.87 c | 400656 | 35886 271154 1051868 | 1 29177 12 | 13.088 % | 22.78/22.87 c =============================================================================== 22.78/22.87 c restarts : 651 22.78/22.87 c nb ReduceDB : 16 22.78/22.87 c nb removed Clauses : 323924 22.78/22.87 c nb learnts DL2 : 1701 22.78/22.87 c nb learnts size 2 : 424 22.78/22.87 c nb learnts size 1 : 63 22.78/22.87 c conflicts : 400656 (19870 /sec) 22.78/22.87 c decisions : 1349729 (0.00 % random) (66938 /sec) 22.78/22.87 c propagations : 83597590 (4145897 /sec) 22.78/22.87 c conflict literals : 10092724 (35.07 % deleted) 22.78/22.87 c nb reduced Clauses : 1995 22.78/22.87 c CPU time : 20.1639 s 22.78/22.87 22.78/22.88 s UNSATISFIABLE
No possible verification on an UNSAT instance
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-3303665-1303901853/watcher-3303665-1303901853 -o /tmp/evaluation-result-3303665-1303901853/solver-3303665-1303901853 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303665-1303901853.cnf running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.83 2/178 22624 /proc/meminfo: memFree=19499620/32951124 swapFree=67111528/67111528 [pid=22624] ppid=22622 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/22624/stat : 22624 (glucose.sh) S 22622 22624 22238 0 -1 4202496 335 0 0 0 0 0 0 0 21 0 1 0 234376597 8912896 253 33554432000 4194304 4922060 140733977908160 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22624/statm: 2176 253 211 178 0 69 0 [startup+0.0557229 s] /proc/loadavg: 2.00 2.00 1.83 2/178 22624 /proc/meminfo: memFree=19499620/32951124 swapFree=67111528/67111528 [pid=22624] ppid=22622 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/22624/stat : 22624 (glucose.sh) S 22622 22624 22238 0 -1 4202496 335 0 0 0 0 0 0 0 21 0 1 0 234376597 8912896 253 33554432000 4194304 4922060 140733977908160 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22624/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100725 s] /proc/loadavg: 2.00 2.00 1.83 2/178 22624 /proc/meminfo: memFree=19499620/32951124 swapFree=67111528/67111528 [pid=22624] ppid=22622 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/22624/stat : 22624 (glucose.sh) S 22622 22624 22238 0 -1 4202496 335 0 0 0 0 0 0 0 21 0 1 0 234376597 8912896 253 33554432000 4194304 4922060 140733977908160 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22624/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300679 s] /proc/loadavg: 2.00 2.00 1.83 2/178 22624 /proc/meminfo: memFree=19499620/32951124 swapFree=67111528/67111528 [pid=22624] ppid=22622 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/22624/stat : 22624 (glucose.sh) S 22622 22624 22238 0 -1 4202496 335 0 0 0 0 0 0 0 21 0 1 0 234376597 8912896 253 33554432000 4194304 4922060 140733977908160 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22624/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.700607 s] /proc/loadavg: 2.00 2.00 1.83 2/178 22624 /proc/meminfo: memFree=19499620/32951124 swapFree=67111528/67111528 [pid=22624] ppid=22622 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/22624/stat : 22624 (glucose.sh) S 22622 22624 22238 0 -1 4202496 335 0 0 0 0 0 0 0 21 0 1 0 234376597 8912896 253 33554432000 4194304 4922060 140733977908160 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22624/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50048 s] /proc/loadavg: 2.00 2.00 1.83 3/180 22626 /proc/meminfo: memFree=19378588/32951124 swapFree=67111528/67111528 [pid=22624] ppid=22622 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/22624/stat : 22624 (glucose.sh) S 22622 22624 22238 0 -1 4202496 335 0 0 0 0 0 0 0 21 0 1 0 234376597 8912896 253 33554432000 4194304 4922060 140733977908160 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22624/statm: 2176 253 211 178 0 69 0 [pid=22625] ppid=22624 vsize=145628 CPUtime=1.49 cores=1,3,5,7 /proc/22625/stat : 22625 (SatELite_releas) R 22624 22624 22238 0 -1 4202496 31031 0 0 0 141 8 0 0 25 0 1 0 234376597 149123072 28815 33554432000 134512640 135144242 4289743152 18446744073709551615 134726939 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/22625/statm: 36407 28815 77 155 0 36250 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 154332 [startup+3.10019 s] /proc/loadavg: 2.00 2.00 1.83 3/180 22626 /proc/meminfo: memFree=19357620/32951124 swapFree=67111528/67111528 [pid=22624] ppid=22622 vsize=8704 CPUtime=2.67 cores=1,3,5,7 /proc/22624/stat : 22624 (glucose.sh) S 22622 22624 22238 0 -1 4202496 360 34585 0 0 0 0 255 12 18 0 1 0 234376597 8912896 255 33554432000 4194304 4922060 140733977908160 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/22624/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 2.67 Current children cumulated vsize (KiB) 8704 [startup+6.30062 s] /proc/loadavg: 2.00 2.00 1.83 3/180 22627 /proc/meminfo: memFree=19434004/32951124 swapFree=67111528/67111528 [pid=22624] ppid=22622 vsize=8704 CPUtime=2.67 cores=1,3,5,7 /proc/22624/stat : 22624 (glucose.sh) S 22622 22624 22238 0 -1 4202496 360 34585 0 0 0 0 255 12 18 0 1 0 234376597 8912896 255 33554432000 4194304 4922060 140733977908160 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/22624/statm: 2176 255 211 178 0 69 0 [pid=22627] ppid=22624 vsize=49960 CPUtime=3.61 cores=1,3,5,7 /proc/22627/stat : 22627 (glucose_static) R 22624 22624 22238 0 -1 4202496 15192 0 0 0 359 2 0 0 25 0 1 0 234376865 51159040 8502 33554432000 4194304 4260849 140737390838992 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/22627/statm: 12490 8502 251 17 0 9131 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 58664 [startup+12.7005 s] /proc/loadavg: 2.00 2.00 1.83 3/180 22627 /proc/meminfo: memFree=19407132/32951124 swapFree=67111528/67111528 [pid=22624] ppid=22622 vsize=8704 CPUtime=2.67 cores=1,3,5,7 /proc/22624/stat : 22624 (glucose.sh) S 22622 22624 22238 0 -1 4202496 360 34585 0 0 0 0 255 12 18 0 1 0 234376597 8912896 255 33554432000 4194304 4922060 140733977908160 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/22624/statm: 2176 255 211 178 0 69 0 [pid=22627] ppid=22624 vsize=80400 CPUtime=10 cores=1,3,5,7 /proc/22627/stat : 22627 (glucose_static) R 22624 22624 22238 0 -1 4202496 22439 0 0 0 998 2 0 0 25 0 1 0 234376865 82329600 15409 33554432000 4194304 4260849 140737390838992 18446744073709551615 4209488 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/22627/statm: 20100 15409 251 17 0 16741 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 89104 Solver just ended. Dumping a history of the last processes samples [startup+19.1004 s] /proc/loadavg: 2.00 2.00 1.83 3/180 22627 /proc/meminfo: memFree=19376228/32951124 swapFree=67111528/67111528 [pid=22624] ppid=22622 vsize=8704 CPUtime=2.67 cores=1,3,5,7 /proc/22624/stat : 22624 (glucose.sh) S 22622 22624 22238 0 -1 4202496 360 34585 0 0 0 0 255 12 18 0 1 0 234376597 8912896 255 33554432000 4194304 4922060 140733977908160 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/22624/statm: 2176 255 211 178 0 69 0 [pid=22627] ppid=22624 vsize=80400 CPUtime=16.4 cores=1,3,5,7 /proc/22627/stat : 22627 (glucose_static) R 22624 22624 22238 0 -1 4202496 22444 0 0 0 1638 2 0 0 25 0 1 0 234376865 82329600 15414 33554432000 4194304 4260849 140737390838992 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/22627/statm: 20100 15414 251 17 0 16741 0 Current children cumulated CPU time (s) 19.07 Current children cumulated vsize (KiB) 89104 [startup+20.7011 s] /proc/loadavg: 2.00 2.00 1.83 3/180 22627 /proc/meminfo: memFree=19375856/32951124 swapFree=67111528/67111528 [pid=22624] ppid=22622 vsize=8704 CPUtime=2.67 cores=1,3,5,7 /proc/22624/stat : 22624 (glucose.sh) S 22622 22624 22238 0 -1 4202496 360 34585 0 0 0 0 255 12 18 0 1 0 234376597 8912896 255 33554432000 4194304 4922060 140733977908160 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/22624/statm: 2176 255 211 178 0 69 0 [pid=22627] ppid=22624 vsize=80400 CPUtime=18 cores=1,3,5,7 /proc/22627/stat : 22627 (glucose_static) R 22624 22624 22238 0 -1 4202496 22444 0 0 0 1798 2 0 0 25 0 1 0 234376865 82329600 15414 33554432000 4194304 4260849 140737390838992 18446744073709551615 4224671 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/22627/statm: 20100 15414 251 17 0 16741 0 Current children cumulated CPU time (s) 20.67 Current children cumulated vsize (KiB) 89104 [startup+21.5009 s] /proc/loadavg: 2.00 2.00 1.83 3/180 22627 /proc/meminfo: memFree=19375732/32951124 swapFree=67111528/67111528 [pid=22624] ppid=22622 vsize=8704 CPUtime=2.67 cores=1,3,5,7 /proc/22624/stat : 22624 (glucose.sh) S 22622 22624 22238 0 -1 4202496 360 34585 0 0 0 0 255 12 18 0 1 0 234376597 8912896 255 33554432000 4194304 4922060 140733977908160 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/22624/statm: 2176 255 211 178 0 69 0 [pid=22627] ppid=22624 vsize=80400 CPUtime=18.8 cores=1,3,5,7 /proc/22627/stat : 22627 (glucose_static) R 22624 22624 22238 0 -1 4202496 22444 0 0 0 1878 2 0 0 25 0 1 0 234376865 82329600 15414 33554432000 4194304 4260849 140737390838992 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/22627/statm: 20100 15414 251 17 0 16741 0 Current children cumulated CPU time (s) 21.47 Current children cumulated vsize (KiB) 89104 [startup+22.3008 s] /proc/loadavg: 2.08 2.02 1.84 3/180 22627 /proc/meminfo: memFree=19374988/32951124 swapFree=67111528/67111528 [pid=22624] ppid=22622 vsize=8704 CPUtime=2.67 cores=1,3,5,7 /proc/22624/stat : 22624 (glucose.sh) S 22622 22624 22238 0 -1 4202496 360 34585 0 0 0 0 255 12 18 0 1 0 234376597 8912896 255 33554432000 4194304 4922060 140733977908160 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/22624/statm: 2176 255 211 178 0 69 0 [pid=22627] ppid=22624 vsize=80400 CPUtime=19.6 cores=1,3,5,7 /proc/22627/stat : 22627 (glucose_static) R 22624 22624 22238 0 -1 4202496 22444 0 0 0 1958 2 0 0 25 0 1 0 234376865 82329600 15414 33554432000 4194304 4260849 140737390838992 18446744073709551615 4210391 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/22627/statm: 20100 15414 251 17 0 16741 0 Current children cumulated CPU time (s) 22.27 Current children cumulated vsize (KiB) 89104 [startup+22.7007 s] /proc/loadavg: 2.08 2.02 1.84 3/180 22627 /proc/meminfo: memFree=19374988/32951124 swapFree=67111528/67111528 [pid=22624] ppid=22622 vsize=8704 CPUtime=2.67 cores=1,3,5,7 /proc/22624/stat : 22624 (glucose.sh) S 22622 22624 22238 0 -1 4202496 360 34585 0 0 0 0 255 12 18 0 1 0 234376597 8912896 255 33554432000 4194304 4922060 140733977908160 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/22624/statm: 2176 255 211 178 0 69 0 [pid=22627] ppid=22624 vsize=80400 CPUtime=20.01 cores=1,3,5,7 /proc/22627/stat : 22627 (glucose_static) R 22624 22624 22238 0 -1 4202496 22948 0 0 0 1998 3 0 0 25 0 1 0 234376865 82329600 15852 33554432000 4194304 4260849 140737390838992 18446744073709551615 4221289 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/22627/statm: 20100 15854 251 17 0 16741 0 Current children cumulated CPU time (s) 22.68 Current children cumulated vsize (KiB) 89104 [startup+22.8007 s] /proc/loadavg: 2.08 2.02 1.84 3/180 22627 /proc/meminfo: memFree=19374988/32951124 swapFree=67111528/67111528 [pid=22624] ppid=22622 vsize=8704 CPUtime=2.67 cores=1,3,5,7 /proc/22624/stat : 22624 (glucose.sh) S 22622 22624 22238 0 -1 4202496 360 34585 0 0 0 0 255 12 18 0 1 0 234376597 8912896 255 33554432000 4194304 4922060 140733977908160 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/22624/statm: 2176 255 211 178 0 69 0 [pid=22627] ppid=22624 vsize=80400 CPUtime=20.11 cores=1,3,5,7 /proc/22627/stat : 22627 (glucose_static) R 22624 22624 22238 0 -1 4202496 23615 0 0 0 2008 3 0 0 25 0 1 0 234376865 82329600 16429 33554432000 4194304 4260849 140737390838992 18446744073709551615 4224845 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/22627/statm: 20100 16429 251 17 0 16741 0 Current children cumulated CPU time (s) 22.78 Current children cumulated vsize (KiB) 89104 Child status: 20 Real time (s): 22.8888 CPU time (s): 22.8865 CPU user time (s): 22.7215 CPU system time (s): 0.164974 CPU usage (%): 99.99 Max. virtual memory (cumulated for all children) (KiB): 158488 getrusage(RUSAGE_CHILDREN,...) data: user time used= 22.7215 system time used= 0.164974 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 58776 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= 13 involuntary context switches= 128 runsolver used 0.042993 second user time and 0.088986 second system time The end
Begin job on node107 at 2011-04-27 12:57:33 IDJOB=3303665 IDBENCH=20495 IDSOLVER=1687 FILE ID=node107/3303665-1303901853 RUNJOBID= node107-1303899345-22257 PBS_JOBID= 13164541 Free space on /tmp= 71804 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT07/industrial/manolios/manol-pipe-f7idw.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303665-1303901853/watcher-3303665-1303901853 -o /tmp/evaluation-result-3303665-1303901853/solver-3303665-1303901853 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303665-1303901853.cnf TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e11b8f7666247454d93edb47f1646e2c RANDOM SEED=183962839 node107.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.829 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.65 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.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 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.67 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.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 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.829 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 : 5359.47 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.829 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.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 19499900 kB Buffers: 2043636 kB Cached: 10773708 kB SwapCached: 0 kB Active: 8434780 kB Inactive: 4534252 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 19499900 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 15360 kB Writeback: 0 kB AnonPages: 151236 kB Mapped: 15220 kB Slab: 417220 kB PageTables: 4952 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 293484 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= 71804 MiB End job on node107 at 2011-04-27 12:57:56