0.00/0.00 c Parsing...
0.00/0.04 c ==============================================================================
0.00/0.04 c | | ORIGINAL | LEARNT | |
0.00/0.04 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.04 c ==============================================================================
0.00/0.04 c | 0 | 63345 188200 | 19003 0 0 nan | 0.000 % |
0.60/0.62 c | 0 | 62548 268903 | -- 0 -- -- | -- | -797/80703
0.60/0.62 c ==============================================================================
0.60/0.62 c Result : #vars: 636 #clauses: 62548 #literals: 268903
0.60/0.62 c CPU time: 0.58 s
0.60/0.62 c ==============================================================================
0.70/0.70 c This is MiniSat 2.0 beta
0.70/0.70 c WARNING: for repeatability, setting FPU to use double precision
0.70/0.70 c ============================[ Problem Statistics ]=============================
0.70/0.70 c | |
0.70/0.70 c | Number of variables: 636 |
0.70/0.70 c | Number of clauses: 62548 |
0.70/0.74 c | Parsing time: 0.04 s |
0.70/0.75 c ============================[ Search Statistics ]==============================
0.70/0.75 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.70/0.75 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.70/0.75 c ===============================================================================
0.70/0.75 c | 0 | 636 62548 268903 | 20849 0 nan | 0.000 % |
0.70/0.79 c | 100 | 636 62548 268903 | 20849 100 33 | 0.000 % |
0.70/0.84 c | 201 | 636 62548 268903 | 20849 201 30 | 0.000 % |
0.70/0.89 c | 301 | 636 62548 268903 | 20849 301 25 | 0.000 % |
0.70/0.93 c | 414 | 636 62548 268903 | 20849 414 23 | 0.000 % |
0.70/0.97 c | 516 | 636 62548 268903 | 20849 516 22 | 0.000 % |
1.00/1.04 c | 626 | 636 62548 268903 | 20849 626 24 | 0.000 % |
1.00/1.10 c | 747 | 636 62548 268903 | 20849 747 24 | 0.000 % |
1.10/1.14 c | 849 | 636 62548 268903 | 20849 849 23 | 0.000 % |
1.10/1.18 c | 959 | 636 62548 268903 | 20849 959 23 | 0.002 % |
1.19/1.24 c | 1083 | 636 62548 268903 | 20849 1083 22 | 0.000 % |
1.19/1.28 c | 1217 | 636 62548 268903 | 20849 1217 24 | 0.000 % |
1.29/1.33 c | 1317 | 636 62548 268903 | 20849 1317 24 | 0.000 % |
1.29/1.38 c | 1428 | 636 62548 268903 | 20849 1428 23 | 0.000 % |
1.39/1.44 c | 1550 | 636 62548 268903 | 20849 1550 23 | 0.000 % |
1.39/1.50 c | 1683 | 636 62548 268903 | 20849 1683 24 | 0.000 % |
1.49/1.56 c | 1830 | 636 62548 268903 | 20849 1830 23 | 0.000 % |
1.59/1.61 c | 1932 | 636 62548 268903 | 20849 1932 23 | 0.000 % |
1.59/1.65 c | 2045 | 636 62548 268903 | 20849 2045 23 | 0.002 % |
1.69/1.71 c | 2166 | 636 62548 268903 | 20849 2166 23 | 0.000 % |
1.69/1.77 c | 2300 | 636 62548 268903 | 20849 2300 23 | 0.000 % |
1.79/1.84 c | 2447 | 636 62548 268903 | 20849 2447 24 | 0.000 % |
1.89/1.91 c | 2607 | 636 62548 268903 | 20849 2607 23 | 0.000 % |
1.89/1.95 c | 2707 | 636 62548 268903 | 20849 2707 23 | 0.000 % |
1.99/2.00 c | 2817 | 636 62548 268903 | 20849 2817 23 | 0.002 % |
1.99/2.05 c | 2938 | 636 62548 268903 | 20849 2938 23 | 0.002 % |
2.09/2.11 c | 3071 | 636 62548 268903 | 20849 3071 22 | 0.000 % |
2.09/2.17 c | 3217 | 636 62548 268903 | 20849 3217 23 | 0.000 % |
2.20/2.23 c | 3378 | 636 62548 268903 | 20849 3378 24 | 0.000 % |
2.29/2.31 c | 3556 | 636 62548 268903 | 20849 3556 24 | 0.000 % |
2.29/2.36 c | 3657 | 636 62548 268903 | 20849 3657 24 | 0.000 % |
2.39/2.41 c | 3767 | 636 62548 268903 | 20849 3767 24 | 0.000 % |
2.39/2.47 c | 3889 | 636 62548 268903 | 20849 3889 23 | 0.000 % |
2.49/2.54 c | 4024 | 636 62548 268903 | 20849 4024 23 | 0.000 % |
2.59/2.61 c | 4170 | 636 62548 268903 | 20849 4170 23 | 0.000 % |
2.59/2.69 c | 4333 | 636 62548 268903 | 20849 4333 23 | 0.000 % |
2.69/2.77 c | 4510 | 636 62548 268903 | 20849 4510 23 | 0.002 % |
2.79/2.87 c | 4704 | 636 62548 268903 | 20849 4704 23 | 0.000 % |
2.89/2.93 c | 4804 | 636 62548 268903 | 20849 4804 23 | 0.000 % |
2.89/2.99 c | 4915 | 636 62548 268903 | 20849 4915 23 | 0.000 % |
2.99/3.06 c | 5041 | 636 62548 268903 | 20849 5041 23 | 0.000 % |
3.09/3.13 c | 5174 | 636 62548 268903 | 20849 5174 23 | 0.000 % |
3.09/3.18 c | 5320 | 636 62548 268903 | 20849 5320 23 | 0.000 % |
3.19/3.23 c | 5483 | 636 62548 268903 | 20849 5483 24 | 0.000 % |
3.19/3.29 c | 5659 | 636 62548 268903 | 20849 5659 24 | 0.000 % |
3.30/3.36 c | 5852 | 636 62548 268903 | 20849 5852 24 | 0.000 % |
3.39/3.44 c | 6065 | 636 62548 268903 | 20849 6065 25 | 0.000 % |
3.39/3.50 c | 6166 | 636 62548 268903 | 20849 6166 25 | 0.000 % |
3.49/3.56 c | 6276 | 636 62548 268903 | 20849 6276 25 | 0.000 % |
3.59/3.62 c | 6402 | 636 62548 268903 | 20849 6402 24 | 0.000 % |
3.59/3.69 c | 6537 | 636 62548 268903 | 20849 6537 24 | 0.000 % |
3.69/3.77 c | 6685 | 636 62548 268903 | 20849 6685 25 | 0.000 % |
3.79/3.86 c | 6845 | 636 62548 268903 | 20849 6845 25 | 0.000 % |
3.89/3.96 c | 7027 | 636 62548 268903 | 20849 7027 25 | 0.000 % |
3.99/4.07 c | 7221 | 636 62548 268903 | 20849 7221 25 | 0.000 % |
4.09/4.18 c | 7434 | 636 62548 268903 | 20849 7434 25 | 0.000 % |
4.30/4.32 c | 7670 | 636 62548 268903 | 20849 7670 25 | 0.000 % |
4.30/4.38 c | 7771 | 636 62548 268903 | 20849 7771 25 | 0.000 % |
4.40/4.45 c | 7881 | 636 62548 268903 | 20849 7881 24 | 0.000 % |
4.50/4.52 c | 8002 | 636 62548 268903 | 20849 8002 24 | 0.000 % |
4.50/4.58 c | 8138 | 636 62548 268903 | 20849 8138 25 | 0.000 % |
4.60/4.65 c | 8285 | 636 62548 268903 | 20849 8285 25 | 0.000 % |
4.70/4.75 c | 8447 | 636 62548 268903 | 20849 8447 25 | 0.000 % |
4.80/4.85 c | 8624 | 636 62548 268903 | 20849 8624 25 | 0.000 % |
4.90/4.95 c | 8817 | 636 62548 268903 | 20849 8817 24 | 0.000 % |
5.00/5.05 c | 9029 | 636 62548 268903 | 20849 9029 24 | 0.000 % |
5.10/5.17 c | 9262 | 636 62548 268903 | 20849 9262 25 | 0.000 % |
5.20/5.31 c | 9521 | 636 62548 268903 | 20849 9521 25 | 0.000 % |
5.30/5.38 c | 9623 | 636 62548 268903 | 20849 9623 25 | 0.000 % |
5.40/5.45 c | 9735 | 636 62548 268903 | 20849 9735 25 | 0.000 % |
5.50/5.52 c | 9859 | 636 62548 268903 | 20849 9859 25 | 0.000 % |
5.50/5.60 c | 9993 | 636 62548 268903 | 20849 9993 25 | 0.000 % |
5.60/5.70 c | 10145 | 636 62548 268903 | 2147483647 10145 25 | 0.000 % |
5.70/5.79 c | 10305 | 636 62548 268903 | 2147483647 10305 25 | 0.000 % |
5.80/5.89 c | 10481 | 636 62548 268903 | 2147483647 10481 25 | 0.000 % |
5.90/6.00 c | 10677 | 636 62548 268903 | 2147483647 10677 25 | 0.000 % |
6.10/6.11 c | 10889 | 636 62548 268903 | 2147483647 10889 25 | 0.000 % |
6.20/6.25 c | 11125 | 636 62548 268903 | 2147483647 11125 24 | 0.002 % |
6.30/6.41 c | 11384 | 636 62548 268903 | 2147483647 11384 24 | 0.000 % |
6.50/6.57 c | 11667 | 636 62548 268903 | 2147483647 11667 24 | 0.000 % |
6.60/6.63 c | 11767 | 636 62548 268903 | 2147483647 11767 24 | 0.000 % |
6.60/6.69 c | 11878 | 636 62548 268903 | 2147483647 11878 24 | 0.002 % |
6.70/6.75 c | 11999 | 636 62548 268903 | 2147483647 11999 24 | 0.000 % |
6.80/6.83 c | 12132 | 636 62548 268903 | 2147483647 12132 24 | 0.000 % |
6.80/6.91 c | 12279 | 636 62548 268903 | 2147483647 12279 24 | 0.000 % |
6.90/7.01 c | 12439 | 636 62548 268903 | 2147483647 12439 24 | 0.000 % |
7.10/7.12 c | 12617 | 636 62548 268903 | 2147483647 12617 24 | 0.000 % |
7.20/7.22 c | 12811 | 636 62548 268903 | 2147483647 12811 24 | 0.000 % |
7.30/7.35 c | 13024 | 636 62548 268903 | 2147483647 13024 24 | 0.000 % |
7.40/7.51 c | 13257 | 636 62548 268903 | 2147483647 13257 24 | 0.000 % |
7.60/7.67 c | 13518 | 636 62548 268903 | 2147483647 13518 24 | 0.000 % |
7.80/7.83 c | 13802 | 636 62548 268903 | 2147483647 13802 24 | 0.000 % |
8.00/8.03 c | 14114 | 636 62548 268903 | 2147483647 14114 24 | 0.000 % |
8.00/8.09 c | 14214 | 636 62548 268903 | 2147483647 14214 24 | 0.000 % |
8.10/8.15 c | 14324 | 636 62548 268903 | 2147483647 14324 24 | 0.000 % |
8.20/8.24 c | 14445 | 636 62548 268903 | 2147483647 14445 24 | 0.000 % |
8.30/8.32 c | 14579 | 636 62548 268903 | 2147483647 14579 24 | 0.000 % |
8.30/8.40 c | 14726 | 636 62548 268903 | 2147483647 14726 24 | 0.000 % |
8.40/8.49 c | 14886 | 636 62548 268903 | 2147483647 14886 24 | 0.000 % |
8.50/8.57 c | 15064 | 636 62548 268903 | 2147483647 15064 24 | 0.000 % |
8.60/8.69 c | 15257 | 636 62548 268903 | 2147483647 15257 24 | 0.000 % |
8.70/8.81 c | 15469 | 636 62548 268903 | 2147483647 15469 24 | 0.000 % |
8.90/8.95 c | 15705 | 636 62548 268903 | 2147483647 15705 24 | 0.002 % |
9.00/9.10 c | 15961 | 636 62548 268903 | 2147483647 15961 24 | 0.000 % |
9.20/9.26 c | 16242 | 636 62548 268903 | 2147483647 16242 24 | 0.000 % |
9.40/9.44 c | 16551 | 636 62548 268903 | 2147483647 16551 24 | 0.002 % |
9.60/9.67 c | 16892 | 636 62548 268903 | 2147483647 16892 24 | 0.000 % |
9.70/9.74 c | 16992 | 636 62548 268903 | 2147483647 16992 24 | 0.000 % |
9.70/9.80 c | 17102 | 636 62548 268903 | 2147483647 17102 24 | 0.000 % |
9.80/9.88 c | 17223 | 636 62548 268903 | 2147483647 17223 24 | 0.000 % |
9.90/9.95 c | 17357 | 636 62548 268903 | 2147483647 17357 24 | 0.000 % |
10.00/10.03 c | 17503 | 636 62548 268903 | 2147483647 17503 24 | 0.000 % |
10.10/10.12 c | 17665 | 636 62548 268903 | 2147483647 17665 25 | 0.000 % |
10.10/10.21 c | 17841 | 636 62548 268903 | 2147483647 17841 25 | 0.001 % |
10.30/10.32 c | 18037 | 636 62548 268903 | 2147483647 18037 25 | 0.000 % |
10.40/10.50 c | 18253 | 636 62548 268903 | 2147483647 18253 25 | 0.000 % |
10.60/10.65 c | 18486 | 636 62548 268903 | 2147483647 18486 25 | 0.000 % |
10.80/10.83 c | 18743 | 636 62548 268903 | 2147483647 18743 25 | 0.000 % |
11.00/11.03 c | 19025 | 636 62548 268903 | 2147483647 19025 25 | 0.000 % |
11.20/11.28 c | 19334 | 636 62548 268903 | 2147483647 19334 25 | 0.000 % |
11.50/11.56 c | 19676 | 636 62548 268903 | 2147483647 19676 25 | 0.000 % |
11.80/11.85 c | 20049 | 636 62548 268903 | 2147483647 20049 25 | 0.000 % |
11.90/11.91 c | 20150 | 636 62548 268903 | 2147483647 20150 25 | 0.000 % |
11.90/12.00 c | 20262 | 636 62548 268903 | 2147483647 20262 25 | 0.000 % |
12.00/12.09 c | 20385 | 636 62548 268903 | 2147483647 20385 25 | 0.000 % |
12.10/12.17 c | 20521 | 636 62548 268903 | 2147483647 20521 25 | 0.000 % |
12.20/12.30 c | 20667 | 636 62548 268903 | 2147483647 20667 25 | 0.000 % |
12.40/12.43 c | 20827 | 636 62548 268903 | 2147483647 20827 25 | 0.000 % |
12.50/12.56 c | 21006 | 636 62548 268903 | 2147483647 21006 25 | 0.000 % |
12.60/12.70 c | 21199 | 636 62548 268903 | 2147483647 21199 25 | 0.000 % |
12.80/12.85 c | 21413 | 636 62548 268903 | 2147483647 21413 25 | 0.000 % |
13.00/13.02 c | 21647 | 636 62548 268903 | 2147483647 21647 25 | 0.000 % |
13.10/13.19 c | 21906 | 636 62548 268903 | 2147483647 21906 25 | 0.000 % |
13.40/13.41 c | 22188 | 636 62548 268903 | 2147483647 22188 25 | 0.000 % |
13.60/13.64 c | 22497 | 636 62548 268903 | 2147483647 22497 25 | 0.000 % |
13.80/13.89 c | 22838 | 636 62548 268903 | 2147483647 22838 25 | 0.000 % |
14.10/14.19 c | 23211 | 636 62548 268903 | 2147483647 23211 25 | 0.000 % |
14.40/14.51 c | 23622 | 636 62548 268903 | 2147483647 23622 25 | 0.002 % |
14.50/14.58 c | 23722 | 636 62548 268903 | 2147483647 23722 25 | 0.000 % |
14.60/14.65 c | 23832 | 636 62548 268903 | 2147483647 23832 25 | 0.000 % |
14.70/14.72 c | 23955 | 636 62548 268903 | 2147483647 23955 24 | 0.000 % |
14.80/14.82 c | 24088 | 636 62548 268903 | 2147483647 24088 24 | 0.000 % |
14.90/14.96 c | 24234 | 636 62548 268903 | 2147483647 24234 25 | 0.000 % |
15.00/15.10 c | 24394 | 636 62548 268903 | 2147483647 24394 25 | 0.000 % |
15.20/15.22 c | 24570 | 636 62548 268903 | 2147483647 24570 24 | 0.000 % |
15.30/15.39 c | 24763 | 636 62548 268903 | 2147483647 24763 25 | 0.000 % |
15.50/15.53 c | 24977 | 636 62548 268903 | 2147483647 24977 25 | 0.000 % |
15.70/15.73 c | 25211 | 636 62548 268903 | 2147483647 25211 25 | 0.000 % |
15.90/15.91 c | 25469 | 636 62548 268903 | 2147483647 25469 25 | 0.000 % |
16.10/16.11 c | 25751 | 636 62548 268903 | 2147483647 25751 25 | 0.000 % |
16.30/16.36 c | 26062 | 636 62548 268903 | 2147483647 26062 25 | 0.000 % |
16.60/16.66 c | 26401 | 636 62548 268903 | 2147483647 26401 25 | 0.000 % |
16.90/16.97 c | 26774 | 636 62548 268903 | 2147483647 26774 25 | 0.000 % |
17.10/17.20 c | 27183 | 636 62548 268903 | 2147483647 27183 25 | 0.000 % |
17.60/17.63 c | 27632 | 636 62548 268903 | 2147483647 27632 25 | 0.000 % |
17.70/17.73 c | 27733 | 636 62548 268903 | 2147483647 27733 25 | 0.000 % |
17.80/17.81 c | 27844 | 636 62548 268903 | 2147483647 27844 25 | 0.000 % |
17.90/17.92 c | 27967 | 636 62548 268903 | 2147483647 27967 25 | 0.000 % |
18.00/18.04 c | 28103 | 636 62548 268903 | 2147483647 28103 25 | 0.000 % |
18.10/18.17 c | 28249 | 636 62548 268903 | 2147483647 28249 25 | 0.000 % |
18.20/18.30 c | 28415 | 636 62548 268903 | 2147483647 28415 25 | 0.000 % |
18.40/18.45 c | 28593 | 636 62548 268903 | 2147483647 28593 25 | 0.000 % |
18.60/18.65 c | 28788 | 636 62548 268903 | 2147483647 28788 25 | 0.000 % |
18.70/18.81 c | 29000 | 636 62548 268903 | 2147483647 29000 25 | 0.000 % |
19.00/19.03 c | 29234 | 636 62548 268903 | 2147483647 29234 25 | 0.000 % |
19.20/19.25 c | 29492 | 636 62548 268903 | 2147483647 29492 25 | 0.000 % |
19.40/19.51 c | 29773 | 636 62548 268903 | 2147483647 29773 25 | 0.000 % |
19.70/19.76 c | 30083 | 636 62548 268903 | 2147483647 30083 25 | 0.000 % |
20.00/20.11 c | 30422 | 636 62548 268903 | 2147483647 30422 25 | 0.000 % |
20.40/20.43 c | 30794 | 636 62548 268903 | 2147483647 30794 25 | 0.000 % |
20.70/20.77 c | 31204 | 636 62548 268903 | 2147483647 31204 25 | 0.000 % |
21.10/21.17 c | 31657 | 636 62548 268903 | 2147483647 31657 25 | 0.001 % |
21.60/21.63 c | 32153 | 636 62548 268903 | 2147483647 32153 25 | 0.000 % |
21.70/21.71 c | 32253 | 636 62548 268903 | 2147483647 32253 25 | 0.000 % |
21.70/21.80 c | 32364 | 636 62548 268903 | 2147483647 32364 25 | 0.000 % |
21.90/21.91 c | 32486 | 636 62548 268903 | 2147483647 32486 25 | 0.000 % |
22.00/22.06 c | 32623 | 636 62548 268903 | 2147483647 32623 25 | 0.000 % |
22.10/22.19 c | 32770 | 636 62548 268903 | 2147483647 32770 25 | 0.000 % |
22.30/22.34 c | 32931 | 636 62548 268903 | 2147483647 32931 25 | 0.000 % |
22.50/22.51 c | 33107 | 636 62548 268903 | 2147483647 33107 25 | 0.000 % |
22.60/22.67 c | 33305 | 636 62548 268903 | 2147483647 33305 25 | 0.000 % |
22.80/22.86 c | 33519 | 636 62548 268903 | 2147483647 33519 25 | 0.000 % |
23.10/23.12 c | 33752 | 636 62548 268903 | 2147483647 33752 25 | 0.000 % |
23.30/23.37 c | 34008 | 636 62548 268903 | 2147483647 34008 25 | 0.000 % |
23.60/23.66 c | 34289 | 636 62548 268903 | 2147483647 34289 25 | 0.001 % |
24.00/24.04 c | 34598 | 636 62548 268903 | 2147483647 34598 25 | 0.000 % |
24.40/24.43 c | 34938 | 636 62548 268903 | 2147483647 34938 25 | 0.000 % |
24.70/24.80 c | 35313 | 636 62548 268903 | 2147483647 35313 25 | 0.000 % |
25.20/25.22 c | 35722 | 636 62548 268903 | 2147483647 35722 25 | 0.000 % |
25.60/25.65 c | 36171 | 636 62548 268903 | 2147483647 36171 25 | 0.000 % |
26.10/26.17 c | 36667 | 636 62548 268903 | 2147483647 36667 25 | 0.000 % |
26.60/26.70 c | 37211 | 636 62548 268903 | 2147483647 37211 25 | 0.000 % |
26.70/26.79 c | 37314 | 636 62548 268903 | 2147483647 37314 25 | 0.000 % |
26.80/26.89 c | 37424 | 636 62548 268903 | 2147483647 37424 25 | 0.000 % |
27.00/27.01 c | 37546 | 636 62548 268903 | 2147483647 37546 25 | 0.002 % |
27.10/27.17 c | 37679 | 636 62548 268903 | 2147483647 37679 25 | 0.000 % |
27.30/27.32 c | 37826 | 636 62548 268903 | 2147483647 37826 25 | 0.000 % |
27.40/27.48 c | 37988 | 636 62548 268903 | 2147483647 37988 25 | 0.000 % |
27.60/27.64 c | 38164 | 636 62548 268903 | 2147483647 38164 25 | 0.000 % |
27.80/27.84 c | 38359 | 636 62548 268903 | 2147483647 38359 25 | 0.000 % |
28.00/28.08 c | 38572 | 636 62548 268903 | 2147483647 38572 25 | 0.000 % |
28.30/28.35 c | 38806 | 636 62548 268903 | 2147483647 38806 25 | 0.000 % |
28.50/28.61 c | 39064 | 636 62548 268903 | 2147483647 39064 25 | 0.000 % |
28.90/28.99 c | 39345 | 636 62548 268903 | 2147483647 39345 25 | 0.000 % |
29.30/29.36 c | 39655 | 636 62548 268903 | 2147483647 39655 25 | 0.000 % |
29.70/29.76 c | 39996 | 636 62548 268903 | 2147483647 39996 25 | 0.000 % |
30.10/30.16 c | 40368 | 636 62548 268903 | 2147483647 40368 25 | 0.001 % |
30.50/30.59 c | 40777 | 636 62548 268903 | 2147483647 40777 25 | 0.000 % |
31.00/31.10 c | 41229 | 636 62548 268903 | 2147483647 41229 25 | 0.000 % |
31.50/31.59 c | 41725 | 636 62548 268903 | 2147483647 41725 25 | 0.000 % |
32.10/32.11 c | 42267 | 636 62548 268903 | 2147483647 42267 25 | 0.000 % |
32.70/32.72 c | 42864 | 636 62548 268903 | 2147483647 42864 25 | 0.000 % |
32.80/32.82 c | 42964 | 636 62548 268903 | 2147483647 42964 25 | 0.002 % |
32.90/32.93 c | 43077 | 636 62548 268903 | 2147483647 43077 25 | 0.000 % |
33.00/33.09 c | 43200 | 636 62548 268903 | 2147483647 43200 25 | 0.000 % |
33.20/33.23 c | 43334 | 636 62548 268903 | 2147483647 43334 25 | 0.000 % |
33.30/33.37 c | 43480 | 636 62548 268903 | 2147483647 43480 25 | 0.000 % |
33.50/33.52 c | 43643 | 636 62548 268903 | 2147483647 43643 25 | 0.000 % |
33.60/33.69 c | 43820 | 636 62548 268903 | 2147483647 43820 25 | 0.000 % |
33.80/33.89 c | 44014 | 636 62548 268903 | 2147483647 44014 25 | 0.002 % |
34.10/34.17 c | 44228 | 636 62548 268903 | 2147483647 44228 25 | 0.000 % |
34.30/34.39 c | 44462 | 636 62548 268903 | 2147483647 44462 25 | 0.000 % |
34.60/34.66 c | 44718 | 636 62548 268903 | 2147483647 44718 25 | 0.000 % |
34.90/34.94 c | 44999 | 636 62548 268903 | 2147483647 44999 25 | 0.000 % |
35.20/35.28 c | 45310 | 636 62548 268903 | 2147483647 45310 25 | 0.000 % |
35.60/35.63 c | 45651 | 636 62548 268903 | 2147483647 45651 25 | 0.000 % |
36.00/36.04 c | 46025 | 636 62548 268903 | 2147483647 46025 25 | 0.000 % |
36.50/36.57 c | 46434 | 636 62548 268903 | 2147483647 46434 25 | 0.000 % |
37.10/37.15 c | 46883 | 636 62548 268903 | 2147483647 46883 25 | 0.000 % |
37.70/37.73 c | 47383 | 636 62548 268903 | 2147483647 47383 25 | 0.000 % |
38.30/38.31 c | 47925 | 636 62548 268903 | 2147483647 47925 25 | 0.000 % |
38.90/38.92 c | 48521 | 636 62548 268903 | 2147483647 48521 25 | 0.000 % |
39.70/39.79 c | 49177 | 636 62548 268903 | 2147483647 49177 25 | 0.000 % |
39.90/39.92 c | 49278 | 636 62548 268903 | 2147483647 49278 25 | 0.000 % |
40.00/40.03 c | 49388 | 636 62548 268903 | 2147483647 49388 25 | 0.000 % |
40.10/40.20 c | 49509 | 636 62548 268903 | 2147483647 49509 25 | 0.000 % |
40.30/40.40 c | 49642 | 636 62548 268903 | 2147483647 49642 25 | 0.000 % |
40.50/40.60 c | 49788 | 636 62548 268903 | 2147483647 49788 25 | 0.000 % |
40.70/40.78 c | 49951 | 636 62548 268903 | 2147483647 49951 25 | 0.000 % |
40.90/40.99 c | 50127 | 636 62548 268903 | 2147483647 50127 25 | 0.000 % |
41.10/41.20 c | 50320 | 636 62548 268903 | 2147483647 50320 25 | 0.000 % |
41.40/41.43 c | 50532 | 636 62548 268903 | 2147483647 50532 25 | 0.000 % |
41.70/41.77 c | 50765 | 636 62548 268903 | 2147483647 50765 25 | 0.000 % |
42.00/42.05 c | 51023 | 636 62548 268903 | 2147483647 51023 25 | 0.000 % |
42.50/42.53 c | 51307 | 636 62548 268903 | 2147483647 51307 25 | 0.000 % |
42.80/42.89 c | 51616 | 636 62548 268903 | 2147483647 51616 25 | 0.000 % |
43.20/43.30 c | 51959 | 636 62548 268903 | 2147483647 51959 25 | 0.000 % |
43.70/43.73 c | 52333 | 636 62548 268903 | 2147483647 52333 25 | 0.000 % |
44.20/44.23 c | 52742 | 636 62548 268903 | 2147483647 52742 25 | 0.000 % |
44.70/44.77 c | 53192 | 636 62548 268903 | 2147483647 53192 25 | 0.000 % |
45.20/45.27 c | 53686 | 636 62548 268903 | 2147483647 53686 25 | 0.000 % |
45.81/45.88 c | 54228 | 636 62548 268903 | 2147483647 54228 25 | 0.000 % |
46.51/46.54 c | 54826 | 636 62548 268903 | 2147483647 54826 25 | 0.000 % |
47.31/47.32 c | 55481 | 636 62548 268903 | 2147483647 55481 25 | 0.000 % |
48.11/48.15 c | 56201 | 636 62548 268903 | 2147483647 56201 25 | 0.000 % |
48.21/48.28 c | 56301 | 636 62548 268903 | 2147483647 56301 25 | 0.000 % |
48.31/48.41 c | 56414 | 636 62548 268903 | 2147483647 56414 25 | 0.000 % |
48.51/48.55 c | 56535 | 636 62548 268903 | 2147483647 56535 25 | 0.000 % |
48.71/48.79 c | 56669 | 636 62548 268903 | 2147483647 56669 25 | 0.000 % |
48.91/48.97 c | 56816 | 636 62548 268903 | 2147483647 56816 25 | 0.000 % |
49.11/49.17 c | 56976 | 636 62548 268903 | 2147483647 56976 25 | 0.000 % |
49.31/49.39 c | 57154 | 636 62548 268903 | 2147483647 57154 25 | 0.000 % |
49.51/49.60 c | 57350 | 636 62548 268903 | 2147483647 57350 25 | 0.000 % |
49.81/49.86 c | 57568 | 636 62548 268903 | 2147483647 57568 25 | 0.000 % |
50.11/50.20 c | 57803 | 636 62548 268903 | 2147483647 57803 25 | 0.000 % |
50.51/50.61 c | 58062 | 636 62548 268903 | 2147483647 58062 25 | 0.000 % |
50.91/50.99 c | 58343 | 636 62548 268903 | 2147483647 58343 25 | 0.000 % |
51.31/51.41 c | 58655 | 636 62548 268903 | 2147483647 58655 25 | 0.000 % |
51.81/51.86 c | 58999 | 636 62548 268903 | 2147483647 58999 25 | 0.000 % |
52.31/52.34 c | 59374 | 636 62548 268903 | 2147483647 59374 25 | 0.000 % |
52.81/52.84 c | 59783 | 636 62548 268903 | 2147483647 59783 25 | 0.000 % |
53.31/53.37 c | 60233 | 636 62548 268903 | 2147483647 60233 25 | 0.000 % |
53.91/53.96 c | 60727 | 636 62548 268903 | 2147483647 60727 25 | 0.000 % |
54.61/54.70 c | 61272 | 636 62548 268903 | 2147483647 61272 25 | 0.000 % |
55.31/55.40 c | 61868 | 636 62548 268903 | 2147483647 61868 25 | 0.000 % |
56.11/56.20 c | 62524 | 636 62548 268903 | 2147483647 62524 25 | 0.000 % |
57.31/57.35 c | 63245 | 636 62548 268903 | 2147483647 63245 25 | 0.000 % |
58.31/58.42 c | 64039 | 636 62548 268903 | 2147483647 64039 25 | 0.000 % |
58.61/58.63 c | 64139 | 636 62548 268903 | 2147483647 64139 25 | 0.000 % |
58.71/58.79 c | 64249 | 636 62548 268903 | 2147483647 64249 25 | 0.000 % |
58.91/59.00 c | 64370 | 636 62548 268903 | 2147483647 64370 25 | 0.000 % |
59.11/59.15 c | 64505 | 636 62548 268903 | 2147483647 64505 25 | 0.000 % |
59.41/59.44 c | 64652 | 636 62548 268903 | 2147483647 64652 25 | 0.000 % |
59.61/59.70 c | 64817 | 636 62548 268903 | 2147483647 64817 25 | 0.000 % |
59.91/59.95 c | 64993 | 636 62548 268903 | 2147483647 64993 25 | 0.000 % |
60.21/60.25 c | 65186 | 636 62548 268903 | 2147483647 65186 25 | 0.000 % |
60.51/60.53 c | 65400 | 636 62548 268903 | 2147483647 65400 25 | 0.000 % |
60.81/60.88 c | 65633 | 636 62548 268903 | 2147483647 65633 25 | 0.000 % |
61.21/61.23 c | 65891 | 636 62548 268903 | 2147483647 65891 25 | 0.000 % |
61.51/61.59 c | 66173 | 636 62548 268903 | 2147483647 66173 25 | 0.000 % |
61.91/61.95 c | 66482 | 636 62548 268903 | 2147483647 66482 25 | 0.000 % |
62.31/62.37 c | 66823 | 636 62548 268903 | 2147483647 66823 25 | 0.000 % |
62.81/62.85 c | 67196 | 636 62548 268903 | 2147483647 67196 25 | 0.000 % |
63.41/63.45 c | 67605 | 636 62548 268903 | 2147483647 67605 25 | 0.000 % |
64.01/64.06 c | 68057 | 636 62548 268903 | 2147483647 68057 25 | 0.000 % |
64.91/64.94 c | 68551 | 636 62548 268903 | 2147483647 68551 25 | 0.000 % |
65.81/65.82 c | 69093 | 636 62548 268903 | 2147483647 69093 25 | 0.000 % |
66.61/66.71 c | 69689 | 636 62548 268903 | 2147483647 69689 25 | 0.000 % |
67.61/67.69 c | 70346 | 636 62548 268903 | 2147483647 70346 25 | 0.000 % |
68.71/68.75 c | 71073 | 636 62548 268903 | 2147483647 71073 25 | 0.000 % |
70.01/70.05 c | 71865 | 636 62548 268903 | 2147483647 71865 25 | 0.000 % |
71.41/71.43 c | 72736 | 636 62548 268903 | 2147483647 72736 25 | 0.000 % |
71.51/71.58 c | 72837 | 636 62548 268903 | 2147483647 72837 25 | 0.000 % |
71.71/71.75 c | 72948 | 636 62548 268903 | 2147483647 72948 25 | 0.000 % |
71.91/71.94 c | 73070 | 636 62548 268903 | 2147483647 73070 25 | 0.000 % |
72.11/72.21 c | 73203 | 636 62548 268903 | 2147483647 73203 25 | 0.000 % |
72.41/72.46 c | 73350 | 636 62548 268903 | 2147483647 73350 25 | 0.000 % |
72.61/72.71 c | 73510 | 636 62548 268903 | 2147483647 73510 25 | 0.000 % |
73.01/73.05 c | 73686 | 636 62548 268903 | 2147483647 73686 25 | 0.000 % |
73.31/73.38 c | 73880 | 636 62548 268903 | 2147483647 73880 25 | 0.000 % |
73.71/73.76 c | 74092 | 636 62548 268903 | 2147483647 74092 25 | 0.000 % |
74.11/74.15 c | 74328 | 636 62548 268903 | 2147483647 74328 25 | 0.000 % |
74.61/74.66 c | 74584 | 636 62548 268903 | 2147483647 74584 25 | 0.000 % |
75.11/75.17 c | 74865 | 636 62548 268903 | 2147483647 74865 25 | 0.000 % |
75.51/75.60 c | 75176 | 636 62548 268903 | 2147483647 75176 25 | 0.000 % |
76.01/76.10 c | 75516 | 636 62548 268903 | 2147483647 75516 25 | 0.000 % |
76.71/76.79 c | 75890 | 636 62548 268903 | 2147483647 75890 25 | 0.000 % |
77.51/77.59 c | 76301 | 636 62548 268903 | 2147483647 76301 25 | 0.000 % |
78.21/78.26 c | 76750 | 636 62548 268903 | 2147483647 76750 25 | 0.000 % |
79.01/79.03 c | 77246 | 636 62548 268903 | 2147483647 77246 25 | 0.000 % |
79.81/79.91 c | 77789 | 636 62548 268903 | 2147483647 77789 25 | 0.000 % |
80.81/80.85 c | 78389 | 636 62548 268903 | 2147483647 78389 25 | 0.000 % |
81.81/81.89 c | 79044 | 636 62548 268903 | 2147483647 79044 25 | 0.000 % |
83.21/83.25 c | 79764 | 636 62548 268903 | 2147483647 79764 25 | 0.000 % |
84.41/84.47 c | 80556 | 636 62548 268903 | 2147483647 80556 25 | 0.000 % |
86.11/86.13 c | 81427 | 636 62548 268903 | 2147483647 81427 25 | 0.000 % |
87.61/87.65 c | 82385 | 636 62548 268903 | 2147483647 82385 25 | 0.000 % |
87.81/87.82 c | 82489 | 636 62548 268903 | 2147483647 82489 25 | 0.000 % |
87.91/87.96 c | 82600 | 636 62548 268903 | 2147483647 82600 25 | 0.000 % |
88.11/88.15 c | 82721 | 636 62548 268903 | 2147483647 82721 25 | 0.000 % |
88.31/88.37 c | 82854 | 636 62548 268903 | 2147483647 82854 25 | 0.002 % |
88.61/88.62 c | 83001 | 636 62548 268903 | 2147483647 83001 25 | 0.000 % |
88.91/89.01 c | 83161 | 636 62548 268903 | 2147483647 83161 25 | 0.000 % |
89.31/89.34 c | 83341 | 636 62548 268903 | 2147483647 83341 25 | 0.000 % |
89.61/89.69 c | 83536 | 636 62548 268903 | 2147483647 83536 25 | 0.000 % |
90.11/90.13 c | 83748 | 636 62548 268903 | 2147483647 83748 25 | 0.000 % |
90.51/90.58 c | 83983 | 636 62548 268903 | 2147483647 83983 25 | 0.000 % |
90.91/90.96 c | 84243 | 636 62548 268903 | 2147483647 84243 25 | 0.000 % |
91.41/91.45 c | 84524 | 636 62548 268903 | 2147483647 84524 25 | 0.000 % |
92.01/92.10 c | 84834 | 636 62548 268903 | 2147483647 84834 25 | 0.000 % |
92.71/92.73 c | 85175 | 636 62548 268903 | 2147483647 85175 25 | 0.000 % |
93.31/93.37 c | 85547 | 636 62548 268903 | 2147483647 85547 25 | 0.000 % |
94.01/94.10 c | 85957 | 636 62548 268903 | 2147483647 85957 25 | 0.000 % |
94.81/94.84 c | 86408 | 636 62548 268903 | 2147483647 86408 25 | 0.000 % |
95.61/95.65 c | 86901 | 636 62548 268903 | 2147483647 86901 25 | 0.000 % |
96.82/96.86 c | 87445 | 636 62548 268903 | 2147483647 87445 25 | 0.000 % |
97.81/97.85 c | 88042 | 636 62548 268903 | 2147483647 88042 25 | 0.000 % |
99.02/99.11 c | 88699 | 636 62548 268903 | 2147483647 88699 25 | 0.000 % |
100.31/100.35 c | 89419 | 636 62548 268903 | 2147483647 89419 25 | 0.000 % |
101.61/101.67 c | 90213 | 636 62548 268903 | 2147483647 90213 25 | 0.000 % |
103.21/103.23 c | 91084 | 636 62548 268903 | 2147483647 91084 25 | 0.000 % |
105.11/105.17 c | 92043 | 636 62548 268903 | 2147483647 92043 25 | 0.000 % |
107.31/107.39 c | 93099 | 636 62548 268903 | 2147483647 93099 25 | 0.000 % |
107.61/107.62 c | 93199 | 636 62548 268903 | 2147483647 93199 25 | 0.000 % |
107.82/107.88 c | 93311 | 636 62548 268903 | 2147483647 93311 25 | 0.000 % |
108.11/108.17 c | 93432 | 636 62548 268903 | 2147483647 93432 25 | 0.000 % |
108.41/108.46 c | 93567 | 636 62548 268903 | 2147483647 93567 25 | 0.000 % |
108.71/108.79 c | 93715 | 636 62548 268903 | 2147483647 93715 25 | 0.000 % |
109.01/109.10 c | 93877 | 636 62548 268903 | 2147483647 93877 25 | 0.000 % |
109.41/109.42 c | 94055 | 636 62548 268903 | 2147483647 94055 25 | 0.000 % |
109.91/109.95 c | 94249 | 636 62548 268903 | 2147483647 94249 25 | 0.000 % |
110.31/110.41 c | 94463 | 636 62548 268903 | 2147483647 94463 25 | 0.000 % |
110.81/110.84 c | 94699 | 636 62548 268903 | 2147483647 94699 25 | 0.000 % |
111.21/111.31 c | 94955 | 636 62548 268903 | 2147483647 94955 25 | 0.000 % |
111.91/111.95 c | 95237 | 636 62548 268903 | 2147483647 95237 25 | 0.000 % |
112.41/112.51 c | 95546 | 636 62548 268903 | 2147483647 95546 25 | 0.000 % |
113.32/113.33 c | 95889 | 636 62548 268903 | 2147483647 95889 25 | 0.000 % |
114.01/114.08 c | 96261 | 636 62548 268903 | 2147483647 96261 25 | 0.000 % |
114.91/114.91 c | 96671 | 636 62548 268903 | 2147483647 96671 25 | 0.000 % |
115.71/115.80 c | 97120 | 636 62548 268903 | 2147483647 97120 25 | 0.000 % |
116.71/116.78 c | 97618 | 636 62548 268903 | 2147483647 97618 25 | 0.000 % |
117.81/117.87 c | 98162 | 636 62548 268903 | 2147483647 98162 25 | 0.000 % |
119.01/119.10 c | 98759 | 636 62548 268903 | 2147483647 98759 25 | 0.000 % |
120.31/120.39 c | 99419 | 636 62548 268903 | 2147483647 99419 25 | 0.000 % |
121.71/121.75 c | 100141 | 636 62548 268903 | 2147483647 100141 25 | 0.000 % |
123.31/123.37 c | 100934 | 636 62548 268903 | 2147483647 100934 25 | 0.000 % |
125.01/125.06 c | 101805 | 636 62548 268903 | 2147483647 101805 25 | 0.000 % |
126.81/126.82 c | 102763 | 636 62548 268903 | 2147483647 102763 25 | 0.000 % |
128.61/128.68 c | 103818 | 636 62548 268903 | 2147483647 103818 25 | 0.000 % |
130.31/130.34 c | 104976 | 636 62548 268903 | 2147483647 104976 25 | 0.000 % |
130.51/130.53 c | 105078 | 636 62548 268903 | 2147483647 105078 25 | 0.000 % |
130.61/130.69 c | 105191 | 636 62548 268903 | 2147483647 105191 25 | 0.000 % |
130.81/130.87 c | 105312 | 636 62548 268903 | 2147483647 105312 25 | 0.000 % |
131.01/131.06 c | 105445 | 636 62548 268903 | 2147483647 105445 25 | 0.000 % |
131.21/131.27 c | 105593 | 636 62548 268903 | 2147483647 105593 25 | 0.000 % |
131.41/131.43 c | 105754 | 636 62548 268903 | 2147483647 105754 25 | 0.000 % |
131.61/131.66 c | 105930 | 636 62548 268903 | 2147483647 105930 25 | 0.000 % |
131.81/131.91 c | 106124 | 636 62548 268903 | 2147483647 106124 25 | 0.000 % |
132.11/132.13 c | 106339 | 636 62548 268903 | 2147483647 106339 25 | 0.000 % |
132.41/132.42 c | 106572 | 636 62548 268903 | 2147483647 106572 25 | 0.000 % |
133.01/133.04 c | 106828 | 636 62548 268903 | 2147483647 106828 25 | 0.000 % |
133.41/133.45 c | 107110 | 636 62548 268903 | 2147483647 107110 25 | 0.000 % |
133.81/133.81 c | 107421 | 636 62548 268903 | 2147483647 107421 25 | 0.000 % |
134.11/134.20 c | 107760 | 636 62548 268903 | 2147483647 107760 25 | 0.000 % |
134.61/134.70 c | 108133 | 636 62548 268903 | 2147483647 108133 25 | 0.000 % |
135.11/135.11 c | 108542 | 636 62548 268903 | 2147483647 108542 25 | 0.000 % |
136.02/136.10 c | 108991 | 636 62548 268903 | 2147483647 108991 25 | 0.000 % |
137.52/137.57 c | 109485 | 636 62548 268903 | 2147483647 109485 25 | 0.000 % |
138.72/138.75 c | 110029 | 636 62548 268903 | 2147483647 110029 25 | 0.000 % |
140.32/140.38 c | 110626 | 636 62548 268903 | 2147483647 110626 25 | 0.000 % |
141.82/141.86 c | 111283 | 636 62548 268903 | 2147483647 111283 25 | 0.000 % |
143.42/143.49 c | 112004 | 636 62548 268903 | 2147483647 112004 25 | 0.000 % |
145.32/145.40 c | 112798 | 636 62548 268903 | 2147483647 112798 25 | 0.000 % |
147.42/147.45 c | 113671 | 636 62548 268903 | 2147483647 113671 25 | 0.000 % |
149.52/149.60 c | 114629 | 636 62548 268903 | 2147483647 114629 25 | 0.000 % |
152.32/152.37 c | 115682 | 636 62548 268903 | 2147483647 115682 25 | 0.000 % |
155.12/155.13 c | 116844 | 636 62548 268903 | 2147483647 116844 25 | 0.000 % |
157.32/157.37 c | 118117 | 636 62548 268903 | 2147483647 118117 25 | 0.000 % |
157.42/157.50 c | 118218 | 636 62548 268903 | 2147483647 118218 25 | 0.000 % |
157.62/157.66 c | 118330 | 636 62548 268903 | 2147483647 118330 25 | 0.000 % |
157.82/157.89 c | 118451 | 636 62548 268903 | 2147483647 118451 25 | 0.000 % |
158.12/158.16 c | 118588 | 636 62548 268903 | 2147483647 118588 25 | 0.000 % |
158.42/158.43 c | 118737 | 636 62548 268903 | 2147483647 118737 25 | 0.000 % |
158.62/158.71 c | 118898 | 636 62548 268903 | 2147483647 118898 25 | 0.000 % |
158.92/159.00 c | 119077 | 636 62548 268903 | 2147483647 119077 25 | 0.000 % |
159.22/159.32 c | 119272 | 636 62548 268903 | 2147483647 119272 25 | 0.000 % |
159.72/159.74 c | 119488 | 636 62548 268903 | 2147483647 119488 25 | 0.000 % |
160.12/160.13 c | 119722 | 636 62548 268903 | 2147483647 119722 25 | 0.000 % |
160.42/160.52 c | 119979 | 636 62548 268903 | 2147483647 119979 25 | 0.000 % |
160.92/161.02 c | 120261 | 636 62548 268903 | 2147483647 120261 25 | 0.000 % |
161.52/161.56 c | 120570 | 636 62548 268903 | 2147483647 120570 25 | 0.000 % |
162.22/162.23 c | 120911 | 636 62548 268903 | 2147483647 120911 25 | 0.000 % |
162.82/162.88 c | 121283 | 636 62548 268903 | 2147483647 121283 25 | 0.000 % |
163.52/163.57 c | 121693 | 636 62548 268903 | 2147483647 121693 25 | 0.000 % |
164.12/164.20 c | 122143 | 636 62548 268903 | 2147483647 122143 25 | 0.051 % |
164.72/164.74 c | 122638 | 636 62548 268903 | 2147483647 122638 25 | 0.000 % |
165.52/165.61 c | 123183 | 636 62548 268903 | 2147483647 123183 25 | 0.000 % |
166.42/166.49 c | 123779 | 636 62548 268903 | 2147483647 123779 25 | 0.000 % |
167.42/167.44 c | 124435 | 636 62548 268903 | 2147483647 124435 25 | 0.000 % |
168.22/168.27 c | 125156 | 636 62548 268903 | 2147483647 125156 25 | 0.000 % |
169.22/169.26 c | 125948 | 636 62548 268903 | 2147483647 125948 25 | 0.000 % |
170.32/170.38 c | 126820 | 636 62548 268903 | 2147483647 126820 25 | 0.000 % |
171.72/171.73 c | 127778 | 636 62548 268903 | 2147483647 127778 25 | 0.000 % |
173.12/173.21 c | 128831 | 636 62548 268903 | 2147483647 128831 25 | 0.000 % |
174.42/174.46 c | 129989 | 636 62548 268903 | 2147483647 129989 25 | 0.051 % |
179.62/179.70 c | 131263 | 636 62548 268903 | 130002 111365 25 | 0.000 % |
182.22/182.27 c | 132663 | 636 62548 268903 | 130002 112765 26 | 0.000 % |
182.42/182.44 c | 132764 | 636 62548 268903 | 130002 112866 26 | 0.000 % |
182.52/182.60 c | 132876 | 636 62548 268903 | 130002 112978 26 | 0.000 % |
182.72/182.82 c | 132997 | 636 62548 268903 | 130002 113099 26 | 0.000 % |
183.02/183.07 c | 133131 | 636 62548 268903 | 130002 113233 26 | 0.000 % |
183.32/183.35 c | 133278 | 636 62548 268903 | 130002 113380 26 | 0.000 % |
183.62/183.64 c | 133438 | 636 62548 268903 | 130002 113540 26 | 0.000 % |
183.92/183.95 c | 133614 | 636 62548 268903 | 130002 113716 26 | 0.000 % |
184.22/184.27 c | 133810 | 636 62548 268903 | 130002 113912 26 | 0.000 % |
184.62/184.69 c | 134024 | 636 62548 268903 | 130002 114126 26 | 0.051 % |
185.92/185.97 c | 134258 | 636 62548 268903 | 130002 114360 26 | 0.000 % |
187.42/187.48 c | 134515 | 636 62548 268903 | 130002 114617 26 | 0.000 % |
188.02/188.08 c | 134796 | 636 62548 268903 | 130002 114898 26 | 0.000 % |
188.62/188.70 c | 135105 | 636 62548 268903 | 130002 115207 26 | 0.000 % |
189.22/189.29 c | 135445 | 636 62548 268903 | 130002 115547 26 | 0.000 % |
189.92/189.98 c | 135817 | 636 62548 268903 | 130002 115919 26 | 0.000 % |
190.72/190.72 c | 136231 | 636 62548 268903 | 130002 116333 26 | 0.002 % |
191.52/191.53 c | 136680 | 636 62548 268903 | 130002 116782 26 | 0.000 % |
192.22/192.23 c | 137173 | 636 62548 268903 | 130002 117275 26 | 0.000 % |
194.62/194.68 c | 137715 | 636 62548 268903 | 130002 117817 26 | 0.000 % |
197.52/197.58 c | 138311 | 636 62548 268903 | 130002 118413 26 | 0.000 % |
200.72/200.72 c | 138966 | 636 62548 268903 | 130002 119068 26 | 0.000 % |
202.62/202.69 c | 139687 | 636 62548 268903 | 130002 119789 26 | 0.000 % |
207.12/207.17 c | 140479 | 636 62548 268903 | 120103 90931 26 | 0.000 % |
209.72/209.74 c | 141352 | 636 62548 268903 | 120103 91804 26 | 0.000 % |
213.42/213.47 c | 142311 | 636 62548 268903 | 120103 92763 26 | 0.000 % |
217.21/217.30 c | 143364 | 636 62548 268903 | 120103 93816 26 | 0.051 % |
223.81/223.84 c | 144522 | 636 62548 268903 | 120103 94974 26 | 0.000 % |
229.51/229.60 c | 145796 | 636 62548 268903 | 120103 96248 26 | 0.000 % |
232.41/232.46 c | 147200 | 636 62548 268903 | 120103 97652 26 | 0.000 % |
240.01/240.02 c | 148742 | 636 62548 268903 | 120103 99194 26 | 0.000 % |
240.21/240.28 c | 148842 | 636 62548 268903 | 120103 99294 26 | 0.002 % |
240.51/240.51 c | 148954 | 636 62548 268903 | 120103 99406 26 | 0.000 % |
241.01/241.03 c | 149077 | 636 62548 268903 | 120103 99529 26 | 0.000 % |
241.61/241.63 c | 149211 | 636 62548 268903 | 120103 99663 26 | 0.000 % |
242.21/242.22 c | 149357 | 636 62548 268903 | 120103 99809 26 | 0.000 % |
243.01/243.03 c | 149517 | 636 62548 268903 | 120103 99969 26 | 0.000 % |
243.61/243.60 c | 149698 | 636 62548 268903 | 120103 100150 26 | 0.000 % |
243.91/243.96 c | 149893 | 636 62548 268903 | 120103 100345 26 | 0.000 % |
244.31/244.39 c | 150107 | 636 62548 268903 | 100454 100559 26 | 0.000 % |
246.21/246.29 c | 150340 | 636 62548 268903 | 100454 77464 26 | 0.000 % |
246.81/246.82 c | 150597 | 636 62548 268903 | 100454 77721 27 | 0.000 % |
248.01/248.04 c | 150881 | 636 62548 268903 | 100454 78005 27 | 0.000 % |
249.41/249.40 c | 151190 | 636 62548 268903 | 100454 78314 27 | 0.000 % |
250.71/250.79 c | 151531 | 636 62548 268903 | 100454 78655 27 | 0.000 % |
252.21/252.24 c | 151904 | 636 62548 268903 | 100454 79028 27 | 0.000 % |
253.61/253.63 c | 152313 | 636 62548 268903 | 100454 79437 27 | 0.000 % |
255.22/255.23 c | 152762 | 636 62548 268903 | 100454 79886 27 | 0.000 % |
257.11/257.11 c | 153258 | 636 62548 268903 | 100454 80382 27 | 0.000 % |
258.91/258.94 c | 153800 | 636 62548 268903 | 100454 80924 27 | 0.000 % |
261.31/261.32 c | 154396 | 636 62548 268903 | 100454 81520 27 | 0.000 % |
263.81/263.89 c | 155053 | 636 62548 268903 | 100454 82177 27 | 0.000 % |
266.41/266.41 c | 155774 | 636 62548 268903 | 100454 82898 27 | 0.000 % |
269.22/269.28 c | 156566 | 636 62548 268903 | 100454 83690 27 | 0.000 % |
271.72/271.77 c | 157437 | 636 62548 268903 | 100454 84561 27 | 0.000 % |
272.92/272.95 c | 158397 | 636 62548 268903 | 100454 85521 27 | 0.000 % |
274.42/274.49 c | 159450 | 636 62548 268903 | 100454 86574 27 | 0.000 % |
277.22/277.23 c | 160608 | 636 62548 268903 | 87124 65791 28 | 0.000 % |
280.72/280.74 c | 161881 | 636 62548 268903 | 87124 67064 28 | 0.000 % |
284.12/284.16 c | 163283 | 636 62548 268903 | 87124 68466 28 | 0.000 % |
288.22/288.21 c | 164824 | 636 62548 268903 | 87124 70007 28 | 0.000 % |
292.32/292.38 c | 166518 | 636 62548 268903 | 87124 71701 28 | 0.000 % |
292.52/292.53 c | 166619 | 636 62548 268903 | 87124 71802 28 | 0.000 % |
292.82/292.86 c | 166729 | 636 62548 268903 | 87124 71912 28 | 0.000 % |
293.22/293.31 c | 166851 | 636 62548 268903 | 87124 72034 28 | 0.000 % |
293.62/293.67 c | 166986 | 636 62548 268903 | 87124 72169 28 | 0.000 % |
294.12/294.14 c | 167133 | 636 62548 268903 | 87124 72316 28 | 0.000 % |
294.62/294.66 c | 167293 | 636 62548 268903 | 87124 72476 28 | 0.000 % |
295.12/295.14 c | 167469 | 636 62548 268903 | 87124 72652 28 | 0.000 % |
295.52/295.56 c | 167664 | 636 62548 268903 | 87124 72847 28 | 0.000 % |
296.12/296.14 c | 167877 | 636 62548 268903 | 87124 73060 27 | 0.000 % |
296.72/296.71 c | 168112 | 636 62548 268903 | 87124 73295 27 | 0.000 % |
297.32/297.37 c | 168368 | 636 62548 268903 | 87124 73551 27 | 0.000 % |
297.72/297.75 c | 168649 | 636 62548 268903 | 87124 73832 27 | 0.000 % |
298.52/298.57 c | 168960 | 636 62548 268903 | 87124 74143 27 | 0.000 % |
299.32/299.34 c | 169299 | 636 62548 268903 | 87124 74482 27 | 0.000 % |
300.52/300.57 c | 169671 | 636 62548 268903 | 87124 74854 27 | 0.000 % |
301.22/301.29 c | 170080 | 636 62548 268903 | 75183 75263 27 | 0.000 % |
302.42/302.48 c | 170532 | 636 62548 268903 | 75183 67468 27 | 0.000 % |
303.22/303.21 c | 171025 | 636 62548 268903 | 75183 67961 27 | 0.000 % |
304.52/304.54 c | 171569 | 636 62548 268903 | 75183 68505 27 | 0.000 % |
305.82/305.87 c | 172165 | 636 62548 268903 | 75183 69101 28 | 0.000 % |
307.12/307.13 c | 172821 | 636 62548 268903 | 75183 69757 28 | 0.000 % |
308.42/308.50 c | 173542 | 636 62548 268903 | 75183 70478 28 | 0.000 % |
309.82/309.82 c | 174335 | 636 62548 268903 | 75183 71271 28 | 0.000 % |
311.42/311.44 c | 175207 | 636 62548 268903 | 75183 72143 28 | 0.000 % |
313.32/313.34 c | 176166 | 636 62548 268903 | 75183 73102 28 | 0.000 % |
315.22/315.21 c | 177219 | 636 62548 268903 | 75183 74155 28 | 0.000 % |
317.72/317.78 c | 178379 | 636 62548 268903 | 75183 67790 28 | 0.000 % |
319.62/319.67 c | 179653 | 636 62548 268903 | 75183 69064 28 | 0.000 % |
322.02/322.05 c | 181053 | 636 62548 268903 | 2147483647 70464 28 | 0.000 % |
324.52/324.52 c | 182593 | 636 62548 268903 | 2147483647 72004 28 | 0.000 % |
327.02/327.10 c | 184290 | 636 62548 268903 | 2147483647 73701 28 | 0.000 % |
329.92/329.92 c | 186155 | 636 62548 268903 | 2147483647 75566 28 | 0.000 % |
330.02/330.08 c | 186257 | 636 62548 268903 | 2147483647 75668 28 | 0.000 % |
330.22/330.24 c | 186367 | 636 62548 268903 | 2147483647 75778 28 | 0.000 % |
330.32/330.38 c | 186489 | 636 62548 268903 | 2147483647 75900 28 | 0.000 % |
330.52/330.56 c | 186622 | 636 62548 268903 | 2147483647 76033 28 | 0.000 % |
330.72/330.78 c | 186770 | 636 62548 268903 | 2147483647 76181 28 | 0.000 % |
331.12/331.20 c | 186930 | 636 62548 268903 | 2147483647 76341 28 | 0.000 % |
331.52/331.57 c | 187106 | 636 62548 268903 | 2147483647 76517 28 | 0.000 % |
332.02/332.02 c | 187300 | 636 62548 268903 | 2147483647 76711 28 | 0.000 % |
332.52/332.53 c | 187512 | 636 62548 268903 | 2147483647 76923 28 | 0.000 % |
332.92/332.93 c | 187746 | 636 62548 268903 | 2147483647 77157 28 | 0.000 % |
333.42/333.49 c | 188004 | 636 62548 268903 | 2147483647 77415 28 | 0.000 % |
334.22/334.27 c | 188286 | 636 62548 268903 | 2147483647 77697 28 | 0.000 % |
335.02/335.09 c | 188596 | 636 62548 268903 | 2147483647 78007 28 | 0.000 % |
335.92/335.96 c | 188935 | 636 62548 268903 | 2147483647 78346 28 | 0.000 % |
336.62/336.68 c | 189310 | 636 62548 268903 | 2147483647 78721 28 | 0.000 % |
337.52/337.52 c | 189721 | 636 62548 268903 | 2147483647 79132 28 | 0.000 % |
338.12/338.17 c | 190171 | 636 62548 268903 | 2147483647 79582 28 | 0.000 % |
339.32/339.36 c | 190664 | 636 62548 268903 | 2147483647 80075 28 | 0.000 % |
340.82/340.82 c | 191208 | 636 62548 268903 | 2147483647 80619 28 | 0.000 % |
342.22/342.30 c | 191804 | 636 62548 268903 | 2147483647 81215 28 | 0.000 % |
344.12/344.19 c | 192461 | 636 62548 268903 | 2147483647 81872 28 | 0.000 % |
345.62/345.67 c | 193182 | 636 62548 268903 | 2147483647 82593 28 | 0.000 % |
347.52/347.52 c | 193975 | 636 62548 268903 | 2147483647 83386 28 | 0.000 % |
350.12/350.16 c | 194848 | 636 62548 268903 | 2147483647 84259 28 | 0.000 % |
351.82/351.83 c | 195807 | 636 62548 268903 | 2147483647 85218 28 | 0.000 % |
353.92/353.99 c | 196867 | 636 62548 268903 | 2147483647 86278 28 | 0.000 % |
355.82/355.86 c | 198026 | 636 62548 268903 | 2147483647 87437 28 | 0.000 % |
358.92/358.91 c | 199299 | 636 62548 268903 | 2147483647 88710 28 | 0.000 % |
361.42/361.41 c | 200702 | 636 62548 268903 | 2147483647 90113 28 | 0.000 % |
365.32/365.35 c | 202244 | 636 62548 268903 | 2147483647 91655 28 | 0.000 % |
369.92/370.00 c | 203939 | 636 62548 268903 | 2147483647 93350 28 | 0.000 % |
375.72/375.76 c | 205804 | 636 62548 268903 | 2147483647 95215 28 | 0.000 % |
381.32/381.31 c | 207854 | 636 62548 268903 | 2147483647 97265 28 | 0.000 % |
381.52/381.59 c | 207954 | 636 62548 268903 | 2147483647 97365 28 | 0.000 % |
382.02/382.01 c | 208065 | 636 62548 268903 | 2147483647 97476 28 | 0.000 % |
382.42/382.49 c | 208188 | 636 62548 268903 | 2147483647 97599 28 | 0.000 % |
382.83/382.85 c | 208323 | 636 62548 268903 | 2147483647 97734 28 | 0.000 % |
383.12/383.18 c | 208469 | 636 62548 268903 | 2147483647 97880 28 | 0.000 % |
383.62/383.65 c | 208629 | 636 62548 268903 | 2147483647 98040 28 | 0.000 % |
384.12/384.18 c | 208805 | 636 62548 268903 | 2147483647 98216 28 | 0.000 % |
384.42/384.47 c | 208999 | 636 62548 268903 | 2147483647 98410 28 | 0.000 % |
385.03/385.04 c | 209211 | 636 62548 268903 | 2147483647 98622 28 | 0.000 % |
385.82/385.80 c | 209444 | 636 62548 268903 | 2147483647 98855 28 | 0.000 % |
386.62/386.65 c | 209700 | 636 62548 268903 | 2147483647 99111 28 | 0.000 % |
387.23/387.22 c | 209984 | 636 62548 268903 | 2147483647 99395 28 | 0.000 % |
387.72/387.75 c | 210295 | 636 62548 268903 | 2147483647 99706 28 | 0.000 % |
388.33/388.37 c | 210637 | 636 62548 268903 | 2147483647 100048 28 | 0.000 % |
389.22/389.28 c | 211011 | 636 62548 268903 | 2147483647 100422 28 | 0.000 % |
390.53/390.55 c | 211420 | 636 62548 268903 | 2147483647 100831 28 | 0.000 % |
392.22/392.30 c | 211870 | 636 62548 268903 | 2147483647 101281 28 | 0.000 % |
393.83/393.84 c | 212364 | 636 62548 268903 | 2147483647 101775 28 | 0.000 % |
395.52/395.50 c | 212906 | 636 62548 268903 | 2147483647 102317 28 | 0.000 % |
397.13/397.15 c | 213502 | 636 62548 268903 | 2147483647 102913 28 | 0.000 % |
399.04/399.03 c | 214157 | 636 62548 268903 | 2147483647 103568 28 | 0.000 % |
400.94/401.02 c | 214879 | 636 62548 268903 | 2147483647 104290 28 | 0.000 % |
403.44/403.49 c | 215672 | 636 62548 268903 | 2147483647 105083 27 | 0.000 % |
405.94/406.01 c | 216543 | 636 62548 268903 | 2147483647 105954 28 | 0.000 % |
408.74/408.80 c | 217503 | 636 62548 268903 | 2147483647 106914 27 | 0.000 % |
411.84/411.85 c | 218557 | 636 62548 268903 | 2147483647 107968 27 | 0.000 % |
415.14/415.17 c | 219716 | 636 62548 268903 | 2147483647 109127 27 | 0.000 % |
417.24/417.24 c | 220989 | 636 62548 268903 | 109411 96111 27 | 0.000 % |
418.94/419.00 c | 222389 | 636 62548 268903 | 109411 97511 27 | 0.000 % |
420.84/420.90 c | 223929 | 636 62548 268903 | 109411 99051 27 | 0.000 % |
423.34/423.33 c | 225623 | 636 62548 268903 | 109411 100745 27 | 0.000 % |
426.84/426.89 c | 227486 | 636 62548 268903 | 109411 102608 27 | 0.000 % |
436.84/436.85 c | 229537 | 636 62548 268903 | 109411 104659 28 | 0.000 % |
448.34/448.39 c | 231790 | 636 62548 268903 | 105122 84958 27 | 0.000 % |
448.74/448.79 c | 231891 | 636 62548 268903 | 105122 85059 27 | 0.000 % |
449.34/449.40 c | 232002 | 636 62548 268903 | 105122 85170 27 | 0.000 % |
450.14/450.15 c | 232124 | 636 62548 268903 | 105122 85292 27 | 0.000 % |
450.94/450.98 c | 232259 | 636 62548 268903 | 105122 85427 27 | 0.000 % |
451.74/451.75 c | 232406 | 636 62548 268903 | 105122 85574 27 | 0.000 % |
452.44/452.51 c | 232567 | 636 62548 268903 | 105122 85735 27 | 0.000 % |
453.34/453.36 c | 232745 | 636 62548 268903 | 105122 85913 27 | 0.000 % |
454.14/454.20 c | 232940 | 636 62548 268903 | 105122 86108 27 | 0.000 % |
455.24/455.28 c | 233154 | 636 62548 268903 | 105122 86322 27 | 0.000 % |
456.14/456.20 c | 233387 | 636 62548 268903 | 105122 86555 27 | 0.000 % |
457.44/457.50 c | 233643 | 636 62548 268903 | 105122 86811 27 | 0.000 % |
458.24/458.23 c | 233925 | 636 62548 268903 | 105122 87093 27 | 0.000 % |
459.24/459.25 c | 234234 | 636 62548 268903 | 105122 87402 27 | 0.002 % |
460.74/460.76 c | 234573 | 636 62548 268903 | 105122 87741 27 | 0.000 % |
462.64/462.70 c | 234946 | 636 62548 268903 | 105122 88114 27 | 0.000 % |
465.14/465.17 c | 235357 | 636 62548 268903 | 105122 88525 27 | 0.000 % |
468.04/468.07 c | 235806 | 636 62548 268903 | 105122 88974 27 | 0.000 % |
471.24/471.29 c | 236300 | 636 62548 268903 | 105122 89468 27 | 0.000 % |
473.64/473.69 c | 236844 | 636 62548 268903 | 105122 90012 27 | 0.000 % |
476.14/476.16 c | 237440 | 636 62548 268903 | 105122 90608 27 | 0.000 % |
478.64/478.63 c | 238096 | 636 62548 268903 | 105122 91264 27 | 0.000 % |
481.14/481.15 c | 238817 | 636 62548 268903 | 105122 91985 27 | 0.000 % |
483.74/483.75 c | 239610 | 636 62548 268903 | 105122 92778 27 | 0.000 % |
487.04/487.07 c | 240484 | 636 62548 268903 | 93168 71442 26 | 0.000 % |
487.74/487.81 c | 241444 | 636 62548 268903 | 93168 72402 26 | 0.000 % |
492.04/492.08 c | 242497 | 636 62548 268903 | 93168 73455 26 | 0.002 % |
496.15/496.15 c | 243655 | 636 62548 268903 | 93168 74613 26 | 0.000 % |
501.94/501.97 c | 244928 | 636 62548 268903 | 93168 75886 26 | 0.002 % |
507.15/507.21 c | 246328 | 636 62548 268903 | 93168 77286 26 | 0.000 % |
511.94/511.98 c | 247872 | 636 62548 268903 | 93168 78830 26 | 0.000 % |
519.34/519.32 c | 249567 | 636 62548 268903 | 93168 80525 26 | 0.000 % |
525.04/525.07 c | 251430 | 636 62548 268903 | 80958 68292 26 | 0.000 % |
531.25/531.28 c | 253479 | 636 62548 268903 | 80958 70341 26 | 0.000 % |
540.55/540.62 c | 255734 | 636 62548 268903 | 80958 72596 26 | 0.000 % |
543.15/543.14 c | 258215 | 636 62548 268903 | 80958 75077 26 | 0.000 % |
543.25/543.30 c | 258317 | 636 62548 268903 | 80958 75179 26 | 0.000 % |
543.75/543.75 c | 258427 | 636 62548 268903 | 80958 75289 26 | 0.000 % |
544.25/544.24 c | 258548 | 636 62548 268903 | 80958 75410 26 | 0.000 % |
544.85/544.86 c | 258681 | 636 62548 268903 | 80958 75543 26 | 0.000 % |
545.35/545.37 c | 258827 | 636 62548 268903 | 80958 75689 26 | 0.000 % |
546.05/546.11 c | 258987 | 636 62548 268903 | 80958 75849 26 | 0.000 % |
546.95/546.99 c | 259163 | 636 62548 268903 | 80958 76025 26 | 0.000 % |
547.95/547.93 c | 259356 | 636 62548 268903 | 80958 76218 26 | 0.000 % |
548.95/548.93 c | 259569 | 636 62548 268903 | 80958 76431 27 | 0.000 % |
550.05/550.11 c | 259803 | 636 62548 268903 | 80958 76665 27 | 0.000 % |
550.95/550.99 c | 260061 | 636 62548 268903 | 76862 76923 27 | 0.000 % |
552.35/552.35 c | 260342 | 636 62548 268903 | 76862 65837 27 | 0.000 % |
552.55/552.59 c | 260652 | 636 62548 268903 | 76862 66147 27 | 0.000 % |
553.85/553.84 c | 260996 | 636 62548 268903 | 76862 66491 27 | 0.000 % |
554.95/554.96 c | 261368 | 636 62548 268903 | 76862 66863 27 | 0.000 % |
556.55/556.57 c | 261777 | 636 62548 268903 | 76862 67272 27 | 0.000 % |
558.35/558.32 c | 262226 | 636 62548 268903 | 76862 67721 27 | 0.000 % |
559.75/559.75 c | 262721 | 636 62548 268903 | 76862 68216 27 | 0.000 % |
560.85/560.88 c | 263263 | 636 62548 268903 | 76862 68758 27 | 0.000 % |
561.45/561.49 c | 263861 | 636 62548 268903 | 76862 69356 27 | 0.000 % |
562.15/562.15 c | 264518 | 636 62548 268903 | 76862 70013 27 | 0.000 % |
565.05/565.08 c | 265238 | 636 62548 268903 | 76862 70733 27 | 0.000 % |
567.75/567.82 c | 266030 | 636 62548 268903 | 76862 71525 27 | 0.000 % |
570.75/570.81 c | 266901 | 636 62548 268903 | 76862 72396 27 | 0.000 % |
574.34/574.34 c | 267864 | 636 62548 268903 | 76862 73359 27 | 0.000 % |
577.54/577.57 c | 268918 | 636 62548 268903 | 76862 74413 27 | 0.002 % |
581.54/581.51 c | 270077 | 636 62548 268903 | 75497 67476 27 | 0.000 % |
585.14/585.18 c | 271351 | 636 62548 268903 | 75497 68750 27 | 0.000 % |
589.24/589.24 c | 272751 | 636 62548 268903 | 75497 70150 27 | 0.000 % |
593.74/593.74 c | 274293 | 636 62548 268903 | 75497 71692 27 | 0.000 % |
597.84/597.81 c | 275988 | 636 62548 268903 | 75497 73387 27 | 0.000 % |
603.64/603.66 c | 277851 | 636 62548 268903 | 75497 75250 27 | 0.000 % |
608.54/608.51 c | 279901 | 636 62548 268903 | 75497 64010 27 | 0.000 % |
611.65/611.64 c | 282155 | 636 62548 268903 | 64110 57227 27 | 0.000 % |
614.95/614.97 c | 284635 | 636 62548 268903 | 64110 59707 27 | 0.000 % |
618.54/618.51 c | 287363 | 636 62548 268903 | 64110 62435 27 | 0.000 % |
618.64/618.63 c | 287463 | 636 62548 268903 | 64110 62535 27 | 0.000 % |
618.74/618.79 c | 287575 | 636 62548 268903 | 64110 62647 27 | 0.000 % |
618.94/618.96 c | 287696 | 636 62548 268903 | 64110 62768 27 | 0.000 % |
619.14/619.15 c | 287832 | 636 62548 268903 | 64110 62904 27 | 0.000 % |
619.35/619.35 c | 287978 | 636 62548 268903 | 64110 63050 27 | 0.000 % |
619.54/619.59 c | 288138 | 636 62548 268903 | 64110 63210 27 | 0.000 % |
619.84/619.84 c | 288316 | 636 62548 268903 | 64110 63388 27 | 0.000 % |
620.14/620.13 c | 288516 | 636 62548 268903 | 64110 63588 27 | 0.000 % |
620.34/620.40 c | 288728 | 636 62548 268903 | 64110 63800 27 | 0.000 % |
620.74/620.71 c | 288961 | 636 62548 268903 | 64110 64033 27 | 0.000 % |
621.14/621.12 c | 289217 | 636 62548 268903 | 64110 57871 26 | 0.000 % |
621.34/621.40 c | 289498 | 636 62548 268903 | 64110 58152 26 | 0.000 % |
621.74/621.73 c | 289808 | 636 62548 268903 | 64110 58462 26 | 0.000 % |
622.04/622.09 c | 290147 | 636 62548 268903 | 2147483647 58801 26 | 0.000 % |
622.44/622.47 c | 290519 | 636 62548 268903 | 2147483647 59173 26 | 0.000 % |
623.04/623.01 c | 290929 | 636 62548 268903 | 2147483647 59583 26 | 0.000 % |
623.54/623.56 c | 291378 | 636 62548 268903 | 2147483647 60032 26 | 0.000 % |
624.04/624.08 c | 291873 | 636 62548 268903 | 2147483647 60527 26 | 0.000 % |
624.64/624.67 c | 292419 | 636 62548 268903 | 2147483647 61073 26 | 0.000 % |
625.24/625.29 c | 293018 | 636 62548 268903 | 2147483647 61672 26 | 0.000 % |
625.95/625.95 c | 293673 | 636 62548 268903 | 2147483647 62327 26 | 0.000 % |
626.84/626.80 c | 294397 | 636 62548 268903 | 2147483647 63051 26 | 0.000 % |
627.64/627.64 c | 295192 | 636 62548 268903 | 2147483647 63846 26 | 0.000 % |
628.64/628.62 c | 296064 | 636 62548 268903 | 2147483647 64718 26 | 0.000 % |
629.94/629.92 c | 297023 | 636 62548 268903 | 2147483647 65677 26 | 0.000 % |
631.34/631.36 c | 298078 | 636 62548 268903 | 2147483647 66732 26 | 0.000 % |
632.84/632.89 c | 299238 | 636 62548 268903 | 2147483647 67892 26 | 0.000 % |
634.44/634.40 c | 300517 | 636 62548 268903 | 2147483647 69171 26 | 0.000 % |
636.34/636.34 c | 301917 | 636 62548 268903 | 2147483647 70571 26 | 0.000 % |
638.34/638.30 c | 303459 | 636 62548 268903 | 2147483647 72113 26 | 0.000 % |
640.54/640.53 c | 305156 | 636 62548 268903 | 2147483647 73810 26 | 0.000 % |
643.04/643.05 c | 307019 | 636 62548 268903 | 2147483647 75673 26 | 0.000 % |
645.75/645.77 c | 309069 | 636 62548 268903 | 2147483647 77723 26 | 0.000 % |
648.94/648.97 c | 311322 | 636 62548 268903 | 2147483647 79976 26 | 0.000 % |
652.54/652.53 c | 313800 | 636 62548 268903 | 2147483647 82454 26 | 0.000 % |
656.24/656.22 c | 316527 | 636 62548 268903 | 2147483647 85181 26 | 0.000 % |
660.85/660.89 c | 319524 | 636 62548 268903 | 2147483647 88178 26 | 0.000 % |
661.05/661.08 c | 319624 | 636 62548 268903 | 2147483647 88278 26 | 0.000 % |
661.25/661.25 c | 319735 | 636 62548 268903 | 2147483647 88389 26 | 0.000 % |
661.45/661.44 c | 319860 | 636 62548 268903 | 2147483647 88514 26 | 0.000 % |
661.65/661.66 c | 319993 | 636 62548 268903 | 2147483647 88647 26 | 0.000 % |
661.85/661.91 c | 320139 | 636 62548 268903 | 2147483647 88793 26 | 0.000 % |
662.15/662.18 c | 320299 | 636 62548 268903 | 2147483647 88953 26 | 0.000 % |
662.45/662.44 c | 320477 | 636 62548 268903 | 2147483647 89131 26 | 0.000 % |
662.65/662.68 c | 320670 | 636 62548 268903 | 2147483647 89324 26 | 0.000 % |
662.95/662.95 c | 320882 | 636 62548 268903 | 2147483647 89536 26 | 0.002 % |
663.25/663.31 c | 321115 | 636 62548 268903 | 2147483647 89769 26 | 0.000 % |
663.65/663.71 c | 321371 | 636 62548 268903 | 2147483647 90025 25 | 0.000 % |
664.15/664.20 c | 321655 | 636 62548 268903 | 2147483647 90309 25 | 0.000 % |
664.65/664.68 c | 321964 | 636 62548 268903 | 2147483647 90618 25 | 0.000 % |
665.25/665.23 c | 322306 | 636 62548 268903 | 2147483647 90960 25 | 0.000 % |
665.85/665.86 c | 322678 | 636 62548 268903 | 2147483647 91332 25 | 0.000 % |
666.45/666.49 c | 323089 | 636 62548 268903 | 2147483647 91743 25 | 0.000 % |
667.25/667.30 c | 323539 | 636 62548 268903 | 2147483647 92193 25 | 0.000 % |
667.95/667.98 c | 324033 | 636 62548 268903 | 2147483647 92687 25 | 0.000 % |
668.45/668.50 c | 324576 | 636 62548 268903 | 2147483647 93230 25 | 0.000 % |
669.05/669.05 c | 325173 | 636 62548 268903 | 2147483647 93827 25 | 0.000 % |
669.65/669.67 c | 325828 | 636 62548 268903 | 2147483647 94482 25 | 0.000 % |
670.35/670.38 c | 326549 | 636 62548 268903 | 2147483647 95203 25 | 0.000 % |
671.25/671.30 c | 327343 | 636 62548 268903 | 2147483647 95997 25 | 0.000 % |
672.15/672.17 c | 328214 | 636 62548 268903 | 2147483647 96868 26 | 0.000 % |
673.55/673.53 c | 329174 | 636 62548 268903 | 2147483647 97828 25 | 0.000 % |
675.25/675.28 c | 330227 | 636 62548 268903 | 2147483647 98881 25 | 0.002 % |
676.95/676.97 c | 331386 | 636 62548 268903 | 2147483647 100040 25 | 0.002 % |
679.55/679.52 c | 332659 | 636 62548 268903 | 2147483647 101313 25 | 0.000 % |
683.95/684.01 c | 334059 | 636 62548 268903 | 2147483647 102713 25 | 0.000 % |
688.85/688.82 c | 335600 | 636 62548 268903 | 2147483647 104254 25 | 0.000 % |
695.85/695.81 c | 337296 | 636 62548 268903 | 2147483647 105950 25 | 0.000 % |
704.25/704.22 c | 339163 | 636 62548 268903 | 2147483647 107817 25 | 0.000 % |
712.55/712.60 c | 341219 | 636 62548 268903 | 2147483647 109873 25 | 0.002 % |
720.55/720.52 c | 343472 | 636 62548 268903 | 2147483647 112126 25 | 0.002 % |
730.05/730.01 c | 345954 | 636 62548 268903 | 2147483647 114608 25 | 0.000 % |
739.65/739.62 c | 348681 | 636 62548 268903 | 2147483647 117335 25 | 0.000 % |
749.75/749.78 c | 351679 | 636 62548 268903 | 118654 98591 24 | 0.002 % |
757.86/757.91 c | 354975 | 636 62548 268903 | 118654 101887 25 | 0.000 % |
757.97/757.99 c | 355077 | 636 62548 268903 | 118654 101989 24 | 0.000 % |
758.56/758.53 c | 355187 | 636 62548 268903 | 118654 102099 25 | 0.000 % |
759.07/759.10 c | 355309 | 636 62548 268903 | 118654 102221 25 | 0.000 % |
759.66/759.68 c | 355442 | 636 62548 268903 | 118654 102354 25 | 0.000 % |
760.36/760.40 c | 355589 | 636 62548 268903 | 118654 102501 25 | 0.000 % |
760.66/760.65 c | 355749 | 636 62548 268903 | 118654 102661 25 | 0.000 % |
761.46/761.45 c | 355925 | 636 62548 268903 | 118654 102837 25 | 0.000 % |
762.26/762.24 c | 356118 | 636 62548 268903 | 118654 103030 25 | 0.000 % |
763.26/763.26 c | 356330 | 636 62548 268903 | 118654 103242 25 | 0.000 % |
764.36/764.40 c | 356563 | 636 62548 268903 | 118654 103475 25 | 0.000 % |
765.67/765.66 c | 356820 | 636 62548 268903 | 118654 103732 25 | 0.000 % |
767.16/767.15 c | 357103 | 636 62548 268903 | 118654 104015 25 | 0.000 % |
768.86/768.87 c | 357412 | 636 62548 268903 | 118654 104324 25 | 0.000 % |
770.76/770.73 c | 357751 | 636 62548 268903 | 118654 104663 25 | 0.000 % |
772.36/772.34 c | 358123 | 636 62548 268903 | 118654 105035 25 | 0.000 % |
774.16/774.14 c | 358536 | 636 62548 268903 | 118654 105448 25 | 0.000 % |
776.26/776.28 c | 358985 | 636 62548 268903 | 118654 105897 25 | 0.000 % |
778.66/778.61 c | 359478 | 636 62548 268903 | 118654 106390 25 | 0.000 % |
781.16/781.17 c | 360023 | 636 62548 268903 | 106914 106935 25 | 0.000 % |
784.56/784.60 c | 360619 | 636 62548 268903 | 106914 80257 24 | 0.000 % |
786.57/786.54 c | 361276 | 636 62548 268903 | 106914 80914 24 | 0.000 % |
787.96/787.99 c | 361996 | 636 62548 268903 | 106914 81634 24 | 0.000 % |
790.46/790.43 c | 362789 | 636 62548 268903 | 106914 82427 24 | 0.000 % |
793.47/793.50 c | 363660 | 636 62548 268903 | 106914 83298 24 | 0.000 % |
796.47/796.43 c | 364619 | 636 62548 268903 | 106914 84257 24 | 0.000 % |
798.77/798.76 c | 365672 | 636 62548 268903 | 106914 85310 24 | 0.000 % |
802.07/802.12 c | 366831 | 636 62548 268903 | 106914 86469 24 | 0.000 % |
805.97/806.01 c | 368105 | 636 62548 268903 | 106914 87743 24 | 0.000 % |
809.97/809.99 c | 369505 | 636 62548 268903 | 106914 89143 24 | 0.000 % |
815.37/815.34 c | 371050 | 636 62548 268903 | 89638 80182 24 | 0.000 % |
820.07/820.02 c | 372744 | 636 62548 268903 | 89638 81876 24 | 0.000 % |
824.97/824.99 c | 374610 | 636 62548 268903 | 89638 83742 24 | 0.000 % |
831.07/831.05 c | 376659 | 636 62548 268903 | 89638 85791 25 | 0.000 % |
837.37/837.33 c | 378918 | 636 62548 268903 | 89638 88050 25 | 0.000 % |
844.27/844.26 c | 381396 | 636 62548 268903 | 89132 80593 25 | 0.000 % |
850.97/850.95 c | 384121 | 636 62548 268903 | 89132 83318 25 | 0.000 % |
857.57/857.61 c | 387118 | 636 62548 268903 | 89132 86315 24 | 0.000 % |
863.77/863.78 c | 390414 | 636 62548 268903 | 2147483647 89611 24 | 0.000 % |
871.77/871.81 c | 394040 | 636 62548 268903 | 2147483647 93237 24 | 0.000 % |
872.07/872.05 c | 394140 | 636 62548 268903 | 2147483647 93337 24 | 0.000 % |
872.27/872.30 c | 394250 | 636 62548 268903 | 2147483647 93447 24 | 0.000 % |
872.57/872.56 c | 394371 | 636 62548 268903 | 2147483647 93568 24 | 0.000 % |
872.87/872.86 c | 394507 | 636 62548 268903 | 2147483647 93704 24 | 0.000 % |
873.27/873.25 c | 394655 | 636 62548 268903 | 2147483647 93852 24 | 0.000 % |
873.67/873.62 c | 394815 | 636 62548 268903 | 2147483647 94012 24 | 0.000 % |
873.97/873.99 c | 394991 | 636 62548 268903 | 2147483647 94188 24 | 0.000 % |
874.37/874.41 c | 395184 | 636 62548 268903 | 2147483647 94381 24 | 0.000 % |
874.87/874.90 c | 395398 | 636 62548 268903 | 2147483647 94595 24 | 0.000 % |
875.47/875.42 c | 395632 | 636 62548 268903 | 2147483647 94829 24 | 0.000 % |
876.07/876.07 c | 395888 | 636 62548 268903 | 2147483647 95085 24 | 0.000 % |
876.78/876.76 c | 396173 | 636 62548 268903 | 2147483647 95370 24 | 0.000 % |
877.57/877.54 c | 396482 | 636 62548 268903 | 2147483647 95679 24 | 0.000 % |
878.47/878.43 c | 396823 | 636 62548 268903 | 2147483647 96020 24 | 0.000 % |
879.37/879.33 c | 397195 | 636 62548 268903 | 2147483647 96392 24 | 0.000 % |
880.27/880.29 c | 397604 | 636 62548 268903 | 2147483647 96801 24 | 0.000 % |
881.57/881.58 c | 398054 | 636 62548 268903 | 2147483647 97251 24 | 0.000 % |
882.87/882.87 c | 398548 | 636 62548 268903 | 2147483647 97745 24 | 0.000 % |
884.37/884.33 c | 399091 | 636 62548 268903 | 2147483647 98288 24 | 0.000 % |
885.97/885.99 c | 399689 | 636 62548 268903 | 2147483647 98886 24 | 0.000 % |
887.57/887.53 c | 400344 | 636 62548 268903 | 2147483647 99541 24 | 0.000 % |
889.17/889.18 c | 401068 | 636 62548 268903 | 2147483647 100265 24 | 0.000 % |
891.37/891.38 c | 401862 | 636 62548 268903 | 2147483647 101059 24 | 0.000 % |
893.47/893.50 c | 402738 | 636 62548 268903 | 2147483647 101935 24 | 0.000 % |
895.97/895.94 c | 403696 | 636 62548 268903 | 2147483647 102893 24 | 0.000 % |
898.67/898.69 c | 404752 | 636 62548 268903 | 2147483647 103949 24 | 0.000 % |
901.87/901.82 c | 405912 | 636 62548 268903 | 2147483647 105109 24 | 0.000 % |
905.17/905.15 c | 407185 | 636 62548 268903 | 2147483647 106382 24 | 0.000 % |
908.57/908.57 c | 408587 | 636 62548 268903 | 2147483647 107784 24 | 0.000 % |
912.57/912.59 c | 410127 | 636 62548 268903 | 2147483647 109324 25 | 0.000 % |
916.47/916.48 c | 411821 | 636 62548 268903 | 2147483647 111018 25 | 0.000 % |
921.17/921.12 c | 413686 | 636 62548 268903 | 2147483647 112883 25 | 0.000 % |
926.18/926.22 c | 415735 | 636 62548 268903 | 2147483647 114932 24 | 0.000 % |
931.77/931.80 c | 417990 | 636 62548 268903 | 2147483647 117187 24 | 0.000 % |
938.67/938.68 c | 420469 | 636 62548 268903 | 2147483647 119666 24 | 0.000 % |
945.47/945.50 c | 423195 | 636 62548 268903 | 2147483647 122392 24 | 0.000 % |
953.67/953.67 c | 426193 | 636 62548 268903 | 2147483647 125390 24 | 0.000 % |
963.37/963.40 c | 429489 | 636 62548 268903 | 2147483647 128686 24 | 0.000 % |
972.97/972.97 c | 433114 | 636 62548 268903 | 2147483647 132311 24 | 0.000 % |
988.77/988.75 c | 437102 | 636 62548 268903 | 2147483647 136299 24 | 0.004 % |
989.37/989.32 c | 437202 | 636 62548 268903 | 2147483647 136399 24 | 0.000 % |
989.67/989.65 c | 437312 | 636 62548 268903 | 2147483647 136509 24 | 0.000 % |
989.97/989.98 c | 437433 | 636 62548 268903 | 2147483647 136630 24 | 0.002 % |
990.37/990.36 c | 437566 | 636 62548 268903 | 2147483647 136763 24 | 0.000 % |
991.17/991.20 c | 437713 | 636 62548 268903 | 2147483647 136910 24 | 0.000 % |
991.77/991.71 c | 437873 | 636 62548 268903 | 2147483647 137070 24 | 0.000 % |
992.47/992.42 c | 438051 | 636 62548 268903 | 2147483647 137248 24 | 0.000 % |
993.37/993.35 c | 438246 | 636 62548 268903 | 2147483647 137443 24 | 0.000 % |
994.37/994.35 c | 438458 | 636 62548 268903 | 2147483647 137655 24 | 0.000 % |
995.07/995.09 c | 438692 | 636 62548 268903 | 2147483647 137889 24 | 0.000 % |
995.87/995.89 c | 438948 | 636 62548 268903 | 2147483647 138145 24 | 0.002 % |
997.17/997.11 c | 439230 | 636 62548 268903 | 2147483647 138427 24 | 0.000 % |
998.57/998.54 c | 439540 | 636 62548 268903 | 2147483647 138737 24 | 0.002 % |
1000.47/1000.50 c | 439881 | 636 62548 268903 | 2147483647 139078 24 | 0.000 % |
1002.57/1002.55 c | 440255 | 636 62548 268903 | 139197 113078 24 | 0.000 % |
1004.27/1004.21 c | 440664 | 636 62548 268903 | 139197 113487 24 | 0.002 % |
1005.77/1005.77 c | 441114 | 636 62548 268903 | 139197 113937 24 | 0.000 % |
1006.47/1006.50 c | 441607 | 636 62548 268903 | 139197 114430 24 | 0.001 % |
1008.67/1008.67 c | 442149 | 636 62548 268903 | 139197 114972 24 | 0.000 % |
1011.17/1011.13 c | 442746 | 636 62548 268903 | 139197 115569 24 | 0.000 % |
1013.57/1013.50 c | 443401 | 636 62548 268903 | 139197 116224 24 | 0.000 % |
1016.37/1016.37 c | 444121 | 636 62548 268903 | 139197 116944 24 | 0.002 % |
1019.47/1019.44 c | 444913 | 636 62548 268903 | 139197 117736 24 | 0.000 % |
1022.47/1022.41 c | 445785 | 636 62548 268903 | 139197 118608 24 | 0.002 % |
1025.67/1025.69 c | 446743 | 636 62548 268903 | 139197 119566 24 | 0.000 % |
1029.47/1029.48 c | 447798 | 636 62548 268903 | 139197 120621 24 | 0.000 % |
1034.08/1034.05 c | 448957 | 636 62548 268903 | 139197 121780 24 | 0.002 % |
1039.47/1039.42 c | 450231 | 636 62548 268903 | 122823 100642 24 | 0.002 % |
1043.57/1043.58 c | 451631 | 636 62548 268903 | 122823 102042 24 | 0.002 % |
1047.37/1047.39 c | 453173 | 636 62548 268903 | 122823 103584 24 | 0.000 % |
1052.67/1052.63 c | 454870 | 636 62548 268903 | 122823 105281 24 | 0.002 % |
1057.88/1057.88 c | 456734 | 636 62548 268903 | 122823 107145 24 | 0.002 % |
1062.98/1062.99 c | 458784 | 636 62548 268903 | 122823 109195 24 | 0.002 % |
1068.68/1068.70 c | 461039 | 636 62548 268903 | 2147483647 111450 24 | 0.002 % |
1076.98/1076.96 c | 463518 | 636 62548 268903 | 2147483647 113929 24 | 0.000 % |
1085.98/1085.93 c | 466243 | 636 62548 268903 | 2147483647 116654 24 | 0.000 % |
1099.18/1099.15 c | 469240 | 636 62548 268903 | 2147483647 119651 24 | 0.000 % |
1104.68/1104.62 c | 472536 | 636 62548 268903 | 120413 105117 23 | 0.000 % |
1120.79/1120.76 c | 476161 | 636 62548 268903 | 120413 108742 24 | 0.000 % |
1134.39/1134.35 c | 480151 | 636 62548 268903 | 112581 94698 24 | 0.000 % |
1146.59/1146.55 c | 484537 | 636 62548 268903 | 112581 99084 24 | 0.000 % |
1146.79/1146.75 c | 484640 | 636 62548 268903 | 112581 99187 24 | 0.000 % |
1146.89/1146.89 c | 484752 | 636 62548 268903 | 112581 99299 24 | 0.000 % |
1147.09/1147.07 c | 484873 | 636 62548 268903 | 112581 99420 24 | 0.031 % |
1147.29/1147.27 c | 485007 | 636 62548 268903 | 112581 99554 24 | 0.000 % |
1147.89/1147.83 c | 485153 | 636 62548 268903 | 112581 99700 24 | 0.000 % |
1148.39/1148.42 c | 485313 | 636 62548 268903 | 112581 99860 24 | 0.000 % |
1149.09/1149.06 c | 485490 | 636 62548 268903 | 112581 100037 24 | 0.000 % |
1149.79/1149.80 c | 485686 | 636 62548 268903 | 112581 100233 24 | 0.000 % |
1150.79/1150.76 c | 485899 | 636 62548 268903 | 112581 100446 24 | 0.000 % |
1151.59/1151.56 c | 486132 | 636 62548 268903 | 112581 100679 24 | 0.000 % |
1151.89/1151.86 c | 486388 | 636 62548 268903 | 112581 100935 24 | 0.000 % |
1152.29/1152.21 c | 486677 | 636 62548 268903 | 112581 101224 24 | 0.000 % |
1152.69/1152.64 c | 486986 | 636 62548 268903 | 112581 101533 24 | 0.000 % |
1153.09/1153.09 c | 487325 | 636 62548 268903 | 112581 101872 24 | 0.000 % |
1153.59/1153.61 c | 487701 | 636 62548 268903 | 112581 102248 24 | 0.000 % |
1154.19/1154.21 c | 488110 | 636 62548 268903 | 112581 102657 24 | 0.000 % |
1155.49/1155.42 c | 488559 | 636 62548 268903 | 112581 103106 24 | 0.000 % |
1157.39/1157.40 c | 489056 | 636 62548 268903 | 112581 103603 24 | 0.000 % |
1159.79/1159.72 c | 489598 | 636 62548 268903 | 112581 104145 24 | 0.000 % |
1162.59/1162.58 c | 490194 | 636 62548 268903 | 104549 93069 24 | 0.000 % |
1164.89/1164.89 c | 490851 | 636 62548 268903 | 104549 93726 24 | 0.000 % |
1166.79/1166.74 c | 491574 | 636 62548 268903 | 104549 94449 24 | 0.000 % |
1169.40/1169.37 c | 492366 | 636 62548 268903 | 104549 95241 24 | 0.000 % |
1171.69/1171.66 c | 493238 | 636 62548 268903 | 104549 96113 24 | 0.000 % |
1174.09/1174.07 c | 494196 | 636 62548 268903 | 104549 97071 24 | 0.000 % |
1177.39/1177.34 c | 495251 | 636 62548 268903 | 104549 98126 24 | 0.000 % |
1179.49/1179.44 c | 496409 | 636 62548 268903 | 104549 99284 24 | 0.000 % |
1181.19/1181.13 c | 497682 | 636 62548 268903 | 104549 100557 24 | 0.002 % |
1185.40/1185.39 c | 499082 | 636 62548 268903 | 104549 101957 24 | 0.000 % |
1191.00/1190.92 c | 500624 | 636 62548 268903 | 2147483647 103499 24 | 0.000 % |
1197.00/1196.96 c | 502318 | 636 62548 268903 | 2147483647 105193 24 | 0.000 % |
1200.00/1199.93 HOME/SatELiteGTI: line 36: 19319 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821772-1242563059/watcher-1821772-1242563059 -o /tmp/evaluation-result-1821772-1242563059/solver-1821772-1242563059 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821772-1242563059.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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.01 1.00 2/91 19130
/proc/meminfo: memFree=859112/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2416 CPUtime=0
/proc/19130/stat : 19130 (SatELiteGTI) R 19128 19130 15108 0 -1 4194304 355 647 0 0 0 0 0 0 25 0 1 0 1020803974 2473984 277 4294967295 134512640 135169312 3213106064 3213104540 3085617012 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/19130/statm: 604 277 235 161 0 43 0
[pid=19134] ppid=19130 vsize=2416 CPUtime=0
/proc/19134/stat : 19134 (SatELiteGTI) R 19130 19130 15108 0 -1 4194368 65 0 0 0 0 0 0 0 25 0 1 0 1020803975 2473984 95 4294967295 134512640 135169312 3213106064 3213104692 3085617642 0 0 0 0 0 0 0 17 2 0 0 0
/proc/19134/statm: 0 0 0 0 0 0 0
[startup+0.095689 s]
/proc/loadavg: 1.00 1.01 1.00 2/91 19130
/proc/meminfo: memFree=859112/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2416 CPUtime=0
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 368 647 0 0 0 0 0 0 25 0 1 0 1020803974 2473984 277 4294967295 134512640 135169312 3213106064 3213104600 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 604 277 235 161 0 43 0
[pid=19134] ppid=19130 vsize=5948 CPUtime=0.09
/proc/19134/stat : 19134 (SatELite_releas) R 19130 19130 15108 0 -1 4202496 1414 0 0 0 7 2 0 0 25 0 1 0 1020803975 6090752 1350 4294967295 134512640 135223648 3218622656 3218620656 134548955 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19134/statm: 1487 1350 73 174 0 1312 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8364
[startup+0.105689 s]
/proc/loadavg: 1.00 1.01 1.00 2/91 19130
/proc/meminfo: memFree=859112/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2416 CPUtime=0
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 368 647 0 0 0 0 0 0 25 0 1 0 1020803974 2473984 277 4294967295 134512640 135169312 3213106064 3213104600 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 604 277 235 161 0 43 0
[pid=19134] ppid=19130 vsize=6080 CPUtime=0.1
/proc/19134/stat : 19134 (SatELite_releas) R 19130 19130 15108 0 -1 4202496 1438 0 0 0 8 2 0 0 25 0 1 0 1020803975 6225920 1374 4294967295 134512640 135223648 3218622656 3218620392 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19134/statm: 1520 1374 73 174 0 1345 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 8496
[startup+0.305677 s]
/proc/loadavg: 1.00 1.01 1.00 2/91 19130
/proc/meminfo: memFree=859112/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2416 CPUtime=0
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 368 647 0 0 0 0 0 0 25 0 1 0 1020803974 2473984 277 4294967295 134512640 135169312 3213106064 3213104600 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 604 277 235 161 0 43 0
[pid=19134] ppid=19130 vsize=7944 CPUtime=0.3
/proc/19134/stat : 19134 (SatELite_releas) R 19130 19130 15108 0 -1 4202496 1837 0 0 0 27 3 0 0 25 0 1 0 1020803975 8134656 1773 4294967295 134512640 135223648 3218622656 3218620752 134585553 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19134/statm: 1986 1773 73 174 0 1811 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 10360
[startup+0.705641 s]
/proc/loadavg: 1.00 1.01 1.00 2/91 19130
/proc/meminfo: memFree=859112/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2416 CPUtime=0
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 368 647 0 0 0 0 0 0 25 0 1 0 1020803974 2473984 277 4294967295 134512640 135169312 3213106064 3213104600 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 604 277 235 161 0 43 0
[pid=19134] ppid=19130 vsize=7380 CPUtime=0.7
/proc/19134/stat : 19134 (SatELite_releas) R 19130 19130 15108 0 -1 4202496 1840 0 0 0 67 3 0 0 25 0 1 0 1020803975 7557120 1651 4294967295 134512640 135223648 3218622656 3218619460 134823462 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19134/statm: 1845 1651 74 174 0 1670 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 9796
[startup+1.50558 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 19319
/proc/meminfo: memFree=853288/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=5352 CPUtime=0.79
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 1260 0 0 0 79 0 0 0 25 0 1 0 1020804045 5480448 1195 4294967295 134512640 135215339 3218518288 3218516576 134528802 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19319/statm: 1338 1195 73 172 0 1165 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7772
[startup+3.10546 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 19319
/proc/meminfo: memFree=853164/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=5880 CPUtime=2.39
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 1372 0 0 0 239 0 0 0 25 0 1 0 1020804045 6021120 1307 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19319/statm: 1470 1307 73 172 0 1297 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8300
[startup+6.31522 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 19319
/proc/meminfo: memFree=852484/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=6672 CPUtime=5.6
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 1585 0 0 0 560 0 0 0 25 0 1 0 1020804045 6832128 1520 4294967295 134512640 135215339 3218518288 3218516576 134528849 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19319/statm: 1668 1520 73 172 0 1495 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 9092
[startup+12.7147 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 19320
/proc/meminfo: memFree=850968/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=8056 CPUtime=12
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 1935 0 0 0 1200 0 0 0 25 0 1 0 1020804045 8249344 1870 4294967295 134512640 135215339 3218518288 3218516576 134528802 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19319/statm: 2014 1870 73 172 0 1841 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 10476
[startup+25.5137 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 19320
/proc/meminfo: memFree=848988/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=10228 CPUtime=24.8
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 2473 0 0 0 2478 2 0 0 25 0 1 0 1020804045 10473472 2408 4294967295 134512640 135215339 3218518288 3218516576 134528691 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19319/statm: 2557 2408 73 172 0 2384 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 12648
[startup+51.1218 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 19324
/proc/meminfo: memFree=845912/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=13272 CPUtime=50.41
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 3224 0 0 0 5037 4 0 0 25 0 1 0 1020804045 13590528 3159 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19319/statm: 3318 3159 73 172 0 3145 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 15692
[startup+102.328 s]
/proc/loadavg: 1.04 1.02 1.00 3/93 19509
/proc/meminfo: memFree=841100/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=18068 CPUtime=101.62
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 4381 0 0 0 10158 4 0 0 25 0 1 0 1020804045 18501632 4316 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19319/statm: 4517 4316 73 172 0 4344 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 20488
[startup+162.323 s]
/proc/loadavg: 1.08 1.04 1.01 3/93 19698
/proc/meminfo: memFree=836248/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=22916 CPUtime=161.62
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 5532 0 0 0 16156 6 0 0 25 0 1 0 1020804045 23465984 5467 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19319/statm: 5729 5467 73 172 0 5556 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 25336
[startup+222.309 s]
/proc/loadavg: 1.14 1.07 1.02 2/93 19886
/proc/meminfo: memFree=832736/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=26448 CPUtime=221.61
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 6365 0 0 0 22155 6 0 0 25 0 1 0 1020804045 27082752 6292 4294967295 134512640 135215339 3218518288 3218516576 134528630 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19319/statm: 6612 6292 73 172 0 6439 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 28868
[startup+282.314 s]
/proc/loadavg: 1.05 1.06 1.01 2/93 20074
/proc/meminfo: memFree=832884/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=26448 CPUtime=281.62
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 6387 0 0 0 28154 8 0 0 25 0 1 0 1020804045 27082752 6314 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19319/statm: 6612 6314 73 172 0 6439 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 28868
[startup+342.309 s]
/proc/loadavg: 1.02 1.04 1.00 3/93 20266
/proc/meminfo: memFree=832720/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=26620 CPUtime=341.62
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 6414 0 0 0 34154 8 0 0 25 0 1 0 1020804045 27258880 6341 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19319/statm: 6655 6341 73 172 0 6482 0
Current children cumulated CPU time (s) 342.32
################
# More data... #
################
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=29488 CPUtime=521.64
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 7078 0 0 0 52156 8 0 0 25 0 1 0 1020804045 30195712 6961 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19319/statm: 7372 6961 73 172 0 7199 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 31908
[startup+582.311 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 21019
/proc/meminfo: memFree=830792/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=29488 CPUtime=581.64
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 7079 0 0 0 58156 8 0 0 25 0 1 0 1020804045 30195712 6962 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19319/statm: 7372 6962 73 172 0 7199 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 31908
[startup+642.307 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 21207
/proc/meminfo: memFree=830520/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=29488 CPUtime=641.64
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 7079 0 0 0 64156 8 0 0 25 0 1 0 1020804045 30195712 6962 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19319/statm: 7372 6962 73 172 0 7199 0
Current children cumulated CPU time (s) 642.34
Current children cumulated vsize (KiB) 31908
[startup+702.312 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 21393
/proc/meminfo: memFree=828560/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=32060 CPUtime=701.65
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 7610 0 0 0 70157 8 0 0 25 0 1 0 1020804045 32829440 7493 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19319/statm: 8015 7493 73 172 0 7842 0
Current children cumulated CPU time (s) 702.35
Current children cumulated vsize (KiB) 34480
[startup+762.327 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 21586
/proc/meminfo: memFree=828428/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=32060 CPUtime=761.67
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 7611 0 0 0 76159 8 0 0 25 0 1 0 1020804045 32829440 7494 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19319/statm: 8015 7494 73 172 0 7842 0
Current children cumulated CPU time (s) 762.37
Current children cumulated vsize (KiB) 34480
[startup+822.323 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 21774
/proc/meminfo: memFree=828444/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=32060 CPUtime=821.67
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 7611 0 0 0 82159 8 0 0 25 0 1 0 1020804045 32829440 7494 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19319/statm: 8015 7494 73 172 0 7842 0
Current children cumulated CPU time (s) 822.37
Current children cumulated vsize (KiB) 34480
[startup+882.318 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 21962
/proc/meminfo: memFree=828452/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=32060 CPUtime=881.67
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 7611 0 0 0 88159 8 0 0 25 0 1 0 1020804045 32829440 7494 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19319/statm: 8015 7494 73 172 0 7842 0
Current children cumulated CPU time (s) 882.37
Current children cumulated vsize (KiB) 34480
[startup+942.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 22150
/proc/meminfo: memFree=828304/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=32220 CPUtime=941.67
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 7626 0 0 0 94159 8 0 0 25 0 1 0 1020804045 32993280 7509 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19319/statm: 8055 7509 73 172 0 7882 0
Current children cumulated CPU time (s) 942.37
Current children cumulated vsize (KiB) 34640
[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 22336
/proc/meminfo: memFree=826716/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=34312 CPUtime=1001.67
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 8034 0 0 0 100158 9 0 0 25 0 1 0 1020804045 35135488 7909 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19319/statm: 8578 7909 73 172 0 8405 0
Current children cumulated CPU time (s) 1002.37
Current children cumulated vsize (KiB) 36732
[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 22525
/proc/meminfo: memFree=826460/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=34476 CPUtime=1061.68
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 8083 0 0 0 106159 9 0 0 25 0 1 0 1020804045 35303424 7958 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19319/statm: 8619 7958 73 172 0 8446 0
Current children cumulated CPU time (s) 1062.38
Current children cumulated vsize (KiB) 36896
[startup+1122.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 22717
/proc/meminfo: memFree=826708/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=34476 CPUtime=1121.69
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 8088 0 0 0 112160 9 0 0 25 0 1 0 1020804045 35303424 7963 4294967295 134512640 135215339 3218518288 3218516576 134528811 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19319/statm: 8619 7963 73 172 0 8446 0
Current children cumulated CPU time (s) 1122.39
Current children cumulated vsize (KiB) 36896
[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 22905
/proc/meminfo: memFree=826716/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=34476 CPUtime=1181.69
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 8088 0 0 0 118160 9 0 0 25 0 1 0 1020804045 35303424 7963 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19319/statm: 8619 7963 73 172 0 8446 0
Current children cumulated CPU time (s) 1182.39
Current children cumulated vsize (KiB) 36896
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 22906
/proc/meminfo: memFree=826584/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=34476 CPUtime=1199.3
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 8088 0 0 0 119921 9 0 0 25 0 1 0 1020804045 35303424 7963 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19319/statm: 8619 7963 73 172 0 8446 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 36896
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 22906
/proc/meminfo: memFree=826584/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=34476 CPUtime=1199.3
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 8088 0 0 0 119921 9 0 0 25 0 1 0 1020804045 35303424 7963 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19319/statm: 8619 7963 73 172 0 8446 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 36896
Child status: 143
Real time (s): 1199.93
CPU time (s): 1200
CPU user time (s): 1199.88
CPU system time (s): 0.12
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 36896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.88
system time used= 0.12
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11239
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= 22
involuntary context switches= 2325
runsolver used 0 second user time and 0.02 second system time
The end
Begin job on tipi24 at 2009-05-17 14:24:19
IDJOB=1821772
IDBENCH=71086
IDSOLVER=657
FILE ID=tipi24/1821772-1242563059
PBS_JOBID=
Free space on /tmp= 9643 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_07_UNSAT.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821772-1242563059/watcher-1821772-1242563059 -o /tmp/evaluation-result-1821772-1242563059/solver-1821772-1242563059 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821772-1242563059.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a30111c778b4a83ebe950f77b63a1b33
RANDOM SEED= 1726596843
Linux tipi24 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.75
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 859020 kB
Buffers: 53160 kB
Cached: 1045780 kB
SwapCached: 3828 kB
Active: 313580 kB
Inactive: 794892 kB
HighTotal: 1178688 kB
HighFree: 212964 kB
LowTotal: 895776 kB
LowFree: 646056 kB
SwapTotal: 1959888 kB
SwapFree: 1952056 kB
Dirty: 2656 kB
Writeback: 0 kB
AnonPages: 9004 kB
Mapped: 3360 kB
Slab: 97276 kB
PageTables: 568 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 87800 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9643 MiB
End job on tipi24 at 2009-05-17 14:44:19