0.00/0.00 c Parsing...
0.11/0.18 c ==============================================================================
0.11/0.18 c | | ORIGINAL | LEARNT | |
0.11/0.18 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.11/0.18 c ==============================================================================
0.11/0.18 c | 0 | 271285 809746 | 81385 0 0 nan | 0.000 % |
3.71/3.76 c | 0 | 269831 1187407 | -- 0 -- -- | -- | -1454/377661
3.71/3.76 c ==============================================================================
3.71/3.76 c Result : #vars: 1698 #clauses: 269831 #literals: 1187407
3.71/3.76 c CPU time: 3.73 s
3.71/3.76 c ==============================================================================
4.11/4.12 c This is MiniSat 2.0 beta
4.11/4.12 c WARNING: for repeatability, setting FPU to use double precision
4.11/4.12 c ============================[ Problem Statistics ]=============================
4.11/4.12 c | |
4.11/4.13 c | Number of variables: 1698 |
4.11/4.13 c | Number of clauses: 269831 |
4.12/4.29 c | Parsing time: 0.17 s |
4.31/4.31 c ============================[ Search Statistics ]==============================
4.31/4.31 c | Conflicts | ORIGINAL | LEARNT | Progress |
4.31/4.31 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.31/4.31 c ===============================================================================
4.31/4.31 c | 0 | 1698 269831 1187407 | 89943 0 nan | 0.000 % |
4.51/4.54 c | 100 | 1698 269831 1187407 | 89943 100 67 | 0.000 % |
4.71/4.71 c | 202 | 1698 269831 1187407 | 89943 202 66 | 0.000 % |
4.81/4.85 c | 302 | 1698 269831 1187407 | 89943 302 64 | 0.000 % |
4.91/4.96 c | 412 | 1698 269831 1187407 | 89943 412 66 | 0.000 % |
5.11/5.11 c | 514 | 1698 269831 1187407 | 89943 514 66 | 0.000 % |
5.21/5.28 c | 624 | 1698 269831 1187407 | 89943 624 66 | 0.000 % |
5.31/5.40 c | 746 | 1698 269831 1187407 | 89943 746 69 | 0.000 % |
5.52/5.52 c | 846 | 1698 269831 1187407 | 89943 846 69 | 0.000 % |
5.61/5.66 c | 956 | 1698 269831 1187407 | 89943 956 69 | 0.000 % |
5.81/5.88 c | 1077 | 1698 269831 1187407 | 89943 1077 69 | 0.000 % |
6.01/6.01 c | 1211 | 1698 269831 1187407 | 89943 1211 71 | 0.000 % |
6.01/6.04 c | 1312 | 1698 269831 1187407 | 89943 1312 71 | 0.000 % |
6.11/6.16 c | 1422 | 1698 269831 1187407 | 89943 1422 71 | 0.000 % |
6.21/6.28 c | 1545 | 1698 269831 1187407 | 89943 1545 72 | 0.000 % |
6.41/6.43 c | 1678 | 1698 269831 1187407 | 89943 1678 73 | 0.000 % |
6.51/6.59 c | 1826 | 1698 269831 1187407 | 89943 1826 73 | 0.000 % |
6.62/6.69 c | 1926 | 1698 269831 1187407 | 89943 1926 73 | 0.000 % |
6.71/6.80 c | 2036 | 1698 269831 1187407 | 89943 2036 73 | 0.000 % |
6.91/6.96 c | 2159 | 1698 269831 1187407 | 89943 2159 74 | 0.000 % |
7.11/7.15 c | 2293 | 1698 269831 1187407 | 89943 2293 75 | 0.000 % |
7.21/7.28 c | 2440 | 1698 269831 1187407 | 89943 2440 77 | 0.000 % |
7.41/7.45 c | 2600 | 1698 269831 1187407 | 89943 2600 77 | 0.000 % |
7.51/7.55 c | 2700 | 1698 269831 1187407 | 89943 2700 77 | 0.000 % |
7.61/7.63 c | 2810 | 1698 269831 1187407 | 89943 2810 78 | 0.000 % |
7.72/7.78 c | 2931 | 1698 269831 1187407 | 89943 2931 78 | 0.000 % |
7.81/7.89 c | 3065 | 1698 269831 1187407 | 89943 3065 77 | 0.000 % |
8.11/8.11 c | 3212 | 1698 269831 1187407 | 89943 3212 79 | 0.000 % |
8.31/8.33 c | 3373 | 1698 269831 1187407 | 89943 3373 78 | 0.000 % |
8.51/8.59 c | 3549 | 1698 269831 1187407 | 89943 3549 78 | 0.000 % |
8.71/8.72 c | 3651 | 1698 269831 1187407 | 89943 3651 78 | 0.000 % |
8.82/8.85 c | 3761 | 1698 269831 1187407 | 89943 3761 77 | 0.000 % |
9.01/9.02 c | 3884 | 1698 269831 1187407 | 89943 3884 77 | 0.000 % |
9.11/9.13 c | 4021 | 1698 269831 1187407 | 89943 4021 79 | 0.000 % |
9.21/9.23 c | 4168 | 1698 269831 1187407 | 89943 4168 78 | 0.000 % |
9.41/9.46 c | 4329 | 1698 269831 1187407 | 89943 4329 79 | 0.000 % |
9.71/9.77 c | 4505 | 1698 269831 1187407 | 89943 4505 79 | 0.000 % |
10.01/10.03 c | 4698 | 1698 269831 1187407 | 89943 4698 79 | 0.000 % |
10.11/10.16 c | 4799 | 1698 269831 1187407 | 89943 4799 78 | 0.000 % |
10.21/10.27 c | 4910 | 1698 269831 1187407 | 89943 4910 78 | 0.000 % |
10.41/10.44 c | 5033 | 1698 269831 1187407 | 89943 5033 78 | 0.000 % |
10.61/10.62 c | 5168 | 1698 269831 1187407 | 89943 5168 78 | 0.000 % |
10.71/10.77 c | 5314 | 1698 269831 1187407 | 89943 5314 78 | 0.000 % |
10.91/10.99 c | 5474 | 1698 269831 1187407 | 89943 5474 78 | 0.000 % |
11.21/11.21 c | 5650 | 1698 269831 1187407 | 89943 5650 78 | 0.000 % |
11.31/11.38 c | 5844 | 1698 269831 1187407 | 89943 5844 78 | 0.000 % |
11.51/11.57 c | 6056 | 1698 269831 1187407 | 89943 6056 79 | 0.000 % |
11.61/11.68 c | 6156 | 1698 269831 1187407 | 89943 6156 79 | 0.000 % |
11.71/11.80 c | 6266 | 1698 269831 1187407 | 89943 6266 80 | 0.000 % |
11.91/11.96 c | 6387 | 1698 269831 1187407 | 89943 6387 80 | 0.000 % |
12.12/12.14 c | 6521 | 1698 269831 1187407 | 89943 6521 80 | 0.000 % |
12.21/12.29 c | 6668 | 1698 269831 1187407 | 89943 6668 80 | 0.000 % |
12.41/12.49 c | 6833 | 1698 269831 1187407 | 89943 6833 81 | 0.000 % |
12.61/12.68 c | 7009 | 1698 269831 1187407 | 89943 7009 81 | 0.000 % |
12.81/12.89 c | 7202 | 1698 269831 1187407 | 89943 7202 81 | 0.000 % |
13.11/13.14 c | 7416 | 1698 269831 1187407 | 89943 7416 81 | 0.000 % |
13.41/13.47 c | 7649 | 1698 269831 1187407 | 89943 7649 80 | 0.000 % |
13.61/13.63 c | 7751 | 1698 269831 1187407 | 89943 7751 80 | 0.000 % |
13.71/13.75 c | 7861 | 1698 269831 1187407 | 89943 7861 80 | 0.000 % |
13.81/13.88 c | 7982 | 1698 269831 1187407 | 89943 7982 80 | 0.000 % |
14.01/14.10 c | 8117 | 1698 269831 1187407 | 89943 8117 81 | 0.000 % |
14.21/14.29 c | 8263 | 1698 269831 1187407 | 89943 8263 80 | 0.000 % |
14.41/14.49 c | 8423 | 1698 269831 1187407 | 89943 8423 80 | 0.000 % |
14.71/14.78 c | 8599 | 1698 269831 1187407 | 89943 8599 80 | 0.000 % |
14.91/15.00 c | 8792 | 1698 269831 1187407 | 89943 8792 81 | 0.000 % |
15.31/15.39 c | 9005 | 1698 269831 1187407 | 89943 9005 80 | 0.000 % |
15.71/15.77 c | 9239 | 1698 269831 1187407 | 89943 9239 80 | 0.000 % |
16.01/16.02 c | 9495 | 1698 269831 1187407 | 89943 9495 81 | 0.000 % |
16.11/16.16 c | 9595 | 1698 269831 1187407 | 89943 9595 80 | 0.000 % |
16.31/16.36 c | 9707 | 1698 269831 1187407 | 89943 9707 80 | 0.000 % |
16.41/16.49 c | 9830 | 1698 269831 1187407 | 89943 9830 80 | 0.000 % |
16.52/16.58 c | 9963 | 1698 269831 1187407 | 89943 9963 80 | 0.000 % |
16.61/16.70 c | 10110 | 1698 269831 1187407 | 2147483647 10110 80 | 0.000 % |
16.91/16.95 c | 10272 | 1698 269831 1187407 | 2147483647 10272 80 | 0.000 % |
17.11/17.14 c | 10448 | 1698 269831 1187407 | 2147483647 10448 80 | 0.000 % |
17.31/17.39 c | 10644 | 1698 269831 1187407 | 2147483647 10644 79 | 0.000 % |
17.71/17.71 c | 10856 | 1698 269831 1187407 | 2147483647 10856 80 | 0.000 % |
17.91/17.98 c | 11090 | 1698 269831 1187407 | 2147483647 11090 80 | 0.000 % |
18.51/18.50 c | 11347 | 1698 269831 1187407 | 2147483647 11347 80 | 0.000 % |
18.91/18.99 c | 11628 | 1698 269831 1187407 | 2147483647 11628 80 | 0.000 % |
19.01/19.08 c | 11729 | 1698 269831 1187407 | 2147483647 11729 81 | 0.000 % |
19.21/19.26 c | 11840 | 1698 269831 1187407 | 2147483647 11840 81 | 0.000 % |
19.41/19.42 c | 11961 | 1698 269831 1187407 | 2147483647 11961 81 | 0.000 % |
19.51/19.56 c | 12095 | 1698 269831 1187407 | 2147483647 12095 81 | 0.000 % |
19.71/19.75 c | 12242 | 1698 269831 1187407 | 2147483647 12242 81 | 0.000 % |
19.91/19.92 c | 12403 | 1698 269831 1187407 | 2147483647 12403 81 | 0.000 % |
20.11/20.11 c | 12580 | 1698 269831 1187407 | 2147483647 12580 81 | 0.000 % |
20.31/20.32 c | 12775 | 1698 269831 1187407 | 2147483647 12775 81 | 0.000 % |
20.61/20.61 c | 12988 | 1698 269831 1187407 | 2147483647 12988 82 | 0.000 % |
20.92/20.94 c | 13225 | 1698 269831 1187407 | 2147483647 13225 82 | 0.000 % |
21.11/21.19 c | 13481 | 1698 269831 1187407 | 2147483647 13481 81 | 0.000 % |
21.51/21.55 c | 13762 | 1698 269831 1187407 | 2147483647 13762 82 | 0.000 % |
21.92/21.95 c | 14074 | 1698 269831 1187407 | 2147483647 14074 81 | 0.000 % |
22.02/22.09 c | 14175 | 1698 269831 1187407 | 2147483647 14175 81 | 0.000 % |
22.22/22.30 c | 14285 | 1698 269831 1187407 | 2147483647 14285 81 | 0.000 % |
22.52/22.51 c | 14406 | 1698 269831 1187407 | 2147483647 14406 81 | 0.000 % |
22.62/22.66 c | 14540 | 1698 269831 1187407 | 2147483647 14540 81 | 0.000 % |
22.82/22.84 c | 14689 | 1698 269831 1187407 | 2147483647 14689 81 | 0.000 % |
23.02/23.06 c | 14849 | 1698 269831 1187407 | 2147483647 14849 81 | 0.000 % |
23.22/23.22 c | 15025 | 1698 269831 1187407 | 2147483647 15025 81 | 0.000 % |
23.52/23.52 c | 15219 | 1698 269831 1187407 | 2147483647 15219 81 | 0.000 % |
23.72/23.72 c | 15432 | 1698 269831 1187407 | 2147483647 15432 81 | 0.000 % |
23.92/23.97 c | 15665 | 1698 269831 1187407 | 2147483647 15665 81 | 0.000 % |
24.12/24.17 c | 15923 | 1698 269831 1187407 | 2147483647 15923 82 | 0.000 % |
24.42/24.42 c | 16205 | 1698 269831 1187407 | 2147483647 16205 82 | 0.000 % |
24.62/24.70 c | 16514 | 1698 269831 1187407 | 2147483647 16514 83 | 0.000 % |
25.02/25.06 c | 16853 | 1698 269831 1187407 | 2147483647 16853 83 | 0.000 % |
25.12/25.21 c | 16953 | 1698 269831 1187407 | 2147483647 16953 83 | 0.000 % |
25.22/25.30 c | 17064 | 1698 269831 1187407 | 2147483647 17064 83 | 0.000 % |
25.42/25.46 c | 17187 | 1698 269831 1187407 | 2147483647 17187 83 | 0.000 % |
25.62/25.62 c | 17321 | 1698 269831 1187407 | 2147483647 17321 83 | 0.000 % |
25.82/25.82 c | 17467 | 1698 269831 1187407 | 2147483647 17467 83 | 0.000 % |
26.02/26.07 c | 17629 | 1698 269831 1187407 | 2147483647 17629 83 | 0.000 % |
26.32/26.34 c | 17806 | 1698 269831 1187407 | 2147483647 17806 83 | 0.000 % |
26.42/26.50 c | 17999 | 1698 269831 1187407 | 2147483647 17999 83 | 0.000 % |
26.72/26.81 c | 18211 | 1698 269831 1187407 | 2147483647 18211 82 | 0.000 % |
27.12/27.18 c | 18446 | 1698 269831 1187407 | 2147483647 18446 82 | 0.000 % |
27.22/27.31 c | 18704 | 1698 269831 1187407 | 2147483647 18704 82 | 0.000 % |
27.72/27.80 c | 18985 | 1698 269831 1187407 | 2147483647 18985 81 | 0.000 % |
28.12/28.11 c | 19298 | 1698 269831 1187407 | 2147483647 19298 81 | 0.000 % |
28.42/28.48 c | 19637 | 1698 269831 1187407 | 2147483647 19637 82 | 0.000 % |
28.92/28.97 c | 20010 | 1698 269831 1187407 | 2147483647 20010 82 | 0.000 % |
29.02/29.10 c | 20110 | 1698 269831 1187407 | 2147483647 20110 82 | 0.000 % |
29.22/29.23 c | 20222 | 1698 269831 1187407 | 2147483647 20222 82 | 0.000 % |
29.42/29.43 c | 20344 | 1698 269831 1187407 | 2147483647 20344 82 | 0.000 % |
29.52/29.57 c | 20477 | 1698 269831 1187407 | 2147483647 20477 82 | 0.000 % |
29.72/29.78 c | 20623 | 1698 269831 1187407 | 2147483647 20623 82 | 0.000 % |
29.92/29.93 c | 20783 | 1698 269831 1187407 | 2147483647 20783 82 | 0.000 % |
30.12/30.13 c | 20959 | 1698 269831 1187407 | 2147483647 20959 82 | 0.000 % |
30.32/30.33 c | 21153 | 1698 269831 1187407 | 2147483647 21153 82 | 0.000 % |
30.42/30.50 c | 21367 | 1698 269831 1187407 | 2147483647 21367 81 | 0.000 % |
30.72/30.74 c | 21601 | 1698 269831 1187407 | 2147483647 21601 81 | 0.000 % |
31.02/31.02 c | 21860 | 1698 269831 1187407 | 2147483647 21860 81 | 0.000 % |
31.22/31.22 c | 22143 | 1698 269831 1187407 | 2147483647 22143 81 | 0.000 % |
31.42/31.44 c | 22452 | 1698 269831 1187407 | 2147483647 22452 81 | 0.000 % |
31.62/31.66 c | 22791 | 1698 269831 1187407 | 2147483647 22791 81 | 0.000 % |
31.82/31.91 c | 23163 | 1698 269831 1187407 | 2147483647 23163 81 | 0.000 % |
32.12/32.18 c | 23572 | 1698 269831 1187407 | 2147483647 23572 81 | 0.000 % |
32.22/32.29 c | 23675 | 1698 269831 1187407 | 2147483647 23675 81 | 0.000 % |
32.42/32.42 c | 23785 | 1698 269831 1187407 | 2147483647 23785 81 | 0.000 % |
32.52/32.59 c | 23909 | 1698 269831 1187407 | 2147483647 23909 81 | 0.000 % |
32.72/32.79 c | 24042 | 1698 269831 1187407 | 2147483647 24042 81 | 0.000 % |
33.02/33.04 c | 24188 | 1698 269831 1187407 | 2147483647 24188 82 | 0.000 % |
33.22/33.23 c | 24348 | 1698 269831 1187407 | 2147483647 24348 82 | 0.000 % |
33.42/33.47 c | 24525 | 1698 269831 1187407 | 2147483647 24525 82 | 0.000 % |
33.62/33.68 c | 24718 | 1698 269831 1187407 | 2147483647 24718 82 | 0.000 % |
34.12/34.13 c | 24931 | 1698 269831 1187407 | 2147483647 24931 82 | 0.000 % |
34.52/34.60 c | 25164 | 1698 269831 1187407 | 2147483647 25164 82 | 0.000 % |
34.92/35.01 c | 25420 | 1698 269831 1187407 | 2147483647 25420 82 | 0.000 % |
35.32/35.34 c | 25701 | 1698 269831 1187407 | 2147483647 25701 82 | 0.000 % |
35.82/35.88 c | 26010 | 1698 269831 1187407 | 2147483647 26010 82 | 0.000 % |
36.52/36.60 c | 26350 | 1698 269831 1187407 | 2147483647 26350 82 | 0.000 % |
37.02/37.11 c | 26722 | 1698 269831 1187407 | 2147483647 26722 82 | 0.000 % |
37.62/37.67 c | 27131 | 1698 269831 1187407 | 2147483647 27131 82 | 0.000 % |
37.92/37.99 c | 27582 | 1698 269831 1187407 | 2147483647 27582 82 | 0.000 % |
38.02/38.10 c | 27683 | 1698 269831 1187407 | 2147483647 27683 82 | 0.000 % |
38.22/38.24 c | 27794 | 1698 269831 1187407 | 2147483647 27794 82 | 0.000 % |
38.42/38.43 c | 27916 | 1698 269831 1187407 | 2147483647 27916 82 | 0.000 % |
38.62/38.66 c | 28054 | 1698 269831 1187407 | 2147483647 28054 82 | 0.000 % |
38.82/38.89 c | 28202 | 1698 269831 1187407 | 2147483647 28202 82 | 0.000 % |
39.02/39.09 c | 28362 | 1698 269831 1187407 | 2147483647 28362 82 | 0.000 % |
39.42/39.43 c | 28538 | 1698 269831 1187407 | 2147483647 28538 82 | 0.000 % |
39.72/39.71 c | 28731 | 1698 269831 1187407 | 2147483647 28731 83 | 0.000 % |
39.92/39.98 c | 28943 | 1698 269831 1187407 | 2147483647 28943 82 | 0.000 % |
40.22/40.24 c | 29182 | 1698 269831 1187407 | 2147483647 29182 83 | 0.000 % |
40.52/40.54 c | 29439 | 1698 269831 1187407 | 2147483647 29439 83 | 0.000 % |
41.12/41.12 c | 29720 | 1698 269831 1187407 | 2147483647 29720 83 | 0.000 % |
41.52/41.53 c | 30031 | 1698 269831 1187407 | 2147483647 30031 83 | 0.000 % |
42.02/42.07 c | 30370 | 1698 269831 1187407 | 2147483647 30370 83 | 0.000 % |
42.52/42.58 c | 30742 | 1698 269831 1187407 | 2147483647 30742 84 | 0.000 % |
43.02/43.06 c | 31151 | 1698 269831 1187407 | 2147483647 31151 84 | 0.000 % |
44.02/44.02 c | 31603 | 1698 269831 1187407 | 2147483647 31603 84 | 0.000 % |
44.32/44.40 c | 32097 | 1698 269831 1187407 | 2147483647 32097 85 | 0.000 % |
44.62/44.67 c | 32197 | 1698 269831 1187407 | 2147483647 32197 85 | 0.000 % |
44.82/44.85 c | 32308 | 1698 269831 1187407 | 2147483647 32308 85 | 0.000 % |
44.92/45.00 c | 32431 | 1698 269831 1187407 | 2147483647 32431 85 | 0.000 % |
45.12/45.20 c | 32564 | 1698 269831 1187407 | 2147483647 32564 85 | 0.000 % |
45.42/45.50 c | 32711 | 1698 269831 1187407 | 2147483647 32711 85 | 0.000 % |
45.62/45.71 c | 32871 | 1698 269831 1187407 | 2147483647 32871 85 | 0.000 % |
45.92/45.95 c | 33048 | 1698 269831 1187407 | 2147483647 33048 85 | 0.000 % |
46.22/46.22 c | 33242 | 1698 269831 1187407 | 2147483647 33242 85 | 0.000 % |
46.32/46.41 c | 33455 | 1698 269831 1187407 | 2147483647 33455 85 | 0.000 % |
46.82/46.82 c | 33688 | 1698 269831 1187407 | 2147483647 33688 85 | 0.000 % |
47.12/47.17 c | 33944 | 1698 269831 1187407 | 2147483647 33944 85 | 0.000 % |
47.52/47.58 c | 34225 | 1698 269831 1187407 | 2147483647 34225 86 | 0.000 % |
47.92/47.94 c | 34536 | 1698 269831 1187407 | 2147483647 34536 86 | 0.000 % |
48.32/48.38 c | 34877 | 1698 269831 1187407 | 2147483647 34877 86 | 0.000 % |
48.82/48.90 c | 35250 | 1698 269831 1187407 | 2147483647 35250 86 | 0.000 % |
49.32/49.37 c | 35664 | 1698 269831 1187407 | 2147483647 35664 86 | 0.000 % |
49.82/49.84 c | 36114 | 1698 269831 1187407 | 2147483647 36114 87 | 0.000 % |
50.62/50.61 c | 36607 | 1698 269831 1187407 | 2147483647 36607 87 | 0.000 % |
51.72/51.71 c | 37152 | 1698 269831 1187407 | 2147483647 37152 86 | 0.000 % |
51.92/51.94 c | 37253 | 1698 269831 1187407 | 2147483647 37253 86 | 0.000 % |
52.12/52.20 c | 37365 | 1698 269831 1187407 | 2147483647 37365 86 | 0.000 % |
52.42/52.47 c | 37486 | 1698 269831 1187407 | 2147483647 37486 86 | 0.001 % |
52.72/52.77 c | 37619 | 1698 269831 1187407 | 2147483647 37619 86 | 0.000 % |
53.02/53.08 c | 37765 | 1698 269831 1187407 | 2147483647 37765 86 | 0.000 % |
53.32/53.41 c | 37926 | 1698 269831 1187407 | 2147483647 37926 85 | 0.000 % |
53.72/53.74 c | 38102 | 1698 269831 1187407 | 2147483647 38102 85 | 0.000 % |
54.12/54.15 c | 38295 | 1698 269831 1187407 | 2147483647 38295 85 | 0.000 % |
54.32/54.37 c | 38510 | 1698 269831 1187407 | 2147483647 38510 85 | 0.000 % |
54.72/54.73 c | 38744 | 1698 269831 1187407 | 2147483647 38744 85 | 0.000 % |
55.02/55.10 c | 39000 | 1698 269831 1187407 | 2147483647 39000 85 | 0.000 % |
55.62/55.61 c | 39282 | 1698 269831 1187407 | 2147483647 39282 85 | 0.000 % |
56.12/56.12 c | 39591 | 1698 269831 1187407 | 2147483647 39591 85 | 0.000 % |
56.42/56.47 c | 39930 | 1698 269831 1187407 | 2147483647 39930 86 | 0.000 % |
57.02/57.05 c | 40303 | 1698 269831 1187407 | 2147483647 40303 86 | 0.000 % |
57.92/57.94 c | 40716 | 1698 269831 1187407 | 2147483647 40716 86 | 0.000 % |
58.82/58.88 c | 41165 | 1698 269831 1187407 | 2147483647 41165 86 | 0.000 % |
59.92/59.97 c | 41659 | 1698 269831 1187407 | 2147483647 41659 86 | 0.000 % |
60.62/60.69 c | 42201 | 1698 269831 1187407 | 2147483647 42201 86 | 0.000 % |
61.62/61.68 c | 42797 | 1698 269831 1187407 | 2147483647 42797 86 | 0.000 % |
61.82/61.90 c | 42897 | 1698 269831 1187407 | 2147483647 42897 86 | 0.000 % |
62.12/62.17 c | 43009 | 1698 269831 1187407 | 2147483647 43009 86 | 0.000 % |
62.42/62.49 c | 43131 | 1698 269831 1187407 | 2147483647 43131 86 | 0.000 % |
62.72/62.79 c | 43264 | 1698 269831 1187407 | 2147483647 43264 86 | 0.000 % |
63.02/63.01 c | 43411 | 1698 269831 1187407 | 2147483647 43411 86 | 0.000 % |
63.32/63.34 c | 43572 | 1698 269831 1187407 | 2147483647 43572 86 | 0.000 % |
63.62/63.66 c | 43750 | 1698 269831 1187407 | 2147483647 43750 86 | 0.000 % |
63.92/63.99 c | 43944 | 1698 269831 1187407 | 2147483647 43944 86 | 0.000 % |
64.32/64.36 c | 44156 | 1698 269831 1187407 | 2147483647 44156 86 | 0.000 % |
64.52/64.60 c | 44390 | 1698 269831 1187407 | 2147483647 44390 86 | 0.000 % |
65.02/65.08 c | 44646 | 1698 269831 1187407 | 2147483647 44646 87 | 0.000 % |
65.72/65.76 c | 44927 | 1698 269831 1187407 | 2147483647 44927 86 | 0.000 % |
66.62/66.62 c | 45236 | 1698 269831 1187407 | 2147483647 45236 86 | 0.000 % |
67.32/67.34 c | 45575 | 1698 269831 1187407 | 2147483647 45575 86 | 0.000 % |
68.32/68.32 c | 45947 | 1698 269831 1187407 | 2147483647 45947 86 | 0.000 % |
68.92/68.98 c | 46358 | 1698 269831 1187407 | 2147483647 46358 86 | 0.000 % |
69.92/69.96 c | 46807 | 1698 269831 1187407 | 2147483647 46807 86 | 0.000 % |
70.82/70.88 c | 47302 | 1698 269831 1187407 | 2147483647 47302 86 | 0.000 % |
71.62/71.68 c | 47844 | 1698 269831 1187407 | 2147483647 47844 87 | 0.000 % |
72.92/72.98 c | 48442 | 1698 269831 1187407 | 2147483647 48442 87 | 0.000 % |
74.52/74.51 c | 49101 | 1698 269831 1187407 | 2147483647 49101 86 | 0.000 % |
74.72/74.74 c | 49201 | 1698 269831 1187407 | 2147483647 49201 86 | 0.000 % |
74.92/74.92 c | 49313 | 1698 269831 1187407 | 2147483647 49313 86 | 0.000 % |
75.12/75.15 c | 49434 | 1698 269831 1187407 | 2147483647 49434 86 | 0.000 % |
75.22/75.31 c | 49567 | 1698 269831 1187407 | 2147483647 49567 86 | 0.000 % |
75.72/75.74 c | 49713 | 1698 269831 1187407 | 2147483647 49713 86 | 0.000 % |
76.02/76.08 c | 49874 | 1698 269831 1187407 | 2147483647 49874 86 | 0.000 % |
76.42/76.51 c | 50052 | 1698 269831 1187407 | 2147483647 50052 86 | 0.000 % |
76.82/76.89 c | 50247 | 1698 269831 1187407 | 2147483647 50247 87 | 0.000 % |
77.22/77.28 c | 50460 | 1698 269831 1187407 | 2147483647 50460 86 | 0.000 % |
77.72/77.74 c | 50693 | 1698 269831 1187407 | 2147483647 50693 86 | 0.000 % |
78.02/78.02 c | 50951 | 1698 269831 1187407 | 2147483647 50951 87 | 0.000 % |
78.22/78.29 c | 51232 | 1698 269831 1187407 | 2147483647 51232 87 | 0.000 % |
78.82/78.89 c | 51541 | 1698 269831 1187407 | 2147483647 51541 87 | 0.000 % |
79.42/79.45 c | 51880 | 1698 269831 1187407 | 2147483647 51880 87 | 0.000 % |
79.92/79.93 c | 52253 | 1698 269831 1187407 | 2147483647 52253 87 | 0.000 % |
80.62/80.65 c | 52663 | 1698 269831 1187407 | 2147483647 52663 87 | 0.000 % |
81.62/81.65 c | 53113 | 1698 269831 1187407 | 2147483647 53113 87 | 0.000 % |
82.82/82.83 c | 53606 | 1698 269831 1187407 | 2147483647 53606 87 | 0.000 % |
83.92/83.97 c | 54149 | 1698 269831 1187407 | 2147483647 54149 87 | 0.000 % |
85.52/85.59 c | 54747 | 1698 269831 1187407 | 2147483647 54747 87 | 0.000 % |
87.22/87.26 c | 55404 | 1698 269831 1187407 | 2147483647 55404 86 | 0.000 % |
88.92/89.00 c | 56124 | 1698 269831 1187407 | 2147483647 56124 86 | 0.000 % |
89.22/89.29 c | 56224 | 1698 269831 1187407 | 2147483647 56224 86 | 0.000 % |
89.52/89.55 c | 56335 | 1698 269831 1187407 | 2147483647 56335 86 | 0.000 % |
89.82/89.86 c | 56457 | 1698 269831 1187407 | 2147483647 56457 86 | 0.000 % |
90.23/90.29 c | 56590 | 1698 269831 1187407 | 2147483647 56590 85 | 0.000 % |
90.62/90.70 c | 56736 | 1698 269831 1187407 | 2147483647 56736 85 | 0.000 % |
91.02/91.07 c | 56897 | 1698 269831 1187407 | 2147483647 56897 85 | 0.000 % |
91.52/91.54 c | 57075 | 1698 269831 1187407 | 2147483647 57075 85 | 0.000 % |
91.92/91.99 c | 57268 | 1698 269831 1187407 | 2147483647 57268 85 | 0.000 % |
92.22/92.25 c | 57480 | 1698 269831 1187407 | 2147483647 57480 85 | 0.000 % |
92.72/92.79 c | 57713 | 1698 269831 1187407 | 2147483647 57713 85 | 0.000 % |
93.62/93.68 c | 57972 | 1698 269831 1187407 | 2147483647 57972 85 | 0.000 % |
94.42/94.49 c | 58253 | 1698 269831 1187407 | 2147483647 58253 85 | 0.000 % |
94.82/94.89 c | 58563 | 1698 269831 1187407 | 2147483647 58563 85 | 0.000 % |
95.52/95.56 c | 58902 | 1698 269831 1187407 | 2147483647 58902 85 | 0.000 % |
96.62/96.66 c | 59274 | 1698 269831 1187407 | 2147483647 59274 85 | 0.000 % |
97.22/97.26 c | 59684 | 1698 269831 1187407 | 2147483647 59684 85 | 0.000 % |
98.42/98.44 c | 60135 | 1698 269831 1187407 | 2147483647 60135 85 | 0.000 % |
99.42/99.49 c | 60629 | 1698 269831 1187407 | 2147483647 60629 85 | 0.000 % |
100.42/100.49 c | 61171 | 1698 269831 1187407 | 2147483647 61171 85 | 0.000 % |
101.12/101.11 c | 61771 | 1698 269831 1187407 | 2147483647 61771 85 | 0.000 % |
102.22/102.28 c | 62429 | 1698 269831 1187407 | 2147483647 62429 86 | 0.000 % |
103.93/103.96 c | 63149 | 1698 269831 1187407 | 2147483647 63149 86 | 0.000 % |
106.13/106.16 c | 63944 | 1698 269831 1187407 | 2147483647 63944 86 | 0.000 % |
106.33/106.41 c | 64045 | 1698 269831 1187407 | 2147483647 64045 86 | 0.000 % |
106.63/106.68 c | 64155 | 1698 269831 1187407 | 2147483647 64155 86 | 0.000 % |
106.93/106.95 c | 64277 | 1698 269831 1187407 | 2147483647 64277 86 | 0.000 % |
107.13/107.19 c | 64410 | 1698 269831 1187407 | 2147483647 64410 86 | 0.000 % |
107.53/107.58 c | 64561 | 1698 269831 1187407 | 2147483647 64561 86 | 0.000 % |
107.83/107.89 c | 64722 | 1698 269831 1187407 | 2147483647 64722 86 | 0.000 % |
108.43/108.47 c | 64899 | 1698 269831 1187407 | 2147483647 64899 86 | 0.000 % |
109.03/109.03 c | 65092 | 1698 269831 1187407 | 2147483647 65092 86 | 0.000 % |
109.53/109.52 c | 65304 | 1698 269831 1187407 | 2147483647 65304 86 | 0.000 % |
110.33/110.33 c | 65540 | 1698 269831 1187407 | 2147483647 65540 86 | 0.000 % |
110.93/111.00 c | 65797 | 1698 269831 1187407 | 2147483647 65797 86 | 0.000 % |
111.43/111.50 c | 66078 | 1698 269831 1187407 | 2147483647 66078 86 | 0.000 % |
112.13/112.12 c | 66387 | 1698 269831 1187407 | 2147483647 66387 87 | 0.000 % |
112.83/112.86 c | 66727 | 1698 269831 1187407 | 2147483647 66727 87 | 0.000 % |
114.03/114.02 c | 67099 | 1698 269831 1187407 | 2147483647 67099 86 | 0.000 % |
115.23/115.26 c | 67509 | 1698 269831 1187407 | 2147483647 67509 86 | 0.000 % |
116.13/116.13 c | 67959 | 1698 269831 1187407 | 2147483647 67959 86 | 0.000 % |
117.23/117.30 c | 68453 | 1698 269831 1187407 | 2147483647 68453 86 | 0.000 % |
118.63/118.62 c | 68997 | 1698 269831 1187407 | 2147483647 68997 86 | 0.000 % |
119.33/119.37 c | 69594 | 1698 269831 1187407 | 2147483647 69594 86 | 0.000 % |
121.03/121.11 c | 70249 | 1698 269831 1187407 | 2147483647 70249 86 | 0.000 % |
122.03/122.11 c | 70970 | 1698 269831 1187407 | 2147483647 70970 86 | 0.000 % |
123.53/123.57 c | 71764 | 1698 269831 1187407 | 2147483647 71764 86 | 0.000 % |
125.03/125.03 c | 72638 | 1698 269831 1187407 | 2147483647 72638 87 | 0.000 % |
125.23/125.25 c | 72738 | 1698 269831 1187407 | 2147483647 72738 87 | 0.000 % |
125.43/125.47 c | 72848 | 1698 269831 1187407 | 2147483647 72848 87 | 0.000 % |
125.63/125.62 c | 72969 | 1698 269831 1187407 | 2147483647 72969 87 | 0.000 % |
125.73/125.73 c | 73102 | 1698 269831 1187407 | 2147483647 73102 87 | 0.000 % |
125.93/125.93 c | 73248 | 1698 269831 1187407 | 2147483647 73248 87 | 0.000 % |
126.13/126.16 c | 73408 | 1698 269831 1187407 | 2147483647 73408 87 | 0.000 % |
126.63/126.63 c | 73588 | 1698 269831 1187407 | 2147483647 73588 87 | 0.000 % |
126.93/126.96 c | 73781 | 1698 269831 1187407 | 2147483647 73781 87 | 0.000 % |
127.23/127.21 c | 73995 | 1698 269831 1187407 | 2147483647 73995 87 | 0.000 % |
127.53/127.55 c | 74229 | 1698 269831 1187407 | 2147483647 74229 87 | 0.000 % |
128.03/128.03 c | 74485 | 1698 269831 1187407 | 2147483647 74485 87 | 0.000 % |
128.63/128.64 c | 74766 | 1698 269831 1187407 | 2147483647 74766 87 | 0.000 % |
128.93/128.98 c | 75075 | 1698 269831 1187407 | 2147483647 75075 87 | 0.000 % |
129.63/129.67 c | 75414 | 1698 269831 1187407 | 2147483647 75414 87 | 0.000 % |
130.23/130.21 c | 75786 | 1698 269831 1187407 | 2147483647 75786 87 | 0.000 % |
130.83/130.83 c | 76195 | 1698 269831 1187407 | 2147483647 76195 87 | 0.000 % |
131.63/131.69 c | 76644 | 1698 269831 1187407 | 2147483647 76644 87 | 0.000 % |
132.33/132.38 c | 77137 | 1698 269831 1187407 | 2147483647 77137 87 | 0.000 % |
133.33/133.34 c | 77679 | 1698 269831 1187407 | 2147483647 77679 87 | 0.000 % |
134.33/134.41 c | 78277 | 1698 269831 1187407 | 2147483647 78277 87 | 0.000 % |
135.33/135.37 c | 78934 | 1698 269831 1187407 | 2147483647 78934 87 | 0.000 % |
136.53/136.56 c | 79654 | 1698 269831 1187407 | 2147483647 79654 87 | 0.000 % |
137.53/137.55 c | 80446 | 1698 269831 1187407 | 2147483647 80446 88 | 0.000 % |
139.03/139.09 c | 81317 | 1698 269831 1187407 | 2147483647 81317 88 | 0.000 % |
141.33/141.39 c | 82275 | 1698 269831 1187407 | 2147483647 82275 87 | 0.000 % |
141.63/141.65 c | 82376 | 1698 269831 1187407 | 2147483647 82376 87 | 0.000 % |
141.93/141.97 c | 82486 | 1698 269831 1187407 | 2147483647 82486 87 | 0.000 % |
142.33/142.39 c | 82607 | 1698 269831 1187407 | 2147483647 82607 87 | 0.000 % |
142.73/142.72 c | 82740 | 1698 269831 1187407 | 2147483647 82740 87 | 0.000 % |
143.03/143.10 c | 82887 | 1698 269831 1187407 | 2147483647 82887 87 | 0.000 % |
143.43/143.45 c | 83048 | 1698 269831 1187407 | 2147483647 83048 87 | 0.000 % |
143.83/143.88 c | 83224 | 1698 269831 1187407 | 2147483647 83224 87 | 0.000 % |
144.23/144.27 c | 83418 | 1698 269831 1187407 | 2147483647 83418 87 | 0.000 % |
144.73/144.73 c | 83630 | 1698 269831 1187407 | 2147483647 83630 87 | 0.000 % |
145.03/145.10 c | 83865 | 1698 269831 1187407 | 2147483647 83865 87 | 0.000 % |
145.83/145.83 c | 84122 | 1698 269831 1187407 | 2147483647 84122 87 | 0.000 % |
146.33/146.40 c | 84405 | 1698 269831 1187407 | 2147483647 84405 87 | 0.000 % |
146.83/146.83 c | 84716 | 1698 269831 1187407 | 2147483647 84716 87 | 0.000 % |
147.33/147.36 c | 85057 | 1698 269831 1187407 | 2147483647 85057 87 | 0.000 % |
148.13/148.12 c | 85429 | 1698 269831 1187407 | 2147483647 85429 87 | 0.000 % |
149.03/149.04 c | 85842 | 1698 269831 1187407 | 2147483647 85842 87 | 0.000 % |
149.83/149.89 c | 86292 | 1698 269831 1187407 | 2147483647 86292 87 | 0.000 % |
150.63/150.68 c | 86789 | 1698 269831 1187407 | 2147483647 86789 87 | 0.000 % |
151.33/151.38 c | 87331 | 1698 269831 1187407 | 2147483647 87331 87 | 0.000 % |
151.73/151.80 c | 87927 | 1698 269831 1187407 | 2147483647 87927 87 | 0.000 % |
152.73/152.75 c | 88582 | 1698 269831 1187407 | 2147483647 88582 88 | 0.000 % |
153.83/153.84 c | 89302 | 1698 269831 1187407 | 2147483647 89302 88 | 0.000 % |
155.14/155.15 c | 90095 | 1698 269831 1187407 | 2147483647 90095 88 | 0.000 % |
156.03/156.05 c | 90966 | 1698 269831 1187407 | 2147483647 90966 88 | 0.000 % |
157.43/157.46 c | 91924 | 1698 269831 1187407 | 2147483647 91924 88 | 0.000 % |
159.43/159.44 c | 92977 | 1698 269831 1187407 | 2147483647 92977 88 | 0.000 % |
159.63/159.65 c | 93077 | 1698 269831 1187407 | 2147483647 93077 88 | 0.000 % |
159.93/159.92 c | 93188 | 1698 269831 1187407 | 2147483647 93188 88 | 0.000 % |
160.13/160.19 c | 93309 | 1698 269831 1187407 | 2147483647 93309 88 | 0.000 % |
160.43/160.45 c | 93443 | 1698 269831 1187407 | 2147483647 93443 88 | 0.000 % |
160.73/160.74 c | 93590 | 1698 269831 1187407 | 2147483647 93590 88 | 0.000 % |
161.13/161.12 c | 93750 | 1698 269831 1187407 | 2147483647 93750 88 | 0.000 % |
161.33/161.40 c | 93929 | 1698 269831 1187407 | 2147483647 93929 88 | 0.000 % |
161.74/161.78 c | 94122 | 1698 269831 1187407 | 2147483647 94122 88 | 0.000 % |
162.33/162.31 c | 94335 | 1698 269831 1187407 | 2147483647 94335 88 | 0.000 % |
162.84/162.86 c | 94570 | 1698 269831 1187407 | 2147483647 94570 88 | 0.000 % |
163.53/163.55 c | 94827 | 1698 269831 1187407 | 2147483647 94827 88 | 0.000 % |
164.03/164.04 c | 95108 | 1698 269831 1187407 | 2147483647 95108 88 | 0.000 % |
164.53/164.51 c | 95417 | 1698 269831 1187407 | 2147483647 95417 88 | 0.000 % |
165.13/165.14 c | 95760 | 1698 269831 1187407 | 2147483647 95760 88 | 0.000 % |
165.63/165.65 c | 96133 | 1698 269831 1187407 | 2147483647 96133 88 | 0.000 % |
166.33/166.34 c | 96543 | 1698 269831 1187407 | 2147483647 96543 88 | 0.000 % |
167.13/167.14 c | 96993 | 1698 269831 1187407 | 2147483647 96993 88 | 0.000 % |
168.03/168.04 c | 97487 | 1698 269831 1187407 | 2147483647 97487 88 | 0.000 % |
169.53/169.56 c | 98035 | 1698 269831 1187407 | 2147483647 98035 88 | 0.000 % |
170.73/170.73 c | 98632 | 1698 269831 1187407 | 2147483647 98632 88 | 0.000 % |
172.43/172.49 c | 99288 | 1698 269831 1187407 | 2147483647 99288 88 | 0.000 % |
174.43/174.43 c | 100008 | 1698 269831 1187407 | 2147483647 100008 88 | 0.000 % |
175.63/175.64 c | 100800 | 1698 269831 1187407 | 2147483647 100800 88 | 0.000 % |
177.43/177.46 c | 101672 | 1698 269831 1187407 | 2147483647 101672 88 | 0.000 % |
178.73/178.76 c | 102631 | 1698 269831 1187407 | 2147483647 102631 89 | 0.000 % |
181.03/181.06 c | 103687 | 1698 269831 1187407 | 2147483647 103687 89 | 0.000 % |
182.83/182.83 c | 104846 | 1698 269831 1187407 | 2147483647 104846 89 | 0.000 % |
183.03/183.01 c | 104946 | 1698 269831 1187407 | 2147483647 104946 89 | 0.000 % |
183.33/183.34 c | 105057 | 1698 269831 1187407 | 2147483647 105057 89 | 0.000 % |
183.53/183.60 c | 105179 | 1698 269831 1187407 | 2147483647 105179 89 | 0.000 % |
183.93/184.01 c | 105312 | 1698 269831 1187407 | 2147483647 105312 89 | 0.000 % |
184.33/184.31 c | 105460 | 1698 269831 1187407 | 2147483647 105460 89 | 0.000 % |
184.63/184.70 c | 105620 | 1698 269831 1187407 | 2147483647 105620 89 | 0.000 % |
185.13/185.13 c | 105798 | 1698 269831 1187407 | 2147483647 105798 89 | 0.000 % |
185.63/185.70 c | 105991 | 1698 269831 1187407 | 2147483647 105991 89 | 0.000 % |
186.34/186.33 c | 106203 | 1698 269831 1187407 | 2147483647 106203 89 | 0.000 % |
186.94/187.00 c | 106437 | 1698 269831 1187407 | 2147483647 106437 89 | 0.000 % |
187.64/187.65 c | 106693 | 1698 269831 1187407 | 2147483647 106693 89 | 0.000 % |
188.14/188.17 c | 106975 | 1698 269831 1187407 | 2147483647 106975 89 | 0.000 % |
188.54/188.58 c | 107286 | 1698 269831 1187407 | 2147483647 107286 89 | 0.000 % |
189.04/189.06 c | 107625 | 1698 269831 1187407 | 2147483647 107625 89 | 0.000 % |
189.74/189.77 c | 107997 | 1698 269831 1187407 | 2147483647 107997 89 | 0.000 % |
190.94/191.01 c | 108406 | 1698 269831 1187407 | 2147483647 108406 89 | 0.000 % |
192.24/192.29 c | 108855 | 1698 269831 1187407 | 2147483647 108855 88 | 0.000 % |
193.54/193.61 c | 109353 | 1698 269831 1187407 | 2147483647 109353 88 | 0.000 % |
195.14/195.14 c | 109897 | 1698 269831 1187407 | 2147483647 109897 88 | 0.000 % |
197.04/197.02 c | 110493 | 1698 269831 1187407 | 2147483647 110493 88 | 0.000 % |
198.84/198.91 c | 111152 | 1698 269831 1187407 | 2147483647 111152 88 | 0.000 % |
200.44/200.48 c | 111872 | 1698 269831 1187407 | 2147483647 111872 88 | 0.000 % |
201.64/201.69 c | 112665 | 1698 269831 1187407 | 2147483647 112665 88 | 0.000 % |
204.04/204.06 c | 113537 | 1698 269831 1187407 | 2147483647 113537 87 | 0.000 % |
205.94/205.96 c | 114495 | 1698 269831 1187407 | 2147483647 114495 88 | 0.000 % |
208.04/208.02 c | 115549 | 1698 269831 1187407 | 2147483647 115549 88 | 0.000 % |
210.74/210.79 c | 116708 | 1698 269831 1187407 | 2147483647 116708 88 | 0.000 % |
212.54/212.52 c | 117981 | 1698 269831 1187407 | 2147483647 117981 88 | 0.000 % |
212.74/212.73 c | 118084 | 1698 269831 1187407 | 2147483647 118084 88 | 0.000 % |
213.04/213.02 c | 118194 | 1698 269831 1187407 | 2147483647 118194 88 | 0.000 % |
213.34/213.32 c | 118316 | 1698 269831 1187407 | 2147483647 118316 88 | 0.000 % |
213.64/213.68 c | 118450 | 1698 269831 1187407 | 2147483647 118450 88 | 0.000 % |
214.24/214.27 c | 118596 | 1698 269831 1187407 | 2147483647 118596 88 | 0.000 % |
214.74/214.79 c | 118759 | 1698 269831 1187407 | 2147483647 118759 88 | 0.000 % |
215.24/215.23 c | 118935 | 1698 269831 1187407 | 2147483647 118935 88 | 0.000 % |
215.84/215.91 c | 119133 | 1698 269831 1187407 | 2147483647 119133 88 | 0.000 % |
216.54/216.60 c | 119347 | 1698 269831 1187407 | 2147483647 119347 88 | 0.000 % |
217.24/217.28 c | 119584 | 1698 269831 1187407 | 2147483647 119584 88 | 0.000 % |
217.84/217.84 c | 119841 | 1698 269831 1187407 | 2147483647 119841 88 | 0.000 % |
218.44/218.48 c | 120123 | 1698 269831 1187407 | 2147483647 120123 88 | 0.000 % |
219.24/219.24 c | 120434 | 1698 269831 1187407 | 2147483647 120434 88 | 0.000 % |
219.94/219.92 c | 120774 | 1698 269831 1187407 | 2147483647 120774 89 | 0.000 % |
220.64/220.66 c | 121147 | 1698 269831 1187407 | 2147483647 121147 89 | 0.000 % |
221.44/221.43 c | 121559 | 1698 269831 1187407 | 2147483647 121559 89 | 0.000 % |
222.24/222.21 c | 122008 | 1698 269831 1187407 | 2147483647 122008 89 | 0.000 % |
223.24/223.30 c | 122502 | 1698 269831 1187407 | 2147483647 122502 89 | 0.000 % |
224.84/224.81 c | 123046 | 1698 269831 1187407 | 2147483647 123046 89 | 0.000 % |
226.64/226.65 c | 123642 | 1698 269831 1187407 | 2147483647 123642 89 | 0.000 % |
228.24/228.27 c | 124299 | 1698 269831 1187407 | 2147483647 124299 89 | 0.000 % |
230.44/230.47 c | 125019 | 1698 269831 1187407 | 2147483647 125019 89 | 0.000 % |
232.34/232.36 c | 125812 | 1698 269831 1187407 | 2147483647 125812 89 | 0.000 % |
233.54/233.56 c | 126683 | 1698 269831 1187407 | 2147483647 126683 89 | 0.000 % |
235.84/235.85 c | 127642 | 1698 269831 1187407 | 2147483647 127642 89 | 0.000 % |
238.24/238.23 c | 128698 | 1698 269831 1187407 | 2147483647 128698 89 | 0.000 % |
241.04/241.03 c | 129859 | 1698 269831 1187407 | 2147483647 129859 89 | 0.000 % |
244.34/244.38 c | 131132 | 1698 269831 1187407 | 2147483647 131132 88 | 0.000 % |
248.54/248.54 c | 132534 | 1698 269831 1187407 | 2147483647 132534 88 | 0.000 % |
248.84/248.89 c | 132636 | 1698 269831 1187407 | 2147483647 132636 88 | 0.000 % |
249.14/249.18 c | 132747 | 1698 269831 1187407 | 2147483647 132747 88 | 0.000 % |
249.44/249.46 c | 132868 | 1698 269831 1187407 | 2147483647 132868 88 | 0.000 % |
249.75/249.74 c | 133001 | 1698 269831 1187407 | 2147483647 133001 88 | 0.000 % |
250.04/250.04 c | 133149 | 1698 269831 1187407 | 2147483647 133149 88 | 0.000 % |
250.54/250.55 c | 133310 | 1698 269831 1187407 | 2147483647 133310 88 | 0.000 % |
250.94/251.00 c | 133487 | 1698 269831 1187407 | 2147483647 133487 88 | 0.000 % |
251.64/251.69 c | 133682 | 1698 269831 1187407 | 2147483647 133682 88 | 0.000 % |
252.34/252.38 c | 133900 | 1698 269831 1187407 | 2147483647 133900 88 | 0.000 % |
252.84/252.83 c | 134134 | 1698 269831 1187407 | 2147483647 134134 88 | 0.000 % |
253.34/253.33 c | 134391 | 1698 269831 1187407 | 2147483647 134391 88 | 0.000 % |
253.94/253.96 c | 134674 | 1698 269831 1187407 | 2147483647 134674 88 | 0.000 % |
254.94/254.99 c | 134983 | 1698 269831 1187407 | 2147483647 134983 88 | 0.000 % |
255.94/255.94 c | 135322 | 1698 269831 1187407 | 2147483647 135322 88 | 0.000 % |
257.14/257.16 c | 135695 | 1698 269831 1187407 | 2147483647 135695 88 | 0.000 % |
258.34/258.36 c | 136104 | 1698 269831 1187407 | 2147483647 136104 88 | 0.000 % |
259.94/259.99 c | 136554 | 1698 269831 1187407 | 2147483647 136554 88 | 0.000 % |
261.44/261.44 c | 137047 | 1698 269831 1187407 | 2147483647 137047 88 | 0.000 % |
262.74/262.81 c | 137590 | 1698 269831 1187407 | 2147483647 137590 88 | 0.000 % |
264.54/264.55 c | 138187 | 1698 269831 1187407 | 2147483647 138187 88 | 0.000 % |
266.54/266.53 c | 138842 | 1698 269831 1187407 | 2147483647 138842 88 | 0.000 % |
268.85/268.89 c | 139562 | 1698 269831 1187407 | 2147483647 139562 88 | 0.000 % |
271.35/271.37 c | 140355 | 1698 269831 1187407 | 2147483647 140355 88 | 0.000 % |
274.25/274.29 c | 141226 | 1698 269831 1187407 | 2147483647 141226 88 | 0.000 % |
277.25/277.24 c | 142187 | 1698 269831 1187407 | 2147483647 142187 88 | 0.000 % |
280.45/280.48 c | 143240 | 1698 269831 1187407 | 2147483647 143240 88 | 0.000 % |
283.85/283.89 c | 144398 | 1698 269831 1187407 | 2147483647 144398 87 | 0.000 % |
288.05/288.10 c | 145676 | 1698 269831 1187407 | 2147483647 145676 87 | 0.000 % |
292.65/292.71 c | 147077 | 1698 269831 1187407 | 2147483647 147077 87 | 0.000 % |
295.65/295.64 c | 148618 | 1698 269831 1187407 | 2147483647 148618 87 | 0.000 % |
295.95/295.98 c | 148719 | 1698 269831 1187407 | 2147483647 148719 87 | 0.000 % |
296.25/296.29 c | 148830 | 1698 269831 1187407 | 2147483647 148830 87 | 0.000 % |
296.65/296.66 c | 148952 | 1698 269831 1187407 | 2147483647 148952 87 | 0.000 % |
297.05/297.04 c | 149085 | 1698 269831 1187407 | 2147483647 149085 87 | 0.000 % |
297.55/297.56 c | 149231 | 1698 269831 1187407 | 2147483647 149231 87 | 0.000 % |
297.95/297.97 c | 149391 | 1698 269831 1187407 | 2147483647 149391 87 | 0.000 % |
298.45/298.50 c | 149567 | 1698 269831 1187407 | 2147483647 149567 87 | 0.000 % |
299.05/299.07 c | 149761 | 1698 269831 1187407 | 2147483647 149761 87 | 0.000 % |
299.55/299.52 c | 149975 | 1698 269831 1187407 | 2147483647 149975 87 | 0.000 % |
299.95/299.98 c | 150209 | 1698 269831 1187407 | 2147483647 150209 87 | 0.000 % |
300.65/300.65 c | 150465 | 1698 269831 1187407 | 2147483647 150465 87 | 0.000 % |
301.45/301.46 c | 150746 | 1698 269831 1187407 | 2147483647 150746 87 | 0.000 % |
302.75/302.72 c | 151056 | 1698 269831 1187407 | 2147483647 151056 87 | 0.000 % |
303.55/303.58 c | 151395 | 1698 269831 1187407 | 2147483647 151395 87 | 0.000 % |
304.25/304.26 c | 151767 | 1698 269831 1187407 | 2147483647 151767 87 | 0.000 % |
304.85/304.90 c | 152177 | 1698 269831 1187407 | 2147483647 152177 87 | 0.000 % |
305.85/305.86 c | 152626 | 1698 269831 1187407 | 2147483647 152626 87 | 0.000 % |
306.55/306.60 c | 153119 | 1698 269831 1187407 | 2147483647 153119 87 | 0.000 % |
307.35/307.37 c | 153661 | 1698 269831 1187407 | 2147483647 153661 87 | 0.000 % |
308.55/308.55 c | 154258 | 1698 269831 1187407 | 2147483647 154258 87 | 0.000 % |
309.65/309.70 c | 154914 | 1698 269831 1187407 | 2147483647 154914 87 | 0.000 % |
310.65/310.69 c | 155636 | 1698 269831 1187407 | 2147483647 155636 87 | 0.000 % |
311.94/311.99 c | 156428 | 1698 269831 1187407 | 2147483647 156428 87 | 0.000 % |
313.44/313.48 c | 157300 | 1698 269831 1187407 | 2147483647 157300 87 | 0.000 % |
315.04/315.03 c | 158258 | 1698 269831 1187407 | 2147483647 158258 87 | 0.000 % |
316.64/316.69 c | 159314 | 1698 269831 1187407 | 2147483647 159314 87 | 0.000 % |
318.34/318.37 c | 160474 | 1698 269831 1187407 | 2147483647 160474 87 | 0.000 % |
320.64/320.64 c | 161748 | 1698 269831 1187407 | 2147483647 161748 87 | 0.000 % |
323.14/323.11 c | 163148 | 1698 269831 1187407 | 2147483647 163148 87 | 0.000 % |
325.14/325.13 c | 164688 | 1698 269831 1187407 | 2147483647 164688 87 | 0.000 % |
327.44/327.49 c | 166382 | 1698 269831 1187407 | 2147483647 166382 86 | 0.000 % |
327.64/327.63 c | 166482 | 1698 269831 1187407 | 2147483647 166482 86 | 0.002 % |
327.74/327.80 c | 166592 | 1698 269831 1187407 | 2147483647 166592 86 | 0.000 % |
328.24/328.21 c | 166713 | 1698 269831 1187407 | 2147483647 166713 86 | 0.000 % |
328.54/328.55 c | 166846 | 1698 269831 1187407 | 2147483647 166846 86 | 0.000 % |
328.95/328.91 c | 166992 | 1698 269831 1187407 | 2147483647 166992 86 | 0.000 % |
329.34/329.31 c | 167153 | 1698 269831 1187407 | 2147483647 167153 86 | 0.000 % |
329.84/329.89 c | 167329 | 1698 269831 1187407 | 2147483647 167329 86 | 0.000 % |
330.34/330.35 c | 167523 | 1698 269831 1187407 | 2147483647 167523 86 | 0.000 % |
330.84/330.83 c | 167735 | 1698 269831 1187407 | 2147483647 167735 86 | 0.000 % |
331.15/331.19 c | 167971 | 1698 269831 1187407 | 2147483647 167971 86 | 0.000 % |
331.94/331.97 c | 168228 | 1698 269831 1187407 | 2147483647 168228 87 | 0.000 % |
333.35/333.33 c | 168511 | 1698 269831 1187407 | 2147483647 168511 86 | 0.000 % |
334.74/334.77 c | 168820 | 1698 269831 1187407 | 2147483647 168820 87 | 0.000 % |
336.14/336.13 c | 169161 | 1698 269831 1187407 | 2147483647 169161 86 | 0.000 % |
337.34/337.40 c | 169535 | 1698 269831 1187407 | 2147483647 169535 86 | 0.000 % |
338.64/338.64 c | 169944 | 1698 269831 1187407 | 2147483647 169944 86 | 0.000 % |
339.95/339.92 c | 170394 | 1698 269831 1187407 | 2147483647 170394 86 | 0.000 % |
341.54/341.52 c | 170887 | 1698 269831 1187407 | 2147483647 170887 86 | 0.000 % |
343.25/343.30 c | 171430 | 1698 269831 1187407 | 2147483647 171430 86 | 0.000 % |
344.84/344.86 c | 172026 | 1698 269831 1187407 | 2147483647 172026 86 | 0.000 % |
346.34/346.35 c | 172682 | 1698 269831 1187407 | 2147483647 172682 86 | 0.000 % |
348.64/348.67 c | 173402 | 1698 269831 1187407 | 2147483647 173402 86 | 0.000 % |
350.34/350.33 c | 174194 | 1698 269831 1187407 | 2147483647 174194 87 | 0.000 % |
352.35/352.32 c | 175067 | 1698 269831 1187407 | 2147483647 175067 87 | 0.000 % |
355.85/355.90 c | 176027 | 1698 269831 1187407 | 2147483647 176027 87 | 0.000 % |
358.95/358.96 c | 177080 | 1698 269831 1187407 | 2147483647 177080 87 | 0.000 % |
361.15/361.19 c | 178238 | 1698 269831 1187407 | 2147483647 178238 87 | 0.000 % |
365.05/365.02 c | 179515 | 1698 269831 1187407 | 2147483647 179515 87 | 0.000 % |
370.85/370.87 c | 180918 | 1698 269831 1187407 | 2147483647 180918 87 | 0.000 % |
375.95/375.94 c | 182458 | 1698 269831 1187407 | 2147483647 182458 87 | 0.000 % |
382.15/382.20 c | 184152 | 1698 269831 1187407 | 2147483647 184152 87 | 0.000 % |
386.35/386.33 c | 186017 | 1698 269831 1187407 | 2147483647 186017 86 | 0.000 % |
386.75/386.73 c | 186117 | 1698 269831 1187407 | 2147483647 186117 86 | 0.000 % |
387.15/387.11 c | 186229 | 1698 269831 1187407 | 2147483647 186229 86 | 0.000 % |
387.75/387.71 c | 186351 | 1698 269831 1187407 | 2147483647 186351 86 | 0.000 % |
388.15/388.17 c | 186488 | 1698 269831 1187407 | 2147483647 186488 86 | 0.000 % |
388.65/388.68 c | 186634 | 1698 269831 1187407 | 2147483647 186634 86 | 0.000 % |
389.15/389.17 c | 186794 | 1698 269831 1187407 | 2147483647 186794 86 | 0.000 % |
389.65/389.69 c | 186970 | 1698 269831 1187407 | 2147483647 186970 86 | 0.000 % |
390.45/390.46 c | 187166 | 1698 269831 1187407 | 2147483647 187166 86 | 0.000 % |
391.05/391.04 c | 187378 | 1698 269831 1187407 | 2147483647 187378 86 | 0.000 % |
391.75/391.77 c | 187613 | 1698 269831 1187407 | 2147483647 187613 86 | 0.000 % |
392.45/392.49 c | 187869 | 1698 269831 1187407 | 2147483647 187869 86 | 0.000 % |
393.55/393.54 c | 188152 | 1698 269831 1187407 | 2147483647 188152 86 | 0.000 % |
394.45/394.43 c | 188461 | 1698 269831 1187407 | 2147483647 188461 86 | 0.000 % |
395.15/395.12 c | 188800 | 1698 269831 1187407 | 2147483647 188800 86 | 0.000 % |
396.15/396.19 c | 189173 | 1698 269831 1187407 | 2147483647 189173 86 | 0.000 % |
397.25/397.25 c | 189584 | 1698 269831 1187407 | 2147483647 189584 86 | 0.000 % |
398.55/398.59 c | 190034 | 1698 269831 1187407 | 2147483647 190034 87 | 0.000 % |
400.05/400.09 c | 190530 | 1698 269831 1187407 | 2147483647 190530 87 | 0.000 % |
401.85/401.90 c | 191072 | 1698 269831 1187407 | 2147483647 191072 87 | 0.000 % |
403.65/403.68 c | 191668 | 1698 269831 1187407 | 2147483647 191668 87 | 0.000 % |
405.65/405.67 c | 192323 | 1698 269831 1187407 | 2147483647 192323 87 | 0.000 % |
407.15/407.19 c | 193045 | 1698 269831 1187407 | 2147483647 193045 87 | 0.000 % |
409.95/409.94 c | 193837 | 1698 269831 1187407 | 2147483647 193837 87 | 0.000 % |
412.45/412.51 c | 194708 | 1698 269831 1187407 | 2147483647 194708 87 | 0.000 % |
414.85/414.89 c | 195666 | 1698 269831 1187407 | 2147483647 195666 87 | 0.000 % |
418.85/418.81 c | 196719 | 1698 269831 1187407 | 2147483647 196719 87 | 0.000 % |
421.15/421.12 c | 197880 | 1698 269831 1187407 | 2147483647 197880 87 | 0.000 % |
425.25/425.23 c | 199154 | 1698 269831 1187407 | 2147483647 199154 87 | 0.000 % |
429.65/429.70 c | 200556 | 1698 269831 1187407 | 2147483647 200556 87 | 0.000 % |
434.86/434.84 c | 202097 | 1698 269831 1187407 | 2147483647 202097 87 | 0.000 % |
440.26/440.24 c | 203791 | 1698 269831 1187407 | 2147483647 203791 87 | 0.000 % |
446.56/446.56 c | 205654 | 1698 269831 1187407 | 2147483647 205654 87 | 0.000 % |
450.86/450.89 c | 207704 | 1698 269831 1187407 | 2147483647 207704 87 | 0.000 % |
451.16/451.17 c | 207805 | 1698 269831 1187407 | 2147483647 207805 87 | 0.000 % |
451.56/451.54 c | 207919 | 1698 269831 1187407 | 2147483647 207919 87 | 0.000 % |
451.86/451.86 c | 208040 | 1698 269831 1187407 | 2147483647 208040 87 | 0.000 % |
452.46/452.42 c | 208174 | 1698 269831 1187407 | 2147483647 208174 87 | 0.000 % |
452.86/452.86 c | 208320 | 1698 269831 1187407 | 2147483647 208320 87 | 0.000 % |
453.36/453.36 c | 208482 | 1698 269831 1187407 | 2147483647 208482 87 | 0.000 % |
454.06/454.04 c | 208661 | 1698 269831 1187407 | 2147483647 208661 87 | 0.000 % |
454.76/454.79 c | 208854 | 1698 269831 1187407 | 2147483647 208854 87 | 0.000 % |
455.86/455.82 c | 209071 | 1698 269831 1187407 | 2147483647 209071 87 | 0.000 % |
456.86/456.86 c | 209305 | 1698 269831 1187407 | 2147483647 209305 87 | 0.000 % |
457.56/457.61 c | 209562 | 1698 269831 1187407 | 2147483647 209562 87 | 0.000 % |
458.66/458.68 c | 209844 | 1698 269831 1187407 | 2147483647 209844 87 | 0.000 % |
459.86/459.82 c | 210153 | 1698 269831 1187407 | 2147483647 210153 87 | 0.000 % |
460.96/460.99 c | 210492 | 1698 269831 1187407 | 2147483647 210492 87 | 0.000 % |
462.36/462.39 c | 210864 | 1698 269831 1187407 | 2147483647 210864 87 | 0.000 % |
464.16/464.12 c | 211273 | 1698 269831 1187407 | 2147483647 211273 87 | 0.000 % |
465.16/465.17 c | 211725 | 1698 269831 1187407 | 2147483647 211725 87 | 0.000 % |
466.46/466.43 c | 212219 | 1698 269831 1187407 | 2147483647 212219 87 | 0.000 % |
467.66/467.62 c | 212762 | 1698 269831 1187407 | 2147483647 212762 87 | 0.000 % |
469.06/469.11 c | 213358 | 1698 269831 1187407 | 2147483647 213358 87 | 0.000 % |
470.56/470.55 c | 214014 | 1698 269831 1187407 | 2147483647 214014 87 | 0.000 % |
472.56/472.59 c | 214734 | 1698 269831 1187407 | 2147483647 214734 87 | 0.000 % |
475.26/475.25 c | 215528 | 1698 269831 1187407 | 2147483647 215528 87 | 0.000 % |
478.56/478.57 c | 216402 | 1698 269831 1187407 | 2147483647 216402 88 | 0.000 % |
481.26/481.28 c | 217360 | 1698 269831 1187407 | 2147483647 217360 87 | 0.000 % |
483.46/483.42 c | 218415 | 1698 269831 1187407 | 2147483647 218415 87 | 0.000 % |
486.36/486.37 c | 219577 | 1698 269831 1187407 | 2147483647 219577 87 | 0.000 % |
491.16/491.14 c | 220850 | 1698 269831 1187407 | 2147483647 220850 87 | 0.000 % |
494.66/494.64 c | 222250 | 1698 269831 1187407 | 2147483647 222250 88 | 0.000 % |
499.36/499.35 c | 223790 | 1698 269831 1187407 | 2147483647 223790 88 | 0.000 % |
505.96/505.96 c | 225485 | 1698 269831 1187407 | 2147483647 225485 88 | 0.000 % |
514.16/514.15 c | 227349 | 1698 269831 1187407 | 2147483647 227349 87 | 0.000 % |
520.27/520.22 c | 229399 | 1698 269831 1187407 | 2147483647 229399 87 | 0.000 % |
527.97/527.92 c | 231653 | 1698 269831 1187407 | 2147483647 231653 88 | 0.000 % |
528.37/528.31 c | 231753 | 1698 269831 1187407 | 2147483647 231753 88 | 0.000 % |
528.67/528.68 c | 231863 | 1698 269831 1187407 | 2147483647 231863 88 | 0.000 % |
529.17/529.11 c | 231986 | 1698 269831 1187407 | 2147483647 231986 88 | 0.000 % |
529.57/529.58 c | 232120 | 1698 269831 1187407 | 2147483647 232120 88 | 0.000 % |
530.17/530.15 c | 232266 | 1698 269831 1187407 | 2147483647 232266 88 | 0.000 % |
530.57/530.57 c | 232427 | 1698 269831 1187407 | 2147483647 232427 88 | 0.000 % |
531.37/531.36 c | 232604 | 1698 269831 1187407 | 2147483647 232604 88 | 0.000 % |
532.17/532.18 c | 232797 | 1698 269831 1187407 | 2147483647 232797 88 | 0.000 % |
532.97/533.00 c | 233012 | 1698 269831 1187407 | 2147483647 233012 88 | 0.000 % |
533.87/533.90 c | 233245 | 1698 269831 1187407 | 2147483647 233245 88 | 0.000 % |
534.67/534.68 c | 233502 | 1698 269831 1187407 | 2147483647 233502 88 | 0.000 % |
535.57/535.59 c | 233785 | 1698 269831 1187407 | 2147483647 233785 88 | 0.000 % |
536.57/536.60 c | 234096 | 1698 269831 1187407 | 2147483647 234096 88 | 0.000 % |
537.47/537.47 c | 234435 | 1698 269831 1187407 | 2147483647 234435 88 | 0.000 % |
538.97/539.00 c | 234807 | 1698 269831 1187407 | 2147483647 234807 88 | 0.000 % |
540.17/540.20 c | 235216 | 1698 269831 1187407 | 2147483647 235216 88 | 0.000 % |
541.97/542.01 c | 235665 | 1698 269831 1187407 | 2147483647 235665 88 | 0.000 % |
544.17/544.19 c | 236158 | 1698 269831 1187407 | 2147483647 236158 88 | 0.000 % |
546.67/546.62 c | 236701 | 1698 269831 1187407 | 2147483647 236701 88 | 0.000 % |
549.37/549.35 c | 237299 | 1698 269831 1187407 | 2147483647 237299 88 | 0.000 % |
551.97/551.96 c | 237956 | 1698 269831 1187407 | 2147483647 237956 88 | 0.000 % |
554.87/554.82 c | 238676 | 1698 269831 1187407 | 2147483647 238676 87 | 0.000 % |
558.37/558.39 c | 239469 | 1698 269831 1187407 | 2147483647 239469 87 | 0.000 % |
562.17/562.11 c | 240348 | 1698 269831 1187407 | 2147483647 240348 87 | 0.000 % |
566.17/566.18 c | 241307 | 1698 269831 1187407 | 2147483647 241307 87 | 0.000 % |
569.27/569.24 c | 242364 | 1698 269831 1187407 | 2147483647 242364 87 | 0.000 % |
573.07/573.10 c | 243522 | 1698 269831 1187407 | 2147483647 243522 87 | 0.000 % |
578.27/578.29 c | 244796 | 1698 269831 1187407 | 2147483647 244796 87 | 0.000 % |
585.07/585.03 c | 246198 | 1698 269831 1187407 | 2147483647 246198 87 | 0.000 % |
592.17/592.19 c | 247739 | 1698 269831 1187407 | 2147483647 247739 87 | 0.000 % |
599.78/599.80 c | 249433 | 1698 269831 1187407 | 2147483647 249433 87 | 0.000 % |
605.68/605.71 c | 251297 | 1698 269831 1187407 | 2147483647 251297 86 | 0.000 % |
612.68/612.71 c | 253346 | 1698 269831 1187407 | 2147483647 253346 86 | 0.000 % |
619.28/619.24 c | 255599 | 1698 269831 1187407 | 2147483647 255599 87 | 0.000 % |
625.68/625.63 c | 258077 | 1698 269831 1187407 | 2147483647 258077 87 | 0.000 % |
626.18/626.17 c | 258183 | 1698 269831 1187407 | 2147483647 258183 87 | 0.000 % |
626.88/626.83 c | 258293 | 1698 269831 1187407 | 2147483647 258293 87 | 0.000 % |
627.38/627.41 c | 258415 | 1698 269831 1187407 | 2147483647 258415 87 | 0.000 % |
627.78/627.72 c | 258548 | 1698 269831 1187407 | 2147483647 258548 87 | 0.000 % |
628.28/628.31 c | 258694 | 1698 269831 1187407 | 2147483647 258694 87 | 0.000 % |
629.18/629.20 c | 258856 | 1698 269831 1187407 | 2147483647 258856 87 | 0.000 % |
629.98/629.96 c | 259034 | 1698 269831 1187407 | 2147483647 259034 87 | 0.000 % |
630.88/630.86 c | 259231 | 1698 269831 1187407 | 2147483647 259231 87 | 0.000 % |
631.48/631.48 c | 259445 | 1698 269831 1187407 | 2147483647 259445 87 | 0.000 % |
632.38/632.41 c | 259679 | 1698 269831 1187407 | 2147483647 259679 87 | 0.000 % |
633.88/633.86 c | 259937 | 1698 269831 1187407 | 2147483647 259937 87 | 0.000 % |
634.98/634.97 c | 260218 | 1698 269831 1187407 | 2147483647 260218 87 | 0.000 % |
635.88/635.87 c | 260527 | 1698 269831 1187407 | 2147483647 260527 87 | 0.000 % |
637.18/637.18 c | 260866 | 1698 269831 1187407 | 2147483647 260866 87 | 0.000 % |
638.38/638.36 c | 261238 | 1698 269831 1187407 | 2147483647 261238 87 | 0.000 % |
640.18/640.14 c | 261653 | 1698 269831 1187407 | 2147483647 261653 87 | 0.000 % |
641.98/641.98 c | 262102 | 1698 269831 1187407 | 2147483647 262102 87 | 0.000 % |
643.48/643.49 c | 262597 | 1698 269831 1187407 | 2147483647 262597 87 | 0.000 % |
646.18/646.17 c | 263139 | 1698 269831 1187407 | 2147483647 263139 87 | 0.000 % |
647.99/647.98 c | 263738 | 1698 269831 1187407 | 2147483647 263738 87 | 0.000 % |
650.98/650.94 c | 264395 | 1698 269831 1187407 | 2147483647 264395 87 | 0.000 % |
654.18/654.15 c | 265118 | 1698 269831 1187407 | 2147483647 265118 87 | 0.000 % |
657.68/657.61 c | 265912 | 1698 269831 1187407 | 2147483647 265912 87 | 0.000 % |
661.58/661.56 c | 266783 | 1698 269831 1187407 | 2147483647 266783 87 | 0.000 % |
666.28/666.23 c | 267741 | 1698 269831 1187407 | 2147483647 267741 87 | 0.000 % |
671.08/671.05 c | 268794 | 1698 269831 1187407 | 2147483647 268794 86 | 0.000 % |
676.27/676.27 c | 269953 | 1698 269831 1187407 | 2147483647 269953 86 | 0.000 % |
681.68/681.68 c | 271227 | 1698 269831 1187407 | 2147483647 271227 86 | 0.000 % |
687.58/687.61 c | 272627 | 1698 269831 1187407 | 2147483647 272627 86 | 0.000 % |
693.08/693.09 c | 274168 | 1698 269831 1187407 | 2147483647 274168 86 | 0.000 % |
697.58/697.51 c | 275864 | 1698 269831 1187407 | 2147483647 275864 85 | 0.000 % |
701.58/701.60 c | 277728 | 1698 269831 1187407 | 2147483647 277728 85 | 0.000 % |
710.88/710.83 c | 279781 | 1698 269831 1187407 | 2147483647 279781 85 | 0.000 % |
721.68/721.62 c | 282035 | 1698 269831 1187407 | 2147483647 282035 85 | 0.000 % |
730.48/730.40 c | 284513 | 1698 269831 1187407 | 2147483647 284513 85 | 0.000 % |
741.08/741.05 c | 287238 | 1698 269831 1187407 | 2147483647 287238 85 | 0.000 % |
741.38/741.39 c | 287339 | 1698 269831 1187407 | 2147483647 287339 85 | 0.000 % |
741.98/741.93 c | 287451 | 1698 269831 1187407 | 2147483647 287451 85 | 0.000 % |
742.59/742.58 c | 287575 | 1698 269831 1187407 | 2147483647 287575 85 | 0.000 % |
743.48/743.41 c | 287709 | 1698 269831 1187407 | 2147483647 287709 86 | 0.000 % |
744.28/744.29 c | 287855 | 1698 269831 1187407 | 2147483647 287855 86 | 0.000 % |
745.08/745.01 c | 288015 | 1698 269831 1187407 | 2147483647 288015 86 | 0.000 % |
746.18/746.17 c | 288192 | 1698 269831 1187407 | 2147483647 288192 86 | 0.000 % |
746.78/746.76 c | 288386 | 1698 269831 1187407 | 2147483647 288386 85 | 0.000 % |
747.88/747.81 c | 288598 | 1698 269831 1187407 | 2147483647 288598 85 | 0.000 % |
748.78/748.74 c | 288832 | 1698 269831 1187407 | 2147483647 288832 86 | 0.000 % |
750.18/750.19 c | 289088 | 1698 269831 1187407 | 2147483647 289088 86 | 0.000 % |
751.68/751.70 c | 289369 | 1698 269831 1187407 | 2147483647 289369 86 | 0.000 % |
752.88/752.86 c | 289678 | 1698 269831 1187407 | 2147483647 289678 86 | 0.000 % |
754.18/754.13 c | 290018 | 1698 269831 1187407 | 2147483647 290018 86 | 0.000 % |
755.68/755.62 c | 290390 | 1698 269831 1187407 | 2147483647 290390 86 | 0.000 % |
757.38/757.37 c | 290800 | 1698 269831 1187407 | 2147483647 290800 86 | 0.000 % |
759.68/759.60 c | 291251 | 1698 269831 1187407 | 2147483647 291251 86 | 0.000 % |
761.08/761.08 c | 291745 | 1698 269831 1187407 | 2147483647 291745 86 | 0.000 % |
762.69/762.64 c | 292290 | 1698 269831 1187407 | 2147483647 292290 86 | 0.000 % |
765.79/765.71 c | 292886 | 1698 269831 1187407 | 2147483647 292886 86 | 0.000 % |
768.69/768.64 c | 293541 | 1698 269831 1187407 | 2147483647 293541 85 | 0.000 % |
771.19/771.21 c | 294261 | 1698 269831 1187407 | 2147483647 294261 86 | 0.000 % |
775.49/775.41 c | 295057 | 1698 269831 1187407 | 2147483647 295057 86 | 0.000 % |
778.89/778.84 c | 295929 | 1698 269831 1187407 | 2147483647 295929 86 | 0.000 % |
784.09/784.01 c | 296888 | 1698 269831 1187407 | 2147483647 296888 86 | 0.000 % |
788.59/788.57 c | 297943 | 1698 269831 1187407 | 2147483647 297943 86 | 0.000 % |
792.39/792.34 c | 299102 | 1698 269831 1187407 | 2147483647 299102 86 | 0.000 % |
798.09/798.10 c | 300375 | 1698 269831 1187407 | 2147483647 300375 86 | 0.000 % |
801.69/801.64 c | 301775 | 1698 269831 1187407 | 2147483647 301775 86 | 0.000 % |
808.59/808.56 c | 303315 | 1698 269831 1187407 | 2147483647 303315 86 | 0.000 % |
815.09/815.08 c | 305010 | 1698 269831 1187407 | 2147483647 305010 86 | 0.000 % |
823.79/823.78 c | 306873 | 1698 269831 1187407 | 2147483647 306873 86 | 0.000 % |
831.49/831.45 c | 308922 | 1698 269831 1187407 | 2147483647 308922 86 | 0.000 % |
844.00/844.00 c | 311178 | 1698 269831 1187407 | 2147483647 311178 86 | 0.000 % |
857.00/856.96 c | 313657 | 1698 269831 1187407 | 2147483647 313657 86 | 0.000 % |
871.10/871.02 c | 316382 | 1698 269831 1187407 | 2147483647 316382 85 | 0.000 % |
886.30/886.21 c | 319383 | 1698 269831 1187407 | 2147483647 319383 85 | 0.000 % |
886.80/886.79 c | 319483 | 1698 269831 1187407 | 2147483647 319483 85 | 0.000 % |
887.50/887.44 c | 319593 | 1698 269831 1187407 | 2147483647 319593 85 | 0.000 % |
888.40/888.31 c | 319714 | 1698 269831 1187407 | 2147483647 319714 85 | 0.000 % |
889.30/889.31 c | 319847 | 1698 269831 1187407 | 2147483647 319847 85 | 0.000 % |
890.00/889.95 c | 319995 | 1698 269831 1187407 | 2147483647 319995 85 | 0.000 % |
890.50/890.45 c | 320157 | 1698 269831 1187407 | 2147483647 320157 85 | 0.000 % |
891.30/891.30 c | 320333 | 1698 269831 1187407 | 2147483647 320333 85 | 0.000 % |
892.00/892.00 c | 320529 | 1698 269831 1187407 | 2147483647 320529 85 | 0.000 % |
893.20/893.12 c | 320743 | 1698 269831 1187407 | 2147483647 320743 85 | 0.000 % |
894.10/894.07 c | 320978 | 1698 269831 1187407 | 2147483647 320978 85 | 0.000 % |
895.30/895.26 c | 321235 | 1698 269831 1187407 | 2147483647 321235 85 | 0.000 % |
896.61/896.58 c | 321516 | 1698 269831 1187407 | 2147483647 321516 85 | 0.000 % |
898.10/898.03 c | 321825 | 1698 269831 1187407 | 2147483647 321825 85 | 0.000 % |
899.80/899.76 c | 322165 | 1698 269831 1187407 | 2147483647 322165 85 | 0.000 % |
901.01/900.93 c | 322537 | 1698 269831 1187407 | 2147483647 322537 85 | 0.000 % |
903.00/902.94 c | 322947 | 1698 269831 1187407 | 2147483647 322947 85 | 0.000 % |
905.70/905.66 c | 323397 | 1698 269831 1187407 | 2147483647 323397 85 | 0.000 % |
907.20/907.12 c | 323891 | 1698 269831 1187407 | 2147483647 323891 85 | 0.000 % |
910.30/910.23 c | 324434 | 1698 269831 1187407 | 2147483647 324434 85 | 0.000 % |
912.50/912.42 c | 325032 | 1698 269831 1187407 | 2147483647 325032 85 | 0.000 % |
916.00/915.92 c | 325687 | 1698 269831 1187407 | 2147483647 325687 85 | 0.000 % |
918.20/918.15 c | 326409 | 1698 269831 1187407 | 2147483647 326409 85 | 0.000 % |
921.30/921.25 c | 327201 | 1698 269831 1187407 | 2147483647 327201 85 | 0.000 % |
924.40/924.36 c | 328072 | 1698 269831 1187407 | 2147483647 328072 86 | 0.000 % |
929.81/929.74 c | 329033 | 1698 269831 1187407 | 2147483647 329033 86 | 0.000 % |
937.11/937.05 c | 330086 | 1698 269831 1187407 | 2147483647 330086 86 | 0.000 % |
942.61/942.54 c | 331246 | 1698 269831 1187407 | 2147483647 331246 86 | 0.000 % |
948.61/948.57 c | 332522 | 1698 269831 1187407 | 2147483647 332522 86 | 0.000 % |
957.51/957.46 c | 333922 | 1698 269831 1187407 | 2147483647 333922 86 | 0.000 % |
965.21/965.14 c | 335463 | 1698 269831 1187407 | 2147483647 335463 86 | 0.000 % |
974.41/974.34 c | 337160 | 1698 269831 1187407 | 2147483647 337160 85 | 0.000 % |
984.31/984.26 c | 339025 | 1698 269831 1187407 | 2147483647 339025 85 | 0.000 % |
995.41/995.39 c | 341076 | 1698 269831 1187407 | 2147483647 341076 85 | 0.000 % |
1005.41/1005.41 c | 343329 | 1698 269831 1187407 | 2147483647 343329 86 | 0.000 % |
1018.42/1018.38 c | 345807 | 1698 269831 1187407 | 2147483647 345807 86 | 0.000 % |
1030.31/1030.22 c | 348536 | 1698 269831 1187407 | 2147483647 348536 86 | 0.000 % |
1048.01/1047.90 c | 351535 | 1698 269831 1187407 | 2147483647 351535 86 | 0.000 % |
1069.32/1069.22 c | 354831 | 1698 269831 1187407 | 2147483647 354831 86 | 0.000 % |
1069.91/1069.89 c | 354931 | 1698 269831 1187407 | 2147483647 354931 86 | 0.000 % |
1070.51/1070.49 c | 355041 | 1698 269831 1187407 | 2147483647 355041 86 | 0.000 % |
1071.41/1071.40 c | 355162 | 1698 269831 1187407 | 2147483647 355162 86 | 0.000 % |
1072.31/1072.24 c | 355296 | 1698 269831 1187407 | 2147483647 355296 86 | 0.000 % |
1073.41/1073.32 c | 355442 | 1698 269831 1187407 | 2147483647 355442 86 | 0.000 % |
1074.11/1074.06 c | 355602 | 1698 269831 1187407 | 2147483647 355602 86 | 0.000 % |
1075.11/1075.01 c | 355779 | 1698 269831 1187407 | 2147483647 355779 86 | 0.000 % |
1075.92/1075.84 c | 355972 | 1698 269831 1187407 | 2147483647 355972 86 | 0.000 % |
1076.91/1076.85 c | 356184 | 1698 269831 1187407 | 2147483647 356184 86 | 0.000 % |
1077.91/1077.81 c | 356417 | 1698 269831 1187407 | 2147483647 356417 86 | 0.000 % |
1079.11/1079.02 c | 356673 | 1698 269831 1187407 | 2147483647 356673 86 | 0.000 % |
1080.51/1080.48 c | 356956 | 1698 269831 1187407 | 2147483647 356956 86 | 0.000 % |
1082.11/1082.02 c | 357267 | 1698 269831 1187407 | 2147483647 357267 86 | 0.000 % |
1083.21/1083.15 c | 357608 | 1698 269831 1187407 | 2147483647 357608 86 | 0.000 % |
1084.31/1084.26 c | 357981 | 1698 269831 1187407 | 2147483647 357981 86 | 0.000 % |
1086.11/1086.07 c | 358390 | 1698 269831 1187407 | 2147483647 358390 86 | 0.000 % |
1088.61/1088.56 c | 358840 | 1698 269831 1187407 | 2147483647 358840 86 | 0.000 % |
1090.11/1090.05 c | 359334 | 1698 269831 1187407 | 2147483647 359334 86 | 0.000 % |
1091.42/1091.40 c | 359878 | 1698 269831 1187407 | 2147483647 359878 86 | 0.000 % |
1092.62/1092.56 c | 360474 | 1698 269831 1187407 | 2147483647 360474 86 | 0.000 % |
1094.12/1094.09 c | 361130 | 1698 269831 1187407 | 2147483647 361130 86 | 0.000 % |
1095.72/1095.64 c | 361850 | 1698 269831 1187407 | 2147483647 361850 86 | 0.000 % |
1097.42/1097.40 c | 362642 | 1698 269831 1187407 | 2147483647 362642 86 | 0.000 % |
1099.32/1099.25 c | 363513 | 1698 269831 1187407 | 2147483647 363513 86 | 0.000 % |
1103.72/1103.67 c | 364473 | 1698 269831 1187407 | 2147483647 364473 87 | 0.000 % |
1110.32/1110.21 c | 365530 | 1698 269831 1187407 | 2147483647 365530 87 | 0.000 % |
1117.22/1117.14 c | 366688 | 1698 269831 1187407 | 2147483647 366688 87 | 0.000 % |
1124.42/1124.30 c | 367963 | 1698 269831 1187407 | 2147483647 367963 87 | 0.000 % |
1132.42/1132.31 c | 369363 | 1698 269831 1187407 | 2147483647 369363 86 | 0.000 % |
1140.42/1140.39 c | 370903 | 1698 269831 1187407 | 2147483647 370903 86 | 0.000 % |
1150.02/1149.99 c | 372599 | 1698 269831 1187407 | 2147483647 372599 86 | 0.000 % |
1156.62/1156.52 c | 374463 | 1698 269831 1187407 | 2147483647 374463 86 | 0.000 % |
1165.82/1165.73 c | 376513 | 1698 269831 1187407 | 2147483647 376513 86 | 0.000 % |
1182.64/1182.59 c | 378768 | 1698 269831 1187407 | 2147483647 378768 86 | 0.000 % |
1199.64/1199.61 c | 381246 | 1698 269831 1187407 | 2147483647 381246 86 | 0.000 % |
1200.04/1199.93 HOME/SatELiteGTI: line 36: 26504 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-1821778-1242563895/watcher-1821778-1242563895 -o /tmp/evaluation-result-1821778-1242563895/solver-1821778-1242563895 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821778-1242563895.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: 0.92 1.00 0.99 2/93 26498
/proc/meminfo: memFree=447480/2074464 swapFree=1951864/1959888
[pid=26498] ppid=26496 vsize=2416 CPUtime=0
/proc/26498/stat : 26498 (SatELiteGTI) S 26496 26498 20977 0 -1 4194304 366 648 0 0 0 0 0 0 25 0 1 0 1020890589 2473984 277 4294967295 134512640 135169312 3216080480 3216079016 3085156078 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/26498/statm: 604 277 235 161 0 43 0
[pid=26502] ppid=26498 vsize=948 CPUtime=0
/proc/26502/stat : 26502 (SatELite_releas) R 26498 26498 20977 0 -1 4202496 113 0 0 0 0 0 0 0 25 0 1 0 1020890589 970752 49 4294967295 134512640 135223648 3221144352 3221143256 134736942 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26502/statm: 238 53 44 174 0 63 0
[startup+0.049227 s]
/proc/loadavg: 0.92 1.00 0.99 2/93 26498
/proc/meminfo: memFree=447480/2074464 swapFree=1951864/1959888
[pid=26498] ppid=26496 vsize=2416 CPUtime=0
/proc/26498/stat : 26498 (SatELiteGTI) S 26496 26498 20977 0 -1 4194304 366 648 0 0 0 0 0 0 25 0 1 0 1020890589 2473984 277 4294967295 134512640 135169312 3216080480 3216079016 3085156078 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/26498/statm: 604 277 235 161 0 43 0
[pid=26502] ppid=26498 vsize=5352 CPUtime=0.05
/proc/26502/stat : 26502 (SatELite_releas) R 26498 26498 20977 0 -1 4202496 1168 0 0 0 4 1 0 0 25 0 1 0 1020890589 5480448 1104 4294967295 134512640 135223648 3221144352 3221142920 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26502/statm: 1338 1105 46 174 0 1163 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 7768
[startup+0.109221 s]
/proc/loadavg: 0.92 1.00 0.99 2/93 26498
/proc/meminfo: memFree=447480/2074464 swapFree=1951864/1959888
[pid=26498] ppid=26496 vsize=2416 CPUtime=0
/proc/26498/stat : 26498 (SatELiteGTI) S 26496 26498 20977 0 -1 4194304 366 648 0 0 0 0 0 0 25 0 1 0 1020890589 2473984 277 4294967295 134512640 135169312 3216080480 3216079016 3085156078 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/26498/statm: 604 277 235 161 0 43 0
[pid=26502] ppid=26498 vsize=9960 CPUtime=0.11
/proc/26502/stat : 26502 (SatELite_releas) R 26498 26498 20977 0 -1 4202496 2286 0 0 0 8 3 0 0 25 0 1 0 1020890589 10199040 2222 4294967295 134512640 135223648 3221144352 3221143304 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26502/statm: 2490 2222 46 174 0 2315 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 12376
[startup+0.3092 s]
/proc/loadavg: 0.92 1.00 0.99 2/93 26498
/proc/meminfo: memFree=447480/2074464 swapFree=1951864/1959888
[pid=26498] ppid=26496 vsize=2416 CPUtime=0
/proc/26498/stat : 26498 (SatELiteGTI) S 26496 26498 20977 0 -1 4194304 366 648 0 0 0 0 0 0 25 0 1 0 1020890589 2473984 277 4294967295 134512640 135169312 3216080480 3216079016 3085156078 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/26498/statm: 604 277 235 161 0 43 0
[pid=26502] ppid=26498 vsize=21616 CPUtime=0.31
/proc/26502/stat : 26502 (SatELite_releas) R 26498 26498 20977 0 -1 4202496 5050 0 0 0 28 3 0 0 25 0 1 0 1020890589 22134784 4986 4294967295 134512640 135223648 3221144352 3221142352 134548152 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26502/statm: 5404 4986 73 174 0 5229 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 24032
[startup+0.709161 s]
/proc/loadavg: 0.92 1.00 0.99 2/93 26498
/proc/meminfo: memFree=447480/2074464 swapFree=1951864/1959888
[pid=26498] ppid=26496 vsize=2416 CPUtime=0
/proc/26498/stat : 26498 (SatELiteGTI) S 26496 26498 20977 0 -1 4194304 366 648 0 0 0 0 0 0 25 0 1 0 1020890589 2473984 277 4294967295 134512640 135169312 3216080480 3216079016 3085156078 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/26498/statm: 604 277 235 161 0 43 0
[pid=26502] ppid=26498 vsize=23780 CPUtime=0.71
/proc/26502/stat : 26502 (SatELite_releas) R 26498 26498 20977 0 -1 4202496 5575 0 0 0 68 3 0 0 25 0 1 0 1020890589 24350720 5511 4294967295 134512640 135223648 3221144352 3221142304 134564207 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26502/statm: 5945 5511 73 174 0 5770 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 26196
[startup+1.50908 s]
/proc/loadavg: 0.92 1.00 0.99 3/95 26503
/proc/meminfo: memFree=423796/2074464 swapFree=1951864/1959888
[pid=26498] ppid=26496 vsize=2416 CPUtime=0
/proc/26498/stat : 26498 (SatELiteGTI) S 26496 26498 20977 0 -1 4194304 366 648 0 0 0 0 0 0 25 0 1 0 1020890589 2473984 277 4294967295 134512640 135169312 3216080480 3216079016 3085156078 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/26498/statm: 604 277 235 161 0 43 0
[pid=26502] ppid=26498 vsize=30620 CPUtime=1.51
/proc/26502/stat : 26502 (SatELite_releas) R 26498 26498 20977 0 -1 4202496 6829 0 0 0 148 3 0 0 25 0 1 0 1020890589 31354880 6765 4294967295 134512640 135223648 3221144352 3221142448 134585515 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26502/statm: 7655 6765 73 174 0 7480 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 33036
[startup+3.10893 s]
/proc/loadavg: 0.92 1.00 0.99 3/95 26503
/proc/meminfo: memFree=419704/2074464 swapFree=1951864/1959888
[pid=26498] ppid=26496 vsize=2416 CPUtime=0
/proc/26498/stat : 26498 (SatELiteGTI) S 26496 26498 20977 0 -1 4194304 366 648 0 0 0 0 0 0 25 0 1 0 1020890589 2473984 277 4294967295 134512640 135169312 3216080480 3216079016 3085156078 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/26498/statm: 604 277 235 161 0 43 0
[pid=26502] ppid=26498 vsize=30620 CPUtime=3.11
/proc/26502/stat : 26502 (SatELite_releas) R 26498 26498 20977 0 -1 4202496 6829 0 0 0 308 3 0 0 25 0 1 0 1020890589 31354880 6765 4294967295 134512640 135223648 3221144352 3221142448 134585544 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26502/statm: 7655 6765 73 174 0 7480 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 33036
[startup+6.30861 s]
/proc/loadavg: 0.93 1.00 0.99 3/95 26504
/proc/meminfo: memFree=426028/2074464 swapFree=1951864/1959888
[pid=26498] ppid=26496 vsize=2420 CPUtime=4.12
/proc/26498/stat : 26498 (SatELiteGTI) S 26496 26498 20977 0 -1 4194304 386 7480 0 0 0 0 407 5 18 0 1 0 1020890589 2478080 278 4294967295 134512640 135169312 3216080480 3216076696 3085156078 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26498/statm: 605 278 235 161 0 44 0
[pid=26504] ppid=26498 vsize=16012 CPUtime=2.19
/proc/26504/stat : 26504 (minisat_static) R 26498 26498 20977 0 -1 4202496 3897 0 0 0 215 4 0 0 25 0 1 0 1020891001 16396288 3831 4294967295 134512640 135215339 3214140640 3214138928 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26504/statm: 4003 3831 73 172 0 3830 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 18432
[startup+12.708 s]
/proc/loadavg: 0.93 1.00 0.99 3/95 26504
/proc/meminfo: memFree=423380/2074464 swapFree=1951864/1959888
[pid=26498] ppid=26496 vsize=2420 CPUtime=4.12
/proc/26498/stat : 26498 (SatELiteGTI) S 26496 26498 20977 0 -1 4194304 386 7480 0 0 0 0 407 5 18 0 1 0 1020890589 2478080 278 4294967295 134512640 135169312 3216080480 3216076696 3085156078 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26498/statm: 605 278 235 161 0 44 0
[pid=26504] ppid=26498 vsize=18396 CPUtime=8.59
/proc/26504/stat : 26504 (minisat_static) R 26498 26498 20977 0 -1 4202496 4489 0 0 0 854 5 0 0 25 0 1 0 1020891001 18837504 4423 4294967295 134512640 135215339 3214140640 3214138928 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26504/statm: 4599 4423 73 172 0 4426 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 20816
[startup+25.5167 s]
/proc/loadavg: 0.95 1.00 0.99 3/95 26504
/proc/meminfo: memFree=419384/2074464 swapFree=1951864/1959888
[pid=26498] ppid=26496 vsize=2420 CPUtime=4.12
/proc/26498/stat : 26498 (SatELiteGTI) S 26496 26498 20977 0 -1 4194304 386 7480 0 0 0 0 407 5 18 0 1 0 1020890589 2478080 278 4294967295 134512640 135169312 3216080480 3216076696 3085156078 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26498/statm: 605 278 235 161 0 44 0
[pid=26504] ppid=26498 vsize=22272 CPUtime=21.4
/proc/26504/stat : 26504 (minisat_static) R 26498 26498 20977 0 -1 4202496 5480 0 0 0 2134 6 0 0 25 0 1 0 1020891001 22806528 5414 4294967295 134512640 135215339 3214140640 3214138928 134528884 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26504/statm: 5568 5414 73 172 0 5395 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 24692
[startup+51.1142 s]
/proc/loadavg: 0.96 1.00 0.99 3/95 26506
/proc/meminfo: memFree=411440/2074464 swapFree=1951864/1959888
[pid=26498] ppid=26496 vsize=2420 CPUtime=4.12
/proc/26498/stat : 26498 (SatELiteGTI) S 26496 26498 20977 0 -1 4194304 386 7480 0 0 0 0 407 5 18 0 1 0 1020890589 2478080 278 4294967295 134512640 135169312 3216080480 3216076696 3085156078 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26498/statm: 605 278 235 161 0 44 0
[pid=26504] ppid=26498 vsize=30264 CPUtime=47
/proc/26504/stat : 26504 (minisat_static) R 26498 26498 20977 0 -1 4202496 7467 0 0 0 4694 6 0 0 25 0 1 0 1020891001 30990336 7401 4294967295 134512640 135215339 3214140640 3214138928 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26504/statm: 7566 7401 73 172 0 7393 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 32684
[startup+102.319 s]
/proc/loadavg: 0.98 1.00 0.99 3/95 26693
/proc/meminfo: memFree=400948/2074464 swapFree=1951864/1959888
[pid=26498] ppid=26496 vsize=2420 CPUtime=4.12
/proc/26498/stat : 26498 (SatELiteGTI) S 26496 26498 20977 0 -1 4194304 386 7480 0 0 0 0 407 5 18 0 1 0 1020890589 2478080 278 4294967295 134512640 135169312 3216080480 3216076696 3085156078 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26498/statm: 605 278 235 161 0 44 0
[pid=26504] ppid=26498 vsize=40436 CPUtime=98.21
/proc/26504/stat : 26504 (minisat_static) R 26498 26498 20977 0 -1 4202496 9962 0 0 0 9811 10 0 0 25 0 1 0 1020891001 41406464 9896 4294967295 134512640 135215339 3214140640 3214138928 134528824 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26504/statm: 10109 9896 73 172 0 9936 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 42856
[startup+162.313 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 26882
/proc/meminfo: memFree=388104/2074464 swapFree=1951864/1959888
[pid=26498] ppid=26496 vsize=2420 CPUtime=4.12
/proc/26498/stat : 26498 (SatELiteGTI) S 26496 26498 20977 0 -1 4194304 386 7480 0 0 0 0 407 5 18 0 1 0 1020890589 2478080 278 4294967295 134512640 135169312 3216080480 3216076696 3085156078 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26498/statm: 605 278 235 161 0 44 0
[pid=26504] ppid=26498 vsize=53664 CPUtime=158.21
/proc/26504/stat : 26504 (minisat_static) R 26498 26498 20977 0 -1 4202496 13254 0 0 0 15809 12 0 0 25 0 1 0 1020891001 54951936 13188 4294967295 134512640 135215339 3214140640 3214138928 134528884 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26504/statm: 13416 13188 73 172 0 13243 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 56084
[startup+222.317 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 27073
/proc/meminfo: memFree=375804/2074464 swapFree=1951864/1959888
[pid=26498] ppid=26496 vsize=2420 CPUtime=4.12
/proc/26498/stat : 26498 (SatELiteGTI) S 26496 26498 20977 0 -1 4194304 386 7480 0 0 0 0 407 5 18 0 1 0 1020890589 2478080 278 4294967295 134512640 135169312 3216080480 3216076696 3085156078 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26498/statm: 605 278 235 161 0 44 0
[pid=26504] ppid=26498 vsize=65184 CPUtime=218.22
/proc/26504/stat : 26504 (minisat_static) R 26498 26498 20977 0 -1 4202496 16142 0 0 0 21805 17 0 0 25 0 1 0 1020891001 66748416 16076 4294967295 134512640 135215339 3214140640 3214138704 134538481 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26504/statm: 16296 16076 73 172 0 16123 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 67604
[startup+282.322 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 27260
/proc/meminfo: memFree=367884/2074464 swapFree=1951864/1959888
[pid=26498] ppid=26496 vsize=2420 CPUtime=4.12
/proc/26498/stat : 26498 (SatELiteGTI) S 26496 26498 20977 0 -1 4194304 386 7480 0 0 0 0 407 5 18 0 1 0 1020890589 2478080 278 4294967295 134512640 135169312 3216080480 3216076696 3085156078 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26498/statm: 605 278 235 161 0 44 0
[pid=26504] ppid=26498 vsize=73564 CPUtime=278.23
/proc/26504/stat : 26504 (minisat_static) R 26498 26498 20977 0 -1 4202496 18171 0 0 0 27804 19 0 0 25 0 1 0 1020891001 75329536 18105 4294967295 134512640 135215339 3214140640 3214138928 134529085 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26504/statm: 18391 18105 73 172 0 18218 0
Current children cumulated CPU time (s) 282.35
Current children cumulated vsize (KiB) 75984
[startup+342.306 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 27451
/proc/meminfo: memFree=357956/2074464 swapFree=1951864/1959888
[pid=26498] ppid=26496 vsize=2420 CPUtime=4.12
/proc/26498/stat : 26498 (SatELiteGTI) S 26496 26498 20977 0 -1 4194304 386 7480 0 0 0 0 407 5 18 0 1 0 1020890589 2478080 278 4294967295 134512640 135169312 3216080480 3216076696 3085156078 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26498/statm: 605 278 235 161 0 44 0
[pid=26504] ppid=26498 vsize=83376 CPUtime=338.22
/proc/26504/stat : 26504 (minisat_static) R 26498 26498 20977 0 -1 4202496 20651 0 0 0 33799 23 0 0 25 0 1 0 1020891001 85377024 20585 4294967295 134512640 135215339 3214140640 3214138928 134528776 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26504/statm: 20844 20585 73 172 0 20671 0
Current children cumulated CPU time (s) 342.34
################
# More data... #
################
/proc/26498/statm: 605 278 235 161 0 44 0
[pid=26504] ppid=26498 vsize=107884 CPUtime=518.25
/proc/26504/stat : 26504 (minisat_static) R 26498 26498 20977 0 -1 4202496 26641 0 0 0 51802 23 0 0 25 0 1 0 1020891001 110473216 26575 4294967295 134512640 135215339 3214140640 3214138928 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26504/statm: 26971 26575 73 172 0 26798 0
Current children cumulated CPU time (s) 522.37
Current children cumulated vsize (KiB) 110304
[startup+582.312 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 28201
/proc/meminfo: memFree=328188/2074464 swapFree=1951864/1959888
[pid=26498] ppid=26496 vsize=2420 CPUtime=4.12
/proc/26498/stat : 26498 (SatELiteGTI) S 26496 26498 20977 0 -1 4194304 386 7480 0 0 0 0 407 5 18 0 1 0 1020890589 2478080 278 4294967295 134512640 135169312 3216080480 3216076696 3085156078 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26498/statm: 605 278 235 161 0 44 0
[pid=26504] ppid=26498 vsize=113196 CPUtime=578.25
/proc/26504/stat : 26504 (minisat_static) R 26498 26498 20977 0 -1 4202496 28005 0 0 0 57801 24 0 0 25 0 1 0 1020891001 115912704 27939 4294967295 134512640 135215339 3214140640 3214138928 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26504/statm: 28299 27939 73 172 0 28126 0
Current children cumulated CPU time (s) 582.37
Current children cumulated vsize (KiB) 115616
[startup+642.316 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 28394
/proc/meminfo: memFree=321004/2074464 swapFree=1951864/1959888
[pid=26498] ppid=26496 vsize=2420 CPUtime=4.12
/proc/26498/stat : 26498 (SatELiteGTI) S 26496 26498 20977 0 -1 4194304 386 7480 0 0 0 0 407 5 18 0 1 0 1020890589 2478080 278 4294967295 134512640 135169312 3216080480 3216076696 3085156078 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26498/statm: 605 278 235 161 0 44 0
[pid=26504] ppid=26498 vsize=120320 CPUtime=638.26
/proc/26504/stat : 26504 (minisat_static) R 26498 26498 20977 0 -1 4202496 29745 0 0 0 63800 26 0 0 25 0 1 0 1020891001 123207680 29679 4294967295 134512640 135215339 3214140640 3214138928 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26504/statm: 30080 29679 73 172 0 29907 0
Current children cumulated CPU time (s) 642.38
Current children cumulated vsize (KiB) 122740
[startup+702.31 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 28581
/proc/meminfo: memFree=316928/2074464 swapFree=1951864/1959888
[pid=26498] ppid=26496 vsize=2420 CPUtime=4.12
/proc/26498/stat : 26498 (SatELiteGTI) S 26496 26498 20977 0 -1 4194304 386 7480 0 0 0 0 407 5 18 0 1 0 1020890589 2478080 278 4294967295 134512640 135169312 3216080480 3216076696 3085156078 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26498/statm: 605 278 235 161 0 44 0
[pid=26504] ppid=26498 vsize=124388 CPUtime=698.26
/proc/26504/stat : 26504 (minisat_static) R 26498 26498 20977 0 -1 4202496 30784 0 0 0 69797 29 0 0 25 0 1 0 1020891001 127373312 30718 4294967295 134512640 135215339 3214140640 3214138928 134528788 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26504/statm: 31097 30718 73 172 0 30924 0
Current children cumulated CPU time (s) 702.38
Current children cumulated vsize (KiB) 126808
[startup+762.314 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 28770
/proc/meminfo: memFree=311092/2074464 swapFree=1951864/1959888
[pid=26498] ppid=26496 vsize=2420 CPUtime=4.12
/proc/26498/stat : 26498 (SatELiteGTI) S 26496 26498 20977 0 -1 4194304 386 7480 0 0 0 0 407 5 18 0 1 0 1020890589 2478080 278 4294967295 134512640 135169312 3216080480 3216076696 3085156078 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26498/statm: 605 278 235 161 0 44 0
[pid=26504] ppid=26498 vsize=130296 CPUtime=758.27
/proc/26504/stat : 26504 (minisat_static) R 26498 26498 20977 0 -1 4202496 32252 0 0 0 75798 29 0 0 25 0 1 0 1020891001 133423104 32186 4294967295 134512640 135215339 3214140640 3214138928 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26504/statm: 32574 32186 73 172 0 32401 0
Current children cumulated CPU time (s) 762.39
Current children cumulated vsize (KiB) 132716
[startup+822.309 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 28957
/proc/meminfo: memFree=305272/2074464 swapFree=1951864/1959888
[pid=26498] ppid=26496 vsize=2420 CPUtime=4.12
/proc/26498/stat : 26498 (SatELiteGTI) S 26496 26498 20977 0 -1 4194304 386 7480 0 0 0 0 407 5 18 0 1 0 1020890589 2478080 278 4294967295 134512640 135169312 3216080480 3216076696 3085156078 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26498/statm: 605 278 235 161 0 44 0
[pid=26504] ppid=26498 vsize=136260 CPUtime=818.27
/proc/26504/stat : 26504 (minisat_static) R 26498 26498 20977 0 -1 4202496 33749 0 0 0 81794 33 0 0 25 0 1 0 1020891001 139530240 33683 4294967295 134512640 135215339 3214140640 3214138928 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26504/statm: 34065 33683 73 172 0 33892 0
Current children cumulated CPU time (s) 822.39
Current children cumulated vsize (KiB) 138680
[startup+882.313 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 29144
/proc/meminfo: memFree=301660/2074464 swapFree=1951864/1959888
[pid=26498] ppid=26496 vsize=2420 CPUtime=4.12
/proc/26498/stat : 26498 (SatELiteGTI) S 26496 26498 20977 0 -1 4194304 386 7480 0 0 0 0 407 5 18 0 1 0 1020890589 2478080 278 4294967295 134512640 135169312 3216080480 3216076696 3085156078 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26498/statm: 605 278 235 161 0 44 0
[pid=26504] ppid=26498 vsize=140120 CPUtime=878.28
/proc/26504/stat : 26504 (minisat_static) R 26498 26498 20977 0 -1 4202496 34570 0 0 0 87795 33 0 0 25 0 1 0 1020891001 143482880 34504 4294967295 134512640 135215339 3214140640 3214138928 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26504/statm: 35030 34504 73 172 0 34857 0
Current children cumulated CPU time (s) 882.4
Current children cumulated vsize (KiB) 142540
[startup+942.317 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 29333
/proc/meminfo: memFree=296344/2074464 swapFree=1951864/1959888
[pid=26498] ppid=26496 vsize=2420 CPUtime=4.12
/proc/26498/stat : 26498 (SatELiteGTI) S 26496 26498 20977 0 -1 4194304 386 7480 0 0 0 0 407 5 18 0 1 0 1020890589 2478080 278 4294967295 134512640 135169312 3216080480 3216076696 3085156078 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26498/statm: 605 278 235 161 0 44 0
[pid=26504] ppid=26498 vsize=145792 CPUtime=938.29
/proc/26504/stat : 26504 (minisat_static) R 26498 26498 20977 0 -1 4202496 35997 0 0 0 93793 36 0 0 25 0 1 0 1020891001 149291008 35931 4294967295 134512640 135215339 3214140640 3214138928 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26504/statm: 36448 35931 73 172 0 36275 0
Current children cumulated CPU time (s) 942.41
Current children cumulated vsize (KiB) 148212
[startup+1002.31 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 29524
/proc/meminfo: memFree=291748/2074464 swapFree=1951864/1959888
[pid=26498] ppid=26496 vsize=2420 CPUtime=4.12
/proc/26498/stat : 26498 (SatELiteGTI) S 26496 26498 20977 0 -1 4194304 386 7480 0 0 0 0 407 5 18 0 1 0 1020890589 2478080 278 4294967295 134512640 135169312 3216080480 3216076696 3085156078 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26498/statm: 605 278 235 161 0 44 0
[pid=26504] ppid=26498 vsize=150224 CPUtime=998.29
/proc/26504/stat : 26504 (minisat_static) R 26498 26498 20977 0 -1 4202496 37079 0 0 0 99793 36 0 0 25 0 1 0 1020891001 153829376 37013 4294967295 134512640 135215339 3214140640 3214138928 134528691 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26504/statm: 37556 37013 73 172 0 37383 0
Current children cumulated CPU time (s) 1002.41
Current children cumulated vsize (KiB) 152644
[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 29713
/proc/meminfo: memFree=286788/2074464 swapFree=1951864/1959888
[pid=26498] ppid=26496 vsize=2420 CPUtime=4.12
/proc/26498/stat : 26498 (SatELiteGTI) S 26496 26498 20977 0 -1 4194304 386 7480 0 0 0 0 407 5 18 0 1 0 1020890589 2478080 278 4294967295 134512640 135169312 3216080480 3216076696 3085156078 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26498/statm: 605 278 235 161 0 44 0
[pid=26504] ppid=26498 vsize=155320 CPUtime=1058.29
/proc/26504/stat : 26504 (minisat_static) R 26498 26498 20977 0 -1 4202496 38333 0 0 0 105793 36 0 0 25 0 1 0 1020891001 159047680 38267 4294967295 134512640 135215339 3214140640 3214138928 134529099 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26504/statm: 38830 38267 73 172 0 38657 0
Current children cumulated CPU time (s) 1062.41
Current children cumulated vsize (KiB) 157740
[startup+1122.31 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 29900
/proc/meminfo: memFree=280836/2074464 swapFree=1951864/1959888
[pid=26498] ppid=26496 vsize=2420 CPUtime=4.12
/proc/26498/stat : 26498 (SatELiteGTI) S 26496 26498 20977 0 -1 4194304 386 7480 0 0 0 0 407 5 18 0 1 0 1020890589 2478080 278 4294967295 134512640 135169312 3216080480 3216076696 3085156078 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26498/statm: 605 278 235 161 0 44 0
[pid=26504] ppid=26498 vsize=161180 CPUtime=1118.3
/proc/26504/stat : 26504 (minisat_static) R 26498 26498 20977 0 -1 4202496 39804 0 0 0 111794 36 0 0 25 0 1 0 1020891001 165048320 39738 4294967295 134512640 135215339 3214140640 3214138928 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26504/statm: 40295 39738 73 172 0 40122 0
Current children cumulated CPU time (s) 1122.42
Current children cumulated vsize (KiB) 163600
[startup+1182.32 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 30087
/proc/meminfo: memFree=276876/2074464 swapFree=1951864/1959888
[pid=26498] ppid=26496 vsize=2420 CPUtime=4.12
/proc/26498/stat : 26498 (SatELiteGTI) S 26496 26498 20977 0 -1 4194304 386 7480 0 0 0 0 407 5 18 0 1 0 1020890589 2478080 278 4294967295 134512640 135169312 3216080480 3216076696 3085156078 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26498/statm: 605 278 235 161 0 44 0
[pid=26504] ppid=26498 vsize=165252 CPUtime=1178.32
/proc/26504/stat : 26504 (minisat_static) R 26498 26498 20977 0 -1 4202496 40821 0 0 0 117796 36 0 0 25 0 1 0 1020891001 169218048 40755 4294967295 134512640 135215339 3214140640 3214138928 134528814 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26504/statm: 41313 40755 73 172 0 41140 0
Current children cumulated CPU time (s) 1182.44
Current children cumulated vsize (KiB) 167672
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1199.92 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 30274
/proc/meminfo: memFree=275616/2074464 swapFree=1951864/1959888
[pid=26498] ppid=26496 vsize=2420 CPUtime=4.12
/proc/26498/stat : 26498 (SatELiteGTI) S 26496 26498 20977 0 -1 4194304 386 7480 0 0 0 0 407 5 18 0 1 0 1020890589 2478080 278 4294967295 134512640 135169312 3216080480 3216076696 3085156078 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26498/statm: 605 278 235 161 0 44 0
[pid=26504] ppid=26498 vsize=166244 CPUtime=1195.92
/proc/26504/stat : 26504 (minisat_static) R 26498 26498 20977 0 -1 4202496 41048 0 0 0 119556 36 0 0 25 0 1 0 1020891001 170233856 40982 4294967295 134512640 135215339 3214140640 3214138928 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26504/statm: 41561 40982 73 172 0 41388 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 168664
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1199.92 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 30274
/proc/meminfo: memFree=275616/2074464 swapFree=1951864/1959888
[pid=26498] ppid=26496 vsize=2420 CPUtime=4.12
/proc/26498/stat : 26498 (SatELiteGTI) S 26496 26498 20977 0 -1 4194304 386 7480 0 0 0 0 407 5 18 0 1 0 1020890589 2478080 278 4294967295 134512640 135169312 3216080480 3216076696 3085156078 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26498/statm: 605 278 235 161 0 44 0
[pid=26504] ppid=26498 vsize=166244 CPUtime=1195.92
/proc/26504/stat : 26504 (minisat_static) R 26498 26498 20977 0 -1 4202496 41048 0 0 0 119556 36 0 0 25 0 1 0 1020891001 170233856 40982 4294967295 134512640 135215339 3214140640 3214138928 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26504/statm: 41561 40982 73 172 0 41388 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 168664
Child status: 143
Real time (s): 1199.94
CPU time (s): 1200.06
CPU user time (s): 1199.63
CPU system time (s): 0.43
CPU usage (%): 100.01
Max. virtual memory (cumulated for all children) (KiB): 168664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.63
system time used= 0.43
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49189
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= 21
involuntary context switches= 4909
runsolver used 0 second user time and 0.02 second system time
The end
Begin job on tipi10 at 2009-05-17 14:38:15
IDJOB=1821778
IDBENCH=71088
IDSOLVER=657
FILE ID=tipi10/1821778-1242563895
PBS_JOBID=
Free space on /tmp= 3858 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_13_UNSAT.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821778-1242563895/watcher-1821778-1242563895 -o /tmp/evaluation-result-1821778-1242563895/solver-1821778-1242563895 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821778-1242563895.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d4e16a803f6cd0903a2bd3e7157287b3
RANDOM SEED= 2005768088
Linux tipi10 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.367
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.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
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.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
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.367
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: 447852 kB
Buffers: 45616 kB
Cached: 1447092 kB
SwapCached: 2732 kB
Active: 609688 kB
Inactive: 892904 kB
HighTotal: 1178688 kB
HighFree: 113448 kB
LowTotal: 895776 kB
LowFree: 334404 kB
SwapTotal: 1959888 kB
SwapFree: 1951864 kB
Dirty: 6192 kB
Writeback: 0 kB
AnonPages: 9152 kB
Mapped: 3236 kB
Slab: 115684 kB
PageTables: 520 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90596 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 3858 MiB
End job on tipi10 at 2009-05-17 14:58:15