0.00/0.00 c Parsing...
0.04/0.05 c ==============================================================================
0.04/0.05 c | | ORIGINAL | LEARNT | |
0.04/0.05 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.04/0.05 c ==============================================================================
0.04/0.05 c | 0 | 79453 236162 | 23835 0 0 nan | 0.000 % |
0.52/0.60 c | 0 | 78593 334041 | -- 0 -- -- | -- | -860/97879
0.52/0.60 c ==============================================================================
0.52/0.60 c Result : #vars: 871 #clauses: 78593 #literals: 334041
0.52/0.60 c CPU time: 0.6 s
0.52/0.60 c ==============================================================================
0.62/0.70 c This is MiniSat 2.0 beta
0.62/0.70 c WARNING: for repeatability, setting FPU to use double precision
0.62/0.70 c ============================[ Problem Statistics ]=============================
0.62/0.70 c | |
0.62/0.70 c | Number of variables: 871 |
0.62/0.70 c | Number of clauses: 78593 |
0.70/0.75 c | Parsing time: 0.04 s |
0.70/0.75 c ============================[ Search Statistics ]==============================
0.70/0.75 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.70/0.75 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.70/0.75 c ===============================================================================
0.70/0.75 c | 0 | 871 78593 334041 | 26197 0 nan | 0.000 % |
0.70/0.78 c | 100 | 871 78593 334041 | 26197 100 35 | 0.000 % |
0.70/0.81 c | 200 | 871 78593 334041 | 26197 200 41 | 0.000 % |
0.70/0.83 c | 302 | 871 78593 334041 | 26197 302 45 | 0.000 % |
0.70/0.85 c | 413 | 871 78593 334041 | 26197 413 47 | 0.000 % |
0.70/0.87 c | 514 | 871 78593 334041 | 26197 514 50 | 0.000 % |
0.70/0.89 c | 625 | 871 78593 334041 | 26197 625 52 | 0.000 % |
0.70/0.91 c | 749 | 871 78593 334041 | 26197 749 53 | 0.000 % |
0.70/0.93 c | 851 | 871 78593 334041 | 26197 851 55 | 0.000 % |
0.70/0.95 c | 964 | 871 78593 334041 | 26197 964 56 | 0.000 % |
0.70/0.99 c | 1085 | 871 78593 334041 | 26197 1085 57 | 0.000 % |
0.70/1.01 c | 1220 | 871 78593 334041 | 26197 1220 58 | 0.000 % |
1.02/1.03 c | 1321 | 871 78593 334041 | 26197 1321 59 | 0.000 % |
1.02/1.06 c | 1431 | 871 78593 334041 | 26197 1431 59 | 0.000 % |
1.02/1.09 c | 1554 | 871 78593 334041 | 26197 1554 59 | 0.000 % |
1.12/1.12 c | 1687 | 871 78593 334041 | 26197 1687 60 | 0.000 % |
1.12/1.15 c | 1837 | 871 78593 334041 | 26197 1837 60 | 0.000 % |
1.12/1.17 c | 1937 | 871 78593 334041 | 26197 1937 60 | 0.000 % |
1.12/1.20 c | 2048 | 871 78593 334041 | 26197 2048 60 | 0.000 % |
1.22/1.23 c | 2169 | 871 78593 334041 | 26197 2169 60 | 0.000 % |
1.22/1.25 c | 2303 | 871 78593 334041 | 26197 2303 60 | 0.000 % |
1.22/1.29 c | 2449 | 871 78593 334041 | 26197 2449 60 | 0.000 % |
1.32/1.34 c | 2612 | 871 78593 334041 | 26197 2612 60 | 0.000 % |
1.32/1.37 c | 2714 | 871 78593 334041 | 26197 2714 60 | 0.000 % |
1.32/1.40 c | 2826 | 871 78593 334041 | 26197 2826 60 | 0.000 % |
1.42/1.44 c | 2947 | 871 78593 334041 | 26197 2947 60 | 0.000 % |
1.42/1.47 c | 3083 | 871 78593 334041 | 26197 3083 60 | 0.000 % |
1.52/1.52 c | 3229 | 871 78593 334041 | 26197 3229 60 | 0.000 % |
1.52/1.56 c | 3391 | 871 78593 334041 | 26197 3391 60 | 0.000 % |
1.52/1.60 c | 3567 | 871 78593 334041 | 26197 3567 60 | 0.000 % |
1.62/1.64 c | 3668 | 871 78593 334041 | 26197 3668 60 | 0.000 % |
1.62/1.68 c | 3784 | 871 78593 334041 | 26197 3784 60 | 0.000 % |
1.62/1.71 c | 3906 | 871 78593 334041 | 26197 3906 59 | 0.000 % |
1.72/1.77 c | 4041 | 871 78593 334041 | 26197 4041 59 | 0.000 % |
1.82/1.83 c | 4187 | 871 78593 334041 | 26197 4187 59 | 0.000 % |
1.82/1.91 c | 4348 | 871 78593 334041 | 26197 4348 59 | 0.000 % |
1.92/1.96 c | 4524 | 871 78593 334041 | 26197 4524 59 | 0.000 % |
2.02/2.05 c | 4717 | 871 78593 334041 | 26197 4717 59 | 0.000 % |
2.02/2.10 c | 4819 | 871 78593 334041 | 26197 4819 59 | 0.000 % |
2.12/2.13 c | 4929 | 871 78593 334041 | 26197 4929 59 | 0.000 % |
2.12/2.19 c | 5050 | 871 78593 334041 | 26197 5050 59 | 0.000 % |
2.22/2.26 c | 5183 | 871 78593 334041 | 26197 5183 58 | 0.000 % |
2.22/2.31 c | 5329 | 871 78593 334041 | 26197 5329 58 | 0.000 % |
2.32/2.40 c | 5492 | 871 78593 334041 | 26197 5492 58 | 0.000 % |
2.42/2.47 c | 5668 | 871 78593 334041 | 26197 5668 58 | 0.000 % |
2.52/2.53 c | 5865 | 871 78593 334041 | 26197 5865 58 | 0.000 % |
2.52/2.61 c | 6077 | 871 78593 334041 | 26197 6077 58 | 0.000 % |
2.62/2.65 c | 6177 | 871 78593 334041 | 26197 6177 57 | 0.000 % |
2.72/2.72 c | 6289 | 871 78593 334041 | 26197 6289 57 | 0.000 % |
2.72/2.78 c | 6410 | 871 78593 334041 | 26197 6410 57 | 0.000 % |
2.82/2.85 c | 6543 | 871 78593 334041 | 26197 6543 57 | 0.000 % |
2.92/2.94 c | 6689 | 871 78593 334041 | 26197 6689 57 | 0.000 % |
3.02/3.04 c | 6850 | 871 78593 334041 | 26197 6850 57 | 0.000 % |
3.12/3.16 c | 7026 | 871 78593 334041 | 26197 7026 57 | 0.000 % |
3.22/3.26 c | 7219 | 871 78593 334041 | 26197 7219 57 | 0.000 % |
3.32/3.36 c | 7432 | 871 78593 334041 | 26197 7432 57 | 0.000 % |
3.42/3.47 c | 7665 | 871 78593 334041 | 26197 7665 56 | 0.000 % |
3.52/3.54 c | 7765 | 871 78593 334041 | 26197 7765 57 | 0.000 % |
3.62/3.63 c | 7876 | 871 78593 334041 | 26197 7876 56 | 0.000 % |
3.72/3.72 c | 7997 | 871 78593 334041 | 26197 7997 56 | 0.000 % |
3.72/3.81 c | 8131 | 871 78593 334041 | 26197 8131 56 | 0.000 % |
3.82/3.90 c | 8277 | 871 78593 334041 | 26197 8277 56 | 0.000 % |
4.02/4.03 c | 8438 | 871 78593 334041 | 26197 8438 56 | 0.000 % |
4.12/4.14 c | 8614 | 871 78593 334041 | 26197 8614 56 | 0.000 % |
4.22/4.29 c | 8807 | 871 78593 334041 | 26197 8807 56 | 0.000 % |
4.42/4.47 c | 9019 | 871 78593 334041 | 26197 9019 56 | 0.000 % |
4.62/4.71 c | 9252 | 871 78593 334041 | 26197 9252 56 | 0.000 % |
4.82/4.91 c | 9509 | 871 78593 334041 | 26197 9509 56 | 0.000 % |
5.02/5.02 c | 9612 | 871 78593 334041 | 26197 9612 56 | 0.000 % |
5.02/5.11 c | 9722 | 871 78593 334041 | 26197 9722 56 | 0.000 % |
5.12/5.20 c | 9843 | 871 78593 334041 | 26197 9843 56 | 0.000 % |
5.32/5.33 c | 9976 | 871 78593 334041 | 26197 9976 56 | 0.000 % |
5.42/5.47 c | 10122 | 871 78593 334041 | 2147483647 10122 56 | 0.000 % |
5.52/5.60 c | 10282 | 871 78593 334041 | 2147483647 10282 55 | 0.000 % |
5.72/5.81 c | 10459 | 871 78593 334041 | 2147483647 10459 56 | 0.000 % |
6.02/6.02 c | 10652 | 871 78593 334041 | 2147483647 10652 55 | 0.000 % |
6.22/6.24 c | 10866 | 871 78593 334041 | 2147483647 10866 55 | 0.000 % |
6.42/6.49 c | 11099 | 871 78593 334041 | 2147483647 11099 55 | 0.000 % |
6.72/6.75 c | 11355 | 871 78593 334041 | 2147483647 11355 55 | 0.000 % |
7.02/7.06 c | 11637 | 871 78593 334041 | 2147483647 11637 55 | 0.000 % |
7.11/7.17 c | 11737 | 871 78593 334041 | 2147483647 11737 55 | 0.000 % |
7.21/7.29 c | 11847 | 871 78593 334041 | 2147483647 11847 55 | 0.000 % |
7.41/7.43 c | 11970 | 871 78593 334041 | 2147483647 11970 55 | 0.000 % |
7.51/7.61 c | 12103 | 871 78593 334041 | 2147483647 12103 55 | 0.000 % |
7.61/7.67 c | 12249 | 871 78593 334041 | 2147483647 12249 55 | 0.000 % |
7.81/7.85 c | 12409 | 871 78593 334041 | 2147483647 12409 55 | 0.000 % |
8.01/8.08 c | 12587 | 871 78593 334041 | 2147483647 12587 55 | 0.000 % |
8.31/8.35 c | 12781 | 871 78593 334041 | 2147483647 12781 55 | 0.000 % |
8.61/8.67 c | 12994 | 871 78593 334041 | 2147483647 12994 55 | 0.000 % |
8.91/8.97 c | 13227 | 871 78593 334041 | 2147483647 13227 55 | 0.000 % |
9.21/9.28 c | 13484 | 871 78593 334041 | 2147483647 13484 55 | 0.000 % |
9.51/9.53 c | 13765 | 871 78593 334041 | 2147483647 13765 55 | 0.000 % |
9.81/9.92 c | 14075 | 871 78593 334041 | 2147483647 14075 55 | 0.000 % |
9.92/10.00 c | 14175 | 871 78593 334041 | 2147483647 14175 55 | 0.000 % |
10.01/10.10 c | 14285 | 871 78593 334041 | 2147483647 14285 55 | 0.000 % |
10.11/10.17 c | 14409 | 871 78593 334041 | 2147483647 14409 55 | 0.000 % |
10.31/10.33 c | 14545 | 871 78593 334041 | 2147483647 14545 55 | 0.000 % |
10.51/10.52 c | 14694 | 871 78593 334041 | 2147483647 14694 55 | 0.000 % |
10.61/10.65 c | 14856 | 871 78593 334041 | 2147483647 14856 55 | 0.000 % |
10.81/10.86 c | 15033 | 871 78593 334041 | 2147483647 15033 55 | 0.000 % |
11.02/11.04 c | 15230 | 871 78593 334041 | 2147483647 15230 55 | 0.000 % |
11.21/11.28 c | 15442 | 871 78593 334041 | 2147483647 15442 55 | 0.000 % |
11.61/11.67 c | 15676 | 871 78593 334041 | 2147483647 15676 55 | 0.000 % |
11.81/11.86 c | 15932 | 871 78593 334041 | 2147483647 15932 55 | 0.000 % |
12.12/12.21 c | 16213 | 871 78593 334041 | 2147483647 16213 55 | 0.000 % |
12.91/12.97 c | 16522 | 871 78593 334041 | 2147483647 16522 55 | 0.000 % |
13.61/13.67 c | 16861 | 871 78593 334041 | 2147483647 16861 55 | 0.000 % |
13.81/13.88 c | 16961 | 871 78593 334041 | 2147483647 16961 55 | 0.000 % |
14.01/14.11 c | 17072 | 871 78593 334041 | 2147483647 17072 55 | 0.000 % |
14.32/14.36 c | 17193 | 871 78593 334041 | 2147483647 17193 55 | 0.000 % |
14.61/14.68 c | 17326 | 871 78593 334041 | 2147483647 17326 55 | 0.000 % |
15.01/15.08 c | 17473 | 871 78593 334041 | 2147483647 17473 55 | 0.000 % |
15.42/15.44 c | 17635 | 871 78593 334041 | 2147483647 17635 55 | 0.000 % |
15.71/15.75 c | 17811 | 871 78593 334041 | 2147483647 17811 55 | 0.000 % |
16.01/16.05 c | 18005 | 871 78593 334041 | 2147483647 18005 55 | 0.000 % |
16.41/16.45 c | 18218 | 871 78593 334041 | 2147483647 18218 55 | 0.000 % |
16.91/17.01 c | 18453 | 871 78593 334041 | 2147483647 18453 54 | 0.000 % |
17.41/17.46 c | 18709 | 871 78593 334041 | 2147483647 18709 54 | 0.000 % |
17.91/18.00 c | 18991 | 871 78593 334041 | 2147483647 18991 54 | 0.000 % |
18.51/18.59 c | 19301 | 871 78593 334041 | 2147483647 19301 55 | 0.000 % |
19.31/19.39 c | 19641 | 871 78593 334041 | 2147483647 19641 55 | 0.000 % |
20.21/20.24 c | 20014 | 871 78593 334041 | 2147483647 20014 55 | 0.000 % |
20.51/20.60 c | 20114 | 871 78593 334041 | 2147483647 20114 55 | 0.000 % |
20.92/20.92 c | 20225 | 871 78593 334041 | 2147483647 20225 55 | 0.000 % |
21.21/21.27 c | 20346 | 871 78593 334041 | 2147483647 20346 55 | 0.000 % |
21.51/21.60 c | 20480 | 871 78593 334041 | 2147483647 20480 55 | 0.000 % |
22.02/22.04 c | 20626 | 871 78593 334041 | 2147483647 20626 55 | 0.000 % |
22.31/22.40 c | 20786 | 871 78593 334041 | 2147483647 20786 55 | 0.000 % |
22.71/22.81 c | 20962 | 871 78593 334041 | 2147483647 20962 54 | 0.000 % |
23.31/23.35 c | 21157 | 871 78593 334041 | 2147483647 21157 54 | 0.000 % |
23.81/23.90 c | 21369 | 871 78593 334041 | 2147483647 21369 54 | 0.000 % |
24.41/24.51 c | 21602 | 871 78593 334041 | 2147483647 21602 54 | 0.000 % |
24.91/24.93 c | 21862 | 871 78593 334041 | 2147483647 21862 54 | 0.000 % |
25.41/25.45 c | 22143 | 871 78593 334041 | 2147483647 22143 54 | 0.000 % |
26.11/26.21 c | 22452 | 871 78593 334041 | 2147483647 22452 54 | 0.000 % |
26.91/26.97 c | 22792 | 871 78593 334041 | 2147483647 22792 54 | 0.000 % |
28.01/28.03 c | 23165 | 871 78593 334041 | 2147483647 23165 54 | 0.000 % |
29.01/29.09 c | 23575 | 871 78593 334041 | 2147483647 23575 54 | 0.000 % |
29.21/29.30 c | 23675 | 871 78593 334041 | 2147483647 23675 54 | 0.000 % |
29.51/29.52 c | 23785 | 871 78593 334041 | 2147483647 23785 54 | 0.000 % |
29.72/29.76 c | 23906 | 871 78593 334041 | 2147483647 23906 54 | 0.000 % |
29.91/30.01 c | 24040 | 871 78593 334041 | 2147483647 24040 54 | 0.000 % |
30.11/30.21 c | 24187 | 871 78593 334041 | 2147483647 24187 53 | 0.000 % |
30.51/30.60 c | 24347 | 871 78593 334041 | 2147483647 24347 53 | 0.000 % |
31.01/31.11 c | 24524 | 871 78593 334041 | 2147483647 24524 53 | 0.000 % |
31.51/31.59 c | 24717 | 871 78593 334041 | 2147483647 24717 53 | 0.000 % |
32.01/32.03 c | 24929 | 871 78593 334041 | 2147483647 24929 53 | 0.000 % |
32.71/32.81 c | 25164 | 871 78593 334041 | 2147483647 25164 53 | 0.000 % |
33.31/33.41 c | 25420 | 871 78593 334041 | 2147483647 25420 53 | 0.000 % |
34.12/34.19 c | 25701 | 871 78593 334041 | 2147483647 25701 53 | 0.000 % |
34.91/34.96 c | 26012 | 871 78593 334041 | 2147483647 26012 53 | 0.000 % |
35.51/35.60 c | 26352 | 871 78593 334041 | 2147483647 26352 53 | 0.000 % |
36.51/36.53 c | 26725 | 871 78593 334041 | 2147483647 26725 53 | 0.000 % |
37.51/37.59 c | 27135 | 871 78593 334041 | 2147483647 27135 53 | 0.000 % |
38.52/38.56 c | 27584 | 871 78593 334041 | 2147483647 27584 53 | 0.000 % |
38.81/38.88 c | 27684 | 871 78593 334041 | 2147483647 27684 53 | 0.000 % |
39.11/39.21 c | 27795 | 871 78593 334041 | 2147483647 27795 53 | 0.000 % |
39.51/39.54 c | 27917 | 871 78593 334041 | 2147483647 27917 53 | 0.000 % |
39.91/39.93 c | 28053 | 871 78593 334041 | 2147483647 28053 53 | 0.000 % |
40.31/40.33 c | 28199 | 871 78593 334041 | 2147483647 28199 53 | 0.000 % |
40.61/40.70 c | 28362 | 871 78593 334041 | 2147483647 28362 53 | 0.000 % |
41.01/41.04 c | 28538 | 871 78593 334041 | 2147483647 28538 53 | 0.000 % |
41.51/41.58 c | 28732 | 871 78593 334041 | 2147483647 28732 53 | 0.000 % |
42.21/42.30 c | 28944 | 871 78593 334041 | 2147483647 28944 53 | 0.000 % |
43.11/43.12 c | 29179 | 871 78593 334041 | 2147483647 29179 53 | 0.000 % |
43.81/43.82 c | 29435 | 871 78593 334041 | 2147483647 29435 53 | 0.000 % |
44.41/44.48 c | 29717 | 871 78593 334041 | 2147483647 29717 53 | 0.000 % |
45.12/45.19 c | 30029 | 871 78593 334041 | 2147483647 30029 53 | 0.000 % |
46.11/46.19 c | 30369 | 871 78593 334041 | 2147483647 30369 52 | 0.000 % |
47.21/47.31 c | 30742 | 871 78593 334041 | 2147483647 30742 52 | 0.000 % |
48.51/48.61 c | 31151 | 871 78593 334041 | 2147483647 31151 52 | 0.000 % |
49.61/49.61 c | 31602 | 871 78593 334041 | 2147483647 31602 52 | 0.000 % |
51.11/51.15 c | 32095 | 871 78593 334041 | 2147483647 32095 52 | 0.000 % |
51.31/51.40 c | 32195 | 871 78593 334041 | 2147483647 32195 52 | 0.000 % |
51.72/51.73 c | 32306 | 871 78593 334041 | 2147483647 32306 52 | 0.000 % |
52.11/52.13 c | 32427 | 871 78593 334041 | 2147483647 32427 52 | 0.000 % |
52.61/52.61 c | 32565 | 871 78593 334041 | 2147483647 32565 52 | 0.000 % |
53.01/53.07 c | 32711 | 871 78593 334041 | 2147483647 32711 52 | 0.000 % |
53.41/53.43 c | 32871 | 871 78593 334041 | 2147483647 32871 52 | 0.000 % |
53.71/53.81 c | 33047 | 871 78593 334041 | 2147483647 33047 52 | 0.000 % |
54.31/54.34 c | 33241 | 871 78593 334041 | 2147483647 33241 52 | 0.000 % |
54.71/54.76 c | 33454 | 871 78593 334041 | 2147483647 33454 52 | 0.000 % |
55.31/55.34 c | 33690 | 871 78593 334041 | 2147483647 33690 52 | 0.000 % |
56.01/56.04 c | 33949 | 871 78593 334041 | 2147483647 33949 51 | 0.000 % |
56.81/56.86 c | 34231 | 871 78593 334041 | 2147483647 34231 51 | 0.000 % |
57.51/57.52 c | 34542 | 871 78593 334041 | 2147483647 34542 51 | 0.000 % |
57.91/57.99 c | 34881 | 871 78593 334041 | 2147483647 34881 51 | 0.000 % |
59.61/59.64 c | 35253 | 871 78593 334041 | 2147483647 35253 51 | 0.000 % |
61.11/61.19 c | 35662 | 871 78593 334041 | 2147483647 35662 51 | 0.000 % |
63.42/63.52 c | 36111 | 871 78593 334041 | 2147483647 36111 51 | 0.000 % |
65.12/65.17 c | 36606 | 871 78593 334041 | 2147483647 36606 51 | 0.000 % |
67.62/67.70 c | 37152 | 871 78593 334041 | 2147483647 37152 51 | 0.000 % |
68.02/68.03 c | 37252 | 871 78593 334041 | 2147483647 37252 51 | 0.000 % |
68.62/68.63 c | 37364 | 871 78593 334041 | 2147483647 37364 51 | 0.000 % |
68.92/69.00 c | 37485 | 871 78593 334041 | 2147483647 37485 51 | 0.000 % |
69.72/69.74 c | 37621 | 871 78593 334041 | 2147483647 37621 51 | 0.000 % |
70.32/70.40 c | 37767 | 871 78593 334041 | 2147483647 37767 51 | 0.000 % |
70.42/70.47 c | 37928 | 871 78593 334041 | 2147483647 37928 51 | 0.000 % |
71.52/71.53 c | 38104 | 871 78593 334041 | 2147483647 38104 51 | 0.000 % |
72.02/72.03 c | 38297 | 871 78593 334041 | 2147483647 38297 51 | 0.000 % |
73.22/73.25 c | 38509 | 871 78593 334041 | 2147483647 38509 51 | 0.000 % |
74.42/74.49 c | 38745 | 871 78593 334041 | 2147483647 38745 51 | 0.000 % |
75.82/75.86 c | 39002 | 871 78593 334041 | 2147483647 39002 51 | 0.000 % |
77.32/77.37 c | 39283 | 871 78593 334041 | 2147483647 39283 51 | 0.000 % |
79.02/79.11 c | 39593 | 871 78593 334041 | 2147483647 39593 51 | 0.000 % |
81.02/81.09 c | 39933 | 871 78593 334041 | 2147483647 39933 51 | 0.002 % |
83.02/83.04 c | 40305 | 871 78593 334041 | 40000 40305 51 | 0.000 % |
85.02/85.06 c | 40714 | 871 78593 334041 | 40000 32277 49 | 0.000 % |
87.02/87.04 c | 41165 | 871 78593 334041 | 40000 32728 49 | 0.000 % |
88.62/88.66 c | 41658 | 871 78593 334041 | 40000 33221 49 | 0.000 % |
90.72/90.79 c | 42201 | 871 78593 334041 | 40000 33764 49 | 0.000 % |
93.12/93.19 c | 42797 | 871 78593 334041 | 40000 34360 49 | 0.000 % |
93.42/93.48 c | 42900 | 871 78593 334041 | 40000 34463 49 | 0.000 % |
94.12/94.17 c | 43010 | 871 78593 334041 | 40000 34573 49 | 0.000 % |
94.52/94.57 c | 43133 | 871 78593 334041 | 40000 34696 49 | 0.000 % |
95.32/95.33 c | 43266 | 871 78593 334041 | 40000 34829 49 | 0.000 % |
95.92/95.93 c | 43413 | 871 78593 334041 | 40000 34976 49 | 0.000 % |
96.62/96.72 c | 43577 | 871 78593 334041 | 40000 35140 49 | 0.000 % |
97.72/97.77 c | 43754 | 871 78593 334041 | 40000 35317 49 | 0.000 % |
98.62/98.63 c | 43947 | 871 78593 334041 | 40000 35510 50 | 0.000 % |
99.62/99.65 c | 44159 | 871 78593 334041 | 40000 35722 50 | 0.000 % |
100.82/100.87 c | 44393 | 871 78593 334041 | 40000 35956 49 | 0.000 % |
101.72/101.81 c | 44651 | 871 78593 334041 | 40000 36214 49 | 0.000 % |
103.12/103.14 c | 44933 | 871 78593 334041 | 40000 36496 49 | 0.000 % |
104.52/104.53 c | 45244 | 871 78593 334041 | 40000 36807 49 | 0.000 % |
106.42/106.44 c | 45584 | 871 78593 334041 | 40000 37147 49 | 0.000 % |
108.42/108.44 c | 45956 | 871 78593 334041 | 40000 37519 49 | 0.000 % |
109.92/109.93 c | 46366 | 871 78593 334041 | 40000 37929 49 | 0.000 % |
111.32/111.39 c | 46816 | 871 78593 334041 | 40000 38379 49 | 0.000 % |
113.42/113.51 c | 47310 | 871 78593 334041 | 40000 38873 49 | 0.000 % |
115.51/115.55 c | 47852 | 871 78593 334041 | 40000 39415 49 | 0.000 % |
117.71/117.72 c | 48448 | 871 78593 334041 | 40000 40011 49 | 0.000 % |
120.21/120.22 c | 49103 | 871 78593 334041 | 40000 29623 48 | 0.000 % |
120.41/120.43 c | 49204 | 871 78593 334041 | 40000 29724 48 | 0.000 % |
120.61/120.65 c | 49315 | 871 78593 334041 | 40000 29835 48 | 0.000 % |
120.91/120.92 c | 49440 | 871 78593 334041 | 40000 29960 48 | 0.000 % |
121.21/121.21 c | 49573 | 871 78593 334041 | 40000 30093 48 | 0.000 % |
121.51/121.55 c | 49720 | 871 78593 334041 | 40000 30240 48 | 0.000 % |
121.81/121.90 c | 49880 | 871 78593 334041 | 40000 30400 48 | 0.000 % |
122.21/122.27 c | 50057 | 871 78593 334041 | 30521 30577 48 | 0.000 % |
123.01/123.04 c | 50255 | 871 78593 334041 | 30521 22833 47 | 0.000 % |
123.41/123.49 c | 50471 | 871 78593 334041 | 30521 23049 47 | 0.000 % |
123.91/123.95 c | 50706 | 871 78593 334041 | 30521 23284 47 | 0.000 % |
124.51/124.57 c | 50962 | 871 78593 334041 | 30521 23540 47 | 0.000 % |
125.01/125.09 c | 51248 | 871 78593 334041 | 30521 23826 47 | 0.000 % |
125.61/125.69 c | 51557 | 871 78593 334041 | 30521 24135 47 | 0.000 % |
125.91/125.93 c | 51896 | 871 78593 334041 | 30521 24474 47 | 0.000 % |
126.91/127.00 c | 52270 | 871 78593 334041 | 30521 24848 47 | 0.000 % |
127.51/127.56 c | 52682 | 871 78593 334041 | 30521 25260 47 | 0.000 % |
128.81/128.91 c | 53134 | 871 78593 334041 | 30521 25712 47 | 0.000 % |
129.11/129.21 c | 53627 | 871 78593 334041 | 30521 26205 47 | 0.000 % |
131.01/131.09 c | 54171 | 871 78593 334041 | 30521 26749 47 | 0.000 % |
133.01/133.10 c | 54768 | 871 78593 334041 | 30521 27346 47 | 0.000 % |
135.41/135.45 c | 55423 | 871 78593 334041 | 30521 28001 48 | 0.000 % |
137.41/137.50 c | 56144 | 871 78593 334041 | 30521 28722 48 | 0.000 % |
137.91/137.94 c | 56244 | 871 78593 334041 | 30521 28822 48 | 0.000 % |
138.31/138.37 c | 56354 | 871 78593 334041 | 30521 28932 48 | 0.000 % |
138.71/138.71 c | 56478 | 871 78593 334041 | 30521 29056 48 | 0.000 % |
139.11/139.18 c | 56611 | 871 78593 334041 | 30521 29189 48 | 0.000 % |
139.61/139.65 c | 56758 | 871 78593 334041 | 30521 29336 48 | 0.000 % |
140.21/140.27 c | 56918 | 871 78593 334041 | 30521 29496 48 | 0.000 % |
141.01/141.03 c | 57095 | 871 78593 334041 | 30521 29673 48 | 0.000 % |
141.61/141.69 c | 57288 | 871 78593 334041 | 30521 29866 48 | 0.000 % |
142.41/142.41 c | 57500 | 871 78593 334041 | 30521 30078 48 | 0.000 % |
143.31/143.33 c | 57733 | 871 78593 334041 | 30521 30311 48 | 0.000 % |
144.21/144.25 c | 57990 | 871 78593 334041 | 30521 30568 48 | 0.000 % |
145.11/145.18 c | 58272 | 871 78593 334041 | 30521 24632 49 | 0.000 % |
145.91/146.00 c | 58582 | 871 78593 334041 | 30521 24942 49 | 0.000 % |
147.01/147.04 c | 58924 | 871 78593 334041 | 30521 25284 49 | 0.000 % |
148.11/148.17 c | 59297 | 871 78593 334041 | 30521 25657 49 | 0.000 % |
148.91/148.96 c | 59706 | 871 78593 334041 | 30521 26066 49 | 0.000 % |
150.21/150.25 c | 60155 | 871 78593 334041 | 26360 26515 49 | 0.000 % |
151.31/151.40 c | 60649 | 871 78593 334041 | 26360 21673 49 | 0.000 % |
152.61/152.63 c | 61194 | 871 78593 334041 | 26360 22218 49 | 0.000 % |
154.21/154.26 c | 61790 | 871 78593 334041 | 26360 22814 49 | 0.000 % |
155.91/155.91 c | 62445 | 871 78593 334041 | 26360 23469 49 | 0.000 % |
157.71/157.74 c | 63166 | 871 78593 334041 | 26360 24190 49 | 0.000 % |
160.01/160.01 c | 63958 | 871 78593 334041 | 26360 24982 49 | 0.000 % |
160.31/160.32 c | 64059 | 871 78593 334041 | 26360 25083 49 | 0.000 % |
160.71/160.75 c | 64170 | 871 78593 334041 | 26360 25194 49 | 0.000 % |
161.11/161.16 c | 64294 | 871 78593 334041 | 26360 25318 49 | 0.000 % |
161.41/161.50 c | 64430 | 871 78593 334041 | 26360 25454 49 | 0.000 % |
161.91/161.94 c | 64578 | 871 78593 334041 | 26360 25602 49 | 0.000 % |
162.31/162.39 c | 64738 | 871 78593 334041 | 26360 25762 49 | 0.000 % |
163.01/163.02 c | 64914 | 871 78593 334041 | 26360 25938 49 | 0.000 % |
163.51/163.56 c | 65107 | 871 78593 334041 | 26360 26131 49 | 0.000 % |
164.01/164.01 c | 65322 | 871 78593 334041 | 26360 26346 49 | 0.000 % |
164.51/164.58 c | 65555 | 871 78593 334041 | 26360 26579 49 | 0.000 % |
165.31/165.37 c | 65812 | 871 78593 334041 | 26360 22763 48 | 0.000 % |
166.01/166.05 c | 66094 | 871 78593 334041 | 26360 23045 49 | 0.000 % |
166.91/166.99 c | 66403 | 871 78593 334041 | 26360 23354 49 | 0.000 % |
167.91/167.99 c | 66745 | 871 78593 334041 | 26360 23696 49 | 0.000 % |
168.81/168.90 c | 67118 | 871 78593 334041 | 26360 24069 49 | 0.000 % |
170.01/170.04 c | 67527 | 871 78593 334041 | 26360 24478 49 | 0.000 % |
170.71/170.80 c | 67977 | 871 78593 334041 | 26360 24928 49 | 0.000 % |
171.91/171.95 c | 68471 | 871 78593 334041 | 26360 25422 49 | 0.000 % |
173.11/173.13 c | 69016 | 871 78593 334041 | 26360 25967 49 | 0.000 % |
174.61/174.70 c | 69613 | 871 78593 334041 | 26360 26564 49 | 0.000 % |
176.11/176.18 c | 70268 | 871 78593 334041 | 22967 23233 49 | 0.000 % |
177.21/177.29 c | 70989 | 871 78593 334041 | 22967 20598 49 | 0.000 % |
178.61/178.62 c | 71782 | 871 78593 334041 | 22967 21391 49 | 0.000 % |
179.81/179.85 c | 72658 | 871 78593 334041 | 22967 22267 49 | 0.000 % |
180.01/180.04 c | 72758 | 871 78593 334041 | 22967 22367 49 | 0.000 % |
180.21/180.20 c | 72868 | 871 78593 334041 | 22967 22477 49 | 0.000 % |
180.51/180.58 c | 72990 | 871 78593 334041 | 22967 22599 49 | 0.000 % |
180.71/180.74 c | 73125 | 871 78593 334041 | 22967 22734 49 | 0.000 % |
181.01/181.05 c | 73271 | 871 78593 334041 | 22967 22880 49 | 0.000 % |
181.21/181.21 c | 73431 | 871 78593 334041 | 22967 23040 49 | 0.000 % |
181.61/181.65 c | 73609 | 871 78593 334041 | 22967 20914 49 | 0.000 % |
182.01/182.10 c | 73802 | 871 78593 334041 | 22967 21107 49 | 0.000 % |
182.62/182.62 c | 74014 | 871 78593 334041 | 22967 21319 49 | 0.000 % |
183.11/183.17 c | 74248 | 871 78593 334041 | 22967 21553 49 | 0.000 % |
183.81/183.82 c | 74505 | 871 78593 334041 | 22967 21810 49 | 0.000 % |
184.31/184.34 c | 74787 | 871 78593 334041 | 22967 22092 49 | 0.000 % |
185.01/185.09 c | 75097 | 871 78593 334041 | 22967 22402 49 | 0.000 % |
185.81/185.83 c | 75440 | 871 78593 334041 | 22967 22745 49 | 0.000 % |
186.71/186.71 c | 75812 | 871 78593 334041 | 22967 23117 49 | 0.000 % |
187.51/187.52 c | 76221 | 871 78593 334041 | 22967 21215 48 | 0.000 % |
188.81/188.89 c | 76670 | 871 78593 334041 | 22967 21664 48 | 0.000 % |
189.82/189.88 c | 77163 | 871 78593 334041 | 22967 22157 48 | 0.000 % |
191.32/191.32 c | 77707 | 871 78593 334041 | 22967 22701 48 | 0.000 % |
192.32/192.40 c | 78303 | 871 78593 334041 | 22967 23297 48 | 0.000 % |
193.42/193.44 c | 78961 | 871 78593 334041 | 22967 21591 48 | 0.000 % |
194.82/194.81 c | 79681 | 871 78593 334041 | 22967 22311 48 | 0.000 % |
196.32/196.39 c | 80474 | 871 78593 334041 | 2147483647 23104 48 | 0.000 % |
198.02/198.07 c | 81345 | 871 78593 334041 | 2147483647 23975 49 | 0.000 % |
199.72/199.71 c | 82305 | 871 78593 334041 | 2147483647 24935 48 | 0.000 % |
199.82/199.87 c | 82406 | 871 78593 334041 | 2147483647 25036 48 | 0.000 % |
200.02/200.05 c | 82520 | 871 78593 334041 | 2147483647 25150 48 | 0.000 % |
200.32/200.38 c | 82641 | 871 78593 334041 | 2147483647 25271 49 | 0.000 % |
200.62/200.69 c | 82774 | 871 78593 334041 | 2147483647 25404 49 | 0.000 % |
201.02/201.06 c | 82922 | 871 78593 334041 | 2147483647 25552 49 | 0.000 % |
201.52/201.54 c | 83084 | 871 78593 334041 | 2147483647 25714 49 | 0.000 % |
201.82/201.90 c | 83260 | 871 78593 334041 | 2147483647 25890 49 | 0.000 % |
202.22/202.30 c | 83453 | 871 78593 334041 | 2147483647 26083 49 | 0.000 % |
202.62/202.71 c | 83667 | 871 78593 334041 | 2147483647 26297 49 | 0.000 % |
203.22/203.28 c | 83903 | 871 78593 334041 | 2147483647 26533 49 | 0.000 % |
203.82/203.89 c | 84159 | 871 78593 334041 | 2147483647 26789 49 | 0.000 % |
204.12/204.14 c | 84440 | 871 78593 334041 | 2147483647 27070 49 | 0.000 % |
205.02/205.04 c | 84752 | 871 78593 334041 | 2147483647 27382 49 | 0.000 % |
205.52/205.59 c | 85093 | 871 78593 334041 | 2147483647 27723 49 | 0.000 % |
206.52/206.52 c | 85468 | 871 78593 334041 | 2147483647 28098 49 | 0.000 % |
207.02/207.11 c | 85877 | 871 78593 334041 | 2147483647 28507 49 | 0.000 % |
207.62/207.67 c | 86326 | 871 78593 334041 | 2147483647 28956 49 | 0.000 % |
208.72/208.76 c | 86819 | 871 78593 334041 | 2147483647 29449 49 | 0.000 % |
209.62/209.66 c | 87361 | 871 78593 334041 | 2147483647 29991 49 | 0.000 % |
210.92/211.00 c | 87957 | 871 78593 334041 | 2147483647 30587 48 | 0.000 % |
212.62/212.65 c | 88616 | 871 78593 334041 | 2147483647 31246 48 | 0.000 % |
213.72/213.78 c | 89337 | 871 78593 334041 | 2147483647 31967 48 | 0.000 % |
215.62/215.70 c | 90131 | 871 78593 334041 | 2147483647 32761 48 | 0.000 % |
217.42/217.45 c | 91002 | 871 78593 334041 | 2147483647 33632 48 | 0.000 % |
219.72/219.75 c | 91960 | 871 78593 334041 | 2147483647 34590 48 | 0.000 % |
221.92/221.91 c | 93015 | 871 78593 334041 | 2147483647 35645 48 | 0.000 % |
222.12/222.19 c | 93119 | 871 78593 334041 | 2147483647 35749 48 | 0.000 % |
222.52/222.52 c | 93229 | 871 78593 334041 | 2147483647 35859 48 | 0.000 % |
222.82/222.88 c | 93352 | 871 78593 334041 | 2147483647 35982 48 | 0.000 % |
223.12/223.18 c | 93485 | 871 78593 334041 | 2147483647 36115 48 | 0.000 % |
223.52/223.54 c | 93631 | 871 78593 334041 | 2147483647 36261 48 | 0.000 % |
224.02/224.03 c | 93791 | 871 78593 334041 | 2147483647 36421 48 | 0.000 % |
224.32/224.34 c | 93969 | 871 78593 334041 | 2147483647 36599 48 | 0.000 % |
224.72/224.77 c | 94163 | 871 78593 334041 | 2147483647 36793 48 | 0.000 % |
225.22/225.24 c | 94376 | 871 78593 334041 | 2147483647 37006 48 | 0.000 % |
225.62/225.63 c | 94609 | 871 78593 334041 | 2147483647 37239 48 | 0.000 % |
226.32/226.41 c | 94868 | 871 78593 334041 | 2147483647 37498 47 | 0.000 % |
227.12/227.19 c | 95149 | 871 78593 334041 | 2147483647 37779 47 | 0.000 % |
227.92/227.94 c | 95458 | 871 78593 334041 | 2147483647 38088 47 | 0.000 % |
228.82/228.84 c | 95797 | 871 78593 334041 | 2147483647 38427 47 | 0.000 % |
229.42/229.45 c | 96169 | 871 78593 334041 | 2147483647 38799 47 | 0.000 % |
229.82/229.89 c | 96581 | 871 78593 334041 | 2147483647 39211 47 | 0.000 % |
231.12/231.18 c | 97030 | 871 78593 334041 | 2147483647 39660 47 | 0.000 % |
232.32/232.36 c | 97527 | 871 78593 334041 | 2147483647 40157 47 | 0.000 % |
235.12/235.11 c | 98069 | 871 78593 334041 | 2147483647 40699 48 | 0.000 % |
236.22/236.27 c | 98665 | 871 78593 334041 | 2147483647 41295 48 | 0.000 % |
237.42/237.44 c | 99322 | 871 78593 334041 | 2147483647 41952 48 | 0.000 % |
238.32/238.32 c | 100044 | 871 78593 334041 | 2147483647 42674 48 | 0.000 % |
239.02/239.01 c | 100837 | 871 78593 334041 | 2147483647 43467 48 | 0.000 % |
239.72/239.72 c | 101711 | 871 78593 334041 | 2147483647 44341 48 | 0.000 % |
240.32/240.32 c | 102670 | 871 78593 334041 | 2147483647 45300 48 | 0.000 % |
241.12/241.19 c | 103723 | 871 78593 334041 | 2147483647 46353 48 | 0.000 % |
241.72/241.72 c | 104881 | 871 78593 334041 | 2147483647 47511 48 | 0.000 % |
241.82/241.83 c | 104984 | 871 78593 334041 | 2147483647 47614 48 | 0.000 % |
241.82/241.91 c | 105096 | 871 78593 334041 | 2147483647 47726 48 | 0.000 % |
241.92/242.01 c | 105219 | 871 78593 334041 | 2147483647 47849 48 | 0.000 % |
242.02/242.08 c | 105353 | 871 78593 334041 | 2147483647 47983 48 | 0.000 % |
242.12/242.12 c | 105501 | 871 78593 334041 | 2147483647 48131 48 | 0.000 % |
242.12/242.21 c | 105662 | 871 78593 334041 | 2147483647 48292 48 | 0.000 % |
242.22/242.29 c | 105838 | 871 78593 334041 | 2147483647 48468 48 | 0.000 % |
242.32/242.37 c | 106032 | 871 78593 334041 | 2147483647 48662 48 | 0.000 % |
242.42/242.45 c | 106245 | 871 78593 334041 | 2147483647 48875 48 | 0.000 % |
242.52/242.53 c | 106478 | 871 78593 334041 | 2147483647 49108 48 | 0.000 % |
242.62/242.65 c | 106734 | 871 78593 334041 | 2147483647 49364 48 | 0.000 % |
242.72/242.75 c | 107016 | 871 78593 334041 | 2147483647 49646 48 | 0.000 % |
242.92/242.92 c | 107325 | 871 78593 334041 | 2147483647 49955 48 | 0.000 % |
243.02/243.09 c | 107664 | 871 78593 334041 | 2147483647 50294 48 | 0.000 % |
243.22/243.25 c | 108036 | 871 78593 334041 | 2147483647 50666 48 | 0.000 % |
243.42/243.47 c | 108445 | 871 78593 334041 | 2147483647 51075 48 | 0.000 % |
243.72/243.73 c | 108894 | 871 78593 334041 | 2147483647 51524 48 | 0.000 % |
243.92/243.97 c | 109389 | 871 78593 334041 | 2147483647 52019 49 | 0.000 % |
244.22/244.23 c | 109931 | 871 78593 334041 | 2147483647 52561 48 | 0.000 % |
244.62/244.66 c | 110528 | 871 78593 334041 | 2147483647 53158 48 | 0.000 % |
245.02/245.07 c | 111184 | 871 78593 334041 | 2147483647 53814 49 | 0.000 % |
245.32/245.39 c | 111905 | 871 78593 334041 | 2147483647 54535 49 | 0.000 % |
245.62/245.65 c | 112699 | 871 78593 334041 | 2147483647 55329 49 | 0.000 % |
245.82/245.91 c | 113570 | 871 78593 334041 | 2147483647 56200 49 | 0.000 % |
246.82/246.89 c | 114529 | 871 78593 334041 | 2147483647 57159 49 | 0.000 % |
247.72/247.80 c | 115582 | 871 78593 334041 | 2147483647 58212 49 | 0.000 % |
248.82/248.84 c | 116742 | 871 78593 334041 | 2147483647 59372 49 | 0.000 % |
249.62/249.67 c | 118016 | 871 78593 334041 | 2147483647 60646 49 | 0.000 % |
249.72/249.75 c | 118119 | 871 78593 334041 | 2147483647 60749 49 | 0.000 % |
249.82/249.82 c | 118233 | 871 78593 334041 | 2147483647 60863 49 | 0.000 % |
249.92/249.96 c | 118354 | 871 78593 334041 | 2147483647 60984 49 | 0.000 % |
250.02/250.05 c | 118487 | 871 78593 334041 | 2147483647 61117 49 | 0.000 % |
250.12/250.14 c | 118634 | 871 78593 334041 | 2147483647 61264 49 | 0.000 % |
250.32/250.32 c | 118795 | 871 78593 334041 | 2147483647 61425 49 | 0.000 % |
250.42/250.42 c | 118972 | 871 78593 334041 | 2147483647 61602 49 | 0.000 % |
250.52/250.55 c | 119165 | 871 78593 334041 | 2147483647 61795 49 | 0.000 % |
250.62/250.67 c | 119379 | 871 78593 334041 | 2147483647 62009 49 | 0.000 % |
250.72/250.79 c | 119612 | 871 78593 334041 | 2147483647 62242 49 | 0.000 % |
251.02/251.03 c | 119870 | 871 78593 334041 | 2147483647 62500 49 | 0.000 % |
251.42/251.44 c | 120151 | 871 78593 334041 | 2147483647 62781 49 | 0.000 % |
251.52/251.57 c | 120463 | 871 78593 334041 | 2147483647 63093 49 | 0.000 % |
251.82/251.83 c | 120804 | 871 78593 334041 | 2147483647 63434 49 | 0.000 % |
251.92/251.99 c | 121176 | 871 78593 334041 | 2147483647 63806 49 | 0.000 % |
252.12/252.17 c | 121587 | 871 78593 334041 | 2147483647 64217 49 | 0.000 % |
252.52/252.58 c | 122036 | 871 78593 334041 | 2147483647 64666 49 | 0.000 % |
252.92/253.01 c | 122529 | 871 78593 334041 | 2147483647 65159 49 | 0.000 % |
253.42/253.45 c | 123073 | 871 78593 334041 | 2147483647 65703 49 | 0.000 % |
253.92/253.94 c | 123670 | 871 78593 334041 | 2147483647 66300 50 | 0.000 % |
254.42/254.44 c | 124326 | 871 78593 334041 | 2147483647 66956 50 | 0.000 % |
255.02/255.06 c | 125048 | 871 78593 334041 | 2147483647 67678 50 | 0.000 % |
255.72/255.76 c | 125840 | 871 78593 334041 | 2147483647 68470 50 | 0.000 % |
256.42/256.43 c | 126711 | 871 78593 334041 | 2147483647 69341 50 | 0.000 % |
257.42/257.43 c | 127669 | 871 78593 334041 | 2147483647 70299 50 | 0.000 % |
258.32/258.35 c | 128722 | 871 78593 334041 | 2147483647 71352 50 | 0.000 % |
259.32/259.39 c | 129880 | 871 78593 334041 | 2147483647 72510 50 | 0.000 % |
261.62/261.70 c | 131155 | 871 78593 334041 | 2147483647 73785 50 | 0.000 % |
263.22/263.28 c | 132558 | 871 78593 334041 | 2147483647 75188 49 | 0.000 % |
263.32/263.38 c | 132659 | 871 78593 334041 | 2147483647 75289 49 | 0.000 % |
263.42/263.50 c | 132769 | 871 78593 334041 | 2147483647 75399 50 | 0.000 % |
263.62/263.62 c | 132892 | 871 78593 334041 | 2147483647 75522 50 | 0.000 % |
263.72/263.72 c | 133025 | 871 78593 334041 | 2147483647 75655 50 | 0.000 % |
263.82/263.85 c | 133172 | 871 78593 334041 | 2147483647 75802 50 | 0.000 % |
263.92/263.98 c | 133332 | 871 78593 334041 | 2147483647 75962 50 | 0.000 % |
264.12/264.13 c | 133508 | 871 78593 334041 | 2147483647 76138 50 | 0.000 % |
264.22/264.30 c | 133701 | 871 78593 334041 | 2147483647 76331 50 | 0.000 % |
264.42/264.50 c | 133915 | 871 78593 334041 | 2147483647 76545 50 | 0.000 % |
264.72/264.77 c | 134149 | 871 78593 334041 | 2147483647 76779 50 | 0.000 % |
265.02/265.03 c | 134406 | 871 78593 334041 | 2147483647 77036 50 | 0.000 % |
265.32/265.33 c | 134687 | 871 78593 334041 | 2147483647 77317 50 | 0.000 % |
265.62/265.65 c | 134997 | 871 78593 334041 | 2147483647 77627 50 | 0.000 % |
266.02/266.05 c | 135338 | 871 78593 334041 | 2147483647 77968 50 | 0.000 % |
266.32/266.40 c | 135711 | 871 78593 334041 | 2147483647 78341 50 | 0.000 % |
266.72/266.76 c | 136120 | 871 78593 334041 | 2147483647 78750 50 | 0.000 % |
267.12/267.19 c | 136572 | 871 78593 334041 | 2147483647 79202 50 | 0.000 % |
267.72/267.78 c | 137066 | 871 78593 334041 | 2147483647 79696 50 | 0.000 % |
268.22/268.31 c | 137608 | 871 78593 334041 | 2147483647 80238 50 | 0.000 % |
268.82/268.81 c | 138206 | 871 78593 334041 | 2147483647 80836 50 | 0.000 % |
269.32/269.32 c | 138861 | 871 78593 334041 | 2147483647 81491 50 | 0.000 % |
269.82/269.90 c | 139581 | 871 78593 334041 | 2147483647 82211 50 | 0.000 % |
270.82/270.86 c | 140375 | 871 78593 334041 | 2147483647 83005 50 | 0.000 % |
271.82/271.82 c | 141247 | 871 78593 334041 | 2147483647 83877 50 | 0.000 % |
272.92/273.00 c | 142206 | 871 78593 334041 | 2147483647 84836 50 | 0.000 % |
273.93/273.95 c | 143259 | 871 78593 334041 | 2147483647 85889 50 | 0.000 % |
275.12/275.14 c | 144419 | 871 78593 334041 | 2147483647 87049 50 | 0.000 % |
276.72/276.74 c | 145693 | 871 78593 334041 | 2147483647 88323 51 | 0.000 % |
278.82/278.88 c | 147095 | 871 78593 334041 | 2147483647 89725 51 | 0.000 % |
281.22/281.26 c | 148635 | 871 78593 334041 | 2147483647 91265 51 | 0.000 % |
281.42/281.43 c | 148735 | 871 78593 334041 | 2147483647 91365 51 | 0.000 % |
281.52/281.60 c | 148847 | 871 78593 334041 | 2147483647 91477 51 | 0.000 % |
281.82/281.81 c | 148977 | 871 78593 334041 | 2147483647 91607 51 | 0.000 % |
281.92/281.94 c | 149110 | 871 78593 334041 | 2147483647 91740 51 | 0.000 % |
282.02/282.10 c | 149259 | 871 78593 334041 | 2147483647 91889 51 | 0.000 % |
282.73/282.73 c | 149421 | 871 78593 334041 | 2147483647 92051 51 | 0.000 % |
284.02/284.10 c | 149598 | 871 78593 334041 | 2147483647 92228 51 | 0.000 % |
284.72/284.74 c | 149791 | 871 78593 334041 | 2147483647 92421 51 | 0.000 % |
285.42/285.47 c | 150003 | 871 78593 334041 | 2147483647 92633 51 | 0.000 % |
286.12/286.14 c | 150239 | 871 78593 334041 | 2147483647 92869 51 | 0.000 % |
286.62/286.67 c | 150495 | 871 78593 334041 | 2147483647 93125 51 | 0.000 % |
287.02/287.06 c | 150776 | 871 78593 334041 | 2147483647 93406 51 | 0.000 % |
287.42/287.49 c | 151086 | 871 78593 334041 | 2147483647 93716 51 | 0.000 % |
288.02/288.05 c | 151425 | 871 78593 334041 | 2147483647 94055 51 | 0.000 % |
288.62/288.61 c | 151798 | 871 78593 334041 | 2147483647 94428 51 | 0.000 % |
289.22/289.27 c | 152209 | 871 78593 334041 | 2147483647 94839 51 | 0.000 % |
289.92/289.94 c | 152658 | 871 78593 334041 | 2147483647 95288 51 | 0.000 % |
290.52/290.51 c | 153151 | 871 78593 334041 | 2147483647 95781 51 | 0.000 % |
291.12/291.19 c | 153693 | 871 78593 334041 | 2147483647 96323 51 | 0.000 % |
291.92/291.98 c | 154290 | 871 78593 334041 | 2147483647 96920 51 | 0.000 % |
292.92/292.94 c | 154945 | 871 78593 334041 | 2147483647 97575 50 | 0.000 % |
296.42/296.46 c | 155665 | 871 78593 334041 | 2147483647 98295 50 | 0.000 % |
298.42/298.49 c | 156458 | 871 78593 334041 | 2147483647 99088 50 | 0.000 % |
302.72/302.78 c | 157330 | 871 78593 334041 | 2147483647 99960 50 | 0.000 % |
307.72/307.74 c | 158289 | 871 78593 334041 | 2147483647 100919 50 | 0.000 % |
312.22/312.31 c | 159343 | 871 78593 334041 | 2147483647 101973 50 | 0.000 % |
316.83/316.87 c | 160501 | 871 78593 334041 | 2147483647 103131 50 | 0.000 % |
327.13/327.17 c | 161774 | 871 78593 334041 | 2147483647 104404 50 | 0.000 % |
336.33/336.37 c | 163174 | 871 78593 334041 | 2147483647 105804 50 | 0.000 % |
345.73/345.81 c | 164715 | 871 78593 334041 | 2147483647 107345 50 | 0.000 % |
356.53/356.52 c | 166409 | 871 78593 334041 | 2147483647 109039 50 | 0.000 % |
356.93/356.92 c | 166512 | 871 78593 334041 | 2147483647 109142 50 | 0.000 % |
357.33/357.40 c | 166622 | 871 78593 334041 | 2147483647 109252 50 | 0.000 % |
358.43/358.50 c | 166744 | 871 78593 334041 | 2147483647 109374 50 | 0.000 % |
358.73/358.80 c | 166877 | 871 78593 334041 | 2147483647 109507 50 | 0.000 % |
359.03/359.10 c | 167025 | 871 78593 334041 | 2147483647 109655 50 | 0.000 % |
360.43/360.45 c | 167185 | 871 78593 334041 | 2147483647 109815 50 | 0.000 % |
361.93/361.98 c | 167363 | 871 78593 334041 | 2147483647 109993 50 | 0.000 % |
362.83/362.90 c | 167556 | 871 78593 334041 | 2147483647 110186 50 | 0.000 % |
364.13/364.13 c | 167769 | 871 78593 334041 | 2147483647 110399 50 | 0.000 % |
364.53/364.54 c | 168004 | 871 78593 334041 | 2147483647 110634 50 | 0.000 % |
366.93/366.92 c | 168260 | 871 78593 334041 | 2147483647 110890 50 | 0.000 % |
367.43/367.47 c | 168541 | 871 78593 334041 | 2147483647 111171 50 | 0.000 % |
369.13/369.19 c | 168851 | 871 78593 334041 | 2147483647 111481 50 | 0.000 % |
371.23/371.23 c | 169190 | 871 78593 334041 | 2147483647 111820 50 | 0.000 % |
371.73/371.77 c | 169562 | 871 78593 334041 | 2147483647 112192 50 | 0.000 % |
375.73/375.74 c | 169971 | 871 78593 334041 | 2147483647 112601 50 | 0.000 % |
380.33/380.33 c | 170420 | 871 78593 334041 | 112630 87278 51 | 0.000 % |
382.13/382.14 c | 170913 | 871 78593 334041 | 112630 87771 51 | 0.000 % |
384.23/384.23 c | 171456 | 871 78593 334041 | 112630 88314 51 | 0.000 % |
386.93/386.93 c | 172053 | 871 78593 334041 | 112630 88911 51 | 0.000 % |
388.63/388.71 c | 172710 | 871 78593 334041 | 112630 89568 51 | 0.000 % |
389.53/389.60 c | 173431 | 871 78593 334041 | 112630 90289 52 | 0.000 % |
390.73/390.78 c | 174223 | 871 78593 334041 | 112630 91081 52 | 0.000 % |
393.43/393.47 c | 175095 | 871 78593 334041 | 112630 91953 52 | 0.000 % |
397.93/397.92 c | 176054 | 871 78593 334041 | 112630 92912 52 | 0.000 % |
400.93/400.97 c | 177113 | 871 78593 334041 | 112630 93971 52 | 0.000 % |
406.03/406.05 c | 178272 | 871 78593 334041 | 112630 95130 52 | 0.000 % |
410.43/410.46 c | 179545 | 871 78593 334041 | 112630 96403 52 | 0.000 % |
414.43/414.47 c | 180945 | 871 78593 334041 | 96858 86856 54 | 0.000 % |
418.53/418.54 c | 182489 | 871 78593 334041 | 96858 88400 54 | 0.000 % |
422.13/422.16 c | 184184 | 871 78593 334041 | 96858 90095 54 | 0.000 % |
424.93/424.96 c | 186050 | 871 78593 334041 | 96858 91961 54 | 0.000 % |
425.33/425.31 c | 186150 | 871 78593 334041 | 96858 92061 54 | 0.000 % |
425.63/425.67 c | 186263 | 871 78593 334041 | 96858 92174 54 | 0.000 % |
425.93/425.96 c | 186386 | 871 78593 334041 | 96858 92297 54 | 0.000 % |
426.23/426.22 c | 186520 | 871 78593 334041 | 96858 92431 54 | 0.000 % |
426.53/426.55 c | 186666 | 871 78593 334041 | 96858 92577 54 | 0.000 % |
426.93/426.92 c | 186826 | 871 78593 334041 | 96858 92737 54 | 0.000 % |
427.33/427.36 c | 187004 | 871 78593 334041 | 96858 92915 54 | 0.000 % |
427.94/427.98 c | 187198 | 871 78593 334041 | 96858 93109 54 | 0.000 % |
428.53/428.58 c | 187411 | 871 78593 334041 | 96858 93322 54 | 0.000 % |
429.33/429.39 c | 187644 | 871 78593 334041 | 96858 93555 54 | 0.000 % |
430.33/430.36 c | 187900 | 871 78593 334041 | 96858 93811 54 | 0.000 % |
431.33/431.38 c | 188182 | 871 78593 334041 | 96858 94093 54 | 0.000 % |
432.43/432.44 c | 188494 | 871 78593 334041 | 96858 94405 54 | 0.000 % |
433.53/433.57 c | 188834 | 871 78593 334041 | 96858 94745 54 | 0.000 % |
434.63/434.64 c | 189206 | 871 78593 334041 | 96858 95117 54 | 0.000 % |
435.83/435.91 c | 189619 | 871 78593 334041 | 96858 95530 54 | 0.000 % |
436.93/436.98 c | 190069 | 871 78593 334041 | 2147483647 95980 54 | 0.000 % |
438.03/438.03 c | 190562 | 871 78593 334041 | 2147483647 96473 54 | 0.000 % |
438.83/438.83 c | 191104 | 871 78593 334041 | 2147483647 97015 54 | 0.000 % |
439.53/439.61 c | 191701 | 871 78593 334041 | 2147483647 97612 54 | 0.000 % |
440.54/440.54 c | 192357 | 871 78593 334041 | 2147483647 98268 54 | 0.000 % |
441.44/441.50 c | 193077 | 871 78593 334041 | 2147483647 98988 54 | 0.000 % |
442.74/442.78 c | 193870 | 871 78593 334041 | 2147483647 99781 54 | 0.000 % |
443.64/443.71 c | 194741 | 871 78593 334041 | 2147483647 100652 54 | 0.000 % |
444.84/444.89 c | 195702 | 871 78593 334041 | 2147483647 101613 54 | 0.000 % |
446.34/446.33 c | 196756 | 871 78593 334041 | 2147483647 102667 54 | 0.000 % |
448.04/448.11 c | 197915 | 871 78593 334041 | 2147483647 103826 54 | 0.000 % |
449.84/449.90 c | 199188 | 871 78593 334041 | 2147483647 105099 54 | 0.000 % |
451.94/451.92 c | 200588 | 871 78593 334041 | 2147483647 106499 54 | 0.000 % |
454.04/454.10 c | 202129 | 871 78593 334041 | 2147483647 108040 55 | 0.000 % |
456.64/456.66 c | 203825 | 871 78593 334041 | 2147483647 109736 55 | 0.000 % |
459.24/459.29 c | 205689 | 871 78593 334041 | 2147483647 111600 55 | 0.000 % |
461.74/461.77 c | 207739 | 871 78593 334041 | 2147483647 113650 55 | 0.000 % |
461.94/461.95 c | 207839 | 871 78593 334041 | 2147483647 113750 55 | 0.000 % |
462.14/462.17 c | 207951 | 871 78593 334041 | 2147483647 113862 55 | 0.000 % |
462.34/462.37 c | 208075 | 871 78593 334041 | 2147483647 113986 55 | 0.000 % |
462.74/462.74 c | 208208 | 871 78593 334041 | 2147483647 114119 55 | 0.000 % |
463.04/463.04 c | 208355 | 871 78593 334041 | 2147483647 114266 55 | 0.000 % |
463.34/463.36 c | 208515 | 871 78593 334041 | 2147483647 114426 55 | 0.000 % |
463.74/463.80 c | 208696 | 871 78593 334041 | 2147483647 114607 55 | 0.000 % |
464.14/464.21 c | 208891 | 871 78593 334041 | 2147483647 114802 55 | 0.000 % |
464.54/464.56 c | 209103 | 871 78593 334041 | 2147483647 115014 55 | 0.000 % |
464.94/464.97 c | 209339 | 871 78593 334041 | 2147483647 115250 55 | 0.000 % |
465.54/465.56 c | 209596 | 871 78593 334041 | 2147483647 115507 55 | 0.000 % |
466.14/466.13 c | 209878 | 871 78593 334041 | 2147483647 115789 55 | 0.000 % |
466.64/466.71 c | 210188 | 871 78593 334041 | 2147483647 116099 55 | 0.000 % |
467.34/467.37 c | 210528 | 871 78593 334041 | 2147483647 116439 55 | 0.000 % |
468.24/468.22 c | 210904 | 871 78593 334041 | 2147483647 116815 55 | 0.000 % |
468.94/468.94 c | 211315 | 871 78593 334041 | 2147483647 117226 55 | 0.000 % |
469.94/469.99 c | 211765 | 871 78593 334041 | 2147483647 117676 55 | 0.000 % |
470.74/470.81 c | 212259 | 871 78593 334041 | 2147483647 118170 55 | 0.000 % |
471.84/471.83 c | 212802 | 871 78593 334041 | 2147483647 118713 55 | 0.000 % |
473.03/473.04 c | 213401 | 871 78593 334041 | 2147483647 119312 55 | 0.000 % |
474.53/474.61 c | 214056 | 871 78593 334041 | 2147483647 119967 55 | 0.000 % |
476.33/476.38 c | 214776 | 871 78593 334041 | 2147483647 120687 55 | 0.000 % |
478.13/478.14 c | 215568 | 871 78593 334041 | 2147483647 121479 55 | 0.000 % |
480.23/480.31 c | 216440 | 871 78593 334041 | 2147483647 122351 55 | 0.000 % |
482.33/482.32 c | 217400 | 871 78593 334041 | 2147483647 123311 55 | 0.000 % |
485.03/485.08 c | 218453 | 871 78593 334041 | 2147483647 124364 55 | 0.000 % |
487.53/487.54 c | 219614 | 871 78593 334041 | 2147483647 125525 55 | 0.000 % |
490.53/490.58 c | 220887 | 871 78593 334041 | 125913 111247 55 | 0.000 % |
493.73/493.80 c | 222287 | 871 78593 334041 | 125913 112647 55 | 0.000 % |
497.03/497.05 c | 223827 | 871 78593 334041 | 125913 114187 55 | 0.000 % |
500.83/500.83 c | 225522 | 871 78593 334041 | 125913 115882 55 | 0.000 % |
504.63/504.61 c | 227385 | 871 78593 334041 | 125913 117745 55 | 0.000 % |
509.43/509.50 c | 229436 | 871 78593 334041 | 125913 119796 55 | 0.000 % |
514.33/514.33 c | 231689 | 871 78593 334041 | 120361 101992 55 | 0.000 % |
514.53/514.59 c | 231789 | 871 78593 334041 | 120361 102092 55 | 0.000 % |
514.93/514.97 c | 231900 | 871 78593 334041 | 120361 102203 55 | 0.000 % |
515.23/515.27 c | 232022 | 871 78593 334041 | 120361 102325 55 | 0.000 % |
515.73/515.76 c | 232155 | 871 78593 334041 | 120361 102458 55 | 0.000 % |
516.33/516.33 c | 232307 | 871 78593 334041 | 120361 102610 55 | 0.000 % |
516.83/516.87 c | 232468 | 871 78593 334041 | 120361 102771 55 | 0.000 % |
517.43/517.46 c | 232645 | 871 78593 334041 | 120361 102948 55 | 0.000 % |
517.83/517.86 c | 232839 | 871 78593 334041 | 120361 103142 55 | 0.000 % |
518.43/518.42 c | 233052 | 871 78593 334041 | 120361 103355 55 | 0.000 % |
519.13/519.15 c | 233286 | 871 78593 334041 | 120361 103589 55 | 0.000 % |
520.13/520.15 c | 233544 | 871 78593 334041 | 120361 103847 55 | 0.000 % |
520.93/520.96 c | 233826 | 871 78593 334041 | 120361 104129 55 | 0.000 % |
522.03/522.01 c | 234136 | 871 78593 334041 | 120361 104439 55 | 0.000 % |
522.83/522.88 c | 234476 | 871 78593 334041 | 120361 104779 55 | 0.000 % |
524.23/524.25 c | 234849 | 871 78593 334041 | 120361 105152 55 | 0.000 % |
525.33/525.33 c | 235259 | 871 78593 334041 | 120361 105562 55 | 0.000 % |
526.73/526.75 c | 235708 | 871 78593 334041 | 120361 106011 55 | 0.000 % |
527.93/527.96 c | 236204 | 871 78593 334041 | 120361 106507 55 | 0.000 % |
529.23/529.24 c | 236747 | 871 78593 334041 | 120361 107050 55 | 0.000 % |
530.63/530.68 c | 237345 | 871 78593 334041 | 120361 107648 55 | 0.000 % |
532.73/532.73 c | 238001 | 871 78593 334041 | 120361 108304 55 | 0.000 % |
535.43/535.50 c | 238724 | 871 78593 334041 | 120361 109027 55 | 0.000 % |
538.13/538.11 c | 239517 | 871 78593 334041 | 120361 109820 55 | 0.000 % |
540.93/540.96 c | 240388 | 871 78593 334041 | 110303 85492 56 | 0.000 % |
543.44/543.47 c | 241347 | 871 78593 334041 | 110303 86451 56 | 0.000 % |
544.93/544.96 c | 242400 | 871 78593 334041 | 110303 87504 56 | 0.000 % |
549.43/549.44 c | 243558 | 871 78593 334041 | 110303 88662 56 | 0.000 % |
554.44/554.44 c | 244832 | 871 78593 334041 | 110303 89936 56 | 0.000 % |
561.23/561.24 c | 246232 | 871 78593 334041 | 110303 91336 56 | 0.000 % |
566.64/566.68 c | 247774 | 871 78593 334041 | 110303 92878 56 | 0.000 % |
572.44/572.46 c | 249470 | 871 78593 334041 | 110303 94574 56 | 0.000 % |
579.94/579.96 c | 251333 | 871 78593 334041 | 95105 67896 55 | 0.000 % |
586.04/586.09 c | 253382 | 871 78593 334041 | 95105 69945 54 | 0.000 % |
594.34/594.33 c | 255636 | 871 78593 334041 | 95105 72199 54 | 0.000 % |
602.44/602.46 c | 258117 | 871 78593 334041 | 95105 74680 54 | 0.000 % |
602.94/602.98 c | 258217 | 871 78593 334041 | 95105 74780 54 | 0.000 % |
603.44/603.51 c | 258327 | 871 78593 334041 | 95105 74890 54 | 0.000 % |
603.94/603.97 c | 258449 | 871 78593 334041 | 95105 75012 54 | 0.000 % |
604.64/604.69 c | 258584 | 871 78593 334041 | 95105 75147 54 | 0.000 % |
605.44/605.42 c | 258730 | 871 78593 334041 | 95105 75293 54 | 0.000 % |
606.14/606.16 c | 258890 | 871 78593 334041 | 95105 75453 54 | 0.000 % |
606.94/606.96 c | 259067 | 871 78593 334041 | 95105 75630 54 | 0.000 % |
607.94/607.92 c | 259261 | 871 78593 334041 | 95105 75824 54 | 0.000 % |
608.84/608.86 c | 259474 | 871 78593 334041 | 95105 76037 54 | 0.000 % |
610.24/610.26 c | 259709 | 871 78593 334041 | 95105 76272 54 | 0.000 % |
611.34/611.38 c | 259967 | 871 78593 334041 | 95105 76530 54 | 0.000 % |
612.64/612.70 c | 260248 | 871 78593 334041 | 76563 76811 54 | 0.000 % |
614.54/614.56 c | 260558 | 871 78593 334041 | 76563 52477 53 | 0.000 % |
615.34/615.36 c | 260897 | 871 78593 334041 | 76563 52816 53 | 0.000 % |
616.54/616.58 c | 261270 | 871 78593 334041 | 76563 53189 53 | 0.000 % |
618.04/618.06 c | 261680 | 871 78593 334041 | 76563 53599 53 | 0.000 % |
619.54/619.56 c | 262131 | 871 78593 334041 | 76563 54050 53 | 0.000 % |
620.94/620.99 c | 262625 | 871 78593 334041 | 76563 54544 53 | 0.000 % |
622.64/622.66 c | 263170 | 871 78593 334041 | 76563 55089 53 | 0.000 % |
625.14/625.13 c | 263767 | 871 78593 334041 | 76563 55686 53 | 0.000 % |
627.54/627.58 c | 264422 | 871 78593 334041 | 76563 56341 53 | 0.000 % |
630.44/630.47 c | 265142 | 871 78593 334041 | 76563 57061 53 | 0.000 % |
633.34/633.40 c | 265935 | 871 78593 334041 | 76563 57854 53 | 0.000 % |
635.54/635.60 c | 266806 | 871 78593 334041 | 76563 58725 53 | 0.000 % |
638.64/638.64 c | 267765 | 871 78593 334041 | 76563 59684 52 | 0.000 % |
642.04/642.06 c | 268821 | 871 78593 334041 | 76563 60740 52 | 0.001 % |
645.94/645.91 c | 269979 | 871 78593 334041 | 76563 61898 52 | 0.000 % |
649.54/649.58 c | 271252 | 871 78593 334041 | 61919 43334 51 | 0.000 % |
652.84/652.82 c | 272654 | 871 78593 334041 | 61919 44736 50 | 0.000 % |
656.24/656.30 c | 274194 | 871 78593 334041 | 61919 46276 50 | 0.000 % |
661.34/661.34 c | 275891 | 871 78593 334041 | 61919 47973 50 | 0.000 % |
665.64/665.62 c | 277755 | 871 78593 334041 | 61919 49837 50 | 0.000 % |
670.64/670.70 c | 279806 | 871 78593 334041 | 61919 51888 50 | 0.000 % |
674.64/674.68 c | 282061 | 871 78593 334041 | 52084 39980 48 | 0.000 % |
684.44/684.48 c | 284539 | 871 78593 334041 | 52084 42458 49 | 0.000 % |
689.64/689.70 c | 287269 | 871 78593 334041 | 52084 45188 49 | 0.000 % |
689.84/689.89 c | 287370 | 871 78593 334041 | 52084 45289 49 | 0.000 % |
690.14/690.20 c | 287480 | 871 78593 334041 | 52084 45399 49 | 0.001 % |
690.54/690.57 c | 287601 | 871 78593 334041 | 52084 45520 49 | 0.000 % |
691.05/691.05 c | 287735 | 871 78593 334041 | 52084 45654 49 | 0.000 % |
691.35/691.40 c | 287881 | 871 78593 334041 | 52084 45800 49 | 0.000 % |
691.95/691.95 c | 288044 | 871 78593 334041 | 52084 45963 48 | 0.000 % |
692.35/692.34 c | 288220 | 871 78593 334041 | 52084 46139 49 | 0.000 % |
692.75/692.72 c | 288413 | 871 78593 334041 | 52084 46332 48 | 0.000 % |
693.55/693.59 c | 288625 | 871 78593 334041 | 52084 46544 48 | 0.000 % |
693.85/693.82 c | 288859 | 871 78593 334041 | 52084 46778 48 | 0.000 % |
694.05/694.03 c | 289117 | 871 78593 334041 | 52084 47036 48 | 0.000 % |
694.75/694.76 c | 289398 | 871 78593 334041 | 52084 47317 48 | 0.000 % |
695.75/695.79 c | 289711 | 871 78593 334041 | 52084 47630 48 | 0.000 % |
696.15/696.13 c | 290052 | 871 78593 334041 | 2147483647 47971 48 | 0.000 % |
697.05/697.06 c | 290428 | 871 78593 334041 | 2147483647 48347 48 | 0.000 % |
697.25/697.31 c | 290839 | 871 78593 334041 | 2147483647 48758 48 | 0.000 % |
697.45/697.45 c | 291292 | 871 78593 334041 | 2147483647 49211 48 | 0.000 % |
697.85/697.85 c | 291787 | 871 78593 334041 | 2147483647 49706 49 | 0.000 % |
699.35/699.39 c | 292330 | 871 78593 334041 | 2147483647 50249 49 | 0.000 % |
699.65/699.65 c | 292927 | 871 78593 334041 | 2147483647 50846 49 | 0.000 % |
699.85/699.90 c | 293584 | 871 78593 334041 | 2147483647 51503 49 | 0.000 % |
701.75/701.81 c | 294306 | 871 78593 334041 | 2147483647 52225 49 | 0.000 % |
704.35/704.37 c | 295101 | 871 78593 334041 | 2147483647 53020 49 | 0.000 % |
706.55/706.61 c | 295974 | 871 78593 334041 | 2147483647 53893 49 | 0.000 % |
709.45/709.51 c | 296933 | 871 78593 334041 | 2147483647 54852 49 | 0.000 % |
712.85/712.83 c | 297987 | 871 78593 334041 | 2147483647 55906 49 | 0.000 % |
714.45/714.49 c | 299145 | 871 78593 334041 | 2147483647 57064 49 | 0.000 % |
718.95/718.97 c | 300418 | 871 78593 334041 | 2147483647 58337 50 | 0.000 % |
722.75/722.74 c | 301819 | 871 78593 334041 | 2147483647 59738 50 | 0.000 % |
728.45/728.44 c | 303359 | 871 78593 334041 | 2147483647 61278 50 | 0.000 % |
731.05/731.10 c | 305054 | 871 78593 334041 | 2147483647 62973 51 | 0.000 % |
738.95/739.00 c | 306917 | 871 78593 334041 | 2147483647 64836 51 | 0.000 % |
745.35/745.32 c | 308968 | 871 78593 334041 | 2147483647 66887 51 | 0.000 % |
750.15/750.17 c | 311224 | 871 78593 334041 | 2147483647 69143 52 | 0.000 % |
760.55/760.53 c | 313702 | 871 78593 334041 | 2147483647 71621 52 | 0.000 % |
771.95/771.96 c | 316427 | 871 78593 334041 | 2147483647 74346 52 | 0.000 % |
777.35/777.35 c | 319425 | 871 78593 334041 | 2147483647 77344 52 | 0.000 % |
777.85/777.89 c | 319525 | 871 78593 334041 | 2147483647 77444 52 | 0.000 % |
778.15/778.21 c | 319636 | 871 78593 334041 | 2147483647 77555 52 | 0.000 % |
778.45/778.50 c | 319759 | 871 78593 334041 | 2147483647 77678 52 | 0.000 % |
778.65/778.65 c | 319892 | 871 78593 334041 | 2147483647 77811 52 | 0.000 % |
778.75/778.77 c | 320038 | 871 78593 334041 | 2147483647 77957 52 | 0.000 % |
779.45/779.48 c | 320198 | 871 78593 334041 | 2147483647 78117 52 | 0.000 % |
780.05/780.04 c | 320374 | 871 78593 334041 | 2147483647 78293 52 | 0.000 % |
780.65/780.69 c | 320571 | 871 78593 334041 | 2147483647 78490 52 | 0.000 % |
781.15/781.17 c | 320785 | 871 78593 334041 | 2147483647 78704 52 | 0.000 % |
781.85/781.86 c | 321018 | 871 78593 334041 | 2147483647 78937 52 | 0.000 % |
782.85/782.84 c | 321274 | 871 78593 334041 | 2147483647 79193 52 | 0.000 % |
783.35/783.38 c | 321558 | 871 78593 334041 | 2147483647 79477 52 | 0.000 % |
783.65/783.71 c | 321868 | 871 78593 334041 | 2147483647 79787 52 | 0.000 % |
785.15/785.14 c | 322207 | 871 78593 334041 | 2147483647 80126 52 | 0.000 % |
786.05/786.02 c | 322579 | 871 78593 334041 | 2147483647 80498 52 | 0.000 % |
787.45/787.45 c | 322988 | 871 78593 334041 | 2147483647 80907 52 | 0.000 % |
788.65/788.67 c | 323437 | 871 78593 334041 | 2147483647 81356 52 | 0.000 % |
789.65/789.61 c | 323930 | 871 78593 334041 | 2147483647 81849 52 | 0.000 % |
791.25/791.30 c | 324472 | 871 78593 334041 | 2147483647 82391 52 | 0.001 % |
792.85/792.86 c | 325069 | 871 78593 334041 | 2147483647 82988 52 | 0.000 % |
795.85/795.83 c | 325725 | 871 78593 334041 | 2147483647 83644 52 | 0.000 % |
797.95/797.97 c | 326446 | 871 78593 334041 | 2147483647 84365 52 | 0.001 % |
800.45/800.47 c | 327238 | 871 78593 334041 | 2147483647 85157 52 | 0.000 % |
803.25/803.26 c | 328110 | 871 78593 334041 | 2147483647 86029 52 | 0.000 % |
805.85/805.88 c | 329069 | 871 78593 334041 | 2147483647 86988 52 | 0.000 % |
808.85/808.90 c | 330122 | 871 78593 334041 | 2147483647 88041 52 | 0.000 % |
811.75/811.77 c | 331284 | 871 78593 334041 | 2147483647 89203 52 | 0.000 % |
816.15/816.18 c | 332558 | 871 78593 334041 | 2147483647 90477 52 | 0.001 % |
821.06/821.05 c | 333958 | 871 78593 334041 | 2147483647 91877 52 | 0.000 % |
823.96/823.99 c | 335499 | 871 78593 334041 | 2147483647 93418 53 | 0.000 % |
828.46/828.49 c | 337194 | 871 78593 334041 | 2147483647 95113 53 | 0.000 % |
832.85/832.85 c | 339059 | 871 78593 334041 | 2147483647 96978 53 | 0.000 % |
840.15/840.20 c | 341108 | 871 78593 334041 | 2147483647 99027 53 | 0.000 % |
845.65/845.61 c | 343363 | 871 78593 334041 | 2147483647 101282 53 | 0.000 % |
854.15/854.12 c | 345841 | 871 78593 334041 | 2147483647 103760 54 | 0.000 % |
863.95/863.93 c | 348569 | 871 78593 334041 | 2147483647 106488 54 | 0.000 % |
875.55/875.57 c | 351566 | 871 78593 334041 | 2147483647 109485 54 | 0.000 % |
884.95/884.94 c | 354863 | 871 78593 334041 | 2147483647 112782 54 | 0.000 % |
885.35/885.37 c | 354964 | 871 78593 334041 | 2147483647 112883 54 | 0.000 % |
885.95/885.91 c | 355074 | 871 78593 334041 | 2147483647 112993 54 | 0.000 % |
886.35/886.37 c | 355195 | 871 78593 334041 | 2147483647 113114 54 | 0.000 % |
886.95/886.91 c | 355330 | 871 78593 334041 | 2147483647 113249 54 | 0.000 % |
887.35/887.40 c | 355478 | 871 78593 334041 | 2147483647 113397 54 | 0.000 % |
887.85/887.82 c | 355638 | 871 78593 334041 | 2147483647 113557 54 | 0.000 % |
888.25/888.26 c | 355814 | 871 78593 334041 | 2147483647 113733 54 | 0.000 % |
888.85/888.85 c | 356007 | 871 78593 334041 | 2147483647 113926 54 | 0.000 % |
889.75/889.74 c | 356219 | 871 78593 334041 | 2147483647 114138 54 | 0.000 % |
890.15/890.15 c | 356452 | 871 78593 334041 | 2147483647 114371 54 | 0.000 % |
890.45/890.42 c | 356708 | 871 78593 334041 | 2147483647 114627 54 | 0.000 % |
890.65/890.64 c | 356989 | 871 78593 334041 | 2147483647 114908 54 | 0.000 % |
890.95/890.97 c | 357298 | 871 78593 334041 | 2147483647 115217 54 | 0.000 % |
891.35/891.39 c | 357640 | 871 78593 334041 | 2147483647 115559 54 | 0.000 % |
891.75/891.71 c | 358013 | 871 78593 334041 | 2147483647 115932 54 | 0.000 % |
893.05/893.11 c | 358424 | 871 78593 334041 | 2147483647 116343 54 | 0.000 % |
894.15/894.12 c | 358873 | 871 78593 334041 | 2147483647 116792 54 | 0.000 % |
895.05/895.02 c | 359366 | 871 78593 334041 | 2147483647 117285 54 | 0.000 % |
896.35/896.40 c | 359908 | 871 78593 334041 | 2147483647 117827 54 | 0.000 % |
897.95/897.95 c | 360506 | 871 78593 334041 | 2147483647 118425 54 | 0.000 % |
899.05/899.03 c | 361161 | 871 78593 334041 | 2147483647 119080 54 | 0.000 % |
902.25/902.27 c | 361882 | 871 78593 334041 | 2147483647 119801 54 | 0.000 % |
905.15/905.19 c | 362674 | 871 78593 334041 | 2147483647 120593 54 | 0.000 % |
907.56/907.53 c | 363545 | 871 78593 334041 | 2147483647 121464 54 | 0.000 % |
911.15/911.19 c | 364503 | 871 78593 334041 | 2147483647 122422 54 | 0.000 % |
915.05/915.08 c | 365559 | 871 78593 334041 | 2147483647 123478 54 | 0.000 % |
918.95/918.95 c | 366717 | 871 78593 334041 | 2147483647 124636 54 | 0.000 % |
923.35/923.36 c | 367990 | 871 78593 334041 | 2147483647 125909 54 | 0.000 % |
929.15/929.13 c | 369390 | 871 78593 334041 | 2147483647 127309 54 | 0.000 % |
934.95/935.00 c | 370933 | 871 78593 334041 | 2147483647 128852 54 | 0.000 % |
940.95/940.93 c | 372627 | 871 78593 334041 | 2147483647 130546 54 | 0.000 % |
947.96/947.96 c | 374493 | 871 78593 334041 | 2147483647 132412 54 | 0.000 % |
956.66/956.68 c | 376543 | 871 78593 334041 | 2147483647 134462 54 | 0.000 % |
965.66/965.62 c | 378798 | 871 78593 334041 | 2147483647 136717 54 | 0.000 % |
973.66/973.70 c | 381276 | 871 78593 334041 | 2147483647 139195 54 | 0.000 % |
983.86/983.85 c | 384001 | 871 78593 334041 | 2147483647 141920 55 | 0.000 % |
993.66/993.66 c | 387000 | 871 78593 334041 | 2147483647 144919 55 | 0.000 % |
1004.36/1004.36 c | 390297 | 871 78593 334041 | 2147483647 148216 55 | 0.000 % |
1018.36/1018.39 c | 393922 | 871 78593 334041 | 2147483647 151841 55 | 0.000 % |
1019.06/1019.09 c | 394026 | 871 78593 334041 | 2147483647 151945 55 | 0.000 % |
1019.66/1019.64 c | 394138 | 871 78593 334041 | 2147483647 152057 55 | 0.000 % |
1020.06/1020.07 c | 394259 | 871 78593 334041 | 2147483647 152178 55 | 0.000 % |
1020.87/1020.90 c | 394392 | 871 78593 334041 | 2147483647 152311 55 | 0.000 % |
1021.36/1021.35 c | 394540 | 871 78593 334041 | 2147483647 152459 55 | 0.000 % |
1022.26/1022.24 c | 394700 | 871 78593 334041 | 2147483647 152619 55 | 0.000 % |
1022.96/1022.93 c | 394876 | 871 78593 334041 | 2147483647 152795 55 | 0.000 % |
1023.76/1023.79 c | 395070 | 871 78593 334041 | 2147483647 152989 55 | 0.000 % |
1025.06/1025.08 c | 395283 | 871 78593 334041 | 2147483647 153202 55 | 0.000 % |
1026.06/1026.03 c | 395518 | 871 78593 334041 | 2147483647 153437 55 | 0.000 % |
1027.36/1027.38 c | 395775 | 871 78593 334041 | 2147483647 153694 55 | 0.000 % |
1028.76/1028.72 c | 396060 | 871 78593 334041 | 2147483647 153979 55 | 0.000 % |
1029.96/1029.91 c | 396370 | 871 78593 334041 | 2147483647 154289 55 | 0.000 % |
1031.16/1031.13 c | 396710 | 871 78593 334041 | 2147483647 154629 55 | 0.000 % |
1032.06/1032.05 c | 397084 | 871 78593 334041 | 2147483647 155003 55 | 0.000 % |
1033.06/1033.07 c | 397494 | 871 78593 334041 | 2147483647 155413 55 | 0.000 % |
1034.86/1034.82 c | 397945 | 871 78593 334041 | 2147483647 155864 55 | 0.000 % |
1036.66/1036.67 c | 398439 | 871 78593 334041 | 2147483647 156358 55 | 0.000 % |
1038.56/1038.55 c | 398984 | 871 78593 334041 | 2147483647 156903 55 | 0.000 % |
1040.46/1040.44 c | 399583 | 871 78593 334041 | 2147483647 157502 55 | 0.000 % |
1043.46/1043.43 c | 400238 | 871 78593 334041 | 2147483647 158157 55 | 0.000 % |
1045.07/1045.08 c | 400959 | 871 78593 334041 | 2147483647 158878 55 | 0.000 % |
1047.36/1047.37 c | 401751 | 871 78593 334041 | 2147483647 159670 55 | 0.000 % |
1049.96/1049.96 c | 402623 | 871 78593 334041 | 2147483647 160542 55 | 0.000 % |
1052.56/1052.58 c | 403583 | 871 78593 334041 | 2147483647 161502 55 | 0.000 % |
1056.86/1056.87 c | 404639 | 871 78593 334041 | 2147483647 162558 55 | 0.000 % |
1061.96/1061.98 c | 405798 | 871 78593 334041 | 2147483647 163717 55 | 0.000 % |
1067.57/1067.56 c | 407075 | 871 78593 334041 | 2147483647 164994 55 | 0.000 % |
1073.77/1073.81 c | 408475 | 871 78593 334041 | 2147483647 166394 55 | 0.000 % |
1080.37/1080.34 c | 410017 | 871 78593 334041 | 2147483647 167936 55 | 0.000 % |
1088.67/1088.63 c | 411713 | 871 78593 334041 | 2147483647 169632 55 | 0.000 % |
1096.47/1096.48 c | 413577 | 871 78593 334041 | 2147483647 171496 55 | 0.000 % |
1103.57/1103.57 c | 415627 | 871 78593 334041 | 2147483647 173546 55 | 0.000 % |
1111.37/1111.40 c | 417885 | 871 78593 334041 | 2147483647 175804 55 | 0.000 % |
1121.67/1121.64 c | 420366 | 871 78593 334041 | 2147483647 178285 54 | 0.000 % |
1132.07/1132.02 c | 423093 | 871 78593 334041 | 2147483647 181012 54 | 0.000 % |
1145.97/1145.96 c | 426092 | 871 78593 334041 | 2147483647 184011 54 | 0.000 % |
1166.97/1166.97 c | 429390 | 871 78593 334041 | 2147483647 187309 55 | 0.000 % |
1184.17/1184.16 c | 433015 | 871 78593 334041 | 187919 156416 55 | 0.000 % |
1200.07/1200.02 HOME/SatELiteGTI: line 36: 10538 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-1821826-1242570606/watcher-1821826-1242570606 -o /tmp/evaluation-result-1821826-1242570606/solver-1821826-1242570606 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821826-1242570606.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.01 1.00 3/97 10532
/proc/meminfo: memFree=1447876/2074464 swapFree=1949244/1959888
[pid=10532] ppid=10530 vsize=2412 CPUtime=0
/proc/10532/stat : 10532 (SatELiteGTI) S 10530 10532 16367 0 -1 4194304 367 645 0 0 0 0 0 0 19 0 1 0 1021561606 2469888 276 4294967295 134512640 135169312 3213480944 3213479480 3085897454 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10532/statm: 603 276 235 161 0 42 0
[pid=10536] ppid=10532 vsize=952 CPUtime=0
/proc/10536/stat : 10536 (SatELite_releas) R 10532 10532 16367 0 -1 4202496 139 0 0 0 0 0 0 0 21 0 1 0 1021561607 974848 75 4294967295 134512640 135223648 3218634944 3218633528 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10536/statm: 238 77 46 174 0 63 0
[startup+0.039412 s]
/proc/loadavg: 1.00 1.01 1.00 3/97 10532
/proc/meminfo: memFree=1447876/2074464 swapFree=1949244/1959888
[pid=10532] ppid=10530 vsize=2412 CPUtime=0
/proc/10532/stat : 10532 (SatELiteGTI) S 10530 10532 16367 0 -1 4194304 367 645 0 0 0 0 0 0 19 0 1 0 1021561606 2469888 276 4294967295 134512640 135169312 3213480944 3213479480 3085897454 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10532/statm: 603 276 235 161 0 42 0
[pid=10536] ppid=10532 vsize=3972 CPUtime=0.04
/proc/10536/stat : 10536 (SatELite_releas) R 10532 10532 16367 0 -1 4202496 877 0 0 0 4 0 0 0 21 0 1 0 1021561607 4067328 813 4294967295 134512640 135223648 3218634944 3218633896 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10536/statm: 993 813 46 174 0 818 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6384
[startup+0.119408 s]
/proc/loadavg: 1.00 1.01 1.00 3/97 10532
/proc/meminfo: memFree=1447876/2074464 swapFree=1949244/1959888
[pid=10532] ppid=10530 vsize=2412 CPUtime=0
/proc/10532/stat : 10532 (SatELiteGTI) S 10530 10532 16367 0 -1 4194304 367 645 0 0 0 0 0 0 19 0 1 0 1021561606 2469888 276 4294967295 134512640 135169312 3213480944 3213479480 3085897454 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10532/statm: 603 276 235 161 0 42 0
[pid=10536] ppid=10532 vsize=7324 CPUtime=0.12
/proc/10536/stat : 10536 (SatELite_releas) R 10532 10532 16367 0 -1 4202496 1695 0 0 0 12 0 0 0 21 0 1 0 1021561607 7499776 1631 4294967295 134512640 135223648 3218634944 3218633040 134597716 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10536/statm: 1831 1631 73 174 0 1656 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 9736
[startup+0.319396 s]
/proc/loadavg: 1.00 1.01 1.00 3/97 10532
/proc/meminfo: memFree=1447876/2074464 swapFree=1949244/1959888
[pid=10532] ppid=10530 vsize=2412 CPUtime=0
/proc/10532/stat : 10532 (SatELiteGTI) S 10530 10532 16367 0 -1 4194304 367 645 0 0 0 0 0 0 19 0 1 0 1021561606 2469888 276 4294967295 134512640 135169312 3213480944 3213479480 3085897454 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10532/statm: 603 276 235 161 0 42 0
[pid=10536] ppid=10532 vsize=9396 CPUtime=0.32
/proc/10536/stat : 10536 (SatELite_releas) R 10532 10532 16367 0 -1 4202496 2157 0 0 0 32 0 0 0 22 0 1 0 1021561607 9621504 2093 4294967295 134512640 135223648 3218634944 3218633040 134585497 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10536/statm: 2349 2093 75 174 0 2174 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 11808
[startup+0.719375 s]
/proc/loadavg: 1.00 1.01 1.00 3/97 10532
/proc/meminfo: memFree=1447876/2074464 swapFree=1949244/1959888
[pid=10532] ppid=10530 vsize=2416 CPUtime=0.7
/proc/10532/stat : 10532 (SatELiteGTI) S 10530 10532 16367 0 -1 4194304 385 2806 0 0 0 0 69 1 15 0 1 0 1021561606 2473984 277 4294967295 134512640 135169312 3213480944 3213477160 3085897454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10532/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 2416
[startup+1.51933 s]
/proc/loadavg: 1.00 1.01 1.00 4/99 10538
/proc/meminfo: memFree=1440892/2074464 swapFree=1949244/1959888
[pid=10532] ppid=10530 vsize=2416 CPUtime=0.7
/proc/10532/stat : 10532 (SatELiteGTI) S 10530 10532 16367 0 -1 4194304 385 2806 0 0 0 0 69 1 15 0 1 0 1021561606 2473984 277 4294967295 134512640 135169312 3213480944 3213477160 3085897454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10532/statm: 604 277 235 161 0 43 0
[pid=10538] ppid=10532 vsize=6556 CPUtime=0.82
/proc/10538/stat : 10538 (minisat_static) R 10532 10532 16367 0 -1 4202496 1583 0 0 0 81 1 0 0 21 0 1 0 1021561676 6713344 1518 4294967295 134512640 135215339 3219145120 3219143408 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10538/statm: 1639 1518 73 172 0 1466 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 8972
[startup+3.11927 s]
/proc/loadavg: 1.00 1.01 1.00 3/99 10538
/proc/meminfo: memFree=1439776/2074464 swapFree=1949244/1959888
[pid=10532] ppid=10530 vsize=2416 CPUtime=0.7
/proc/10532/stat : 10532 (SatELiteGTI) S 10530 10532 16367 0 -1 4194304 385 2806 0 0 0 0 69 1 15 0 1 0 1021561606 2473984 277 4294967295 134512640 135169312 3213480944 3213477160 3085897454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10532/statm: 604 277 235 161 0 43 0
[pid=10538] ppid=10532 vsize=7620 CPUtime=2.42
/proc/10538/stat : 10538 (minisat_static) R 10532 10532 16367 0 -1 4202496 1843 0 0 0 241 1 0 0 25 0 1 0 1021561676 7802880 1778 4294967295 134512640 135215339 3219145120 3219143408 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10538/statm: 1905 1778 73 172 0 1732 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 10036
[startup+6.31906 s]
/proc/loadavg: 1.00 1.01 1.00 3/99 10721
/proc/meminfo: memFree=1437920/2074464 swapFree=1949244/1959888
[pid=10532] ppid=10530 vsize=2416 CPUtime=0.7
/proc/10532/stat : 10532 (SatELiteGTI) S 10530 10532 16367 0 -1 4194304 385 2806 0 0 0 0 69 1 15 0 1 0 1021561606 2473984 277 4294967295 134512640 135169312 3213480944 3213477160 3085897454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10532/statm: 604 277 235 161 0 43 0
[pid=10538] ppid=10532 vsize=8704 CPUtime=5.62
/proc/10538/stat : 10538 (minisat_static) R 10532 10532 16367 0 -1 4202496 2093 0 0 0 560 2 0 0 25 0 1 0 1021561676 8912896 2028 4294967295 134512640 135215339 3219145120 3219143408 134528784 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10538/statm: 2176 2028 73 172 0 2003 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 11120
[startup+12.7187 s]
/proc/loadavg: 1.00 1.01 1.00 2/99 10721
/proc/meminfo: memFree=1436668/2074464 swapFree=1949244/1959888
[pid=10532] ppid=10530 vsize=2416 CPUtime=0.7
/proc/10532/stat : 10532 (SatELiteGTI) S 10530 10532 16367 0 -1 4194304 385 2806 0 0 0 0 69 1 15 0 1 0 1021561606 2473984 277 4294967295 134512640 135169312 3213480944 3213477160 3085897454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10532/statm: 604 277 235 161 0 43 0
[pid=10538] ppid=10532 vsize=10344 CPUtime=12.01
/proc/10538/stat : 10538 (minisat_static) R 10532 10532 16367 0 -1 4202496 2496 0 0 0 1198 3 0 0 25 0 1 0 1021561676 10592256 2431 4294967295 134512640 135215339 3219145120 3219143408 134528788 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10538/statm: 2586 2431 73 172 0 2413 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 12760
[startup+25.518 s]
/proc/loadavg: 1.00 1.01 1.00 2/99 10722
/proc/meminfo: memFree=1434912/2074464 swapFree=1949244/1959888
[pid=10532] ppid=10530 vsize=2416 CPUtime=0.7
/proc/10532/stat : 10532 (SatELiteGTI) S 10530 10532 16367 0 -1 4194304 385 2806 0 0 0 0 69 1 15 0 1 0 1021561606 2473984 277 4294967295 134512640 135169312 3213480944 3213477160 3085897454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10532/statm: 604 277 235 161 0 43 0
[pid=10538] ppid=10532 vsize=12028 CPUtime=24.81
/proc/10538/stat : 10538 (minisat_static) R 10532 10532 16367 0 -1 4202496 2908 0 0 0 2478 3 0 0 25 0 1 0 1021561676 12316672 2843 4294967295 134512640 135215339 3219145120 3219143408 134528788 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10538/statm: 3007 2843 73 172 0 2834 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 14444
[startup+51.1165 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 10725
/proc/meminfo: memFree=1432372/2074464 swapFree=1949244/1959888
[pid=10532] ppid=10530 vsize=2416 CPUtime=0.7
/proc/10532/stat : 10532 (SatELiteGTI) S 10530 10532 16367 0 -1 4194304 385 2806 0 0 0 0 69 1 15 0 1 0 1021561606 2473984 277 4294967295 134512640 135169312 3213480944 3213477160 3085897454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10532/statm: 604 277 235 161 0 43 0
[pid=10538] ppid=10532 vsize=14580 CPUtime=50.41
/proc/10538/stat : 10538 (minisat_static) R 10532 10532 16367 0 -1 4202496 3530 0 0 0 5038 3 0 0 25 0 1 0 1021561676 14929920 3465 4294967295 134512640 135215339 3219145120 3219143408 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10538/statm: 3645 3465 73 172 0 3472 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 16996
[startup+102.324 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 10911
/proc/meminfo: memFree=1429752/2074464 swapFree=1949244/1959888
[pid=10532] ppid=10530 vsize=2416 CPUtime=0.7
/proc/10532/stat : 10532 (SatELiteGTI) S 10530 10532 16367 0 -1 4194304 385 2806 0 0 0 0 69 1 15 0 1 0 1021561606 2473984 277 4294967295 134512640 135169312 3213480944 3213477160 3085897454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10532/statm: 604 277 235 161 0 43 0
[pid=10538] ppid=10532 vsize=16904 CPUtime=101.62
/proc/10538/stat : 10538 (minisat_static) R 10532 10532 16367 0 -1 4202496 4112 0 0 0 10159 3 0 0 25 0 1 0 1021561676 17309696 4047 4294967295 134512640 135215339 3219145120 3219143408 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10538/statm: 4226 4047 73 172 0 4053 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 19320
[startup+162.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 11099
/proc/meminfo: memFree=1429364/2074464 swapFree=1949244/1959888
[pid=10532] ppid=10530 vsize=2416 CPUtime=0.7
/proc/10532/stat : 10532 (SatELiteGTI) S 10530 10532 16367 0 -1 4194304 385 2806 0 0 0 0 69 1 15 0 1 0 1021561606 2473984 277 4294967295 134512640 135169312 3213480944 3213477160 3085897454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10532/statm: 604 277 235 161 0 43 0
[pid=10538] ppid=10532 vsize=17356 CPUtime=161.61
/proc/10538/stat : 10538 (minisat_static) R 10532 10532 16367 0 -1 4202496 4204 0 0 0 16151 10 0 0 25 0 1 0 1021561676 17772544 4139 4294967295 134512640 135215339 3219145120 3219143408 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10538/statm: 4339 4139 73 172 0 4166 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 19772
[startup+222.317 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 11288
/proc/meminfo: memFree=1428512/2074464 swapFree=1949244/1959888
[pid=10532] ppid=10530 vsize=2416 CPUtime=0.7
/proc/10532/stat : 10532 (SatELiteGTI) S 10530 10532 16367 0 -1 4194304 385 2806 0 0 0 0 69 1 15 0 1 0 1021561606 2473984 277 4294967295 134512640 135169312 3213480944 3213477160 3085897454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10532/statm: 604 277 235 161 0 43 0
[pid=10538] ppid=10532 vsize=18124 CPUtime=221.62
/proc/10538/stat : 10538 (minisat_static) R 10532 10532 16367 0 -1 4202496 4386 0 0 0 22151 11 0 0 25 0 1 0 1021561676 18558976 4321 4294967295 134512640 135215339 3219145120 3219143408 134528788 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10538/statm: 4531 4321 73 172 0 4358 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 20540
[startup+282.314 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 11477
/proc/meminfo: memFree=1415088/2074464 swapFree=1949244/1959888
[pid=10532] ppid=10530 vsize=2416 CPUtime=0.7
/proc/10532/stat : 10532 (SatELiteGTI) S 10530 10532 16367 0 -1 4194304 385 2806 0 0 0 0 69 1 15 0 1 0 1021561606 2473984 277 4294967295 134512640 135169312 3213480944 3213477160 3085897454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10532/statm: 604 277 235 161 0 43 0
[pid=10538] ppid=10532 vsize=32036 CPUtime=281.62
/proc/10538/stat : 10538 (minisat_static) R 10532 10532 16367 0 -1 4202496 7830 0 0 0 28146 16 0 0 25 0 1 0 1021561676 32804864 7765 4294967295 134512640 135215339 3219145120 3219143408 134528875 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10538/statm: 8009 7765 73 172 0 7836 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 34452
[startup+342.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 11668
/proc/meminfo: memFree=1410888/2074464 swapFree=1949244/1959888
[pid=10532] ppid=10530 vsize=2416 CPUtime=0.7
/proc/10532/stat : 10532 (SatELiteGTI) S 10530 10532 16367 0 -1 4194304 385 2806 0 0 0 0 69 1 15 0 1 0 1021561606 2473984 277 4294967295 134512640 135169312 3213480944 3213477160 3085897454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10532/statm: 604 277 235 161 0 43 0
[pid=10538] ppid=10532 vsize=35980 CPUtime=341.63
/proc/10538/stat : 10538 (minisat_static) R 10532 10532 16367 0 -1 4202496 8751 0 0 0 34146 17 0 0 25 0 1 0 1021561676 36843520 8686 4294967295 134512640 135215339 3219145120 3219143408 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10538/statm: 8995 8686 73 172 0 8822 0
Current children cumulated CPU time (s) 342.33
Current children cumulated vsize (KiB) 38396
[startup+402.317 s]
################
# More data... #
################
/proc/10532/stat : 10532 (SatELiteGTI) S 10530 10532 16367 0 -1 4194304 385 2806 0 0 0 0 69 1 15 0 1 0 1021561606 2473984 277 4294967295 134512640 135169312 3213480944 3213477160 3085897454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10532/statm: 604 277 235 161 0 43 0
[pid=10538] ppid=10532 vsize=40620 CPUtime=461.64
/proc/10538/stat : 10538 (minisat_static) R 10532 10532 16367 0 -1 4202496 9932 0 0 0 46146 18 0 0 25 0 1 0 1021561676 41594880 9867 4294967295 134512640 135215339 3219145120 3219143408 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10538/statm: 10155 9867 73 172 0 9982 0
Current children cumulated CPU time (s) 462.34
Current children cumulated vsize (KiB) 43036
[startup+522.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 12233
/proc/meminfo: memFree=1402828/2074464 swapFree=1949244/1959888
[pid=10532] ppid=10530 vsize=2416 CPUtime=0.7
/proc/10532/stat : 10532 (SatELiteGTI) S 10530 10532 16367 0 -1 4194304 385 2806 0 0 0 0 69 1 15 0 1 0 1021561606 2473984 277 4294967295 134512640 135169312 3213480944 3213477160 3085897454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10532/statm: 604 277 235 161 0 43 0
[pid=10538] ppid=10532 vsize=44168 CPUtime=521.63
/proc/10538/stat : 10538 (minisat_static) R 10532 10532 16367 0 -1 4202496 10822 0 0 0 52143 20 0 0 25 0 1 0 1021561676 45228032 10757 4294967295 134512640 135215339 3219145120 3219143408 134528691 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10538/statm: 11042 10757 73 172 0 10869 0
Current children cumulated CPU time (s) 522.33
Current children cumulated vsize (KiB) 46584
[startup+582.317 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 12422
/proc/meminfo: memFree=1401356/2074464 swapFree=1949244/1959888
[pid=10532] ppid=10530 vsize=2416 CPUtime=0.7
/proc/10532/stat : 10532 (SatELiteGTI) S 10530 10532 16367 0 -1 4194304 385 2806 0 0 0 0 69 1 15 0 1 0 1021561606 2473984 277 4294967295 134512640 135169312 3213480944 3213477160 3085897454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10532/statm: 604 277 235 161 0 43 0
[pid=10538] ppid=10532 vsize=45832 CPUtime=581.64
/proc/10538/stat : 10538 (minisat_static) R 10532 10532 16367 0 -1 4202496 11178 0 0 0 58144 20 0 0 25 0 1 0 1021561676 46931968 11113 4294967295 134512640 135215339 3219145120 3219143408 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10538/statm: 11458 11113 73 172 0 11285 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 48248
[startup+642.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 12609
/proc/meminfo: memFree=1401480/2074464 swapFree=1949244/1959888
[pid=10532] ppid=10530 vsize=2416 CPUtime=0.7
/proc/10532/stat : 10532 (SatELiteGTI) S 10530 10532 16367 0 -1 4194304 385 2806 0 0 0 0 69 1 15 0 1 0 1021561606 2473984 277 4294967295 134512640 135169312 3213480944 3213477160 3085897454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10532/statm: 604 277 235 161 0 43 0
[pid=10538] ppid=10532 vsize=45832 CPUtime=641.64
/proc/10538/stat : 10538 (minisat_static) R 10532 10532 16367 0 -1 4202496 11181 0 0 0 64144 20 0 0 25 0 1 0 1021561676 46931968 11116 4294967295 134512640 135215339 3219145120 3219143408 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10538/statm: 11458 11116 73 172 0 11285 0
Current children cumulated CPU time (s) 642.34
Current children cumulated vsize (KiB) 48248
[startup+702.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 12798
/proc/meminfo: memFree=1400844/2074464 swapFree=1949244/1959888
[pid=10532] ppid=10530 vsize=2416 CPUtime=0.7
/proc/10532/stat : 10532 (SatELiteGTI) S 10530 10532 16367 0 -1 4194304 385 2806 0 0 0 0 69 1 15 0 1 0 1021561606 2473984 277 4294967295 134512640 135169312 3213480944 3213477160 3085897454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10532/statm: 604 277 235 161 0 43 0
[pid=10538] ppid=10532 vsize=46752 CPUtime=701.65
/proc/10538/stat : 10538 (minisat_static) R 10532 10532 16367 0 -1 4202496 11407 0 0 0 70145 20 0 0 25 0 1 0 1021561676 47874048 11342 4294967295 134512640 135215339 3219145120 3219143408 134528806 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10538/statm: 11688 11342 73 172 0 11515 0
Current children cumulated CPU time (s) 702.35
Current children cumulated vsize (KiB) 49168
[startup+762.317 s]
/proc/loadavg: 1.00 1.00 1.00 4/99 12990
/proc/meminfo: memFree=1400364/2074464 swapFree=1949244/1959888
[pid=10532] ppid=10530 vsize=2416 CPUtime=0.7
/proc/10532/stat : 10532 (SatELiteGTI) S 10530 10532 16367 0 -1 4194304 385 2806 0 0 0 0 69 1 15 0 1 0 1021561606 2473984 277 4294967295 134512640 135169312 3213480944 3213477160 3085897454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10532/statm: 604 277 235 161 0 43 0
[pid=10538] ppid=10532 vsize=46916 CPUtime=761.65
/proc/10538/stat : 10538 (minisat_static) R 10532 10532 16367 0 -1 4202496 11441 0 0 0 76145 20 0 0 25 0 1 0 1021561676 48041984 11376 4294967295 134512640 135215339 3219145120 3219143408 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10538/statm: 11729 11376 73 172 0 11556 0
Current children cumulated CPU time (s) 762.35
Current children cumulated vsize (KiB) 49332
[startup+822.323 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 13179
/proc/meminfo: memFree=1400216/2074464 swapFree=1949244/1959888
[pid=10532] ppid=10530 vsize=2416 CPUtime=0.7
/proc/10532/stat : 10532 (SatELiteGTI) S 10530 10532 16367 0 -1 4194304 385 2806 0 0 0 0 69 1 15 0 1 0 1021561606 2473984 277 4294967295 134512640 135169312 3213480944 3213477160 3085897454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10532/statm: 604 277 235 161 0 43 0
[pid=10538] ppid=10532 vsize=46916 CPUtime=821.66
/proc/10538/stat : 10538 (minisat_static) R 10532 10532 16367 0 -1 4202496 11443 0 0 0 82146 20 0 0 25 0 1 0 1021561676 48041984 11378 4294967295 134512640 135215339 3219145120 3219143408 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10538/statm: 11729 11378 73 172 0 11556 0
Current children cumulated CPU time (s) 822.36
Current children cumulated vsize (KiB) 49332
[startup+882.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 13368
/proc/meminfo: memFree=1399976/2074464 swapFree=1949244/1959888
[pid=10532] ppid=10530 vsize=2416 CPUtime=0.7
/proc/10532/stat : 10532 (SatELiteGTI) S 10530 10532 16367 0 -1 4194304 385 2806 0 0 0 0 69 1 15 0 1 0 1021561606 2473984 277 4294967295 134512640 135169312 3213480944 3213477160 3085897454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10532/statm: 604 277 235 161 0 43 0
[pid=10538] ppid=10532 vsize=47080 CPUtime=881.65
/proc/10538/stat : 10538 (minisat_static) R 10532 10532 16367 0 -1 4202496 11480 0 0 0 88145 20 0 0 25 0 1 0 1021561676 48209920 11415 4294967295 134512640 135215339 3219145120 3219143408 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10538/statm: 11770 11415 73 172 0 11597 0
Current children cumulated CPU time (s) 882.35
Current children cumulated vsize (KiB) 49496
[startup+942.316 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 13556
/proc/meminfo: memFree=1398852/2074464 swapFree=1949244/1959888
[pid=10532] ppid=10530 vsize=2416 CPUtime=0.7
/proc/10532/stat : 10532 (SatELiteGTI) S 10530 10532 16367 0 -1 4194304 385 2806 0 0 0 0 69 1 15 0 1 0 1021561606 2473984 277 4294967295 134512640 135169312 3213480944 3213477160 3085897454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10532/statm: 604 277 235 161 0 43 0
[pid=10538] ppid=10532 vsize=48404 CPUtime=941.66
/proc/10538/stat : 10538 (minisat_static) R 10532 10532 16367 0 -1 4202496 11794 0 0 0 94145 21 0 0 25 0 1 0 1021561676 49565696 11729 4294967295 134512640 135215339 3219145120 3219143408 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10538/statm: 12101 11729 73 172 0 11928 0
Current children cumulated CPU time (s) 942.36
Current children cumulated vsize (KiB) 50820
[startup+1002.31 s]
/proc/loadavg: 1.07 1.03 1.01 3/99 13742
/proc/meminfo: memFree=1394652/2074464 swapFree=1949244/1959888
[pid=10532] ppid=10530 vsize=2416 CPUtime=0.7
/proc/10532/stat : 10532 (SatELiteGTI) S 10530 10532 16367 0 -1 4194304 385 2806 0 0 0 0 69 1 15 0 1 0 1021561606 2473984 277 4294967295 134512640 135169312 3213480944 3213477160 3085897454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10532/statm: 604 277 235 161 0 43 0
[pid=10538] ppid=10532 vsize=52912 CPUtime=1001.66
/proc/10538/stat : 10538 (minisat_static) R 10532 10532 16367 0 -1 4202496 12875 0 0 0 100145 21 0 0 25 0 1 0 1021561676 54181888 12810 4294967295 134512640 135215339 3219145120 3219143408 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10538/statm: 13228 12810 73 172 0 13055 0
Current children cumulated CPU time (s) 1002.36
Current children cumulated vsize (KiB) 55328
[startup+1062.31 s]
/proc/loadavg: 1.02 1.02 1.00 3/99 13930
/proc/meminfo: memFree=1390304/2074464 swapFree=1949244/1959888
[pid=10532] ppid=10530 vsize=2416 CPUtime=0.7
/proc/10532/stat : 10532 (SatELiteGTI) S 10530 10532 16367 0 -1 4194304 385 2806 0 0 0 0 69 1 15 0 1 0 1021561606 2473984 277 4294967295 134512640 135169312 3213480944 3213477160 3085897454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10532/statm: 604 277 235 161 0 43 0
[pid=10538] ppid=10532 vsize=57028 CPUtime=1061.66
/proc/10538/stat : 10538 (minisat_static) R 10532 10532 16367 0 -1 4202496 13906 0 0 0 106145 21 0 0 25 0 1 0 1021561676 58396672 13841 4294967295 134512640 135215339 3219145120 3219143408 134528734 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10538/statm: 14257 13841 73 172 0 14084 0
Current children cumulated CPU time (s) 1062.36
Current children cumulated vsize (KiB) 59444
[startup+1122.32 s]
/proc/loadavg: 1.01 1.01 1.00 2/99 14123
/proc/meminfo: memFree=1386832/2074464 swapFree=1949244/1959888
[pid=10532] ppid=10530 vsize=2416 CPUtime=0.7
/proc/10532/stat : 10532 (SatELiteGTI) S 10530 10532 16367 0 -1 4194304 385 2806 0 0 0 0 69 1 15 0 1 0 1021561606 2473984 277 4294967295 134512640 135169312 3213480944 3213477160 3085897454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10532/statm: 604 277 235 161 0 43 0
[pid=10538] ppid=10532 vsize=60688 CPUtime=1121.67
/proc/10538/stat : 10538 (minisat_static) R 10532 10532 16367 0 -1 4202496 14822 0 0 0 112146 21 0 0 25 0 1 0 1021561676 62144512 14757 4294967295 134512640 135215339 3219145120 3219143408 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10538/statm: 15172 14757 73 172 0 14999 0
Current children cumulated CPU time (s) 1122.37
Current children cumulated vsize (KiB) 63104
[startup+1182.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/99 14312
/proc/meminfo: memFree=1384004/2074464 swapFree=1949244/1959888
[pid=10532] ppid=10530 vsize=2416 CPUtime=0.7
/proc/10532/stat : 10532 (SatELiteGTI) S 10530 10532 16367 0 -1 4194304 385 2806 0 0 0 0 69 1 15 0 1 0 1021561606 2473984 277 4294967295 134512640 135169312 3213480944 3213477160 3085897454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10532/statm: 604 277 235 161 0 43 0
[pid=10538] ppid=10532 vsize=63484 CPUtime=1181.67
/proc/10538/stat : 10538 (minisat_static) R 10532 10532 16367 0 -1 4202496 15503 0 0 0 118145 22 0 0 25 0 1 0 1021561676 65007616 15438 4294967295 134512640 135215339 3219145120 3219143408 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10538/statm: 15871 15438 73 172 0 15698 0
Current children cumulated CPU time (s) 1182.37
Current children cumulated vsize (KiB) 65900
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.01 s]
/proc/loadavg: 1.00 1.01 1.00 2/99 14312
/proc/meminfo: memFree=1384004/2074464 swapFree=1949244/1959888
[pid=10532] ppid=10530 vsize=2416 CPUtime=0.7
/proc/10532/stat : 10532 (SatELiteGTI) S 10530 10532 16367 0 -1 4194304 385 2806 0 0 0 0 69 1 15 0 1 0 1021561606 2473984 277 4294967295 134512640 135169312 3213480944 3213477160 3085897454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10532/statm: 604 277 235 161 0 43 0
[pid=10538] ppid=10532 vsize=63616 CPUtime=1199.37
/proc/10538/stat : 10538 (minisat_static) R 10532 10532 16367 0 -1 4202496 15527 0 0 0 119915 22 0 0 25 0 1 0 1021561676 65142784 15462 4294967295 134512640 135215339 3219145120 3219143408 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10538/statm: 15904 15462 73 172 0 15731 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 66032
Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1200.03
CPU time (s): 1200.08
CPU user time (s): 1199.84
CPU system time (s): 0.24
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 66032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.84
system time used= 0.24
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18996
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= 1356
runsolver used 0 second user time and 0.03 second system time
The end
Begin job on tipi11 at 2009-05-17 16:30:06
IDJOB=1821826
IDBENCH=71098
IDSOLVER=657
FILE ID=tipi11/1821826-1242570606
PBS_JOBID=
Free space on /tmp= 9535 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_09_UNKNOWN.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821826-1242570606/watcher-1821826-1242570606 -o /tmp/evaluation-result-1821826-1242570606/solver-1821826-1242570606 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821826-1242570606.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 18ad1dee1e9d863458e75a20545ae68a
RANDOM SEED= 1390787373
Linux tipi11 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.431
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.431
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
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.79
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
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: 1448404 kB
Buffers: 37680 kB
Cached: 500156 kB
SwapCached: 5248 kB
Active: 279500 kB
Inactive: 270144 kB
HighTotal: 1178688 kB
HighFree: 666052 kB
LowTotal: 895776 kB
LowFree: 782352 kB
SwapTotal: 1959888 kB
SwapFree: 1949244 kB
Dirty: 2748 kB
Writeback: 0 kB
AnonPages: 11196 kB
Mapped: 5120 kB
Slab: 67976 kB
PageTables: 516 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 97128 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9534 MiB
End job on tipi11 at 2009-05-17 16:50:06