0.00/0.00 c Parsing...
0.00/0.04 c ==============================================================================
0.00/0.04 c | | ORIGINAL | LEARNT | |
0.00/0.04 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.04 c ==============================================================================
0.00/0.04 c | 0 | 79453 236162 | 23835 0 0 nan | 0.000 % |
0.00/0.53 c | 0 | 78593 334041 | -- 0 -- -- | -- | -860/97879
0.00/0.53 c ==============================================================================
0.00/0.53 c Result : #vars: 871 #clauses: 78593 #literals: 334041
0.00/0.53 c CPU time: 0.518921 s
0.00/0.53 c ==============================================================================
0.00/0.62 c This is MiniSat 2.0 beta
0.00/0.62 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.62 c ============================[ Problem Statistics ]=============================
0.00/0.62 c | |
0.00/0.62 c | Number of variables: 871 |
0.00/0.62 c | Number of clauses: 78593 |
0.00/0.67 c | Parsing time: 0.04 s |
0.00/0.67 c ============================[ Search Statistics ]==============================
0.00/0.67 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.67 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.67 c ===============================================================================
0.00/0.67 c | 0 | 871 78593 334041 | 26197 0 nan | 0.000 % |
0.00/0.69 c | 100 | 871 78593 334041 | 26197 100 35 | 0.000 % |
0.61/0.71 c | 200 | 871 78593 334041 | 26197 200 41 | 0.000 % |
0.61/0.73 c | 302 | 871 78593 334041 | 26197 302 45 | 0.000 % |
0.61/0.75 c | 413 | 871 78593 334041 | 26197 413 47 | 0.000 % |
0.61/0.76 c | 514 | 871 78593 334041 | 26197 514 50 | 0.000 % |
0.61/0.78 c | 625 | 871 78593 334041 | 26197 625 52 | 0.000 % |
0.61/0.79 c | 749 | 871 78593 334041 | 26197 749 53 | 0.000 % |
0.61/0.81 c | 851 | 871 78593 334041 | 26197 851 55 | 0.000 % |
0.61/0.83 c | 964 | 871 78593 334041 | 26197 964 56 | 0.000 % |
0.61/0.84 c | 1085 | 871 78593 334041 | 26197 1085 57 | 0.000 % |
0.61/0.86 c | 1220 | 871 78593 334041 | 26197 1220 58 | 0.000 % |
0.61/0.88 c | 1321 | 871 78593 334041 | 26197 1321 59 | 0.000 % |
0.61/0.90 c | 1431 | 871 78593 334041 | 26197 1431 59 | 0.000 % |
0.61/0.92 c | 1554 | 871 78593 334041 | 26197 1554 59 | 0.000 % |
0.61/0.94 c | 1687 | 871 78593 334041 | 26197 1687 60 | 0.000 % |
0.61/0.96 c | 1837 | 871 78593 334041 | 26197 1837 60 | 0.000 % |
0.61/0.98 c | 1937 | 871 78593 334041 | 26197 1937 60 | 0.000 % |
0.97/1.00 c | 2048 | 871 78593 334041 | 26197 2048 60 | 0.000 % |
0.97/1.03 c | 2169 | 871 78593 334041 | 26197 2169 60 | 0.000 % |
0.97/1.04 c | 2303 | 871 78593 334041 | 26197 2303 60 | 0.000 % |
0.97/1.07 c | 2449 | 871 78593 334041 | 26197 2449 60 | 0.000 % |
1.08/1.10 c | 2612 | 871 78593 334041 | 26197 2612 60 | 0.000 % |
1.08/1.12 c | 2714 | 871 78593 334041 | 26197 2714 60 | 0.000 % |
1.08/1.14 c | 2826 | 871 78593 334041 | 26197 2826 60 | 0.000 % |
1.08/1.17 c | 2947 | 871 78593 334041 | 26197 2947 60 | 0.000 % |
1.08/1.19 c | 3083 | 871 78593 334041 | 26197 3083 60 | 0.000 % |
1.18/1.23 c | 3229 | 871 78593 334041 | 26197 3229 60 | 0.000 % |
1.18/1.25 c | 3391 | 871 78593 334041 | 26197 3391 60 | 0.000 % |
1.18/1.28 c | 3567 | 871 78593 334041 | 26197 3567 60 | 0.000 % |
1.28/1.31 c | 3668 | 871 78593 334041 | 26197 3668 60 | 0.000 % |
1.28/1.34 c | 3784 | 871 78593 334041 | 26197 3784 60 | 0.000 % |
1.28/1.35 c | 3906 | 871 78593 334041 | 26197 3906 59 | 0.000 % |
1.28/1.39 c | 4041 | 871 78593 334041 | 26197 4041 59 | 0.000 % |
1.38/1.43 c | 4187 | 871 78593 334041 | 26197 4187 59 | 0.000 % |
1.38/1.48 c | 4348 | 871 78593 334041 | 26197 4348 59 | 0.000 % |
1.48/1.52 c | 4524 | 871 78593 334041 | 26197 4524 59 | 0.000 % |
1.48/1.58 c | 4717 | 871 78593 334041 | 26197 4717 59 | 0.000 % |
1.58/1.61 c | 4819 | 871 78593 334041 | 26197 4819 59 | 0.000 % |
1.58/1.63 c | 4929 | 871 78593 334041 | 26197 4929 59 | 0.000 % |
1.58/1.67 c | 5050 | 871 78593 334041 | 26197 5050 59 | 0.000 % |
1.68/1.72 c | 5183 | 871 78593 334041 | 26197 5183 58 | 0.000 % |
1.68/1.75 c | 5329 | 871 78593 334041 | 26197 5329 58 | 0.000 % |
1.78/1.81 c | 5492 | 871 78593 334041 | 26197 5492 58 | 0.000 % |
1.78/1.85 c | 5668 | 871 78593 334041 | 26197 5668 58 | 0.000 % |
1.87/1.90 c | 5865 | 871 78593 334041 | 26197 5865 58 | 0.000 % |
1.87/1.95 c | 6077 | 871 78593 334041 | 26197 6077 58 | 0.000 % |
1.87/1.98 c | 6177 | 871 78593 334041 | 26197 6177 57 | 0.000 % |
1.97/2.03 c | 6289 | 871 78593 334041 | 26197 6289 57 | 0.000 % |
1.97/2.07 c | 6410 | 871 78593 334041 | 26197 6410 57 | 0.000 % |
2.08/2.11 c | 6543 | 871 78593 334041 | 26197 6543 57 | 0.000 % |
2.08/2.17 c | 6689 | 871 78593 334041 | 26197 6689 57 | 0.000 % |
2.18/2.23 c | 6850 | 871 78593 334041 | 26197 6850 57 | 0.000 % |
2.27/2.30 c | 7026 | 871 78593 334041 | 26197 7026 57 | 0.000 % |
2.27/2.37 c | 7219 | 871 78593 334041 | 26197 7219 57 | 0.000 % |
2.37/2.43 c | 7432 | 871 78593 334041 | 26197 7432 57 | 0.000 % |
2.47/2.51 c | 7665 | 871 78593 334041 | 26197 7665 56 | 0.000 % |
2.47/2.55 c | 7765 | 871 78593 334041 | 26197 7765 57 | 0.000 % |
2.57/2.61 c | 7876 | 871 78593 334041 | 26197 7876 56 | 0.000 % |
2.57/2.67 c | 7997 | 871 78593 334041 | 26197 7997 56 | 0.000 % |
2.67/2.72 c | 8131 | 871 78593 334041 | 26197 8131 56 | 0.000 % |
2.67/2.78 c | 8277 | 871 78593 334041 | 26197 8277 56 | 0.000 % |
2.77/2.86 c | 8438 | 871 78593 334041 | 26197 8438 56 | 0.000 % |
2.87/2.93 c | 8614 | 871 78593 334041 | 26197 8614 56 | 0.000 % |
2.97/3.03 c | 8807 | 871 78593 334041 | 26197 8807 56 | 0.000 % |
3.07/3.15 c | 9019 | 871 78593 334041 | 26197 9019 56 | 0.000 % |
3.17/3.30 c | 9252 | 871 78593 334041 | 26197 9252 56 | 0.000 % |
3.37/3.42 c | 9509 | 871 78593 334041 | 26197 9509 56 | 0.000 % |
3.37/3.49 c | 9612 | 871 78593 334041 | 26197 9612 56 | 0.000 % |
3.47/3.55 c | 9722 | 871 78593 334041 | 26197 9722 56 | 0.000 % |
3.57/3.61 c | 9843 | 871 78593 334041 | 26197 9843 56 | 0.000 % |
3.57/3.69 c | 9976 | 871 78593 334041 | 26197 9976 56 | 0.000 % |
3.67/3.78 c | 10122 | 871 78593 334041 | 2147483647 10122 56 | 0.000 % |
3.77/3.86 c | 10282 | 871 78593 334041 | 2147483647 10282 55 | 0.000 % |
3.97/4.00 c | 10459 | 871 78593 334041 | 2147483647 10459 56 | 0.000 % |
4.07/4.13 c | 10652 | 871 78593 334041 | 2147483647 10652 55 | 0.000 % |
4.17/4.27 c | 10866 | 871 78593 334041 | 2147483647 10866 55 | 0.000 % |
4.37/4.43 c | 11099 | 871 78593 334041 | 2147483647 11099 55 | 0.000 % |
4.57/4.60 c | 11355 | 871 78593 334041 | 2147483647 11355 55 | 0.000 % |
4.67/4.80 c | 11637 | 871 78593 334041 | 2147483647 11637 55 | 0.000 % |
4.77/4.86 c | 11737 | 871 78593 334041 | 2147483647 11737 55 | 0.000 % |
4.87/4.94 c | 11847 | 871 78593 334041 | 2147483647 11847 55 | 0.000 % |
4.97/5.03 c | 11970 | 871 78593 334041 | 2147483647 11970 55 | 0.000 % |
5.07/5.15 c | 12103 | 871 78593 334041 | 2147483647 12103 55 | 0.000 % |
5.07/5.18 c | 12249 | 871 78593 334041 | 2147483647 12249 55 | 0.000 % |
5.27/5.31 c | 12409 | 871 78593 334041 | 2147483647 12409 55 | 0.000 % |
5.37/5.45 c | 12587 | 871 78593 334041 | 2147483647 12587 55 | 0.000 % |
5.57/5.63 c | 12781 | 871 78593 334041 | 2147483647 12781 55 | 0.000 % |
5.77/5.82 c | 12994 | 871 78593 334041 | 2147483647 12994 55 | 0.000 % |
5.96/6.02 c | 13227 | 871 78593 334041 | 2147483647 13227 55 | 0.000 % |
6.16/6.22 c | 13484 | 871 78593 334041 | 2147483647 13484 55 | 0.000 % |
6.26/6.38 c | 13765 | 871 78593 334041 | 2147483647 13765 55 | 0.000 % |
6.57/6.65 c | 14075 | 871 78593 334041 | 2147483647 14075 55 | 0.000 % |
6.66/6.70 c | 14175 | 871 78593 334041 | 2147483647 14175 55 | 0.000 % |
6.66/6.77 c | 14285 | 871 78593 334041 | 2147483647 14285 55 | 0.000 % |
6.76/6.82 c | 14409 | 871 78593 334041 | 2147483647 14409 55 | 0.000 % |
6.86/6.93 c | 14545 | 871 78593 334041 | 2147483647 14545 55 | 0.000 % |
6.96/7.05 c | 14694 | 871 78593 334041 | 2147483647 14694 55 | 0.000 % |
7.06/7.14 c | 14856 | 871 78593 334041 | 2147483647 14856 55 | 0.000 % |
7.16/7.28 c | 15033 | 871 78593 334041 | 2147483647 15033 55 | 0.000 % |
7.36/7.40 c | 15230 | 871 78593 334041 | 2147483647 15230 55 | 0.000 % |
7.47/7.56 c | 15442 | 871 78593 334041 | 2147483647 15442 55 | 0.000 % |
7.77/7.82 c | 15676 | 871 78593 334041 | 2147483647 15676 55 | 0.000 % |
7.87/7.95 c | 15932 | 871 78593 334041 | 2147483647 15932 55 | 0.000 % |
8.07/8.18 c | 16213 | 871 78593 334041 | 2147483647 16213 55 | 0.000 % |
8.57/8.70 c | 16522 | 871 78593 334041 | 2147483647 16522 55 | 0.000 % |
9.07/9.16 c | 16861 | 871 78593 334041 | 2147483647 16861 55 | 0.000 % |
9.27/9.31 c | 16961 | 871 78593 334041 | 2147483647 16961 55 | 0.000 % |
9.37/9.46 c | 17072 | 871 78593 334041 | 2147483647 17072 55 | 0.000 % |
9.57/9.63 c | 17193 | 871 78593 334041 | 2147483647 17193 55 | 0.000 % |
9.78/9.84 c | 17326 | 871 78593 334041 | 2147483647 17326 55 | 0.000 % |
10.07/10.11 c | 17473 | 871 78593 334041 | 2147483647 17473 55 | 0.000 % |
10.27/10.35 c | 17635 | 871 78593 334041 | 2147483647 17635 55 | 0.000 % |
10.47/10.56 c | 17811 | 871 78593 334041 | 2147483647 17811 55 | 0.000 % |
10.67/10.76 c | 18005 | 871 78593 334041 | 2147483647 18005 55 | 0.000 % |
10.98/11.04 c | 18218 | 871 78593 334041 | 2147483647 18218 55 | 0.000 % |
11.37/11.42 c | 18453 | 871 78593 334041 | 2147483647 18453 54 | 0.000 % |
11.67/11.72 c | 18709 | 871 78593 334041 | 2147483647 18709 54 | 0.000 % |
11.98/12.09 c | 18991 | 871 78593 334041 | 2147483647 18991 54 | 0.000 % |
12.37/12.49 c | 19301 | 871 78593 334041 | 2147483647 19301 55 | 0.000 % |
12.97/13.04 c | 19641 | 871 78593 334041 | 2147483647 19641 55 | 0.000 % |
13.57/13.62 c | 20014 | 871 78593 334041 | 2147483647 20014 55 | 0.000 % |
13.77/13.87 c | 20114 | 871 78593 334041 | 2147483647 20114 55 | 0.000 % |
14.07/14.10 c | 20225 | 871 78593 334041 | 2147483647 20225 55 | 0.000 % |
14.27/14.34 c | 20346 | 871 78593 334041 | 2147483647 20346 55 | 0.000 % |
14.47/14.57 c | 20480 | 871 78593 334041 | 2147483647 20480 55 | 0.000 % |
14.77/14.88 c | 20626 | 871 78593 334041 | 2147483647 20626 55 | 0.000 % |
15.07/15.14 c | 20786 | 871 78593 334041 | 2147483647 20786 55 | 0.000 % |
15.37/15.42 c | 20962 | 871 78593 334041 | 2147483647 20962 54 | 0.000 % |
15.67/15.79 c | 21157 | 871 78593 334041 | 2147483647 21157 54 | 0.000 % |
16.07/16.18 c | 21369 | 871 78593 334041 | 2147483647 21369 54 | 0.000 % |
16.57/16.62 c | 21602 | 871 78593 334041 | 2147483647 21602 54 | 0.000 % |
16.87/16.90 c | 21862 | 871 78593 334041 | 2147483647 21862 54 | 0.000 % |
17.17/17.26 c | 22143 | 871 78593 334041 | 2147483647 22143 54 | 0.000 % |
17.67/17.79 c | 22452 | 871 78593 334041 | 2147483647 22452 54 | 0.000 % |
18.27/18.33 c | 22792 | 871 78593 334041 | 2147483647 22792 54 | 0.000 % |
18.97/19.08 c | 23165 | 871 78593 334041 | 2147483647 23165 54 | 0.000 % |
19.77/19.83 c | 23575 | 871 78593 334041 | 2147483647 23575 54 | 0.000 % |
19.87/19.98 c | 23675 | 871 78593 334041 | 2147483647 23675 54 | 0.000 % |
20.07/20.14 c | 23785 | 871 78593 334041 | 2147483647 23785 54 | 0.000 % |
20.27/20.31 c | 23906 | 871 78593 334041 | 2147483647 23906 54 | 0.000 % |
20.37/20.49 c | 24040 | 871 78593 334041 | 2147483647 24040 54 | 0.000 % |
20.57/20.63 c | 24187 | 871 78593 334041 | 2147483647 24187 53 | 0.000 % |
20.87/20.90 c | 24347 | 871 78593 334041 | 2147483647 24347 53 | 0.000 % |
21.17/21.27 c | 24524 | 871 78593 334041 | 2147483647 24524 53 | 0.000 % |
21.57/21.61 c | 24717 | 871 78593 334041 | 2147483647 24717 53 | 0.000 % |
21.87/21.92 c | 24929 | 871 78593 334041 | 2147483647 24929 53 | 0.000 % |
22.37/22.49 c | 25164 | 871 78593 334041 | 2147483647 25164 53 | 0.000 % |
22.87/22.93 c | 25420 | 871 78593 334041 | 2147483647 25420 53 | 0.000 % |
23.37/23.49 c | 25701 | 871 78593 334041 | 2147483647 25701 53 | 0.000 % |
23.97/24.06 c | 26012 | 871 78593 334041 | 2147483647 26012 53 | 0.000 % |
24.47/24.51 c | 26352 | 871 78593 334041 | 2147483647 26352 53 | 0.000 % |
25.06/25.18 c | 26725 | 871 78593 334041 | 2147483647 26725 53 | 0.000 % |
25.86/25.95 c | 27135 | 871 78593 334041 | 2147483647 27135 53 | 0.000 % |
26.56/26.64 c | 27584 | 871 78593 334041 | 2147483647 27584 53 | 0.000 % |
26.76/26.87 c | 27684 | 871 78593 334041 | 2147483647 27684 53 | 0.000 % |
27.06/27.11 c | 27795 | 871 78593 334041 | 2147483647 27795 53 | 0.000 % |
27.26/27.35 c | 27917 | 871 78593 334041 | 2147483647 27917 53 | 0.000 % |
27.56/27.63 c | 28053 | 871 78593 334041 | 2147483647 28053 53 | 0.000 % |
27.86/27.91 c | 28199 | 871 78593 334041 | 2147483647 28199 53 | 0.000 % |
28.06/28.18 c | 28362 | 871 78593 334041 | 2147483647 28362 53 | 0.000 % |
28.36/28.42 c | 28538 | 871 78593 334041 | 2147483647 28538 53 | 0.000 % |
28.76/28.81 c | 28732 | 871 78593 334041 | 2147483647 28732 53 | 0.000 % |
29.26/29.32 c | 28944 | 871 78593 334041 | 2147483647 28944 53 | 0.000 % |
29.86/29.92 c | 29179 | 871 78593 334041 | 2147483647 29179 53 | 0.000 % |
30.36/30.43 c | 29435 | 871 78593 334041 | 2147483647 29435 53 | 0.000 % |
30.76/30.89 c | 29717 | 871 78593 334041 | 2147483647 29717 53 | 0.000 % |
31.26/31.40 c | 30029 | 871 78593 334041 | 2147483647 30029 53 | 0.000 % |
31.96/32.09 c | 30369 | 871 78593 334041 | 2147483647 30369 52 | 0.000 % |
32.86/32.91 c | 30742 | 871 78593 334041 | 2147483647 30742 52 | 0.000 % |
33.76/33.84 c | 31151 | 871 78593 334041 | 2147483647 31151 52 | 0.000 % |
34.46/34.55 c | 31602 | 871 78593 334041 | 2147483647 31602 52 | 0.000 % |
35.56/35.67 c | 32095 | 871 78593 334041 | 2147483647 32095 52 | 0.000 % |
35.76/35.85 c | 32195 | 871 78593 334041 | 2147483647 32195 52 | 0.000 % |
36.06/36.11 c | 32306 | 871 78593 334041 | 2147483647 32306 52 | 0.000 % |
36.35/36.40 c | 32427 | 871 78593 334041 | 2147483647 32427 52 | 0.000 % |
36.65/36.76 c | 32565 | 871 78593 334041 | 2147483647 32565 52 | 0.000 % |
37.05/37.10 c | 32711 | 871 78593 334041 | 2147483647 32711 52 | 0.000 % |
37.26/37.36 c | 32871 | 871 78593 334041 | 2147483647 32871 52 | 0.000 % |
37.55/37.64 c | 33047 | 871 78593 334041 | 2147483647 33047 52 | 0.000 % |
37.95/38.03 c | 33241 | 871 78593 334041 | 2147483647 33241 52 | 0.000 % |
38.25/38.32 c | 33454 | 871 78593 334041 | 2147483647 33454 52 | 0.000 % |
38.65/38.74 c | 33690 | 871 78593 334041 | 2147483647 33690 52 | 0.000 % |
39.15/39.24 c | 33949 | 871 78593 334041 | 2147483647 33949 51 | 0.000 % |
39.75/39.85 c | 34231 | 871 78593 334041 | 2147483647 34231 51 | 0.000 % |
40.25/40.32 c | 34542 | 871 78593 334041 | 2147483647 34542 51 | 0.000 % |
40.55/40.65 c | 34881 | 871 78593 334041 | 2147483647 34881 51 | 0.000 % |
41.85/41.90 c | 35253 | 871 78593 334041 | 2147483647 35253 51 | 0.000 % |
42.95/43.09 c | 35662 | 871 78593 334041 | 2147483647 35662 51 | 0.000 % |
44.84/44.96 c | 36111 | 871 78593 334041 | 2147483647 36111 51 | 0.000 % |
46.04/46.17 c | 36606 | 871 78593 334041 | 2147483647 36606 51 | 0.000 % |
48.04/48.14 c | 37152 | 871 78593 334041 | 2147483647 37152 51 | 0.000 % |
48.24/48.39 c | 37252 | 871 78593 334041 | 2147483647 37252 51 | 0.000 % |
48.74/48.87 c | 37364 | 871 78593 334041 | 2147483647 37364 51 | 0.000 % |
49.04/49.15 c | 37485 | 871 78593 334041 | 2147483647 37485 51 | 0.000 % |
49.64/49.73 c | 37621 | 871 78593 334041 | 2147483647 37621 51 | 0.000 % |
50.14/50.24 c | 37767 | 871 78593 334041 | 2147483647 37767 51 | 0.000 % |
50.14/50.29 c | 37928 | 871 78593 334041 | 2147483647 37928 51 | 0.000 % |
51.04/51.12 c | 38104 | 871 78593 334041 | 2147483647 38104 51 | 0.000 % |
51.45/51.51 c | 38297 | 871 78593 334041 | 2147483647 38297 51 | 0.000 % |
52.35/52.50 c | 38509 | 871 78593 334041 | 2147483647 38509 51 | 0.000 % |
53.34/53.47 c | 38745 | 871 78593 334041 | 2147483647 38745 51 | 0.000 % |
54.44/54.53 c | 39002 | 871 78593 334041 | 2147483647 39002 51 | 0.000 % |
55.64/55.72 c | 39283 | 871 78593 334041 | 2147483647 39283 51 | 0.000 % |
57.05/57.13 c | 39593 | 871 78593 334041 | 2147483647 39593 51 | 0.000 % |
58.64/58.73 c | 39933 | 871 78593 334041 | 2147483647 39933 51 | 0.002 % |
60.24/60.30 c | 40305 | 871 78593 334041 | 40000 40305 51 | 0.000 % |
61.74/61.90 c | 40714 | 871 78593 334041 | 40000 32277 49 | 0.000 % |
63.34/63.47 c | 41165 | 871 78593 334041 | 40000 32728 49 | 0.000 % |
64.64/64.73 c | 41658 | 871 78593 334041 | 40000 33221 49 | 0.000 % |
66.24/66.39 c | 42201 | 871 78593 334041 | 40000 33764 49 | 0.000 % |
68.15/68.23 c | 42797 | 871 78593 334041 | 40000 34360 49 | 0.000 % |
68.34/68.44 c | 42900 | 871 78593 334041 | 40000 34463 49 | 0.000 % |
68.84/68.99 c | 43010 | 871 78593 334041 | 40000 34573 49 | 0.000 % |
69.15/69.29 c | 43133 | 871 78593 334041 | 40000 34696 49 | 0.000 % |
69.74/69.89 c | 43266 | 871 78593 334041 | 40000 34829 49 | 0.000 % |
70.24/70.33 c | 43413 | 871 78593 334041 | 40000 34976 49 | 0.000 % |
70.84/70.96 c | 43577 | 871 78593 334041 | 40000 35140 49 | 0.000 % |
71.74/71.80 c | 43754 | 871 78593 334041 | 40000 35317 49 | 0.000 % |
72.34/72.47 c | 43947 | 871 78593 334041 | 40000 35510 50 | 0.000 % |
73.14/73.27 c | 44159 | 871 78593 334041 | 40000 35722 50 | 0.000 % |
74.14/74.25 c | 44393 | 871 78593 334041 | 40000 35956 49 | 0.000 % |
74.84/74.98 c | 44651 | 871 78593 334041 | 40000 36214 49 | 0.000 % |
75.94/76.01 c | 44933 | 871 78593 334041 | 40000 36496 49 | 0.000 % |
77.04/77.10 c | 45244 | 871 78593 334041 | 40000 36807 49 | 0.000 % |
78.54/78.61 c | 45584 | 871 78593 334041 | 40000 37147 49 | 0.000 % |
80.14/80.20 c | 45956 | 871 78593 334041 | 40000 37519 49 | 0.000 % |
81.24/81.34 c | 46366 | 871 78593 334041 | 40000 37929 49 | 0.000 % |
82.34/82.44 c | 46816 | 871 78593 334041 | 40000 38379 49 | 0.000 % |
83.94/84.09 c | 47310 | 871 78593 334041 | 40000 38873 49 | 0.000 % |
85.54/85.64 c | 47852 | 871 78593 334041 | 40000 39415 49 | 0.000 % |
87.14/87.28 c | 48448 | 871 78593 334041 | 40000 40011 49 | 0.000 % |
89.04/89.13 c | 49103 | 871 78593 334041 | 40000 29623 48 | 0.000 % |
89.13/89.29 c | 49204 | 871 78593 334041 | 40000 29724 48 | 0.000 % |
89.33/89.43 c | 49315 | 871 78593 334041 | 40000 29835 48 | 0.000 % |
89.53/89.63 c | 49440 | 871 78593 334041 | 40000 29960 48 | 0.000 % |
89.73/89.83 c | 49573 | 871 78593 334041 | 40000 30093 48 | 0.000 % |
89.93/90.07 c | 49720 | 871 78593 334041 | 40000 30240 48 | 0.000 % |
90.23/90.33 c | 49880 | 871 78593 334041 | 40000 30400 48 | 0.000 % |
90.53/90.61 c | 50057 | 871 78593 334041 | 30521 30577 48 | 0.000 % |
91.03/91.20 c | 50255 | 871 78593 334041 | 30521 22833 47 | 0.000 % |
91.43/91.52 c | 50471 | 871 78593 334041 | 30521 23049 47 | 0.000 % |
91.73/91.85 c | 50706 | 871 78593 334041 | 30521 23284 47 | 0.000 % |
92.23/92.30 c | 50962 | 871 78593 334041 | 30521 23540 47 | 0.000 % |
92.53/92.67 c | 51248 | 871 78593 334041 | 30521 23826 47 | 0.000 % |
92.93/93.09 c | 51557 | 871 78593 334041 | 30521 24135 47 | 0.000 % |
93.13/93.26 c | 51896 | 871 78593 334041 | 30521 24474 47 | 0.000 % |
93.92/94.01 c | 52270 | 871 78593 334041 | 30521 24848 47 | 0.000 % |
94.22/94.39 c | 52682 | 871 78593 334041 | 30521 25260 47 | 0.000 % |
95.22/95.35 c | 53134 | 871 78593 334041 | 30521 25712 47 | 0.000 % |
95.42/95.56 c | 53627 | 871 78593 334041 | 30521 26205 47 | 0.000 % |
96.82/96.94 c | 54171 | 871 78593 334041 | 30521 26749 47 | 0.000 % |
98.22/98.39 c | 54768 | 871 78593 334041 | 30521 27346 47 | 0.000 % |
100.02/100.12 c | 55423 | 871 78593 334041 | 30521 28001 48 | 0.000 % |
101.52/101.61 c | 56144 | 871 78593 334041 | 30521 28722 48 | 0.000 % |
101.82/101.95 c | 56244 | 871 78593 334041 | 30521 28822 48 | 0.000 % |
102.12/102.27 c | 56354 | 871 78593 334041 | 30521 28932 48 | 0.000 % |
102.42/102.52 c | 56478 | 871 78593 334041 | 30521 29056 48 | 0.000 % |
102.72/102.88 c | 56611 | 871 78593 334041 | 30521 29189 48 | 0.000 % |
103.12/103.23 c | 56758 | 871 78593 334041 | 30521 29336 48 | 0.000 % |
103.52/103.69 c | 56918 | 871 78593 334041 | 30521 29496 48 | 0.000 % |
104.12/104.27 c | 57095 | 871 78593 334041 | 30521 29673 48 | 0.000 % |
104.62/104.77 c | 57288 | 871 78593 334041 | 30521 29866 48 | 0.000 % |
105.22/105.30 c | 57500 | 871 78593 334041 | 30521 30078 48 | 0.000 % |
105.82/105.98 c | 57733 | 871 78593 334041 | 30521 30311 48 | 0.000 % |
106.52/106.68 c | 57990 | 871 78593 334041 | 30521 30568 48 | 0.000 % |
107.22/107.38 c | 58272 | 871 78593 334041 | 30521 24632 49 | 0.000 % |
107.82/107.98 c | 58582 | 871 78593 334041 | 30521 24942 49 | 0.000 % |
108.62/108.73 c | 58924 | 871 78593 334041 | 30521 25284 49 | 0.000 % |
109.42/109.55 c | 59297 | 871 78593 334041 | 30521 25657 49 | 0.000 % |
110.02/110.11 c | 59706 | 871 78593 334041 | 30521 26066 49 | 0.000 % |
110.92/111.04 c | 60155 | 871 78593 334041 | 26360 26515 49 | 0.000 % |
111.72/111.85 c | 60649 | 871 78593 334041 | 26360 21673 49 | 0.000 % |
112.52/112.70 c | 61194 | 871 78593 334041 | 26360 22218 49 | 0.000 % |
113.72/113.83 c | 61790 | 871 78593 334041 | 26360 22814 49 | 0.000 % |
114.81/114.99 c | 62445 | 871 78593 334041 | 26360 23469 49 | 0.000 % |
116.11/116.28 c | 63166 | 871 78593 334041 | 26360 24190 49 | 0.000 % |
117.81/117.91 c | 63958 | 871 78593 334041 | 26360 24982 49 | 0.000 % |
118.01/118.14 c | 64059 | 871 78593 334041 | 26360 25083 49 | 0.000 % |
118.31/118.45 c | 64170 | 871 78593 334041 | 26360 25194 49 | 0.000 % |
118.62/118.76 c | 64294 | 871 78593 334041 | 26360 25318 49 | 0.000 % |
118.81/119.00 c | 64430 | 871 78593 334041 | 26360 25454 49 | 0.000 % |
119.21/119.31 c | 64578 | 871 78593 334041 | 26360 25602 49 | 0.000 % |
119.51/119.63 c | 64738 | 871 78593 334041 | 26360 25762 49 | 0.000 % |
119.91/120.09 c | 64914 | 871 78593 334041 | 26360 25938 49 | 0.000 % |
120.31/120.48 c | 65107 | 871 78593 334041 | 26360 26131 49 | 0.000 % |
120.61/120.79 c | 65322 | 871 78593 334041 | 26360 26346 49 | 0.000 % |
121.01/121.19 c | 65555 | 871 78593 334041 | 26360 26579 49 | 0.000 % |
121.61/121.77 c | 65812 | 871 78593 334041 | 26360 22763 48 | 0.000 % |
122.11/122.24 c | 66094 | 871 78593 334041 | 26360 23045 49 | 0.000 % |
122.81/122.90 c | 66403 | 871 78593 334041 | 26360 23354 49 | 0.000 % |
123.51/123.62 c | 66745 | 871 78593 334041 | 26360 23696 49 | 0.000 % |
124.11/124.25 c | 67118 | 871 78593 334041 | 26360 24069 49 | 0.000 % |
124.91/125.04 c | 67527 | 871 78593 334041 | 26360 24478 49 | 0.000 % |
125.41/125.56 c | 67977 | 871 78593 334041 | 26360 24928 49 | 0.000 % |
126.21/126.35 c | 68471 | 871 78593 334041 | 26360 25422 49 | 0.000 % |
127.01/127.17 c | 69016 | 871 78593 334041 | 26360 25967 49 | 0.000 % |
128.11/128.27 c | 69613 | 871 78593 334041 | 26360 26564 49 | 0.000 % |
129.21/129.31 c | 70268 | 871 78593 334041 | 22967 23233 49 | 0.000 % |
129.91/130.06 c | 70989 | 871 78593 334041 | 22967 20598 49 | 0.000 % |
130.81/130.98 c | 71782 | 871 78593 334041 | 22967 21391 49 | 0.000 % |
131.71/131.81 c | 72658 | 871 78593 334041 | 22967 22267 49 | 0.000 % |
131.81/131.93 c | 72758 | 871 78593 334041 | 22967 22367 49 | 0.000 % |
131.91/132.04 c | 72868 | 871 78593 334041 | 22967 22477 49 | 0.000 % |
132.21/132.30 c | 72990 | 871 78593 334041 | 22967 22599 49 | 0.000 % |
132.31/132.41 c | 73125 | 871 78593 334041 | 22967 22734 49 | 0.000 % |
132.51/132.62 c | 73271 | 871 78593 334041 | 22967 22880 49 | 0.000 % |
132.61/132.72 c | 73431 | 871 78593 334041 | 22967 23040 49 | 0.000 % |
132.91/133.03 c | 73609 | 871 78593 334041 | 22967 20914 49 | 0.000 % |
133.21/133.34 c | 73802 | 871 78593 334041 | 22967 21107 49 | 0.000 % |
133.51/133.69 c | 74014 | 871 78593 334041 | 22967 21319 49 | 0.000 % |
133.91/134.07 c | 74248 | 871 78593 334041 | 22967 21553 49 | 0.000 % |
134.41/134.52 c | 74505 | 871 78593 334041 | 22967 21810 49 | 0.000 % |
134.71/134.89 c | 74787 | 871 78593 334041 | 22967 22092 49 | 0.000 % |
135.30/135.42 c | 75097 | 871 78593 334041 | 22967 22402 49 | 0.000 % |
135.80/135.94 c | 75440 | 871 78593 334041 | 22967 22745 49 | 0.000 % |
136.40/136.56 c | 75812 | 871 78593 334041 | 22967 23117 49 | 0.000 % |
137.00/137.11 c | 76221 | 871 78593 334041 | 22967 21215 48 | 0.000 % |
138.00/138.10 c | 76670 | 871 78593 334041 | 22967 21664 48 | 0.000 % |
138.70/138.80 c | 77163 | 871 78593 334041 | 22967 22157 48 | 0.000 % |
139.70/139.85 c | 77707 | 871 78593 334041 | 22967 22701 48 | 0.000 % |
140.40/140.58 c | 78303 | 871 78593 334041 | 22967 23297 48 | 0.000 % |
141.20/141.31 c | 78961 | 871 78593 334041 | 22967 21591 48 | 0.000 % |
142.10/142.27 c | 79681 | 871 78593 334041 | 22967 22311 48 | 0.000 % |
143.20/143.35 c | 80474 | 871 78593 334041 | 2147483647 23104 48 | 0.000 % |
144.40/144.51 c | 81345 | 871 78593 334041 | 2147483647 23975 49 | 0.000 % |
145.50/145.62 c | 82305 | 871 78593 334041 | 2147483647 24935 48 | 0.000 % |
145.60/145.72 c | 82406 | 871 78593 334041 | 2147483647 25036 48 | 0.000 % |
145.70/145.84 c | 82520 | 871 78593 334041 | 2147483647 25150 48 | 0.000 % |
145.90/146.08 c | 82641 | 871 78593 334041 | 2147483647 25271 49 | 0.000 % |
146.10/146.30 c | 82774 | 871 78593 334041 | 2147483647 25404 49 | 0.000 % |
146.40/146.57 c | 82922 | 871 78593 334041 | 2147483647 25552 49 | 0.000 % |
146.80/146.91 c | 83084 | 871 78593 334041 | 2147483647 25714 49 | 0.000 % |
147.00/147.16 c | 83260 | 871 78593 334041 | 2147483647 25890 49 | 0.000 % |
147.30/147.44 c | 83453 | 871 78593 334041 | 2147483647 26083 49 | 0.000 % |
147.59/147.71 c | 83667 | 871 78593 334041 | 2147483647 26297 49 | 0.000 % |
147.99/148.11 c | 83903 | 871 78593 334041 | 2147483647 26533 49 | 0.000 % |
148.40/148.54 c | 84159 | 871 78593 334041 | 2147483647 26789 49 | 0.000 % |
148.59/148.70 c | 84440 | 871 78593 334041 | 2147483647 27070 49 | 0.000 % |
149.19/149.33 c | 84752 | 871 78593 334041 | 2147483647 27382 49 | 0.000 % |
149.59/149.71 c | 85093 | 871 78593 334041 | 2147483647 27723 49 | 0.000 % |
150.19/150.36 c | 85468 | 871 78593 334041 | 2147483647 28098 49 | 0.000 % |
150.60/150.77 c | 85877 | 871 78593 334041 | 2147483647 28507 49 | 0.000 % |
150.99/151.14 c | 86326 | 871 78593 334041 | 2147483647 28956 49 | 0.000 % |
151.79/151.93 c | 86819 | 871 78593 334041 | 2147483647 29449 49 | 0.000 % |
152.39/152.55 c | 87361 | 871 78593 334041 | 2147483647 29991 49 | 0.000 % |
153.29/153.50 c | 87957 | 871 78593 334041 | 2147483647 30587 48 | 0.000 % |
154.49/154.67 c | 88616 | 871 78593 334041 | 2147483647 31246 48 | 0.000 % |
155.29/155.45 c | 89337 | 871 78593 334041 | 2147483647 31967 48 | 0.000 % |
156.69/156.80 c | 90131 | 871 78593 334041 | 2147483647 32761 48 | 0.000 % |
157.89/158.05 c | 91002 | 871 78593 334041 | 2147483647 33632 48 | 0.000 % |
159.59/159.71 c | 91960 | 871 78593 334041 | 2147483647 34590 48 | 0.000 % |
161.09/161.24 c | 93015 | 871 78593 334041 | 2147483647 35645 48 | 0.000 % |
161.29/161.44 c | 93119 | 871 78593 334041 | 2147483647 35749 48 | 0.000 % |
161.49/161.68 c | 93229 | 871 78593 334041 | 2147483647 35859 48 | 0.000 % |
161.79/161.93 c | 93352 | 871 78593 334041 | 2147483647 35982 48 | 0.000 % |
161.99/162.15 c | 93485 | 871 78593 334041 | 2147483647 36115 48 | 0.000 % |
162.19/162.39 c | 93631 | 871 78593 334041 | 2147483647 36261 48 | 0.000 % |
162.59/162.75 c | 93791 | 871 78593 334041 | 2147483647 36421 48 | 0.000 % |
162.79/162.96 c | 93969 | 871 78593 334041 | 2147483647 36599 48 | 0.000 % |
163.09/163.27 c | 94163 | 871 78593 334041 | 2147483647 36793 48 | 0.000 % |
163.49/163.60 c | 94376 | 871 78593 334041 | 2147483647 37006 48 | 0.000 % |
163.69/163.88 c | 94609 | 871 78593 334041 | 2147483647 37239 48 | 0.000 % |
164.29/164.45 c | 94868 | 871 78593 334041 | 2147483647 37498 47 | 0.000 % |
164.89/165.01 c | 95149 | 871 78593 334041 | 2147483647 37779 47 | 0.000 % |
165.39/165.55 c | 95458 | 871 78593 334041 | 2147483647 38088 47 | 0.000 % |
165.99/166.19 c | 95797 | 871 78593 334041 | 2147483647 38427 47 | 0.000 % |
166.49/166.62 c | 96169 | 871 78593 334041 | 2147483647 38799 47 | 0.000 % |
166.79/166.91 c | 96581 | 871 78593 334041 | 2147483647 39211 47 | 0.000 % |
167.69/167.81 c | 97030 | 871 78593 334041 | 2147483647 39660 47 | 0.000 % |
168.49/168.65 c | 97527 | 871 78593 334041 | 2147483647 40157 47 | 0.000 % |
170.68/170.89 c | 98069 | 871 78593 334041 | 2147483647 40699 48 | 0.000 % |
171.58/171.72 c | 98665 | 871 78593 334041 | 2147483647 41295 48 | 0.000 % |
172.28/172.48 c | 99322 | 871 78593 334041 | 2147483647 41952 48 | 0.000 % |
172.88/173.07 c | 100044 | 871 78593 334041 | 2147483647 42674 48 | 0.000 % |
173.38/173.54 c | 100837 | 871 78593 334041 | 2147483647 43467 48 | 0.000 % |
173.88/174.01 c | 101711 | 871 78593 334041 | 2147483647 44341 48 | 0.000 % |
174.28/174.42 c | 102670 | 871 78593 334041 | 2147483647 45300 48 | 0.000 % |
174.79/174.99 c | 103723 | 871 78593 334041 | 2147483647 46353 48 | 0.000 % |
175.19/175.35 c | 104881 | 871 78593 334041 | 2147483647 47511 48 | 0.000 % |
175.29/175.42 c | 104984 | 871 78593 334041 | 2147483647 47614 48 | 0.000 % |
175.29/175.48 c | 105096 | 871 78593 334041 | 2147483647 47726 48 | 0.000 % |
175.39/175.55 c | 105219 | 871 78593 334041 | 2147483647 47849 48 | 0.000 % |
175.39/175.59 c | 105353 | 871 78593 334041 | 2147483647 47983 48 | 0.000 % |
175.49/175.62 c | 105501 | 871 78593 334041 | 2147483647 48131 48 | 0.000 % |
175.49/175.69 c | 105662 | 871 78593 334041 | 2147483647 48292 48 | 0.000 % |
175.59/175.75 c | 105838 | 871 78593 334041 | 2147483647 48468 48 | 0.000 % |
175.69/175.80 c | 106032 | 871 78593 334041 | 2147483647 48662 48 | 0.000 % |
175.69/175.86 c | 106245 | 871 78593 334041 | 2147483647 48875 48 | 0.000 % |
175.79/175.92 c | 106478 | 871 78593 334041 | 2147483647 49108 48 | 0.000 % |
175.89/176.01 c | 106734 | 871 78593 334041 | 2147483647 49364 48 | 0.000 % |
175.89/176.08 c | 107016 | 871 78593 334041 | 2147483647 49646 48 | 0.000 % |
176.09/176.20 c | 107325 | 871 78593 334041 | 2147483647 49955 48 | 0.000 % |
176.19/176.32 c | 107664 | 871 78593 334041 | 2147483647 50294 48 | 0.000 % |
176.29/176.44 c | 108036 | 871 78593 334041 | 2147483647 50666 48 | 0.000 % |
176.39/176.59 c | 108445 | 871 78593 334041 | 2147483647 51075 48 | 0.000 % |
176.59/176.78 c | 108894 | 871 78593 334041 | 2147483647 51524 48 | 0.000 % |
176.79/176.95 c | 109389 | 871 78593 334041 | 2147483647 52019 49 | 0.000 % |
176.99/177.13 c | 109931 | 871 78593 334041 | 2147483647 52561 48 | 0.000 % |
177.28/177.42 c | 110528 | 871 78593 334041 | 2147483647 53158 48 | 0.000 % |
177.58/177.72 c | 111184 | 871 78593 334041 | 2147483647 53814 49 | 0.000 % |
177.78/177.94 c | 111905 | 871 78593 334041 | 2147483647 54535 49 | 0.000 % |
177.98/178.13 c | 112699 | 871 78593 334041 | 2147483647 55329 49 | 0.000 % |
178.18/178.32 c | 113570 | 871 78593 334041 | 2147483647 56200 49 | 0.000 % |
178.78/178.99 c | 114529 | 871 78593 334041 | 2147483647 57159 49 | 0.000 % |
179.47/179.63 c | 115582 | 871 78593 334041 | 2147483647 58212 49 | 0.000 % |
180.19/180.37 c | 116742 | 871 78593 334041 | 2147483647 59372 49 | 0.000 % |
180.78/180.95 c | 118016 | 871 78593 334041 | 2147483647 60646 49 | 0.000 % |
180.88/181.01 c | 118119 | 871 78593 334041 | 2147483647 60749 49 | 0.000 % |
180.88/181.06 c | 118233 | 871 78593 334041 | 2147483647 60863 49 | 0.000 % |
180.98/181.15 c | 118354 | 871 78593 334041 | 2147483647 60984 49 | 0.000 % |
181.08/181.21 c | 118487 | 871 78593 334041 | 2147483647 61117 49 | 0.000 % |
181.08/181.28 c | 118634 | 871 78593 334041 | 2147483647 61264 49 | 0.000 % |
181.29/181.40 c | 118795 | 871 78593 334041 | 2147483647 61425 49 | 0.000 % |
181.29/181.47 c | 118972 | 871 78593 334041 | 2147483647 61602 49 | 0.000 % |
181.39/181.57 c | 119165 | 871 78593 334041 | 2147483647 61795 49 | 0.000 % |
181.48/181.65 c | 119379 | 871 78593 334041 | 2147483647 62009 49 | 0.000 % |
181.58/181.74 c | 119612 | 871 78593 334041 | 2147483647 62242 49 | 0.000 % |
181.68/181.90 c | 119870 | 871 78593 334041 | 2147483647 62500 49 | 0.000 % |
181.98/182.17 c | 120151 | 871 78593 334041 | 2147483647 62781 49 | 0.000 % |
182.08/182.26 c | 120463 | 871 78593 334041 | 2147483647 63093 49 | 0.000 % |
182.28/182.43 c | 120804 | 871 78593 334041 | 2147483647 63434 49 | 0.000 % |
182.38/182.55 c | 121176 | 871 78593 334041 | 2147483647 63806 49 | 0.000 % |
182.48/182.68 c | 121587 | 871 78593 334041 | 2147483647 64217 49 | 0.000 % |
182.78/182.97 c | 122036 | 871 78593 334041 | 2147483647 64666 49 | 0.000 % |
183.08/183.28 c | 122529 | 871 78593 334041 | 2147483647 65159 49 | 0.000 % |
183.38/183.59 c | 123073 | 871 78593 334041 | 2147483647 65703 49 | 0.000 % |
183.77/183.93 c | 123670 | 871 78593 334041 | 2147483647 66300 50 | 0.000 % |
184.07/184.28 c | 124326 | 871 78593 334041 | 2147483647 66956 50 | 0.000 % |
184.58/184.70 c | 125048 | 871 78593 334041 | 2147483647 67678 50 | 0.000 % |
184.97/185.19 c | 125840 | 871 78593 334041 | 2147483647 68470 50 | 0.000 % |
185.47/185.68 c | 126711 | 871 78593 334041 | 2147483647 69341 50 | 0.000 % |
186.17/186.38 c | 127669 | 871 78593 334041 | 2147483647 70299 50 | 0.000 % |
186.87/187.03 c | 128722 | 871 78593 334041 | 2147483647 71352 50 | 0.000 % |
187.57/187.76 c | 129880 | 871 78593 334041 | 2147483647 72510 50 | 0.000 % |
189.08/189.30 c | 131155 | 871 78593 334041 | 2147483647 73785 50 | 0.000 % |
190.18/190.39 c | 132558 | 871 78593 334041 | 2147483647 75188 49 | 0.000 % |
190.28/190.46 c | 132659 | 871 78593 334041 | 2147483647 75289 49 | 0.000 % |
190.38/190.54 c | 132769 | 871 78593 334041 | 2147483647 75399 50 | 0.000 % |
190.48/190.63 c | 132892 | 871 78593 334041 | 2147483647 75522 50 | 0.000 % |
190.58/190.70 c | 133025 | 871 78593 334041 | 2147483647 75655 50 | 0.000 % |
190.58/190.79 c | 133172 | 871 78593 334041 | 2147483647 75802 50 | 0.000 % |
190.68/190.88 c | 133332 | 871 78593 334041 | 2147483647 75962 50 | 0.000 % |
190.77/190.99 c | 133508 | 871 78593 334041 | 2147483647 76138 50 | 0.000 % |
190.97/191.11 c | 133701 | 871 78593 334041 | 2147483647 76331 50 | 0.000 % |
191.07/191.24 c | 133915 | 871 78593 334041 | 2147483647 76545 50 | 0.000 % |
191.28/191.43 c | 134149 | 871 78593 334041 | 2147483647 76779 50 | 0.000 % |
191.47/191.62 c | 134406 | 871 78593 334041 | 2147483647 77036 50 | 0.000 % |
191.67/191.83 c | 134687 | 871 78593 334041 | 2147483647 77317 50 | 0.000 % |
191.87/192.06 c | 134997 | 871 78593 334041 | 2147483647 77627 50 | 0.000 % |
192.17/192.34 c | 135338 | 871 78593 334041 | 2147483647 77968 50 | 0.000 % |
192.38/192.59 c | 135711 | 871 78593 334041 | 2147483647 78341 50 | 0.000 % |
192.67/192.85 c | 136120 | 871 78593 334041 | 2147483647 78750 50 | 0.000 % |
192.97/193.15 c | 136572 | 871 78593 334041 | 2147483647 79202 50 | 0.000 % |
193.38/193.56 c | 137066 | 871 78593 334041 | 2147483647 79696 50 | 0.000 % |
193.77/193.93 c | 137608 | 871 78593 334041 | 2147483647 80238 50 | 0.000 % |
194.07/194.29 c | 138206 | 871 78593 334041 | 2147483647 80836 50 | 0.000 % |
194.47/194.65 c | 138861 | 871 78593 334041 | 2147483647 81491 50 | 0.000 % |
194.87/195.06 c | 139581 | 871 78593 334041 | 2147483647 82211 50 | 0.000 % |
195.57/195.75 c | 140375 | 871 78593 334041 | 2147483647 83005 50 | 0.000 % |
196.26/196.44 c | 141247 | 871 78593 334041 | 2147483647 83877 50 | 0.000 % |
197.06/197.29 c | 142206 | 871 78593 334041 | 2147483647 84836 50 | 0.000 % |
197.77/197.97 c | 143259 | 871 78593 334041 | 2147483647 85889 50 | 0.000 % |
198.67/198.81 c | 144419 | 871 78593 334041 | 2147483647 87049 50 | 0.000 % |
199.77/199.96 c | 145693 | 871 78593 334041 | 2147483647 88323 51 | 0.000 % |
201.37/201.50 c | 147095 | 871 78593 334041 | 2147483647 89725 51 | 0.000 % |
203.07/203.21 c | 148635 | 871 78593 334041 | 2147483647 91265 51 | 0.000 % |
203.17/203.33 c | 148735 | 871 78593 334041 | 2147483647 91365 51 | 0.000 % |
203.27/203.45 c | 148847 | 871 78593 334041 | 2147483647 91477 51 | 0.000 % |
203.37/203.60 c | 148977 | 871 78593 334041 | 2147483647 91607 51 | 0.000 % |
203.47/203.69 c | 149110 | 871 78593 334041 | 2147483647 91740 51 | 0.000 % |
203.67/203.80 c | 149259 | 871 78593 334041 | 2147483647 91889 51 | 0.000 % |
204.07/204.25 c | 149421 | 871 78593 334041 | 2147483647 92051 51 | 0.000 % |
205.16/205.34 c | 149598 | 871 78593 334041 | 2147483647 92228 51 | 0.000 % |
205.67/205.81 c | 149791 | 871 78593 334041 | 2147483647 92421 51 | 0.000 % |
206.17/206.34 c | 150003 | 871 78593 334041 | 2147483647 92633 51 | 0.000 % |
206.67/206.83 c | 150239 | 871 78593 334041 | 2147483647 92869 51 | 0.000 % |
207.06/207.21 c | 150495 | 871 78593 334041 | 2147483647 93125 51 | 0.000 % |
207.26/207.49 c | 150776 | 871 78593 334041 | 2147483647 93406 51 | 0.000 % |
207.66/207.80 c | 151086 | 871 78593 334041 | 2147483647 93716 51 | 0.000 % |
208.06/208.21 c | 151425 | 871 78593 334041 | 2147483647 94055 51 | 0.000 % |
208.46/208.61 c | 151798 | 871 78593 334041 | 2147483647 94428 51 | 0.000 % |
208.86/209.09 c | 152209 | 871 78593 334041 | 2147483647 94839 51 | 0.000 % |
209.36/209.57 c | 152658 | 871 78593 334041 | 2147483647 95288 51 | 0.000 % |
209.76/209.96 c | 153151 | 871 78593 334041 | 2147483647 95781 51 | 0.000 % |
210.26/210.44 c | 153693 | 871 78593 334041 | 2147483647 96323 51 | 0.000 % |
210.86/211.00 c | 154290 | 871 78593 334041 | 2147483647 96920 51 | 0.000 % |
211.45/211.66 c | 154945 | 871 78593 334041 | 2147483647 97575 50 | 0.000 % |
214.15/214.31 c | 155665 | 871 78593 334041 | 2147483647 98295 50 | 0.000 % |
215.46/215.65 c | 156458 | 871 78593 334041 | 2147483647 99088 50 | 0.000 % |
218.65/218.86 c | 157330 | 871 78593 334041 | 2147483647 99960 50 | 0.000 % |
222.56/222.73 c | 158289 | 871 78593 334041 | 2147483647 100919 50 | 0.000 % |
225.95/226.14 c | 159343 | 871 78593 334041 | 2147483647 101973 50 | 0.000 % |
229.25/229.48 c | 160501 | 871 78593 334041 | 2147483647 103131 50 | 0.000 % |
237.35/237.60 c | 161774 | 871 78593 334041 | 2147483647 104404 50 | 0.000 % |
244.55/244.80 c | 163174 | 871 78593 334041 | 2147483647 105804 50 | 0.000 % |
251.94/252.20 c | 164715 | 871 78593 334041 | 2147483647 107345 50 | 0.000 % |
260.24/260.44 c | 166409 | 871 78593 334041 | 2147483647 109039 50 | 0.000 % |
260.54/260.74 c | 166512 | 871 78593 334041 | 2147483647 109142 50 | 0.000 % |
260.94/261.10 c | 166622 | 871 78593 334041 | 2147483647 109252 50 | 0.000 % |
261.84/262.03 c | 166744 | 871 78593 334041 | 2147483647 109374 50 | 0.000 % |
262.04/262.25 c | 166877 | 871 78593 334041 | 2147483647 109507 50 | 0.000 % |
262.24/262.46 c | 167025 | 871 78593 334041 | 2147483647 109655 50 | 0.000 % |
263.34/263.55 c | 167185 | 871 78593 334041 | 2147483647 109815 50 | 0.000 % |
264.64/264.83 c | 167363 | 871 78593 334041 | 2147483647 109993 50 | 0.000 % |
265.44/265.61 c | 167556 | 871 78593 334041 | 2147483647 110186 50 | 0.000 % |
266.34/266.59 c | 167769 | 871 78593 334041 | 2147483647 110399 50 | 0.000 % |
266.63/266.86 c | 168004 | 871 78593 334041 | 2147483647 110634 50 | 0.000 % |
268.53/268.79 c | 168260 | 871 78593 334041 | 2147483647 110890 50 | 0.000 % |
268.93/269.16 c | 168541 | 871 78593 334041 | 2147483647 111171 50 | 0.000 % |
270.33/270.51 c | 168851 | 871 78593 334041 | 2147483647 111481 50 | 0.000 % |
271.92/272.11 c | 169190 | 871 78593 334041 | 2147483647 111820 50 | 0.000 % |
272.22/272.49 c | 169562 | 871 78593 334041 | 2147483647 112192 50 | 0.000 % |
275.71/275.94 c | 169971 | 871 78593 334041 | 2147483647 112601 50 | 0.000 % |
279.51/279.75 c | 170420 | 871 78593 334041 | 112630 87278 51 | 0.000 % |
280.91/281.10 c | 170913 | 871 78593 334041 | 112630 87771 51 | 0.000 % |
282.41/282.68 c | 171456 | 871 78593 334041 | 112630 88314 51 | 0.000 % |
284.51/284.72 c | 172053 | 871 78593 334041 | 112630 88911 51 | 0.000 % |
285.71/285.94 c | 172710 | 871 78593 334041 | 112630 89568 51 | 0.000 % |
286.31/286.55 c | 173431 | 871 78593 334041 | 112630 90289 52 | 0.000 % |
287.11/287.37 c | 174223 | 871 78593 334041 | 112630 91081 52 | 0.000 % |
289.21/289.40 c | 175095 | 871 78593 334041 | 112630 91953 52 | 0.000 % |
292.51/292.72 c | 176054 | 871 78593 334041 | 112630 92912 52 | 0.000 % |
294.71/294.92 c | 177113 | 871 78593 334041 | 112630 93971 52 | 0.000 % |
298.60/298.85 c | 178272 | 871 78593 334041 | 112630 95130 52 | 0.000 % |
302.00/302.21 c | 179545 | 871 78593 334041 | 112630 96403 52 | 0.000 % |
305.00/305.23 c | 180945 | 871 78593 334041 | 96858 86856 54 | 0.000 % |
308.00/308.21 c | 182489 | 871 78593 334041 | 96858 88400 54 | 0.000 % |
310.60/310.81 c | 184184 | 871 78593 334041 | 96858 90095 54 | 0.000 % |
312.50/312.76 c | 186050 | 871 78593 334041 | 96858 91961 54 | 0.000 % |
312.80/313.03 c | 186150 | 871 78593 334041 | 96858 92061 54 | 0.000 % |
313.00/313.29 c | 186263 | 871 78593 334041 | 96858 92174 54 | 0.000 % |
313.30/313.51 c | 186386 | 871 78593 334041 | 96858 92297 54 | 0.000 % |
313.40/313.69 c | 186520 | 871 78593 334041 | 96858 92431 54 | 0.000 % |
313.70/313.92 c | 186666 | 871 78593 334041 | 96858 92577 54 | 0.000 % |
314.00/314.20 c | 186826 | 871 78593 334041 | 96858 92737 54 | 0.000 % |
314.30/314.51 c | 187004 | 871 78593 334041 | 96858 92915 54 | 0.000 % |
314.70/314.98 c | 187198 | 871 78593 334041 | 96858 93109 54 | 0.000 % |
315.20/315.44 c | 187411 | 871 78593 334041 | 96858 93322 54 | 0.000 % |
315.79/316.09 c | 187644 | 871 78593 334041 | 96858 93555 54 | 0.000 % |
316.59/316.83 c | 187900 | 871 78593 334041 | 96858 93811 54 | 0.000 % |
317.29/317.57 c | 188182 | 871 78593 334041 | 96858 94093 54 | 0.000 % |
318.09/318.36 c | 188494 | 871 78593 334041 | 96858 94405 54 | 0.000 % |
318.99/319.20 c | 188834 | 871 78593 334041 | 96858 94745 54 | 0.000 % |
319.68/319.99 c | 189206 | 871 78593 334041 | 96858 95117 54 | 0.000 % |
320.78/321.03 c | 189619 | 871 78593 334041 | 96858 95530 54 | 0.000 % |
321.78/322.06 c | 190069 | 871 78593 334041 | 2147483647 95980 54 | 0.000 % |
322.78/323.01 c | 190562 | 871 78593 334041 | 2147483647 96473 54 | 0.000 % |
323.48/323.72 c | 191104 | 871 78593 334041 | 2147483647 97015 54 | 0.000 % |
324.08/324.40 c | 191701 | 871 78593 334041 | 2147483647 97612 54 | 0.000 % |
324.98/325.25 c | 192357 | 871 78593 334041 | 2147483647 98268 54 | 0.000 % |
325.78/326.08 c | 193077 | 871 78593 334041 | 2147483647 98988 54 | 0.000 % |
326.98/327.25 c | 193870 | 871 78593 334041 | 2147483647 99781 54 | 0.000 % |
327.78/328.07 c | 194741 | 871 78593 334041 | 2147483647 100652 54 | 0.000 % |
328.88/329.12 c | 195702 | 871 78593 334041 | 2147483647 101613 54 | 0.000 % |
330.18/330.40 c | 196756 | 871 78593 334041 | 2147483647 102667 54 | 0.000 % |
331.69/331.99 c | 197915 | 871 78593 334041 | 2147483647 103826 54 | 0.000 % |
333.29/333.58 c | 199188 | 871 78593 334041 | 2147483647 105099 54 | 0.000 % |
335.09/335.39 c | 200588 | 871 78593 334041 | 2147483647 106499 54 | 0.000 % |
337.09/337.39 c | 202129 | 871 78593 334041 | 2147483647 108040 55 | 0.000 % |
339.48/339.75 c | 203825 | 871 78593 334041 | 2147483647 109736 55 | 0.000 % |
341.89/342.15 c | 205689 | 871 78593 334041 | 2147483647 111600 55 | 0.000 % |
344.09/344.39 c | 207739 | 871 78593 334041 | 2147483647 113650 55 | 0.000 % |
344.28/344.55 c | 207839 | 871 78593 334041 | 2147483647 113750 55 | 0.000 % |
344.48/344.76 c | 207951 | 871 78593 334041 | 2147483647 113862 55 | 0.000 % |
344.68/344.94 c | 208075 | 871 78593 334041 | 2147483647 113986 55 | 0.000 % |
344.98/345.30 c | 208208 | 871 78593 334041 | 2147483647 114119 55 | 0.000 % |
345.28/345.58 c | 208355 | 871 78593 334041 | 2147483647 114266 55 | 0.000 % |
345.58/345.87 c | 208515 | 871 78593 334041 | 2147483647 114426 55 | 0.000 % |
345.98/346.28 c | 208696 | 871 78593 334041 | 2147483647 114607 55 | 0.000 % |
346.38/346.65 c | 208891 | 871 78593 334041 | 2147483647 114802 55 | 0.000 % |
346.68/346.97 c | 209103 | 871 78593 334041 | 2147483647 115014 55 | 0.000 % |
347.08/347.35 c | 209339 | 871 78593 334041 | 2147483647 115250 55 | 0.000 % |
347.58/347.89 c | 209596 | 871 78593 334041 | 2147483647 115507 55 | 0.000 % |
348.18/348.44 c | 209878 | 871 78593 334041 | 2147483647 115789 55 | 0.000 % |
348.68/348.97 c | 210188 | 871 78593 334041 | 2147483647 116099 55 | 0.000 % |
349.28/349.58 c | 210528 | 871 78593 334041 | 2147483647 116439 55 | 0.000 % |
350.08/350.36 c | 210904 | 871 78593 334041 | 2147483647 116815 55 | 0.000 % |
350.78/351.01 c | 211315 | 871 78593 334041 | 2147483647 117226 55 | 0.000 % |
351.68/351.97 c | 211765 | 871 78593 334041 | 2147483647 117676 55 | 0.000 % |
352.47/352.70 c | 212259 | 871 78593 334041 | 2147483647 118170 55 | 0.000 % |
353.37/353.63 c | 212802 | 871 78593 334041 | 2147483647 118713 55 | 0.000 % |
354.47/354.73 c | 213401 | 871 78593 334041 | 2147483647 119312 55 | 0.000 % |
355.88/356.18 c | 214056 | 871 78593 334041 | 2147483647 119967 55 | 0.000 % |
357.58/357.83 c | 214776 | 871 78593 334041 | 2147483647 120687 55 | 0.000 % |
359.18/359.45 c | 215568 | 871 78593 334041 | 2147483647 121479 55 | 0.000 % |
361.17/361.46 c | 216440 | 871 78593 334041 | 2147483647 122351 55 | 0.000 % |
363.07/363.31 c | 217400 | 871 78593 334041 | 2147483647 123311 55 | 0.000 % |
365.57/365.86 c | 218453 | 871 78593 334041 | 2147483647 124364 55 | 0.000 % |
367.76/368.09 c | 219614 | 871 78593 334041 | 2147483647 125525 55 | 0.000 % |
370.56/370.82 c | 220887 | 871 78593 334041 | 125913 111247 55 | 0.000 % |
373.46/373.72 c | 222287 | 871 78593 334041 | 125913 112647 55 | 0.000 % |
376.36/376.67 c | 223827 | 871 78593 334041 | 125913 114187 55 | 0.000 % |
379.86/380.14 c | 225522 | 871 78593 334041 | 125913 115882 55 | 0.000 % |
383.36/383.61 c | 227385 | 871 78593 334041 | 125913 117745 55 | 0.000 % |
387.76/388.01 c | 229436 | 871 78593 334041 | 125913 119796 55 | 0.000 % |
392.05/392.35 c | 231689 | 871 78593 334041 | 120361 101992 55 | 0.000 % |
392.25/392.60 c | 231789 | 871 78593 334041 | 120361 102092 55 | 0.000 % |
392.65/392.94 c | 231900 | 871 78593 334041 | 120361 102203 55 | 0.000 % |
392.95/393.22 c | 232022 | 871 78593 334041 | 120361 102325 55 | 0.000 % |
393.35/393.68 c | 232155 | 871 78593 334041 | 120361 102458 55 | 0.000 % |
393.95/394.21 c | 232307 | 871 78593 334041 | 120361 102610 55 | 0.000 % |
394.45/394.71 c | 232468 | 871 78593 334041 | 120361 102771 55 | 0.000 % |
394.95/395.25 c | 232645 | 871 78593 334041 | 120361 102948 55 | 0.000 % |
395.35/395.61 c | 232839 | 871 78593 334041 | 120361 103142 55 | 0.000 % |
395.85/396.12 c | 233052 | 871 78593 334041 | 120361 103355 55 | 0.000 % |
396.45/396.79 c | 233286 | 871 78593 334041 | 120361 103589 55 | 0.000 % |
397.45/397.73 c | 233544 | 871 78593 334041 | 120361 103847 55 | 0.000 % |
398.15/398.47 c | 233826 | 871 78593 334041 | 120361 104129 55 | 0.000 % |
399.15/399.45 c | 234136 | 871 78593 334041 | 120361 104439 55 | 0.000 % |
399.95/400.24 c | 234476 | 871 78593 334041 | 120361 104779 55 | 0.000 % |
401.25/401.50 c | 234849 | 871 78593 334041 | 120361 105152 55 | 0.000 % |
402.15/402.50 c | 235259 | 871 78593 334041 | 120361 105562 55 | 0.000 % |
403.45/403.80 c | 235708 | 871 78593 334041 | 120361 106011 55 | 0.000 % |
404.55/404.89 c | 236204 | 871 78593 334041 | 120361 106507 55 | 0.000 % |
405.75/406.05 c | 236747 | 871 78593 334041 | 120361 107050 55 | 0.000 % |
407.05/407.34 c | 237345 | 871 78593 334041 | 120361 107648 55 | 0.000 % |
408.95/409.23 c | 238001 | 871 78593 334041 | 120361 108304 55 | 0.000 % |
411.54/411.81 c | 238724 | 871 78593 334041 | 120361 109027 55 | 0.000 % |
413.94/414.23 c | 239517 | 871 78593 334041 | 120361 109820 55 | 0.000 % |
416.55/416.89 c | 240388 | 871 78593 334041 | 110303 85492 56 | 0.000 % |
418.85/419.19 c | 241347 | 871 78593 334041 | 110303 86451 56 | 0.000 % |
420.24/420.51 c | 242400 | 871 78593 334041 | 110303 87504 56 | 0.000 % |
424.54/424.86 c | 243558 | 871 78593 334041 | 110303 88662 56 | 0.000 % |
429.34/429.67 c | 244832 | 871 78593 334041 | 110303 89936 56 | 0.000 % |
436.13/436.40 c | 246232 | 871 78593 334041 | 110303 91336 56 | 0.000 % |
441.23/441.55 c | 247774 | 871 78593 334041 | 110303 92878 56 | 0.000 % |
446.93/447.20 c | 249470 | 871 78593 334041 | 110303 94574 56 | 0.000 % |
454.12/454.48 c | 251333 | 871 78593 334041 | 95105 67896 55 | 0.000 % |
459.92/460.30 c | 253382 | 871 78593 334041 | 95105 69945 54 | 0.000 % |
467.72/468.06 c | 255636 | 871 78593 334041 | 95105 72199 54 | 0.000 % |
475.31/475.68 c | 258117 | 871 78593 334041 | 95105 74680 54 | 0.000 % |
475.81/476.19 c | 258217 | 871 78593 334041 | 95105 74780 54 | 0.000 % |
476.41/476.71 c | 258327 | 871 78593 334041 | 95105 74890 54 | 0.000 % |
476.81/477.15 c | 258449 | 871 78593 334041 | 95105 75012 54 | 0.000 % |
477.51/477.88 c | 258584 | 871 78593 334041 | 95105 75147 54 | 0.000 % |
478.31/478.62 c | 258730 | 871 78593 334041 | 95105 75293 54 | 0.000 % |
479.01/479.35 c | 258890 | 871 78593 334041 | 95105 75453 54 | 0.000 % |
479.81/480.14 c | 259067 | 871 78593 334041 | 95105 75630 54 | 0.000 % |
480.71/481.09 c | 259261 | 871 78593 334041 | 95105 75824 54 | 0.000 % |
481.71/482.02 c | 259474 | 871 78593 334041 | 95105 76037 54 | 0.000 % |
483.11/483.41 c | 259709 | 871 78593 334041 | 95105 76272 54 | 0.000 % |
484.11/484.50 c | 259967 | 871 78593 334041 | 95105 76530 54 | 0.000 % |
485.51/485.81 c | 260248 | 871 78593 334041 | 76563 76811 54 | 0.000 % |
487.21/487.51 c | 260558 | 871 78593 334041 | 76563 52477 53 | 0.000 % |
487.91/488.23 c | 260897 | 871 78593 334041 | 76563 52816 53 | 0.000 % |
489.01/489.36 c | 261270 | 871 78593 334041 | 76563 53189 53 | 0.000 % |
490.41/490.73 c | 261680 | 871 78593 334041 | 76563 53599 53 | 0.000 % |
491.81/492.15 c | 262131 | 871 78593 334041 | 76563 54050 53 | 0.000 % |
493.11/493.47 c | 262625 | 871 78593 334041 | 76563 54544 53 | 0.000 % |
494.70/495.03 c | 263170 | 871 78593 334041 | 76563 55089 53 | 0.000 % |
497.10/497.42 c | 263767 | 871 78593 334041 | 76563 55686 53 | 0.000 % |
499.40/499.74 c | 264422 | 871 78593 334041 | 76563 56341 53 | 0.000 % |
502.10/502.50 c | 265142 | 871 78593 334041 | 76563 57061 53 | 0.000 % |
505.00/505.32 c | 265935 | 871 78593 334041 | 76563 57854 53 | 0.000 % |
507.00/507.34 c | 266806 | 871 78593 334041 | 76563 58725 53 | 0.000 % |
509.79/510.18 c | 267765 | 871 78593 334041 | 76563 59684 52 | 0.000 % |
512.99/513.40 c | 268821 | 871 78593 334041 | 76563 60740 52 | 0.001 % |
516.70/517.05 c | 269979 | 871 78593 334041 | 76563 61898 52 | 0.000 % |
520.00/520.39 c | 271252 | 871 78593 334041 | 61919 43334 51 | 0.000 % |
522.99/523.38 c | 272654 | 871 78593 334041 | 61919 44736 50 | 0.000 % |
526.19/526.53 c | 274194 | 871 78593 334041 | 61919 46276 50 | 0.000 % |
530.89/531.24 c | 275891 | 871 78593 334041 | 61919 47973 50 | 0.000 % |
534.80/535.17 c | 277755 | 871 78593 334041 | 61919 49837 50 | 0.000 % |
539.59/539.95 c | 279806 | 871 78593 334041 | 61919 51888 50 | 0.000 % |
542.99/543.33 c | 282061 | 871 78593 334041 | 52084 39980 48 | 0.000 % |
553.09/553.50 c | 284539 | 871 78593 334041 | 52084 42458 49 | 0.000 % |
558.49/558.85 c | 287269 | 871 78593 334041 | 52084 45188 49 | 0.000 % |
558.68/559.05 c | 287370 | 871 78593 334041 | 52084 45289 49 | 0.000 % |
558.98/559.37 c | 287480 | 871 78593 334041 | 52084 45399 49 | 0.001 % |
559.38/559.73 c | 287601 | 871 78593 334041 | 52084 45520 49 | 0.000 % |
559.78/560.20 c | 287735 | 871 78593 334041 | 52084 45654 49 | 0.000 % |
560.18/560.52 c | 287881 | 871 78593 334041 | 52084 45800 49 | 0.000 % |
560.69/561.07 c | 288044 | 871 78593 334041 | 52084 45963 48 | 0.000 % |
561.08/561.45 c | 288220 | 871 78593 334041 | 52084 46139 49 | 0.000 % |
561.48/561.80 c | 288413 | 871 78593 334041 | 52084 46332 48 | 0.000 % |
562.38/562.70 c | 288625 | 871 78593 334041 | 52084 46544 48 | 0.000 % |
562.58/562.91 c | 288859 | 871 78593 334041 | 52084 46778 48 | 0.000 % |
562.68/563.09 c | 289117 | 871 78593 334041 | 52084 47036 48 | 0.000 % |
563.48/563.81 c | 289398 | 871 78593 334041 | 52084 47317 48 | 0.000 % |
564.48/564.87 c | 289711 | 871 78593 334041 | 52084 47630 48 | 0.000 % |
564.78/565.16 c | 290052 | 871 78593 334041 | 2147483647 47971 48 | 0.000 % |
565.78/566.11 c | 290428 | 871 78593 334041 | 2147483647 48347 48 | 0.000 % |
565.98/566.34 c | 290839 | 871 78593 334041 | 2147483647 48758 48 | 0.000 % |
566.09/566.46 c | 291292 | 871 78593 334041 | 2147483647 49211 48 | 0.000 % |
566.48/566.87 c | 291787 | 871 78593 334041 | 2147483647 49706 49 | 0.000 % |
568.18/568.54 c | 292330 | 871 78593 334041 | 2147483647 50249 49 | 0.000 % |
568.38/568.76 c | 292927 | 871 78593 334041 | 2147483647 50846 49 | 0.000 % |
568.58/568.96 c | 293584 | 871 78593 334041 | 2147483647 51503 49 | 0.000 % |
570.58/571.00 c | 294306 | 871 78593 334041 | 2147483647 52225 49 | 0.000 % |
573.38/573.75 c | 295101 | 871 78593 334041 | 2147483647 53020 49 | 0.000 % |
575.78/576.13 c | 295974 | 871 78593 334041 | 2147483647 53893 49 | 0.000 % |
578.88/579.20 c | 296933 | 871 78593 334041 | 2147483647 54852 49 | 0.000 % |
582.28/582.68 c | 297987 | 871 78593 334041 | 2147483647 55906 49 | 0.000 % |
583.98/584.35 c | 299145 | 871 78593 334041 | 2147483647 57064 49 | 0.000 % |
588.57/588.99 c | 300418 | 871 78593 334041 | 2147483647 58337 50 | 0.000 % |
592.37/592.71 c | 301819 | 871 78593 334041 | 2147483647 59738 50 | 0.000 % |
598.16/598.50 c | 303359 | 871 78593 334041 | 2147483647 61278 50 | 0.000 % |
600.86/601.26 c | 305054 | 871 78593 334041 | 2147483647 62973 51 | 0.000 % |
608.96/609.38 c | 306917 | 871 78593 334041 | 2147483647 64836 51 | 0.000 % |
615.86/616.22 c | 308968 | 871 78593 334041 | 2147483647 66887 51 | 0.000 % |
621.06/621.50 c | 311224 | 871 78593 334041 | 2147483647 69143 52 | 0.000 % |
632.45/632.83 c | 313702 | 871 78593 334041 | 2147483647 71621 52 | 0.000 % |
644.94/645.35 c | 316427 | 871 78593 334041 | 2147483647 74346 52 | 0.000 % |
650.64/651.05 c | 319425 | 871 78593 334041 | 2147483647 77344 52 | 0.000 % |
651.24/651.64 c | 319525 | 871 78593 334041 | 2147483647 77444 52 | 0.000 % |
651.54/651.99 c | 319636 | 871 78593 334041 | 2147483647 77555 52 | 0.000 % |
651.84/652.30 c | 319759 | 871 78593 334041 | 2147483647 77678 52 | 0.000 % |
652.04/652.43 c | 319892 | 871 78593 334041 | 2147483647 77811 52 | 0.000 % |
652.14/652.54 c | 320038 | 871 78593 334041 | 2147483647 77957 52 | 0.000 % |
652.94/653.32 c | 320198 | 871 78593 334041 | 2147483647 78117 52 | 0.000 % |
653.54/653.92 c | 320374 | 871 78593 334041 | 2147483647 78293 52 | 0.000 % |
654.24/654.62 c | 320571 | 871 78593 334041 | 2147483647 78490 52 | 0.000 % |
654.74/655.12 c | 320785 | 871 78593 334041 | 2147483647 78704 52 | 0.000 % |
655.44/655.87 c | 321018 | 871 78593 334041 | 2147483647 78937 52 | 0.000 % |
656.54/656.95 c | 321274 | 871 78593 334041 | 2147483647 79193 52 | 0.000 % |
657.14/657.51 c | 321558 | 871 78593 334041 | 2147483647 79477 52 | 0.000 % |
657.44/657.81 c | 321868 | 871 78593 334041 | 2147483647 79787 52 | 0.000 % |
659.04/659.40 c | 322207 | 871 78593 334041 | 2147483647 80126 52 | 0.000 % |
659.94/660.33 c | 322579 | 871 78593 334041 | 2147483647 80498 52 | 0.000 % |
661.44/661.89 c | 322988 | 871 78593 334041 | 2147483647 80907 52 | 0.000 % |
662.74/663.19 c | 323437 | 871 78593 334041 | 2147483647 81356 52 | 0.000 % |
663.74/664.16 c | 323930 | 871 78593 334041 | 2147483647 81849 52 | 0.000 % |
665.53/666.00 c | 324472 | 871 78593 334041 | 2147483647 82391 52 | 0.001 % |
667.24/667.70 c | 325069 | 871 78593 334041 | 2147483647 82988 52 | 0.000 % |
670.43/670.84 c | 325725 | 871 78593 334041 | 2147483647 83644 52 | 0.000 % |
672.74/673.11 c | 326446 | 871 78593 334041 | 2147483647 84365 52 | 0.001 % |
675.33/675.75 c | 327238 | 871 78593 334041 | 2147483647 85157 52 | 0.000 % |
678.23/678.67 c | 328110 | 871 78593 334041 | 2147483647 86029 52 | 0.000 % |
681.02/681.48 c | 329069 | 871 78593 334041 | 2147483647 86988 52 | 0.000 % |
684.32/684.70 c | 330122 | 871 78593 334041 | 2147483647 88041 52 | 0.000 % |
687.32/687.77 c | 331284 | 871 78593 334041 | 2147483647 89203 52 | 0.000 % |
692.12/692.52 c | 332558 | 871 78593 334041 | 2147483647 90477 52 | 0.001 % |
697.42/697.85 c | 333958 | 871 78593 334041 | 2147483647 91877 52 | 0.000 % |
700.51/700.92 c | 335499 | 871 78593 334041 | 2147483647 93418 53 | 0.000 % |
705.41/705.88 c | 337194 | 871 78593 334041 | 2147483647 95113 53 | 0.000 % |
710.01/710.44 c | 339059 | 871 78593 334041 | 2147483647 96978 53 | 0.000 % |
717.91/718.38 c | 341108 | 871 78593 334041 | 2147483647 99027 53 | 0.000 % |
723.70/724.10 c | 343363 | 871 78593 334041 | 2147483647 101282 53 | 0.000 % |
732.20/732.68 c | 345841 | 871 78593 334041 | 2147483647 103760 54 | 0.000 % |
742.70/743.15 c | 348569 | 871 78593 334041 | 2147483647 106488 54 | 0.000 % |
755.39/755.84 c | 351566 | 871 78593 334041 | 2147483647 109485 54 | 0.000 % |
765.39/765.87 c | 354863 | 871 78593 334041 | 2147483647 112782 54 | 0.000 % |
765.89/766.35 c | 354964 | 871 78593 334041 | 2147483647 112883 54 | 0.000 % |
766.49/766.94 c | 355074 | 871 78593 334041 | 2147483647 112993 54 | 0.000 % |
766.99/767.42 c | 355195 | 871 78593 334041 | 2147483647 113114 54 | 0.000 % |
767.59/768.00 c | 355330 | 871 78593 334041 | 2147483647 113249 54 | 0.000 % |
768.09/768.55 c | 355478 | 871 78593 334041 | 2147483647 113397 54 | 0.000 % |
768.59/769.00 c | 355638 | 871 78593 334041 | 2147483647 113557 54 | 0.000 % |
768.98/769.47 c | 355814 | 871 78593 334041 | 2147483647 113733 54 | 0.000 % |
769.68/770.11 c | 356007 | 871 78593 334041 | 2147483647 113926 54 | 0.000 % |
770.69/771.11 c | 356219 | 871 78593 334041 | 2147483647 114138 54 | 0.000 % |
770.98/771.49 c | 356452 | 871 78593 334041 | 2147483647 114371 54 | 0.000 % |
771.28/771.74 c | 356708 | 871 78593 334041 | 2147483647 114627 54 | 0.000 % |
771.48/771.94 c | 356989 | 871 78593 334041 | 2147483647 114908 54 | 0.000 % |
771.79/772.24 c | 357298 | 871 78593 334041 | 2147483647 115217 54 | 0.000 % |
772.18/772.61 c | 357640 | 871 78593 334041 | 2147483647 115559 54 | 0.000 % |
772.48/772.90 c | 358013 | 871 78593 334041 | 2147483647 115932 54 | 0.000 % |
773.89/774.36 c | 358424 | 871 78593 334041 | 2147483647 116343 54 | 0.000 % |
774.88/775.38 c | 358873 | 871 78593 334041 | 2147483647 116792 54 | 0.000 % |
775.78/776.27 c | 359366 | 871 78593 334041 | 2147483647 117285 54 | 0.000 % |
777.28/777.76 c | 359908 | 871 78593 334041 | 2147483647 117827 54 | 0.000 % |
778.98/779.44 c | 360506 | 871 78593 334041 | 2147483647 118425 54 | 0.000 % |
780.08/780.53 c | 361161 | 871 78593 334041 | 2147483647 119080 54 | 0.000 % |
783.48/783.92 c | 361882 | 871 78593 334041 | 2147483647 119801 54 | 0.000 % |
786.68/787.14 c | 362674 | 871 78593 334041 | 2147483647 120593 54 | 0.000 % |
789.18/789.66 c | 363545 | 871 78593 334041 | 2147483647 121464 54 | 0.000 % |
792.97/793.47 c | 364503 | 871 78593 334041 | 2147483647 122422 54 | 0.000 % |
797.08/797.57 c | 365559 | 871 78593 334041 | 2147483647 123478 54 | 0.000 % |
801.27/801.78 c | 366717 | 871 78593 334041 | 2147483647 124636 54 | 0.000 % |
806.07/806.58 c | 367990 | 871 78593 334041 | 2147483647 125909 54 | 0.000 % |
812.27/812.76 c | 369390 | 871 78593 334041 | 2147483647 127309 54 | 0.000 % |
818.46/818.94 c | 370933 | 871 78593 334041 | 2147483647 128852 54 | 0.000 % |
824.76/825.27 c | 372627 | 871 78593 334041 | 2147483647 130546 54 | 0.000 % |
832.26/832.76 c | 374493 | 871 78593 334041 | 2147483647 132412 54 | 0.000 % |
841.55/842.08 c | 376543 | 871 78593 334041 | 2147483647 134462 54 | 0.000 % |
851.06/851.57 c | 378798 | 871 78593 334041 | 2147483647 136717 54 | 0.000 % |
859.84/860.35 c | 381276 | 871 78593 334041 | 2147483647 139195 54 | 0.000 % |
870.84/871.37 c | 384001 | 871 78593 334041 | 2147483647 141920 55 | 0.000 % |
881.54/882.00 c | 387000 | 871 78593 334041 | 2147483647 144919 55 | 0.000 % |
893.13/893.65 c | 390297 | 871 78593 334041 | 2147483647 148216 55 | 0.000 % |
907.52/908.07 c | 393922 | 871 78593 334041 | 2147483647 151841 55 | 0.000 % |
908.32/908.81 c | 394026 | 871 78593 334041 | 2147483647 151945 55 | 0.000 % |
908.83/909.36 c | 394138 | 871 78593 334041 | 2147483647 152057 55 | 0.000 % |
909.23/909.77 c | 394259 | 871 78593 334041 | 2147483647 152178 55 | 0.000 % |
910.13/910.60 c | 394392 | 871 78593 334041 | 2147483647 152311 55 | 0.000 % |
910.53/911.01 c | 394540 | 871 78593 334041 | 2147483647 152459 55 | 0.000 % |
911.43/911.94 c | 394700 | 871 78593 334041 | 2147483647 152619 55 | 0.000 % |
912.13/912.66 c | 394876 | 871 78593 334041 | 2147483647 152795 55 | 0.000 % |
913.03/913.59 c | 395070 | 871 78593 334041 | 2147483647 152989 55 | 0.000 % |
914.43/914.94 c | 395283 | 871 78593 334041 | 2147483647 153202 55 | 0.000 % |
915.43/915.94 c | 395518 | 871 78593 334041 | 2147483647 153437 55 | 0.000 % |
916.83/917.38 c | 395775 | 871 78593 334041 | 2147483647 153694 55 | 0.000 % |
918.23/918.78 c | 396060 | 871 78593 334041 | 2147483647 153979 55 | 0.000 % |
919.53/920.06 c | 396370 | 871 78593 334041 | 2147483647 154289 55 | 0.000 % |
920.83/921.38 c | 396710 | 871 78593 334041 | 2147483647 154629 55 | 0.000 % |
921.82/922.33 c | 397084 | 871 78593 334041 | 2147483647 155003 55 | 0.000 % |
922.82/923.37 c | 397494 | 871 78593 334041 | 2147483647 155413 55 | 0.000 % |
924.73/925.20 c | 397945 | 871 78593 334041 | 2147483647 155864 55 | 0.000 % |
926.62/927.15 c | 398439 | 871 78593 334041 | 2147483647 156358 55 | 0.000 % |
928.62/929.13 c | 398984 | 871 78593 334041 | 2147483647 156903 55 | 0.000 % |
930.52/931.09 c | 399583 | 871 78593 334041 | 2147483647 157502 55 | 0.000 % |
933.72/934.25 c | 400238 | 871 78593 334041 | 2147483647 158157 55 | 0.000 % |
935.42/935.92 c | 400959 | 871 78593 334041 | 2147483647 158878 55 | 0.000 % |
937.72/938.30 c | 401751 | 871 78593 334041 | 2147483647 159670 55 | 0.000 % |
940.52/941.00 c | 402623 | 871 78593 334041 | 2147483647 160542 55 | 0.000 % |
943.22/943.71 c | 403583 | 871 78593 334041 | 2147483647 161502 55 | 0.000 % |
947.81/948.34 c | 404639 | 871 78593 334041 | 2147483647 162558 55 | 0.000 % |
953.31/953.83 c | 405798 | 871 78593 334041 | 2147483647 163717 55 | 0.000 % |
959.20/959.75 c | 407075 | 871 78593 334041 | 2147483647 164994 55 | 0.000 % |
965.81/966.39 c | 408475 | 871 78593 334041 | 2147483647 166394 55 | 0.000 % |
972.71/973.20 c | 410017 | 871 78593 334041 | 2147483647 167936 55 | 0.000 % |
981.40/981.94 c | 411713 | 871 78593 334041 | 2147483647 169632 55 | 0.000 % |
989.59/990.13 c | 413577 | 871 78593 334041 | 2147483647 171496 55 | 0.000 % |
996.29/996.83 c | 415627 | 871 78593 334041 | 2147483647 173546 55 | 0.000 % |
1004.28/1004.87 c | 417885 | 871 78593 334041 | 2147483647 175804 55 | 0.000 % |
1014.88/1015.47 c | 420366 | 871 78593 334041 | 2147483647 178285 54 | 0.000 % |
1025.78/1026.34 c | 423093 | 871 78593 334041 | 2147483647 181012 54 | 0.000 % |
1040.08/1040.61 c | 426092 | 871 78593 334041 | 2147483647 184011 54 | 0.000 % |
1061.97/1062.58 c | 429390 | 871 78593 334041 | 2147483647 187309 55 | 0.000 % |
1079.56/1080.15 c | 433015 | 871 78593 334041 | 187919 156416 55 | 0.000 % |
1100.95/1101.55 c | 437004 | 871 78593 334041 | 187919 160405 55 | 0.000 % |
1101.55/1102.19 c | 437104 | 871 78593 334041 | 187919 160505 55 | 0.000 % |
1101.95/1102.53 c | 437214 | 871 78593 334041 | 187919 160615 55 | 0.000 % |
1102.45/1103.03 c | 437335 | 871 78593 334041 | 187919 160736 55 | 0.000 % |
1103.05/1103.65 c | 437468 | 871 78593 334041 | 187919 160869 55 | 0.000 % |
1103.85/1104.43 c | 437616 | 871 78593 334041 | 187919 161017 55 | 0.000 % |
1104.65/1105.20 c | 437777 | 871 78593 334041 | 187919 161178 55 | 0.000 % |
1105.25/1105.84 c | 437953 | 871 78593 334041 | 187919 161354 55 | 0.000 % |
1105.95/1106.56 c | 438146 | 871 78593 334041 | 187919 161547 55 | 0.000 % |
1106.74/1107.31 c | 438358 | 871 78593 334041 | 187919 161759 55 | 0.001 % |
1107.44/1108.06 c | 438593 | 871 78593 334041 | 187919 161994 55 | 0.000 % |
1108.34/1108.98 c | 438849 | 871 78593 334041 | 187919 162250 55 | 0.000 % |
1109.54/1110.13 c | 439131 | 871 78593 334041 | 187919 162532 55 | 0.000 % |
1110.84/1111.41 c | 439441 | 871 78593 334041 | 187919 162842 55 | 0.000 % |
1112.55/1113.14 c | 439780 | 871 78593 334041 | 187919 163181 55 | 0.000 % |
1113.54/1114.12 c | 440152 | 871 78593 334041 | 163403 163553 55 | 0.000 % |
1115.24/1115.81 c | 440561 | 871 78593 334041 | 163403 131115 56 | 0.000 % |
1116.24/1116.85 c | 441012 | 871 78593 334041 | 163403 131566 56 | 0.000 % |
1117.54/1118.14 c | 441505 | 871 78593 334041 | 163403 132059 56 | 0.000 % |
1118.84/1119.42 c | 442049 | 871 78593 334041 | 163403 132603 57 | 0.000 % |
1120.44/1121.05 c | 442645 | 871 78593 334041 | 163403 133199 57 | 0.000 % |
1121.94/1122.52 c | 443300 | 871 78593 334041 | 163403 133854 57 | 0.000 % |
1123.44/1124.04 c | 444020 | 871 78593 334041 | 163403 134574 57 | 0.000 % |
1125.23/1125.89 c | 444812 | 871 78593 334041 | 163403 135366 57 | 0.000 % |
1127.13/1127.79 c | 445683 | 871 78593 334041 | 163403 136237 57 | 0.000 % |
1129.04/1129.68 c | 446641 | 871 78593 334041 | 163403 137195 57 | 0.000 % |
1131.43/1132.00 c | 447696 | 871 78593 334041 | 163403 138250 57 | 0.000 % |
1133.63/1134.29 c | 448854 | 871 78593 334041 | 163403 139408 57 | 0.000 % |
1136.13/1136.76 c | 450127 | 871 78593 334041 | 2147483647 140681 57 | 0.000 % |
1139.23/1139.85 c | 451527 | 871 78593 334041 | 2147483647 142081 57 | 0.000 % |
1142.83/1143.47 c | 453068 | 871 78593 334041 | 2147483647 143622 57 | 0.000 % |
1147.03/1147.64 c | 454763 | 871 78593 334041 | 2147483647 145317 57 | 0.000 % |
1151.52/1152.11 c | 456628 | 871 78593 334041 | 2147483647 147182 57 | 0.000 % |
1157.02/1157.68 c | 458680 | 871 78593 334041 | 2147483647 149234 57 | 0.000 % |
1162.72/1163.34 c | 460934 | 871 78593 334041 | 2147483647 151488 57 | 0.000 % |
1168.62/1169.21 c | 463412 | 871 78593 334041 | 2147483647 153966 57 | 0.000 % |
1174.51/1175.11 c | 466138 | 871 78593 334041 | 2147483647 156692 58 | 0.000 % |
1182.61/1183.21 c | 469135 | 871 78593 334041 | 2147483647 159689 58 | 0.000 % |
1190.91/1191.50 c | 472434 | 871 78593 334041 | 2147483647 162988 58 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833961-1242826578/watcher-1833961-1242826578 -o /tmp/evaluation-result-1833961-1242826578/solver-1833961-1242826578 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833961-1242826578.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13719
/proc/meminfo: memFree=1959624/2055920 swapFree=4180308/4192956
[pid=13719] ppid=13717 vsize=5356 CPUtime=0
/proc/13719/stat : 13719 (SatELiteGTI) R 13717 13719 13508 0 -1 4194304 292 249 0 0 0 0 0 0 18 0 1 0 310691798 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 252429527711 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/13719/statm: 1339 237 197 169 0 50 0
[startup+0.0237249 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13719
/proc/meminfo: memFree=1959624/2055920 swapFree=4180308/4192956
[pid=13719] ppid=13717 vsize=5356 CPUtime=0
/proc/13719/stat : 13719 (SatELiteGTI) S 13717 13719 13508 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310691798 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13719/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101732 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13719
/proc/meminfo: memFree=1959624/2055920 swapFree=4180308/4192956
[pid=13719] ppid=13717 vsize=5356 CPUtime=0
/proc/13719/stat : 13719 (SatELiteGTI) S 13717 13719 13508 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310691798 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13719/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301751 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13719
/proc/meminfo: memFree=1959624/2055920 swapFree=4180308/4192956
[pid=13719] ppid=13717 vsize=5356 CPUtime=0
/proc/13719/stat : 13719 (SatELiteGTI) S 13717 13719 13508 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310691798 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13719/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701802 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13719
/proc/meminfo: memFree=1959624/2055920 swapFree=4180308/4192956
[pid=13719] ppid=13717 vsize=5356 CPUtime=0.61
/proc/13719/stat : 13719 (SatELiteGTI) S 13717 13719 13508 0 -1 4194304 336 2361 0 0 0 0 60 1 16 0 1 0 310691798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13719/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 5356
[startup+1.50287 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13725
/proc/meminfo: memFree=1951800/2055920 swapFree=4180308/4192956
[pid=13719] ppid=13717 vsize=5356 CPUtime=0.61
/proc/13719/stat : 13719 (SatELiteGTI) S 13717 13719 13508 0 -1 4194304 336 2361 0 0 0 0 60 1 16 0 1 0 310691798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13719/statm: 1339 239 197 169 0 50 0
[pid=13725] ppid=13719 vsize=6948 CPUtime=0.87
/proc/13725/stat : 13725 (minisat_static) R 13719 13719 13508 0 -1 4194304 1622 0 0 0 86 1 0 0 25 0 1 0 310691860 7114752 1608 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/13725/statm: 1737 1608 77 171 0 1564 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12304
[startup+3.10103 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13725
/proc/meminfo: memFree=1950456/2055920 swapFree=4180308/4192956
[pid=13719] ppid=13717 vsize=5356 CPUtime=0.61
/proc/13719/stat : 13719 (SatELiteGTI) S 13717 13719 13508 0 -1 4194304 336 2361 0 0 0 0 60 1 16 0 1 0 310691798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13719/statm: 1339 239 197 169 0 50 0
[pid=13725] ppid=13719 vsize=8168 CPUtime=2.46
/proc/13725/stat : 13725 (minisat_static) R 13719 13719 13508 0 -1 4194304 1919 0 0 0 245 1 0 0 25 0 1 0 310691860 8364032 1905 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/13725/statm: 2042 1905 77 171 0 1869 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 13524
[startup+6.30135 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13725
/proc/meminfo: memFree=1948664/2055920 swapFree=4180308/4192956
[pid=13719] ppid=13717 vsize=5356 CPUtime=0.61
/proc/13719/stat : 13719 (SatELiteGTI) S 13717 13719 13508 0 -1 4194304 336 2361 0 0 0 0 60 1 16 0 1 0 310691798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13719/statm: 1339 239 197 169 0 50 0
[pid=13725] ppid=13719 vsize=9536 CPUtime=5.65
/proc/13725/stat : 13725 (minisat_static) R 13719 13719 13508 0 -1 4194304 2258 0 0 0 564 1 0 0 25 0 1 0 310691860 9764864 2244 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13725/statm: 2384 2244 77 171 0 2211 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 14892
[startup+12.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13725
/proc/meminfo: memFree=1947008/2055920 swapFree=4180308/4192956
[pid=13719] ppid=13717 vsize=5356 CPUtime=0.61
/proc/13719/stat : 13719 (SatELiteGTI) S 13717 13719 13508 0 -1 4194304 336 2361 0 0 0 0 60 1 16 0 1 0 310691798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13719/statm: 1339 239 197 169 0 50 0
[pid=13725] ppid=13719 vsize=11220 CPUtime=12.06
/proc/13725/stat : 13725 (minisat_static) R 13719 13719 13508 0 -1 4194304 2671 0 0 0 1204 2 0 0 25 0 1 0 310691860 11489280 2657 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/13725/statm: 2805 2657 77 171 0 2632 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 16576
[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13725
/proc/meminfo: memFree=1945024/2055920 swapFree=4180308/4192956
[pid=13719] ppid=13717 vsize=5356 CPUtime=0.61
/proc/13719/stat : 13719 (SatELiteGTI) S 13717 13719 13508 0 -1 4194304 336 2361 0 0 0 0 60 1 16 0 1 0 310691798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13719/statm: 1339 239 197 169 0 50 0
[pid=13725] ppid=13719 vsize=13272 CPUtime=24.85
/proc/13725/stat : 13725 (minisat_static) R 13719 13719 13508 0 -1 4194304 3167 0 0 0 2483 2 0 0 25 0 1 0 310691860 13590528 3153 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13725/statm: 3318 3153 77 171 0 3145 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 18628
[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13725
/proc/meminfo: memFree=1941888/2055920 swapFree=4180308/4192956
[pid=13719] ppid=13717 vsize=5356 CPUtime=0.61
/proc/13719/stat : 13719 (SatELiteGTI) S 13717 13719 13508 0 -1 4194304 336 2361 0 0 0 0 60 1 16 0 1 0 310691798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13719/statm: 1339 239 197 169 0 50 0
[pid=13725] ppid=13719 vsize=16376 CPUtime=50.43
/proc/13725/stat : 13725 (minisat_static) R 13719 13719 13508 0 -1 4194304 3940 0 0 0 5041 2 0 0 25 0 1 0 310691860 16769024 3926 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13725/statm: 4094 3926 77 171 0 3921 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 21732
[startup+102.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13725
/proc/meminfo: memFree=1940736/2055920 swapFree=4180308/4192956
[pid=13719] ppid=13717 vsize=5356 CPUtime=0.61
/proc/13719/stat : 13719 (SatELiteGTI) S 13717 13719 13508 0 -1 4194304 336 2361 0 0 0 0 60 1 16 0 1 0 310691798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13719/statm: 1339 239 197 169 0 50 0
[pid=13725] ppid=13719 vsize=17328 CPUtime=101.62
/proc/13725/stat : 13725 (minisat_static) R 13719 13719 13508 0 -1 4194304 4164 0 0 0 10159 3 0 0 25 0 1 0 310691860 17743872 4150 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13725/statm: 4332 4150 77 171 0 4159 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 22684
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13725
/proc/meminfo: memFree=1939904/2055920 swapFree=4180308/4192956
[pid=13719] ppid=13717 vsize=5356 CPUtime=0.61
/proc/13719/stat : 13719 (SatELiteGTI) S 13717 13719 13508 0 -1 4194304 336 2361 0 0 0 0 60 1 16 0 1 0 310691798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13719/statm: 1339 239 197 169 0 50 0
[pid=13725] ppid=13719 vsize=18120 CPUtime=161.58
/proc/13725/stat : 13725 (minisat_static) R 13719 13719 13508 0 -1 4194304 4338 0 0 0 16155 3 0 0 25 0 1 0 310691860 18554880 4324 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13725/statm: 4530 4324 77 171 0 4357 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 23476
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13725
/proc/meminfo: memFree=1923840/2055920 swapFree=4180308/4192956
[pid=13719] ppid=13717 vsize=5356 CPUtime=0.61
/proc/13719/stat : 13719 (SatELiteGTI) S 13717 13719 13508 0 -1 4194304 336 2361 0 0 0 0 60 1 16 0 1 0 310691798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13719/statm: 1339 239 197 169 0 50 0
[pid=13725] ppid=13719 vsize=34396 CPUtime=221.55
/proc/13725/stat : 13725 (minisat_static) R 13719 13719 13508 0 -1 4194304 8312 0 0 0 22147 8 0 0 25 0 1 0 310691860 35221504 8298 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/13725/statm: 8599 8298 77 171 0 8426 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 39752
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13725
/proc/meminfo: memFree=1920256/2055920 swapFree=4180308/4192956
[pid=13719] ppid=13717 vsize=5356 CPUtime=0.61
/proc/13719/stat : 13719 (SatELiteGTI) S 13717 13719 13508 0 -1 4194304 336 2361 0 0 0 0 60 1 16 0 1 0 310691798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13719/statm: 1339 239 197 169 0 50 0
[pid=13725] ppid=13719 vsize=37888 CPUtime=281.5
/proc/13725/stat : 13725 (minisat_static) R 13719 13719 13508 0 -1 4194304 9200 0 0 0 28142 8 0 0 25 0 1 0 310691860 38797312 9186 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13725/statm: 9472 9186 77 171 0 9299 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 43244
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13725
/proc/meminfo: memFree=1918016/2055920 swapFree=4180308/4192956
[pid=13719] ppid=13717 vsize=5356 CPUtime=0.61
/proc/13719/stat : 13719 (SatELiteGTI) S 13717 13719 13508 0 -1 4194304 336 2361 0 0 0 0 60 1 16 0 1 0 310691798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13719/statm: 1339 239 197 169 0 50 0
[pid=13725] ppid=13719 vsize=40052 CPUtime=341.47
/proc/13725/stat : 13725 (minisat_static) R 13719 13719 13508 0 -1 4194304 9741 0 0 0 34138 9 0 0 25 0 1 0 310691860 41013248 9727 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13725/statm: 10013 9727 77 171 0 9840 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 45408
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13727
/proc/meminfo: memFree=1913728/2055920 swapFree=4180308/4192956
[pid=13719] ppid=13717 vsize=5356 CPUtime=0.61
/proc/13719/stat : 13719 (SatELiteGTI) S 13717 13719 13508 0 -1 4194304 336 2361 0 0 0 0 60 1 16 0 1 0 310691798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13719/statm: 1339 239 197 169 0 50 0
[pid=13725] ppid=13719 vsize=44232 CPUtime=401.44
/proc/13725/stat : 13725 (minisat_static) R 13719 13719 13508 0 -1 4194304 10769 0 0 0 40134 10 0 0 25 0 1 0 310691860 45293568 10755 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13725/statm: 11058 10755 77 171 0 10885 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 49588
[startup+462.302 s]
################
# More data... #
################
/proc/13725/statm: 11430 11114 77 171 0 11257 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 51076
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13727
/proc/meminfo: memFree=1911104/2055920 swapFree=4180308/4192956
[pid=13719] ppid=13717 vsize=5356 CPUtime=0.61
/proc/13719/stat : 13719 (SatELiteGTI) S 13717 13719 13508 0 -1 4194304 336 2361 0 0 0 0 60 1 16 0 1 0 310691798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13719/statm: 1339 239 197 169 0 50 0
[pid=13725] ppid=13719 vsize=46852 CPUtime=581.37
/proc/13725/stat : 13725 (minisat_static) R 13719 13719 13508 0 -1 4194304 11355 0 0 0 58126 11 0 0 25 0 1 0 310691860 47976448 11341 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13725/statm: 11713 11341 77 171 0 11540 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 52208
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13727
/proc/meminfo: memFree=1911040/2055920 swapFree=4180308/4192956
[pid=13719] ppid=13717 vsize=5356 CPUtime=0.61
/proc/13719/stat : 13719 (SatELiteGTI) S 13717 13719 13508 0 -1 4194304 336 2361 0 0 0 0 60 1 16 0 1 0 310691798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13719/statm: 1339 239 197 169 0 50 0
[pid=13725] ppid=13719 vsize=46852 CPUtime=641.34
/proc/13725/stat : 13725 (minisat_static) R 13719 13719 13508 0 -1 4194304 11363 0 0 0 64123 11 0 0 25 0 1 0 310691860 47976448 11349 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13725/statm: 11713 11349 77 171 0 11540 0
Current children cumulated CPU time (s) 641.95
Current children cumulated vsize (KiB) 52208
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13727
/proc/meminfo: memFree=1910912/2055920 swapFree=4180308/4192956
[pid=13719] ppid=13717 vsize=5356 CPUtime=0.61
/proc/13719/stat : 13719 (SatELiteGTI) S 13717 13719 13508 0 -1 4194304 336 2361 0 0 0 0 60 1 16 0 1 0 310691798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13719/statm: 1339 239 197 169 0 50 0
[pid=13725] ppid=13719 vsize=46852 CPUtime=701.3
/proc/13725/stat : 13725 (minisat_static) R 13719 13719 13508 0 -1 4194304 11364 0 0 0 70119 11 0 0 25 0 1 0 310691860 47976448 11350 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13725/statm: 11713 11350 77 171 0 11540 0
Current children cumulated CPU time (s) 701.91
Current children cumulated vsize (KiB) 52208
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13727
/proc/meminfo: memFree=1910656/2055920 swapFree=4180308/4192956
[pid=13719] ppid=13717 vsize=5356 CPUtime=0.61
/proc/13719/stat : 13719 (SatELiteGTI) S 13717 13719 13508 0 -1 4194304 336 2361 0 0 0 0 60 1 16 0 1 0 310691798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13719/statm: 1339 239 197 169 0 50 0
[pid=13725] ppid=13719 vsize=47016 CPUtime=761.29
/proc/13725/stat : 13725 (minisat_static) R 13719 13719 13508 0 -1 4194304 11401 0 0 0 76118 11 0 0 25 0 1 0 310691860 48144384 11387 1992294400 134512640 135215339 4294956240 18446744073709551615 134528724 0 0 4096 3 0 0 0 17 0 0 0
/proc/13725/statm: 11754 11387 77 171 0 11581 0
Current children cumulated CPU time (s) 761.9
Current children cumulated vsize (KiB) 52372
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13727
/proc/meminfo: memFree=1909568/2055920 swapFree=4180308/4192956
[pid=13719] ppid=13717 vsize=5356 CPUtime=0.61
/proc/13719/stat : 13719 (SatELiteGTI) S 13717 13719 13508 0 -1 4194304 336 2361 0 0 0 0 60 1 16 0 1 0 310691798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13719/statm: 1339 239 197 169 0 50 0
[pid=13725] ppid=13719 vsize=48072 CPUtime=821.25
/proc/13725/stat : 13725 (minisat_static) R 13719 13719 13508 0 -1 4194304 11678 0 0 0 82113 12 0 0 25 0 1 0 310691860 49225728 11664 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13725/statm: 12018 11664 77 171 0 11845 0
Current children cumulated CPU time (s) 821.86
Current children cumulated vsize (KiB) 53428
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13727
/proc/meminfo: memFree=1905600/2055920 swapFree=4180308/4192956
[pid=13719] ppid=13717 vsize=5356 CPUtime=0.61
/proc/13719/stat : 13719 (SatELiteGTI) S 13717 13719 13508 0 -1 4194304 336 2361 0 0 0 0 60 1 16 0 1 0 310691798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13719/statm: 1339 239 197 169 0 50 0
[pid=13725] ppid=13719 vsize=52236 CPUtime=881.23
/proc/13725/stat : 13725 (minisat_static) R 13719 13719 13508 0 -1 4194304 12656 0 0 0 88110 13 0 0 25 0 1 0 310691860 53489664 12642 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13725/statm: 13059 12642 77 171 0 12886 0
Current children cumulated CPU time (s) 881.84
Current children cumulated vsize (KiB) 57592
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13727
/proc/meminfo: memFree=1901440/2055920 swapFree=4180308/4192956
[pid=13719] ppid=13717 vsize=5356 CPUtime=0.61
/proc/13719/stat : 13719 (SatELiteGTI) S 13717 13719 13508 0 -1 4194304 336 2361 0 0 0 0 60 1 16 0 1 0 310691798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13719/statm: 1339 239 197 169 0 50 0
[pid=13725] ppid=13719 vsize=56356 CPUtime=941.21
/proc/13725/stat : 13725 (minisat_static) R 13719 13719 13508 0 -1 4194304 13676 0 0 0 94107 14 0 0 25 0 1 0 310691860 57708544 13662 1992294400 134512640 135215339 4294956240 18446744073709551615 134532708 0 0 4096 3 0 0 0 17 0 0 0
/proc/13725/statm: 14089 13662 77 171 0 13916 0
Current children cumulated CPU time (s) 941.82
Current children cumulated vsize (KiB) 61712
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13727
/proc/meminfo: memFree=1897472/2055920 swapFree=4180308/4192956
[pid=13719] ppid=13717 vsize=5356 CPUtime=0.61
/proc/13719/stat : 13719 (SatELiteGTI) S 13717 13719 13508 0 -1 4194304 336 2361 0 0 0 0 60 1 16 0 1 0 310691798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13719/statm: 1339 239 197 169 0 50 0
[pid=13725] ppid=13719 vsize=60100 CPUtime=1001.18
/proc/13725/stat : 13725 (minisat_static) R 13719 13719 13508 0 -1 4194304 14625 0 0 0 100103 15 0 0 25 0 1 0 310691860 61542400 14611 1992294400 134512640 135215339 4294956240 18446744073709551615 134538750 0 0 4096 3 0 0 0 17 0 0 0
/proc/13725/statm: 15025 14611 77 171 0 14852 0
Current children cumulated CPU time (s) 1001.79
Current children cumulated vsize (KiB) 65456
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13727
/proc/meminfo: memFree=1894400/2055920 swapFree=4180308/4192956
[pid=13719] ppid=13717 vsize=5356 CPUtime=0.61
/proc/13719/stat : 13719 (SatELiteGTI) S 13717 13719 13508 0 -1 4194304 336 2361 0 0 0 0 60 1 16 0 1 0 310691798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13719/statm: 1339 239 197 169 0 50 0
[pid=13725] ppid=13719 vsize=63192 CPUtime=1061.16
/proc/13725/stat : 13725 (minisat_static) R 13719 13719 13508 0 -1 4194304 15375 0 0 0 106100 16 0 0 25 0 1 0 310691860 64708608 15361 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/13725/statm: 15798 15361 77 171 0 15625 0
Current children cumulated CPU time (s) 1061.77
Current children cumulated vsize (KiB) 68548
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13727
/proc/meminfo: memFree=1893760/2055920 swapFree=4180308/4192956
[pid=13719] ppid=13717 vsize=5356 CPUtime=0.61
/proc/13719/stat : 13719 (SatELiteGTI) S 13717 13719 13508 0 -1 4194304 336 2361 0 0 0 0 60 1 16 0 1 0 310691798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13719/statm: 1339 239 197 169 0 50 0
[pid=13725] ppid=13719 vsize=63772 CPUtime=1121.13
/proc/13725/stat : 13725 (minisat_static) R 13719 13719 13508 0 -1 4194304 15513 0 0 0 112097 16 0 0 25 0 1 0 310691860 65302528 15499 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/13725/statm: 15943 15499 77 171 0 15770 0
Current children cumulated CPU time (s) 1121.74
Current children cumulated vsize (KiB) 69128
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13727
/proc/meminfo: memFree=1893120/2055920 swapFree=4180308/4192956
[pid=13719] ppid=13717 vsize=5356 CPUtime=0.61
/proc/13719/stat : 13719 (SatELiteGTI) S 13717 13719 13508 0 -1 4194304 336 2361 0 0 0 0 60 1 16 0 1 0 310691798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13719/statm: 1339 239 197 169 0 50 0
[pid=13725] ppid=13719 vsize=64400 CPUtime=1181.1
/proc/13725/stat : 13725 (minisat_static) R 13719 13719 13508 0 -1 4194304 15656 0 0 0 118094 16 0 0 25 0 1 0 310691860 65945600 15642 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 0 0 0
/proc/13725/statm: 16100 15642 77 171 0 15927 0
Current children cumulated CPU time (s) 1181.71
Current children cumulated vsize (KiB) 69756
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13727
/proc/meminfo: memFree=1892992/2055920 swapFree=4180308/4192956
[pid=13719] ppid=13717 vsize=5356 CPUtime=0.61
/proc/13719/stat : 13719 (SatELiteGTI) S 13717 13719 13508 0 -1 4194304 336 2361 0 0 0 0 60 1 16 0 1 0 310691798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13719/statm: 1339 239 197 169 0 50 0
[pid=13725] ppid=13719 vsize=64400 CPUtime=1199.4
/proc/13725/stat : 13725 (minisat_static) R 13719 13719 13508 0 -1 4194304 15685 0 0 0 119924 16 0 0 25 0 1 0 310691860 65945600 15671 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13725/statm: 16100 15671 77 171 0 15927 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 69756
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13719 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=604908
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=19996
# CPU time returned by wait4() is 0.624904
# while last known CPU time is 1200.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.61
CPU time (s): 1200.01
CPU user time (s): 1199.84
CPU system time (s): 0.17
CPU usage (%): 99.9499
Max. virtual memory (cumulated for all children) (KiB): 69756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.604908
system time used= 0.019996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2697
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= 13
involuntary context switches= 9
runsolver used 1.08883 second user time and 3.36849 second system time
The end
Begin job on node12 at 2009-05-20 15:36:18
IDJOB=1833961
IDBENCH=71098
IDSOLVER=671
FILE ID=node12/1833961-1242826578
PBS_JOBID= 9322497
Free space on /tmp= 66288 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= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833961-1242826578/watcher-1833961-1242826578 -o /tmp/evaluation-result-1833961-1242826578/solver-1833961-1242826578 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833961-1242826578.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 18ad1dee1e9d863458e75a20545ae68a
RANDOM SEED=56575733
node12.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1960168 kB
Buffers: 17492 kB
Cached: 42524 kB
SwapCached: 6760 kB
Active: 28384 kB
Inactive: 39892 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1960168 kB
SwapTotal: 4192956 kB
SwapFree: 4180308 kB
Dirty: 2796 kB
Writeback: 0 kB
Mapped: 13416 kB
Slab: 13632 kB
Committed_AS: 1169636 kB
PageTables: 1380 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66284 MiB
End job on node12 at 2009-05-20 15:56:21