0.00/0.00 c Parsing...
0.12/0.20 c ==============================================================================
0.12/0.20 c | | ORIGINAL | LEARNT | |
0.12/0.20 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.12/0.20 c ==============================================================================
0.12/0.20 c | 0 | 300446 896973 | 90133 0 0 nan | 0.000 % |
4.31/4.37 c | 0 | 298711 1313786 | -- 0 -- -- | -- | -1735/416813
4.31/4.37 c ==============================================================================
4.31/4.37 c Result : #vars: 1877 #clauses: 298711 #literals: 1313786
4.31/4.37 c CPU time: 4.31 s
4.31/4.37 c ==============================================================================
4.71/4.77 c This is MiniSat 2.0 beta
4.71/4.77 c WARNING: for repeatability, setting FPU to use double precision
4.71/4.77 c ============================[ Problem Statistics ]=============================
4.71/4.77 c | |
4.71/4.77 c | Number of variables: 1877 |
4.71/4.77 c | Number of clauses: 298711 |
4.77/4.96 c | Parsing time: 0.15 s |
4.77/4.97 c ============================[ Search Statistics ]==============================
4.77/4.97 c | Conflicts | ORIGINAL | LEARNT | Progress |
4.77/4.97 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.77/4.97 c ===============================================================================
4.77/4.97 c | 0 | 1877 298711 1313786 | 99570 0 nan | 0.000 % |
4.77/5.22 c | 102 | 1877 298711 1313786 | 99570 102 106 | 0.000 % |
4.77/5.27 c | 203 | 1877 298711 1313786 | 99570 203 87 | 0.000 % |
5.41/5.46 c | 304 | 1877 298711 1313786 | 99570 304 84 | 0.000 % |
5.52/5.57 c | 415 | 1877 298711 1313786 | 99570 415 79 | 0.000 % |
5.71/5.75 c | 516 | 1877 298711 1313786 | 99570 516 78 | 0.000 % |
5.81/5.86 c | 627 | 1877 298711 1313786 | 99570 627 78 | 0.000 % |
6.01/6.02 c | 751 | 1877 298711 1313786 | 99570 751 80 | 0.000 % |
6.11/6.12 c | 851 | 1877 298711 1313786 | 99570 851 80 | 0.000 % |
6.21/6.24 c | 961 | 1877 298711 1313786 | 99570 961 80 | 0.000 % |
6.31/6.36 c | 1084 | 1877 298711 1313786 | 99570 1084 79 | 0.000 % |
6.51/6.51 c | 1218 | 1877 298711 1313786 | 99570 1218 79 | 0.000 % |
6.51/6.59 c | 1318 | 1877 298711 1313786 | 99570 1318 80 | 0.000 % |
6.71/6.75 c | 1428 | 1877 298711 1313786 | 99570 1428 80 | 0.000 % |
6.81/6.90 c | 1550 | 1877 298711 1313786 | 99570 1550 79 | 0.000 % |
7.01/7.09 c | 1684 | 1877 298711 1313786 | 99570 1684 80 | 0.000 % |
7.21/7.21 c | 1833 | 1877 298711 1313786 | 99570 1833 80 | 0.000 % |
7.21/7.30 c | 1933 | 1877 298711 1313786 | 99570 1933 80 | 0.000 % |
7.31/7.39 c | 2043 | 1877 298711 1313786 | 99570 2043 80 | 0.000 % |
7.51/7.57 c | 2166 | 1877 298711 1313786 | 99570 2166 81 | 0.000 % |
7.61/7.66 c | 2302 | 1877 298711 1313786 | 99570 2302 81 | 0.000 % |
7.81/7.82 c | 2449 | 1877 298711 1313786 | 99570 2449 82 | 0.000 % |
8.01/8.01 c | 2610 | 1877 298711 1313786 | 99570 2610 82 | 0.000 % |
8.11/8.16 c | 2710 | 1877 298711 1313786 | 99570 2710 82 | 0.000 % |
8.31/8.35 c | 2820 | 1877 298711 1313786 | 99570 2820 82 | 0.000 % |
8.41/8.50 c | 2943 | 1877 298711 1313786 | 99570 2943 84 | 0.000 % |
8.61/8.63 c | 3076 | 1877 298711 1313786 | 99570 3076 83 | 0.000 % |
8.71/8.81 c | 3222 | 1877 298711 1313786 | 99570 3222 84 | 0.000 % |
8.82/8.87 c | 3386 | 1877 298711 1313786 | 99570 3386 85 | 0.000 % |
9.01/9.05 c | 3562 | 1877 298711 1313786 | 99570 3562 84 | 0.000 % |
9.11/9.19 c | 3663 | 1877 298711 1313786 | 99570 3663 84 | 0.000 % |
9.31/9.35 c | 3774 | 1877 298711 1313786 | 99570 3774 84 | 0.000 % |
9.51/9.51 c | 3895 | 1877 298711 1313786 | 99570 3895 85 | 0.000 % |
9.61/9.62 c | 4029 | 1877 298711 1313786 | 99570 4029 85 | 0.000 % |
9.81/9.81 c | 4176 | 1877 298711 1313786 | 99570 4176 87 | 0.000 % |
10.01/10.07 c | 4339 | 1877 298711 1313786 | 99570 4339 86 | 0.000 % |
10.21/10.23 c | 4515 | 1877 298711 1313786 | 99570 4515 86 | 0.000 % |
10.41/10.46 c | 4710 | 1877 298711 1313786 | 99570 4710 88 | 0.000 % |
10.51/10.58 c | 4810 | 1877 298711 1313786 | 99570 4810 88 | 0.000 % |
10.71/10.76 c | 4922 | 1877 298711 1313786 | 99570 4922 88 | 0.000 % |
10.91/10.91 c | 5043 | 1877 298711 1313786 | 99570 5043 88 | 0.000 % |
11.02/11.08 c | 5176 | 1877 298711 1313786 | 99570 5176 90 | 0.000 % |
11.11/11.18 c | 5324 | 1877 298711 1313786 | 99570 5324 90 | 0.000 % |
11.41/11.42 c | 5484 | 1877 298711 1313786 | 99570 5484 90 | 0.000 % |
11.51/11.59 c | 5660 | 1877 298711 1313786 | 99570 5660 90 | 0.000 % |
11.81/11.86 c | 5853 | 1877 298711 1313786 | 99570 5853 91 | 0.000 % |
12.01/12.07 c | 6065 | 1877 298711 1313786 | 99570 6065 90 | 0.000 % |
12.21/12.24 c | 6166 | 1877 298711 1313786 | 99570 6166 91 | 0.000 % |
12.31/12.35 c | 6276 | 1877 298711 1313786 | 99570 6276 91 | 0.000 % |
12.51/12.53 c | 6397 | 1877 298711 1313786 | 99570 6397 91 | 0.000 % |
12.61/12.68 c | 6531 | 1877 298711 1313786 | 99570 6531 91 | 0.000 % |
12.81/12.83 c | 6678 | 1877 298711 1313786 | 99570 6678 91 | 0.000 % |
12.91/12.96 c | 6840 | 1877 298711 1313786 | 99570 6840 91 | 0.000 % |
13.11/13.19 c | 7016 | 1877 298711 1313786 | 99570 7016 93 | 0.000 % |
13.41/13.49 c | 7209 | 1877 298711 1313786 | 99570 7209 93 | 0.000 % |
13.71/13.78 c | 7421 | 1877 298711 1313786 | 99570 7421 94 | 0.000 % |
14.01/14.04 c | 7655 | 1877 298711 1313786 | 99570 7655 95 | 0.000 % |
14.11/14.17 c | 7758 | 1877 298711 1313786 | 99570 7758 95 | 0.000 % |
14.32/14.34 c | 7869 | 1877 298711 1313786 | 99570 7869 95 | 0.000 % |
14.41/14.47 c | 7991 | 1877 298711 1313786 | 99570 7991 96 | 0.000 % |
14.61/14.67 c | 8124 | 1877 298711 1313786 | 99570 8124 96 | 0.000 % |
14.71/14.76 c | 8270 | 1877 298711 1313786 | 99570 8270 96 | 0.000 % |
14.91/14.97 c | 8430 | 1877 298711 1313786 | 99570 8430 96 | 0.000 % |
15.21/15.22 c | 8606 | 1877 298711 1313786 | 99570 8606 96 | 0.000 % |
15.42/15.45 c | 8800 | 1877 298711 1313786 | 99570 8800 95 | 0.000 % |
15.61/15.68 c | 9016 | 1877 298711 1313786 | 99570 9016 95 | 0.000 % |
15.91/15.96 c | 9251 | 1877 298711 1313786 | 99570 9251 96 | 0.000 % |
16.21/16.27 c | 9511 | 1877 298711 1313786 | 99570 9511 96 | 0.000 % |
16.31/16.40 c | 9612 | 1877 298711 1313786 | 99570 9612 96 | 0.000 % |
16.52/16.58 c | 9722 | 1877 298711 1313786 | 99570 9722 96 | 0.000 % |
16.71/16.76 c | 9843 | 1877 298711 1313786 | 99570 9843 96 | 0.000 % |
16.91/16.97 c | 9976 | 1877 298711 1313786 | 99570 9976 96 | 0.000 % |
17.21/17.25 c | 10122 | 1877 298711 1313786 | 2147483647 10122 95 | 0.000 % |
17.51/17.53 c | 10282 | 1877 298711 1313786 | 2147483647 10282 95 | 0.000 % |
17.81/17.85 c | 10461 | 1877 298711 1313786 | 2147483647 10461 94 | 0.000 % |
18.21/18.27 c | 10657 | 1877 298711 1313786 | 2147483647 10657 93 | 0.000 % |
18.72/18.78 c | 10871 | 1877 298711 1313786 | 2147483647 10871 92 | 0.000 % |
19.31/19.32 c | 11104 | 1877 298711 1313786 | 2147483647 11104 91 | 0.000 % |
19.82/19.82 c | 11361 | 1877 298711 1313786 | 2147483647 11361 90 | 0.000 % |
20.51/20.57 c | 11642 | 1877 298711 1313786 | 2147483647 11642 89 | 0.000 % |
20.81/20.83 c | 11744 | 1877 298711 1313786 | 2147483647 11744 88 | 0.000 % |
21.01/21.08 c | 11856 | 1877 298711 1313786 | 2147483647 11856 88 | 0.000 % |
21.31/21.31 c | 11977 | 1877 298711 1313786 | 2147483647 11977 88 | 0.000 % |
21.51/21.53 c | 12110 | 1877 298711 1313786 | 2147483647 12110 88 | 0.000 % |
21.61/21.68 c | 12256 | 1877 298711 1313786 | 2147483647 12256 88 | 0.000 % |
21.81/21.87 c | 12416 | 1877 298711 1313786 | 2147483647 12416 88 | 0.000 % |
22.02/22.09 c | 12593 | 1877 298711 1313786 | 2147483647 12593 88 | 0.000 % |
22.11/22.18 c | 12788 | 1877 298711 1313786 | 2147483647 12788 88 | 0.000 % |
22.41/22.43 c | 13000 | 1877 298711 1313786 | 2147483647 13000 89 | 0.000 % |
22.51/22.54 c | 13234 | 1877 298711 1313786 | 2147483647 13234 89 | 0.000 % |
22.71/22.80 c | 13490 | 1877 298711 1313786 | 2147483647 13490 90 | 0.000 % |
23.12/23.17 c | 13771 | 1877 298711 1313786 | 2147483647 13771 91 | 0.000 % |
23.41/23.46 c | 14084 | 1877 298711 1313786 | 2147483647 14084 90 | 0.000 % |
23.51/23.56 c | 14184 | 1877 298711 1313786 | 2147483647 14184 90 | 0.000 % |
23.61/23.69 c | 14294 | 1877 298711 1313786 | 2147483647 14294 90 | 0.000 % |
23.81/23.84 c | 14416 | 1877 298711 1313786 | 2147483647 14416 90 | 0.000 % |
23.91/23.97 c | 14550 | 1877 298711 1313786 | 2147483647 14550 90 | 0.000 % |
24.11/24.14 c | 14697 | 1877 298711 1313786 | 2147483647 14697 90 | 0.000 % |
24.22/24.30 c | 14858 | 1877 298711 1313786 | 2147483647 14858 90 | 0.000 % |
24.41/24.50 c | 15035 | 1877 298711 1313786 | 2147483647 15035 91 | 0.000 % |
24.81/24.81 c | 15228 | 1877 298711 1313786 | 2147483647 15228 91 | 0.000 % |
25.01/25.05 c | 15441 | 1877 298711 1313786 | 2147483647 15441 91 | 0.000 % |
25.21/25.30 c | 15675 | 1877 298711 1313786 | 2147483647 15675 91 | 0.000 % |
25.51/25.59 c | 15931 | 1877 298711 1313786 | 2147483647 15931 91 | 0.000 % |
25.91/25.91 c | 16215 | 1877 298711 1313786 | 2147483647 16215 92 | 0.000 % |
26.21/26.21 c | 16524 | 1877 298711 1313786 | 2147483647 16524 92 | 0.000 % |
26.51/26.59 c | 16863 | 1877 298711 1313786 | 2147483647 16863 92 | 0.000 % |
26.61/26.67 c | 16963 | 1877 298711 1313786 | 2147483647 16963 92 | 0.000 % |
26.81/26.86 c | 17073 | 1877 298711 1313786 | 2147483647 17073 93 | 0.000 % |
27.01/27.04 c | 17195 | 1877 298711 1313786 | 2147483647 17195 93 | 0.000 % |
27.21/27.26 c | 17328 | 1877 298711 1313786 | 2147483647 17328 93 | 0.000 % |
27.41/27.47 c | 17474 | 1877 298711 1313786 | 2147483647 17474 92 | 0.000 % |
27.71/27.73 c | 17634 | 1877 298711 1313786 | 2147483647 17634 92 | 0.000 % |
27.91/28.00 c | 17811 | 1877 298711 1313786 | 2147483647 17811 92 | 0.000 % |
28.11/28.18 c | 18004 | 1877 298711 1313786 | 2147483647 18004 92 | 0.000 % |
28.31/28.40 c | 18217 | 1877 298711 1313786 | 2147483647 18217 92 | 0.000 % |
28.62/28.68 c | 18450 | 1877 298711 1313786 | 2147483647 18450 92 | 0.000 % |
29.01/29.07 c | 18706 | 1877 298711 1313786 | 2147483647 18706 92 | 0.000 % |
29.61/29.65 c | 18988 | 1877 298711 1313786 | 2147483647 18988 91 | 0.000 % |
30.11/30.12 c | 19297 | 1877 298711 1313786 | 2147483647 19297 90 | 0.000 % |
30.31/30.38 c | 19636 | 1877 298711 1313786 | 2147483647 19636 90 | 0.000 % |
30.91/30.92 c | 20008 | 1877 298711 1313786 | 2147483647 20008 90 | 0.000 % |
31.11/31.11 c | 20108 | 1877 298711 1313786 | 2147483647 20108 90 | 0.000 % |
31.21/31.27 c | 20219 | 1877 298711 1313786 | 2147483647 20219 90 | 0.000 % |
31.41/31.44 c | 20341 | 1877 298711 1313786 | 2147483647 20341 90 | 0.000 % |
31.61/31.61 c | 20476 | 1877 298711 1313786 | 2147483647 20476 90 | 0.000 % |
31.71/31.77 c | 20624 | 1877 298711 1313786 | 2147483647 20624 90 | 0.000 % |
31.92/32.00 c | 20784 | 1877 298711 1313786 | 2147483647 20784 91 | 0.000 % |
32.11/32.20 c | 20960 | 1877 298711 1313786 | 2147483647 20960 91 | 0.000 % |
32.41/32.44 c | 21154 | 1877 298711 1313786 | 2147483647 21154 91 | 0.000 % |
32.71/32.73 c | 21366 | 1877 298711 1313786 | 2147483647 21366 91 | 0.000 % |
33.02/33.08 c | 21599 | 1877 298711 1313786 | 2147483647 21599 91 | 0.000 % |
33.31/33.37 c | 21856 | 1877 298711 1313786 | 2147483647 21856 91 | 0.000 % |
33.71/33.78 c | 22137 | 1877 298711 1313786 | 2147483647 22137 91 | 0.000 % |
34.21/34.28 c | 22446 | 1877 298711 1313786 | 2147483647 22446 91 | 0.000 % |
34.61/34.62 c | 22786 | 1877 298711 1313786 | 2147483647 22786 92 | 0.000 % |
35.01/35.05 c | 23158 | 1877 298711 1313786 | 2147483647 23158 93 | 0.000 % |
35.61/35.65 c | 23570 | 1877 298711 1313786 | 2147483647 23570 93 | 0.000 % |
35.81/35.80 c | 23670 | 1877 298711 1313786 | 2147483647 23670 93 | 0.000 % |
36.01/36.01 c | 23780 | 1877 298711 1313786 | 2147483647 23780 94 | 0.000 % |
36.21/36.23 c | 23902 | 1877 298711 1313786 | 2147483647 23902 94 | 0.000 % |
36.42/36.42 c | 24036 | 1877 298711 1313786 | 2147483647 24036 93 | 0.000 % |
36.52/36.60 c | 24183 | 1877 298711 1313786 | 2147483647 24183 94 | 0.000 % |
36.72/36.78 c | 24343 | 1877 298711 1313786 | 2147483647 24343 94 | 0.000 % |
36.92/36.97 c | 24520 | 1877 298711 1313786 | 2147483647 24520 94 | 0.000 % |
37.22/37.29 c | 24713 | 1877 298711 1313786 | 2147483647 24713 94 | 0.000 % |
37.52/37.55 c | 24925 | 1877 298711 1313786 | 2147483647 24925 94 | 0.000 % |
37.82/37.86 c | 25158 | 1877 298711 1313786 | 2147483647 25158 94 | 0.000 % |
38.02/38.11 c | 25414 | 1877 298711 1313786 | 2147483647 25414 94 | 0.000 % |
38.32/38.37 c | 25696 | 1877 298711 1313786 | 2147483647 25696 94 | 0.000 % |
38.72/38.76 c | 26005 | 1877 298711 1313786 | 2147483647 26005 95 | 0.000 % |
39.02/39.11 c | 26344 | 1877 298711 1313786 | 2147483647 26344 95 | 0.000 % |
39.82/39.83 c | 26716 | 1877 298711 1313786 | 2147483647 26716 95 | 0.000 % |
40.22/40.28 c | 27128 | 1877 298711 1313786 | 2147483647 27128 95 | 0.000 % |
40.92/40.93 c | 27578 | 1877 298711 1313786 | 2147483647 27578 95 | 0.000 % |
41.12/41.21 c | 27679 | 1877 298711 1313786 | 2147483647 27679 95 | 0.000 % |
41.32/41.39 c | 27789 | 1877 298711 1313786 | 2147483647 27789 95 | 0.000 % |
41.62/41.68 c | 27910 | 1877 298711 1313786 | 2147483647 27910 95 | 0.000 % |
41.82/41.86 c | 28043 | 1877 298711 1313786 | 2147483647 28043 95 | 0.000 % |
42.02/42.10 c | 28189 | 1877 298711 1313786 | 2147483647 28189 95 | 0.000 % |
42.32/42.38 c | 28349 | 1877 298711 1313786 | 2147483647 28349 95 | 0.000 % |
42.62/42.67 c | 28525 | 1877 298711 1313786 | 2147483647 28525 95 | 0.000 % |
42.92/42.96 c | 28719 | 1877 298711 1313786 | 2147483647 28719 95 | 0.000 % |
43.12/43.19 c | 28932 | 1877 298711 1313786 | 2147483647 28932 95 | 0.000 % |
43.42/43.50 c | 29167 | 1877 298711 1313786 | 2147483647 29167 95 | 0.000 % |
43.72/43.80 c | 29424 | 1877 298711 1313786 | 2147483647 29424 95 | 0.000 % |
44.42/44.44 c | 29706 | 1877 298711 1313786 | 2147483647 29706 95 | 0.000 % |
44.82/44.89 c | 30016 | 1877 298711 1313786 | 2147483647 30016 95 | 0.000 % |
45.32/45.32 c | 30356 | 1877 298711 1313786 | 2147483647 30356 96 | 0.000 % |
46.22/46.25 c | 30729 | 1877 298711 1313786 | 2147483647 30729 96 | 0.000 % |
46.82/46.89 c | 31138 | 1877 298711 1313786 | 2147483647 31138 96 | 0.000 % |
47.22/47.25 c | 31593 | 1877 298711 1313786 | 2147483647 31593 96 | 0.000 % |
47.92/47.99 c | 32089 | 1877 298711 1313786 | 2147483647 32089 96 | 0.000 % |
48.12/48.12 c | 32189 | 1877 298711 1313786 | 2147483647 32189 96 | 0.000 % |
48.32/48.32 c | 32299 | 1877 298711 1313786 | 2147483647 32299 96 | 0.000 % |
48.42/48.51 c | 32424 | 1877 298711 1313786 | 2147483647 32424 96 | 0.000 % |
48.72/48.73 c | 32558 | 1877 298711 1313786 | 2147483647 32558 96 | 0.000 % |
49.02/49.03 c | 32706 | 1877 298711 1313786 | 2147483647 32706 96 | 0.000 % |
49.22/49.26 c | 32866 | 1877 298711 1313786 | 2147483647 32866 97 | 0.000 % |
49.52/49.55 c | 33045 | 1877 298711 1313786 | 2147483647 33045 97 | 0.000 % |
49.82/49.86 c | 33239 | 1877 298711 1313786 | 2147483647 33239 97 | 0.000 % |
50.12/50.12 c | 33452 | 1877 298711 1313786 | 2147483647 33452 97 | 0.000 % |
50.42/50.49 c | 33685 | 1877 298711 1313786 | 2147483647 33685 97 | 0.000 % |
50.82/50.84 c | 33942 | 1877 298711 1313786 | 2147483647 33942 97 | 0.000 % |
51.22/51.29 c | 34223 | 1877 298711 1313786 | 2147483647 34223 97 | 0.000 % |
51.72/51.77 c | 34534 | 1877 298711 1313786 | 2147483647 34534 98 | 0.000 % |
52.12/52.12 c | 34876 | 1877 298711 1313786 | 2147483647 34876 98 | 0.000 % |
52.42/52.49 c | 35250 | 1877 298711 1313786 | 2147483647 35250 98 | 0.000 % |
53.02/53.09 c | 35659 | 1877 298711 1313786 | 2147483647 35659 98 | 0.000 % |
53.82/53.85 c | 36110 | 1877 298711 1313786 | 2147483647 36110 98 | 0.000 % |
54.82/54.87 c | 36605 | 1877 298711 1313786 | 2147483647 36605 98 | 0.000 % |
56.02/56.05 c | 37150 | 1877 298711 1313786 | 2147483647 37150 98 | 0.000 % |
56.32/56.31 c | 37251 | 1877 298711 1313786 | 2147483647 37251 98 | 0.000 % |
56.52/56.58 c | 37361 | 1877 298711 1313786 | 2147483647 37361 98 | 0.000 % |
56.72/56.76 c | 37484 | 1877 298711 1313786 | 2147483647 37484 98 | 0.000 % |
56.92/57.01 c | 37618 | 1877 298711 1313786 | 2147483647 37618 98 | 0.000 % |
57.22/57.25 c | 37765 | 1877 298711 1313786 | 2147483647 37765 98 | 0.000 % |
57.62/57.65 c | 37927 | 1877 298711 1313786 | 2147483647 37927 98 | 0.000 % |
57.82/57.82 c | 38105 | 1877 298711 1313786 | 2147483647 38105 98 | 0.000 % |
58.12/58.13 c | 38300 | 1877 298711 1313786 | 2147483647 38300 98 | 0.000 % |
58.72/58.74 c | 38512 | 1877 298711 1313786 | 2147483647 38512 98 | 0.000 % |
59.02/59.09 c | 38746 | 1877 298711 1313786 | 2147483647 38746 98 | 0.000 % |
59.42/59.49 c | 39003 | 1877 298711 1313786 | 2147483647 39003 98 | 0.000 % |
59.92/59.96 c | 39285 | 1877 298711 1313786 | 2147483647 39285 98 | 0.000 % |
60.62/60.62 c | 39595 | 1877 298711 1313786 | 2147483647 39595 98 | 0.000 % |
61.42/61.46 c | 39935 | 1877 298711 1313786 | 2147483647 39935 98 | 0.000 % |
61.92/61.93 c | 40309 | 1877 298711 1313786 | 2147483647 40309 98 | 0.000 % |
62.52/62.56 c | 40720 | 1877 298711 1313786 | 2147483647 40720 98 | 0.000 % |
63.12/63.12 c | 41169 | 1877 298711 1313786 | 2147483647 41169 98 | 0.000 % |
63.82/63.85 c | 41662 | 1877 298711 1313786 | 2147483647 41662 98 | 0.000 % |
64.92/64.92 c | 42206 | 1877 298711 1313786 | 2147483647 42206 98 | 0.000 % |
65.62/65.70 c | 42804 | 1877 298711 1313786 | 2147483647 42804 99 | 0.000 % |
65.92/65.94 c | 42904 | 1877 298711 1313786 | 2147483647 42904 99 | 0.000 % |
66.12/66.14 c | 43014 | 1877 298711 1313786 | 2147483647 43014 99 | 0.000 % |
66.42/66.43 c | 43135 | 1877 298711 1313786 | 2147483647 43135 99 | 0.000 % |
66.72/66.71 c | 43268 | 1877 298711 1313786 | 2147483647 43268 99 | 0.000 % |
66.92/66.91 c | 43414 | 1877 298711 1313786 | 2147483647 43414 99 | 0.000 % |
67.12/67.18 c | 43574 | 1877 298711 1313786 | 2147483647 43574 99 | 0.000 % |
67.52/67.54 c | 43751 | 1877 298711 1313786 | 2147483647 43751 99 | 0.000 % |
67.82/67.86 c | 43945 | 1877 298711 1313786 | 2147483647 43945 99 | 0.000 % |
68.12/68.20 c | 44158 | 1877 298711 1313786 | 2147483647 44158 99 | 0.000 % |
68.52/68.59 c | 44397 | 1877 298711 1313786 | 2147483647 44397 99 | 0.000 % |
68.92/68.94 c | 44655 | 1877 298711 1313786 | 2147483647 44655 99 | 0.000 % |
69.42/69.46 c | 44938 | 1877 298711 1313786 | 2147483647 44938 99 | 0.000 % |
69.92/69.92 c | 45248 | 1877 298711 1313786 | 2147483647 45248 99 | 0.000 % |
70.52/70.54 c | 45587 | 1877 298711 1313786 | 2147483647 45587 99 | 0.000 % |
71.02/71.07 c | 45960 | 1877 298711 1313786 | 2147483647 45960 99 | 0.000 % |
71.62/71.67 c | 46369 | 1877 298711 1313786 | 2147483647 46369 99 | 0.000 % |
72.42/72.44 c | 46818 | 1877 298711 1313786 | 2147483647 46818 100 | 0.000 % |
73.12/73.15 c | 47312 | 1877 298711 1313786 | 2147483647 47312 100 | 0.000 % |
74.32/74.38 c | 47856 | 1877 298711 1313786 | 2147483647 47856 100 | 0.000 % |
75.82/75.82 c | 48454 | 1877 298711 1313786 | 2147483647 48454 100 | 0.000 % |
77.02/77.04 c | 49111 | 1877 298711 1313786 | 2147483647 49111 100 | 0.000 % |
77.32/77.33 c | 49214 | 1877 298711 1313786 | 2147483647 49214 100 | 0.000 % |
77.42/77.50 c | 49329 | 1877 298711 1313786 | 2147483647 49329 100 | 0.000 % |
77.62/77.66 c | 49450 | 1877 298711 1313786 | 2147483647 49450 100 | 0.000 % |
77.92/77.97 c | 49583 | 1877 298711 1313786 | 2147483647 49583 101 | 0.000 % |
78.22/78.29 c | 49729 | 1877 298711 1313786 | 2147483647 49729 101 | 0.000 % |
78.62/78.65 c | 49891 | 1877 298711 1313786 | 2147483647 49891 101 | 0.000 % |
79.02/79.03 c | 50069 | 1877 298711 1313786 | 2147483647 50069 101 | 0.000 % |
79.32/79.41 c | 50262 | 1877 298711 1313786 | 2147483647 50262 101 | 0.000 % |
79.92/79.99 c | 50474 | 1877 298711 1313786 | 2147483647 50474 101 | 0.000 % |
80.32/80.35 c | 50710 | 1877 298711 1313786 | 2147483647 50710 101 | 0.000 % |
81.02/81.09 c | 50967 | 1877 298711 1313786 | 2147483647 50967 101 | 0.000 % |
81.62/81.70 c | 51249 | 1877 298711 1313786 | 2147483647 51249 100 | 0.000 % |
81.92/81.96 c | 51560 | 1877 298711 1313786 | 2147483647 51560 100 | 0.000 % |
82.42/82.51 c | 51900 | 1877 298711 1313786 | 2147483647 51900 100 | 0.000 % |
83.32/83.38 c | 52272 | 1877 298711 1313786 | 2147483647 52272 100 | 0.000 % |
84.02/84.05 c | 52684 | 1877 298711 1313786 | 2147483647 52684 100 | 0.000 % |
84.92/84.93 c | 53134 | 1877 298711 1313786 | 2147483647 53134 100 | 0.000 % |
86.22/86.22 c | 53627 | 1877 298711 1313786 | 2147483647 53627 100 | 0.000 % |
87.92/88.01 c | 54173 | 1877 298711 1313786 | 2147483647 54173 100 | 0.000 % |
89.72/89.80 c | 54769 | 1877 298711 1313786 | 2147483647 54769 99 | 0.000 % |
92.12/92.20 c | 55424 | 1877 298711 1313786 | 2147483647 55424 98 | 0.000 % |
94.22/94.23 c | 56148 | 1877 298711 1313786 | 2147483647 56148 98 | 0.000 % |
94.52/94.52 c | 56250 | 1877 298711 1313786 | 2147483647 56250 97 | 0.000 % |
94.82/94.85 c | 56361 | 1877 298711 1313786 | 2147483647 56361 97 | 0.000 % |
95.12/95.19 c | 56485 | 1877 298711 1313786 | 2147483647 56485 97 | 0.000 % |
95.62/95.61 c | 56623 | 1877 298711 1313786 | 2147483647 56623 97 | 0.000 % |
95.72/95.76 c | 56769 | 1877 298711 1313786 | 2147483647 56769 97 | 0.000 % |
96.22/96.28 c | 56930 | 1877 298711 1313786 | 2147483647 56930 97 | 0.000 % |
96.42/96.46 c | 57109 | 1877 298711 1313786 | 2147483647 57109 97 | 0.000 % |
96.72/96.77 c | 57303 | 1877 298711 1313786 | 2147483647 57303 97 | 0.000 % |
97.02/97.09 c | 57516 | 1877 298711 1313786 | 2147483647 57516 97 | 0.000 % |
97.52/97.59 c | 57750 | 1877 298711 1313786 | 2147483647 57750 97 | 0.000 % |
98.02/98.09 c | 58007 | 1877 298711 1313786 | 2147483647 58007 97 | 0.000 % |
98.52/98.58 c | 58289 | 1877 298711 1313786 | 2147483647 58289 97 | 0.000 % |
99.22/99.27 c | 58598 | 1877 298711 1313786 | 2147483647 58598 97 | 0.000 % |
99.82/99.89 c | 58937 | 1877 298711 1313786 | 2147483647 58937 97 | 0.000 % |
100.32/100.37 c | 59309 | 1877 298711 1313786 | 2147483647 59309 98 | 0.000 % |
101.02/101.09 c | 59720 | 1877 298711 1313786 | 2147483647 59720 98 | 0.000 % |
102.02/102.01 c | 60169 | 1877 298711 1313786 | 2147483647 60169 98 | 0.000 % |
102.52/102.56 c | 60664 | 1877 298711 1313786 | 2147483647 60664 98 | 0.000 % |
103.32/103.36 c | 61208 | 1877 298711 1313786 | 2147483647 61208 99 | 0.000 % |
104.42/104.46 c | 61804 | 1877 298711 1313786 | 2147483647 61804 99 | 0.000 % |
105.82/105.85 c | 62459 | 1877 298711 1313786 | 2147483647 62459 99 | 0.000 % |
106.62/106.66 c | 63179 | 1877 298711 1313786 | 2147483647 63179 99 | 0.000 % |
108.12/108.12 c | 63972 | 1877 298711 1313786 | 2147483647 63972 99 | 0.000 % |
108.42/108.48 c | 64073 | 1877 298711 1313786 | 2147483647 64073 99 | 0.000 % |
108.72/108.76 c | 64186 | 1877 298711 1313786 | 2147483647 64186 99 | 0.000 % |
109.02/109.02 c | 64310 | 1877 298711 1313786 | 2147483647 64310 99 | 0.000 % |
109.22/109.30 c | 64444 | 1877 298711 1313786 | 2147483647 64444 99 | 0.000 % |
109.62/109.65 c | 64593 | 1877 298711 1313786 | 2147483647 64593 99 | 0.000 % |
110.12/110.18 c | 64753 | 1877 298711 1313786 | 2147483647 64753 99 | 0.000 % |
110.62/110.63 c | 64929 | 1877 298711 1313786 | 2147483647 64929 99 | 0.000 % |
110.82/110.83 c | 65123 | 1877 298711 1313786 | 2147483647 65123 99 | 0.000 % |
111.12/111.13 c | 65335 | 1877 298711 1313786 | 2147483647 65335 99 | 0.000 % |
111.42/111.43 c | 65570 | 1877 298711 1313786 | 2147483647 65570 99 | 0.000 % |
111.92/111.94 c | 65828 | 1877 298711 1313786 | 2147483647 65828 99 | 0.000 % |
112.42/112.47 c | 66110 | 1877 298711 1313786 | 2147483647 66110 99 | 0.000 % |
113.02/113.05 c | 66420 | 1877 298711 1313786 | 2147483647 66420 99 | 0.000 % |
113.72/113.72 c | 66760 | 1877 298711 1313786 | 2147483647 66760 99 | 0.000 % |
114.32/114.39 c | 67135 | 1877 298711 1313786 | 2147483647 67135 99 | 0.000 % |
115.72/115.77 c | 67546 | 1877 298711 1313786 | 2147483647 67546 99 | 0.000 % |
116.52/116.58 c | 67996 | 1877 298711 1313786 | 2147483647 67996 99 | 0.000 % |
117.52/117.52 c | 68489 | 1877 298711 1313786 | 2147483647 68489 99 | 0.000 % |
118.22/118.27 c | 69032 | 1877 298711 1313786 | 2147483647 69032 99 | 0.000 % |
119.32/119.34 c | 69629 | 1877 298711 1313786 | 2147483647 69629 99 | 0.000 % |
120.42/120.46 c | 70285 | 1877 298711 1313786 | 2147483647 70285 99 | 0.000 % |
121.62/121.61 c | 71006 | 1877 298711 1313786 | 2147483647 71006 100 | 0.000 % |
123.12/123.21 c | 71798 | 1877 298711 1313786 | 2147483647 71798 100 | 0.000 % |
125.52/125.56 c | 72669 | 1877 298711 1313786 | 2147483647 72669 100 | 0.000 % |
125.72/125.78 c | 72769 | 1877 298711 1313786 | 2147483647 72769 100 | 0.000 % |
126.12/126.16 c | 72879 | 1877 298711 1313786 | 2147483647 72879 100 | 0.000 % |
126.53/126.58 c | 73000 | 1877 298711 1313786 | 2147483647 73000 100 | 0.000 % |
127.12/127.15 c | 73136 | 1877 298711 1313786 | 2147483647 73136 100 | 0.000 % |
127.52/127.54 c | 73283 | 1877 298711 1313786 | 2147483647 73283 100 | 0.000 % |
127.82/127.85 c | 73445 | 1877 298711 1313786 | 2147483647 73445 100 | 0.000 % |
128.12/128.17 c | 73621 | 1877 298711 1313786 | 2147483647 73621 100 | 0.000 % |
128.73/128.72 c | 73814 | 1877 298711 1313786 | 2147483647 73814 100 | 0.000 % |
129.22/129.24 c | 74028 | 1877 298711 1313786 | 2147483647 74028 100 | 0.000 % |
129.62/129.68 c | 74262 | 1877 298711 1313786 | 2147483647 74262 100 | 0.000 % |
130.32/130.31 c | 74518 | 1877 298711 1313786 | 2147483647 74518 100 | 0.000 % |
130.93/130.96 c | 74800 | 1877 298711 1313786 | 2147483647 74800 100 | 0.000 % |
131.92/131.96 c | 75110 | 1877 298711 1313786 | 2147483647 75110 100 | 0.000 % |
132.62/132.65 c | 75450 | 1877 298711 1313786 | 2147483647 75450 100 | 0.000 % |
133.42/133.42 c | 75824 | 1877 298711 1313786 | 2147483647 75824 100 | 0.000 % |
134.32/134.37 c | 76233 | 1877 298711 1313786 | 2147483647 76233 100 | 0.000 % |
135.22/135.24 c | 76682 | 1877 298711 1313786 | 2147483647 76682 100 | 0.000 % |
136.22/136.30 c | 77176 | 1877 298711 1313786 | 2147483647 77176 100 | 0.000 % |
137.12/137.11 c | 77720 | 1877 298711 1313786 | 2147483647 77720 100 | 0.000 % |
138.72/138.77 c | 78316 | 1877 298711 1313786 | 2147483647 78316 100 | 0.000 % |
140.02/140.10 c | 78973 | 1877 298711 1313786 | 2147483647 78973 100 | 0.000 % |
142.02/142.07 c | 79694 | 1877 298711 1313786 | 2147483647 79694 100 | 0.000 % |
143.03/143.10 c | 80487 | 1877 298711 1313786 | 2147483647 80487 100 | 0.000 % |
145.02/145.07 c | 81359 | 1877 298711 1313786 | 2147483647 81359 100 | 0.000 % |
146.42/146.48 c | 82317 | 1877 298711 1313786 | 2147483647 82317 101 | 0.000 % |
146.82/146.86 c | 82417 | 1877 298711 1313786 | 2147483647 82417 101 | 0.000 % |
147.02/147.04 c | 82531 | 1877 298711 1313786 | 2147483647 82531 101 | 0.000 % |
147.43/147.46 c | 82655 | 1877 298711 1313786 | 2147483647 82655 101 | 0.000 % |
147.62/147.70 c | 82788 | 1877 298711 1313786 | 2147483647 82788 101 | 0.000 % |
147.92/147.91 c | 82934 | 1877 298711 1313786 | 2147483647 82934 101 | 0.000 % |
148.22/148.21 c | 83094 | 1877 298711 1313786 | 2147483647 83094 101 | 0.000 % |
148.62/148.68 c | 83271 | 1877 298711 1313786 | 2147483647 83271 101 | 0.000 % |
149.32/149.39 c | 83465 | 1877 298711 1313786 | 2147483647 83465 101 | 0.000 % |
149.92/149.90 c | 83677 | 1877 298711 1313786 | 2147483647 83677 101 | 0.000 % |
150.42/150.43 c | 83911 | 1877 298711 1313786 | 2147483647 83911 101 | 0.000 % |
150.82/150.85 c | 84167 | 1877 298711 1313786 | 2147483647 84167 101 | 0.000 % |
151.62/151.68 c | 84448 | 1877 298711 1313786 | 2147483647 84448 101 | 0.000 % |
152.12/152.17 c | 84758 | 1877 298711 1313786 | 2147483647 84758 101 | 0.000 % |
152.72/152.72 c | 85100 | 1877 298711 1313786 | 2147483647 85100 101 | 0.000 % |
153.52/153.58 c | 85472 | 1877 298711 1313786 | 2147483647 85472 101 | 0.000 % |
154.52/154.60 c | 85883 | 1877 298711 1313786 | 2147483647 85883 101 | 0.000 % |
155.62/155.68 c | 86332 | 1877 298711 1313786 | 2147483647 86332 101 | 0.000 % |
156.82/156.81 c | 86825 | 1877 298711 1313786 | 2147483647 86825 101 | 0.000 % |
157.92/157.92 c | 87369 | 1877 298711 1313786 | 2147483647 87369 101 | 0.000 % |
159.42/159.51 c | 87968 | 1877 298711 1313786 | 2147483647 87968 101 | 0.000 % |
160.72/160.75 c | 88625 | 1877 298711 1313786 | 2147483647 88625 101 | 0.000 % |
162.22/162.25 c | 89345 | 1877 298711 1313786 | 2147483647 89345 101 | 0.000 % |
163.93/163.97 c | 90139 | 1877 298711 1313786 | 2147483647 90139 101 | 0.000 % |
165.22/165.22 c | 91010 | 1877 298711 1313786 | 2147483647 91010 101 | 0.000 % |
168.13/168.17 c | 91969 | 1877 298711 1313786 | 2147483647 91969 101 | 0.000 % |
170.73/170.78 c | 93022 | 1877 298711 1313786 | 2147483647 93022 101 | 0.000 % |
171.03/171.04 c | 93125 | 1877 298711 1313786 | 2147483647 93125 101 | 0.000 % |
171.22/171.28 c | 93236 | 1877 298711 1313786 | 2147483647 93236 101 | 0.000 % |
171.52/171.55 c | 93357 | 1877 298711 1313786 | 2147483647 93357 101 | 0.000 % |
171.82/171.89 c | 93491 | 1877 298711 1313786 | 2147483647 93491 101 | 0.000 % |
172.22/172.31 c | 93638 | 1877 298711 1313786 | 2147483647 93638 101 | 0.000 % |
172.72/172.77 c | 93798 | 1877 298711 1313786 | 2147483647 93798 101 | 0.000 % |
173.12/173.13 c | 93974 | 1877 298711 1313786 | 2147483647 93974 101 | 0.000 % |
173.82/173.86 c | 94167 | 1877 298711 1313786 | 2147483647 94167 101 | 0.000 % |
174.72/174.77 c | 94380 | 1877 298711 1313786 | 2147483647 94380 101 | 0.000 % |
175.71/175.75 c | 94613 | 1877 298711 1313786 | 2147483647 94613 101 | 0.000 % |
176.41/176.50 c | 94871 | 1877 298711 1313786 | 2147483647 94871 101 | 0.000 % |
177.31/177.36 c | 95155 | 1877 298711 1313786 | 2147483647 95155 101 | 0.000 % |
177.81/177.82 c | 95465 | 1877 298711 1313786 | 2147483647 95465 101 | 0.000 % |
178.31/178.31 c | 95805 | 1877 298711 1313786 | 2147483647 95805 101 | 0.000 % |
179.41/179.48 c | 96180 | 1877 298711 1313786 | 2147483647 96180 101 | 0.000 % |
180.31/180.38 c | 96590 | 1877 298711 1313786 | 2147483647 96590 101 | 0.000 % |
181.81/181.90 c | 97039 | 1877 298711 1313786 | 2147483647 97039 101 | 0.000 % |
183.81/183.87 c | 97532 | 1877 298711 1313786 | 2147483647 97532 101 | 0.000 % |
184.71/184.77 c | 98075 | 1877 298711 1313786 | 2147483647 98075 101 | 0.000 % |
186.11/186.20 c | 98671 | 1877 298711 1313786 | 2147483647 98671 102 | 0.000 % |
187.91/187.96 c | 99327 | 1877 298711 1313786 | 2147483647 99327 101 | 0.000 % |
190.71/190.75 c | 100048 | 1877 298711 1313786 | 2147483647 100048 101 | 0.000 % |
192.22/192.30 c | 100843 | 1877 298711 1313786 | 2147483647 100843 101 | 0.000 % |
194.02/194.10 c | 101715 | 1877 298711 1313786 | 2147483647 101715 101 | 0.000 % |
196.82/196.87 c | 102676 | 1877 298711 1313786 | 2147483647 102676 102 | 0.000 % |
198.52/198.60 c | 103729 | 1877 298711 1313786 | 2147483647 103729 101 | 0.000 % |
200.82/200.83 c | 104887 | 1877 298711 1313786 | 2147483647 104887 101 | 0.000 % |
200.92/201.00 c | 104988 | 1877 298711 1313786 | 2147483647 104988 101 | 0.000 % |
201.22/201.31 c | 105099 | 1877 298711 1313786 | 2147483647 105099 101 | 0.000 % |
201.72/201.72 c | 105220 | 1877 298711 1313786 | 2147483647 105220 101 | 0.000 % |
202.02/202.08 c | 105353 | 1877 298711 1313786 | 2147483647 105353 101 | 0.000 % |
202.42/202.44 c | 105501 | 1877 298711 1313786 | 2147483647 105501 101 | 0.000 % |
202.82/202.90 c | 105661 | 1877 298711 1313786 | 2147483647 105661 101 | 0.000 % |
203.42/203.51 c | 105837 | 1877 298711 1313786 | 2147483647 105837 101 | 0.000 % |
204.22/204.29 c | 106031 | 1877 298711 1313786 | 2147483647 106031 101 | 0.000 % |
204.82/204.86 c | 106244 | 1877 298711 1313786 | 2147483647 106244 101 | 0.000 % |
205.52/205.53 c | 106478 | 1877 298711 1313786 | 2147483647 106478 101 | 0.000 % |
206.22/206.32 c | 106736 | 1877 298711 1313786 | 2147483647 106736 101 | 0.000 % |
206.92/206.96 c | 107017 | 1877 298711 1313786 | 2147483647 107017 101 | 0.000 % |
207.52/207.56 c | 107326 | 1877 298711 1313786 | 2147483647 107326 101 | 0.000 % |
208.22/208.29 c | 107666 | 1877 298711 1313786 | 2147483647 107666 101 | 0.000 % |
209.32/209.35 c | 108038 | 1877 298711 1313786 | 2147483647 108038 101 | 0.000 % |
210.52/210.58 c | 108447 | 1877 298711 1313786 | 2147483647 108447 101 | 0.000 % |
211.62/211.65 c | 108900 | 1877 298711 1313786 | 2147483647 108900 102 | 0.000 % |
213.02/213.04 c | 109394 | 1877 298711 1313786 | 2147483647 109394 102 | 0.000 % |
214.42/214.47 c | 109936 | 1877 298711 1313786 | 2147483647 109936 102 | 0.000 % |
216.52/216.55 c | 110532 | 1877 298711 1313786 | 2147483647 110532 102 | 0.000 % |
218.92/219.01 c | 111187 | 1877 298711 1313786 | 2147483647 111187 102 | 0.000 % |
221.82/221.92 c | 111907 | 1877 298711 1313786 | 2147483647 111907 102 | 0.000 % |
223.32/223.36 c | 112700 | 1877 298711 1313786 | 2147483647 112700 102 | 0.000 % |
225.02/225.04 c | 113572 | 1877 298711 1313786 | 2147483647 113572 102 | 0.000 % |
227.92/227.93 c | 114532 | 1877 298711 1313786 | 2147483647 114532 102 | 0.000 % |
231.82/231.85 c | 115588 | 1877 298711 1313786 | 2147483647 115588 102 | 0.000 % |
236.82/236.88 c | 116746 | 1877 298711 1313786 | 2147483647 116746 102 | 0.000 % |
240.42/240.46 c | 118021 | 1877 298711 1313786 | 2147483647 118021 102 | 0.000 % |
240.72/240.76 c | 118121 | 1877 298711 1313786 | 2147483647 118121 102 | 0.000 % |
241.22/241.25 c | 118231 | 1877 298711 1313786 | 2147483647 118231 102 | 0.000 % |
241.72/241.74 c | 118352 | 1877 298711 1313786 | 2147483647 118352 102 | 0.000 % |
241.92/242.01 c | 118485 | 1877 298711 1313786 | 2147483647 118485 102 | 0.000 % |
242.42/242.47 c | 118632 | 1877 298711 1313786 | 2147483647 118632 102 | 0.000 % |
242.72/242.81 c | 118792 | 1877 298711 1313786 | 2147483647 118792 102 | 0.000 % |
243.12/243.19 c | 118968 | 1877 298711 1313786 | 2147483647 118968 102 | 0.000 % |
243.72/243.77 c | 119161 | 1877 298711 1313786 | 2147483647 119161 102 | 0.000 % |
244.23/244.25 c | 119373 | 1877 298711 1313786 | 2147483647 119373 102 | 0.000 % |
244.82/244.83 c | 119609 | 1877 298711 1313786 | 2147483647 119609 102 | 0.000 % |
245.22/245.30 c | 119866 | 1877 298711 1313786 | 2147483647 119866 102 | 0.000 % |
245.62/245.71 c | 120148 | 1877 298711 1313786 | 2147483647 120148 102 | 0.000 % |
246.12/246.20 c | 120460 | 1877 298711 1313786 | 2147483647 120460 102 | 0.000 % |
247.12/247.13 c | 120799 | 1877 298711 1313786 | 2147483647 120799 102 | 0.000 % |
248.12/248.20 c | 121171 | 1877 298711 1313786 | 2147483647 121171 102 | 0.000 % |
249.52/249.56 c | 121581 | 1877 298711 1313786 | 2147483647 121581 102 | 0.000 % |
250.52/250.58 c | 122033 | 1877 298711 1313786 | 2147483647 122033 102 | 0.000 % |
252.12/252.13 c | 122526 | 1877 298711 1313786 | 2147483647 122526 102 | 0.000 % |
253.42/253.44 c | 123068 | 1877 298711 1313786 | 2147483647 123068 102 | 0.000 % |
255.23/255.26 c | 123665 | 1877 298711 1313786 | 2147483647 123665 102 | 0.000 % |
256.72/256.76 c | 124321 | 1877 298711 1313786 | 2147483647 124321 102 | 0.000 % |
258.22/258.29 c | 125042 | 1877 298711 1313786 | 2147483647 125042 102 | 0.000 % |
260.73/260.75 c | 125835 | 1877 298711 1313786 | 2147483647 125835 102 | 0.000 % |
263.12/263.18 c | 126707 | 1877 298711 1313786 | 2147483647 126707 103 | 0.000 % |
265.22/265.28 c | 127668 | 1877 298711 1313786 | 2147483647 127668 103 | 0.000 % |
267.72/267.78 c | 128722 | 1877 298711 1313786 | 2147483647 128722 103 | 0.000 % |
269.52/269.60 c | 129881 | 1877 298711 1313786 | 2147483647 129881 103 | 0.000 % |
272.91/272.92 c | 131154 | 1877 298711 1313786 | 2147483647 131154 103 | 0.000 % |
274.71/274.77 c | 132555 | 1877 298711 1313786 | 2147483647 132555 103 | 0.000 % |
275.02/275.02 c | 132658 | 1877 298711 1313786 | 2147483647 132658 103 | 0.000 % |
275.51/275.57 c | 132771 | 1877 298711 1313786 | 2147483647 132771 103 | 0.000 % |
276.12/276.17 c | 132898 | 1877 298711 1313786 | 2147483647 132898 103 | 0.000 % |
276.61/276.62 c | 133034 | 1877 298711 1313786 | 2147483647 133034 103 | 0.000 % |
277.01/277.09 c | 133180 | 1877 298711 1313786 | 2147483647 133180 103 | 0.000 % |
277.61/277.63 c | 133341 | 1877 298711 1313786 | 2147483647 133341 103 | 0.000 % |
278.11/278.19 c | 133520 | 1877 298711 1313786 | 2147483647 133520 103 | 0.000 % |
278.71/278.74 c | 133714 | 1877 298711 1313786 | 2147483647 133714 103 | 0.000 % |
279.81/279.81 c | 133927 | 1877 298711 1313786 | 2147483647 133927 103 | 0.000 % |
280.41/280.48 c | 134161 | 1877 298711 1313786 | 2147483647 134161 103 | 0.000 % |
280.91/280.94 c | 134417 | 1877 298711 1313786 | 2147483647 134417 103 | 0.000 % |
281.41/281.47 c | 134698 | 1877 298711 1313786 | 2147483647 134698 103 | 0.000 % |
282.11/282.19 c | 135009 | 1877 298711 1313786 | 2147483647 135009 103 | 0.000 % |
282.91/283.00 c | 135348 | 1877 298711 1313786 | 2147483647 135348 103 | 0.000 % |
283.91/283.96 c | 135722 | 1877 298711 1313786 | 2147483647 135722 103 | 0.000 % |
285.21/285.21 c | 136131 | 1877 298711 1313786 | 2147483647 136131 103 | 0.000 % |
286.41/286.49 c | 136580 | 1877 298711 1313786 | 2147483647 136580 103 | 0.000 % |
288.31/288.31 c | 137074 | 1877 298711 1313786 | 2147483647 137074 103 | 0.000 % |
289.91/289.99 c | 137617 | 1877 298711 1313786 | 2147483647 137617 103 | 0.000 % |
291.52/291.52 c | 138213 | 1877 298711 1313786 | 2147483647 138213 103 | 0.000 % |
293.01/293.03 c | 138870 | 1877 298711 1313786 | 2147483647 138870 103 | 0.000 % |
294.51/294.55 c | 139591 | 1877 298711 1313786 | 2147483647 139591 103 | 0.000 % |
296.71/296.77 c | 140385 | 1877 298711 1313786 | 2147483647 140385 103 | 0.000 % |
299.42/299.44 c | 141257 | 1877 298711 1313786 | 2147483647 141257 103 | 0.000 % |
301.82/301.87 c | 142215 | 1877 298711 1313786 | 2147483647 142215 103 | 0.000 % |
304.22/304.24 c | 143269 | 1877 298711 1313786 | 2147483647 143269 103 | 0.000 % |
307.92/307.99 c | 144427 | 1877 298711 1313786 | 2147483647 144427 102 | 0.000 % |
312.32/312.32 c | 145700 | 1877 298711 1313786 | 2147483647 145700 102 | 0.000 % |
317.22/317.30 c | 147101 | 1877 298711 1313786 | 2147483647 147101 102 | 0.000 % |
323.02/323.03 c | 148642 | 1877 298711 1313786 | 2147483647 148642 101 | 0.000 % |
323.42/323.49 c | 148744 | 1877 298711 1313786 | 2147483647 148744 101 | 0.000 % |
323.82/323.86 c | 148854 | 1877 298711 1313786 | 2147483647 148854 101 | 0.000 % |
324.32/324.32 c | 148975 | 1877 298711 1313786 | 2147483647 148975 101 | 0.000 % |
324.72/324.77 c | 149108 | 1877 298711 1313786 | 2147483647 149108 101 | 0.000 % |
325.22/325.29 c | 149254 | 1877 298711 1313786 | 2147483647 149254 101 | 0.000 % |
325.42/325.51 c | 149415 | 1877 298711 1313786 | 2147483647 149415 101 | 0.000 % |
325.82/325.91 c | 149593 | 1877 298711 1313786 | 2147483647 149593 101 | 0.000 % |
326.32/326.38 c | 149786 | 1877 298711 1313786 | 2147483647 149786 101 | 0.000 % |
327.02/327.02 c | 150000 | 1877 298711 1313786 | 2147483647 150000 101 | 0.000 % |
327.62/327.69 c | 150233 | 1877 298711 1313786 | 2147483647 150233 101 | 0.000 % |
328.52/328.54 c | 150491 | 1877 298711 1313786 | 2147483647 150491 101 | 0.000 % |
329.32/329.40 c | 150772 | 1877 298711 1313786 | 2147483647 150772 101 | 0.000 % |
330.22/330.26 c | 151081 | 1877 298711 1313786 | 2147483647 151081 101 | 0.000 % |
331.22/331.26 c | 151423 | 1877 298711 1313786 | 2147483647 151423 101 | 0.000 % |
332.32/332.34 c | 151795 | 1877 298711 1313786 | 2147483647 151795 101 | 0.000 % |
334.02/334.08 c | 152204 | 1877 298711 1313786 | 2147483647 152204 101 | 0.000 % |
334.82/334.86 c | 152653 | 1877 298711 1313786 | 2147483647 152653 101 | 0.000 % |
336.02/336.03 c | 153146 | 1877 298711 1313786 | 2147483647 153146 101 | 0.000 % |
337.52/337.52 c | 153690 | 1877 298711 1313786 | 2147483647 153690 101 | 0.000 % |
338.52/338.56 c | 154286 | 1877 298711 1313786 | 2147483647 154286 101 | 0.000 % |
339.92/339.99 c | 154941 | 1877 298711 1313786 | 2147483647 154941 101 | 0.000 % |
341.82/341.88 c | 155661 | 1877 298711 1313786 | 2147483647 155661 101 | 0.000 % |
343.12/343.13 c | 156453 | 1877 298711 1313786 | 2147483647 156453 101 | 0.000 % |
344.82/344.89 c | 157324 | 1877 298711 1313786 | 2147483647 157324 101 | 0.000 % |
347.02/347.09 c | 158283 | 1877 298711 1313786 | 2147483647 158283 101 | 0.000 % |
348.92/348.97 c | 159336 | 1877 298711 1313786 | 2147483647 159336 101 | 0.000 % |
351.62/351.67 c | 160495 | 1877 298711 1313786 | 2147483647 160495 101 | 0.000 % |
355.02/355.02 c | 161768 | 1877 298711 1313786 | 2147483647 161768 101 | 0.000 % |
358.32/358.36 c | 163169 | 1877 298711 1313786 | 2147483647 163169 101 | 0.000 % |
361.92/361.97 c | 164709 | 1877 298711 1313786 | 2147483647 164709 101 | 0.000 % |
367.12/367.17 c | 166404 | 1877 298711 1313786 | 2147483647 166404 101 | 0.000 % |
367.42/367.50 c | 166506 | 1877 298711 1313786 | 2147483647 166506 101 | 0.000 % |
367.92/367.94 c | 166616 | 1877 298711 1313786 | 2147483647 166616 101 | 0.000 % |
368.12/368.19 c | 166737 | 1877 298711 1313786 | 2147483647 166737 101 | 0.000 % |
368.62/368.65 c | 166870 | 1877 298711 1313786 | 2147483647 166870 101 | 0.000 % |
369.32/369.38 c | 167016 | 1877 298711 1313786 | 2147483647 167016 101 | 0.000 % |
369.92/369.91 c | 167180 | 1877 298711 1313786 | 2147483647 167180 101 | 0.000 % |
370.32/370.32 c | 167357 | 1877 298711 1313786 | 2147483647 167357 101 | 0.000 % |
370.72/370.76 c | 167552 | 1877 298711 1313786 | 2147483647 167552 101 | 0.000 % |
371.72/371.74 c | 167767 | 1877 298711 1313786 | 2147483647 167767 101 | 0.000 % |
372.42/372.41 c | 168002 | 1877 298711 1313786 | 2147483647 168002 101 | 0.000 % |
373.32/373.33 c | 168258 | 1877 298711 1313786 | 2147483647 168258 101 | 0.000 % |
374.02/374.07 c | 168539 | 1877 298711 1313786 | 2147483647 168539 101 | 0.000 % |
375.12/375.20 c | 168848 | 1877 298711 1313786 | 2147483647 168848 101 | 0.000 % |
376.12/376.14 c | 169187 | 1877 298711 1313786 | 2147483647 169187 101 | 0.000 % |
377.22/377.22 c | 169562 | 1877 298711 1313786 | 2147483647 169562 101 | 0.000 % |
377.92/378.00 c | 169972 | 1877 298711 1313786 | 2147483647 169972 101 | 0.000 % |
379.42/379.43 c | 170422 | 1877 298711 1313786 | 2147483647 170422 101 | 0.000 % |
381.42/381.41 c | 170916 | 1877 298711 1313786 | 2147483647 170916 101 | 0.000 % |
382.32/382.39 c | 171460 | 1877 298711 1313786 | 2147483647 171460 101 | 0.000 % |
384.02/384.05 c | 172056 | 1877 298711 1313786 | 2147483647 172056 101 | 0.000 % |
385.32/385.37 c | 172712 | 1877 298711 1313786 | 2147483647 172712 101 | 0.000 % |
387.23/387.26 c | 173437 | 1877 298711 1313786 | 2147483647 173437 101 | 0.000 % |
389.32/389.34 c | 174229 | 1877 298711 1313786 | 2147483647 174229 101 | 0.000 % |
390.92/391.01 c | 175101 | 1877 298711 1313786 | 2147483647 175101 101 | 0.000 % |
392.22/392.21 c | 176059 | 1877 298711 1313786 | 2147483647 176059 101 | 0.000 % |
395.12/395.13 c | 177114 | 1877 298711 1313786 | 2147483647 177114 101 | 0.000 % |
397.52/397.55 c | 178272 | 1877 298711 1313786 | 2147483647 178272 101 | 0.000 % |
399.52/399.54 c | 179546 | 1877 298711 1313786 | 2147483647 179546 101 | 0.000 % |
404.32/404.38 c | 180946 | 1877 298711 1313786 | 2147483647 180946 101 | 0.000 % |
406.52/406.56 c | 182486 | 1877 298711 1313786 | 2147483647 182486 101 | 0.000 % |
412.62/412.61 c | 184182 | 1877 298711 1313786 | 2147483647 184182 100 | 0.000 % |
418.52/418.56 c | 186048 | 1877 298711 1313786 | 2147483647 186048 100 | 0.000 % |
418.92/418.95 c | 186149 | 1877 298711 1313786 | 2147483647 186149 100 | 0.000 % |
419.42/419.47 c | 186264 | 1877 298711 1313786 | 2147483647 186264 100 | 0.000 % |
419.72/419.75 c | 186385 | 1877 298711 1313786 | 2147483647 186385 100 | 0.000 % |
420.12/420.20 c | 186518 | 1877 298711 1313786 | 2147483647 186518 100 | 0.000 % |
420.62/420.65 c | 186665 | 1877 298711 1313786 | 2147483647 186665 100 | 0.000 % |
421.02/421.06 c | 186826 | 1877 298711 1313786 | 2147483647 186826 100 | 0.000 % |
422.02/422.03 c | 187004 | 1877 298711 1313786 | 2147483647 187004 100 | 0.000 % |
422.72/422.76 c | 187198 | 1877 298711 1313786 | 2147483647 187198 100 | 0.000 % |
423.32/423.38 c | 187410 | 1877 298711 1313786 | 2147483647 187410 100 | 0.000 % |
424.02/424.03 c | 187643 | 1877 298711 1313786 | 2147483647 187643 100 | 0.000 % |
424.82/424.88 c | 187901 | 1877 298711 1313786 | 2147483647 187901 100 | 0.000 % |
425.42/425.48 c | 188184 | 1877 298711 1313786 | 2147483647 188184 100 | 0.000 % |
426.02/426.09 c | 188493 | 1877 298711 1313786 | 2147483647 188493 100 | 0.000 % |
426.83/426.87 c | 188832 | 1877 298711 1313786 | 2147483647 188832 100 | 0.000 % |
427.93/427.92 c | 189204 | 1877 298711 1313786 | 2147483647 189204 100 | 0.000 % |
428.82/428.90 c | 189613 | 1877 298711 1313786 | 2147483647 189613 100 | 0.000 % |
430.03/430.06 c | 190062 | 1877 298711 1313786 | 2147483647 190062 100 | 0.000 % |
431.63/431.62 c | 190559 | 1877 298711 1313786 | 2147483647 190559 100 | 0.000 % |
433.03/433.09 c | 191101 | 1877 298711 1313786 | 2147483647 191101 100 | 0.000 % |
434.53/434.60 c | 191699 | 1877 298711 1313786 | 2147483647 191699 100 | 0.000 % |
436.63/436.70 c | 192359 | 1877 298711 1313786 | 2147483647 192359 100 | 0.000 % |
439.63/439.66 c | 193084 | 1877 298711 1313786 | 2147483647 193084 100 | 0.000 % |
441.13/441.16 c | 193877 | 1877 298711 1313786 | 2147483647 193877 100 | 0.000 % |
443.23/443.27 c | 194748 | 1877 298711 1313786 | 2147483647 194748 100 | 0.000 % |
447.03/447.09 c | 195706 | 1877 298711 1313786 | 2147483647 195706 100 | 0.000 % |
450.73/450.75 c | 196761 | 1877 298711 1313786 | 2147483647 196761 100 | 0.000 % |
453.23/453.30 c | 197922 | 1877 298711 1313786 | 2147483647 197922 100 | 0.000 % |
457.43/457.50 c | 199196 | 1877 298711 1313786 | 2147483647 199196 100 | 0.000 % |
461.53/461.59 c | 200597 | 1877 298711 1313786 | 2147483647 200597 100 | 0.000 % |
466.83/466.83 c | 202137 | 1877 298711 1313786 | 2147483647 202137 101 | 0.000 % |
472.43/472.41 c | 203832 | 1877 298711 1313786 | 2147483647 203832 101 | 0.000 % |
477.03/477.04 c | 205696 | 1877 298711 1313786 | 2147483647 205696 101 | 0.000 % |
483.23/483.29 c | 207745 | 1877 298711 1313786 | 2147483647 207745 101 | 0.000 % |
483.43/483.48 c | 207845 | 1877 298711 1313786 | 2147483647 207845 101 | 0.000 % |
483.63/483.68 c | 207956 | 1877 298711 1313786 | 2147483647 207956 101 | 0.000 % |
483.93/483.95 c | 208079 | 1877 298711 1313786 | 2147483647 208079 101 | 0.000 % |
484.33/484.33 c | 208212 | 1877 298711 1313786 | 2147483647 208212 101 | 0.000 % |
484.93/484.93 c | 208359 | 1877 298711 1313786 | 2147483647 208359 101 | 0.000 % |
485.43/485.42 c | 208521 | 1877 298711 1313786 | 2147483647 208521 101 | 0.000 % |
485.83/485.90 c | 208697 | 1877 298711 1313786 | 2147483647 208697 101 | 0.000 % |
486.43/486.45 c | 208892 | 1877 298711 1313786 | 2147483647 208892 101 | 0.000 % |
487.23/487.29 c | 209108 | 1877 298711 1313786 | 2147483647 209108 101 | 0.000 % |
487.93/487.95 c | 209341 | 1877 298711 1313786 | 2147483647 209341 101 | 0.000 % |
488.93/488.98 c | 209598 | 1877 298711 1313786 | 2147483647 209598 101 | 0.000 % |
489.83/489.91 c | 209879 | 1877 298711 1313786 | 2147483647 209879 101 | 0.000 % |
490.63/490.66 c | 210188 | 1877 298711 1313786 | 2147483647 210188 101 | 0.000 % |
491.83/491.87 c | 210529 | 1877 298711 1313786 | 2147483647 210529 101 | 0.000 % |
492.93/492.97 c | 210901 | 1877 298711 1313786 | 2147483647 210901 101 | 0.000 % |
494.13/494.11 c | 211310 | 1877 298711 1313786 | 2147483647 211310 101 | 0.000 % |
495.53/495.55 c | 211760 | 1877 298711 1313786 | 2147483647 211760 101 | 0.000 % |
496.83/496.82 c | 212254 | 1877 298711 1313786 | 2147483647 212254 101 | 0.000 % |
498.43/498.43 c | 212796 | 1877 298711 1313786 | 2147483647 212796 101 | 0.000 % |
500.63/500.64 c | 213392 | 1877 298711 1313786 | 2147483647 213392 101 | 0.000 % |
502.73/502.73 c | 214047 | 1877 298711 1313786 | 2147483647 214047 101 | 0.000 % |
505.83/505.81 c | 214767 | 1877 298711 1313786 | 2147483647 214767 101 | 0.000 % |
509.83/509.83 c | 215560 | 1877 298711 1313786 | 2147483647 215560 101 | 0.000 % |
513.74/513.79 c | 216431 | 1877 298711 1313786 | 2147483647 216431 101 | 0.000 % |
516.53/516.52 c | 217390 | 1877 298711 1313786 | 2147483647 217390 101 | 0.000 % |
519.53/519.51 c | 218443 | 1877 298711 1313786 | 2147483647 218443 102 | 0.000 % |
522.83/522.85 c | 219601 | 1877 298711 1313786 | 2147483647 219601 102 | 0.000 % |
526.13/526.18 c | 220874 | 1877 298711 1313786 | 2147483647 220874 102 | 0.000 % |
529.53/529.52 c | 222274 | 1877 298711 1313786 | 2147483647 222274 102 | 0.000 % |
534.73/534.78 c | 223814 | 1877 298711 1313786 | 2147483647 223814 102 | 0.000 % |
541.73/541.74 c | 225509 | 1877 298711 1313786 | 2147483647 225509 101 | 0.000 % |
548.84/548.83 c | 227373 | 1877 298711 1313786 | 2147483647 227373 101 | 0.000 % |
553.44/553.42 c | 229423 | 1877 298711 1313786 | 2147483647 229423 101 | 0.000 % |
559.24/559.25 c | 231676 | 1877 298711 1313786 | 2147483647 231676 102 | 0.000 % |
559.44/559.45 c | 231777 | 1877 298711 1313786 | 2147483647 231777 102 | 0.000 % |
559.95/559.96 c | 231887 | 1877 298711 1313786 | 2147483647 231887 102 | 0.000 % |
560.55/560.56 c | 232008 | 1877 298711 1313786 | 2147483647 232008 102 | 0.000 % |
561.15/561.16 c | 232143 | 1877 298711 1313786 | 2147483647 232143 102 | 0.000 % |
561.65/561.69 c | 232291 | 1877 298711 1313786 | 2147483647 232291 102 | 0.000 % |
562.05/562.12 c | 232451 | 1877 298711 1313786 | 2147483647 232451 102 | 0.000 % |
562.55/562.59 c | 232629 | 1877 298711 1313786 | 2147483647 232629 102 | 0.000 % |
563.45/563.44 c | 232822 | 1877 298711 1313786 | 2147483647 232822 102 | 0.000 % |
564.15/564.17 c | 233035 | 1877 298711 1313786 | 2147483647 233035 102 | 0.000 % |
564.85/564.90 c | 233268 | 1877 298711 1313786 | 2147483647 233268 102 | 0.000 % |
566.05/566.06 c | 233524 | 1877 298711 1313786 | 2147483647 233524 102 | 0.000 % |
567.15/567.13 c | 233805 | 1877 298711 1313786 | 2147483647 233805 102 | 0.000 % |
568.05/568.04 c | 234114 | 1877 298711 1313786 | 2147483647 234114 102 | 0.000 % |
568.85/568.84 c | 234453 | 1877 298711 1313786 | 2147483647 234453 102 | 0.000 % |
570.55/570.55 c | 234825 | 1877 298711 1313786 | 2147483647 234825 102 | 0.000 % |
571.85/571.89 c | 235235 | 1877 298711 1313786 | 2147483647 235235 102 | 0.000 % |
573.35/573.36 c | 235686 | 1877 298711 1313786 | 2147483647 235686 102 | 0.000 % |
574.75/574.81 c | 236179 | 1877 298711 1313786 | 2147483647 236179 102 | 0.000 % |
576.65/576.63 c | 236721 | 1877 298711 1313786 | 2147483647 236721 102 | 0.001 % |
578.15/578.16 c | 237318 | 1877 298711 1313786 | 2147483647 237318 102 | 0.000 % |
579.35/579.38 c | 237974 | 1877 298711 1313786 | 2147483647 237974 102 | 0.000 % |
583.15/583.15 c | 238694 | 1877 298711 1313786 | 2147483647 238694 102 | 0.000 % |
585.45/585.50 c | 239487 | 1877 298711 1313786 | 2147483647 239487 102 | 0.000 % |
588.15/588.13 c | 240359 | 1877 298711 1313786 | 2147483647 240359 101 | 0.000 % |
590.25/590.32 c | 241318 | 1877 298711 1313786 | 2147483647 241318 101 | 0.000 % |
593.05/593.10 c | 242374 | 1877 298711 1313786 | 2147483647 242374 101 | 0.000 % |
596.25/596.30 c | 243532 | 1877 298711 1313786 | 2147483647 243532 101 | 0.000 % |
602.75/602.81 c | 244807 | 1877 298711 1313786 | 2147483647 244807 101 | 0.000 % |
605.35/605.39 c | 246208 | 1877 298711 1313786 | 2147483647 246208 101 | 0.000 % |
610.05/610.08 c | 247751 | 1877 298711 1313786 | 2147483647 247751 101 | 0.000 % |
616.55/616.59 c | 249445 | 1877 298711 1313786 | 2147483647 249445 101 | 0.000 % |
623.65/623.66 c | 251308 | 1877 298711 1313786 | 2147483647 251308 102 | 0.000 % |
629.34/629.40 c | 253359 | 1877 298711 1313786 | 2147483647 253359 102 | 0.000 % |
635.94/635.93 c | 255612 | 1877 298711 1313786 | 2147483647 255612 102 | 0.000 % |
641.94/641.95 c | 258090 | 1877 298711 1313786 | 2147483647 258090 102 | 0.000 % |
642.64/642.61 c | 258190 | 1877 298711 1313786 | 2147483647 258190 102 | 0.000 % |
642.94/642.97 c | 258300 | 1877 298711 1313786 | 2147483647 258300 102 | 0.000 % |
643.44/643.47 c | 258421 | 1877 298711 1313786 | 2147483647 258421 102 | 0.000 % |
644.04/644.02 c | 258554 | 1877 298711 1313786 | 2147483647 258554 102 | 0.000 % |
644.74/644.72 c | 258701 | 1877 298711 1313786 | 2147483647 258701 102 | 0.000 % |
645.64/645.64 c | 258861 | 1877 298711 1313786 | 2147483647 258861 102 | 0.000 % |
646.24/646.22 c | 259038 | 1877 298711 1313786 | 2147483647 259038 102 | 0.000 % |
646.94/646.95 c | 259231 | 1877 298711 1313786 | 2147483647 259231 102 | 0.000 % |
647.54/647.57 c | 259445 | 1877 298711 1313786 | 2147483647 259445 102 | 0.000 % |
649.24/649.28 c | 259678 | 1877 298711 1313786 | 2147483647 259678 102 | 0.000 % |
650.64/650.63 c | 259934 | 1877 298711 1313786 | 2147483647 259934 102 | 0.000 % |
652.24/652.26 c | 260215 | 1877 298711 1313786 | 2147483647 260215 102 | 0.000 % |
654.04/654.04 c | 260524 | 1877 298711 1313786 | 2147483647 260524 102 | 0.000 % |
655.24/655.28 c | 260863 | 1877 298711 1313786 | 2147483647 260863 102 | 0.000 % |
657.14/657.15 c | 261236 | 1877 298711 1313786 | 2147483647 261236 102 | 0.000 % |
658.34/658.38 c | 261647 | 1877 298711 1313786 | 2147483647 261647 102 | 0.000 % |
659.84/659.90 c | 262097 | 1877 298711 1313786 | 2147483647 262097 102 | 0.000 % |
662.14/662.12 c | 262591 | 1877 298711 1313786 | 2147483647 262591 102 | 0.000 % |
664.14/664.13 c | 263133 | 1877 298711 1313786 | 2147483647 263133 102 | 0.000 % |
665.94/665.92 c | 263729 | 1877 298711 1313786 | 2147483647 263729 102 | 0.000 % |
667.75/667.75 c | 264385 | 1877 298711 1313786 | 2147483647 264385 102 | 0.000 % |
670.04/670.10 c | 265109 | 1877 298711 1313786 | 2147483647 265109 102 | 0.000 % |
673.44/673.49 c | 265903 | 1877 298711 1313786 | 2147483647 265903 102 | 0.000 % |
677.94/677.94 c | 266774 | 1877 298711 1313786 | 2147483647 266774 102 | 0.000 % |
681.94/681.94 c | 267732 | 1877 298711 1313786 | 2147483647 267732 102 | 0.000 % |
684.04/684.10 c | 268785 | 1877 298711 1313786 | 2147483647 268785 102 | 0.000 % |
688.04/688.05 c | 269944 | 1877 298711 1313786 | 2147483647 269944 102 | 0.000 % |
691.85/691.87 c | 271218 | 1877 298711 1313786 | 2147483647 271218 102 | 0.000 % |
697.05/697.07 c | 272619 | 1877 298711 1313786 | 2147483647 272619 102 | 0.000 % |
702.55/702.55 c | 274159 | 1877 298711 1313786 | 2147483647 274159 102 | 0.000 % |
710.75/710.73 c | 275853 | 1877 298711 1313786 | 2147483647 275853 102 | 0.000 % |
720.35/720.32 c | 277717 | 1877 298711 1313786 | 2147483647 277717 102 | 0.000 % |
729.45/729.47 c | 279767 | 1877 298711 1313786 | 2147483647 279767 102 | 0.000 % |
735.25/735.21 c | 282021 | 1877 298711 1313786 | 2147483647 282021 101 | 0.000 % |
743.25/743.30 c | 284500 | 1877 298711 1313786 | 2147483647 284500 101 | 0.000 % |
752.45/752.50 c | 287225 | 1877 298711 1313786 | 2147483647 287225 102 | 0.000 % |
752.95/752.98 c | 287325 | 1877 298711 1313786 | 2147483647 287325 102 | 0.000 % |
753.65/753.62 c | 287435 | 1877 298711 1313786 | 2147483647 287435 102 | 0.000 % |
753.95/753.97 c | 287556 | 1877 298711 1313786 | 2147483647 287556 102 | 0.000 % |
754.45/754.47 c | 287690 | 1877 298711 1313786 | 2147483647 287690 102 | 0.000 % |
755.35/755.33 c | 287837 | 1877 298711 1313786 | 2147483647 287837 102 | 0.000 % |
755.95/755.93 c | 288001 | 1877 298711 1313786 | 2147483647 288001 102 | 0.000 % |
756.95/756.93 c | 288178 | 1877 298711 1313786 | 2147483647 288178 102 | 0.000 % |
757.95/757.93 c | 288372 | 1877 298711 1313786 | 2147483647 288372 102 | 0.000 % |
758.95/758.93 c | 288586 | 1877 298711 1313786 | 2147483647 288586 102 | 0.000 % |
759.95/759.95 c | 288820 | 1877 298711 1313786 | 2147483647 288820 102 | 0.000 % |
761.35/761.32 c | 289077 | 1877 298711 1313786 | 2147483647 289077 102 | 0.000 % |
762.45/762.45 c | 289358 | 1877 298711 1313786 | 2147483647 289358 102 | 0.000 % |
764.15/764.19 c | 289667 | 1877 298711 1313786 | 2147483647 289667 102 | 0.000 % |
765.35/765.40 c | 290006 | 1877 298711 1313786 | 2147483647 290006 102 | 0.000 % |
766.55/766.60 c | 290378 | 1877 298711 1313786 | 2147483647 290378 102 | 0.000 % |
768.55/768.54 c | 290787 | 1877 298711 1313786 | 2147483647 290787 102 | 0.000 % |
769.75/769.80 c | 291238 | 1877 298711 1313786 | 2147483647 291238 102 | 0.000 % |
771.65/771.69 c | 291731 | 1877 298711 1313786 | 2147483647 291731 102 | 0.000 % |
773.75/773.73 c | 292276 | 1877 298711 1313786 | 2147483647 292276 102 | 0.000 % |
775.45/775.48 c | 292873 | 1877 298711 1313786 | 2147483647 292873 102 | 0.000 % |
777.15/777.16 c | 293528 | 1877 298711 1313786 | 2147483647 293528 102 | 0.000 % |
780.15/780.13 c | 294250 | 1877 298711 1313786 | 2147483647 294250 102 | 0.000 % |
783.55/783.56 c | 295044 | 1877 298711 1313786 | 2147483647 295044 102 | 0.000 % |
787.55/787.57 c | 295916 | 1877 298711 1313786 | 2147483647 295916 102 | 0.000 % |
793.45/793.50 c | 296874 | 1877 298711 1313786 | 2147483647 296874 102 | 0.000 % |
799.15/799.11 c | 297928 | 1877 298711 1313786 | 2147483647 297928 102 | 0.000 % |
805.45/805.45 c | 299088 | 1877 298711 1313786 | 2147483647 299088 102 | 0.000 % |
810.05/810.03 c | 300364 | 1877 298711 1313786 | 2147483647 300364 102 | 0.000 % |
817.15/817.12 c | 301764 | 1877 298711 1313786 | 2147483647 301764 102 | 0.000 % |
823.86/823.86 c | 303305 | 1877 298711 1313786 | 2147483647 303305 102 | 0.000 % |
832.06/832.10 c | 305000 | 1877 298711 1313786 | 2147483647 305000 102 | 0.000 % |
838.06/838.04 c | 306864 | 1877 298711 1313786 | 2147483647 306864 102 | 0.000 % |
845.86/845.91 c | 308913 | 1877 298711 1313786 | 2147483647 308913 102 | 0.000 % |
857.96/857.99 c | 311166 | 1877 298711 1313786 | 2147483647 311166 102 | 0.000 % |
864.96/864.96 c | 313646 | 1877 298711 1313786 | 2147483647 313646 102 | 0.000 % |
872.96/872.95 c | 316372 | 1877 298711 1313786 | 2147483647 316372 102 | 0.000 % |
885.56/885.52 c | 319370 | 1877 298711 1313786 | 2147483647 319370 102 | 0.000 % |
885.86/885.86 c | 319471 | 1877 298711 1313786 | 2147483647 319471 102 | 0.000 % |
886.46/886.41 c | 319581 | 1877 298711 1313786 | 2147483647 319581 102 | 0.000 % |
887.36/887.31 c | 319703 | 1877 298711 1313786 | 2147483647 319703 102 | 0.000 % |
888.16/888.20 c | 319837 | 1877 298711 1313786 | 2147483647 319837 102 | 0.000 % |
889.16/889.18 c | 319983 | 1877 298711 1313786 | 2147483647 319983 102 | 0.000 % |
889.66/889.66 c | 320143 | 1877 298711 1313786 | 2147483647 320143 102 | 0.000 % |
890.86/890.84 c | 320319 | 1877 298711 1313786 | 2147483647 320319 102 | 0.000 % |
891.46/891.50 c | 320512 | 1877 298711 1313786 | 2147483647 320512 102 | 0.000 % |
892.46/892.45 c | 320724 | 1877 298711 1313786 | 2147483647 320724 102 | 0.000 % |
894.36/894.40 c | 320960 | 1877 298711 1313786 | 2147483647 320960 102 | 0.000 % |
896.06/896.02 c | 321216 | 1877 298711 1313786 | 2147483647 321216 102 | 0.000 % |
896.96/896.96 c | 321497 | 1877 298711 1313786 | 2147483647 321497 102 | 0.000 % |
898.66/898.68 c | 321806 | 1877 298711 1313786 | 2147483647 321806 102 | 0.000 % |
900.17/900.18 c | 322146 | 1877 298711 1313786 | 2147483647 322146 102 | 0.000 % |
901.87/901.88 c | 322518 | 1877 298711 1313786 | 2147483647 322518 102 | 0.000 % |
903.97/903.93 c | 322928 | 1877 298711 1313786 | 2147483647 322928 102 | 0.000 % |
905.77/905.74 c | 323382 | 1877 298711 1313786 | 2147483647 323382 102 | 0.000 % |
908.17/908.16 c | 323875 | 1877 298711 1313786 | 2147483647 323875 102 | 0.000 % |
911.27/911.28 c | 324418 | 1877 298711 1313786 | 2147483647 324418 102 | 0.000 % |
913.57/913.57 c | 325014 | 1877 298711 1313786 | 2147483647 325014 102 | 0.000 % |
916.07/916.08 c | 325670 | 1877 298711 1313786 | 2147483647 325670 102 | 0.000 % |
918.17/918.19 c | 326391 | 1877 298711 1313786 | 2147483647 326391 102 | 0.000 % |
920.87/920.85 c | 327183 | 1877 298711 1313786 | 2147483647 327183 102 | 0.000 % |
923.87/923.86 c | 328054 | 1877 298711 1313786 | 2147483647 328054 102 | 0.000 % |
926.97/926.95 c | 329012 | 1877 298711 1313786 | 2147483647 329012 102 | 0.000 % |
930.97/930.95 c | 330069 | 1877 298711 1313786 | 2147483647 330069 102 | 0.000 % |
934.57/934.58 c | 331229 | 1877 298711 1313786 | 2147483647 331229 102 | 0.000 % |
938.77/938.77 c | 332503 | 1877 298711 1313786 | 2147483647 332503 102 | 0.000 % |
942.67/942.63 c | 333904 | 1877 298711 1313786 | 2147483647 333904 103 | 0.000 % |
950.87/950.88 c | 335444 | 1877 298711 1313786 | 2147483647 335444 103 | 0.000 % |
959.58/959.53 c | 337140 | 1877 298711 1313786 | 2147483647 337140 103 | 0.000 % |
966.28/966.26 c | 339005 | 1877 298711 1313786 | 2147483647 339005 103 | 0.000 % |
973.18/973.16 c | 341055 | 1877 298711 1313786 | 2147483647 341055 103 | 0.000 % |
983.38/983.40 c | 343310 | 1877 298711 1313786 | 2147483647 343310 103 | 0.000 % |
998.37/998.40 c | 345793 | 1877 298711 1313786 | 2147483647 345793 103 | 0.000 % |
1010.87/1010.85 c | 348520 | 1877 298711 1313786 | 2147483647 348520 103 | 0.000 % |
1020.87/1020.85 c | 351518 | 1877 298711 1313786 | 2147483647 351518 103 | 0.000 % |
1037.17/1037.14 c | 354821 | 1877 298711 1313786 | 2147483647 354821 103 | 0.000 % |
1037.87/1037.86 c | 354922 | 1877 298711 1313786 | 2147483647 354922 103 | 0.000 % |
1038.67/1038.68 c | 355032 | 1877 298711 1313786 | 2147483647 355032 103 | 0.000 % |
1039.58/1039.56 c | 355154 | 1877 298711 1313786 | 2147483647 355154 103 | 0.000 % |
1040.27/1040.26 c | 355287 | 1877 298711 1313786 | 2147483647 355287 103 | 0.000 % |
1041.07/1041.07 c | 355433 | 1877 298711 1313786 | 2147483647 355433 103 | 0.000 % |
1041.67/1041.71 c | 355594 | 1877 298711 1313786 | 2147483647 355594 103 | 0.000 % |
1042.47/1042.49 c | 355771 | 1877 298711 1313786 | 2147483647 355771 103 | 0.000 % |
1043.37/1043.36 c | 355964 | 1877 298711 1313786 | 2147483647 355964 103 | 0.000 % |
1044.27/1044.26 c | 356177 | 1877 298711 1313786 | 2147483647 356177 103 | 0.000 % |
1046.18/1046.15 c | 356412 | 1877 298711 1313786 | 2147483647 356412 103 | 0.000 % |
1047.67/1047.62 c | 356669 | 1877 298711 1313786 | 2147483647 356669 103 | 0.000 % |
1048.77/1048.80 c | 356950 | 1877 298711 1313786 | 2147483647 356950 103 | 0.000 % |
1050.27/1050.28 c | 357260 | 1877 298711 1313786 | 2147483647 357260 103 | 0.000 % |
1051.37/1051.37 c | 357599 | 1877 298711 1313786 | 2147483647 357599 103 | 0.000 % |
1053.47/1053.42 c | 357972 | 1877 298711 1313786 | 2147483647 357972 103 | 0.000 % |
1055.57/1055.57 c | 358381 | 1877 298711 1313786 | 2147483647 358381 103 | 0.000 % |
1058.77/1058.72 c | 358831 | 1877 298711 1313786 | 2147483647 358831 103 | 0.000 % |
1061.47/1061.51 c | 359325 | 1877 298711 1313786 | 2147483647 359325 103 | 0.000 % |
1065.47/1065.48 c | 359867 | 1877 298711 1313786 | 2147483647 359867 103 | 0.000 % |
1067.57/1067.53 c | 360464 | 1877 298711 1313786 | 2147483647 360464 103 | 0.000 % |
1070.27/1070.21 c | 361119 | 1877 298711 1313786 | 2147483647 361119 103 | 0.000 % |
1072.17/1072.16 c | 361840 | 1877 298711 1313786 | 2147483647 361840 103 | 0.000 % |
1075.37/1075.31 c | 362636 | 1877 298711 1313786 | 2147483647 362636 103 | 0.000 % |
1079.37/1079.39 c | 363508 | 1877 298711 1313786 | 2147483647 363508 103 | 0.000 % |
1084.78/1084.72 c | 364467 | 1877 298711 1313786 | 2147483647 364467 103 | 0.000 % |
1088.58/1088.60 c | 365520 | 1877 298711 1313786 | 2147483647 365520 103 | 0.000 % |
1094.58/1094.55 c | 366678 | 1877 298711 1313786 | 2147483647 366678 103 | 0.000 % |
1099.48/1099.46 c | 367955 | 1877 298711 1313786 | 2147483647 367955 103 | 0.000 % |
1103.98/1103.97 c | 369355 | 1877 298711 1313786 | 2147483647 369355 103 | 0.000 % |
1110.48/1110.45 c | 370895 | 1877 298711 1313786 | 2147483647 370895 103 | 0.000 % |
1120.08/1120.10 c | 372591 | 1877 298711 1313786 | 2147483647 372591 103 | 0.000 % |
1129.28/1129.27 c | 374454 | 1877 298711 1313786 | 2147483647 374454 103 | 0.000 % |
1141.78/1141.71 c | 376505 | 1877 298711 1313786 | 2147483647 376505 103 | 0.000 % |
1156.48/1156.50 c | 378760 | 1877 298711 1313786 | 2147483647 378760 103 | 0.000 % |
1167.38/1167.34 c | 381240 | 1877 298711 1313786 | 2147483647 381240 104 | 0.000 % |
1186.18/1186.13 c | 383965 | 1877 298711 1313786 | 2147483647 383965 104 | 0.000 % |
1196.78/1196.75 c | 386965 | 1877 298711 1313786 | 2147483647 386965 104 | 0.000 % |
1200.08/1200.03 HOME/SatELiteGTI: line 36: 28776 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-1821712-1242555847/watcher-1821712-1242555847 -o /tmp/evaluation-result-1821712-1242555847/solver-1821712-1242555847 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821712-1242555847.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.12 1.10 1.03 2/91 28769
/proc/meminfo: memFree=872296/2074464 swapFree=1952056/1959888
[pid=28769] ppid=28767 vsize=2412 CPUtime=0.01
/proc/28769/stat : 28769 (SatELiteGTI) S 28767 28769 15108 0 -1 4194304 367 646 0 0 1 0 0 0 18 0 1 0 1020082841 2469888 277 4294967295 134512640 135169312 3213298624 3213297160 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28769/statm: 603 277 235 161 0 42 0
[pid=28773] ppid=28769 vsize=952 CPUtime=0
/proc/28773/stat : 28773 (SatELite_releas) R 28769 28769 15108 0 -1 4202496 120 0 0 0 0 0 0 0 20 0 1 0 1020082841 974848 56 4294967295 134512640 135223648 3213515744 3213514340 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/28773/statm: 238 58 45 174 0 63 0
[startup+0.070819 s]
/proc/loadavg: 1.12 1.10 1.03 2/91 28769
/proc/meminfo: memFree=872296/2074464 swapFree=1952056/1959888
[pid=28769] ppid=28767 vsize=2412 CPUtime=0.01
/proc/28769/stat : 28769 (SatELiteGTI) S 28767 28769 15108 0 -1 4194304 367 646 0 0 1 0 0 0 18 0 1 0 1020082841 2469888 277 4294967295 134512640 135169312 3213298624 3213297160 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28769/statm: 603 277 235 161 0 42 0
[pid=28773] ppid=28769 vsize=6960 CPUtime=0.07
/proc/28773/stat : 28773 (SatELite_releas) R 28769 28769 15108 0 -1 4202496 1597 0 0 0 5 2 0 0 20 0 1 0 1020082841 7127040 1533 4294967295 134512640 135223648 3213515744 3213514696 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/28773/statm: 1740 1533 46 174 0 1565 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9372
[startup+0.110814 s]
/proc/loadavg: 1.12 1.10 1.03 2/91 28769
/proc/meminfo: memFree=872296/2074464 swapFree=1952056/1959888
[pid=28769] ppid=28767 vsize=2412 CPUtime=0.01
/proc/28769/stat : 28769 (SatELiteGTI) S 28767 28769 15108 0 -1 4194304 367 646 0 0 1 0 0 0 18 0 1 0 1020082841 2469888 277 4294967295 134512640 135169312 3213298624 3213297160 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28769/statm: 603 277 235 161 0 42 0
[pid=28773] ppid=28769 vsize=9980 CPUtime=0.11
/proc/28773/stat : 28773 (SatELite_releas) R 28769 28769 15108 0 -1 4202496 2320 0 0 0 9 2 0 0 20 0 1 0 1020082841 10219520 2256 4294967295 134512640 135223648 3213515744 3213514244 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/28773/statm: 2495 2258 46 174 0 2320 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 12392
[startup+0.3108 s]
/proc/loadavg: 1.12 1.10 1.03 2/91 28769
/proc/meminfo: memFree=872296/2074464 swapFree=1952056/1959888
[pid=28769] ppid=28767 vsize=2412 CPUtime=0.01
/proc/28769/stat : 28769 (SatELiteGTI) S 28767 28769 15108 0 -1 4194304 367 646 0 0 1 0 0 0 18 0 1 0 1020082841 2469888 277 4294967295 134512640 135169312 3213298624 3213297160 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28769/statm: 603 277 235 161 0 42 0
[pid=28773] ppid=28769 vsize=23204 CPUtime=0.31
/proc/28773/stat : 28773 (SatELite_releas) R 28769 28769 15108 0 -1 4202496 5475 0 0 0 27 4 0 0 21 0 1 0 1020082841 23760896 5411 4294967295 134512640 135223648 3213515744 3213513520 134585461 0 0 0 3 0 0 0 17 1 0 0 0
/proc/28773/statm: 5801 5411 73 174 0 5626 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 25616
[startup+0.710769 s]
/proc/loadavg: 1.12 1.10 1.03 2/91 28769
/proc/meminfo: memFree=872296/2074464 swapFree=1952056/1959888
[pid=28769] ppid=28767 vsize=2412 CPUtime=0.01
/proc/28769/stat : 28769 (SatELiteGTI) S 28767 28769 15108 0 -1 4194304 367 646 0 0 1 0 0 0 18 0 1 0 1020082841 2469888 277 4294967295 134512640 135169312 3213298624 3213297160 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28769/statm: 603 277 235 161 0 42 0
[pid=28773] ppid=28769 vsize=26700 CPUtime=0.71
/proc/28773/stat : 28773 (SatELite_releas) R 28769 28769 15108 0 -1 4202496 6032 0 0 0 67 4 0 0 22 0 1 0 1020082841 27340800 5968 4294967295 134512640 135223648 3213515744 3213513744 134548984 0 0 0 3 0 0 0 17 1 0 0 0
/proc/28773/statm: 6675 5968 73 174 0 6500 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 29112
[startup+1.51071 s]
/proc/loadavg: 1.12 1.10 1.03 2/93 28774
/proc/meminfo: memFree=846876/2074464 swapFree=1952056/1959888
[pid=28769] ppid=28767 vsize=2412 CPUtime=0.01
/proc/28769/stat : 28769 (SatELiteGTI) S 28767 28769 15108 0 -1 4194304 367 646 0 0 1 0 0 0 18 0 1 0 1020082841 2469888 277 4294967295 134512640 135169312 3213298624 3213297160 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28769/statm: 603 277 235 161 0 42 0
[pid=28773] ppid=28769 vsize=32928 CPUtime=1.51
/proc/28773/stat : 28773 (SatELite_releas) R 28769 28769 15108 0 -1 4202496 7479 0 0 0 146 5 0 0 25 0 1 0 1020082841 33718272 7415 4294967295 134512640 135223648 3213515744 3213513840 134585507 0 0 0 3 0 0 0 17 1 0 0 0
/proc/28773/statm: 8232 7415 73 174 0 8057 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 35340
[startup+3.11058 s]
/proc/loadavg: 1.11 1.10 1.03 2/93 28774
/proc/meminfo: memFree=841916/2074464 swapFree=1952056/1959888
[pid=28769] ppid=28767 vsize=2412 CPUtime=0.01
/proc/28769/stat : 28769 (SatELiteGTI) S 28767 28769 15108 0 -1 4194304 367 646 0 0 1 0 0 0 18 0 1 0 1020082841 2469888 277 4294967295 134512640 135169312 3213298624 3213297160 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28769/statm: 603 277 235 161 0 42 0
[pid=28773] ppid=28769 vsize=32928 CPUtime=3.11
/proc/28773/stat : 28773 (SatELite_releas) R 28769 28769 15108 0 -1 4202496 7479 0 0 0 306 5 0 0 25 0 1 0 1020082841 33718272 7415 4294967295 134512640 135223648 3213515744 3213513840 134585471 0 0 0 3 0 0 0 17 1 0 0 0
/proc/28773/statm: 8232 7415 73 174 0 8057 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 35340
[startup+6.31034 s]
/proc/loadavg: 1.11 1.10 1.03 2/93 28776
/proc/meminfo: memFree=849452/2074464 swapFree=1952056/1959888
[pid=28769] ppid=28767 vsize=2416 CPUtime=4.77
/proc/28769/stat : 28769 (SatELiteGTI) S 28767 28769 15108 0 -1 4194304 386 8128 0 0 1 0 468 8 15 0 1 0 1020082841 2473984 278 4294967295 134512640 135169312 3213298624 3213294840 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28769/statm: 604 278 235 161 0 43 0
[pid=28776] ppid=28769 vsize=16812 CPUtime=1.54
/proc/28776/stat : 28776 (minisat_static) R 28769 28769 15108 0 -1 4202496 4141 0 0 0 149 5 0 0 24 0 1 0 1020083319 17215488 4076 4294967295 134512640 135215339 3218320608 3218318896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/28776/statm: 4203 4076 73 172 0 4030 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 19228
[startup+12.7098 s]
/proc/loadavg: 1.09 1.10 1.03 2/93 28776
/proc/meminfo: memFree=845796/2074464 swapFree=1952056/1959888
[pid=28769] ppid=28767 vsize=2416 CPUtime=4.77
/proc/28769/stat : 28769 (SatELiteGTI) S 28767 28769 15108 0 -1 4194304 386 8128 0 0 1 0 468 8 15 0 1 0 1020082841 2473984 278 4294967295 134512640 135169312 3213298624 3213294840 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28769/statm: 604 278 235 161 0 43 0
[pid=28776] ppid=28769 vsize=19764 CPUtime=7.94
/proc/28776/stat : 28776 (minisat_static) R 28769 28769 15108 0 -1 4202496 4882 0 0 0 789 5 0 0 25 0 1 0 1020083319 20238336 4817 4294967295 134512640 135215339 3218320608 3218318896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/28776/statm: 4941 4817 73 172 0 4768 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 22180
[startup+25.5089 s]
/proc/loadavg: 1.08 1.09 1.02 2/93 28777
/proc/meminfo: memFree=841924/2074464 swapFree=1952056/1959888
[pid=28769] ppid=28767 vsize=2416 CPUtime=4.77
/proc/28769/stat : 28769 (SatELiteGTI) S 28767 28769 15108 0 -1 4194304 386 8128 0 0 1 0 468 8 15 0 1 0 1020082841 2473984 278 4294967295 134512640 135169312 3213298624 3213294840 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28769/statm: 604 278 235 161 0 43 0
[pid=28776] ppid=28769 vsize=23776 CPUtime=20.74
/proc/28776/stat : 28776 (minisat_static) R 28769 28769 15108 0 -1 4202496 5871 0 0 0 2066 8 0 0 25 0 1 0 1020083319 24346624 5806 4294967295 134512640 135215339 3218320608 3218318896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/28776/statm: 5944 5806 73 172 0 5771 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 26192
[startup+51.1169 s]
/proc/loadavg: 1.05 1.09 1.02 2/93 28780
/proc/meminfo: memFree=833452/2074464 swapFree=1952056/1959888
[pid=28769] ppid=28767 vsize=2416 CPUtime=4.77
/proc/28769/stat : 28769 (SatELiteGTI) S 28767 28769 15108 0 -1 4194304 386 8128 0 0 1 0 468 8 15 0 1 0 1020082841 2473984 278 4294967295 134512640 135169312 3213298624 3213294840 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28769/statm: 604 278 235 161 0 43 0
[pid=28776] ppid=28769 vsize=32220 CPUtime=46.35
/proc/28776/stat : 28776 (minisat_static) R 28769 28769 15108 0 -1 4202496 7973 0 0 0 4624 11 0 0 25 0 1 0 1020083319 32993280 7908 4294967295 134512640 135215339 3218320608 3218318896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/28776/statm: 8055 7908 73 172 0 7882 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 34636
[startup+102.313 s]
/proc/loadavg: 1.02 1.07 1.02 3/93 28966
/proc/meminfo: memFree=821736/2074464 swapFree=1952056/1959888
[pid=28769] ppid=28767 vsize=2416 CPUtime=4.77
/proc/28769/stat : 28769 (SatELiteGTI) S 28767 28769 15108 0 -1 4194304 386 8128 0 0 1 0 468 8 15 0 1 0 1020082841 2473984 278 4294967295 134512640 135169312 3213298624 3213294840 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28769/statm: 604 278 235 161 0 43 0
[pid=28776] ppid=28769 vsize=43864 CPUtime=97.55
/proc/28776/stat : 28776 (minisat_static) R 28769 28769 15108 0 -1 4202496 10887 0 0 0 9742 13 0 0 25 0 1 0 1020083319 44916736 10822 4294967295 134512640 135215339 3218320608 3218318608 134532976 0 0 0 3 0 0 0 17 1 0 0 0
/proc/28776/statm: 10966 10822 73 172 0 10793 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 46280
[startup+162.308 s]
/proc/loadavg: 1.00 1.05 1.01 2/93 29154
/proc/meminfo: memFree=807848/2074464 swapFree=1952056/1959888
[pid=28769] ppid=28767 vsize=2416 CPUtime=4.77
/proc/28769/stat : 28769 (SatELiteGTI) S 28767 28769 15108 0 -1 4194304 386 8128 0 0 1 0 468 8 15 0 1 0 1020082841 2473984 278 4294967295 134512640 135169312 3213298624 3213294840 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28769/statm: 604 278 235 161 0 43 0
[pid=28776] ppid=28769 vsize=57864 CPUtime=157.55
/proc/28776/stat : 28776 (minisat_static) R 28769 28769 15108 0 -1 4202496 14377 0 0 0 15739 16 0 0 25 0 1 0 1020083319 59252736 14312 4294967295 134512640 135215339 3218320608 3218318896 134528821 0 0 0 3 0 0 0 17 1 0 0 0
/proc/28776/statm: 14466 14312 73 172 0 14293 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 60280
[startup+222.324 s]
/proc/loadavg: 1.00 1.04 1.00 2/93 29342
/proc/meminfo: memFree=797184/2074464 swapFree=1952056/1959888
[pid=28769] ppid=28767 vsize=2416 CPUtime=4.77
/proc/28769/stat : 28769 (SatELiteGTI) S 28767 28769 15108 0 -1 4194304 386 8128 0 0 1 0 468 8 15 0 1 0 1020082841 2473984 278 4294967295 134512640 135169312 3213298624 3213294840 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28769/statm: 604 278 235 161 0 43 0
[pid=28776] ppid=28769 vsize=68584 CPUtime=217.55
/proc/28776/stat : 28776 (minisat_static) R 28769 28769 15108 0 -1 4202496 17033 0 0 0 21735 20 0 0 25 0 1 0 1020083319 70230016 16968 4294967295 134512640 135215339 3218320608 3218318896 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/28776/statm: 17146 16968 73 172 0 16973 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 71000
[startup+282.309 s]
/proc/loadavg: 1.00 1.03 1.00 2/93 29535
/proc/meminfo: memFree=786224/2074464 swapFree=1952056/1959888
[pid=28769] ppid=28767 vsize=2416 CPUtime=4.77
/proc/28769/stat : 28769 (SatELiteGTI) S 28767 28769 15108 0 -1 4194304 386 8128 0 0 1 0 468 8 15 0 1 0 1020082841 2473984 278 4294967295 134512640 135169312 3213298624 3213294840 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28769/statm: 604 278 235 161 0 43 0
[pid=28776] ppid=28769 vsize=79572 CPUtime=277.54
/proc/28776/stat : 28776 (minisat_static) R 28769 28769 15108 0 -1 4202496 19771 0 0 0 27729 25 0 0 25 0 1 0 1020083319 81481728 19706 4294967295 134512640 135215339 3218320608 3218318896 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28776/statm: 19893 19706 73 172 0 19720 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 81988
[startup+342.315 s]
/proc/loadavg: 1.00 1.02 1.00 3/93 29720
/proc/meminfo: memFree=777032/2074464 swapFree=1952056/1959888
[pid=28769] ppid=28767 vsize=2416 CPUtime=4.77
/proc/28769/stat : 28769 (SatELiteGTI) S 28767 28769 15108 0 -1 4194304 386 8128 0 0 1 0 468 8 15 0 1 0 1020082841 2473984 278 4294967295 134512640 135169312 3213298624 3213294840 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28769/statm: 604 278 235 161 0 43 0
[pid=28776] ppid=28769 vsize=88680 CPUtime=337.55
/proc/28776/stat : 28776 (minisat_static) R 28769 28769 15108 0 -1 4202496 21992 0 0 0 33728 27 0 0 25 0 1 0 1020083319 90808320 21927 4294967295 134512640 135215339 3218320608 3218318896 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28776/statm: 22170 21927 73 172 0 21997 0
Current children cumulated CPU time (s) 342.32
################
# More data... #
################
/proc/28769/statm: 604 278 235 161 0 43 0
[pid=28776] ppid=28769 vsize=108088 CPUtime=457.56
/proc/28776/stat : 28776 (minisat_static) R 28769 28769 15108 0 -1 4202496 26836 0 0 0 45723 33 0 0 25 0 1 0 1020083319 110682112 26771 4294967295 134512640 135215339 3218320608 3218318896 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28776/statm: 27022 26771 73 172 0 26849 0
Current children cumulated CPU time (s) 462.33
Current children cumulated vsize (KiB) 110504
[startup+522.311 s]
/proc/loadavg: 1.08 1.02 1.01 2/93 30287
/proc/meminfo: memFree=748140/2074464 swapFree=1952056/1959888
[pid=28769] ppid=28767 vsize=2416 CPUtime=4.77
/proc/28769/stat : 28769 (SatELiteGTI) S 28767 28769 15108 0 -1 4194304 386 8128 0 0 1 0 468 8 15 0 1 0 1020082841 2473984 278 4294967295 134512640 135169312 3213298624 3213294840 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28769/statm: 604 278 235 161 0 43 0
[pid=28776] ppid=28769 vsize=117772 CPUtime=517.56
/proc/28776/stat : 28776 (minisat_static) R 28769 28769 15108 0 -1 4202496 29187 0 0 0 51719 37 0 0 25 0 1 0 1020083319 120598528 29122 4294967295 134512640 135215339 3218320608 3218318896 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28776/statm: 29443 29122 73 172 0 29270 0
Current children cumulated CPU time (s) 522.33
Current children cumulated vsize (KiB) 120188
[startup+582.326 s]
/proc/loadavg: 1.02 1.02 1.00 2/93 30476
/proc/meminfo: memFree=739088/2074464 swapFree=1952056/1959888
[pid=28769] ppid=28767 vsize=2416 CPUtime=4.77
/proc/28769/stat : 28769 (SatELiteGTI) S 28767 28769 15108 0 -1 4194304 386 8128 0 0 1 0 468 8 15 0 1 0 1020082841 2473984 278 4294967295 134512640 135169312 3213298624 3213294840 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28769/statm: 604 278 235 161 0 43 0
[pid=28776] ppid=28769 vsize=126656 CPUtime=577.58
/proc/28776/stat : 28776 (minisat_static) R 28769 28769 15108 0 -1 4202496 31376 0 0 0 57721 37 0 0 25 0 1 0 1020083319 129695744 31311 4294967295 134512640 135215339 3218320608 3218318896 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28776/statm: 31664 31311 73 172 0 31491 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 129072
[startup+642.312 s]
/proc/loadavg: 1.01 1.01 1.00 3/93 30661
/proc/meminfo: memFree=730052/2074464 swapFree=1952056/1959888
[pid=28769] ppid=28767 vsize=2416 CPUtime=4.77
/proc/28769/stat : 28769 (SatELiteGTI) S 28767 28769 15108 0 -1 4194304 386 8128 0 0 1 0 468 8 15 0 1 0 1020082841 2473984 278 4294967295 134512640 135169312 3213298624 3213294840 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28769/statm: 604 278 235 161 0 43 0
[pid=28776] ppid=28769 vsize=135544 CPUtime=637.57
/proc/28776/stat : 28776 (minisat_static) R 28769 28769 15108 0 -1 4202496 33613 0 0 0 63716 41 0 0 25 0 1 0 1020083319 138797056 33548 4294967295 134512640 135215339 3218320608 3218318644 134721382 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28776/statm: 33886 33548 73 172 0 33713 0
Current children cumulated CPU time (s) 642.34
Current children cumulated vsize (KiB) 137960
[startup+702.317 s]
/proc/loadavg: 1.13 1.04 1.01 2/93 30854
/proc/meminfo: memFree=722356/2074464 swapFree=1952056/1959888
[pid=28769] ppid=28767 vsize=2416 CPUtime=4.77
/proc/28769/stat : 28769 (SatELiteGTI) S 28767 28769 15108 0 -1 4194304 386 8128 0 0 1 0 468 8 15 0 1 0 1020082841 2473984 278 4294967295 134512640 135169312 3213298624 3213294840 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28769/statm: 604 278 235 161 0 43 0
[pid=28776] ppid=28769 vsize=143492 CPUtime=697.58
/proc/28776/stat : 28776 (minisat_static) R 28769 28769 15108 0 -1 4202496 35583 0 0 0 69717 41 0 0 25 0 1 0 1020083319 146935808 35518 4294967295 134512640 135215339 3218320608 3218318672 134539307 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28776/statm: 35873 35518 73 172 0 35700 0
Current children cumulated CPU time (s) 702.35
Current children cumulated vsize (KiB) 145908
[startup+762.312 s]
/proc/loadavg: 1.04 1.03 1.00 2/93 31042
/proc/meminfo: memFree=716016/2074464 swapFree=1952056/1959888
[pid=28769] ppid=28767 vsize=2416 CPUtime=4.77
/proc/28769/stat : 28769 (SatELiteGTI) S 28767 28769 15108 0 -1 4194304 386 8128 0 0 1 0 468 8 15 0 1 0 1020082841 2473984 278 4294967295 134512640 135169312 3213298624 3213294840 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28769/statm: 604 278 235 161 0 43 0
[pid=28776] ppid=28769 vsize=149700 CPUtime=757.58
/proc/28776/stat : 28776 (minisat_static) R 28769 28769 15108 0 -1 4202496 37129 0 0 0 75716 42 0 0 25 0 1 0 1020083319 153292800 37064 4294967295 134512640 135215339 3218320608 3218318896 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28776/statm: 37425 37064 73 172 0 37252 0
Current children cumulated CPU time (s) 762.35
Current children cumulated vsize (KiB) 152116
[startup+822.318 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 31230
/proc/meminfo: memFree=710056/2074464 swapFree=1952056/1959888
[pid=28769] ppid=28767 vsize=2416 CPUtime=4.77
/proc/28769/stat : 28769 (SatELiteGTI) S 28767 28769 15108 0 -1 4194304 386 8128 0 0 1 0 468 8 15 0 1 0 1020082841 2473984 278 4294967295 134512640 135169312 3213298624 3213294840 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28769/statm: 604 278 235 161 0 43 0
[pid=28776] ppid=28769 vsize=155840 CPUtime=817.59
/proc/28776/stat : 28776 (minisat_static) R 28769 28769 15108 0 -1 4202496 38679 0 0 0 81711 48 0 0 25 0 1 0 1020083319 159580160 38614 4294967295 134512640 135215339 3218320608 3218318896 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28776/statm: 38960 38614 73 172 0 38787 0
Current children cumulated CPU time (s) 822.36
Current children cumulated vsize (KiB) 158256
[startup+882.313 s]
/proc/loadavg: 1.00 1.02 1.00 2/93 31419
/proc/meminfo: memFree=702500/2074464 swapFree=1952056/1959888
[pid=28769] ppid=28767 vsize=2416 CPUtime=4.77
/proc/28769/stat : 28769 (SatELiteGTI) S 28767 28769 15108 0 -1 4194304 386 8128 0 0 1 0 468 8 15 0 1 0 1020082841 2473984 278 4294967295 134512640 135169312 3213298624 3213294840 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28769/statm: 604 278 235 161 0 43 0
[pid=28776] ppid=28769 vsize=163988 CPUtime=877.59
/proc/28776/stat : 28776 (minisat_static) R 28769 28769 15108 0 -1 4202496 40538 0 0 0 87710 49 0 0 25 0 1 0 1020083319 167923712 40473 4294967295 134512640 135215339 3218320608 3218318896 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28776/statm: 40997 40473 73 172 0 40824 0
Current children cumulated CPU time (s) 882.36
Current children cumulated vsize (KiB) 166404
[startup+942.319 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 31604
/proc/meminfo: memFree=694936/2074464 swapFree=1952056/1959888
[pid=28769] ppid=28767 vsize=2416 CPUtime=4.77
/proc/28769/stat : 28769 (SatELiteGTI) S 28767 28769 15108 0 -1 4194304 386 8128 0 0 1 0 468 8 15 0 1 0 1020082841 2473984 278 4294967295 134512640 135169312 3213298624 3213294840 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28769/statm: 604 278 235 161 0 43 0
[pid=28776] ppid=28769 vsize=171720 CPUtime=937.6
/proc/28776/stat : 28776 (minisat_static) R 28769 28769 15108 0 -1 4202496 42471 0 0 0 93708 52 0 0 25 0 1 0 1020083319 175841280 42406 4294967295 134512640 135215339 3218320608 3218318896 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28776/statm: 42930 42406 73 172 0 42757 0
Current children cumulated CPU time (s) 942.37
Current children cumulated vsize (KiB) 174136
[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 31797
/proc/meminfo: memFree=688744/2074464 swapFree=1952056/1959888
[pid=28769] ppid=28767 vsize=2416 CPUtime=4.77
/proc/28769/stat : 28769 (SatELiteGTI) S 28767 28769 15108 0 -1 4194304 386 8128 0 0 1 0 468 8 15 0 1 0 1020082841 2473984 278 4294967295 134512640 135169312 3213298624 3213294840 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28769/statm: 604 278 235 161 0 43 0
[pid=28776] ppid=28769 vsize=177960 CPUtime=997.6
/proc/28776/stat : 28776 (minisat_static) R 28769 28769 15108 0 -1 4202496 43976 0 0 0 99707 53 0 0 25 0 1 0 1020083319 182231040 43911 4294967295 134512640 135215339 3218320608 3218318896 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28776/statm: 44490 43911 73 172 0 44317 0
Current children cumulated CPU time (s) 1002.37
Current children cumulated vsize (KiB) 180376
[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 31985
/proc/meminfo: memFree=682520/2074464 swapFree=1952056/1959888
[pid=28769] ppid=28767 vsize=2416 CPUtime=4.77
/proc/28769/stat : 28769 (SatELiteGTI) S 28767 28769 15108 0 -1 4194304 386 8128 0 0 1 0 468 8 15 0 1 0 1020082841 2473984 278 4294967295 134512640 135169312 3213298624 3213294840 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28769/statm: 604 278 235 161 0 43 0
[pid=28776] ppid=28769 vsize=184240 CPUtime=1057.6
/proc/28776/stat : 28776 (minisat_static) R 28769 28769 15108 0 -1 4202496 45519 0 0 0 105706 54 0 0 25 0 1 0 1020083319 188661760 45454 4294967295 134512640 135215339 3218320608 3218318896 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28776/statm: 46060 45454 73 172 0 45887 0
Current children cumulated CPU time (s) 1062.37
Current children cumulated vsize (KiB) 186656
[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 32173
/proc/meminfo: memFree=675700/2074464 swapFree=1952056/1959888
[pid=28769] ppid=28767 vsize=2416 CPUtime=4.77
/proc/28769/stat : 28769 (SatELiteGTI) S 28767 28769 15108 0 -1 4194304 386 8128 0 0 1 0 468 8 15 0 1 0 1020082841 2473984 278 4294967295 134512640 135169312 3213298624 3213294840 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28769/statm: 604 278 235 161 0 43 0
[pid=28776] ppid=28769 vsize=190876 CPUtime=1117.61
/proc/28776/stat : 28776 (minisat_static) R 28769 28769 15108 0 -1 4202496 47208 0 0 0 111706 55 0 0 25 0 1 0 1020083319 195457024 47143 4294967295 134512640 135215339 3218320608 3218318896 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28776/statm: 47719 47143 73 172 0 47546 0
Current children cumulated CPU time (s) 1122.38
Current children cumulated vsize (KiB) 193292
[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 32362
/proc/meminfo: memFree=670136/2074464 swapFree=1952056/1959888
[pid=28769] ppid=28767 vsize=2416 CPUtime=4.77
/proc/28769/stat : 28769 (SatELiteGTI) S 28767 28769 15108 0 -1 4194304 386 8128 0 0 1 0 468 8 15 0 1 0 1020082841 2473984 278 4294967295 134512640 135169312 3213298624 3213294840 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28769/statm: 604 278 235 161 0 43 0
[pid=28776] ppid=28769 vsize=196412 CPUtime=1177.61
/proc/28776/stat : 28776 (minisat_static) R 28769 28769 15108 0 -1 4202496 48580 0 0 0 117706 55 0 0 25 0 1 0 1020083319 201125888 48515 4294967295 134512640 135215339 3218320608 3218318896 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28776/statm: 49103 48515 73 172 0 48930 0
Current children cumulated CPU time (s) 1182.38
Current children cumulated vsize (KiB) 198828
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.01 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 32545
/proc/meminfo: memFree=667780/2074464 swapFree=1952056/1959888
[pid=28769] ppid=28767 vsize=2416 CPUtime=4.77
/proc/28769/stat : 28769 (SatELiteGTI) S 28767 28769 15108 0 -1 4194304 386 8128 0 0 1 0 468 8 15 0 1 0 1020082841 2473984 278 4294967295 134512640 135169312 3213298624 3213294840 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28769/statm: 604 278 235 161 0 43 0
[pid=28776] ppid=28769 vsize=198496 CPUtime=1195.31
/proc/28776/stat : 28776 (minisat_static) R 28769 28769 15108 0 -1 4202496 49096 0 0 0 119476 55 0 0 25 0 1 0 1020083319 203259904 49031 4294967295 134512640 135215339 3218320608 3218318896 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28776/statm: 49624 49031 73 172 0 49451 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 200912
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1200.04
CPU time (s): 1200.1
CPU user time (s): 1199.45
CPU system time (s): 0.65
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 200912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.45
system time used= 0.65
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57887
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22
involuntary context switches= 2676
runsolver used 0.01 second user time and 0.05 second system time
The end
Begin job on tipi24 at 2009-05-17 12:24:07
IDJOB=1821712
IDBENCH=71071
IDSOLVER=657
FILE ID=tipi24/1821712-1242555847
PBS_JOBID=
Free space on /tmp= 9653 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_14_UNSAT.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821712-1242555847/watcher-1821712-1242555847 -o /tmp/evaluation-result-1821712-1242555847/solver-1821712-1242555847 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821712-1242555847.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 6d69d175921d14f1c2600aaedc59f514
RANDOM SEED= 118228377
Linux tipi24 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.75
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 872296 kB
Buffers: 52624 kB
Cached: 1033660 kB
SwapCached: 3828 kB
Active: 305236 kB
Inactive: 790396 kB
HighTotal: 1178688 kB
HighFree: 225468 kB
LowTotal: 895776 kB
LowFree: 646828 kB
SwapTotal: 1959888 kB
SwapFree: 1952056 kB
Dirty: 6560 kB
Writeback: 0 kB
AnonPages: 8788 kB
Mapped: 3420 kB
Slab: 97576 kB
PageTables: 460 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 87800 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9653 MiB
End job on tipi24 at 2009-05-17 12:44:08