0.00/0.00 c Parsing...
0.00/0.06 c ==============================================================================
0.00/0.06 c | | ORIGINAL | LEARNT | |
0.00/0.06 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.06 c ==============================================================================
0.00/0.06 c | 0 | 114011 339448 | 34203 0 0 nan | 0.000 % |
0.99/1.04 c | 0 | 113182 490657 | -- 0 -- -- | -- | -829/151209
0.99/1.04 c ==============================================================================
0.99/1.04 c Result : #vars: 1091 #clauses: 113182 #literals: 490657
0.99/1.04 c CPU time: 1.01684 s
0.99/1.04 c ==============================================================================
1.09/1.18 c This is MiniSat 2.0 beta
1.09/1.18 c WARNING: for repeatability, setting FPU to use double precision
1.09/1.18 c ============================[ Problem Statistics ]=============================
1.09/1.18 c | |
1.09/1.19 c | Number of variables: 1091 |
1.09/1.19 c | Number of clauses: 113182 |
1.16/1.25 c | Parsing time: 0.06 s |
1.16/1.25 c ============================[ Search Statistics ]==============================
1.16/1.25 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.16/1.25 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.16/1.25 c ===============================================================================
1.16/1.25 c | 0 | 1091 113182 490657 | 37727 0 nan | 0.000 % |
1.16/1.30 c | 102 | 1091 113182 490657 | 37727 102 65 | 0.000 % |
1.16/1.31 c | 203 | 1091 113182 490657 | 37727 203 54 | 0.000 % |
1.16/1.35 c | 303 | 1091 113182 490657 | 37727 303 59 | 0.000 % |
1.16/1.38 c | 414 | 1091 113182 490657 | 37727 414 62 | 0.000 % |
1.16/1.42 c | 514 | 1091 113182 490657 | 37727 514 61 | 0.000 % |
1.16/1.45 c | 626 | 1091 113182 490657 | 37727 626 67 | 0.000 % |
1.16/1.49 c | 750 | 1091 113182 490657 | 37727 750 69 | 0.000 % |
1.16/1.53 c | 852 | 1091 113182 490657 | 37727 852 68 | 0.000 % |
1.16/1.57 c | 962 | 1091 113182 490657 | 37727 962 69 | 0.000 % |
1.16/1.63 c | 1085 | 1091 113182 490657 | 37727 1085 69 | 0.000 % |
1.16/1.67 c | 1221 | 1091 113182 490657 | 37727 1221 69 | 0.000 % |
1.16/1.70 c | 1321 | 1091 113182 490657 | 37727 1321 70 | 0.000 % |
1.16/1.76 c | 1433 | 1091 113182 490657 | 37727 1433 68 | 0.000 % |
1.16/1.81 c | 1555 | 1091 113182 490657 | 37727 1555 66 | 0.000 % |
1.16/1.87 c | 1690 | 1091 113182 490657 | 37727 1690 67 | 0.000 % |
1.16/1.91 c | 1836 | 1091 113182 490657 | 37727 1836 67 | 0.000 % |
1.16/1.94 c | 1938 | 1091 113182 490657 | 37727 1938 68 | 0.000 % |
1.16/1.96 c | 2048 | 1091 113182 490657 | 37727 2048 69 | 0.000 % |
1.16/1.98 c | 2169 | 1091 113182 490657 | 37727 2169 69 | 0.000 % |
1.16/2.01 c | 2302 | 1091 113182 490657 | 37727 2302 70 | 0.000 % |
1.16/2.03 c | 2449 | 1091 113182 490657 | 37727 2449 70 | 0.000 % |
1.16/2.07 c | 2610 | 1091 113182 490657 | 37727 2610 71 | 0.000 % |
1.16/2.09 c | 2710 | 1091 113182 490657 | 37727 2710 71 | 0.000 % |
2.07/2.11 c | 2820 | 1091 113182 490657 | 37727 2820 71 | 0.000 % |
2.07/2.13 c | 2941 | 1091 113182 490657 | 37727 2941 72 | 0.000 % |
2.07/2.16 c | 3075 | 1091 113182 490657 | 37727 3075 72 | 0.000 % |
2.17/2.21 c | 3222 | 1091 113182 490657 | 37727 3222 72 | 0.000 % |
2.17/2.27 c | 3382 | 1091 113182 490657 | 37727 3382 72 | 0.000 % |
2.26/2.33 c | 3559 | 1091 113182 490657 | 37727 3559 72 | 0.000 % |
2.26/2.36 c | 3659 | 1091 113182 490657 | 37727 3659 72 | 0.000 % |
2.26/2.39 c | 3771 | 1091 113182 490657 | 37727 3771 72 | 0.000 % |
2.36/2.42 c | 3892 | 1091 113182 490657 | 37727 3892 72 | 0.000 % |
2.36/2.45 c | 4027 | 1091 113182 490657 | 37727 4027 72 | 0.000 % |
2.36/2.49 c | 4173 | 1091 113182 490657 | 37727 4173 72 | 0.000 % |
2.46/2.53 c | 4334 | 1091 113182 490657 | 37727 4334 73 | 0.000 % |
2.46/2.57 c | 4510 | 1091 113182 490657 | 37727 4510 73 | 0.000 % |
2.56/2.62 c | 4703 | 1091 113182 490657 | 37727 4703 73 | 0.000 % |
2.56/2.64 c | 4805 | 1091 113182 490657 | 37727 4805 73 | 0.000 % |
2.56/2.68 c | 4915 | 1091 113182 490657 | 37727 4915 73 | 0.000 % |
2.66/2.74 c | 5036 | 1091 113182 490657 | 37727 5036 73 | 0.000 % |
2.76/2.80 c | 5171 | 1091 113182 490657 | 37727 5171 74 | 0.000 % |
2.76/2.84 c | 5318 | 1091 113182 490657 | 37727 5318 74 | 0.000 % |
2.76/2.89 c | 5478 | 1091 113182 490657 | 37727 5478 74 | 0.000 % |
2.86/2.96 c | 5654 | 1091 113182 490657 | 37727 5654 74 | 0.000 % |
2.96/3.02 c | 5848 | 1091 113182 490657 | 37727 5848 74 | 0.000 % |
2.96/3.08 c | 6060 | 1091 113182 490657 | 37727 6060 75 | 0.000 % |
3.06/3.13 c | 6162 | 1091 113182 490657 | 37727 6162 75 | 0.000 % |
3.06/3.17 c | 6272 | 1091 113182 490657 | 37727 6272 75 | 0.000 % |
3.17/3.22 c | 6394 | 1091 113182 490657 | 37727 6394 75 | 0.000 % |
3.17/3.26 c | 6528 | 1091 113182 490657 | 37727 6528 75 | 0.000 % |
3.27/3.33 c | 6674 | 1091 113182 490657 | 37727 6674 75 | 0.000 % |
3.27/3.39 c | 6834 | 1091 113182 490657 | 37727 6834 75 | 0.000 % |
3.36/3.46 c | 7010 | 1091 113182 490657 | 37727 7010 75 | 0.000 % |
3.46/3.53 c | 7206 | 1091 113182 490657 | 37727 7206 75 | 0.000 % |
3.56/3.63 c | 7419 | 1091 113182 490657 | 37727 7419 75 | 0.000 % |
3.66/3.72 c | 7652 | 1091 113182 490657 | 37727 7652 75 | 0.000 % |
3.66/3.77 c | 7752 | 1091 113182 490657 | 37727 7752 75 | 0.000 % |
3.76/3.83 c | 7862 | 1091 113182 490657 | 37727 7862 75 | 0.000 % |
3.76/3.88 c | 7983 | 1091 113182 490657 | 37727 7983 75 | 0.000 % |
3.86/3.95 c | 8116 | 1091 113182 490657 | 37727 8116 75 | 0.000 % |
3.96/4.02 c | 8266 | 1091 113182 490657 | 37727 8266 75 | 0.000 % |
4.06/4.13 c | 8427 | 1091 113182 490657 | 37727 8427 75 | 0.000 % |
4.16/4.21 c | 8606 | 1091 113182 490657 | 37727 8606 75 | 0.000 % |
4.27/4.30 c | 8799 | 1091 113182 490657 | 37727 8799 75 | 0.000 % |
4.36/4.41 c | 9012 | 1091 113182 490657 | 37727 9012 75 | 0.000 % |
4.36/4.48 c | 9245 | 1091 113182 490657 | 37727 9245 75 | 0.000 % |
4.66/4.72 c | 9501 | 1091 113182 490657 | 37727 9501 75 | 0.000 % |
4.76/4.82 c | 9601 | 1091 113182 490657 | 37727 9601 75 | 0.000 % |
4.86/4.90 c | 9711 | 1091 113182 490657 | 37727 9711 75 | 0.000 % |
4.86/4.98 c | 9832 | 1091 113182 490657 | 37727 9832 75 | 0.000 % |
4.96/5.06 c | 9970 | 1091 113182 490657 | 37727 9970 74 | 0.000 % |
5.06/5.14 c | 10116 | 1091 113182 490657 | 2147483647 10116 74 | 0.000 % |
5.16/5.23 c | 10276 | 1091 113182 490657 | 2147483647 10276 73 | 0.000 % |
5.26/5.34 c | 10454 | 1091 113182 490657 | 2147483647 10454 72 | 0.000 % |
5.36/5.45 c | 10653 | 1091 113182 490657 | 2147483647 10653 72 | 0.000 % |
5.46/5.60 c | 10865 | 1091 113182 490657 | 2147483647 10865 71 | 0.000 % |
5.66/5.76 c | 11098 | 1091 113182 490657 | 2147483647 11098 70 | 0.000 % |
5.86/5.99 c | 11354 | 1091 113182 490657 | 2147483647 11354 70 | 0.000 % |
6.06/6.13 c | 11635 | 1091 113182 490657 | 2147483647 11635 70 | 0.000 % |
6.16/6.21 c | 11735 | 1091 113182 490657 | 2147483647 11735 70 | 0.000 % |
6.16/6.24 c | 11845 | 1091 113182 490657 | 2147483647 11845 70 | 0.000 % |
6.26/6.31 c | 11967 | 1091 113182 490657 | 2147483647 11967 70 | 0.000 % |
6.26/6.36 c | 12101 | 1091 113182 490657 | 2147483647 12101 70 | 0.000 % |
6.36/6.43 c | 12247 | 1091 113182 490657 | 2147483647 12247 70 | 0.000 % |
6.36/6.49 c | 12409 | 1091 113182 490657 | 2147483647 12409 70 | 0.000 % |
6.46/6.56 c | 12586 | 1091 113182 490657 | 2147483647 12586 71 | 0.000 % |
6.56/6.60 c | 12779 | 1091 113182 490657 | 2147483647 12779 71 | 0.000 % |
6.56/6.64 c | 12992 | 1091 113182 490657 | 2147483647 12992 71 | 0.000 % |
6.56/6.69 c | 13227 | 1091 113182 490657 | 2147483647 13227 71 | 0.000 % |
6.66/6.74 c | 13483 | 1091 113182 490657 | 2147483647 13483 71 | 0.000 % |
6.76/6.80 c | 13765 | 1091 113182 490657 | 2147483647 13765 72 | 0.000 % |
6.76/6.87 c | 14078 | 1091 113182 490657 | 2147483647 14078 72 | 0.000 % |
6.86/6.90 c | 14179 | 1091 113182 490657 | 2147483647 14179 72 | 0.000 % |
6.86/6.93 c | 14289 | 1091 113182 490657 | 2147483647 14289 72 | 0.000 % |
6.86/6.96 c | 14410 | 1091 113182 490657 | 2147483647 14410 73 | 0.000 % |
6.86/6.99 c | 14544 | 1091 113182 490657 | 2147483647 14544 73 | 0.000 % |
6.96/7.02 c | 14690 | 1091 113182 490657 | 2147483647 14690 73 | 0.000 % |
6.96/7.07 c | 14851 | 1091 113182 490657 | 2147483647 14851 73 | 0.000 % |
7.06/7.13 c | 15030 | 1091 113182 490657 | 2147483647 15030 73 | 0.000 % |
7.06/7.19 c | 15223 | 1091 113182 490657 | 2147483647 15223 73 | 0.000 % |
7.16/7.24 c | 15435 | 1091 113182 490657 | 2147483647 15435 73 | 0.000 % |
7.16/7.29 c | 15668 | 1091 113182 490657 | 2147483647 15668 74 | 0.000 % |
7.36/7.41 c | 15925 | 1091 113182 490657 | 2147483647 15925 74 | 0.000 % |
7.46/7.56 c | 16206 | 1091 113182 490657 | 2147483647 16206 74 | 0.000 % |
7.56/7.69 c | 16517 | 1091 113182 490657 | 2147483647 16517 75 | 0.000 % |
7.76/7.85 c | 16859 | 1091 113182 490657 | 2147483647 16859 75 | 0.000 % |
7.86/7.91 c | 16959 | 1091 113182 490657 | 2147483647 16959 75 | 0.000 % |
7.86/7.96 c | 17069 | 1091 113182 490657 | 2147483647 17069 75 | 0.000 % |
7.96/8.03 c | 17193 | 1091 113182 490657 | 2147483647 17193 75 | 0.000 % |
8.06/8.10 c | 17328 | 1091 113182 490657 | 2147483647 17328 75 | 0.000 % |
8.06/8.17 c | 17474 | 1091 113182 490657 | 2147483647 17474 75 | 0.000 % |
8.16/8.25 c | 17635 | 1091 113182 490657 | 2147483647 17635 75 | 0.000 % |
8.26/8.32 c | 17812 | 1091 113182 490657 | 2147483647 17812 75 | 0.000 % |
8.26/8.37 c | 18005 | 1091 113182 490657 | 2147483647 18005 75 | 0.001 % |
8.46/8.51 c | 18217 | 1091 113182 490657 | 2147483647 18217 76 | 0.000 % |
8.56/8.65 c | 18451 | 1091 113182 490657 | 2147483647 18451 76 | 0.000 % |
8.77/8.83 c | 18707 | 1091 113182 490657 | 2147483647 18707 76 | 0.000 % |
8.96/9.04 c | 18989 | 1091 113182 490657 | 2147483647 18989 76 | 0.000 % |
9.16/9.25 c | 19299 | 1091 113182 490657 | 2147483647 19299 76 | 0.000 % |
9.36/9.46 c | 19640 | 1091 113182 490657 | 2147483647 19640 77 | 0.000 % |
9.66/9.75 c | 20013 | 1091 113182 490657 | 2147483647 20013 77 | 0.000 % |
9.77/9.83 c | 20113 | 1091 113182 490657 | 2147483647 20113 77 | 0.000 % |
9.87/9.91 c | 20223 | 1091 113182 490657 | 2147483647 20223 77 | 0.000 % |
9.87/9.98 c | 20345 | 1091 113182 490657 | 2147483647 20345 77 | 0.000 % |
9.96/10.09 c | 20482 | 1091 113182 490657 | 2147483647 20482 77 | 0.000 % |
10.06/10.19 c | 20629 | 1091 113182 490657 | 2147483647 20629 77 | 0.000 % |
10.26/10.32 c | 20789 | 1091 113182 490657 | 2147483647 20789 77 | 0.000 % |
10.36/10.46 c | 20966 | 1091 113182 490657 | 2147483647 20966 77 | 0.000 % |
10.56/10.63 c | 21159 | 1091 113182 490657 | 2147483647 21159 77 | 0.000 % |
10.66/10.76 c | 21372 | 1091 113182 490657 | 2147483647 21372 77 | 0.000 % |
11.06/11.15 c | 21605 | 1091 113182 490657 | 2147483647 21605 77 | 0.000 % |
11.36/11.40 c | 21861 | 1091 113182 490657 | 2147483647 21861 77 | 0.000 % |
11.46/11.56 c | 22143 | 1091 113182 490657 | 2147483647 22143 77 | 0.000 % |
11.76/11.80 c | 22452 | 1091 113182 490657 | 2147483647 22452 78 | 0.000 % |
12.16/12.20 c | 22791 | 1091 113182 490657 | 2147483647 22791 78 | 0.000 % |
12.56/12.63 c | 23163 | 1091 113182 490657 | 2147483647 23163 78 | 0.000 % |
13.06/13.15 c | 23572 | 1091 113182 490657 | 2147483647 23572 78 | 0.000 % |
13.16/13.27 c | 23672 | 1091 113182 490657 | 2147483647 23672 78 | 0.000 % |
13.46/13.50 c | 23783 | 1091 113182 490657 | 2147483647 23783 78 | 0.000 % |
13.66/13.71 c | 23905 | 1091 113182 490657 | 2147483647 23905 78 | 0.000 % |
13.86/13.95 c | 24041 | 1091 113182 490657 | 2147483647 24041 78 | 0.000 % |
14.06/14.13 c | 24188 | 1091 113182 490657 | 2147483647 24188 78 | 0.000 % |
14.26/14.38 c | 24349 | 1091 113182 490657 | 2147483647 24349 78 | 0.000 % |
14.46/14.56 c | 24526 | 1091 113182 490657 | 2147483647 24526 78 | 0.000 % |
14.76/14.84 c | 24720 | 1091 113182 490657 | 2147483647 24720 78 | 0.000 % |
15.15/15.23 c | 24932 | 1091 113182 490657 | 2147483647 24932 79 | 0.000 % |
15.55/15.66 c | 25165 | 1091 113182 490657 | 2147483647 25165 79 | 0.000 % |
15.95/16.00 c | 25421 | 1091 113182 490657 | 2147483647 25421 79 | 0.000 % |
16.25/16.35 c | 25702 | 1091 113182 490657 | 2147483647 25702 79 | 0.000 % |
16.66/16.76 c | 26011 | 1091 113182 490657 | 2147483647 26011 79 | 0.000 % |
17.36/17.41 c | 26350 | 1091 113182 490657 | 2147483647 26350 79 | 0.000 % |
17.86/17.98 c | 26723 | 1091 113182 490657 | 2147483647 26723 79 | 0.000 % |
18.36/18.41 c | 27134 | 1091 113182 490657 | 2147483647 27134 79 | 0.000 % |
18.96/19.01 c | 27584 | 1091 113182 490657 | 2147483647 27584 79 | 0.000 % |
19.06/19.16 c | 27684 | 1091 113182 490657 | 2147483647 27684 79 | 0.000 % |
19.26/19.30 c | 27794 | 1091 113182 490657 | 2147483647 27794 79 | 0.000 % |
19.36/19.44 c | 27916 | 1091 113182 490657 | 2147483647 27916 79 | 0.000 % |
19.56/19.60 c | 28050 | 1091 113182 490657 | 2147483647 28050 79 | 0.000 % |
19.66/19.79 c | 28199 | 1091 113182 490657 | 2147483647 28199 79 | 0.000 % |
19.86/19.98 c | 28359 | 1091 113182 490657 | 2147483647 28359 79 | 0.000 % |
20.16/20.25 c | 28536 | 1091 113182 490657 | 2147483647 28536 79 | 0.000 % |
20.46/20.53 c | 28733 | 1091 113182 490657 | 2147483647 28733 79 | 0.000 % |
20.66/20.77 c | 28945 | 1091 113182 490657 | 2147483647 28945 79 | 0.000 % |
20.96/21.08 c | 29180 | 1091 113182 490657 | 2147483647 29180 79 | 0.000 % |
21.26/21.31 c | 29436 | 1091 113182 490657 | 2147483647 29436 79 | 0.000 % |
21.76/21.80 c | 29718 | 1091 113182 490657 | 2147483647 29718 79 | 0.000 % |
22.16/22.24 c | 30028 | 1091 113182 490657 | 2147483647 30028 80 | 0.000 % |
22.86/22.97 c | 30367 | 1091 113182 490657 | 2147483647 30367 80 | 0.000 % |
23.66/23.75 c | 30739 | 1091 113182 490657 | 2147483647 30739 80 | 0.000 % |
24.16/24.28 c | 31148 | 1091 113182 490657 | 2147483647 31148 80 | 0.000 % |
25.26/25.36 c | 31598 | 1091 113182 490657 | 2147483647 31598 80 | 0.000 % |
26.26/26.34 c | 32092 | 1091 113182 490657 | 2147483647 32092 80 | 0.000 % |
26.45/26.52 c | 32193 | 1091 113182 490657 | 2147483647 32193 80 | 0.000 % |
26.65/26.78 c | 32303 | 1091 113182 490657 | 2147483647 32303 80 | 0.000 % |
26.95/27.07 c | 32426 | 1091 113182 490657 | 2147483647 32426 80 | 0.000 % |
27.25/27.39 c | 32559 | 1091 113182 490657 | 2147483647 32559 80 | 0.000 % |
27.55/27.67 c | 32707 | 1091 113182 490657 | 2147483647 32707 80 | 0.000 % |
28.05/28.11 c | 32867 | 1091 113182 490657 | 2147483647 32867 80 | 0.000 % |
28.46/28.55 c | 33043 | 1091 113182 490657 | 2147483647 33043 80 | 0.000 % |
28.95/29.02 c | 33238 | 1091 113182 490657 | 2147483647 33238 80 | 0.000 % |
29.35/29.48 c | 33452 | 1091 113182 490657 | 2147483647 33452 80 | 0.000 % |
29.95/30.03 c | 33686 | 1091 113182 490657 | 2147483647 33686 80 | 0.000 % |
30.55/30.64 c | 33942 | 1091 113182 490657 | 2147483647 33942 80 | 0.000 % |
31.25/31.33 c | 34223 | 1091 113182 490657 | 2147483647 34223 80 | 0.000 % |
32.05/32.14 c | 34533 | 1091 113182 490657 | 2147483647 34533 80 | 0.000 % |
32.65/32.76 c | 34872 | 1091 113182 490657 | 2147483647 34872 80 | 0.000 % |
33.15/33.20 c | 35244 | 1091 113182 490657 | 2147483647 35244 80 | 0.000 % |
33.25/33.39 c | 35654 | 1091 113182 490657 | 2147483647 35654 81 | 0.000 % |
33.45/33.52 c | 36103 | 1091 113182 490657 | 2147483647 36103 81 | 0.000 % |
33.55/33.67 c | 36597 | 1091 113182 490657 | 2147483647 36597 81 | 0.000 % |
33.75/33.82 c | 37140 | 1091 113182 490657 | 2147483647 37140 81 | 0.000 % |
33.75/33.85 c | 37240 | 1091 113182 490657 | 2147483647 37240 81 | 0.000 % |
33.75/33.88 c | 37350 | 1091 113182 490657 | 2147483647 37350 81 | 0.000 % |
33.85/33.95 c | 37471 | 1091 113182 490657 | 2147483647 37471 81 | 0.000 % |
33.85/34.00 c | 37604 | 1091 113182 490657 | 2147483647 37604 81 | 0.000 % |
33.95/34.06 c | 37750 | 1091 113182 490657 | 2147483647 37750 81 | 0.000 % |
34.05/34.13 c | 37910 | 1091 113182 490657 | 2147483647 37910 81 | 0.000 % |
34.14/34.23 c | 38087 | 1091 113182 490657 | 2147483647 38087 81 | 0.000 % |
34.24/34.32 c | 38280 | 1091 113182 490657 | 2147483647 38280 81 | 0.000 % |
34.34/34.41 c | 38492 | 1091 113182 490657 | 2147483647 38492 81 | 0.000 % |
34.44/34.52 c | 38729 | 1091 113182 490657 | 2147483647 38729 81 | 0.000 % |
34.54/34.63 c | 38985 | 1091 113182 490657 | 2147483647 38985 81 | 0.000 % |
34.74/34.80 c | 39267 | 1091 113182 490657 | 2147483647 39267 81 | 0.000 % |
34.84/34.98 c | 39577 | 1091 113182 490657 | 2147483647 39577 81 | 0.000 % |
35.05/35.17 c | 39916 | 1091 113182 490657 | 2147483647 39916 81 | 0.000 % |
35.24/35.38 c | 40290 | 1091 113182 490657 | 2147483647 40290 81 | 0.000 % |
35.44/35.58 c | 40702 | 1091 113182 490657 | 2147483647 40702 81 | 0.000 % |
35.74/35.82 c | 41151 | 1091 113182 490657 | 2147483647 41151 81 | 0.000 % |
35.94/36.09 c | 41645 | 1091 113182 490657 | 2147483647 41645 81 | 0.000 % |
36.44/36.55 c | 42188 | 1091 113182 490657 | 2147483647 42188 81 | 0.000 % |
36.84/36.95 c | 42786 | 1091 113182 490657 | 2147483647 42786 81 | 0.000 % |
36.94/37.03 c | 42886 | 1091 113182 490657 | 2147483647 42886 81 | 0.000 % |
37.04/37.11 c | 42996 | 1091 113182 490657 | 2147483647 42996 81 | 0.000 % |
37.04/37.20 c | 43117 | 1091 113182 490657 | 2147483647 43117 81 | 0.000 % |
37.24/37.30 c | 43250 | 1091 113182 490657 | 2147483647 43250 81 | 0.000 % |
37.34/37.45 c | 43396 | 1091 113182 490657 | 2147483647 43396 81 | 0.000 % |
37.54/37.70 c | 43556 | 1091 113182 490657 | 2147483647 43556 81 | 0.000 % |
37.64/37.78 c | 43733 | 1091 113182 490657 | 2147483647 43733 81 | 0.000 % |
37.74/37.87 c | 43927 | 1091 113182 490657 | 2147483647 43927 81 | 0.001 % |
37.84/37.95 c | 44139 | 1091 113182 490657 | 2147483647 44139 81 | 0.000 % |
37.94/38.04 c | 44372 | 1091 113182 490657 | 2147483647 44372 81 | 0.000 % |
38.04/38.16 c | 44629 | 1091 113182 490657 | 2147483647 44629 81 | 0.000 % |
38.45/38.55 c | 44911 | 1091 113182 490657 | 2147483647 44911 81 | 0.000 % |
38.95/39.01 c | 45221 | 1091 113182 490657 | 2147483647 45221 81 | 0.000 % |
39.45/39.52 c | 45560 | 1091 113182 490657 | 2147483647 45560 81 | 0.000 % |
39.84/39.91 c | 45933 | 1091 113182 490657 | 2147483647 45933 81 | 0.000 % |
40.34/40.40 c | 46343 | 1091 113182 490657 | 2147483647 46343 81 | 0.000 % |
40.84/40.93 c | 46792 | 1091 113182 490657 | 2147483647 46792 81 | 0.000 % |
41.54/41.64 c | 47286 | 1091 113182 490657 | 2147483647 47286 81 | 0.000 % |
42.24/42.34 c | 47828 | 1091 113182 490657 | 2147483647 47828 81 | 0.000 % |
43.04/43.16 c | 48426 | 1091 113182 490657 | 2147483647 48426 81 | 0.000 % |
43.54/43.63 c | 49084 | 1091 113182 490657 | 2147483647 49084 81 | 0.000 % |
43.64/43.77 c | 49186 | 1091 113182 490657 | 2147483647 49186 81 | 0.000 % |
43.84/43.97 c | 49296 | 1091 113182 490657 | 2147483647 49296 81 | 0.000 % |
44.04/44.17 c | 49419 | 1091 113182 490657 | 2147483647 49419 81 | 0.000 % |
44.33/44.42 c | 49553 | 1091 113182 490657 | 2147483647 49553 81 | 0.000 % |
44.63/44.70 c | 49699 | 1091 113182 490657 | 2147483647 49699 81 | 0.000 % |
44.84/44.98 c | 49860 | 1091 113182 490657 | 2147483647 49860 81 | 0.000 % |
45.24/45.34 c | 50036 | 1091 113182 490657 | 2147483647 50036 82 | 0.000 % |
45.73/45.83 c | 50231 | 1091 113182 490657 | 2147483647 50231 82 | 0.000 % |
46.14/46.26 c | 50444 | 1091 113182 490657 | 2147483647 50444 82 | 0.000 % |
46.54/46.69 c | 50678 | 1091 113182 490657 | 2147483647 50678 82 | 0.000 % |
47.03/47.19 c | 50934 | 1091 113182 490657 | 2147483647 50934 82 | 0.000 % |
47.63/47.75 c | 51215 | 1091 113182 490657 | 2147483647 51215 82 | 0.000 % |
48.13/48.30 c | 51525 | 1091 113182 490657 | 2147483647 51525 82 | 0.000 % |
49.13/49.22 c | 51867 | 1091 113182 490657 | 2147483647 51867 82 | 0.000 % |
49.63/49.76 c | 52239 | 1091 113182 490657 | 2147483647 52239 82 | 0.000 % |
50.43/50.54 c | 52648 | 1091 113182 490657 | 2147483647 52648 82 | 0.000 % |
51.23/51.38 c | 53097 | 1091 113182 490657 | 2147483647 53097 82 | 0.000 % |
52.13/52.27 c | 53591 | 1091 113182 490657 | 2147483647 53591 82 | 0.000 % |
53.53/53.63 c | 54134 | 1091 113182 490657 | 2147483647 54134 82 | 0.000 % |
54.32/54.42 c | 54731 | 1091 113182 490657 | 2147483647 54731 82 | 0.000 % |
56.03/56.15 c | 55386 | 1091 113182 490657 | 2147483647 55386 82 | 0.000 % |
57.72/57.81 c | 56108 | 1091 113182 490657 | 2147483647 56108 82 | 0.000 % |
58.32/58.45 c | 56209 | 1091 113182 490657 | 2147483647 56209 82 | 0.000 % |
58.72/58.82 c | 56320 | 1091 113182 490657 | 2147483647 56320 82 | 0.000 % |
59.12/59.28 c | 56441 | 1091 113182 490657 | 2147483647 56441 82 | 0.000 % |
59.52/59.66 c | 56574 | 1091 113182 490657 | 2147483647 56574 82 | 0.000 % |
59.82/59.95 c | 56722 | 1091 113182 490657 | 2147483647 56722 82 | 0.000 % |
60.32/60.40 c | 56884 | 1091 113182 490657 | 2147483647 56884 82 | 0.000 % |
60.72/60.81 c | 57060 | 1091 113182 490657 | 2147483647 57060 82 | 0.000 % |
61.22/61.30 c | 57254 | 1091 113182 490657 | 2147483647 57254 82 | 0.000 % |
61.82/61.90 c | 57467 | 1091 113182 490657 | 2147483647 57467 82 | 0.000 % |
62.22/62.37 c | 57700 | 1091 113182 490657 | 2147483647 57700 82 | 0.000 % |
62.72/62.86 c | 57956 | 1091 113182 490657 | 2147483647 57956 82 | 0.000 % |
63.22/63.39 c | 58238 | 1091 113182 490657 | 2147483647 58238 82 | 0.000 % |
64.02/64.18 c | 58548 | 1091 113182 490657 | 2147483647 58548 82 | 0.000 % |
65.42/65.51 c | 58887 | 1091 113182 490657 | 2147483647 58887 82 | 0.000 % |
67.32/67.46 c | 59260 | 1091 113182 490657 | 2147483647 59260 82 | 0.000 % |
69.82/69.91 c | 59670 | 1091 113182 490657 | 2147483647 59670 82 | 0.000 % |
72.82/72.91 c | 60119 | 1091 113182 490657 | 2147483647 60119 82 | 0.000 % |
76.02/76.11 c | 60613 | 1091 113182 490657 | 2147483647 60613 82 | 0.000 % |
78.62/78.72 c | 61155 | 1091 113182 490657 | 2147483647 61155 82 | 0.000 % |
81.12/81.26 c | 61753 | 1091 113182 490657 | 2147483647 61753 82 | 0.000 % |
83.32/83.42 c | 62410 | 1091 113182 490657 | 2147483647 62410 82 | 0.000 % |
85.72/85.83 c | 63132 | 1091 113182 490657 | 2147483647 63132 82 | 0.000 % |
87.71/87.88 c | 63924 | 1091 113182 490657 | 2147483647 63924 82 | 0.000 % |
87.91/88.03 c | 64026 | 1091 113182 490657 | 2147483647 64026 82 | 0.000 % |
88.41/88.58 c | 64136 | 1091 113182 490657 | 2147483647 64136 82 | 0.000 % |
88.91/89.03 c | 64257 | 1091 113182 490657 | 2147483647 64257 82 | 0.000 % |
89.31/89.43 c | 64390 | 1091 113182 490657 | 2147483647 64390 82 | 0.000 % |
89.71/89.87 c | 64537 | 1091 113182 490657 | 2147483647 64537 82 | 0.000 % |
90.50/90.64 c | 64698 | 1091 113182 490657 | 2147483647 64698 82 | 0.000 % |
91.20/91.37 c | 64875 | 1091 113182 490657 | 2147483647 64875 82 | 0.000 % |
91.40/91.52 c | 65071 | 1091 113182 490657 | 2147483647 65071 82 | 0.000 % |
92.20/92.34 c | 65283 | 1091 113182 490657 | 2147483647 65283 82 | 0.000 % |
93.00/93.13 c | 65517 | 1091 113182 490657 | 2147483647 65517 82 | 0.000 % |
93.70/93.89 c | 65773 | 1091 113182 490657 | 2147483647 65773 82 | 0.000 % |
94.81/94.96 c | 66054 | 1091 113182 490657 | 2147483647 66054 82 | 0.000 % |
95.81/95.97 c | 66363 | 1091 113182 490657 | 2147483647 66363 82 | 0.000 % |
96.90/97.08 c | 66703 | 1091 113182 490657 | 2147483647 66703 82 | 0.000 % |
98.00/98.10 c | 67079 | 1091 113182 490657 | 2147483647 67079 82 | 0.000 % |
99.40/99.55 c | 67489 | 1091 113182 490657 | 2147483647 67489 82 | 0.000 % |
100.30/100.47 c | 67940 | 1091 113182 490657 | 2147483647 67940 82 | 0.000 % |
101.40/101.60 c | 68434 | 1091 113182 490657 | 2147483647 68434 82 | 0.000 % |
102.10/102.21 c | 68977 | 1091 113182 490657 | 2147483647 68977 82 | 0.000 % |
105.90/106.03 c | 69573 | 1091 113182 490657 | 2147483647 69573 83 | 0.000 % |
110.39/110.52 c | 70231 | 1091 113182 490657 | 70000 70231 83 | 0.000 % |
113.49/113.65 c | 70951 | 1091 113182 490657 | 70000 57407 85 | 0.000 % |
116.19/116.37 c | 71743 | 1091 113182 490657 | 70000 58199 85 | 0.000 % |
118.09/118.29 c | 72615 | 1091 113182 490657 | 70000 59071 85 | 0.000 % |
118.39/118.50 c | 72715 | 1091 113182 490657 | 70000 59171 85 | 0.000 % |
118.60/118.80 c | 72826 | 1091 113182 490657 | 70000 59282 85 | 0.000 % |
118.99/119.17 c | 72947 | 1091 113182 490657 | 70000 59403 85 | 0.000 % |
119.29/119.44 c | 73080 | 1091 113182 490657 | 70000 59536 85 | 0.000 % |
119.59/119.75 c | 73226 | 1091 113182 490657 | 70000 59682 85 | 0.000 % |
119.99/120.15 c | 73386 | 1091 113182 490657 | 70000 59842 85 | 0.000 % |
120.39/120.59 c | 73563 | 1091 113182 490657 | 70000 60019 85 | 0.000 % |
120.79/120.91 c | 73757 | 1091 113182 490657 | 70000 60213 85 | 0.000 % |
120.99/121.10 c | 73969 | 1091 113182 490657 | 70000 60425 85 | 0.000 % |
121.29/121.43 c | 74202 | 1091 113182 490657 | 70000 60658 85 | 0.000 % |
121.59/121.76 c | 74458 | 1091 113182 490657 | 70000 60914 85 | 0.000 % |
122.49/122.62 c | 74739 | 1091 113182 490657 | 70000 61195 85 | 0.000 % |
123.09/123.23 c | 75048 | 1091 113182 490657 | 70000 61504 85 | 0.001 % |
126.09/126.29 c | 75389 | 1091 113182 490657 | 70000 61845 85 | 0.000 % |
128.19/128.37 c | 75764 | 1091 113182 490657 | 70000 62220 85 | 0.000 % |
130.09/130.23 c | 76173 | 1091 113182 490657 | 70000 62629 84 | 0.000 % |
131.49/131.64 c | 76622 | 1091 113182 490657 | 70000 63078 84 | 0.000 % |
133.39/133.53 c | 77116 | 1091 113182 490657 | 70000 63572 84 | 0.000 % |
135.09/135.25 c | 77658 | 1091 113182 490657 | 70000 64114 83 | 0.000 % |
137.58/137.75 c | 78256 | 1091 113182 490657 | 70000 64712 83 | 0.000 % |
139.68/139.86 c | 78917 | 1091 113182 490657 | 70000 65373 82 | 0.000 % |
141.98/142.18 c | 79638 | 1091 113182 490657 | 70000 66094 82 | 0.000 % |
144.08/144.24 c | 80432 | 1091 113182 490657 | 2147483647 66888 81 | 0.000 % |
145.48/145.67 c | 81303 | 1091 113182 490657 | 2147483647 67759 80 | 0.000 % |
147.78/147.96 c | 82261 | 1091 113182 490657 | 2147483647 68717 80 | 0.000 % |
148.08/148.23 c | 82363 | 1091 113182 490657 | 2147483647 68819 80 | 0.001 % |
148.68/148.84 c | 82473 | 1091 113182 490657 | 2147483647 68929 80 | 0.000 % |
149.08/149.27 c | 82594 | 1091 113182 490657 | 2147483647 69050 80 | 0.000 % |
149.58/149.78 c | 82727 | 1091 113182 490657 | 2147483647 69183 80 | 0.000 % |
150.08/150.26 c | 82874 | 1091 113182 490657 | 2147483647 69330 80 | 0.000 % |
150.88/151.04 c | 83035 | 1091 113182 490657 | 2147483647 69491 80 | 0.000 % |
151.78/151.97 c | 83215 | 1091 113182 490657 | 2147483647 69671 80 | 0.000 % |
152.68/152.85 c | 83408 | 1091 113182 490657 | 2147483647 69864 79 | 0.000 % |
154.28/154.40 c | 83620 | 1091 113182 490657 | 2147483647 70076 79 | 0.000 % |
155.38/155.54 c | 83854 | 1091 113182 490657 | 2147483647 70310 79 | 0.000 % |
155.68/155.84 c | 84112 | 1091 113182 490657 | 2147483647 70568 79 | 0.000 % |
155.88/156.07 c | 84393 | 1091 113182 490657 | 2147483647 70849 79 | 0.000 % |
156.08/156.21 c | 84703 | 1091 113182 490657 | 2147483647 71159 79 | 0.000 % |
156.28/156.44 c | 85043 | 1091 113182 490657 | 2147483647 71499 79 | 0.000 % |
157.68/157.83 c | 85417 | 1091 113182 490657 | 2147483647 71873 79 | 0.000 % |
159.47/159.61 c | 85826 | 1091 113182 490657 | 2147483647 72282 79 | 0.000 % |
160.67/160.85 c | 86275 | 1091 113182 490657 | 2147483647 72731 78 | 0.000 % |
161.87/162.09 c | 86771 | 1091 113182 490657 | 2147483647 73227 78 | 0.000 % |
163.17/163.37 c | 87313 | 1091 113182 490657 | 2147483647 73769 78 | 0.001 % |
164.67/164.89 c | 87909 | 1091 113182 490657 | 2147483647 74365 77 | 0.000 % |
166.37/166.53 c | 88565 | 1091 113182 490657 | 2147483647 75021 77 | 0.000 % |
168.97/169.19 c | 89286 | 1091 113182 490657 | 2147483647 75742 77 | 0.000 % |
171.86/172.02 c | 90079 | 1091 113182 490657 | 2147483647 76535 77 | 0.000 % |
173.56/173.77 c | 90952 | 1091 113182 490657 | 2147483647 77408 77 | 0.000 % |
178.76/178.91 c | 91911 | 1091 113182 490657 | 2147483647 78367 77 | 0.000 % |
180.25/180.44 c | 92964 | 1091 113182 490657 | 2147483647 79420 77 | 0.000 % |
181.15/181.31 c | 93064 | 1091 113182 490657 | 2147483647 79520 77 | 0.000 % |
181.55/181.77 c | 93174 | 1091 113182 490657 | 2147483647 79630 77 | 0.000 % |
182.45/182.67 c | 93296 | 1091 113182 490657 | 2147483647 79752 77 | 0.000 % |
182.95/183.16 c | 93432 | 1091 113182 490657 | 2147483647 79888 77 | 0.000 % |
183.45/183.63 c | 93578 | 1091 113182 490657 | 2147483647 80034 77 | 0.000 % |
184.35/184.51 c | 93739 | 1091 113182 490657 | 2147483647 80195 77 | 0.000 % |
185.05/185.22 c | 93918 | 1091 113182 490657 | 2147483647 80374 77 | 0.000 % |
186.15/186.31 c | 94112 | 1091 113182 490657 | 2147483647 80568 77 | 0.000 % |
186.45/186.64 c | 94324 | 1091 113182 490657 | 2147483647 80780 77 | 0.000 % |
187.65/187.82 c | 94557 | 1091 113182 490657 | 2147483647 81013 77 | 0.000 % |
189.15/189.31 c | 94813 | 1091 113182 490657 | 2147483647 81269 77 | 0.000 % |
190.05/190.29 c | 95095 | 1091 113182 490657 | 2147483647 81551 77 | 0.000 % |
190.84/191.05 c | 95404 | 1091 113182 490657 | 2147483647 81860 77 | 0.000 % |
192.14/192.34 c | 95744 | 1091 113182 490657 | 2147483647 82200 77 | 0.000 % |
193.25/193.43 c | 96116 | 1091 113182 490657 | 2147483647 82572 77 | 0.000 % |
193.85/194.07 c | 96525 | 1091 113182 490657 | 2147483647 82981 76 | 0.000 % |
195.75/195.91 c | 96975 | 1091 113182 490657 | 2147483647 83431 76 | 0.000 % |
197.65/197.87 c | 97472 | 1091 113182 490657 | 2147483647 83928 76 | 0.000 % |
199.75/199.90 c | 98014 | 1091 113182 490657 | 2147483647 84470 76 | 0.000 % |
202.35/202.59 c | 98611 | 1091 113182 490657 | 2147483647 85067 76 | 0.000 % |
203.65/203.82 c | 99268 | 1091 113182 490657 | 2147483647 85724 76 | 0.000 % |
207.94/208.13 c | 99988 | 1091 113182 490657 | 2147483647 86444 76 | 0.000 % |
209.95/210.16 c | 100781 | 1091 113182 490657 | 2147483647 87237 76 | 0.000 % |
212.94/213.15 c | 101656 | 1091 113182 490657 | 2147483647 88112 76 | 0.000 % |
214.64/214.87 c | 102614 | 1091 113182 490657 | 2147483647 89070 76 | 0.000 % |
216.34/216.50 c | 103667 | 1091 113182 490657 | 2147483647 90123 76 | 0.000 % |
219.14/219.38 c | 104827 | 1091 113182 490657 | 2147483647 91283 76 | 0.000 % |
219.34/219.58 c | 104927 | 1091 113182 490657 | 2147483647 91383 76 | 0.000 % |
219.64/219.85 c | 105037 | 1091 113182 490657 | 2147483647 91493 76 | 0.000 % |
219.84/220.07 c | 105158 | 1091 113182 490657 | 2147483647 91614 76 | 0.000 % |
220.44/220.61 c | 105291 | 1091 113182 490657 | 2147483647 91747 76 | 0.000 % |
220.84/221.02 c | 105440 | 1091 113182 490657 | 2147483647 91896 76 | 0.000 % |
221.54/221.73 c | 105601 | 1091 113182 490657 | 2147483647 92057 76 | 0.000 % |
222.44/222.66 c | 105777 | 1091 113182 490657 | 2147483647 92233 76 | 0.000 % |
223.23/223.42 c | 105971 | 1091 113182 490657 | 2147483647 92427 76 | 0.000 % |
224.43/224.66 c | 106183 | 1091 113182 490657 | 2147483647 92639 76 | 0.000 % |
224.84/225.03 c | 106416 | 1091 113182 490657 | 2147483647 92872 76 | 0.000 % |
225.93/226.10 c | 106672 | 1091 113182 490657 | 2147483647 93128 76 | 0.000 % |
226.34/226.55 c | 106954 | 1091 113182 490657 | 2147483647 93410 76 | 0.000 % |
227.44/227.63 c | 107263 | 1091 113182 490657 | 2147483647 93719 76 | 0.000 % |
228.23/228.42 c | 107603 | 1091 113182 490657 | 2147483647 94059 75 | 0.000 % |
229.83/230.06 c | 107976 | 1091 113182 490657 | 2147483647 94432 75 | 0.000 % |
230.63/230.82 c | 108385 | 1091 113182 490657 | 2147483647 94841 75 | 0.000 % |
231.63/231.81 c | 108834 | 1091 113182 490657 | 2147483647 95290 75 | 0.000 % |
233.23/233.48 c | 109329 | 1091 113182 490657 | 2147483647 95785 75 | 0.000 % |
234.43/234.65 c | 109871 | 1091 113182 490657 | 2147483647 96327 75 | 0.000 % |
235.63/235.86 c | 110467 | 1091 113182 490657 | 2147483647 96923 75 | 0.000 % |
237.03/237.20 c | 111122 | 1091 113182 490657 | 2147483647 97578 75 | 0.000 % |
238.23/238.47 c | 111844 | 1091 113182 490657 | 2147483647 98300 75 | 0.000 % |
239.83/240.01 c | 112637 | 1091 113182 490657 | 2147483647 99093 75 | 0.000 % |
241.33/241.50 c | 113510 | 1091 113182 490657 | 2147483647 99966 74 | 0.000 % |
245.32/245.54 c | 114470 | 1091 113182 490657 | 2147483647 100926 74 | 0.000 % |
250.63/250.88 c | 115523 | 1091 113182 490657 | 2147483647 101979 75 | 0.000 % |
255.32/255.59 c | 116685 | 1091 113182 490657 | 2147483647 103141 75 | 0.000 % |
260.92/261.14 c | 117958 | 1091 113182 490657 | 2147483647 104414 74 | 0.000 % |
261.22/261.45 c | 118058 | 1091 113182 490657 | 2147483647 104514 74 | 0.000 % |
261.81/262.07 c | 118169 | 1091 113182 490657 | 2147483647 104625 74 | 0.000 % |
262.62/262.87 c | 118290 | 1091 113182 490657 | 2147483647 104746 74 | 0.000 % |
263.41/263.66 c | 118423 | 1091 113182 490657 | 2147483647 104879 74 | 0.000 % |
263.82/264.08 c | 118571 | 1091 113182 490657 | 2147483647 105027 74 | 0.000 % |
264.51/264.75 c | 118734 | 1091 113182 490657 | 2147483647 105190 74 | 0.000 % |
265.11/265.35 c | 118911 | 1091 113182 490657 | 2147483647 105367 74 | 0.000 % |
265.61/265.83 c | 119106 | 1091 113182 490657 | 2147483647 105562 74 | 0.000 % |
265.81/266.03 c | 119318 | 1091 113182 490657 | 2147483647 105774 74 | 0.000 % |
266.11/266.32 c | 119551 | 1091 113182 490657 | 2147483647 106007 74 | 0.000 % |
267.02/267.21 c | 119808 | 1091 113182 490657 | 2147483647 106264 74 | 0.000 % |
268.51/268.72 c | 120089 | 1091 113182 490657 | 2147483647 106545 74 | 0.000 % |
269.52/269.75 c | 120398 | 1091 113182 490657 | 2147483647 106854 74 | 0.000 % |
270.12/270.35 c | 120737 | 1091 113182 490657 | 2147483647 107193 74 | 0.000 % |
270.91/271.15 c | 121109 | 1091 113182 490657 | 2147483647 107565 74 | 0.000 % |
272.01/272.23 c | 121521 | 1091 113182 490657 | 2147483647 107977 74 | 0.000 % |
273.72/273.99 c | 121972 | 1091 113182 490657 | 2147483647 108428 74 | 0.000 % |
276.31/276.55 c | 122465 | 1091 113182 490657 | 2147483647 108921 74 | 0.000 % |
277.91/278.10 c | 123008 | 1091 113182 490657 | 2147483647 109464 74 | 0.000 % |
281.01/281.29 c | 123607 | 1091 113182 490657 | 2147483647 110063 74 | 0.000 % |
284.71/284.94 c | 124262 | 1091 113182 490657 | 2147483647 110718 74 | 0.000 % |
287.51/287.79 c | 124988 | 1091 113182 490657 | 2147483647 111444 74 | 0.000 % |
288.90/289.13 c | 125780 | 1091 113182 490657 | 2147483647 112236 74 | 0.000 % |
292.61/292.82 c | 126652 | 1091 113182 490657 | 2147483647 113108 74 | 0.000 % |
294.11/294.38 c | 127610 | 1091 113182 490657 | 2147483647 114066 74 | 0.000 % |
295.11/295.37 c | 128665 | 1091 113182 490657 | 2147483647 115121 74 | 0.000 % |
295.81/296.05 c | 129823 | 1091 113182 490657 | 2147483647 116279 74 | 0.000 % |
298.00/298.21 c | 131096 | 1091 113182 490657 | 2147483647 117552 74 | 0.000 % |
309.20/309.40 c | 132496 | 1091 113182 490657 | 2147483647 118952 74 | 0.000 % |
309.60/309.83 c | 132597 | 1091 113182 490657 | 2147483647 119053 74 | 0.000 % |
309.90/310.17 c | 132707 | 1091 113182 490657 | 2147483647 119163 74 | 0.000 % |
310.30/310.50 c | 132832 | 1091 113182 490657 | 2147483647 119288 74 | 0.000 % |
310.80/311.08 c | 132965 | 1091 113182 490657 | 2147483647 119421 74 | 0.000 % |
311.49/311.74 c | 133111 | 1091 113182 490657 | 2147483647 119567 74 | 0.000 % |
312.40/312.64 c | 133271 | 1091 113182 490657 | 2147483647 119727 74 | 0.000 % |
313.30/313.56 c | 133447 | 1091 113182 490657 | 2147483647 119903 74 | 0.000 % |
313.99/314.27 c | 133640 | 1091 113182 490657 | 2147483647 120096 74 | 0.000 % |
314.80/315.08 c | 133853 | 1091 113182 490657 | 2147483647 120309 74 | 0.000 % |
316.10/316.37 c | 134086 | 1091 113182 490657 | 2147483647 120542 74 | 0.001 % |
317.50/317.78 c | 134342 | 1091 113182 490657 | 2147483647 120798 74 | 0.000 % |
319.10/319.33 c | 134626 | 1091 113182 490657 | 2147483647 121082 74 | 0.000 % |
320.00/320.29 c | 134938 | 1091 113182 490657 | 2147483647 121394 74 | 0.000 % |
321.70/321.93 c | 135284 | 1091 113182 490657 | 2147483647 121740 73 | 0.000 % |
322.99/323.29 c | 135657 | 1091 113182 490657 | 2147483647 122113 73 | 0.000 % |
324.49/324.78 c | 136070 | 1091 113182 490657 | 2147483647 122526 73 | 0.000 % |
326.99/327.28 c | 136522 | 1091 113182 490657 | 2147483647 122978 73 | 0.000 % |
330.59/330.80 c | 137015 | 1091 113182 490657 | 2147483647 123471 73 | 0.000 % |
331.49/331.70 c | 137559 | 1091 113182 490657 | 2147483647 124015 73 | 0.000 % |
332.49/332.71 c | 138155 | 1091 113182 490657 | 2147483647 124611 73 | 0.000 % |
336.89/337.14 c | 138810 | 1091 113182 490657 | 2147483647 125266 73 | 0.000 % |
340.48/340.74 c | 139530 | 1091 113182 490657 | 2147483647 125986 73 | 0.000 % |
343.38/343.61 c | 140323 | 1091 113182 490657 | 2147483647 126779 73 | 0.000 % |
346.98/347.27 c | 141194 | 1091 113182 490657 | 2147483647 127650 73 | 0.000 % |
348.98/349.24 c | 142154 | 1091 113182 490657 | 2147483647 128610 73 | 0.000 % |
353.08/353.36 c | 143207 | 1091 113182 490657 | 2147483647 129663 73 | 0.000 % |
356.19/356.49 c | 144366 | 1091 113182 490657 | 2147483647 130822 73 | 0.000 % |
359.68/359.98 c | 145640 | 1091 113182 490657 | 2147483647 132096 73 | 0.000 % |
365.47/365.72 c | 147041 | 1091 113182 490657 | 2147483647 133497 73 | 0.000 % |
369.87/370.13 c | 148586 | 1091 113182 490657 | 2147483647 135042 73 | 0.000 % |
370.07/370.38 c | 148686 | 1091 113182 490657 | 2147483647 135142 73 | 0.000 % |
370.27/370.58 c | 148798 | 1091 113182 490657 | 2147483647 135254 73 | 0.000 % |
370.97/371.28 c | 148920 | 1091 113182 490657 | 2147483647 135376 73 | 0.000 % |
371.58/371.90 c | 149054 | 1091 113182 490657 | 2147483647 135510 73 | 0.000 % |
372.47/372.77 c | 149201 | 1091 113182 490657 | 2147483647 135657 73 | 0.000 % |
373.27/373.56 c | 149362 | 1091 113182 490657 | 2147483647 135818 73 | 0.000 % |
373.97/374.26 c | 149539 | 1091 113182 490657 | 2147483647 135995 73 | 0.000 % |
375.17/375.45 c | 149732 | 1091 113182 490657 | 2147483647 136188 73 | 0.000 % |
376.07/376.35 c | 149945 | 1091 113182 490657 | 2147483647 136401 73 | 0.000 % |
378.67/378.98 c | 150178 | 1091 113182 490657 | 2147483647 136634 73 | 0.000 % |
379.97/380.28 c | 150436 | 1091 113182 490657 | 2147483647 136892 73 | 0.000 % |
380.87/381.13 c | 150719 | 1091 113182 490657 | 2147483647 137175 73 | 0.000 % |
381.87/382.16 c | 151028 | 1091 113182 490657 | 2147483647 137484 73 | 0.000 % |
383.17/383.41 c | 151368 | 1091 113182 490657 | 2147483647 137824 73 | 0.000 % |
384.47/384.75 c | 151740 | 1091 113182 490657 | 2147483647 138196 73 | 0.000 % |
385.87/386.18 c | 152149 | 1091 113182 490657 | 2147483647 138605 73 | 0.000 % |
387.16/387.40 c | 152599 | 1091 113182 490657 | 2147483647 139055 73 | 0.000 % |
390.86/391.13 c | 153095 | 1091 113182 490657 | 2147483647 139551 73 | 0.000 % |
394.16/394.47 c | 153638 | 1091 113182 490657 | 2147483647 140094 73 | 0.000 % |
396.16/396.43 c | 154234 | 1091 113182 490657 | 2147483647 140690 73 | 0.000 % |
398.06/398.33 c | 154889 | 1091 113182 490657 | 2147483647 141345 73 | 0.000 % |
399.66/399.95 c | 155609 | 1091 113182 490657 | 2147483647 142065 73 | 0.000 % |
401.06/401.39 c | 156404 | 1091 113182 490657 | 2147483647 142860 73 | 0.000 % |
406.35/406.64 c | 157275 | 1091 113182 490657 | 2147483647 143731 73 | 0.000 % |
408.74/409.03 c | 158233 | 1091 113182 490657 | 2147483647 144689 73 | 0.000 % |
410.75/411.04 c | 159287 | 1091 113182 490657 | 2147483647 145743 73 | 0.000 % |
411.95/412.26 c | 160445 | 1091 113182 490657 | 2147483647 146901 73 | 0.000 % |
417.05/417.39 c | 161719 | 1091 113182 490657 | 2147483647 148175 73 | 0.000 % |
422.64/422.91 c | 163120 | 1091 113182 490657 | 2147483647 149576 72 | 0.000 % |
425.04/425.33 c | 164661 | 1091 113182 490657 | 2147483647 151117 72 | 0.000 % |
427.44/427.73 c | 166355 | 1091 113182 490657 | 2147483647 152811 72 | 0.000 % |
427.54/427.89 c | 166455 | 1091 113182 490657 | 2147483647 152911 72 | 0.000 % |
427.74/428.04 c | 166565 | 1091 113182 490657 | 2147483647 153021 72 | 0.000 % |
428.04/428.33 c | 166686 | 1091 113182 490657 | 2147483647 153142 72 | 0.000 % |
428.74/429.07 c | 166819 | 1091 113182 490657 | 2147483647 153275 72 | 0.000 % |
429.64/429.90 c | 166967 | 1091 113182 490657 | 2147483647 153423 72 | 0.000 % |
430.44/430.78 c | 167127 | 1091 113182 490657 | 2147483647 153583 72 | 0.000 % |
431.34/431.63 c | 167303 | 1091 113182 490657 | 2147483647 153759 72 | 0.000 % |
432.24/432.59 c | 167498 | 1091 113182 490657 | 2147483647 153954 72 | 0.000 % |
433.44/433.79 c | 167710 | 1091 113182 490657 | 2147483647 154166 72 | 0.000 % |
434.14/434.47 c | 167943 | 1091 113182 490657 | 2147483647 154399 72 | 0.000 % |
434.94/435.24 c | 168199 | 1091 113182 490657 | 2147483647 154655 72 | 0.000 % |
435.44/435.80 c | 168483 | 1091 113182 490657 | 2147483647 154939 72 | 0.000 % |
436.14/436.48 c | 168795 | 1091 113182 490657 | 2147483647 155251 72 | 0.000 % |
436.93/437.22 c | 169134 | 1091 113182 490657 | 2147483647 155590 72 | 0.000 % |
437.73/438.00 c | 169510 | 1091 113182 490657 | 2147483647 155966 72 | 0.000 % |
440.43/440.71 c | 169921 | 1091 113182 490657 | 2147483647 156377 72 | 0.000 % |
442.33/442.60 c | 170370 | 1091 113182 490657 | 2147483647 156826 72 | 0.000 % |
444.53/444.81 c | 170863 | 1091 113182 490657 | 2147483647 157319 72 | 0.000 % |
446.44/446.73 c | 171408 | 1091 113182 490657 | 2147483647 157864 72 | 0.000 % |
448.44/448.73 c | 172005 | 1091 113182 490657 | 2147483647 158461 72 | 0.000 % |
450.13/450.48 c | 172660 | 1091 113182 490657 | 2147483647 159116 72 | 0.000 % |
453.53/453.81 c | 173381 | 1091 113182 490657 | 2147483647 159837 72 | 0.000 % |
456.33/456.61 c | 174174 | 1091 113182 490657 | 2147483647 160630 72 | 0.000 % |
459.33/459.69 c | 175045 | 1091 113182 490657 | 2147483647 161501 72 | 0.000 % |
462.02/462.36 c | 176003 | 1091 113182 490657 | 2147483647 162459 72 | 0.000 % |
466.62/466.94 c | 177059 | 1091 113182 490657 | 2147483647 163515 72 | 0.000 % |
469.92/470.24 c | 178217 | 1091 113182 490657 | 2147483647 164673 72 | 0.000 % |
472.01/472.35 c | 179490 | 1091 113182 490657 | 2147483647 165946 71 | 0.000 % |
478.22/478.55 c | 180892 | 1091 113182 490657 | 2147483647 167348 71 | 0.000 % |
482.41/482.77 c | 182433 | 1091 113182 490657 | 2147483647 168889 71 | 0.000 % |
490.91/491.22 c | 184127 | 1091 113182 490657 | 2147483647 170583 71 | 0.000 % |
496.91/497.21 c | 185991 | 1091 113182 490657 | 2147483647 172447 71 | 0.000 % |
497.01/497.35 c | 186091 | 1091 113182 490657 | 2147483647 172547 71 | 0.000 % |
497.21/497.58 c | 186203 | 1091 113182 490657 | 2147483647 172659 71 | 0.000 % |
497.51/497.89 c | 186324 | 1091 113182 490657 | 2147483647 172780 71 | 0.000 % |
497.91/498.21 c | 186458 | 1091 113182 490657 | 2147483647 172914 71 | 0.000 % |
498.41/498.70 c | 186605 | 1091 113182 490657 | 2147483647 173061 71 | 0.000 % |
499.21/499.57 c | 186767 | 1091 113182 490657 | 2147483647 173223 71 | 0.000 % |
500.11/500.49 c | 186943 | 1091 113182 490657 | 2147483647 173399 71 | 0.000 % |
500.71/501.07 c | 187139 | 1091 113182 490657 | 2147483647 173595 71 | 0.000 % |
501.00/501.31 c | 187351 | 1091 113182 490657 | 2147483647 173807 71 | 0.000 % |
501.40/501.78 c | 187585 | 1091 113182 490657 | 2147483647 174041 71 | 0.000 % |
501.90/502.21 c | 187841 | 1091 113182 490657 | 2147483647 174297 71 | 0.000 % |
502.20/502.51 c | 188122 | 1091 113182 490657 | 2147483647 174578 71 | 0.000 % |
503.30/503.63 c | 188431 | 1091 113182 490657 | 2147483647 174887 71 | 0.000 % |
504.40/504.77 c | 188771 | 1091 113182 490657 | 2147483647 175227 71 | 0.000 % |
505.10/505.40 c | 189144 | 1091 113182 490657 | 2147483647 175600 71 | 0.000 % |
505.60/505.91 c | 189554 | 1091 113182 490657 | 2147483647 176010 71 | 0.000 % |
508.40/508.70 c | 190004 | 1091 113182 490657 | 2147483647 176460 71 | 0.000 % |
509.90/510.24 c | 190497 | 1091 113182 490657 | 2147483647 176953 71 | 0.000 % |
511.00/511.39 c | 191039 | 1091 113182 490657 | 2147483647 177495 71 | 0.000 % |
512.30/512.63 c | 191638 | 1091 113182 490657 | 2147483647 178094 71 | 0.000 % |
513.80/514.13 c | 192293 | 1091 113182 490657 | 2147483647 178749 71 | 0.000 % |
515.00/515.31 c | 193015 | 1091 113182 490657 | 2147483647 179471 71 | 0.000 % |
516.50/516.89 c | 193808 | 1091 113182 490657 | 2147483647 180264 71 | 0.000 % |
518.00/518.35 c | 194680 | 1091 113182 490657 | 2147483647 181136 71 | 0.000 % |
519.59/519.90 c | 195638 | 1091 113182 490657 | 2147483647 182094 71 | 0.000 % |
521.00/521.33 c | 196692 | 1091 113182 490657 | 2147483647 183148 71 | 0.000 % |
522.30/522.64 c | 197850 | 1091 113182 490657 | 2147483647 184306 71 | 0.000 % |
523.79/524.16 c | 199124 | 1091 113182 490657 | 2147483647 185580 71 | 0.000 % |
526.40/526.77 c | 200525 | 1091 113182 490657 | 2147483647 186981 71 | 0.000 % |
529.59/529.92 c | 202066 | 1091 113182 490657 | 2147483647 188522 71 | 0.000 % |
532.79/533.11 c | 203761 | 1091 113182 490657 | 2147483647 190217 71 | 0.000 % |
535.39/535.77 c | 205626 | 1091 113182 490657 | 2147483647 192082 71 | 0.000 % |
537.79/538.11 c | 207675 | 1091 113182 490657 | 2147483647 194131 71 | 0.000 % |
537.89/538.29 c | 207775 | 1091 113182 490657 | 2147483647 194231 71 | 0.000 % |
538.09/538.44 c | 207885 | 1091 113182 490657 | 2147483647 194341 71 | 0.000 % |
538.29/538.60 c | 208007 | 1091 113182 490657 | 2147483647 194463 71 | 0.000 % |
538.49/538.80 c | 208140 | 1091 113182 490657 | 2147483647 194596 71 | 0.000 % |
538.69/539.04 c | 208287 | 1091 113182 490657 | 2147483647 194743 71 | 0.000 % |
538.89/539.28 c | 208448 | 1091 113182 490657 | 2147483647 194904 71 | 0.000 % |
539.18/539.54 c | 208626 | 1091 113182 490657 | 2147483647 195082 71 | 0.000 % |
539.38/539.77 c | 208819 | 1091 113182 490657 | 2147483647 195275 71 | 0.000 % |
539.68/540.09 c | 209033 | 1091 113182 490657 | 2147483647 195489 71 | 0.000 % |
540.08/540.47 c | 209266 | 1091 113182 490657 | 2147483647 195722 71 | 0.000 % |
540.48/540.84 c | 209523 | 1091 113182 490657 | 2147483647 195979 71 | 0.000 % |
540.88/541.23 c | 209804 | 1091 113182 490657 | 2147483647 196260 71 | 0.000 % |
541.28/541.68 c | 210115 | 1091 113182 490657 | 2147483647 196571 71 | 0.000 % |
541.78/542.17 c | 210457 | 1091 113182 490657 | 2147483647 196913 71 | 0.000 % |
542.38/542.80 c | 210830 | 1091 113182 490657 | 2147483647 197286 71 | 0.000 % |
543.87/544.25 c | 211239 | 1091 113182 490657 | 2147483647 197695 71 | 0.000 % |
545.18/545.58 c | 211691 | 1091 113182 490657 | 2147483647 198147 71 | 0.000 % |
545.78/546.19 c | 212184 | 1091 113182 490657 | 2147483647 198640 71 | 0.000 % |
547.08/547.42 c | 212726 | 1091 113182 490657 | 2147483647 199182 71 | 0.000 % |
548.58/548.97 c | 213322 | 1091 113182 490657 | 2147483647 199778 71 | 0.000 % |
549.48/549.84 c | 213977 | 1091 113182 490657 | 2147483647 200433 71 | 0.000 % |
550.18/550.51 c | 214698 | 1091 113182 490657 | 2147483647 201154 71 | 0.000 % |
551.18/551.54 c | 215490 | 1091 113182 490657 | 2147483647 201946 71 | 0.000 % |
552.27/552.67 c | 216362 | 1091 113182 490657 | 2147483647 202818 71 | 0.000 % |
553.67/554.02 c | 217320 | 1091 113182 490657 | 2147483647 203776 71 | 0.000 % |
555.37/555.71 c | 218375 | 1091 113182 490657 | 2147483647 204831 71 | 0.000 % |
557.07/557.42 c | 219534 | 1091 113182 490657 | 2147483647 205990 71 | 0.000 % |
559.37/559.77 c | 220807 | 1091 113182 490657 | 2147483647 207263 71 | 0.000 % |
563.48/563.81 c | 222207 | 1091 113182 490657 | 2147483647 208663 72 | 0.000 % |
568.77/569.13 c | 223747 | 1091 113182 490657 | 2147483647 210203 72 | 0.000 % |
573.87/574.26 c | 225443 | 1091 113182 490657 | 2147483647 211899 72 | 0.000 % |
578.17/578.53 c | 227307 | 1091 113182 490657 | 2147483647 213763 72 | 0.000 % |
582.57/582.98 c | 229356 | 1091 113182 490657 | 2147483647 215812 72 | 0.000 % |
588.25/588.68 c | 231609 | 1091 113182 490657 | 2147483647 218065 72 | 0.000 % |
588.65/589.01 c | 231709 | 1091 113182 490657 | 2147483647 218165 72 | 0.000 % |
588.85/589.25 c | 231820 | 1091 113182 490657 | 2147483647 218276 72 | 0.000 % |
589.15/589.57 c | 231943 | 1091 113182 490657 | 2147483647 218399 72 | 0.000 % |
589.55/589.90 c | 232077 | 1091 113182 490657 | 2147483647 218533 72 | 0.000 % |
589.95/590.32 c | 232224 | 1091 113182 490657 | 2147483647 218680 72 | 0.000 % |
590.35/590.73 c | 232384 | 1091 113182 490657 | 2147483647 218840 72 | 0.000 % |
590.65/591.05 c | 232561 | 1091 113182 490657 | 2147483647 219017 72 | 0.000 % |
591.25/591.68 c | 232755 | 1091 113182 490657 | 2147483647 219211 72 | 0.000 % |
591.76/592.14 c | 232968 | 1091 113182 490657 | 2147483647 219424 72 | 0.000 % |
592.26/592.60 c | 233201 | 1091 113182 490657 | 2147483647 219657 72 | 0.000 % |
592.66/593.09 c | 233457 | 1091 113182 490657 | 2147483647 219913 72 | 0.000 % |
593.36/593.77 c | 233740 | 1091 113182 490657 | 2147483647 220196 72 | 0.000 % |
594.16/594.55 c | 234050 | 1091 113182 490657 | 2147483647 220506 72 | 0.000 % |
595.05/595.41 c | 234389 | 1091 113182 490657 | 2147483647 220845 72 | 0.000 % |
595.86/596.23 c | 234762 | 1091 113182 490657 | 2147483647 221218 72 | 0.000 % |
596.45/596.89 c | 235172 | 1091 113182 490657 | 2147483647 221628 72 | 0.000 % |
597.35/597.70 c | 235621 | 1091 113182 490657 | 2147483647 222077 72 | 0.000 % |
598.15/598.53 c | 236115 | 1091 113182 490657 | 2147483647 222571 72 | 0.000 % |
599.16/599.58 c | 236658 | 1091 113182 490657 | 2147483647 223114 72 | 0.000 % |
600.15/600.56 c | 237254 | 1091 113182 490657 | 2147483647 223710 72 | 0.000 % |
601.36/601.77 c | 237909 | 1091 113182 490657 | 2147483647 224365 72 | 0.000 % |
602.95/603.37 c | 238630 | 1091 113182 490657 | 2147483647 225086 72 | 0.000 % |
604.55/604.95 c | 239422 | 1091 113182 490657 | 2147483647 225878 72 | 0.000 % |
606.35/606.79 c | 240293 | 1091 113182 490657 | 2147483647 226749 72 | 0.000 % |
608.54/608.92 c | 241251 | 1091 113182 490657 | 2147483647 227707 72 | 0.000 % |
610.74/611.18 c | 242304 | 1091 113182 490657 | 2147483647 228760 72 | 0.000 % |
613.04/613.42 c | 243464 | 1091 113182 490657 | 2147483647 229920 72 | 0.000 % |
615.74/616.15 c | 244738 | 1091 113182 490657 | 2147483647 231194 72 | 0.000 % |
618.45/618.83 c | 246138 | 1091 113182 490657 | 2147483647 232594 71 | 0.000 % |
621.54/621.94 c | 247678 | 1091 113182 490657 | 2147483647 234134 71 | 0.000 % |
624.45/624.81 c | 249372 | 1091 113182 490657 | 2147483647 235828 72 | 0.000 % |
628.14/628.59 c | 251235 | 1091 113182 490657 | 2147483647 237691 72 | 0.000 % |
632.33/632.74 c | 253285 | 1091 113182 490657 | 2147483647 239741 72 | 0.000 % |
637.64/638.04 c | 255538 | 1091 113182 490657 | 2147483647 241994 72 | 0.000 % |
643.54/643.99 c | 258019 | 1091 113182 490657 | 2147483647 244475 72 | 0.000 % |
643.83/644.26 c | 258119 | 1091 113182 490657 | 2147483647 244575 72 | 0.000 % |
644.14/644.57 c | 258231 | 1091 113182 490657 | 2147483647 244687 72 | 0.000 % |
644.33/644.80 c | 258352 | 1091 113182 490657 | 2147483647 244808 72 | 0.000 % |
644.73/645.11 c | 258485 | 1091 113182 490657 | 2147483647 244941 72 | 0.000 % |
645.03/645.49 c | 258633 | 1091 113182 490657 | 2147483647 245089 72 | 0.000 % |
645.43/645.84 c | 258794 | 1091 113182 490657 | 2147483647 245250 72 | 0.000 % |
645.83/646.24 c | 258972 | 1091 113182 490657 | 2147483647 245428 72 | 0.000 % |
646.23/646.64 c | 259165 | 1091 113182 490657 | 2147483647 245621 72 | 0.000 % |
646.73/647.19 c | 259378 | 1091 113182 490657 | 2147483647 245834 72 | 0.000 % |
647.43/647.83 c | 259611 | 1091 113182 490657 | 2147483647 246067 72 | 0.000 % |
648.03/648.46 c | 259867 | 1091 113182 490657 | 2147483647 246323 72 | 0.000 % |
648.83/649.29 c | 260149 | 1091 113182 490657 | 2147483647 246605 72 | 0.000 % |
649.63/650.06 c | 260458 | 1091 113182 490657 | 2147483647 246914 72 | 0.000 % |
650.53/650.93 c | 260799 | 1091 113182 490657 | 2147483647 247255 72 | 0.000 % |
651.33/651.72 c | 261172 | 1091 113182 490657 | 2147483647 247628 72 | 0.000 % |
652.23/652.66 c | 261583 | 1091 113182 490657 | 2147483647 248039 72 | 0.000 % |
653.43/653.84 c | 262032 | 1091 113182 490657 | 2147483647 248488 72 | 0.000 % |
654.63/655.00 c | 262529 | 1091 113182 490657 | 2147483647 248985 72 | 0.000 % |
655.83/656.20 c | 263072 | 1091 113182 490657 | 2147483647 249528 72 | 0.000 % |
657.43/657.83 c | 263669 | 1091 113182 490657 | 2147483647 250125 72 | 0.000 % |
659.13/659.52 c | 264325 | 1091 113182 490657 | 2147483647 250781 72 | 0.000 % |
660.83/661.28 c | 265047 | 1091 113182 490657 | 2147483647 251503 72 | 0.000 % |
662.83/663.30 c | 265839 | 1091 113182 490657 | 2147483647 252295 72 | 0.000 % |
665.23/665.62 c | 266713 | 1091 113182 490657 | 2147483647 253169 72 | 0.000 % |
667.42/667.87 c | 267671 | 1091 113182 490657 | 2147483647 254127 72 | 0.000 % |
670.42/670.87 c | 268725 | 1091 113182 490657 | 2147483647 255181 72 | 0.000 % |
673.12/673.60 c | 269886 | 1091 113182 490657 | 2147483647 256342 71 | 0.000 % |
676.71/677.18 c | 271159 | 1091 113182 490657 | 2147483647 257615 71 | 0.000 % |
681.50/681.91 c | 272559 | 1091 113182 490657 | 2147483647 259015 71 | 0.000 % |
687.80/688.26 c | 274099 | 1091 113182 490657 | 2147483647 260555 71 | 0.000 % |
694.30/694.80 c | 275793 | 1091 113182 490657 | 2147483647 262249 71 | 0.000 % |
701.39/701.89 c | 277657 | 1091 113182 490657 | 2147483647 264113 71 | 0.000 % |
708.59/709.09 c | 279707 | 1091 113182 490657 | 2147483647 266163 71 | 0.000 % |
717.18/717.69 c | 281960 | 1091 113182 490657 | 266456 235425 72 | 0.000 % |
726.87/727.31 c | 284439 | 1091 113182 490657 | 266456 237904 72 | 0.000 % |
738.07/738.59 c | 287164 | 1091 113182 490657 | 266456 240629 72 | 0.000 % |
738.47/738.98 c | 287266 | 1091 113182 490657 | 266456 240731 72 | 0.000 % |
738.97/739.43 c | 287376 | 1091 113182 490657 | 266456 240841 72 | 0.000 % |
739.37/739.84 c | 287498 | 1091 113182 490657 | 266456 240963 72 | 0.000 % |
739.97/740.48 c | 287633 | 1091 113182 490657 | 266456 241098 72 | 0.000 % |
740.67/741.19 c | 287781 | 1091 113182 490657 | 266456 241246 72 | 0.000 % |
741.47/741.95 c | 287941 | 1091 113182 490657 | 266456 241406 72 | 0.000 % |
742.47/742.94 c | 288117 | 1091 113182 490657 | 266456 241582 72 | 0.000 % |
743.27/743.74 c | 288310 | 1091 113182 490657 | 266456 241775 72 | 0.000 % |
744.37/744.88 c | 288524 | 1091 113182 490657 | 266456 241989 72 | 0.000 % |
745.66/746.17 c | 288758 | 1091 113182 490657 | 266456 242223 72 | 0.000 % |
747.16/747.63 c | 289015 | 1091 113182 490657 | 266456 242480 72 | 0.000 % |
748.57/749.05 c | 289297 | 1091 113182 490657 | 266456 242762 72 | 0.000 % |
749.96/750.48 c | 289606 | 1091 113182 490657 | 266456 243071 72 | 0.000 % |
751.46/751.96 c | 289945 | 1091 113182 490657 | 266456 243410 72 | 0.000 % |
753.16/753.63 c | 290318 | 1091 113182 490657 | 2147483647 243783 72 | 0.000 % |
754.76/755.24 c | 290729 | 1091 113182 490657 | 2147483647 244194 72 | 0.000 % |
756.86/757.35 c | 291178 | 1091 113182 490657 | 2147483647 244643 72 | 0.000 % |
759.26/759.70 c | 291671 | 1091 113182 490657 | 2147483647 245136 72 | 0.000 % |
761.77/762.30 c | 292214 | 1091 113182 490657 | 2147483647 245679 72 | 0.000 % |
764.85/765.32 c | 292810 | 1091 113182 490657 | 2147483647 246275 72 | 0.000 % |
768.15/768.64 c | 293465 | 1091 113182 490657 | 2147483647 246930 72 | 0.000 % |
771.35/771.87 c | 294185 | 1091 113182 490657 | 2147483647 247650 71 | 0.000 % |
774.25/774.78 c | 294977 | 1091 113182 490657 | 2147483647 248442 71 | 0.000 % |
777.65/778.10 c | 295849 | 1091 113182 490657 | 2147483647 249314 71 | 0.000 % |
781.05/781.58 c | 296807 | 1091 113182 490657 | 2147483647 250272 71 | 0.000 % |
783.95/784.42 c | 297860 | 1091 113182 490657 | 2147483647 251325 71 | 0.000 % |
786.15/786.68 c | 299018 | 1091 113182 490657 | 2147483647 252483 71 | 0.000 % |
788.74/789.27 c | 300291 | 1091 113182 490657 | 253465 253756 71 | 0.000 % |
794.85/795.34 c | 301692 | 1091 113182 490657 | 253465 220088 70 | 0.000 % |
798.04/798.57 c | 303233 | 1091 113182 490657 | 253465 221629 70 | 0.000 % |
807.34/807.88 c | 304927 | 1091 113182 490657 | 253465 223323 70 | 0.000 % |
818.64/819.18 c | 306790 | 1091 113182 490657 | 253465 225186 70 | 0.000 % |
829.54/830.04 c | 308841 | 1091 113182 490657 | 253465 227237 70 | 0.000 % |
844.13/844.67 c | 311094 | 1091 113182 490657 | 228396 170365 69 | 0.000 % |
863.32/863.82 c | 313572 | 1091 113182 490657 | 228396 172843 69 | 0.000 % |
881.91/882.40 c | 316298 | 1091 113182 490657 | 228396 175569 69 | 0.000 % |
902.61/903.10 c | 319296 | 1091 113182 490657 | 228396 178567 69 | 0.000 % |
903.61/904.12 c | 319397 | 1091 113182 490657 | 228396 178668 69 | 0.000 % |
904.30/904.85 c | 319510 | 1091 113182 490657 | 228396 178781 69 | 0.000 % |
905.40/905.91 c | 319632 | 1091 113182 490657 | 228396 178903 69 | 0.000 % |
906.00/906.55 c | 319766 | 1091 113182 490657 | 228396 179037 69 | 0.000 % |
906.70/907.25 c | 319914 | 1091 113182 490657 | 228396 179185 69 | 0.000 % |
907.80/908.34 c | 320074 | 1091 113182 490657 | 179272 179345 69 | 0.000 % |
910.50/911.04 c | 320254 | 1091 113182 490657 | 179272 122819 69 | 0.000 % |
911.50/912.02 c | 320448 | 1091 113182 490657 | 179272 123013 69 | 0.000 % |
912.70/913.26 c | 320662 | 1091 113182 490657 | 179272 123227 69 | 0.000 % |
913.80/914.39 c | 320899 | 1091 113182 490657 | 179272 123464 69 | 0.000 % |
915.70/916.28 c | 321155 | 1091 113182 490657 | 179272 123720 69 | 0.000 % |
917.80/918.38 c | 321436 | 1091 113182 490657 | 179272 124001 69 | 0.000 % |
918.80/919.33 c | 321746 | 1091 113182 490657 | 179272 124311 69 | 0.000 % |
920.70/921.24 c | 322085 | 1091 113182 490657 | 179272 124650 69 | 0.000 % |
923.10/923.65 c | 322457 | 1091 113182 490657 | 179272 125022 69 | 0.000 % |
926.00/926.57 c | 322866 | 1091 113182 490657 | 179272 125431 69 | 0.000 % |
928.70/929.24 c | 323316 | 1091 113182 490657 | 179272 125881 69 | 0.000 % |
931.69/932.21 c | 323810 | 1091 113182 490657 | 179272 126375 69 | 0.000 % |
934.89/935.48 c | 324353 | 1091 113182 490657 | 179272 126918 69 | 0.000 % |
938.69/939.24 c | 324950 | 1091 113182 490657 | 179272 127515 69 | 0.000 % |
942.79/943.33 c | 325605 | 1091 113182 490657 | 179272 128170 69 | 0.000 % |
945.48/946.06 c | 326327 | 1091 113182 490657 | 179272 128892 69 | 0.000 % |
948.78/949.34 c | 327120 | 1091 113182 490657 | 179272 129685 69 | 0.000 % |
953.28/953.89 c | 327993 | 1091 113182 490657 | 179272 130558 69 | 0.000 % |
958.77/959.35 c | 328951 | 1091 113182 490657 | 179272 131516 69 | 0.000 % |
965.47/966.08 c | 330004 | 1091 113182 490657 | 132566 132569 69 | 0.000 % |
976.37/976.92 c | 331163 | 1091 113182 490657 | 132566 98038 69 | 0.000 % |
984.87/985.46 c | 332437 | 1091 113182 490657 | 132566 99312 69 | 0.000 % |
992.96/993.53 c | 333837 | 1091 113182 490657 | 132566 100712 69 | 0.000 % |
998.66/999.25 c | 335378 | 1091 113182 490657 | 132566 102253 69 | 0.000 % |
1015.05/1015.61 c | 337073 | 1091 113182 490657 | 132566 103948 69 | 0.000 % |
1018.25/1018.87 c | 338936 | 1091 113182 490657 | 132566 105811 69 | 0.000 % |
1023.05/1023.61 c | 340986 | 1091 113182 490657 | 106875 95126 69 | 0.000 % |
1038.84/1039.44 c | 343239 | 1091 113182 490657 | 106875 97379 69 | 0.000 % |
1060.13/1060.75 c | 345718 | 1091 113182 490657 | 106875 99858 69 | 0.000 % |
1080.42/1081.04 c | 348446 | 1091 113182 490657 | 106875 102586 69 | 0.000 % |
1098.32/1098.97 c | 351443 | 1091 113182 490657 | 104140 90555 69 | 0.000 % |
1115.71/1116.38 c | 354739 | 1091 113182 490657 | 104140 93851 68 | 0.000 % |
1116.31/1116.99 c | 354839 | 1091 113182 490657 | 104140 93951 68 | 0.000 % |
1117.01/1117.68 c | 354952 | 1091 113182 490657 | 104140 94064 68 | 0.000 % |
1117.81/1118.44 c | 355075 | 1091 113182 490657 | 104140 94187 68 | 0.000 % |
1118.51/1119.14 c | 355208 | 1091 113182 490657 | 104140 94320 68 | 0.000 % |
1120.01/1120.68 c | 355354 | 1091 113182 490657 | 104140 94466 68 | 0.000 % |
1120.31/1120.90 c | 355514 | 1091 113182 490657 | 104140 94626 68 | 0.000 % |
1121.91/1122.58 c | 355690 | 1091 113182 490657 | 104140 94802 68 | 0.000 % |
1122.71/1123.35 c | 355884 | 1091 113182 490657 | 104140 94996 68 | 0.000 % |
1122.91/1123.57 c | 356097 | 1091 113182 490657 | 104140 95209 68 | 0.000 % |
1125.50/1126.19 c | 356332 | 1091 113182 490657 | 104140 95444 68 | 0.000 % |
1128.49/1129.18 c | 356590 | 1091 113182 490657 | 104140 95702 68 | 0.000 % |
1133.29/1133.94 c | 356871 | 1091 113182 490657 | 104140 95983 68 | 0.000 % |
1137.69/1138.40 c | 357180 | 1091 113182 490657 | 104140 96292 68 | 0.000 % |
1142.49/1143.12 c | 357520 | 1091 113182 490657 | 104140 96632 68 | 0.000 % |
1145.89/1146.50 c | 357893 | 1091 113182 490657 | 104140 97005 68 | 0.000 % |
1150.39/1151.04 c | 358303 | 1091 113182 490657 | 104140 97415 68 | 0.000 % |
1156.38/1157.09 c | 358753 | 1091 113182 490657 | 104140 97865 68 | 0.000 % |
1156.68/1157.34 c | 359246 | 1091 113182 490657 | 104140 98358 68 | 0.000 % |
1163.68/1164.33 c | 359791 | 1091 113182 490657 | 104140 98903 68 | 0.000 % |
1166.18/1166.85 c | 360388 | 1091 113182 490657 | 99112 83048 68 | 0.000 % |
1171.28/1171.98 c | 361043 | 1091 113182 490657 | 99112 83703 68 | 0.000 % |
1175.68/1176.32 c | 361764 | 1091 113182 490657 | 99112 84424 68 | 0.000 % |
1177.77/1178.42 c | 362558 | 1091 113182 490657 | 99112 85218 68 | 0.000 % |
1179.37/1180.08 c | 363429 | 1091 113182 490657 | 99112 86089 68 | 0.000 % |
1187.37/1188.02 c | 364389 | 1091 113182 490657 | 99112 87049 68 | 0.000 % |
1197.47/1198.20 c | 365446 | 1091 113182 490657 | 99112 88106 68 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833969-1242826822/watcher-1833969-1242826822 -o /tmp/evaluation-result-1833969-1242826822/solver-1833969-1242826822 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833969-1242826822.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 25001
/proc/meminfo: memFree=1933640/2055920 swapFree=4180684/4192956
[pid=25001] ppid=24999 vsize=5356 CPUtime=0
/proc/25001/stat : 25001 (SatELiteGTI) R 24999 25001 24788 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 310709350 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 246406113779 0 0 4100 65536 0 0 0 17 0 0 0
/proc/25001/statm: 1339 237 197 169 0 50 0
[startup+0.099619 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 25001
/proc/meminfo: memFree=1933640/2055920 swapFree=4180684/4192956
[pid=25001] ppid=24999 vsize=5356 CPUtime=0
/proc/25001/stat : 25001 (SatELiteGTI) S 24999 25001 24788 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310709350 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25001/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101619 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 25001
/proc/meminfo: memFree=1933640/2055920 swapFree=4180684/4192956
[pid=25001] ppid=24999 vsize=5356 CPUtime=0
/proc/25001/stat : 25001 (SatELiteGTI) S 24999 25001 24788 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310709350 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25001/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301637 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 25001
/proc/meminfo: memFree=1933640/2055920 swapFree=4180684/4192956
[pid=25001] ppid=24999 vsize=5356 CPUtime=0
/proc/25001/stat : 25001 (SatELiteGTI) S 24999 25001 24788 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310709350 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25001/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701676 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 25001
/proc/meminfo: memFree=1933640/2055920 swapFree=4180684/4192956
[pid=25001] ppid=24999 vsize=5356 CPUtime=0
/proc/25001/stat : 25001 (SatELiteGTI) S 24999 25001 24788 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310709350 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25001/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50175 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25006
/proc/meminfo: memFree=1921080/2055920 swapFree=4180684/4192956
[pid=25001] ppid=24999 vsize=5356 CPUtime=1.16
/proc/25001/stat : 25001 (SatELiteGTI) S 24999 25001 24788 0 -1 4194304 336 3261 0 0 0 0 113 3 16 0 1 0 310709350 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25001/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 5356
[startup+3.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25007
/proc/meminfo: memFree=1922616/2055920 swapFree=4180684/4192956
[pid=25001] ppid=24999 vsize=5356 CPUtime=1.16
/proc/25001/stat : 25001 (SatELiteGTI) S 24999 25001 24788 0 -1 4194304 336 3261 0 0 0 0 113 3 16 0 1 0 310709350 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25001/statm: 1339 239 197 169 0 50 0
[pid=25007] ppid=25001 vsize=9680 CPUtime=1.9
/proc/25007/stat : 25007 (minisat_static) R 25001 25001 24788 0 -1 4194304 2296 0 0 0 189 1 0 0 25 0 1 0 310709469 9912320 2282 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/25007/statm: 2420 2282 77 171 0 2247 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 15036
[startup+6.30121 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25007
/proc/meminfo: memFree=1919480/2055920 swapFree=4180684/4192956
[pid=25001] ppid=24999 vsize=5356 CPUtime=1.16
/proc/25001/stat : 25001 (SatELiteGTI) S 24999 25001 24788 0 -1 4194304 336 3261 0 0 0 0 113 3 16 0 1 0 310709350 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25001/statm: 1339 239 197 169 0 50 0
[pid=25007] ppid=25001 vsize=11956 CPUtime=5.1
/proc/25007/stat : 25007 (minisat_static) R 25001 25001 24788 0 -1 4194304 2861 0 0 0 509 1 0 0 25 0 1 0 310709469 12242944 2847 1992294400 134512640 135215339 4294956240 18446744073709551615 134528881 0 0 4096 3 0 0 0 17 0 0 0
/proc/25007/statm: 2989 2847 77 171 0 2816 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 17312
[startup+12.7028 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25007
/proc/meminfo: memFree=1914744/2055920 swapFree=4180684/4192956
[pid=25001] ppid=24999 vsize=5356 CPUtime=1.16
/proc/25001/stat : 25001 (SatELiteGTI) S 24999 25001 24788 0 -1 4194304 336 3261 0 0 0 0 113 3 16 0 1 0 310709350 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25001/statm: 1339 239 197 169 0 50 0
[pid=25007] ppid=25001 vsize=16508 CPUtime=11.5
/proc/25007/stat : 25007 (minisat_static) R 25001 25001 24788 0 -1 4194304 3990 0 0 0 1148 2 0 0 25 0 1 0 310709469 16904192 3976 1992294400 134512640 135215339 4294956240 18446744073709551615 134528795 0 0 4096 3 0 0 0 17 0 0 0
/proc/25007/statm: 4127 3976 77 171 0 3954 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 21864
[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25007
/proc/meminfo: memFree=1911416/2055920 swapFree=4180684/4192956
[pid=25001] ppid=24999 vsize=5356 CPUtime=1.16
/proc/25001/stat : 25001 (SatELiteGTI) S 24999 25001 24788 0 -1 4194304 336 3261 0 0 0 0 113 3 16 0 1 0 310709350 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25001/statm: 1339 239 197 169 0 50 0
[pid=25007] ppid=25001 vsize=19880 CPUtime=24.29
/proc/25007/stat : 25007 (minisat_static) R 25001 25001 24788 0 -1 4194304 4806 0 0 0 2426 3 0 0 25 0 1 0 310709469 20357120 4792 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 0 0 0
/proc/25007/statm: 4970 4792 77 171 0 4797 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 25236
[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25007
/proc/meminfo: memFree=1903288/2055920 swapFree=4180684/4192956
[pid=25001] ppid=24999 vsize=5356 CPUtime=1.16
/proc/25001/stat : 25001 (SatELiteGTI) S 24999 25001 24788 0 -1 4194304 336 3261 0 0 0 0 113 3 16 0 1 0 310709350 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25001/statm: 1339 239 197 169 0 50 0
[pid=25007] ppid=25001 vsize=28136 CPUtime=49.87
/proc/25007/stat : 25007 (minisat_static) R 25001 25001 24788 0 -1 4194304 6848 0 0 0 4982 5 0 0 25 0 1 0 310709469 28811264 6834 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/25007/statm: 7034 6834 77 171 0 6861 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 33492
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25007
/proc/meminfo: memFree=1896248/2055920 swapFree=4180684/4192956
[pid=25001] ppid=24999 vsize=5356 CPUtime=1.16
/proc/25001/stat : 25001 (SatELiteGTI) S 24999 25001 24788 0 -1 4194304 336 3261 0 0 0 0 113 3 16 0 1 0 310709350 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25001/statm: 1339 239 197 169 0 50 0
[pid=25007] ppid=25001 vsize=35188 CPUtime=101.04
/proc/25007/stat : 25007 (minisat_static) R 25001 25001 24788 0 -1 4194304 8551 0 0 0 10097 7 0 0 25 0 1 0 310709469 36032512 8537 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25007/statm: 8797 8537 77 171 0 8624 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 40544
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25007
/proc/meminfo: memFree=1892600/2055920 swapFree=4180684/4192956
[pid=25001] ppid=24999 vsize=5356 CPUtime=1.16
/proc/25001/stat : 25001 (SatELiteGTI) S 24999 25001 24788 0 -1 4194304 336 3261 0 0 0 0 113 3 16 0 1 0 310709350 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25001/statm: 1339 239 197 169 0 50 0
[pid=25007] ppid=25001 vsize=39132 CPUtime=161.01
/proc/25007/stat : 25007 (minisat_static) R 25001 25001 24788 0 -1 4194304 9446 0 0 0 16093 8 0 0 25 0 1 0 310709469 40071168 9424 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25007/statm: 9783 9424 77 171 0 9610 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 44488
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25009
/proc/meminfo: memFree=1886520/2055920 swapFree=4180684/4192956
[pid=25001] ppid=24999 vsize=5356 CPUtime=1.16
/proc/25001/stat : 25001 (SatELiteGTI) S 24999 25001 24788 0 -1 4194304 336 3261 0 0 0 0 113 3 16 0 1 0 310709350 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25001/statm: 1339 239 197 169 0 50 0
[pid=25007] ppid=25001 vsize=45076 CPUtime=220.98
/proc/25007/stat : 25007 (minisat_static) R 25001 25001 24788 0 -1 4194304 10933 0 0 0 22089 9 0 0 25 0 1 0 310709469 46157824 10911 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25007/statm: 11269 10911 77 171 0 11096 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 50432
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25009
/proc/meminfo: memFree=1881016/2055920 swapFree=4180684/4192956
[pid=25001] ppid=24999 vsize=5356 CPUtime=1.16
/proc/25001/stat : 25001 (SatELiteGTI) S 24999 25001 24788 0 -1 4194304 336 3261 0 0 0 0 113 3 16 0 1 0 310709350 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25001/statm: 1339 239 197 169 0 50 0
[pid=25007] ppid=25001 vsize=50724 CPUtime=280.95
/proc/25007/stat : 25007 (minisat_static) R 25001 25001 24788 0 -1 4194304 12296 0 0 0 28084 11 0 0 25 0 1 0 310709469 51941376 12274 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/25007/statm: 12681 12274 77 171 0 12508 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 56080
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25009
/proc/meminfo: memFree=1875704/2055920 swapFree=4180684/4192956
[pid=25001] ppid=24999 vsize=5356 CPUtime=1.16
/proc/25001/stat : 25001 (SatELiteGTI) S 24999 25001 24788 0 -1 4194304 336 3261 0 0 0 0 113 3 16 0 1 0 310709350 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25001/statm: 1339 239 197 169 0 50 0
[pid=25007] ppid=25001 vsize=55880 CPUtime=340.92
/proc/25007/stat : 25007 (minisat_static) R 25001 25001 24788 0 -1 4194304 13579 0 0 0 34079 13 0 0 25 0 1 0 310709469 57221120 13557 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25007/statm: 13970 13557 77 171 0 13797 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 61236
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25009
/proc/meminfo: memFree=1870072/2055920 swapFree=4180684/4192956
[pid=25001] ppid=24999 vsize=5356 CPUtime=1.16
/proc/25001/stat : 25001 (SatELiteGTI) S 24999 25001 24788 0 -1 4194304 336 3261 0 0 0 0 113 3 16 0 1 0 310709350 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25001/statm: 1339 239 197 169 0 50 0
[pid=25007] ppid=25001 vsize=61740 CPUtime=400.9
/proc/25007/stat : 25007 (minisat_static) R 25001 25001 24788 0 -1 4194304 14962 0 0 0 40076 14 0 0 25 0 1 0 310709469 63221760 14940 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25007/statm: 15435 14940 77 171 0 15262 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 67096
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25009
/proc/meminfo: memFree=1864312/2055920 swapFree=4180684/4192956
[pid=25001] ppid=24999 vsize=5356 CPUtime=1.16
################
# More data... #
################
/proc/25007/statm: 21163 20585 77 171 0 20990 0
Current children cumulated CPU time (s) 581.96
Current children cumulated vsize (KiB) 90008
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25009
/proc/meminfo: memFree=1838520/2055920 swapFree=4180684/4192956
[pid=25001] ppid=24999 vsize=5356 CPUtime=1.16
/proc/25001/stat : 25001 (SatELiteGTI) S 24999 25001 24788 0 -1 4194304 336 3261 0 0 0 0 113 3 16 0 1 0 310709350 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25001/statm: 1339 239 197 169 0 50 0
[pid=25007] ppid=25001 vsize=93012 CPUtime=640.78
/proc/25007/stat : 25007 (minisat_static) R 25001 25001 24788 0 -1 4194304 22750 0 0 0 64054 24 0 0 25 0 1 0 310709469 95244288 22728 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25007/statm: 23253 22728 77 171 0 23080 0
Current children cumulated CPU time (s) 641.94
Current children cumulated vsize (KiB) 98368
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25009
/proc/meminfo: memFree=1832056/2055920 swapFree=4180684/4192956
[pid=25001] ppid=24999 vsize=5356 CPUtime=1.16
/proc/25001/stat : 25001 (SatELiteGTI) S 24999 25001 24788 0 -1 4194304 336 3261 0 0 0 0 113 3 16 0 1 0 310709350 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25001/statm: 1339 239 197 169 0 50 0
[pid=25007] ppid=25001 vsize=99280 CPUtime=700.73
/proc/25007/stat : 25007 (minisat_static) R 25001 25001 24788 0 -1 4194304 24329 0 0 0 70047 26 0 0 25 0 1 0 310709469 101662720 24307 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25007/statm: 24820 24307 77 171 0 24647 0
Current children cumulated CPU time (s) 701.89
Current children cumulated vsize (KiB) 104636
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25009
/proc/meminfo: memFree=1830968/2055920 swapFree=4180684/4192956
[pid=25001] ppid=24999 vsize=5356 CPUtime=1.16
/proc/25001/stat : 25001 (SatELiteGTI) S 24999 25001 24788 0 -1 4194304 336 3261 0 0 0 0 113 3 16 0 1 0 310709350 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25001/statm: 1339 239 197 169 0 50 0
[pid=25007] ppid=25001 vsize=100264 CPUtime=760.7
/proc/25007/stat : 25007 (minisat_static) R 25001 25001 24788 0 -1 4194304 24555 0 0 0 76044 26 0 0 25 0 1 0 310709469 102670336 24533 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25007/statm: 25066 24533 77 171 0 24893 0
Current children cumulated CPU time (s) 761.86
Current children cumulated vsize (KiB) 105620
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25009
/proc/meminfo: memFree=1830392/2055920 swapFree=4180684/4192956
[pid=25001] ppid=24999 vsize=5356 CPUtime=1.16
/proc/25001/stat : 25001 (SatELiteGTI) S 24999 25001 24788 0 -1 4194304 336 3261 0 0 0 0 113 3 16 0 1 0 310709350 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25001/statm: 1339 239 197 169 0 50 0
[pid=25007] ppid=25001 vsize=100916 CPUtime=820.68
/proc/25007/stat : 25007 (minisat_static) R 25001 25001 24788 0 -1 4194304 24702 0 0 0 82041 27 0 0 25 0 1 0 310709469 103337984 24680 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25007/statm: 25229 24680 77 171 0 25056 0
Current children cumulated CPU time (s) 821.84
Current children cumulated vsize (KiB) 106272
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25009
/proc/meminfo: memFree=1829560/2055920 swapFree=4180684/4192956
[pid=25001] ppid=24999 vsize=5356 CPUtime=1.16
/proc/25001/stat : 25001 (SatELiteGTI) S 24999 25001 24788 0 -1 4194304 336 3261 0 0 0 0 113 3 16 0 1 0 310709350 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25001/statm: 1339 239 197 169 0 50 0
[pid=25007] ppid=25001 vsize=101972 CPUtime=880.65
/proc/25007/stat : 25007 (minisat_static) R 25001 25001 24788 0 -1 4194304 24882 0 0 0 88038 27 0 0 25 0 1 0 310709469 104419328 24860 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/25007/statm: 25493 24860 77 171 0 25320 0
Current children cumulated CPU time (s) 881.81
Current children cumulated vsize (KiB) 107328
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25009
/proc/meminfo: memFree=1829432/2055920 swapFree=4180684/4192956
[pid=25001] ppid=24999 vsize=5356 CPUtime=1.16
/proc/25001/stat : 25001 (SatELiteGTI) S 24999 25001 24788 0 -1 4194304 336 3261 0 0 0 0 113 3 16 0 1 0 310709350 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25001/statm: 1339 239 197 169 0 50 0
[pid=25007] ppid=25001 vsize=101972 CPUtime=940.63
/proc/25007/stat : 25007 (minisat_static) R 25001 25001 24788 0 -1 4194304 24902 0 0 0 94036 27 0 0 25 0 1 0 310709469 104419328 24880 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/25007/statm: 25493 24880 77 171 0 25320 0
Current children cumulated CPU time (s) 941.79
Current children cumulated vsize (KiB) 107328
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25009
/proc/meminfo: memFree=1829240/2055920 swapFree=4180684/4192956
[pid=25001] ppid=24999 vsize=5356 CPUtime=1.16
/proc/25001/stat : 25001 (SatELiteGTI) S 24999 25001 24788 0 -1 4194304 336 3261 0 0 0 0 113 3 16 0 1 0 310709350 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25001/statm: 1339 239 197 169 0 50 0
[pid=25007] ppid=25001 vsize=101972 CPUtime=1000.59
/proc/25007/stat : 25007 (minisat_static) R 25001 25001 24788 0 -1 4194304 24912 0 0 0 100032 27 0 0 25 0 1 0 310709469 104419328 24890 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25007/statm: 25493 24890 77 171 0 25320 0
Current children cumulated CPU time (s) 1001.75
Current children cumulated vsize (KiB) 107328
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25009
/proc/meminfo: memFree=1829176/2055920 swapFree=4180684/4192956
[pid=25001] ppid=24999 vsize=5356 CPUtime=1.16
/proc/25001/stat : 25001 (SatELiteGTI) S 24999 25001 24788 0 -1 4194304 336 3261 0 0 0 0 113 3 16 0 1 0 310709350 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25001/statm: 1339 239 197 169 0 50 0
[pid=25007] ppid=25001 vsize=101972 CPUtime=1060.57
/proc/25007/stat : 25007 (minisat_static) R 25001 25001 24788 0 -1 4194304 24922 0 0 0 106030 27 0 0 25 0 1 0 310709469 104419328 24900 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25007/statm: 25493 24900 77 171 0 25320 0
Current children cumulated CPU time (s) 1061.73
Current children cumulated vsize (KiB) 107328
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25009
/proc/meminfo: memFree=1829112/2055920 swapFree=4180684/4192956
[pid=25001] ppid=24999 vsize=5356 CPUtime=1.16
/proc/25001/stat : 25001 (SatELiteGTI) S 24999 25001 24788 0 -1 4194304 336 3261 0 0 0 0 113 3 16 0 1 0 310709350 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25001/statm: 1339 239 197 169 0 50 0
[pid=25007] ppid=25001 vsize=101972 CPUtime=1120.55
/proc/25007/stat : 25007 (minisat_static) R 25001 25001 24788 0 -1 4194304 24934 0 0 0 112028 27 0 0 25 0 1 0 310709469 104419328 24912 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25007/statm: 25493 24912 77 171 0 25320 0
Current children cumulated CPU time (s) 1121.71
Current children cumulated vsize (KiB) 107328
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25009
/proc/meminfo: memFree=1828984/2055920 swapFree=4180684/4192956
[pid=25001] ppid=24999 vsize=5356 CPUtime=1.16
/proc/25001/stat : 25001 (SatELiteGTI) S 24999 25001 24788 0 -1 4194304 336 3261 0 0 0 0 113 3 16 0 1 0 310709350 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25001/statm: 1339 239 197 169 0 50 0
[pid=25007] ppid=25001 vsize=101972 CPUtime=1180.51
/proc/25007/stat : 25007 (minisat_static) R 25001 25001 24788 0 -1 4194304 24934 0 0 0 118024 27 0 0 25 0 1 0 310709469 104419328 24912 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/25007/statm: 25493 24912 77 171 0 25320 0
Current children cumulated CPU time (s) 1181.67
Current children cumulated vsize (KiB) 107328
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25009
/proc/meminfo: memFree=1828984/2055920 swapFree=4180684/4192956
[pid=25001] ppid=24999 vsize=5356 CPUtime=1.16
/proc/25001/stat : 25001 (SatELiteGTI) S 24999 25001 24788 0 -1 4194304 336 3261 0 0 0 0 113 3 16 0 1 0 310709350 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25001/statm: 1339 239 197 169 0 50 0
[pid=25007] ppid=25001 vsize=101972 CPUtime=1198.91
/proc/25007/stat : 25007 (minisat_static) R 25001 25001 24788 0 -1 4194304 24934 0 0 0 119864 27 0 0 25 0 1 0 310709469 104419328 24912 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/25007/statm: 25493 24912 77 171 0 25320 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 107328
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25009
/proc/meminfo: memFree=1828984/2055920 swapFree=4180684/4192956
[pid=25001] ppid=24999 vsize=5356 CPUtime=1.16
/proc/25001/stat : 25001 (SatELiteGTI) S 24999 25001 24788 0 -1 4194304 336 3261 0 0 0 0 113 3 16 0 1 0 310709350 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25001/statm: 1339 239 197 169 0 50 0
[pid=25007] ppid=25001 vsize=101972 CPUtime=1198.91
/proc/25007/stat : 25007 (minisat_static) R 25001 25001 24788 0 -1 4194304 24934 0 0 0 119864 27 0 0 25 0 1 0 310709469 104419328 24912 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/25007/statm: 25493 24912 77 171 0 25320 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 107328
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25001 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=138826
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=35994
# CPU time returned by wait4() is 1.17482
# while last known CPU time is 1200.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.71
CPU time (s): 1200.07
CPU user time (s): 1199.77
CPU system time (s): 0.3
CPU usage (%): 99.9465
Max. virtual memory (cumulated for all children) (KiB): 107328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.13883
system time used= 0.035994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3597
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= 12
involuntary context switches= 11
runsolver used 1.14783 second user time and 3.2945 second system time
The end
Begin job on node61 at 2009-05-20 15:40:22
IDJOB=1833969
IDBENCH=71103
IDSOLVER=671
FILE ID=node61/1833969-1242826822
PBS_JOBID= 9322549
Free space on /tmp= 66280 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_11_UNKNOWN.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833969-1242826822/watcher-1833969-1242826822 -o /tmp/evaluation-result-1833969-1242826822/solver-1833969-1242826822 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833969-1242826822.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e0639bbed56c8b8c34616f8cb99c381c
RANDOM SEED=1912243937
node61.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.216
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.216
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1934120 kB
Buffers: 16092 kB
Cached: 66060 kB
SwapCached: 6724 kB
Active: 37708 kB
Inactive: 52956 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1934120 kB
SwapTotal: 4192956 kB
SwapFree: 4180684 kB
Dirty: 3364 kB
Writeback: 0 kB
Mapped: 13428 kB
Slab: 17300 kB
Committed_AS: 1050668 kB
PageTables: 1384 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264884 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66276 MiB
End job on node61 at 2009-05-20 16:00:25