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 | 68055 202155 | 20416 0 0 nan | 0.000 % |
0.51/0.51 c | 0 | 67183 284754 | -- 0 -- -- | -- | -872/82599
0.51/0.51 c ==============================================================================
0.51/0.51 c Result : #vars: 763 #clauses: 67183 #literals: 284754
0.51/0.51 c CPU time: 0.51 s
0.51/0.51 c ==============================================================================
0.51/0.60 c This is MiniSat 2.0 beta
0.51/0.60 c WARNING: for repeatability, setting FPU to use double precision
0.51/0.60 c ============================[ Problem Statistics ]=============================
0.51/0.60 c | |
0.51/0.60 c | Number of variables: 763 |
0.51/0.60 c | Number of clauses: 67183 |
0.60/0.64 c | Parsing time: 0.04 s |
0.60/0.65 c ============================[ Search Statistics ]==============================
0.60/0.65 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.60/0.65 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.60/0.65 c ===============================================================================
0.60/0.65 c | 0 | 763 67183 284754 | 22394 0 nan | 0.000 % |
0.60/0.69 c | 100 | 763 67183 284754 | 22394 100 42 | 0.000 % |
0.60/0.74 c | 201 | 763 67183 284754 | 22394 201 37 | 0.000 % |
0.60/0.78 c | 304 | 763 67183 284754 | 22394 304 33 | 0.000 % |
0.60/0.84 c | 414 | 763 67183 284754 | 22394 414 31 | 0.000 % |
0.60/0.89 c | 515 | 763 67183 284754 | 22394 515 29 | 0.000 % |
0.60/0.92 c | 625 | 763 67183 284754 | 22394 625 31 | 0.000 % |
0.60/0.96 c | 747 | 763 67183 284754 | 22394 747 32 | 0.000 % |
1.01/1.01 c | 847 | 763 67183 284754 | 22394 847 32 | 0.000 % |
1.01/1.05 c | 959 | 763 67183 284754 | 22394 959 32 | 0.000 % |
1.01/1.09 c | 1081 | 763 67183 284754 | 22394 1081 32 | 0.000 % |
1.12/1.14 c | 1216 | 763 67183 284754 | 22394 1216 33 | 0.000 % |
1.12/1.19 c | 1316 | 763 67183 284754 | 22394 1316 33 | 0.000 % |
1.22/1.24 c | 1426 | 763 67183 284754 | 22394 1426 32 | 0.000 % |
1.22/1.29 c | 1547 | 763 67183 284754 | 22394 1547 31 | 0.000 % |
1.32/1.37 c | 1682 | 763 67183 284754 | 22394 1682 33 | 0.000 % |
1.42/1.43 c | 1828 | 763 67183 284754 | 22394 1828 34 | 0.000 % |
1.42/1.47 c | 1928 | 763 67183 284754 | 22394 1928 34 | 0.000 % |
1.52/1.52 c | 2038 | 763 67183 284754 | 22394 2038 34 | 0.000 % |
1.52/1.57 c | 2159 | 763 67183 284754 | 22394 2159 35 | 0.000 % |
1.62/1.63 c | 2293 | 763 67183 284754 | 22394 2293 35 | 0.000 % |
1.62/1.68 c | 2441 | 763 67183 284754 | 22394 2441 35 | 0.000 % |
1.72/1.72 c | 2602 | 763 67183 284754 | 22394 2602 35 | 0.000 % |
1.72/1.75 c | 2703 | 763 67183 284754 | 22394 2703 35 | 0.000 % |
1.72/1.78 c | 2814 | 763 67183 284754 | 22394 2814 35 | 0.000 % |
1.82/1.83 c | 2935 | 763 67183 284754 | 22394 2935 35 | 0.000 % |
1.82/1.87 c | 3069 | 763 67183 284754 | 22394 3069 35 | 0.000 % |
1.92/1.96 c | 3216 | 763 67183 284754 | 22394 3216 35 | 0.000 % |
2.02/2.03 c | 3377 | 763 67183 284754 | 22394 3377 35 | 0.000 % |
2.02/2.11 c | 3556 | 763 67183 284754 | 22394 3556 35 | 0.000 % |
2.12/2.16 c | 3657 | 763 67183 284754 | 22394 3657 36 | 0.000 % |
2.22/2.22 c | 3768 | 763 67183 284754 | 22394 3768 36 | 0.000 % |
2.22/2.27 c | 3890 | 763 67183 284754 | 22394 3890 36 | 0.000 % |
2.32/2.33 c | 4025 | 763 67183 284754 | 22394 4025 36 | 0.000 % |
2.32/2.41 c | 4171 | 763 67183 284754 | 22394 4171 36 | 0.000 % |
2.42/2.49 c | 4331 | 763 67183 284754 | 22394 4331 37 | 0.000 % |
2.52/2.55 c | 4509 | 763 67183 284754 | 22394 4509 37 | 0.000 % |
2.62/2.66 c | 4703 | 763 67183 284754 | 22394 4703 37 | 0.000 % |
2.62/2.70 c | 4804 | 763 67183 284754 | 22394 4804 37 | 0.000 % |
2.72/2.75 c | 4915 | 763 67183 284754 | 22394 4915 37 | 0.000 % |
2.72/2.80 c | 5039 | 763 67183 284754 | 22394 5039 37 | 0.000 % |
2.82/2.88 c | 5172 | 763 67183 284754 | 22394 5172 37 | 0.000 % |
2.92/2.96 c | 5318 | 763 67183 284754 | 22394 5318 37 | 0.000 % |
3.02/3.04 c | 5480 | 763 67183 284754 | 22394 5480 37 | 0.000 % |
3.12/3.12 c | 5657 | 763 67183 284754 | 22394 5657 37 | 0.000 % |
3.12/3.21 c | 5850 | 763 67183 284754 | 22394 5850 37 | 0.000 % |
3.32/3.32 c | 6065 | 763 67183 284754 | 22394 6065 37 | 0.000 % |
3.32/3.39 c | 6165 | 763 67183 284754 | 22394 6165 37 | 0.000 % |
3.42/3.45 c | 6277 | 763 67183 284754 | 22394 6277 37 | 0.000 % |
3.42/3.51 c | 6400 | 763 67183 284754 | 22394 6400 37 | 0.000 % |
3.52/3.57 c | 6535 | 763 67183 284754 | 22394 6535 37 | 0.000 % |
3.62/3.65 c | 6681 | 763 67183 284754 | 22394 6681 37 | 0.000 % |
3.72/3.73 c | 6841 | 763 67183 284754 | 22394 6841 37 | 0.000 % |
3.82/3.83 c | 7018 | 763 67183 284754 | 22394 7018 37 | 0.000 % |
3.92/3.97 c | 7213 | 763 67183 284754 | 22394 7213 38 | 0.000 % |
4.02/4.10 c | 7425 | 763 67183 284754 | 22394 7425 38 | 0.000 % |
4.12/4.21 c | 7660 | 763 67183 284754 | 22394 7660 38 | 0.000 % |
4.22/4.28 c | 7760 | 763 67183 284754 | 22394 7760 38 | 0.000 % |
4.32/4.33 c | 7870 | 763 67183 284754 | 22394 7870 38 | 0.000 % |
4.32/4.41 c | 7991 | 763 67183 284754 | 22394 7991 38 | 0.000 % |
4.42/4.49 c | 8124 | 763 67183 284754 | 22394 8124 38 | 0.000 % |
4.52/4.57 c | 8270 | 763 67183 284754 | 22394 8270 38 | 0.000 % |
4.62/4.66 c | 8431 | 763 67183 284754 | 22394 8431 38 | 0.000 % |
4.72/4.77 c | 8609 | 763 67183 284754 | 22394 8609 38 | 0.000 % |
4.82/4.86 c | 8803 | 763 67183 284754 | 22394 8803 38 | 0.000 % |
4.92/4.95 c | 9016 | 763 67183 284754 | 22394 9016 38 | 0.000 % |
5.02/5.06 c | 9251 | 763 67183 284754 | 22394 9251 38 | 0.000 % |
5.12/5.17 c | 9507 | 763 67183 284754 | 22394 9507 38 | 0.000 % |
5.22/5.26 c | 9607 | 763 67183 284754 | 22394 9607 38 | 0.000 % |
5.32/5.33 c | 9717 | 763 67183 284754 | 22394 9717 38 | 0.000 % |
5.42/5.42 c | 9838 | 763 67183 284754 | 22394 9838 38 | 0.000 % |
5.52/5.52 c | 9971 | 763 67183 284754 | 22394 9971 38 | 0.000 % |
5.52/5.61 c | 10117 | 763 67183 284754 | 2147483647 10117 38 | 0.000 % |
5.72/5.73 c | 10277 | 763 67183 284754 | 2147483647 10277 38 | 0.000 % |
5.82/5.84 c | 10454 | 763 67183 284754 | 2147483647 10454 38 | 0.000 % |
5.92/5.98 c | 10647 | 763 67183 284754 | 2147483647 10647 38 | 0.000 % |
6.12/6.12 c | 10859 | 763 67183 284754 | 2147483647 10859 38 | 0.000 % |
6.22/6.26 c | 11095 | 763 67183 284754 | 2147483647 11095 38 | 0.000 % |
6.42/6.42 c | 11352 | 763 67183 284754 | 2147483647 11352 38 | 0.000 % |
6.52/6.61 c | 11634 | 763 67183 284754 | 2147483647 11634 38 | 0.000 % |
6.62/6.68 c | 11735 | 763 67183 284754 | 2147483647 11735 38 | 0.000 % |
6.72/6.75 c | 11845 | 763 67183 284754 | 2147483647 11845 38 | 0.000 % |
6.82/6.83 c | 11966 | 763 67183 284754 | 2147483647 11966 38 | 0.000 % |
6.92/6.92 c | 12100 | 763 67183 284754 | 2147483647 12100 38 | 0.000 % |
7.02/7.03 c | 12246 | 763 67183 284754 | 2147483647 12246 38 | 0.000 % |
7.12/7.15 c | 12406 | 763 67183 284754 | 2147483647 12406 38 | 0.000 % |
7.22/7.27 c | 12582 | 763 67183 284754 | 2147483647 12582 38 | 0.000 % |
7.42/7.42 c | 12775 | 763 67183 284754 | 2147483647 12775 37 | 0.000 % |
7.52/7.57 c | 12987 | 763 67183 284754 | 2147483647 12987 37 | 0.000 % |
7.62/7.70 c | 13220 | 763 67183 284754 | 2147483647 13220 37 | 0.000 % |
7.82/7.89 c | 13476 | 763 67183 284754 | 2147483647 13476 37 | 0.000 % |
8.02/8.10 c | 13758 | 763 67183 284754 | 2147483647 13758 37 | 0.000 % |
8.32/8.36 c | 14067 | 763 67183 284754 | 2147483647 14067 37 | 0.000 % |
8.42/8.45 c | 14168 | 763 67183 284754 | 2147483647 14168 37 | 0.000 % |
8.52/8.54 c | 14278 | 763 67183 284754 | 2147483647 14278 37 | 0.000 % |
8.62/8.68 c | 14400 | 763 67183 284754 | 2147483647 14400 37 | 0.000 % |
8.72/8.80 c | 14533 | 763 67183 284754 | 2147483647 14533 37 | 0.000 % |
8.92/8.97 c | 14680 | 763 67183 284754 | 2147483647 14680 37 | 0.000 % |
9.12/9.12 c | 14845 | 763 67183 284754 | 2147483647 14845 37 | 0.000 % |
9.22/9.28 c | 15022 | 763 67183 284754 | 2147483647 15022 37 | 0.000 % |
9.42/9.50 c | 15215 | 763 67183 284754 | 2147483647 15215 37 | 0.000 % |
9.62/9.71 c | 15428 | 763 67183 284754 | 2147483647 15428 37 | 0.000 % |
9.92/9.93 c | 15662 | 763 67183 284754 | 2147483647 15662 37 | 0.000 % |
10.12/10.16 c | 15919 | 763 67183 284754 | 2147483647 15919 37 | 0.000 % |
10.42/10.42 c | 16200 | 763 67183 284754 | 2147483647 16200 37 | 0.000 % |
10.62/10.65 c | 16512 | 763 67183 284754 | 2147483647 16512 37 | 0.000 % |
10.92/10.97 c | 16854 | 763 67183 284754 | 2147483647 16854 37 | 0.000 % |
11.02/11.08 c | 16956 | 763 67183 284754 | 2147483647 16956 37 | 0.000 % |
11.12/11.20 c | 17067 | 763 67183 284754 | 2147483647 17067 37 | 0.000 % |
11.32/11.37 c | 17189 | 763 67183 284754 | 2147483647 17189 37 | 0.000 % |
11.42/11.48 c | 17323 | 763 67183 284754 | 2147483647 17323 37 | 0.000 % |
11.52/11.61 c | 17469 | 763 67183 284754 | 2147483647 17469 37 | 0.000 % |
11.72/11.75 c | 17629 | 763 67183 284754 | 2147483647 17629 37 | 0.000 % |
11.92/11.95 c | 17809 | 763 67183 284754 | 2147483647 17809 37 | 0.000 % |
12.12/12.15 c | 18003 | 763 67183 284754 | 2147483647 18003 37 | 0.000 % |
12.32/12.39 c | 18215 | 763 67183 284754 | 2147483647 18215 37 | 0.000 % |
12.52/12.59 c | 18448 | 763 67183 284754 | 2147483647 18448 37 | 0.000 % |
12.82/12.90 c | 18704 | 763 67183 284754 | 2147483647 18704 37 | 0.000 % |
13.12/13.16 c | 18986 | 763 67183 284754 | 2147483647 18986 37 | 0.000 % |
13.42/13.50 c | 19296 | 763 67183 284754 | 2147483647 19296 37 | 0.000 % |
13.82/13.91 c | 19635 | 763 67183 284754 | 2147483647 19635 37 | 0.000 % |
14.32/14.36 c | 20007 | 763 67183 284754 | 2147483647 20007 37 | 0.000 % |
14.42/14.49 c | 20107 | 763 67183 284754 | 2147483647 20107 37 | 0.000 % |
14.62/14.67 c | 20217 | 763 67183 284754 | 2147483647 20217 37 | 0.000 % |
14.82/14.84 c | 20339 | 763 67183 284754 | 2147483647 20339 37 | 0.000 % |
14.92/15.01 c | 20472 | 763 67183 284754 | 2147483647 20472 37 | 0.000 % |
15.12/15.21 c | 20618 | 763 67183 284754 | 2147483647 20618 38 | 0.000 % |
15.42/15.45 c | 20780 | 763 67183 284754 | 2147483647 20780 37 | 0.000 % |
15.62/15.71 c | 20956 | 763 67183 284754 | 2147483647 20956 37 | 0.000 % |
15.92/15.95 c | 21150 | 763 67183 284754 | 2147483647 21150 37 | 0.000 % |
16.22/16.24 c | 21363 | 763 67183 284754 | 2147483647 21363 37 | 0.000 % |
16.52/16.53 c | 21596 | 763 67183 284754 | 2147483647 21596 37 | 0.000 % |
16.82/16.87 c | 21854 | 763 67183 284754 | 2147483647 21854 37 | 0.000 % |
17.22/17.27 c | 22137 | 763 67183 284754 | 2147483647 22137 37 | 0.000 % |
17.52/17.58 c | 22446 | 763 67183 284754 | 2147483647 22446 37 | 0.000 % |
17.92/17.95 c | 22786 | 763 67183 284754 | 2147483647 22786 37 | 0.000 % |
18.42/18.45 c | 23159 | 763 67183 284754 | 2147483647 23159 37 | 0.000 % |
18.92/18.95 c | 23569 | 763 67183 284754 | 2147483647 23569 37 | 0.000 % |
19.02/19.09 c | 23669 | 763 67183 284754 | 2147483647 23669 37 | 0.000 % |
19.22/19.25 c | 23779 | 763 67183 284754 | 2147483647 23779 37 | 0.000 % |
19.42/19.44 c | 23900 | 763 67183 284754 | 2147483647 23900 37 | 0.000 % |
19.52/19.59 c | 24033 | 763 67183 284754 | 2147483647 24033 37 | 0.000 % |
19.72/19.78 c | 24180 | 763 67183 284754 | 2147483647 24180 37 | 0.000 % |
20.02/20.02 c | 24340 | 763 67183 284754 | 2147483647 24340 37 | 0.000 % |
20.22/20.28 c | 24517 | 763 67183 284754 | 2147483647 24517 37 | 0.000 % |
20.42/20.50 c | 24710 | 763 67183 284754 | 2147483647 24710 37 | 0.000 % |
20.72/20.75 c | 24922 | 763 67183 284754 | 2147483647 24922 37 | 0.000 % |
21.12/21.13 c | 25157 | 763 67183 284754 | 2147483647 25157 37 | 0.000 % |
21.42/21.47 c | 25413 | 763 67183 284754 | 2147483647 25413 37 | 0.000 % |
21.82/21.89 c | 25694 | 763 67183 284754 | 2147483647 25694 37 | 0.000 % |
22.22/22.25 c | 26003 | 763 67183 284754 | 2147483647 26003 37 | 0.000 % |
22.72/22.77 c | 26344 | 763 67183 284754 | 2147483647 26344 37 | 0.000 % |
23.12/23.20 c | 26719 | 763 67183 284754 | 2147483647 26719 37 | 0.000 % |
23.62/23.66 c | 27128 | 763 67183 284754 | 2147483647 27128 37 | 0.000 % |
23.82/23.88 c | 27577 | 763 67183 284754 | 2147483647 27577 37 | 0.000 % |
24.12/24.14 c | 27677 | 763 67183 284754 | 2147483647 27677 37 | 0.000 % |
24.12/24.20 c | 27787 | 763 67183 284754 | 2147483647 27787 37 | 0.000 % |
24.42/24.49 c | 27908 | 763 67183 284754 | 2147483647 27908 37 | 0.000 % |
24.72/24.77 c | 28041 | 763 67183 284754 | 2147483647 28041 37 | 0.000 % |
25.02/25.10 c | 28190 | 763 67183 284754 | 2147483647 28190 37 | 0.000 % |
25.42/25.45 c | 28350 | 763 67183 284754 | 2147483647 28350 37 | 0.000 % |
25.72/25.79 c | 28527 | 763 67183 284754 | 2147483647 28527 37 | 0.000 % |
26.12/26.19 c | 28723 | 763 67183 284754 | 2147483647 28723 37 | 0.000 % |
26.62/26.67 c | 28936 | 763 67183 284754 | 2147483647 28936 37 | 0.000 % |
27.02/27.10 c | 29170 | 763 67183 284754 | 2147483647 29170 37 | 0.000 % |
27.22/27.29 c | 29426 | 763 67183 284754 | 2147483647 29426 37 | 0.000 % |
27.82/27.88 c | 29708 | 763 67183 284754 | 2147483647 29708 37 | 0.000 % |
28.52/28.53 c | 30017 | 763 67183 284754 | 2147483647 30017 37 | 0.000 % |
29.02/29.11 c | 30356 | 763 67183 284754 | 2147483647 30356 37 | 0.000 % |
29.82/29.88 c | 30729 | 763 67183 284754 | 2147483647 30729 37 | 0.000 % |
30.82/30.87 c | 31138 | 763 67183 284754 | 2147483647 31138 38 | 0.000 % |
31.82/31.85 c | 31587 | 763 67183 284754 | 2147483647 31587 38 | 0.000 % |
33.02/33.04 c | 32081 | 763 67183 284754 | 2147483647 32081 38 | 0.000 % |
33.22/33.27 c | 32181 | 763 67183 284754 | 2147483647 32181 38 | 0.000 % |
33.52/33.53 c | 32291 | 763 67183 284754 | 2147483647 32291 38 | 0.000 % |
33.72/33.76 c | 32412 | 763 67183 284754 | 2147483647 32412 38 | 0.000 % |
34.02/34.08 c | 32545 | 763 67183 284754 | 2147483647 32545 38 | 0.000 % |
34.42/34.44 c | 32693 | 763 67183 284754 | 2147483647 32693 38 | 0.000 % |
34.72/34.75 c | 32855 | 763 67183 284754 | 2147483647 32855 38 | 0.000 % |
35.12/35.18 c | 33033 | 763 67183 284754 | 2147483647 33033 38 | 0.000 % |
35.52/35.61 c | 33227 | 763 67183 284754 | 2147483647 33227 38 | 0.000 % |
35.92/36.00 c | 33439 | 763 67183 284754 | 2147483647 33439 38 | 0.000 % |
36.52/36.57 c | 33673 | 763 67183 284754 | 2147483647 33673 38 | 0.000 % |
37.12/37.16 c | 33930 | 763 67183 284754 | 2147483647 33930 38 | 0.000 % |
37.22/37.29 c | 34211 | 763 67183 284754 | 2147483647 34211 38 | 0.000 % |
37.42/37.46 c | 34521 | 763 67183 284754 | 2147483647 34521 38 | 0.000 % |
38.32/38.34 c | 34860 | 763 67183 284754 | 2147483647 34860 38 | 0.000 % |
38.92/38.92 c | 35232 | 763 67183 284754 | 2147483647 35232 38 | 0.000 % |
39.22/39.24 c | 35642 | 763 67183 284754 | 2147483647 35642 38 | 0.000 % |
39.52/39.59 c | 36092 | 763 67183 284754 | 2147483647 36092 38 | 0.000 % |
39.92/39.94 c | 36586 | 763 67183 284754 | 2147483647 36586 38 | 0.000 % |
40.32/40.31 c | 37129 | 763 67183 284754 | 2147483647 37129 38 | 0.000 % |
40.32/40.40 c | 37230 | 763 67183 284754 | 2147483647 37230 38 | 0.000 % |
40.42/40.45 c | 37342 | 763 67183 284754 | 2147483647 37342 38 | 0.000 % |
40.52/40.55 c | 37464 | 763 67183 284754 | 2147483647 37464 38 | 0.000 % |
40.62/40.67 c | 37597 | 763 67183 284754 | 2147483647 37597 38 | 0.000 % |
40.72/40.80 c | 37744 | 763 67183 284754 | 2147483647 37744 38 | 0.000 % |
41.12/41.15 c | 37905 | 763 67183 284754 | 2147483647 37905 38 | 0.000 % |
41.22/41.30 c | 38082 | 763 67183 284754 | 2147483647 38082 38 | 0.000 % |
41.42/41.45 c | 38276 | 763 67183 284754 | 2147483647 38276 39 | 0.000 % |
41.62/41.65 c | 38488 | 763 67183 284754 | 2147483647 38488 39 | 0.000 % |
41.82/41.86 c | 38723 | 763 67183 284754 | 2147483647 38723 39 | 0.000 % |
42.02/42.09 c | 38984 | 763 67183 284754 | 2147483647 38984 39 | 0.000 % |
42.32/42.31 c | 39266 | 763 67183 284754 | 2147483647 39266 39 | 0.000 % |
42.52/42.58 c | 39576 | 763 67183 284754 | 2147483647 39576 39 | 0.000 % |
42.92/42.96 c | 39915 | 763 67183 284754 | 2147483647 39915 39 | 0.000 % |
43.42/43.45 c | 40290 | 763 67183 284754 | 2147483647 40290 39 | 0.000 % |
43.72/43.79 c | 40701 | 763 67183 284754 | 2147483647 40701 39 | 0.000 % |
45.12/45.16 c | 41151 | 763 67183 284754 | 2147483647 41151 39 | 0.000 % |
45.62/45.66 c | 41646 | 763 67183 284754 | 2147483647 41646 39 | 0.000 % |
46.12/46.20 c | 42188 | 763 67183 284754 | 2147483647 42188 39 | 0.000 % |
46.72/46.78 c | 42784 | 763 67183 284754 | 2147483647 42784 39 | 0.000 % |
46.82/46.91 c | 42887 | 763 67183 284754 | 2147483647 42887 39 | 0.000 % |
47.02/47.04 c | 42997 | 763 67183 284754 | 2147483647 42997 39 | 0.000 % |
47.22/47.22 c | 43118 | 763 67183 284754 | 2147483647 43118 39 | 0.000 % |
47.32/47.36 c | 43252 | 763 67183 284754 | 2147483647 43252 39 | 0.000 % |
47.52/47.57 c | 43398 | 763 67183 284754 | 2147483647 43398 39 | 0.000 % |
47.72/47.81 c | 43558 | 763 67183 284754 | 2147483647 43558 39 | 0.000 % |
48.02/48.05 c | 43735 | 763 67183 284754 | 2147483647 43735 39 | 0.000 % |
48.32/48.33 c | 43928 | 763 67183 284754 | 2147483647 43928 39 | 0.000 % |
48.52/48.60 c | 44143 | 763 67183 284754 | 2147483647 44143 39 | 0.000 % |
48.92/48.91 c | 44376 | 763 67183 284754 | 2147483647 44376 39 | 0.000 % |
49.22/49.27 c | 44632 | 763 67183 284754 | 2147483647 44632 39 | 0.000 % |
49.62/49.65 c | 44916 | 763 67183 284754 | 2147483647 44916 39 | 0.000 % |
50.02/50.03 c | 45225 | 763 67183 284754 | 2147483647 45225 39 | 0.000 % |
50.52/50.53 c | 45565 | 763 67183 284754 | 2147483647 45565 39 | 0.000 % |
51.12/51.19 c | 45939 | 763 67183 284754 | 2147483647 45939 39 | 0.000 % |
51.72/51.81 c | 46348 | 763 67183 284754 | 2147483647 46348 39 | 0.000 % |
52.42/52.48 c | 46798 | 763 67183 284754 | 2147483647 46798 39 | 0.000 % |
53.12/53.15 c | 47292 | 763 67183 284754 | 2147483647 47292 39 | 0.000 % |
53.82/53.86 c | 47834 | 763 67183 284754 | 2147483647 47834 39 | 0.000 % |
54.62/54.64 c | 48431 | 763 67183 284754 | 2147483647 48431 39 | 0.000 % |
55.52/55.56 c | 49089 | 763 67183 284754 | 2147483647 49089 39 | 0.000 % |
55.72/55.73 c | 49189 | 763 67183 284754 | 2147483647 49189 39 | 0.000 % |
55.82/55.88 c | 49299 | 763 67183 284754 | 2147483647 49299 39 | 0.000 % |
56.02/56.10 c | 49420 | 763 67183 284754 | 2147483647 49420 39 | 0.000 % |
56.22/56.30 c | 49554 | 763 67183 284754 | 2147483647 49554 39 | 0.000 % |
56.52/56.52 c | 49701 | 763 67183 284754 | 2147483647 49701 39 | 0.000 % |
56.72/56.75 c | 49865 | 763 67183 284754 | 2147483647 49865 39 | 0.000 % |
57.02/57.07 c | 50043 | 763 67183 284754 | 2147483647 50043 39 | 0.000 % |
57.42/57.41 c | 50238 | 763 67183 284754 | 2147483647 50238 39 | 0.000 % |
57.72/57.81 c | 50451 | 763 67183 284754 | 2147483647 50451 39 | 0.000 % |
58.12/58.20 c | 50685 | 763 67183 284754 | 2147483647 50685 39 | 0.000 % |
58.62/58.62 c | 50942 | 763 67183 284754 | 2147483647 50942 39 | 0.000 % |
59.02/59.07 c | 51227 | 763 67183 284754 | 2147483647 51227 39 | 0.000 % |
59.62/59.65 c | 51536 | 763 67183 284754 | 2147483647 51536 39 | 0.000 % |
60.12/60.17 c | 51877 | 763 67183 284754 | 2147483647 51877 39 | 0.000 % |
60.92/60.92 c | 52250 | 763 67183 284754 | 2147483647 52250 39 | 0.000 % |
61.62/61.67 c | 52660 | 763 67183 284754 | 2147483647 52660 39 | 0.000 % |
62.42/62.49 c | 53111 | 763 67183 284754 | 2147483647 53111 39 | 0.000 % |
63.42/63.45 c | 53606 | 763 67183 284754 | 2147483647 53606 39 | 0.000 % |
64.52/64.55 c | 54148 | 763 67183 284754 | 2147483647 54148 39 | 0.000 % |
65.62/65.66 c | 54744 | 763 67183 284754 | 2147483647 54744 39 | 0.000 % |
67.02/67.11 c | 55400 | 763 67183 284754 | 2147483647 55400 39 | 0.000 % |
69.82/69.87 c | 56120 | 763 67183 284754 | 2147483647 56120 39 | 0.000 % |
70.22/70.27 c | 56220 | 763 67183 284754 | 2147483647 56220 39 | 0.000 % |
70.82/70.83 c | 56330 | 763 67183 284754 | 2147483647 56330 38 | 0.000 % |
71.12/71.20 c | 56451 | 763 67183 284754 | 2147483647 56451 38 | 0.000 % |
71.72/71.78 c | 56586 | 763 67183 284754 | 2147483647 56586 38 | 0.000 % |
72.22/72.30 c | 56732 | 763 67183 284754 | 2147483647 56732 38 | 0.000 % |
72.92/72.93 c | 56892 | 763 67183 284754 | 2147483647 56892 38 | 0.000 % |
73.52/73.53 c | 57070 | 763 67183 284754 | 2147483647 57070 38 | 0.000 % |
74.12/74.11 c | 57263 | 763 67183 284754 | 2147483647 57263 38 | 0.000 % |
75.02/75.03 c | 57475 | 763 67183 284754 | 2147483647 57475 38 | 0.000 % |
75.42/75.47 c | 57711 | 763 67183 284754 | 2147483647 57711 38 | 0.000 % |
76.22/76.29 c | 57968 | 763 67183 284754 | 2147483647 57968 38 | 0.002 % |
77.72/77.71 c | 58252 | 763 67183 284754 | 2147483647 58252 38 | 0.000 % |
78.72/78.75 c | 58562 | 763 67183 284754 | 2147483647 58562 38 | 0.000 % |
79.62/79.63 c | 58903 | 763 67183 284754 | 2147483647 58903 38 | 0.000 % |
80.52/80.53 c | 59276 | 763 67183 284754 | 2147483647 59276 38 | 0.000 % |
82.12/82.11 c | 59687 | 763 67183 284754 | 2147483647 59687 38 | 0.000 % |
83.22/83.24 c | 60136 | 763 67183 284754 | 2147483647 60136 38 | 0.000 % |
85.42/85.41 c | 60630 | 763 67183 284754 | 2147483647 60630 38 | 0.000 % |
87.02/87.02 c | 61173 | 763 67183 284754 | 2147483647 61173 38 | 0.000 % |
88.52/88.57 c | 61769 | 763 67183 284754 | 2147483647 61769 38 | 0.000 % |
91.33/91.38 c | 62424 | 763 67183 284754 | 2147483647 62424 38 | 0.000 % |
94.63/94.68 c | 63144 | 763 67183 284754 | 2147483647 63144 38 | 0.000 % |
98.92/98.93 c | 63936 | 763 67183 284754 | 2147483647 63936 38 | 0.000 % |
99.22/99.27 c | 64036 | 763 67183 284754 | 2147483647 64036 38 | 0.000 % |
99.62/99.63 c | 64150 | 763 67183 284754 | 2147483647 64150 38 | 0.000 % |
100.32/100.39 c | 64272 | 763 67183 284754 | 2147483647 64272 38 | 0.000 % |
100.82/100.90 c | 64405 | 763 67183 284754 | 2147483647 64405 38 | 0.000 % |
101.52/101.59 c | 64552 | 763 67183 284754 | 2147483647 64552 38 | 0.000 % |
102.52/102.51 c | 64714 | 763 67183 284754 | 2147483647 64714 38 | 0.000 % |
103.22/103.26 c | 64891 | 763 67183 284754 | 2147483647 64891 38 | 0.000 % |
104.12/104.18 c | 65084 | 763 67183 284754 | 2147483647 65084 38 | 0.000 % |
105.32/105.32 c | 65296 | 763 67183 284754 | 2147483647 65296 38 | 0.000 % |
106.42/106.44 c | 65530 | 763 67183 284754 | 2147483647 65530 38 | 0.002 % |
106.62/106.67 c | 65788 | 763 67183 284754 | 2147483647 65788 38 | 0.000 % |
107.92/108.00 c | 66071 | 763 67183 284754 | 2147483647 66071 38 | 0.000 % |
109.02/109.09 c | 66382 | 763 67183 284754 | 2147483647 66382 38 | 0.000 % |
110.32/110.33 c | 66722 | 763 67183 284754 | 2147483647 66722 38 | 0.000 % |
112.02/112.06 c | 67095 | 763 67183 284754 | 2147483647 67095 38 | 0.000 % |
113.82/113.84 c | 67505 | 763 67183 284754 | 2147483647 67505 38 | 0.000 % |
115.12/115.14 c | 67956 | 763 67183 284754 | 2147483647 67956 38 | 0.000 % |
116.72/116.77 c | 68449 | 763 67183 284754 | 2147483647 68449 38 | 0.000 % |
118.22/118.24 c | 68991 | 763 67183 284754 | 2147483647 68991 38 | 0.000 % |
119.32/119.39 c | 69588 | 763 67183 284754 | 2147483647 69588 38 | 0.000 % |
122.92/122.98 c | 70244 | 763 67183 284754 | 2147483647 70244 38 | 0.000 % |
125.92/125.97 c | 70966 | 763 67183 284754 | 2147483647 70966 38 | 0.000 % |
129.23/129.31 c | 71763 | 763 67183 284754 | 2147483647 71763 37 | 0.000 % |
132.73/132.78 c | 72635 | 763 67183 284754 | 2147483647 72635 37 | 0.000 % |
132.93/132.98 c | 72737 | 763 67183 284754 | 2147483647 72737 37 | 0.000 % |
133.23/133.28 c | 72849 | 763 67183 284754 | 2147483647 72849 37 | 0.000 % |
133.63/133.68 c | 72972 | 763 67183 284754 | 2147483647 72972 37 | 0.000 % |
134.13/134.17 c | 73107 | 763 67183 284754 | 2147483647 73107 37 | 0.000 % |
134.73/134.76 c | 73253 | 763 67183 284754 | 2147483647 73253 37 | 0.000 % |
135.43/135.47 c | 73413 | 763 67183 284754 | 2147483647 73413 37 | 0.000 % |
136.03/136.09 c | 73589 | 763 67183 284754 | 2147483647 73589 37 | 0.000 % |
137.03/137.02 c | 73783 | 763 67183 284754 | 2147483647 73783 37 | 0.000 % |
138.63/138.69 c | 73997 | 763 67183 284754 | 2147483647 73997 37 | 0.000 % |
139.73/139.79 c | 74230 | 763 67183 284754 | 2147483647 74230 37 | 0.000 % |
140.23/140.31 c | 74486 | 763 67183 284754 | 2147483647 74486 37 | 0.000 % |
141.63/141.68 c | 74769 | 763 67183 284754 | 2147483647 74769 37 | 0.000 % |
143.03/143.08 c | 75078 | 763 67183 284754 | 2147483647 75078 37 | 0.000 % |
143.93/144.01 c | 75418 | 763 67183 284754 | 2147483647 75418 37 | 0.000 % |
145.43/145.48 c | 75791 | 763 67183 284754 | 2147483647 75791 37 | 0.000 % |
146.33/146.37 c | 76202 | 763 67183 284754 | 2147483647 76202 37 | 0.000 % |
147.83/147.90 c | 76651 | 763 67183 284754 | 2147483647 76651 37 | 0.000 % |
149.53/149.57 c | 77145 | 763 67183 284754 | 2147483647 77145 37 | 0.000 % |
151.83/151.85 c | 77689 | 763 67183 284754 | 2147483647 77689 37 | 0.000 % |
154.13/154.17 c | 78287 | 763 67183 284754 | 2147483647 78287 37 | 0.000 % |
156.43/156.45 c | 78942 | 763 67183 284754 | 2147483647 78942 37 | 0.000 % |
158.63/158.65 c | 79662 | 763 67183 284754 | 2147483647 79662 37 | 0.000 % |
163.03/163.08 c | 80455 | 763 67183 284754 | 80000 64682 37 | 0.000 % |
166.53/166.60 c | 81326 | 763 67183 284754 | 80000 65553 37 | 0.000 % |
169.63/169.70 c | 82286 | 763 67183 284754 | 80000 66513 37 | 0.000 % |
169.93/169.94 c | 82386 | 763 67183 284754 | 80000 66613 37 | 0.000 % |
170.33/170.39 c | 82496 | 763 67183 284754 | 80000 66723 37 | 0.000 % |
170.83/170.82 c | 82618 | 763 67183 284754 | 80000 66845 37 | 0.000 % |
171.13/171.15 c | 82753 | 763 67183 284754 | 80000 66980 37 | 0.000 % |
171.73/171.73 c | 82899 | 763 67183 284754 | 80000 67126 37 | 0.000 % |
172.33/172.39 c | 83061 | 763 67183 284754 | 80000 67288 37 | 0.000 % |
172.93/172.94 c | 83237 | 763 67183 284754 | 80000 67464 37 | 0.000 % |
173.33/173.41 c | 83431 | 763 67183 284754 | 80000 67658 37 | 0.000 % |
174.03/174.06 c | 83643 | 763 67183 284754 | 80000 67870 38 | 0.000 % |
174.73/174.79 c | 83877 | 763 67183 284754 | 80000 68104 38 | 0.000 % |
175.03/175.10 c | 84133 | 763 67183 284754 | 80000 68360 38 | 0.000 % |
175.83/175.91 c | 84414 | 763 67183 284754 | 80000 68641 38 | 0.000 % |
177.03/177.03 c | 84724 | 763 67183 284754 | 80000 68951 38 | 0.000 % |
178.23/178.23 c | 85065 | 763 67183 284754 | 80000 69292 38 | 0.000 % |
179.63/179.65 c | 85439 | 763 67183 284754 | 80000 69666 38 | 0.000 % |
181.33/181.35 c | 85850 | 763 67183 284754 | 80000 70077 38 | 0.000 % |
183.23/183.30 c | 86299 | 763 67183 284754 | 80000 70526 38 | 0.000 % |
185.13/185.21 c | 86794 | 763 67183 284754 | 80000 71021 38 | 0.000 % |
187.33/187.38 c | 87337 | 763 67183 284754 | 80000 71564 38 | 0.000 % |
189.93/189.95 c | 87933 | 763 67183 284754 | 80000 72160 38 | 0.000 % |
193.13/193.17 c | 88588 | 763 67183 284754 | 80000 72815 38 | 0.000 % |
195.23/195.29 c | 89308 | 763 67183 284754 | 80000 73535 38 | 0.000 % |
198.73/198.78 c | 90100 | 763 67183 284754 | 74227 74327 38 | 0.000 % |
201.83/201.85 c | 90971 | 763 67183 284754 | 74227 51145 37 | 0.000 % |
203.93/203.93 c | 91930 | 763 67183 284754 | 74227 52104 37 | 0.000 % |
205.53/205.55 c | 92986 | 763 67183 284754 | 74227 53160 38 | 0.000 % |
205.74/205.76 c | 93087 | 763 67183 284754 | 74227 53261 38 | 0.000 % |
205.93/205.98 c | 93199 | 763 67183 284754 | 74227 53373 38 | 0.000 % |
206.23/206.28 c | 93320 | 763 67183 284754 | 74227 53494 38 | 0.000 % |
206.43/206.46 c | 93456 | 763 67183 284754 | 74227 53630 38 | 0.000 % |
206.84/206.89 c | 93602 | 763 67183 284754 | 74227 53776 38 | 0.000 % |
207.43/207.47 c | 93762 | 763 67183 284754 | 74227 53936 38 | 0.000 % |
207.94/207.94 c | 93939 | 763 67183 284754 | 74227 54113 38 | 0.000 % |
208.53/208.56 c | 94134 | 763 67183 284754 | 74227 54308 38 | 0.000 % |
209.13/209.14 c | 94348 | 763 67183 284754 | 74227 54522 38 | 0.000 % |
209.92/210.00 c | 94582 | 763 67183 284754 | 74227 54756 38 | 0.000 % |
210.82/210.88 c | 94838 | 763 67183 284754 | 74227 55012 38 | 0.000 % |
211.32/211.40 c | 95119 | 763 67183 284754 | 74227 55293 38 | 0.000 % |
212.62/212.70 c | 95428 | 763 67183 284754 | 74227 55602 38 | 0.000 % |
213.92/213.92 c | 95767 | 763 67183 284754 | 74227 55941 38 | 0.000 % |
215.02/215.07 c | 96139 | 763 67183 284754 | 74227 56313 37 | 0.000 % |
215.82/215.89 c | 96549 | 763 67183 284754 | 74227 56723 37 | 0.000 % |
217.12/217.16 c | 97000 | 763 67183 284754 | 74227 57174 38 | 0.000 % |
218.82/218.83 c | 97494 | 763 67183 284754 | 74227 57668 38 | 0.000 % |
221.32/221.32 c | 98036 | 763 67183 284754 | 74227 58210 38 | 0.000 % |
224.12/224.17 c | 98632 | 763 67183 284754 | 74227 58806 38 | 0.000 % |
227.02/227.05 c | 99287 | 763 67183 284754 | 74227 59461 38 | 0.000 % |
230.12/230.12 c | 100009 | 763 67183 284754 | 60176 60183 38 | 0.000 % |
232.13/232.12 c | 100801 | 763 67183 284754 | 60176 49887 38 | 0.000 % |
233.02/233.08 c | 101672 | 763 67183 284754 | 60176 50758 38 | 0.000 % |
235.12/235.14 c | 102630 | 763 67183 284754 | 60176 51716 38 | 0.000 % |
238.12/238.17 c | 103685 | 763 67183 284754 | 60176 52771 37 | 0.000 % |
241.22/241.27 c | 104843 | 763 67183 284754 | 60176 53929 37 | 0.000 % |
241.52/241.51 c | 104943 | 763 67183 284754 | 60176 54029 37 | 0.000 % |
241.82/241.85 c | 105056 | 763 67183 284754 | 60176 54142 37 | 0.000 % |
242.03/242.09 c | 105177 | 763 67183 284754 | 60176 54263 37 | 0.000 % |
242.42/242.47 c | 105310 | 763 67183 284754 | 60176 54396 37 | 0.000 % |
242.82/242.86 c | 105457 | 763 67183 284754 | 60176 54543 37 | 0.000 % |
243.42/243.49 c | 105618 | 763 67183 284754 | 60176 54704 37 | 0.000 % |
244.02/244.09 c | 105794 | 763 67183 284754 | 60176 54880 37 | 0.000 % |
244.72/244.71 c | 105987 | 763 67183 284754 | 60176 55073 37 | 0.000 % |
245.42/245.47 c | 106207 | 763 67183 284754 | 60176 55293 37 | 0.000 % |
246.12/246.13 c | 106440 | 763 67183 284754 | 60176 55526 37 | 0.000 % |
246.92/246.96 c | 106698 | 763 67183 284754 | 60176 55784 37 | 0.000 % |
247.32/247.31 c | 106980 | 763 67183 284754 | 60176 56066 37 | 0.000 % |
248.12/248.15 c | 107289 | 763 67183 284754 | 60176 56375 37 | 0.000 % |
249.12/249.12 c | 107629 | 763 67183 284754 | 60176 56715 37 | 0.000 % |
250.32/250.31 c | 108001 | 763 67183 284754 | 60176 57087 37 | 0.000 % |
251.32/251.36 c | 108412 | 763 67183 284754 | 60176 57498 37 | 0.000 % |
253.03/253.03 c | 108861 | 763 67183 284754 | 60176 57947 37 | 0.000 % |
254.63/254.70 c | 109355 | 763 67183 284754 | 60176 58441 37 | 0.000 % |
256.53/256.53 c | 109897 | 763 67183 284754 | 60176 58983 37 | 0.000 % |
258.53/258.53 c | 110493 | 763 67183 284754 | 2147483647 59579 37 | 0.000 % |
261.53/261.57 c | 111150 | 763 67183 284754 | 2147483647 60236 37 | 0.000 % |
264.23/264.25 c | 111870 | 763 67183 284754 | 2147483647 60956 37 | 0.000 % |
267.03/267.07 c | 112666 | 763 67183 284754 | 2147483647 61752 37 | 0.000 % |
269.83/269.88 c | 113539 | 763 67183 284754 | 2147483647 62625 38 | 0.047 % |
272.33/272.35 c | 114497 | 763 67183 284754 | 2147483647 63583 38 | 0.000 % |
275.43/275.44 c | 115550 | 763 67183 284754 | 2147483647 64636 38 | 0.000 % |
280.13/280.20 c | 116713 | 763 67183 284754 | 2147483647 65799 38 | 0.000 % |
285.93/285.97 c | 117987 | 763 67183 284754 | 2147483647 67073 38 | 0.000 % |
286.43/286.46 c | 118089 | 763 67183 284754 | 2147483647 67175 38 | 0.000 % |
286.93/286.92 c | 118200 | 763 67183 284754 | 2147483647 67286 38 | 0.000 % |
287.33/287.41 c | 118321 | 763 67183 284754 | 2147483647 67407 38 | 0.000 % |
287.53/287.58 c | 118455 | 763 67183 284754 | 2147483647 67541 38 | 0.000 % |
287.63/287.70 c | 118602 | 763 67183 284754 | 2147483647 67688 38 | 0.000 % |
287.93/287.98 c | 118766 | 763 67183 284754 | 2147483647 67852 38 | 0.000 % |
288.63/288.63 c | 118943 | 763 67183 284754 | 2147483647 68029 38 | 0.000 % |
289.23/289.23 c | 119137 | 763 67183 284754 | 2147483647 68223 38 | 0.000 % |
289.93/289.95 c | 119349 | 763 67183 284754 | 2147483647 68435 38 | 0.000 % |
290.83/290.85 c | 119582 | 763 67183 284754 | 2147483647 68668 38 | 0.000 % |
292.03/292.07 c | 119838 | 763 67183 284754 | 2147483647 68924 38 | 0.000 % |
293.53/293.56 c | 120119 | 763 67183 284754 | 69087 69205 38 | 0.000 % |
294.83/294.86 c | 120428 | 763 67183 284754 | 69087 59516 39 | 0.000 % |
296.13/296.11 c | 120767 | 763 67183 284754 | 69087 59855 39 | 0.000 % |
297.13/297.20 c | 121141 | 763 67183 284754 | 69087 60229 39 | 0.000 % |
298.33/298.37 c | 121551 | 763 67183 284754 | 69087 60639 39 | 0.000 % |
300.03/300.02 c | 122000 | 763 67183 284754 | 69087 61088 39 | 0.000 % |
302.33/302.41 c | 122493 | 763 67183 284754 | 69087 61581 39 | 0.000 % |
304.33/304.38 c | 123036 | 763 67183 284754 | 69087 62124 39 | 0.000 % |
306.63/306.68 c | 123633 | 763 67183 284754 | 69087 62721 39 | 0.000 % |
309.03/309.09 c | 124289 | 763 67183 284754 | 69087 63377 39 | 0.000 % |
312.23/312.23 c | 125009 | 763 67183 284754 | 69087 64097 39 | 0.000 % |
314.93/314.99 c | 125801 | 763 67183 284754 | 69087 64889 39 | 0.000 % |
317.73/317.73 c | 126673 | 763 67183 284754 | 69087 65761 39 | 0.000 % |
321.23/321.28 c | 127634 | 763 67183 284754 | 69087 66722 39 | 0.000 % |
324.63/324.66 c | 128688 | 763 67183 284754 | 69087 67776 39 | 0.000 % |
328.13/328.15 c | 129847 | 763 67183 284754 | 69087 68935 39 | 0.000 % |
332.13/332.14 c | 131120 | 763 67183 284754 | 69088 60946 40 | 0.000 % |
337.03/337.10 c | 132522 | 763 67183 284754 | 69088 62348 40 | 0.000 % |
337.53/337.58 c | 132622 | 763 67183 284754 | 69088 62448 40 | 0.000 % |
337.93/337.96 c | 132732 | 763 67183 284754 | 69088 62558 40 | 0.000 % |
338.33/338.34 c | 132853 | 763 67183 284754 | 69088 62679 40 | 0.000 % |
338.43/338.49 c | 132986 | 763 67183 284754 | 69088 62812 40 | 0.000 % |
339.13/339.14 c | 133132 | 763 67183 284754 | 69088 62958 40 | 0.000 % |
339.63/339.69 c | 133293 | 763 67183 284754 | 69088 63119 40 | 0.000 % |
340.33/340.38 c | 133470 | 763 67183 284754 | 69088 63296 40 | 0.000 % |
341.04/341.10 c | 133664 | 763 67183 284754 | 69088 63490 40 | 0.000 % |
341.93/341.93 c | 133878 | 763 67183 284754 | 69088 63704 40 | 0.000 % |
342.43/342.45 c | 134112 | 763 67183 284754 | 69088 63938 40 | 0.000 % |
343.33/343.33 c | 134368 | 763 67183 284754 | 69088 64194 40 | 0.000 % |
344.03/344.06 c | 134654 | 763 67183 284754 | 69088 64480 40 | 0.000 % |
345.23/345.25 c | 134963 | 763 67183 284754 | 69088 64789 41 | 0.000 % |
346.63/346.70 c | 135302 | 763 67183 284754 | 69088 65128 41 | 0.000 % |
347.73/347.76 c | 135674 | 763 67183 284754 | 69088 65500 41 | 0.000 % |
349.43/349.45 c | 136083 | 763 67183 284754 | 69088 65909 41 | 0.000 % |
350.63/350.66 c | 136533 | 763 67183 284754 | 69088 66359 41 | 0.000 % |
353.43/353.46 c | 137027 | 763 67183 284754 | 69088 66853 41 | 0.000 % |
356.44/356.43 c | 137569 | 763 67183 284754 | 69088 67395 41 | 0.000 % |
359.23/359.22 c | 138165 | 763 67183 284754 | 69088 67991 41 | 0.000 % |
362.63/362.64 c | 138822 | 763 67183 284754 | 69088 68648 41 | 0.000 % |
365.83/365.85 c | 139542 | 763 67183 284754 | 69088 58473 41 | 0.000 % |
368.73/368.77 c | 140335 | 763 67183 284754 | 58932 50937 41 | 0.000 % |
370.13/370.12 c | 141206 | 763 67183 284754 | 58932 51808 40 | 0.000 % |
371.53/371.56 c | 142164 | 763 67183 284754 | 58932 52766 40 | 0.000 % |
374.04/374.10 c | 143217 | 763 67183 284754 | 58932 53819 40 | 0.000 % |
377.13/377.15 c | 144375 | 763 67183 284754 | 58932 54977 40 | 0.000 % |
380.53/380.54 c | 145649 | 763 67183 284754 | 58932 56251 40 | 0.000 % |
383.44/383.43 c | 147049 | 763 67183 284754 | 58932 57651 39 | 0.000 % |
385.94/385.97 c | 148589 | 763 67183 284754 | 58932 53285 39 | 0.000 % |
386.14/386.13 c | 148691 | 763 67183 284754 | 58932 53387 39 | 0.000 % |
386.44/386.47 c | 148801 | 763 67183 284754 | 58932 53497 39 | 0.000 % |
386.84/386.81 c | 148923 | 763 67183 284754 | 58932 53619 39 | 0.000 % |
387.24/387.22 c | 149057 | 763 67183 284754 | 58932 53753 39 | 0.000 % |
387.44/387.50 c | 149203 | 763 67183 284754 | 58932 53899 39 | 0.000 % |
387.84/387.88 c | 149363 | 763 67183 284754 | 58932 54059 39 | 0.000 % |
388.14/388.19 c | 149540 | 763 67183 284754 | 58932 54236 39 | 0.000 % |
388.74/388.75 c | 149733 | 763 67183 284754 | 58932 54429 39 | 0.000 % |
389.14/389.12 c | 149945 | 763 67183 284754 | 58932 54641 39 | 0.000 % |
389.54/389.57 c | 150178 | 763 67183 284754 | 2147483647 54874 39 | 0.000 % |
389.94/390.00 c | 150436 | 763 67183 284754 | 2147483647 55132 39 | 0.000 % |
390.44/390.51 c | 150722 | 763 67183 284754 | 2147483647 55418 39 | 0.000 % |
391.04/391.09 c | 151033 | 763 67183 284754 | 2147483647 55729 39 | 0.000 % |
391.94/391.99 c | 151372 | 763 67183 284754 | 2147483647 56068 39 | 0.000 % |
392.84/392.84 c | 151744 | 763 67183 284754 | 2147483647 56440 39 | 0.000 % |
393.84/393.86 c | 152153 | 763 67183 284754 | 2147483647 56849 39 | 0.000 % |
394.74/394.80 c | 152602 | 763 67183 284754 | 2147483647 57298 39 | 0.000 % |
395.84/395.83 c | 153095 | 763 67183 284754 | 2147483647 57791 39 | 0.000 % |
397.14/397.19 c | 153637 | 763 67183 284754 | 2147483647 58333 39 | 0.000 % |
398.54/398.59 c | 154234 | 763 67183 284754 | 2147483647 58930 39 | 0.000 % |
399.84/399.86 c | 154891 | 763 67183 284754 | 2147483647 59587 39 | 0.000 % |
401.04/401.07 c | 155613 | 763 67183 284754 | 2147483647 60309 39 | 0.000 % |
402.54/402.57 c | 156405 | 763 67183 284754 | 2147483647 61101 39 | 0.000 % |
404.84/404.90 c | 157276 | 763 67183 284754 | 2147483647 61972 39 | 0.000 % |
406.84/406.91 c | 158235 | 763 67183 284754 | 2147483647 62931 39 | 0.000 % |
409.14/409.16 c | 159289 | 763 67183 284754 | 2147483647 63985 39 | 0.000 % |
411.44/411.46 c | 160447 | 763 67183 284754 | 2147483647 65143 38 | 0.000 % |
414.04/414.04 c | 161720 | 763 67183 284754 | 2147483647 66416 38 | 0.000 % |
416.74/416.81 c | 163120 | 763 67183 284754 | 2147483647 67816 38 | 0.000 % |
420.44/420.45 c | 164664 | 763 67183 284754 | 2147483647 69360 38 | 0.000 % |
424.04/424.05 c | 166358 | 763 67183 284754 | 2147483647 71054 38 | 0.000 % |
424.24/424.30 c | 166459 | 763 67183 284754 | 2147483647 71155 38 | 0.000 % |
424.54/424.60 c | 166571 | 763 67183 284754 | 2147483647 71267 38 | 0.000 % |
424.94/424.99 c | 166693 | 763 67183 284754 | 2147483647 71389 38 | 0.000 % |
425.34/425.33 c | 166828 | 763 67183 284754 | 2147483647 71524 37 | 0.000 % |
425.64/425.68 c | 166974 | 763 67183 284754 | 2147483647 71670 37 | 0.000 % |
425.94/425.93 c | 167134 | 763 67183 284754 | 2147483647 71830 37 | 0.000 % |
426.24/426.22 c | 167312 | 763 67183 284754 | 2147483647 72008 37 | 0.000 % |
426.54/426.59 c | 167507 | 763 67183 284754 | 2147483647 72203 37 | 0.000 % |
427.34/427.34 c | 167719 | 763 67183 284754 | 2147483647 72415 37 | 0.000 % |
427.84/427.88 c | 167954 | 763 67183 284754 | 2147483647 72650 37 | 0.000 % |
428.24/428.29 c | 168213 | 763 67183 284754 | 2147483647 72909 37 | 0.000 % |
428.84/428.82 c | 168495 | 763 67183 284754 | 2147483647 73191 37 | 0.000 % |
429.24/429.28 c | 168804 | 763 67183 284754 | 2147483647 73500 37 | 0.000 % |
429.84/429.87 c | 169145 | 763 67183 284754 | 2147483647 73841 37 | 0.000 % |
430.84/430.90 c | 169519 | 763 67183 284754 | 2147483647 74215 37 | 0.000 % |
431.94/431.97 c | 169928 | 763 67183 284754 | 2147483647 74624 38 | 0.000 % |
433.04/433.07 c | 170378 | 763 67183 284754 | 2147483647 75074 38 | 0.000 % |
434.54/434.56 c | 170873 | 763 67183 284754 | 2147483647 75569 38 | 0.000 % |
435.84/435.88 c | 171417 | 763 67183 284754 | 2147483647 76113 38 | 0.000 % |
437.24/437.24 c | 172013 | 763 67183 284754 | 2147483647 76709 37 | 0.000 % |
438.54/438.55 c | 172668 | 763 67183 284754 | 2147483647 77364 38 | 0.000 % |
440.14/440.14 c | 173390 | 763 67183 284754 | 2147483647 78086 38 | 0.000 % |
442.44/442.45 c | 174182 | 763 67183 284754 | 2147483647 78878 38 | 0.000 % |
444.94/444.99 c | 175055 | 763 67183 284754 | 2147483647 79751 38 | 0.000 % |
447.54/447.59 c | 176015 | 763 67183 284754 | 2147483647 80711 38 | 0.000 % |
450.84/450.82 c | 177068 | 763 67183 284754 | 2147483647 81764 38 | 0.000 % |
454.14/454.14 c | 178227 | 763 67183 284754 | 2147483647 82923 38 | 0.000 % |
457.84/457.85 c | 179500 | 763 67183 284754 | 2147483647 84196 38 | 0.000 % |
461.74/461.78 c | 180904 | 763 67183 284754 | 2147483647 85600 38 | 0.000 % |
466.04/466.07 c | 182444 | 763 67183 284754 | 2147483647 87140 38 | 0.000 % |
470.44/470.43 c | 184138 | 763 67183 284754 | 2147483647 88834 38 | 0.000 % |
475.44/475.50 c | 186002 | 763 67183 284754 | 2147483647 90698 38 | 0.000 % |
475.84/475.84 c | 186102 | 763 67183 284754 | 2147483647 90798 38 | 0.000 % |
476.14/476.15 c | 186212 | 763 67183 284754 | 2147483647 90908 38 | 0.000 % |
476.44/476.41 c | 186334 | 763 67183 284754 | 2147483647 91030 38 | 0.000 % |
476.64/476.69 c | 186467 | 763 67183 284754 | 2147483647 91163 38 | 0.000 % |
477.04/477.02 c | 186619 | 763 67183 284754 | 2147483647 91315 38 | 0.000 % |
477.24/477.31 c | 186779 | 763 67183 284754 | 2147483647 91475 38 | 0.000 % |
477.64/477.70 c | 186955 | 763 67183 284754 | 2147483647 91651 38 | 0.000 % |
478.14/478.12 c | 187148 | 763 67183 284754 | 2147483647 91844 38 | 0.000 % |
478.64/478.61 c | 187362 | 763 67183 284754 | 2147483647 92058 38 | 0.000 % |
479.14/479.12 c | 187595 | 763 67183 284754 | 2147483647 92291 38 | 0.000 % |
479.84/479.84 c | 187852 | 763 67183 284754 | 2147483647 92548 38 | 0.000 % |
480.75/480.77 c | 188133 | 763 67183 284754 | 2147483647 92829 38 | 0.000 % |
481.54/481.54 c | 188442 | 763 67183 284754 | 2147483647 93138 38 | 0.000 % |
482.54/482.53 c | 188781 | 763 67183 284754 | 2147483647 93477 38 | 0.000 % |
483.54/483.53 c | 189153 | 763 67183 284754 | 2147483647 93849 38 | 0.001 % |
484.84/484.84 c | 189562 | 763 67183 284754 | 2147483647 94258 38 | 0.000 % |
486.25/486.25 c | 190011 | 763 67183 284754 | 2147483647 94707 38 | 0.000 % |
487.35/487.38 c | 190504 | 763 67183 284754 | 2147483647 95200 38 | 0.000 % |
488.94/488.98 c | 191047 | 763 67183 284754 | 2147483647 95743 38 | 0.000 % |
490.74/490.80 c | 191644 | 763 67183 284754 | 2147483647 96340 38 | 0.000 % |
491.94/491.92 c | 192299 | 763 67183 284754 | 2147483647 96995 38 | 0.000 % |
493.44/493.50 c | 193020 | 763 67183 284754 | 2147483647 97716 38 | 0.000 % |
496.04/496.02 c | 193812 | 763 67183 284754 | 2147483647 98508 38 | 0.000 % |
498.24/498.23 c | 194684 | 763 67183 284754 | 2147483647 99380 38 | 0.000 % |
501.04/501.02 c | 195642 | 763 67183 284754 | 2147483647 100338 38 | 0.000 % |
503.24/503.26 c | 196697 | 763 67183 284754 | 2147483647 101393 38 | 0.000 % |
506.54/506.58 c | 197856 | 763 67183 284754 | 2147483647 102552 38 | 0.000 % |
509.65/509.62 c | 199129 | 763 67183 284754 | 2147483647 103825 38 | 0.000 % |
512.05/512.07 c | 200529 | 763 67183 284754 | 2147483647 105225 38 | 0.000 % |
517.15/517.16 c | 202069 | 763 67183 284754 | 2147483647 106765 39 | 0.000 % |
522.15/522.21 c | 203764 | 763 67183 284754 | 2147483647 108460 39 | 0.000 % |
527.95/528.01 c | 205629 | 763 67183 284754 | 2147483647 110325 39 | 0.000 % |
533.35/533.38 c | 207679 | 763 67183 284754 | 2147483647 112375 39 | 0.000 % |
533.75/533.76 c | 207779 | 763 67183 284754 | 2147483647 112475 39 | 0.000 % |
534.15/534.18 c | 207890 | 763 67183 284754 | 2147483647 112586 39 | 0.000 % |
534.55/534.59 c | 208012 | 763 67183 284754 | 2147483647 112708 39 | 0.000 % |
535.15/535.15 c | 208147 | 763 67183 284754 | 2147483647 112843 39 | 0.000 % |
535.55/535.59 c | 208294 | 763 67183 284754 | 2147483647 112990 39 | 0.000 % |
536.05/536.06 c | 208454 | 763 67183 284754 | 2147483647 113150 39 | 0.000 % |
536.75/536.73 c | 208630 | 763 67183 284754 | 2147483647 113326 39 | 0.000 % |
537.35/537.37 c | 208824 | 763 67183 284754 | 2147483647 113520 39 | 0.000 % |
538.15/538.18 c | 209037 | 763 67183 284754 | 2147483647 113733 39 | 0.000 % |
539.05/539.05 c | 209271 | 763 67183 284754 | 2147483647 113967 39 | 0.000 % |
539.85/539.83 c | 209527 | 763 67183 284754 | 2147483647 114223 39 | 0.000 % |
540.85/540.88 c | 209808 | 763 67183 284754 | 2147483647 114504 39 | 0.000 % |
541.95/541.92 c | 210118 | 763 67183 284754 | 2147483647 114814 39 | 0.001 % |
542.75/542.77 c | 210460 | 763 67183 284754 | 2147483647 115156 39 | 0.000 % |
543.85/543.87 c | 210833 | 763 67183 284754 | 2147483647 115529 39 | 0.000 % |
545.05/545.05 c | 211243 | 763 67183 284754 | 2147483647 115939 39 | 0.000 % |
545.95/545.94 c | 211694 | 763 67183 284754 | 2147483647 116390 39 | 0.000 % |
547.25/547.31 c | 212188 | 763 67183 284754 | 2147483647 116884 39 | 0.000 % |
549.25/549.22 c | 212730 | 763 67183 284754 | 2147483647 117426 39 | 0.000 % |
551.15/551.14 c | 213328 | 763 67183 284754 | 2147483647 118024 39 | 0.000 % |
553.45/553.44 c | 213984 | 763 67183 284754 | 2147483647 118680 39 | 0.000 % |
555.85/555.85 c | 214704 | 763 67183 284754 | 2147483647 119400 39 | 0.000 % |
558.05/558.09 c | 215496 | 763 67183 284754 | 2147483647 120192 39 | 0.000 % |
560.25/560.26 c | 216367 | 763 67183 284754 | 2147483647 121063 39 | 0.000 % |
562.25/562.29 c | 217326 | 763 67183 284754 | 2147483647 122022 39 | 0.000 % |
564.65/564.69 c | 218384 | 763 67183 284754 | 2147483647 123080 39 | 0.000 % |
566.65/566.69 c | 219545 | 763 67183 284754 | 2147483647 124241 39 | 0.000 % |
571.64/571.65 c | 220818 | 763 67183 284754 | 2147483647 125514 39 | 0.000 % |
575.64/575.67 c | 222221 | 763 67183 284754 | 2147483647 126917 39 | 0.000 % |
580.54/580.52 c | 223761 | 763 67183 284754 | 2147483647 128457 39 | 0.000 % |
586.04/586.01 c | 225458 | 763 67183 284754 | 2147483647 130154 39 | 0.000 % |
592.24/592.29 c | 227321 | 763 67183 284754 | 2147483647 132017 39 | 0.000 % |
596.44/596.50 c | 229370 | 763 67183 284754 | 2147483647 134066 38 | 0.000 % |
603.04/603.05 c | 231629 | 763 67183 284754 | 2147483647 136325 39 | 0.000 % |
603.34/603.37 c | 231729 | 763 67183 284754 | 2147483647 136425 39 | 0.000 % |
603.64/603.65 c | 231839 | 763 67183 284754 | 2147483647 136535 39 | 0.000 % |
603.95/603.97 c | 231960 | 763 67183 284754 | 2147483647 136656 38 | 0.000 % |
604.24/604.29 c | 232093 | 763 67183 284754 | 2147483647 136789 38 | 0.000 % |
604.84/604.84 c | 232239 | 763 67183 284754 | 2147483647 136935 38 | 0.000 % |
605.34/605.32 c | 232400 | 763 67183 284754 | 2147483647 137096 39 | 0.000 % |
606.04/606.02 c | 232577 | 763 67183 284754 | 2147483647 137273 39 | 0.000 % |
606.84/606.80 c | 232771 | 763 67183 284754 | 2147483647 137467 39 | 0.000 % |
607.54/607.59 c | 232985 | 763 67183 284754 | 2147483647 137681 39 | 0.000 % |
608.54/608.60 c | 233218 | 763 67183 284754 | 2147483647 137914 39 | 0.000 % |
609.54/609.57 c | 233476 | 763 67183 284754 | 2147483647 138172 39 | 0.000 % |
610.55/610.52 c | 233759 | 763 67183 284754 | 2147483647 138455 39 | 0.000 % |
611.65/611.65 c | 234068 | 763 67183 284754 | 2147483647 138764 39 | 0.000 % |
613.04/613.08 c | 234409 | 763 67183 284754 | 2147483647 139105 39 | 0.000 % |
614.24/614.26 c | 234781 | 763 67183 284754 | 2147483647 139477 39 | 0.000 % |
615.84/615.81 c | 235192 | 763 67183 284754 | 2147483647 139888 39 | 0.000 % |
616.94/616.97 c | 235647 | 763 67183 284754 | 2147483647 140343 39 | 0.000 % |
618.34/618.39 c | 236141 | 763 67183 284754 | 2147483647 140837 38 | 0.000 % |
619.74/619.73 c | 236684 | 763 67183 284754 | 2147483647 141380 38 | 0.000 % |
621.04/621.07 c | 237284 | 763 67183 284754 | 2147483647 141980 38 | 0.000 % |
622.54/622.59 c | 237940 | 763 67183 284754 | 2147483647 142636 38 | 0.000 % |
624.44/624.46 c | 238660 | 763 67183 284754 | 2147483647 143356 38 | 0.000 % |
625.84/625.86 c | 239452 | 763 67183 284754 | 2147483647 144148 38 | 0.000 % |
628.44/628.44 c | 240323 | 763 67183 284754 | 2147483647 145019 38 | 0.000 % |
630.54/630.53 c | 241283 | 763 67183 284754 | 2147483647 145979 38 | 0.000 % |
632.24/632.25 c | 242336 | 763 67183 284754 | 2147483647 147032 38 | 0.000 % |
634.75/634.74 c | 243496 | 763 67183 284754 | 2147483647 148192 38 | 0.000 % |
636.85/636.90 c | 244769 | 763 67183 284754 | 2147483647 149465 38 | 0.000 % |
639.55/639.52 c | 246169 | 763 67183 284754 | 2147483647 150865 38 | 0.000 % |
642.65/642.64 c | 247710 | 763 67183 284754 | 2147483647 152406 38 | 0.000 % |
646.45/646.46 c | 249404 | 763 67183 284754 | 2147483647 154100 38 | 0.000 % |
650.75/650.74 c | 251268 | 763 67183 284754 | 2147483647 155964 37 | 0.000 % |
656.35/656.32 c | 253317 | 763 67183 284754 | 2147483647 158013 37 | 0.000 % |
663.75/663.80 c | 255570 | 763 67183 284754 | 2147483647 160266 37 | 0.000 % |
672.05/672.06 c | 258051 | 763 67183 284754 | 2147483647 162747 37 | 0.000 % |
672.45/672.50 c | 258152 | 763 67183 284754 | 2147483647 162848 37 | 0.000 % |
672.85/672.88 c | 258263 | 763 67183 284754 | 2147483647 162959 37 | 0.000 % |
673.35/673.34 c | 258384 | 763 67183 284754 | 2147483647 163080 37 | 0.000 % |
673.75/673.74 c | 258519 | 763 67183 284754 | 2147483647 163215 37 | 0.000 % |
674.45/674.47 c | 258665 | 763 67183 284754 | 2147483647 163361 37 | 0.000 % |
675.05/675.07 c | 258828 | 763 67183 284754 | 2147483647 163524 37 | 0.000 % |
675.55/675.61 c | 259004 | 763 67183 284754 | 2147483647 163700 37 | 0.000 % |
676.55/676.59 c | 259198 | 763 67183 284754 | 2147483647 163894 37 | 0.000 % |
677.55/677.58 c | 259410 | 763 67183 284754 | 2147483647 164106 37 | 0.000 % |
678.55/678.56 c | 259643 | 763 67183 284754 | 2147483647 164339 37 | 0.000 % |
679.25/679.22 c | 259899 | 763 67183 284754 | 2147483647 164595 37 | 0.000 % |
680.05/680.09 c | 260181 | 763 67183 284754 | 2147483647 164877 37 | 0.000 % |
681.05/681.01 c | 260492 | 763 67183 284754 | 2147483647 165188 37 | 0.000 % |
681.85/681.85 c | 260832 | 763 67183 284754 | 2147483647 165528 37 | 0.000 % |
682.65/682.66 c | 261205 | 763 67183 284754 | 2147483647 165901 37 | 0.000 % |
683.85/683.88 c | 261614 | 763 67183 284754 | 2147483647 166310 37 | 0.000 % |
684.85/684.87 c | 262064 | 763 67183 284754 | 2147483647 166760 37 | 0.000 % |
686.25/686.31 c | 262558 | 763 67183 284754 | 2147483647 167254 37 | 0.000 % |
688.25/688.21 c | 263102 | 763 67183 284754 | 2147483647 167798 37 | 0.000 % |
690.25/690.29 c | 263699 | 763 67183 284754 | 2147483647 168395 37 | 0.000 % |
692.05/692.06 c | 264355 | 763 67183 284754 | 2147483647 169051 37 | 0.000 % |
693.95/693.92 c | 265076 | 763 67183 284754 | 2147483647 169772 37 | 0.000 % |
696.75/696.77 c | 265870 | 763 67183 284754 | 2147483647 170566 37 | 0.000 % |
700.15/700.17 c | 266741 | 763 67183 284754 | 2147483647 171437 37 | 0.000 % |
702.95/702.99 c | 267699 | 763 67183 284754 | 2147483647 172395 37 | 0.000 % |
706.85/706.87 c | 268752 | 763 67183 284754 | 2147483647 173448 37 | 0.000 % |
711.45/711.44 c | 269911 | 763 67183 284754 | 2147483647 174607 37 | 0.000 % |
716.05/716.11 c | 271185 | 763 67183 284754 | 174697 149426 37 | 0.000 % |
720.45/720.47 c | 272588 | 763 67183 284754 | 174697 150829 37 | 0.000 % |
725.25/725.27 c | 274131 | 763 67183 284754 | 174697 152372 37 | 0.000 % |
729.05/729.09 c | 275828 | 763 67183 284754 | 174697 154069 37 | 0.000 % |
733.15/733.15 c | 277693 | 763 67183 284754 | 174697 155934 37 | 0.000 % |
738.16/738.12 c | 279744 | 763 67183 284754 | 174697 157985 37 | 0.000 % |
742.05/742.09 c | 281998 | 763 67183 284754 | 158244 129992 37 | 0.000 % |
746.15/746.11 c | 284477 | 763 67183 284754 | 158244 132471 38 | 0.000 % |
751.15/751.14 c | 287204 | 763 67183 284754 | 158244 135198 38 | 0.000 % |
751.25/751.30 c | 287308 | 763 67183 284754 | 158244 135302 38 | 0.000 % |
751.55/751.58 c | 287419 | 763 67183 284754 | 158244 135413 38 | 0.000 % |
751.95/751.92 c | 287540 | 763 67183 284754 | 158244 135534 38 | 0.000 % |
752.35/752.39 c | 287674 | 763 67183 284754 | 158244 135668 38 | 0.000 % |
752.75/752.71 c | 287821 | 763 67183 284754 | 158244 135815 38 | 0.000 % |
753.15/753.16 c | 287981 | 763 67183 284754 | 158244 135975 38 | 0.000 % |
753.45/753.49 c | 288160 | 763 67183 284754 | 158244 136154 38 | 0.000 % |
753.95/753.91 c | 288355 | 763 67183 284754 | 158244 136349 38 | 0.000 % |
754.35/754.39 c | 288567 | 763 67183 284754 | 158244 136561 38 | 0.000 % |
754.95/754.99 c | 288800 | 763 67183 284754 | 158244 136794 38 | 0.000 % |
755.76/755.73 c | 289056 | 763 67183 284754 | 158244 137050 38 | 0.000 % |
756.65/756.67 c | 289339 | 763 67183 284754 | 158244 137333 38 | 0.000 % |
757.55/757.52 c | 289649 | 763 67183 284754 | 158244 137643 38 | 0.000 % |
758.35/758.39 c | 289989 | 763 67183 284754 | 158244 137983 38 | 0.000 % |
759.55/759.54 c | 290363 | 763 67183 284754 | 137995 117019 38 | 0.000 % |
760.65/760.62 c | 290774 | 763 67183 284754 | 137995 117430 38 | 0.000 % |
761.96/761.92 c | 291223 | 763 67183 284754 | 137995 117879 38 | 0.000 % |
763.06/763.02 c | 291717 | 763 67183 284754 | 137995 118373 38 | 0.000 % |
764.36/764.35 c | 292260 | 763 67183 284754 | 137995 118916 38 | 0.000 % |
765.76/765.80 c | 292859 | 763 67183 284754 | 137995 119515 38 | 0.000 % |
766.96/766.94 c | 293517 | 763 67183 284754 | 137995 120173 38 | 0.000 % |
769.06/769.09 c | 294237 | 763 67183 284754 | 137995 120893 38 | 0.000 % |
770.86/770.90 c | 295031 | 763 67183 284754 | 137995 121687 38 | 0.000 % |
773.26/773.25 c | 295902 | 763 67183 284754 | 137995 122558 38 | 0.000 % |
775.86/775.88 c | 296863 | 763 67183 284754 | 137995 123519 38 | 0.000 % |
778.26/778.30 c | 297917 | 763 67183 284754 | 137995 124573 38 | 0.000 % |
780.86/780.87 c | 299076 | 763 67183 284754 | 137995 125732 38 | 0.000 % |
784.56/784.56 c | 300351 | 763 67183 284754 | 2147483647 127007 38 | 0.000 % |
787.56/787.57 c | 301751 | 763 67183 284754 | 2147483647 128407 38 | 0.000 % |
791.06/791.09 c | 303292 | 763 67183 284754 | 2147483647 129948 38 | 0.000 % |
795.46/795.48 c | 304987 | 763 67183 284754 | 2147483647 131643 38 | 0.000 % |
799.86/799.89 c | 306850 | 763 67183 284754 | 2147483647 133506 37 | 0.000 % |
804.96/804.97 c | 308899 | 763 67183 284754 | 2147483647 135555 37 | 0.000 % |
810.46/810.49 c | 311153 | 763 67183 284754 | 2147483647 137809 37 | 0.000 % |
815.96/815.96 c | 313632 | 763 67183 284754 | 2147483647 140288 37 | 0.000 % |
821.76/821.73 c | 316359 | 763 67183 284754 | 2147483647 143015 37 | 0.000 % |
828.06/828.04 c | 319356 | 763 67183 284754 | 2147483647 146012 37 | 0.000 % |
828.26/828.29 c | 319458 | 763 67183 284754 | 2147483647 146114 37 | 0.000 % |
828.56/828.54 c | 319569 | 763 67183 284754 | 2147483647 146225 37 | 0.000 % |
828.96/828.95 c | 319691 | 763 67183 284754 | 2147483647 146347 37 | 0.000 % |
829.36/829.34 c | 319824 | 763 67183 284754 | 2147483647 146480 37 | 0.000 % |
829.86/829.81 c | 319970 | 763 67183 284754 | 2147483647 146626 37 | 0.000 % |
830.36/830.37 c | 320131 | 763 67183 284754 | 2147483647 146787 37 | 0.000 % |
830.86/830.85 c | 320308 | 763 67183 284754 | 2147483647 146964 37 | 0.000 % |
831.46/831.46 c | 320502 | 763 67183 284754 | 2147483647 147158 37 | 0.000 % |
832.16/832.20 c | 320718 | 763 67183 284754 | 2147483647 147374 37 | 0.000 % |
832.76/832.76 c | 320952 | 763 67183 284754 | 2147483647 147608 37 | 0.000 % |
833.36/833.38 c | 321208 | 763 67183 284754 | 2147483647 147864 37 | 0.000 % |
833.96/833.98 c | 321490 | 763 67183 284754 | 2147483647 148146 37 | 0.000 % |
834.66/834.67 c | 321799 | 763 67183 284754 | 2147483647 148455 37 | 0.000 % |
835.56/835.53 c | 322138 | 763 67183 284754 | 2147483647 148794 37 | 0.000 % |
836.56/836.52 c | 322511 | 763 67183 284754 | 2147483647 149167 37 | 0.000 % |
837.86/837.87 c | 322920 | 763 67183 284754 | 2147483647 149576 37 | 0.000 % |
838.96/838.91 c | 323369 | 763 67183 284754 | 2147483647 150025 37 | 0.000 % |
840.16/840.11 c | 323862 | 763 67183 284754 | 2147483647 150518 37 | 0.000 % |
841.76/841.75 c | 324406 | 763 67183 284754 | 2147483647 151062 37 | 0.000 % |
843.36/843.36 c | 325002 | 763 67183 284754 | 2147483647 151658 37 | 0.000 % |
845.46/845.45 c | 325657 | 763 67183 284754 | 2147483647 152313 37 | 0.000 % |
847.96/848.00 c | 326378 | 763 67183 284754 | 2147483647 153034 37 | 0.000 % |
850.56/850.57 c | 327170 | 763 67183 284754 | 2147483647 153826 37 | 0.000 % |
853.26/853.24 c | 328042 | 763 67183 284754 | 2147483647 154698 37 | 0.000 % |
855.87/855.85 c | 329000 | 763 67183 284754 | 2147483647 155656 37 | 0.000 % |
859.46/859.43 c | 330056 | 763 67183 284754 | 2147483647 156712 37 | 0.000 % |
862.96/862.99 c | 331215 | 763 67183 284754 | 2147483647 157871 37 | 0.000 % |
866.96/866.94 c | 332488 | 763 67183 284754 | 2147483647 159144 37 | 0.003 % |
870.66/870.67 c | 333889 | 763 67183 284754 | 2147483647 160545 37 | 0.000 % |
876.16/876.14 c | 335430 | 763 67183 284754 | 2147483647 162086 37 | 0.000 % |
880.96/880.95 c | 337124 | 763 67183 284754 | 2147483647 163780 37 | 0.000 % |
885.57/885.52 c | 338987 | 763 67183 284754 | 2147483647 165643 37 | 0.000 % |
889.67/889.66 c | 341038 | 763 67183 284754 | 2147483647 167694 37 | 0.000 % |
897.87/897.87 c | 343295 | 763 67183 284754 | 2147483647 169951 37 | 0.000 % |
906.27/906.24 c | 345775 | 763 67183 284754 | 2147483647 172431 37 | 0.000 % |
914.37/914.33 c | 348503 | 763 67183 284754 | 2147483647 175159 37 | 0.000 % |
925.26/925.25 c | 351506 | 763 67183 284754 | 2147483647 178162 38 | 0.000 % |
937.16/937.11 c | 354804 | 763 67183 284754 | 2147483647 181460 38 | 0.000 % |
937.56/937.59 c | 354904 | 763 67183 284754 | 2147483647 181560 38 | 0.000 % |
938.06/938.01 c | 355015 | 763 67183 284754 | 2147483647 181671 38 | 0.000 % |
938.66/938.64 c | 355137 | 763 67183 284754 | 2147483647 181793 38 | 0.000 % |
939.16/939.13 c | 355271 | 763 67183 284754 | 2147483647 181927 38 | 0.000 % |
939.66/939.69 c | 355417 | 763 67183 284754 | 2147483647 182073 38 | 0.000 % |
940.26/940.22 c | 355577 | 763 67183 284754 | 2147483647 182233 38 | 0.000 % |
940.86/940.84 c | 355753 | 763 67183 284754 | 2147483647 182409 38 | 0.000 % |
941.56/941.52 c | 355948 | 763 67183 284754 | 2147483647 182604 38 | 0.000 % |
942.26/942.29 c | 356160 | 763 67183 284754 | 2147483647 182816 38 | 0.000 % |
943.16/943.14 c | 356394 | 763 67183 284754 | 2147483647 183050 38 | 0.000 % |
943.86/943.84 c | 356650 | 763 67183 284754 | 2147483647 183306 38 | 0.000 % |
944.76/944.77 c | 356933 | 763 67183 284754 | 2147483647 183589 38 | 0.000 % |
945.76/945.75 c | 357242 | 763 67183 284754 | 2147483647 183898 38 | 0.000 % |
946.66/946.68 c | 357582 | 763 67183 284754 | 2147483647 184238 38 | 0.000 % |
948.36/948.37 c | 357956 | 763 67183 284754 | 2147483647 184612 38 | 0.000 % |
949.96/950.00 c | 358366 | 763 67183 284754 | 2147483647 185022 38 | 0.000 % |
951.26/951.24 c | 358815 | 763 67183 284754 | 2147483647 185471 38 | 0.000 % |
953.06/953.00 c | 359309 | 763 67183 284754 | 2147483647 185965 38 | 0.000 % |
954.76/954.78 c | 359853 | 763 67183 284754 | 2147483647 186509 38 | 0.000 % |
956.86/956.84 c | 360450 | 763 67183 284754 | 186656 157720 37 | 0.000 % |
959.06/959.06 c | 361105 | 763 67183 284754 | 186656 158375 37 | 0.000 % |
961.16/961.18 c | 361827 | 763 67183 284754 | 186656 159097 37 | 0.000 % |
962.96/962.99 c | 362619 | 763 67183 284754 | 186656 159889 37 | 0.000 % |
964.86/964.88 c | 363490 | 763 67183 284754 | 186656 160760 37 | 0.000 % |
967.46/967.42 c | 364448 | 763 67183 284754 | 186656 161718 37 | 0.000 % |
970.76/970.75 c | 365503 | 763 67183 284754 | 186656 162773 38 | 0.000 % |
974.67/974.67 c | 366662 | 763 67183 284754 | 186656 163932 38 | 0.000 % |
978.36/978.38 c | 367935 | 763 67183 284754 | 186656 165205 38 | 0.000 % |
982.76/982.74 c | 369335 | 763 67183 284754 | 186656 166605 38 | 0.000 % |
987.96/987.93 c | 370875 | 763 67183 284754 | 167271 136513 39 | 0.000 % |
992.36/992.36 c | 372569 | 763 67183 284754 | 167271 138207 38 | 0.000 % |
999.26/999.27 c | 374432 | 763 67183 284754 | 167271 140070 39 | 0.000 % |
1005.56/1005.54 c | 376483 | 763 67183 284754 | 167271 142121 39 | 0.000 % |
1012.16/1012.15 c | 378738 | 763 67183 284754 | 167271 144376 39 | 0.000 % |
1018.17/1018.17 c | 381218 | 763 67183 284754 | 2147483647 146856 39 | 0.000 % |
1024.77/1024.80 c | 383943 | 763 67183 284754 | 2147483647 149581 38 | 0.000 % |
1032.77/1032.73 c | 386941 | 763 67183 284754 | 2147483647 152579 38 | 0.000 % |
1040.77/1040.78 c | 390240 | 763 67183 284754 | 2147483647 155878 38 | 0.000 % |
1049.47/1049.43 c | 393867 | 763 67183 284754 | 2147483647 159505 38 | 0.000 % |
1049.67/1049.69 c | 393967 | 763 67183 284754 | 2147483647 159605 38 | 0.000 % |
1050.07/1050.03 c | 394086 | 763 67183 284754 | 2147483647 159724 38 | 0.000 % |
1050.57/1050.59 c | 394208 | 763 67183 284754 | 2147483647 159846 38 | 0.000 % |
1051.07/1051.05 c | 394342 | 763 67183 284754 | 2147483647 159980 38 | 0.000 % |
1051.47/1051.49 c | 394490 | 763 67183 284754 | 2147483647 160128 38 | 0.000 % |
1051.97/1051.91 c | 394650 | 763 67183 284754 | 2147483647 160288 38 | 0.000 % |
1052.47/1052.49 c | 394829 | 763 67183 284754 | 2147483647 160467 38 | 0.000 % |
1053.07/1053.09 c | 395022 | 763 67183 284754 | 2147483647 160660 38 | 0.000 % |
1053.97/1053.98 c | 395238 | 763 67183 284754 | 2147483647 160876 38 | 0.000 % |
1054.77/1054.72 c | 395471 | 763 67183 284754 | 2147483647 161109 38 | 0.000 % |
1055.77/1055.77 c | 395727 | 763 67183 284754 | 2147483647 161365 38 | 0.000 % |
1056.87/1056.87 c | 396009 | 763 67183 284754 | 2147483647 161647 38 | 0.000 % |
1058.27/1058.26 c | 396319 | 763 67183 284754 | 2147483647 161957 38 | 0.000 % |
1059.57/1059.51 c | 396658 | 763 67183 284754 | 2147483647 162296 38 | 0.000 % |
1060.77/1060.72 c | 397030 | 763 67183 284754 | 2147483647 162668 38 | 0.000 % |
1062.57/1062.57 c | 397441 | 763 67183 284754 | 2147483647 163079 38 | 0.000 % |
1064.17/1064.20 c | 397892 | 763 67183 284754 | 2147483647 163530 38 | 0.000 % |
1065.87/1065.86 c | 398386 | 763 67183 284754 | 2147483647 164024 38 | 0.000 % |
1067.37/1067.32 c | 398928 | 763 67183 284754 | 2147483647 164566 38 | 0.000 % |
1069.27/1069.21 c | 399526 | 763 67183 284754 | 2147483647 165164 38 | 0.000 % |
1071.77/1071.77 c | 400183 | 763 67183 284754 | 2147483647 165821 38 | 0.000 % |
1073.67/1073.66 c | 400904 | 763 67183 284754 | 2147483647 166542 38 | 0.000 % |
1075.97/1075.96 c | 401696 | 763 67183 284754 | 2147483647 167334 38 | 0.000 % |
1079.47/1079.44 c | 402567 | 763 67183 284754 | 2147483647 168205 38 | 0.000 % |
1083.47/1083.48 c | 403525 | 763 67183 284754 | 2147483647 169163 38 | 0.000 % |
1087.57/1087.58 c | 404579 | 763 67183 284754 | 2147483647 170217 38 | 0.000 % |
1092.57/1092.53 c | 405742 | 763 67183 284754 | 2147483647 171380 39 | 0.000 % |
1096.67/1096.70 c | 407016 | 763 67183 284754 | 2147483647 172654 39 | 0.000 % |
1101.67/1101.64 c | 408417 | 763 67183 284754 | 2147483647 174055 39 | 0.000 % |
1107.07/1107.08 c | 409962 | 763 67183 284754 | 2147483647 175600 39 | 0.000 % |
1113.07/1113.07 c | 411657 | 763 67183 284754 | 175638 152254 39 | 0.000 % |
1119.17/1119.13 c | 413524 | 763 67183 284754 | 175638 154121 39 | 0.000 % |
1125.27/1125.29 c | 415573 | 763 67183 284754 | 175638 156170 39 | 0.000 % |
1133.77/1133.76 c | 417828 | 763 67183 284754 | 175638 158425 39 | 0.000 % |
1143.38/1143.31 c | 420306 | 763 67183 284754 | 160597 142217 38 | 0.000 % |
1151.78/1151.80 c | 423032 | 763 67183 284754 | 160597 144943 38 | 0.000 % |
1161.68/1161.65 c | 426029 | 763 67183 284754 | 160597 147940 39 | 0.000 % |
1172.98/1172.94 c | 429326 | 763 67183 284754 | 160597 151237 39 | 0.000 % |
1184.68/1184.68 c | 432953 | 763 67183 284754 | 151912 129248 40 | 0.000 % |
1197.98/1197.96 c | 436941 | 763 67183 284754 | 151912 133236 40 | 0.000 % |
1198.38/1198.40 c | 437042 | 763 67183 284754 | 151912 133337 40 | 0.000 % |
1198.98/1198.94 c | 437153 | 763 67183 284754 | 151912 133448 40 | 0.000 % |
1199.39/1199.36 c | 437275 | 763 67183 284754 | 151912 133570 40 | 0.000 % |
1199.89/1199.82 c | 437409 | 763 67183 284754 | 151912 133704 40 | 0.000 % |
1200.09/1200.03 HOME/SatELiteGTI: line 36: 2851 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821742-1242559805/watcher-1821742-1242559805 -o /tmp/evaluation-result-1821742-1242559805/solver-1821742-1242559805 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821742-1242559805.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.02 1.03 1.00 2/96 2845
/proc/meminfo: memFree=1468180/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2412 CPUtime=0
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 364 647 0 0 0 0 0 0 25 0 1 0 1020478761 2469888 275 4294967295 134512640 135169312 3218411680 3218410216 3085389550 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2845/statm: 603 275 235 161 0 42 0
[pid=2849] ppid=2845 vsize=952 CPUtime=0
/proc/2849/stat : 2849 (SatELite_releas) R 2845 2845 11066 0 -1 4202496 129 0 0 0 0 0 0 0 25 0 1 0 1020478762 974848 66 4294967295 134512640 135223648 3214648576 3214647172 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2849/statm: 238 71 46 174 0 63 0
[startup+0.08964 s]
/proc/loadavg: 1.02 1.03 1.00 2/96 2845
/proc/meminfo: memFree=1468180/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2412 CPUtime=0
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 364 647 0 0 0 0 0 0 25 0 1 0 1020478761 2469888 275 4294967295 134512640 135169312 3218411680 3218410216 3085389550 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2845/statm: 603 275 235 161 0 42 0
[pid=2849] ppid=2845 vsize=6352 CPUtime=0.09
/proc/2849/stat : 2849 (SatELite_releas) R 2845 2845 11066 0 -1 4202496 1448 0 0 0 9 0 0 0 25 0 1 0 1020478762 6504448 1384 4294967295 134512640 135223648 3214648576 3214646352 134585497 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2849/statm: 1588 1384 73 174 0 1413 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8764
[startup+0.109639 s]
/proc/loadavg: 1.02 1.03 1.00 2/96 2845
/proc/meminfo: memFree=1468180/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2412 CPUtime=0
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 364 647 0 0 0 0 0 0 25 0 1 0 1020478761 2469888 275 4294967295 134512640 135169312 3218411680 3218410216 3085389550 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2845/statm: 603 275 235 161 0 42 0
[pid=2849] ppid=2845 vsize=6480 CPUtime=0.11
/proc/2849/stat : 2849 (SatELite_releas) R 2845 2845 11066 0 -1 4202496 1484 0 0 0 11 0 0 0 25 0 1 0 1020478762 6635520 1420 4294967295 134512640 135223648 3214648576 3214646432 134578179 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2849/statm: 1620 1420 73 174 0 1445 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 8892
[startup+0.309627 s]
/proc/loadavg: 1.02 1.03 1.00 2/96 2845
/proc/meminfo: memFree=1468180/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2412 CPUtime=0
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 364 647 0 0 0 0 0 0 25 0 1 0 1020478761 2469888 275 4294967295 134512640 135169312 3218411680 3218410216 3085389550 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2845/statm: 603 275 235 161 0 42 0
[pid=2849] ppid=2845 vsize=8284 CPUtime=0.31
/proc/2849/stat : 2849 (SatELite_releas) R 2845 2845 11066 0 -1 4202496 1876 0 0 0 31 0 0 0 25 0 1 0 1020478762 8482816 1812 4294967295 134512640 135223648 3214648576 3214646672 134585507 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2849/statm: 2071 1812 73 174 0 1896 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 10696
[startup+0.709606 s]
/proc/loadavg: 1.02 1.03 1.00 2/96 2845
/proc/meminfo: memFree=1468180/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 2416
[startup+1.51956 s]
/proc/loadavg: 1.02 1.03 1.00 2/98 2851
/proc/meminfo: memFree=1461196/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=5760 CPUtime=0.92
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 1358 0 0 0 92 0 0 0 19 0 1 0 1020478822 5898240 1292 4294967295 134512640 135215339 3220390608 3220388896 134528827 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 1440 1292 73 172 0 1267 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 8176
[startup+3.11947 s]
/proc/loadavg: 1.02 1.03 1.00 2/98 2851
/proc/meminfo: memFree=1460700/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=6424 CPUtime=2.52
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 1529 0 0 0 252 0 0 0 22 0 1 0 1020478822 6578176 1463 4294967295 134512640 135215339 3220390608 3220388896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 1606 1463 73 172 0 1433 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 8840
[startup+6.31929 s]
/proc/loadavg: 1.01 1.03 1.00 2/98 2851
/proc/meminfo: memFree=1459468/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=7484 CPUtime=5.72
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 1801 0 0 0 572 0 0 0 25 0 1 0 1020478822 7663616 1735 4294967295 134512640 135215339 3220390608 3220388896 134528700 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 1871 1735 73 172 0 1698 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 9900
[startup+12.7189 s]
/proc/loadavg: 1.01 1.03 1.00 2/98 2851
/proc/meminfo: memFree=1457820/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=9084 CPUtime=12.12
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 2167 0 0 0 1212 0 0 0 25 0 1 0 1020478822 9302016 2101 4294967295 134512640 135215339 3220390608 3220388896 134528691 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 2271 2101 73 172 0 2098 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 11500
[startup+25.5182 s]
/proc/loadavg: 1.01 1.03 1.00 2/98 3041
/proc/meminfo: memFree=1454800/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=11520 CPUtime=24.92
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 2745 0 0 0 2492 0 0 0 25 0 1 0 1020478822 11796480 2679 4294967295 134512640 135215339 3220390608 3220388896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 2880 2679 73 172 0 2707 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 13936
[startup+51.1168 s]
/proc/loadavg: 1.00 1.02 1.00 2/98 3044
/proc/meminfo: memFree=1450916/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=15732 CPUtime=50.52
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 3790 0 0 0 5051 1 0 0 25 0 1 0 1020478822 16109568 3724 4294967295 134512640 135215339 3220390608 3220388896 134528824 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 3933 3724 73 172 0 3760 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 18148
[startup+102.324 s]
/proc/loadavg: 1.00 1.02 1.00 2/98 3232
/proc/meminfo: memFree=1446428/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=20328 CPUtime=101.73
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 4849 0 0 0 10172 1 0 0 25 0 1 0 1020478822 20815872 4783 4294967295 134512640 135215339 3220390608 3220388896 134528788 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 5082 4783 73 172 0 4909 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 22744
[startup+162.321 s]
/proc/loadavg: 1.00 1.01 1.00 3/98 3422
/proc/meminfo: memFree=1443552/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=22844 CPUtime=161.73
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 5521 0 0 0 16171 2 0 0 25 0 1 0 1020478822 23392256 5455 4294967295 134512640 135215339 3220390608 3220388896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 5711 5455 73 172 0 5538 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 25260
[startup+222.307 s]
/proc/loadavg: 1.00 1.01 1.00 2/98 3613
/proc/meminfo: memFree=1442808/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=23560 CPUtime=221.72
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 5682 0 0 0 22170 2 0 0 25 0 1 0 1020478822 24125440 5616 4294967295 134512640 135215339 3220390608 3220388896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 5890 5616 73 172 0 5717 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 25976
[startup+282.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 3826
/proc/meminfo: memFree=1442452/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=23916 CPUtime=281.73
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 5767 0 0 0 28171 2 0 0 25 0 1 0 1020478822 24489984 5701 4294967295 134512640 135215339 3220390608 3220388896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 5979 5701 73 172 0 5806 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 26332
[startup+342.311 s]
/proc/loadavg: 1.00 1.00 1.00 4/98 4014
/proc/meminfo: memFree=1442436/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=24068 CPUtime=341.73
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 5785 0 0 0 34171 2 0 0 25 0 1 0 1020478822 24645632 5719 4294967295 134512640 135215339 3220390608 3220388896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 6017 5719 73 172 0 5844 0
Current children cumulated CPU time (s) 342.33
Current children cumulated vsize (KiB) 26484
[startup+402.317 s]
################
# More data... #
################
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=26268 CPUtime=461.74
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 6354 0 0 0 46171 3 0 0 25 0 1 0 1020478822 26898432 6288 4294967295 134512640 135215339 3220390608 3220388896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 6567 6288 73 172 0 6394 0
Current children cumulated CPU time (s) 462.34
Current children cumulated vsize (KiB) 28684
[startup+522.321 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 4584
/proc/meminfo: memFree=1436096/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=30848 CPUtime=521.75
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 7441 0 0 0 52171 4 0 0 25 0 1 0 1020478822 31588352 7375 4294967295 134512640 135215339 3220390608 3220388896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 7712 7375 73 172 0 7539 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 33264
[startup+582.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 4772
/proc/meminfo: memFree=1432044/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=34596 CPUtime=581.74
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 8381 0 0 0 58169 5 0 0 25 0 1 0 1020478822 35426304 8315 4294967295 134512640 135215339 3220390608 3220388896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 8649 8315 73 172 0 8476 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 37012
[startup+642.314 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 4959
/proc/meminfo: memFree=1428184/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=38716 CPUtime=641.75
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 9360 0 0 0 64169 6 0 0 25 0 1 0 1020478822 39645184 9294 4294967295 134512640 135215339 3220390608 3220388896 134528806 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 9679 9294 73 172 0 9506 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 41132
[startup+702.311 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 5145
/proc/meminfo: memFree=1424580/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=42440 CPUtime=701.75
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 10264 0 0 0 70169 6 0 0 25 0 1 0 1020478822 43458560 10198 4294967295 134512640 135215339 3220390608 3220388896 134528700 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 10610 10198 73 172 0 10437 0
Current children cumulated CPU time (s) 702.35
Current children cumulated vsize (KiB) 44856
[startup+762.317 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 5338
/proc/meminfo: memFree=1423604/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=43272 CPUtime=761.76
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 10471 0 0 0 76170 6 0 0 25 0 1 0 1020478822 44310528 10405 4294967295 134512640 135215339 3220390608 3220388896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 10818 10405 73 172 0 10645 0
Current children cumulated CPU time (s) 762.36
Current children cumulated vsize (KiB) 45688
[startup+822.314 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 5527
/proc/meminfo: memFree=1423232/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=43744 CPUtime=821.76
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 10581 0 0 0 82170 6 0 0 25 0 1 0 1020478822 44793856 10515 4294967295 134512640 135215339 3220390608 3220388896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 10936 10515 73 172 0 10763 0
Current children cumulated CPU time (s) 822.36
Current children cumulated vsize (KiB) 46160
[startup+882.311 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 5715
/proc/meminfo: memFree=1422852/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=44124 CPUtime=881.76
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 10693 0 0 0 88170 6 0 0 25 0 1 0 1020478822 45182976 10627 4294967295 134512640 135215339 3220390608 3220388896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 11031 10627 73 172 0 10858 0
Current children cumulated CPU time (s) 882.36
Current children cumulated vsize (KiB) 46540
[startup+942.307 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 5902
/proc/meminfo: memFree=1421380/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=45792 CPUtime=941.76
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 11088 0 0 0 94170 6 0 0 25 0 1 0 1020478822 46891008 11022 4294967295 134512640 135215339 3220390608 3220388896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 11448 11022 73 172 0 11275 0
Current children cumulated CPU time (s) 942.36
Current children cumulated vsize (KiB) 48208
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 6088
/proc/meminfo: memFree=1420132/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=46804 CPUtime=1001.76
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 11340 0 0 0 100170 6 0 0 25 0 1 0 1020478822 47927296 11274 4294967295 134512640 135215339 3220390608 3220388896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 11701 11274 73 172 0 11528 0
Current children cumulated CPU time (s) 1002.36
Current children cumulated vsize (KiB) 49220
[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 6277
/proc/meminfo: memFree=1419892/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=47120 CPUtime=1061.77
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 11423 0 0 0 106171 6 0 0 25 0 1 0 1020478822 48250880 11357 4294967295 134512640 135215339 3220390608 3220388896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 11780 11357 73 172 0 11607 0
Current children cumulated CPU time (s) 1062.37
Current children cumulated vsize (KiB) 49536
[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 6470
/proc/meminfo: memFree=1419596/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=47512 CPUtime=1121.77
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 11522 0 0 0 112171 6 0 0 25 0 1 0 1020478822 48652288 11456 4294967295 134512640 135215339 3220390608 3220388896 134528691 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 11878 11456 73 172 0 11705 0
Current children cumulated CPU time (s) 1122.37
Current children cumulated vsize (KiB) 49928
[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 6658
/proc/meminfo: memFree=1419224/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=47724 CPUtime=1181.78
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 11577 0 0 0 118172 6 0 0 25 0 1 0 1020478822 48869376 11511 4294967295 134512640 135215339 3220390608 3220388896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 11931 11511 73 172 0 11758 0
Current children cumulated CPU time (s) 1182.38
Current children cumulated vsize (KiB) 50140
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 6659
/proc/meminfo: memFree=1419296/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=47724 CPUtime=1199.49
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 11578 0 0 0 119943 6 0 0 25 0 1 0 1020478822 48869376 11512 4294967295 134512640 135215339 3220390608 3220388896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 11931 11512 73 172 0 11758 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 50140
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1200.04
CPU time (s): 1200.1
CPU user time (s): 1200.03
CPU system time (s): 0.07
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 50140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1200.03
system time used= 0.07
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14764
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21
involuntary context switches= 850
runsolver used 0.02 second user time and 0.05 second system time
The end
Begin job on tipi23 at 2009-05-17 13:30:05
IDJOB=1821742
IDBENCH=71078
IDSOLVER=657
FILE ID=tipi23/1821742-1242559805
PBS_JOBID=
Free space on /tmp= 8523 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_08_UNSAT.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821742-1242559805/watcher-1821742-1242559805 -o /tmp/evaluation-result-1821742-1242559805/solver-1821742-1242559805 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821742-1242559805.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 66aa2e18c32a02f55a810347a9702c7f
RANDOM SEED= 1206056781
Linux tipi23 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.38
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.79
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1468196 kB
Buffers: 37792 kB
Cached: 483152 kB
SwapCached: 3584 kB
Active: 243564 kB
Inactive: 289136 kB
HighTotal: 1178688 kB
HighFree: 685360 kB
LowTotal: 895776 kB
LowFree: 782836 kB
SwapTotal: 1959888 kB
SwapFree: 1950760 kB
Dirty: 2720 kB
Writeback: 0 kB
AnonPages: 10912 kB
Mapped: 4432 kB
Slab: 65456 kB
PageTables: 572 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 96888 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 8523 MiB
End job on tipi23 at 2009-05-17 13:50:05