0.00/0.00 c Parsing...
0.31/0.34 c ==============================================================================
0.31/0.34 c | | ORIGINAL | LEARNT | |
0.31/0.34 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.31/0.34 c ==============================================================================
0.31/0.34 c | 0 | 373870 911122 | 112160 0 0 nan | 0.000 % |
4.10/4.17 c | 0 | 183363 759436 | -- 0 -- -- | -- | -190507/-151686
4.10/4.18 c ==============================================================================
4.10/4.18 c Result : #vars: 14569 #clauses: 183363 #literals: 759436
4.10/4.18 c CPU time: 4.02 s
4.10/4.18 c ==============================================================================
4.40/4.43 c This is MiniSat 2.0 beta
4.40/4.43 c WARNING: for repeatability, setting FPU to use double precision
4.40/4.43 c ============================[ Problem Statistics ]=============================
4.40/4.43 c | |
4.40/4.43 c | Number of variables: 14569 |
4.40/4.43 c | Number of clauses: 183363 |
4.43/4.57 c | Parsing time: 0.14 s |
4.43/4.58 c ============================[ Search Statistics ]==============================
4.43/4.58 c | Conflicts | ORIGINAL | LEARNT | Progress |
4.43/4.58 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.43/4.58 c ===============================================================================
4.43/4.58 c | 0 | 14569 183363 759436 | 61121 0 nan | 0.000 % |
4.43/4.68 c | 101 | 14569 183363 759436 | 61121 101 12 | 0.000 % |
4.43/4.72 c | 201 | 14569 183363 759436 | 61121 201 18 | 0.000 % |
4.43/4.78 c | 306 | 14569 183363 759436 | 61121 306 18 | 0.000 % |
4.43/4.81 c | 417 | 14569 183363 759436 | 61121 417 17 | 0.000 % |
4.43/4.88 c | 518 | 14569 183363 759436 | 61121 518 17 | 0.000 % |
4.43/4.95 c | 629 | 14569 183363 759436 | 61121 629 16 | 0.000 % |
4.43/5.04 c | 750 | 14569 183363 759436 | 61121 750 16 | 0.000 % |
4.43/5.16 c | 850 | 14569 183363 759436 | 61121 850 17 | 0.000 % |
4.43/5.21 c | 962 | 14569 183363 759436 | 61121 962 17 | 0.000 % |
4.43/5.26 c | 1083 | 14569 183363 759436 | 61121 1083 17 | 0.000 % |
4.43/5.31 c | 1219 | 14569 183363 759436 | 61121 1219 18 | 0.000 % |
4.43/5.36 c | 1321 | 14569 183363 759436 | 61121 1321 18 | 0.000 % |
4.43/5.44 c | 1433 | 14569 183363 759436 | 61121 1433 18 | 0.000 % |
5.50/5.51 c | 1554 | 14569 183363 759436 | 61121 1554 18 | 0.000 % |
5.61/5.61 c | 1688 | 14569 183363 759436 | 61121 1688 18 | 0.000 % |
5.61/5.67 c | 1834 | 14569 183363 759436 | 61121 1834 19 | 0.000 % |
5.70/5.71 c | 1937 | 14569 183363 759436 | 61121 1937 19 | 0.000 % |
5.70/5.79 c | 2047 | 14569 183363 759436 | 61121 2047 19 | 0.000 % |
5.80/5.86 c | 2171 | 14569 183363 759436 | 61121 2171 19 | 0.000 % |
6.00/6.00 c | 2304 | 14569 183363 759436 | 61121 2304 19 | 0.000 % |
6.10/6.14 c | 2454 | 14569 183363 759436 | 61121 2454 19 | 0.000 % |
6.20/6.22 c | 2615 | 14569 183363 759436 | 61121 2615 19 | 0.000 % |
6.30/6.34 c | 2716 | 14569 183363 759436 | 61121 2716 19 | 0.000 % |
6.39/6.41 c | 2827 | 14569 183363 759436 | 61121 2827 19 | 0.000 % |
6.39/6.49 c | 2949 | 14569 183363 759436 | 61121 2949 19 | 0.000 % |
6.59/6.61 c | 3082 | 14569 183363 759436 | 61121 3082 19 | 0.000 % |
6.70/6.74 c | 3229 | 14569 183363 759436 | 61121 3229 20 | 0.000 % |
6.79/6.81 c | 3390 | 14569 183363 759436 | 61121 3390 20 | 0.000 % |
6.89/6.91 c | 3567 | 14569 183363 759436 | 61121 3567 20 | 0.000 % |
6.99/7.00 c | 3667 | 14569 183363 759436 | 61121 3667 20 | 0.000 % |
6.99/7.09 c | 3779 | 14569 183363 759436 | 61121 3779 20 | 0.000 % |
7.09/7.14 c | 3904 | 14569 183363 759436 | 61121 3904 20 | 0.000 % |
7.09/7.19 c | 4037 | 14569 183363 759436 | 61121 4037 20 | 0.000 % |
7.19/7.29 c | 4184 | 14569 183363 759436 | 61121 4184 20 | 0.000 % |
7.29/7.39 c | 4345 | 14569 183363 759436 | 61121 4345 19 | 0.000 % |
7.39/7.44 c | 4521 | 14569 183363 759436 | 61121 4521 19 | 0.000 % |
7.49/7.53 c | 4719 | 14569 183363 759436 | 61121 4719 19 | 0.000 % |
7.59/7.60 c | 4819 | 14569 183363 759436 | 61121 4819 19 | 0.000 % |
7.59/7.70 c | 4931 | 14569 183363 759436 | 61121 4931 19 | 0.000 % |
7.69/7.78 c | 5052 | 14569 183363 759436 | 61121 5052 19 | 0.000 % |
7.80/7.84 c | 5185 | 14569 183363 759436 | 61121 5185 19 | 0.000 % |
7.80/7.88 c | 5332 | 14569 183363 759436 | 61121 5332 19 | 0.000 % |
7.89/8.00 c | 5492 | 14569 183363 759436 | 61121 5492 19 | 0.000 % |
7.99/8.08 c | 5669 | 14569 183363 759436 | 61121 5669 20 | 0.000 % |
8.09/8.16 c | 5864 | 14569 183363 759436 | 61121 5864 20 | 0.000 % |
8.29/8.37 c | 6077 | 14569 183363 759436 | 61121 6077 20 | 0.000 % |
8.39/8.46 c | 6179 | 14569 183363 759436 | 61121 6179 20 | 0.000 % |
8.49/8.53 c | 6290 | 14569 183363 759436 | 61121 6290 20 | 0.000 % |
8.59/8.62 c | 6411 | 14569 183363 759436 | 61121 6411 20 | 0.000 % |
8.59/8.70 c | 6544 | 14569 183363 759436 | 61121 6544 20 | 0.000 % |
8.79/8.81 c | 6690 | 14569 183363 759436 | 61121 6690 20 | 0.000 % |
8.79/8.91 c | 6850 | 14569 183363 759436 | 61121 6850 20 | 0.000 % |
9.09/9.12 c | 7026 | 14569 183363 759436 | 61121 7026 20 | 0.000 % |
9.19/9.20 c | 7222 | 14569 183363 759436 | 61121 7222 20 | 0.000 % |
9.39/9.45 c | 7434 | 14569 183363 759436 | 61121 7434 21 | 0.000 % |
9.59/9.61 c | 7669 | 14569 183363 759436 | 61121 7669 21 | 0.000 % |
9.59/9.66 c | 7770 | 14569 183363 759436 | 61121 7770 21 | 0.000 % |
9.69/9.76 c | 7881 | 14569 183363 759436 | 61121 7881 21 | 0.000 % |
9.79/9.81 c | 8002 | 14569 183363 759436 | 61121 8002 21 | 0.000 % |
9.89/9.91 c | 8136 | 14569 183363 759436 | 61121 8136 20 | 0.000 % |
9.89/10.00 c | 8282 | 14569 183363 759436 | 61121 8282 20 | 0.000 % |
10.09/10.16 c | 8442 | 14569 183363 759436 | 61121 8442 20 | 0.000 % |
10.19/10.24 c | 8620 | 14569 183363 759436 | 61121 8620 20 | 0.000 % |
10.29/10.30 c | 8813 | 14569 183363 759436 | 61121 8813 20 | 0.000 % |
10.49/10.51 c | 9025 | 14569 183363 759436 | 61121 9025 20 | 0.000 % |
10.59/10.65 c | 9259 | 14569 183363 759436 | 61121 9259 20 | 0.000 % |
10.79/10.87 c | 9517 | 14569 183363 759436 | 61121 9517 20 | 0.000 % |
10.89/10.93 c | 9618 | 14569 183363 759436 | 61121 9618 20 | 0.000 % |
10.89/10.99 c | 9728 | 14569 183363 759436 | 61121 9728 20 | 0.000 % |
10.99/11.07 c | 9849 | 14569 183363 759436 | 61121 9849 20 | 0.000 % |
11.10/11.15 c | 9983 | 14569 183363 759436 | 61121 9983 20 | 0.000 % |
11.19/11.29 c | 10131 | 14569 183363 759436 | 2147483647 10131 20 | 0.000 % |
11.29/11.38 c | 10295 | 14569 183363 759436 | 2147483647 10295 20 | 0.000 % |
11.39/11.49 c | 10472 | 14569 183363 759436 | 2147483647 10472 20 | 0.000 % |
11.59/11.63 c | 10665 | 14569 183363 759436 | 2147483647 10665 20 | 0.000 % |
11.69/11.73 c | 10877 | 14569 183363 759436 | 2147483647 10877 20 | 0.000 % |
11.79/11.88 c | 11110 | 14569 183363 759436 | 2147483647 11110 20 | 0.000 % |
11.89/11.98 c | 11367 | 14569 183363 759436 | 2147483647 11367 20 | 0.000 % |
12.09/12.18 c | 11650 | 14569 183363 759436 | 2147483647 11650 20 | 0.000 % |
12.29/12.31 c | 11750 | 14569 183363 759436 | 2147483647 11750 20 | 0.000 % |
12.29/12.39 c | 11861 | 14569 183363 759436 | 2147483647 11861 20 | 0.000 % |
12.49/12.51 c | 11982 | 14569 183363 759436 | 2147483647 11982 20 | 0.000 % |
12.49/12.59 c | 12115 | 14569 183363 759436 | 2147483647 12115 20 | 0.000 % |
12.69/12.71 c | 12261 | 14569 183363 759436 | 2147483647 12261 20 | 0.000 % |
12.79/12.82 c | 12421 | 14569 183363 759436 | 2147483647 12421 20 | 0.000 % |
12.89/12.92 c | 12597 | 14569 183363 759436 | 2147483647 12597 20 | 0.000 % |
12.89/12.98 c | 12790 | 14569 183363 759436 | 2147483647 12790 20 | 0.000 % |
13.09/13.12 c | 13002 | 14569 183363 759436 | 2147483647 13002 20 | 0.000 % |
13.19/13.27 c | 13238 | 14569 183363 759436 | 2147483647 13238 20 | 0.000 % |
13.39/13.44 c | 13495 | 14569 183363 759436 | 2147483647 13495 20 | 0.000 % |
13.59/13.62 c | 13778 | 14569 183363 759436 | 2147483647 13778 20 | 0.000 % |
13.69/13.74 c | 14088 | 14569 183363 759436 | 2147483647 14088 20 | 0.000 % |
13.79/13.81 c | 14189 | 14569 183363 759436 | 2147483647 14189 20 | 0.000 % |
13.79/13.87 c | 14302 | 14569 183363 759436 | 2147483647 14302 20 | 0.000 % |
13.89/13.97 c | 14423 | 14569 183363 759436 | 2147483647 14423 20 | 0.000 % |
13.99/14.06 c | 14556 | 14569 183363 759436 | 2147483647 14556 20 | 0.000 % |
14.09/14.15 c | 14702 | 14569 183363 759436 | 2147483647 14702 20 | 0.000 % |
14.19/14.23 c | 14862 | 14569 183363 759436 | 2147483647 14862 20 | 0.000 % |
14.29/14.40 c | 15039 | 14569 183363 759436 | 2147483647 15039 20 | 0.000 % |
14.49/14.50 c | 15232 | 14569 183363 759436 | 2147483647 15232 20 | 0.000 % |
14.59/14.68 c | 15447 | 14569 183363 759436 | 2147483647 15447 20 | 0.000 % |
14.69/14.80 c | 15682 | 14569 183363 759436 | 2147483647 15682 20 | 0.000 % |
14.89/14.98 c | 15939 | 14569 183363 759436 | 2147483647 15939 20 | 0.000 % |
15.09/15.16 c | 16221 | 14569 183363 759436 | 2147483647 16221 20 | 0.000 % |
15.29/15.34 c | 16530 | 14569 183363 759436 | 2147483647 16530 20 | 0.000 % |
15.50/15.51 c | 16870 | 14569 183363 759436 | 2147483647 16870 20 | 0.000 % |
15.50/15.57 c | 16970 | 14569 183363 759436 | 2147483647 16970 20 | 0.000 % |
15.59/15.62 c | 17080 | 14569 183363 759436 | 2147483647 17080 20 | 0.000 % |
15.69/15.75 c | 17202 | 14569 183363 759436 | 2147483647 17202 20 | 0.000 % |
15.79/15.81 c | 17335 | 14569 183363 759436 | 2147483647 17335 20 | 0.000 % |
15.79/15.88 c | 17481 | 14569 183363 759436 | 2147483647 17481 20 | 0.000 % |
15.89/15.98 c | 17641 | 14569 183363 759436 | 2147483647 17641 20 | 0.000 % |
15.98/16.09 c | 17818 | 14569 183363 759436 | 2147483647 17818 20 | 0.000 % |
16.18/16.26 c | 18013 | 14569 183363 759436 | 2147483647 18013 20 | 0.000 % |
16.38/16.44 c | 18227 | 14569 183363 759436 | 2147483647 18227 20 | 0.000 % |
16.48/16.59 c | 18460 | 14569 183363 759436 | 2147483647 18460 20 | 0.000 % |
16.77/16.88 c | 18718 | 14569 183363 759436 | 2147483647 18718 20 | 0.000 % |
17.07/17.14 c | 18999 | 14569 183363 759436 | 2147483647 18999 20 | 0.000 % |
17.27/17.31 c | 19308 | 14569 183363 759436 | 2147483647 19308 20 | 0.000 % |
17.57/17.61 c | 19647 | 14569 183363 759436 | 2147483647 19647 20 | 0.000 % |
17.76/17.87 c | 20019 | 14569 183363 759436 | 2147483647 20019 20 | 0.000 % |
17.96/18.01 c | 20119 | 14569 183363 759436 | 2147483647 20119 20 | 0.000 % |
18.06/18.13 c | 20229 | 14569 183363 759436 | 2147483647 20229 20 | 0.000 % |
18.16/18.25 c | 20350 | 14569 183363 759436 | 2147483647 20350 20 | 0.000 % |
18.26/18.33 c | 20485 | 14569 183363 759436 | 2147483647 20485 20 | 0.000 % |
18.36/18.43 c | 20637 | 14569 183363 759436 | 2147483647 20637 20 | 0.000 % |
18.46/18.59 c | 20797 | 14569 183363 759436 | 2147483647 20797 20 | 0.000 % |
18.66/18.72 c | 20973 | 14569 183363 759436 | 2147483647 20973 20 | 0.000 % |
18.77/18.83 c | 21166 | 14569 183363 759436 | 2147483647 21166 20 | 0.000 % |
18.86/18.99 c | 21378 | 14569 183363 759436 | 2147483647 21378 20 | 0.000 % |
19.16/19.25 c | 21612 | 14569 183363 759436 | 2147483647 21612 20 | 0.000 % |
19.36/19.44 c | 21868 | 14569 183363 759436 | 2147483647 21868 20 | 0.000 % |
19.56/19.69 c | 22151 | 14569 183363 759436 | 2147483647 22151 20 | 0.000 % |
19.87/19.99 c | 22465 | 14569 183363 759436 | 2147483647 22465 21 | 0.000 % |
20.26/20.32 c | 22806 | 14569 183363 759436 | 2147483647 22806 21 | 0.000 % |
20.46/20.55 c | 23179 | 14569 183363 759436 | 2147483647 23179 21 | 0.000 % |
21.06/21.19 c | 23589 | 14569 183363 759436 | 2147483647 23589 21 | 0.000 % |
21.26/21.30 c | 23690 | 14569 183363 759436 | 2147483647 23690 21 | 0.000 % |
21.26/21.38 c | 23800 | 14569 183363 759436 | 2147483647 23800 21 | 0.000 % |
21.36/21.47 c | 23922 | 14569 183363 759436 | 2147483647 23922 21 | 0.000 % |
21.46/21.56 c | 24055 | 14569 183363 759436 | 2147483647 24055 21 | 0.000 % |
21.56/21.68 c | 24201 | 14569 183363 759436 | 2147483647 24201 21 | 0.000 % |
21.66/21.77 c | 24363 | 14569 183363 759436 | 2147483647 24363 21 | 0.000 % |
21.86/21.93 c | 24540 | 14569 183363 759436 | 2147483647 24540 21 | 0.000 % |
22.16/22.24 c | 24734 | 14569 183363 759436 | 2147483647 24734 21 | 0.000 % |
22.36/22.48 c | 24947 | 14569 183363 759436 | 2147483647 24947 21 | 0.000 % |
22.66/22.75 c | 25180 | 14569 183363 759436 | 2147483647 25180 21 | 0.000 % |
22.96/23.06 c | 25440 | 14569 183363 759436 | 2147483647 25440 21 | 0.000 % |
23.17/23.28 c | 25721 | 14569 183363 759436 | 2147483647 25721 21 | 0.000 % |
23.36/23.48 c | 26032 | 14569 183363 759436 | 2147483647 26032 21 | 0.000 % |
23.76/23.86 c | 26373 | 14569 183363 759436 | 2147483647 26373 21 | 0.000 % |
24.16/24.24 c | 26748 | 14569 183363 759436 | 2147483647 26748 21 | 0.000 % |
24.66/24.73 c | 27159 | 14569 183363 759436 | 2147483647 27159 21 | 0.000 % |
25.37/25.44 c | 27608 | 14569 183363 759436 | 2147483647 27608 22 | 0.000 % |
25.46/25.51 c | 27709 | 14569 183363 759436 | 2147483647 27709 21 | 0.000 % |
25.46/25.59 c | 27819 | 14569 183363 759436 | 2147483647 27819 21 | 0.000 % |
25.56/25.70 c | 27941 | 14569 183363 759436 | 2147483647 27941 21 | 0.000 % |
25.76/25.86 c | 28075 | 14569 183363 759436 | 2147483647 28075 21 | 0.000 % |
25.86/25.99 c | 28221 | 14569 183363 759436 | 2147483647 28221 21 | 0.000 % |
26.06/26.15 c | 28382 | 14569 183363 759436 | 2147483647 28382 21 | 0.000 % |
26.16/26.25 c | 28559 | 14569 183363 759436 | 2147483647 28559 21 | 0.000 % |
26.36/26.44 c | 28752 | 14569 183363 759436 | 2147483647 28752 21 | 0.000 % |
26.56/26.62 c | 28965 | 14569 183363 759436 | 2147483647 28965 21 | 0.000 % |
26.76/26.84 c | 29200 | 14569 183363 759436 | 2147483647 29200 21 | 0.000 % |
26.96/27.06 c | 29458 | 14569 183363 759436 | 2147483647 29458 21 | 0.000 % |
27.16/27.29 c | 29740 | 14569 183363 759436 | 2147483647 29740 21 | 0.000 % |
27.46/27.56 c | 30049 | 14569 183363 759436 | 2147483647 30049 21 | 0.000 % |
27.87/27.91 c | 30390 | 14569 183363 759436 | 2147483647 30390 21 | 0.000 % |
28.17/28.23 c | 30763 | 14569 183363 759436 | 2147483647 30763 21 | 0.000 % |
28.57/28.70 c | 31174 | 14569 183363 759436 | 2147483647 31174 21 | 0.000 % |
28.97/29.02 c | 31623 | 14569 183363 759436 | 2147483647 31623 21 | 0.000 % |
29.47/29.55 c | 32116 | 14569 183363 759436 | 2147483647 32116 21 | 0.000 % |
29.57/29.65 c | 32216 | 14569 183363 759436 | 2147483647 32216 21 | 0.000 % |
29.67/29.73 c | 32329 | 14569 183363 759436 | 2147483647 32329 21 | 0.000 % |
29.67/29.80 c | 32450 | 14569 183363 759436 | 2147483647 32450 21 | 0.000 % |
29.77/29.87 c | 32584 | 14569 183363 759436 | 2147483647 32584 21 | 0.000 % |
29.97/30.03 c | 32730 | 14569 183363 759436 | 2147483647 32730 22 | 0.000 % |
30.07/30.15 c | 32891 | 14569 183363 759436 | 2147483647 32891 22 | 0.000 % |
30.17/30.29 c | 33067 | 14569 183363 759436 | 2147483647 33067 22 | 0.000 % |
30.37/30.47 c | 33260 | 14569 183363 759436 | 2147483647 33260 22 | 0.000 % |
30.57/30.63 c | 33481 | 14569 183363 759436 | 2147483647 33481 22 | 0.000 % |
30.77/30.86 c | 33714 | 14569 183363 759436 | 2147483647 33714 21 | 0.000 % |
31.07/31.13 c | 33971 | 14569 183363 759436 | 2147483647 33971 22 | 0.000 % |
31.27/31.37 c | 34253 | 14569 183363 759436 | 2147483647 34253 22 | 0.000 % |
31.47/31.58 c | 34563 | 14569 183363 759436 | 2147483647 34563 22 | 0.000 % |
31.97/32.09 c | 34902 | 14569 183363 759436 | 2147483647 34902 22 | 0.000 % |
32.57/32.61 c | 35274 | 14569 183363 759436 | 2147483647 35274 22 | 0.000 % |
33.07/33.18 c | 35688 | 14569 183363 759436 | 2147483647 35688 22 | 0.000 % |
33.87/33.93 c | 36137 | 14569 183363 759436 | 2147483647 36137 22 | 0.000 % |
34.27/34.39 c | 36631 | 14569 183363 759436 | 2147483647 36631 22 | 0.000 % |
34.87/35.00 c | 37174 | 14569 183363 759436 | 2147483647 37174 22 | 0.000 % |
34.97/35.08 c | 37275 | 14569 183363 759436 | 2147483647 37275 22 | 0.000 % |
35.07/35.21 c | 37389 | 14569 183363 759436 | 2147483647 37389 22 | 0.000 % |
35.27/35.33 c | 37511 | 14569 183363 759436 | 2147483647 37511 22 | 0.000 % |
35.37/35.42 c | 37644 | 14569 183363 759436 | 2147483647 37644 22 | 0.000 % |
35.47/35.56 c | 37790 | 14569 183363 759436 | 2147483647 37790 22 | 0.000 % |
35.57/35.71 c | 37950 | 14569 183363 759436 | 2147483647 37950 22 | 0.000 % |
35.78/35.86 c | 38126 | 14569 183363 759436 | 2147483647 38126 22 | 0.000 % |
35.88/36.01 c | 38323 | 14569 183363 759436 | 2147483647 38323 22 | 0.000 % |
36.18/36.22 c | 38535 | 14569 183363 759436 | 2147483647 38535 22 | 0.000 % |
36.38/36.44 c | 38769 | 14569 183363 759436 | 2147483647 38769 22 | 0.000 % |
36.78/36.86 c | 39025 | 14569 183363 759436 | 2147483647 39025 22 | 0.000 % |
36.98/37.08 c | 39306 | 14569 183363 759436 | 2147483647 39306 22 | 0.000 % |
37.48/37.54 c | 39617 | 14569 183363 759436 | 2147483647 39617 22 | 0.000 % |
37.68/37.81 c | 39958 | 14569 183363 759436 | 2147483647 39958 22 | 0.000 % |
38.18/38.25 c | 40330 | 14569 183363 759436 | 2147483647 40330 22 | 0.000 % |
38.58/38.69 c | 40739 | 14569 183363 759436 | 2147483647 40739 22 | 0.000 % |
39.48/39.53 c | 41188 | 14569 183363 759436 | 2147483647 41188 23 | 0.000 % |
40.28/40.38 c | 41683 | 14569 183363 759436 | 2147483647 41683 23 | 0.000 % |
40.88/41.02 c | 42225 | 14569 183363 759436 | 2147483647 42225 23 | 0.000 % |
41.68/41.72 c | 42825 | 14569 183363 759436 | 2147483647 42825 23 | 0.000 % |
41.78/41.86 c | 42927 | 14569 183363 759436 | 2147483647 42927 23 | 0.000 % |
41.88/41.95 c | 43037 | 14569 183363 759436 | 2147483647 43037 23 | 0.000 % |
41.98/42.05 c | 43158 | 14569 183363 759436 | 2147483647 43158 23 | 0.000 % |
42.08/42.18 c | 43291 | 14569 183363 759436 | 2147483647 43291 23 | 0.000 % |
42.28/42.39 c | 43437 | 14569 183363 759436 | 2147483647 43437 23 | 0.000 % |
42.38/42.48 c | 43597 | 14569 183363 759436 | 2147483647 43597 23 | 0.000 % |
42.48/42.59 c | 43774 | 14569 183363 759436 | 2147483647 43774 23 | 0.000 % |
42.58/42.71 c | 43968 | 14569 183363 759436 | 2147483647 43968 23 | 0.000 % |
42.78/42.90 c | 44181 | 14569 183363 759436 | 2147483647 44181 23 | 0.000 % |
42.98/43.11 c | 44414 | 14569 183363 759436 | 2147483647 44414 23 | 0.000 % |
43.28/43.33 c | 44670 | 14569 183363 759436 | 2147483647 44670 23 | 0.000 % |
43.68/43.73 c | 44952 | 14569 183363 759436 | 2147483647 44952 23 | 0.000 % |
43.88/43.92 c | 45261 | 14569 183363 759436 | 2147483647 45261 23 | 0.000 % |
44.18/44.23 c | 45600 | 14569 183363 759436 | 2147483647 45600 23 | 0.000 % |
44.78/44.86 c | 45974 | 14569 183363 759436 | 2147483647 45974 23 | 0.000 % |
45.58/45.66 c | 46383 | 14569 183363 759436 | 2147483647 46383 24 | 0.000 % |
46.18/46.30 c | 46833 | 14569 183363 759436 | 2147483647 46833 24 | 0.000 % |
46.68/46.80 c | 47329 | 14569 183363 759436 | 2147483647 47329 24 | 0.000 % |
47.18/47.26 c | 47872 | 14569 183363 759436 | 2147483647 47872 24 | 0.000 % |
47.78/47.89 c | 48468 | 14569 183363 759436 | 2147483647 48468 23 | 0.000 % |
48.78/48.85 c | 49126 | 14569 183363 759436 | 2147483647 49126 24 | 0.000 % |
48.98/49.05 c | 49226 | 14569 183363 759436 | 2147483647 49226 24 | 0.000 % |
49.08/49.16 c | 49336 | 14569 183363 759436 | 2147483647 49336 24 | 0.000 % |
49.18/49.30 c | 49458 | 14569 183363 759436 | 2147483647 49458 24 | 0.000 % |
49.28/49.40 c | 49591 | 14569 183363 759436 | 2147483647 49591 24 | 0.000 % |
49.48/49.54 c | 49737 | 14569 183363 759436 | 2147483647 49737 24 | 0.000 % |
49.68/49.73 c | 49898 | 14569 183363 759436 | 2147483647 49898 24 | 0.000 % |
49.88/50.00 c | 50076 | 14569 183363 759436 | 2147483647 50076 24 | 0.000 % |
50.18/50.25 c | 50270 | 14569 183363 759436 | 2147483647 50270 24 | 0.000 % |
50.48/50.56 c | 50483 | 14569 183363 759436 | 2147483647 50483 24 | 0.000 % |
50.78/50.88 c | 50716 | 14569 183363 759436 | 2147483647 50716 24 | 0.000 % |
51.18/51.26 c | 50972 | 14569 183363 759436 | 2147483647 50972 24 | 0.000 % |
51.48/51.53 c | 51253 | 14569 183363 759436 | 2147483647 51253 24 | 0.000 % |
51.88/51.92 c | 51562 | 14569 183363 759436 | 2147483647 51562 24 | 0.000 % |
52.08/52.18 c | 51902 | 14569 183363 759436 | 2147483647 51902 24 | 0.000 % |
52.48/52.58 c | 52275 | 14569 183363 759436 | 2147483647 52275 24 | 0.000 % |
53.18/53.30 c | 52685 | 14569 183363 759436 | 2147483647 52685 24 | 0.000 % |
53.68/53.77 c | 53135 | 14569 183363 759436 | 2147483647 53135 24 | 0.000 % |
54.58/54.65 c | 53628 | 14569 183363 759436 | 2147483647 53628 24 | 0.000 % |
55.18/55.32 c | 54171 | 14569 183363 759436 | 2147483647 54171 24 | 0.000 % |
56.08/56.15 c | 54767 | 14569 183363 759436 | 2147483647 54767 24 | 0.000 % |
56.58/56.70 c | 55423 | 14569 183363 759436 | 2147483647 55423 24 | 0.000 % |
57.18/57.29 c | 56143 | 14569 183363 759436 | 2147483647 56143 24 | 0.000 % |
57.28/57.39 c | 56243 | 14569 183363 759436 | 2147483647 56243 24 | 0.000 % |
57.38/57.48 c | 56355 | 14569 183363 759436 | 2147483647 56355 24 | 0.000 % |
57.48/57.58 c | 56476 | 14569 183363 759436 | 2147483647 56476 24 | 0.000 % |
57.58/57.68 c | 56609 | 14569 183363 759436 | 2147483647 56609 24 | 0.000 % |
57.78/57.89 c | 56755 | 14569 183363 759436 | 2147483647 56755 24 | 0.000 % |
57.98/58.08 c | 56919 | 14569 183363 759436 | 2147483647 56919 24 | 0.000 % |
58.28/58.32 c | 57095 | 14569 183363 759436 | 2147483647 57095 24 | 0.000 % |
58.38/58.48 c | 57289 | 14569 183363 759436 | 2147483647 57289 24 | 0.000 % |
58.68/58.73 c | 57501 | 14569 183363 759436 | 2147483647 57501 24 | 0.000 % |
58.88/58.95 c | 57736 | 14569 183363 759436 | 2147483647 57736 24 | 0.000 % |
59.08/59.20 c | 57992 | 14569 183363 759436 | 2147483647 57992 24 | 0.000 % |
59.48/59.59 c | 58273 | 14569 183363 759436 | 2147483647 58273 24 | 0.000 % |
59.78/59.89 c | 58583 | 14569 183363 759436 | 2147483647 58583 24 | 0.000 % |
60.18/60.22 c | 58922 | 14569 183363 759436 | 2147483647 58922 24 | 0.000 % |
60.58/60.68 c | 59296 | 14569 183363 759436 | 2147483647 59296 24 | 0.000 % |
61.18/61.22 c | 59705 | 14569 183363 759436 | 2147483647 59705 24 | 0.000 % |
61.78/61.89 c | 60154 | 14569 183363 759436 | 2147483647 60154 24 | 0.000 % |
62.68/62.73 c | 60649 | 14569 183363 759436 | 2147483647 60649 24 | 0.000 % |
63.18/63.31 c | 61191 | 14569 183363 759436 | 2147483647 61191 24 | 0.000 % |
64.08/64.12 c | 61787 | 14569 183363 759436 | 2147483647 61787 24 | 0.000 % |
64.68/64.72 c | 62442 | 14569 183363 759436 | 2147483647 62442 24 | 0.000 % |
65.28/65.35 c | 63162 | 14569 183363 759436 | 2147483647 63162 24 | 0.000 % |
65.98/66.04 c | 63955 | 14569 183363 759436 | 2147483647 63955 24 | 0.000 % |
66.08/66.13 c | 64055 | 14569 183363 759436 | 2147483647 64055 24 | 0.000 % |
66.18/66.24 c | 64165 | 14569 183363 759436 | 2147483647 64165 24 | 0.000 % |
66.28/66.38 c | 64286 | 14569 183363 759436 | 2147483647 64286 24 | 0.000 % |
66.38/66.50 c | 64423 | 14569 183363 759436 | 2147483647 64423 24 | 0.000 % |
66.68/66.73 c | 64571 | 14569 183363 759436 | 2147483647 64571 24 | 0.000 % |
66.88/66.93 c | 64733 | 14569 183363 759436 | 2147483647 64733 24 | 0.000 % |
67.08/67.16 c | 64911 | 14569 183363 759436 | 2147483647 64911 24 | 0.000 % |
67.28/67.36 c | 65104 | 14569 183363 759436 | 2147483647 65104 24 | 0.000 % |
67.38/67.50 c | 65322 | 14569 183363 759436 | 2147483647 65322 24 | 0.000 % |
67.68/67.72 c | 65556 | 14569 183363 759436 | 2147483647 65556 24 | 0.000 % |
67.88/68.01 c | 65813 | 14569 183363 759436 | 2147483647 65813 24 | 0.000 % |
68.18/68.24 c | 66094 | 14569 183363 759436 | 2147483647 66094 24 | 0.000 % |
68.58/68.68 c | 66404 | 14569 183363 759436 | 2147483647 66404 24 | 0.000 % |
68.98/69.02 c | 66743 | 14569 183363 759436 | 2147483647 66743 24 | 0.000 % |
69.48/69.57 c | 67115 | 14569 183363 759436 | 2147483647 67115 24 | 0.000 % |
70.28/70.38 c | 67525 | 14569 183363 759436 | 2147483647 67525 24 | 0.000 % |
70.68/70.77 c | 67975 | 14569 183363 759436 | 2147483647 67975 24 | 0.000 % |
71.18/71.23 c | 68469 | 14569 183363 759436 | 2147483647 68469 24 | 0.000 % |
71.78/71.82 c | 69011 | 14569 183363 759436 | 2147483647 69011 24 | 0.000 % |
72.28/72.34 c | 69610 | 14569 183363 759436 | 2147483647 69610 24 | 0.000 % |
73.18/73.29 c | 70266 | 14569 183363 759436 | 2147483647 70266 24 | 0.000 % |
73.98/74.06 c | 70986 | 14569 183363 759436 | 2147483647 70986 24 | 0.000 % |
74.88/75.00 c | 71779 | 14569 183363 759436 | 2147483647 71779 24 | 0.000 % |
75.98/76.11 c | 72650 | 14569 183363 759436 | 2147483647 72650 24 | 0.000 % |
76.18/76.22 c | 72750 | 14569 183363 759436 | 2147483647 72750 24 | 0.000 % |
76.18/76.31 c | 72861 | 14569 183363 759436 | 2147483647 72861 24 | 0.000 % |
76.38/76.47 c | 72983 | 14569 183363 759436 | 2147483647 72983 24 | 0.000 % |
76.58/76.62 c | 73117 | 14569 183363 759436 | 2147483647 73117 24 | 0.000 % |
76.78/76.84 c | 73264 | 14569 183363 759436 | 2147483647 73264 24 | 0.000 % |
77.08/77.16 c | 73424 | 14569 183363 759436 | 2147483647 73424 24 | 0.000 % |
77.38/77.42 c | 73601 | 14569 183363 759436 | 2147483647 73601 24 | 0.000 % |
77.48/77.58 c | 73794 | 14569 183363 759436 | 2147483647 73794 24 | 0.000 % |
77.78/77.85 c | 74006 | 14569 183363 759436 | 2147483647 74006 24 | 0.000 % |
78.08/78.12 c | 74239 | 14569 183363 759436 | 2147483647 74239 24 | 0.000 % |
78.58/78.66 c | 74496 | 14569 183363 759436 | 2147483647 74496 24 | 0.000 % |
78.88/78.96 c | 74777 | 14569 183363 759436 | 2147483647 74777 24 | 0.000 % |
79.28/79.40 c | 75086 | 14569 183363 759436 | 2147483647 75086 24 | 0.000 % |
79.78/79.84 c | 75427 | 14569 183363 759436 | 2147483647 75427 24 | 0.000 % |
80.18/80.25 c | 75800 | 14569 183363 759436 | 2147483647 75800 24 | 0.000 % |
80.68/80.72 c | 76211 | 14569 183363 759436 | 2147483647 76211 24 | 0.000 % |
80.98/81.09 c | 76660 | 14569 183363 759436 | 2147483647 76660 24 | 0.000 % |
81.58/81.65 c | 77153 | 14569 183363 759436 | 2147483647 77153 24 | 0.000 % |
82.18/82.31 c | 77695 | 14569 183363 759436 | 2147483647 77695 24 | 0.000 % |
82.98/83.03 c | 78292 | 14569 183363 759436 | 2147483647 78292 24 | 0.000 % |
84.08/84.17 c | 78947 | 14569 183363 759436 | 2147483647 78947 24 | 0.000 % |
85.28/85.34 c | 79667 | 14569 183363 759436 | 2147483647 79667 24 | 0.000 % |
86.58/86.63 c | 80459 | 14569 183363 759436 | 2147483647 80459 25 | 0.000 % |
87.68/87.79 c | 81331 | 14569 183363 759436 | 2147483647 81331 24 | 0.000 % |
89.48/89.52 c | 82289 | 14569 183363 759436 | 2147483647 82289 25 | 0.000 % |
89.58/89.62 c | 82390 | 14569 183363 759436 | 2147483647 82390 25 | 0.000 % |
89.68/89.77 c | 82501 | 14569 183363 759436 | 2147483647 82501 25 | 0.000 % |
89.88/89.92 c | 82623 | 14569 183363 759436 | 2147483647 82623 25 | 0.000 % |
89.88/90.01 c | 82758 | 14569 183363 759436 | 2147483647 82758 25 | 0.000 % |
90.08/90.19 c | 82906 | 14569 183363 759436 | 2147483647 82906 25 | 0.000 % |
90.38/90.43 c | 83068 | 14569 183363 759436 | 2147483647 83068 25 | 0.000 % |
90.58/90.66 c | 83244 | 14569 183363 759436 | 2147483647 83244 25 | 0.000 % |
90.78/90.85 c | 83437 | 14569 183363 759436 | 2147483647 83437 25 | 0.000 % |
90.98/91.11 c | 83649 | 14569 183363 759436 | 2147483647 83649 25 | 0.000 % |
91.38/91.49 c | 83883 | 14569 183363 759436 | 2147483647 83883 25 | 0.000 % |
91.68/91.77 c | 84140 | 14569 183363 759436 | 2147483647 84140 25 | 0.000 % |
92.08/92.18 c | 84421 | 14569 183363 759436 | 2147483647 84421 25 | 0.000 % |
92.58/92.67 c | 84731 | 14569 183363 759436 | 2147483647 84731 25 | 0.000 % |
92.98/93.07 c | 85071 | 14569 183363 759436 | 2147483647 85071 25 | 0.000 % |
93.38/93.43 c | 85444 | 14569 183363 759436 | 2147483647 85444 24 | 0.000 % |
94.18/94.25 c | 85855 | 14569 183363 759436 | 2147483647 85855 25 | 0.000 % |
94.88/94.94 c | 86304 | 14569 183363 759436 | 2147483647 86304 25 | 0.000 % |
95.68/95.80 c | 86797 | 14569 183363 759436 | 2147483647 86797 25 | 0.000 % |
96.78/96.91 c | 87340 | 14569 183363 759436 | 2147483647 87340 25 | 0.000 % |
97.68/97.81 c | 87936 | 14569 183363 759436 | 2147483647 87936 25 | 0.000 % |
98.98/99.05 c | 88591 | 14569 183363 759436 | 2147483647 88591 25 | 0.000 % |
100.19/100.23 c | 89312 | 14569 183363 759436 | 2147483647 89312 25 | 0.000 % |
101.18/101.30 c | 90106 | 14569 183363 759436 | 2147483647 90106 25 | 0.000 % |
102.48/102.57 c | 90977 | 14569 183363 759436 | 2147483647 90977 25 | 0.000 % |
103.68/103.81 c | 91936 | 14569 183363 759436 | 2147483647 91936 25 | 0.000 % |
105.48/105.54 c | 92989 | 14569 183363 759436 | 2147483647 92989 25 | 0.000 % |
105.58/105.63 c | 93089 | 14569 183363 759436 | 2147483647 93089 25 | 0.000 % |
105.69/105.75 c | 93201 | 14569 183363 759436 | 2147483647 93201 25 | 0.000 % |
105.88/105.94 c | 93322 | 14569 183363 759436 | 2147483647 93322 25 | 0.000 % |
106.08/106.19 c | 93455 | 14569 183363 759436 | 2147483647 93455 25 | 0.000 % |
106.28/106.41 c | 93603 | 14569 183363 759436 | 2147483647 93603 25 | 0.000 % |
106.48/106.61 c | 93765 | 14569 183363 759436 | 2147483647 93765 25 | 0.000 % |
106.79/106.83 c | 93941 | 14569 183363 759436 | 2147483647 93941 25 | 0.000 % |
107.08/107.13 c | 94134 | 14569 183363 759436 | 2147483647 94134 25 | 0.000 % |
107.28/107.36 c | 94347 | 14569 183363 759436 | 2147483647 94347 25 | 0.000 % |
107.58/107.69 c | 94580 | 14569 183363 759436 | 2147483647 94580 25 | 0.000 % |
107.78/107.92 c | 94836 | 14569 183363 759436 | 2147483647 94836 25 | 0.000 % |
108.28/108.33 c | 95117 | 14569 183363 759436 | 2147483647 95117 25 | 0.000 % |
108.58/108.71 c | 95426 | 14569 183363 759436 | 2147483647 95426 25 | 0.000 % |
108.99/109.04 c | 95765 | 14569 183363 759436 | 2147483647 95765 25 | 0.000 % |
109.38/109.44 c | 96137 | 14569 183363 759436 | 2147483647 96137 25 | 0.000 % |
109.98/110.08 c | 96546 | 14569 183363 759436 | 2147483647 96546 25 | 0.000 % |
110.88/110.99 c | 96998 | 14569 183363 759436 | 2147483647 96998 25 | 0.000 % |
111.68/111.73 c | 97493 | 14569 183363 759436 | 2147483647 97493 25 | 0.000 % |
112.58/112.70 c | 98035 | 14569 183363 759436 | 2147483647 98035 25 | 0.000 % |
113.68/113.78 c | 98633 | 14569 183363 759436 | 2147483647 98633 25 | 0.000 % |
114.88/114.94 c | 99290 | 14569 183363 759436 | 2147483647 99290 25 | 0.000 % |
116.38/116.46 c | 100010 | 14569 183363 759436 | 2147483647 100010 25 | 0.000 % |
117.88/117.98 c | 100802 | 14569 183363 759436 | 2147483647 100802 25 | 0.000 % |
119.18/119.26 c | 101673 | 14569 183363 759436 | 2147483647 101673 25 | 0.000 % |
120.28/120.41 c | 102631 | 14569 183363 759436 | 2147483647 102631 25 | 0.000 % |
121.58/121.62 c | 103687 | 14569 183363 759436 | 2147483647 103687 25 | 0.000 % |
123.18/123.23 c | 104846 | 14569 183363 759436 | 2147483647 104846 26 | 0.000 % |
123.29/123.33 c | 104947 | 14569 183363 759436 | 2147483647 104947 26 | 0.000 % |
123.48/123.57 c | 105057 | 14569 183363 759436 | 2147483647 105057 26 | 0.000 % |
123.68/123.74 c | 105178 | 14569 183363 759436 | 2147483647 105178 26 | 0.000 % |
123.88/123.94 c | 105311 | 14569 183363 759436 | 2147483647 105311 26 | 0.000 % |
124.08/124.12 c | 105458 | 14569 183363 759436 | 2147483647 105458 25 | 0.000 % |
124.28/124.33 c | 105619 | 14569 183363 759436 | 2147483647 105619 25 | 0.000 % |
124.58/124.67 c | 105797 | 14569 183363 759436 | 2147483647 105797 25 | 0.000 % |
124.88/124.96 c | 105991 | 14569 183363 759436 | 2147483647 105991 26 | 0.000 % |
125.18/125.28 c | 106203 | 14569 183363 759436 | 2147483647 106203 25 | 0.000 % |
125.49/125.57 c | 106437 | 14569 183363 759436 | 2147483647 106437 25 | 0.000 % |
125.98/126.03 c | 106693 | 14569 183363 759436 | 2147483647 106693 25 | 0.000 % |
126.48/126.54 c | 106974 | 14569 183363 759436 | 2147483647 106974 25 | 0.000 % |
127.18/127.21 c | 107284 | 14569 183363 759436 | 2147483647 107284 26 | 0.000 % |
127.58/127.63 c | 107625 | 14569 183363 759436 | 2147483647 107625 25 | 0.000 % |
128.28/128.40 c | 107998 | 14569 183363 759436 | 2147483647 107998 26 | 0.000 % |
129.08/129.17 c | 108407 | 14569 183363 759436 | 2147483647 108407 26 | 0.000 % |
130.08/130.13 c | 108857 | 14569 183363 759436 | 2147483647 108857 26 | 0.000 % |
130.99/131.10 c | 109350 | 14569 183363 759436 | 2147483647 109350 26 | 0.000 % |
132.09/132.15 c | 109892 | 14569 183363 759436 | 2147483647 109892 26 | 0.000 % |
132.88/132.93 c | 110490 | 14569 183363 759436 | 2147483647 110490 26 | 0.000 % |
133.68/133.75 c | 111145 | 14569 183363 759436 | 2147483647 111145 26 | 0.000 % |
134.48/134.52 c | 111865 | 14569 183363 759436 | 2147483647 111865 26 | 0.000 % |
136.08/136.15 c | 112658 | 14569 183363 759436 | 2147483647 112658 26 | 0.000 % |
137.68/137.78 c | 113529 | 14569 183363 759436 | 2147483647 113529 26 | 0.000 % |
139.18/139.30 c | 114490 | 14569 183363 759436 | 2147483647 114490 26 | 0.000 % |
141.38/141.51 c | 115544 | 14569 183363 759436 | 2147483647 115544 26 | 0.000 % |
143.38/143.45 c | 116702 | 14569 183363 759436 | 2147483647 116702 26 | 0.000 % |
145.58/145.66 c | 117975 | 14569 183363 759436 | 2147483647 117975 26 | 0.000 % |
145.78/145.86 c | 118075 | 14569 183363 759436 | 2147483647 118075 26 | 0.000 % |
145.98/146.08 c | 118185 | 14569 183363 759436 | 2147483647 118185 26 | 0.000 % |
146.18/146.30 c | 118306 | 14569 183363 759436 | 2147483647 118306 26 | 0.000 % |
146.58/146.71 c | 118439 | 14569 183363 759436 | 2147483647 118439 26 | 0.000 % |
146.88/146.96 c | 118585 | 14569 183363 759436 | 2147483647 118585 26 | 0.000 % |
147.08/147.17 c | 118747 | 14569 183363 759436 | 2147483647 118747 26 | 0.000 % |
147.38/147.45 c | 118925 | 14569 183363 759436 | 2147483647 118925 26 | 0.000 % |
147.78/147.89 c | 119118 | 14569 183363 759436 | 2147483647 119118 26 | 0.000 % |
148.18/148.29 c | 119332 | 14569 183363 759436 | 2147483647 119332 26 | 0.000 % |
148.48/148.56 c | 119566 | 14569 183363 759436 | 2147483647 119566 26 | 0.000 % |
149.08/149.11 c | 119822 | 14569 183363 759436 | 2147483647 119822 26 | 0.000 % |
149.48/149.58 c | 120103 | 14569 183363 759436 | 2147483647 120103 26 | 0.000 % |
150.18/150.28 c | 120412 | 14569 183363 759436 | 2147483647 120412 26 | 0.000 % |
150.68/150.82 c | 120753 | 14569 183363 759436 | 2147483647 120753 26 | 0.000 % |
151.18/151.25 c | 121125 | 14569 183363 759436 | 2147483647 121125 26 | 0.000 % |
151.78/151.84 c | 121535 | 14569 183363 759436 | 2147483647 121535 26 | 0.000 % |
152.28/152.34 c | 121984 | 14569 183363 759436 | 2147483647 121984 26 | 0.000 % |
153.09/153.14 c | 122477 | 14569 183363 759436 | 2147483647 122477 26 | 0.000 % |
153.89/153.99 c | 123019 | 14569 183363 759436 | 2147483647 123019 26 | 0.000 % |
154.99/155.11 c | 123615 | 14569 183363 759436 | 2147483647 123615 26 | 0.000 % |
155.99/156.10 c | 124270 | 14569 183363 759436 | 2147483647 124270 26 | 0.000 % |
157.59/157.69 c | 124991 | 14569 183363 759436 | 2147483647 124991 26 | 0.000 % |
158.99/159.08 c | 125784 | 14569 183363 759436 | 2147483647 125784 26 | 0.000 % |
161.09/161.20 c | 126655 | 14569 183363 759436 | 2147483647 126655 26 | 0.000 % |
163.19/163.30 c | 127615 | 14569 183363 759436 | 2147483647 127615 26 | 0.000 % |
164.69/164.80 c | 128670 | 14569 183363 759436 | 2147483647 128670 26 | 0.000 % |
167.09/167.21 c | 129828 | 14569 183363 759436 | 2147483647 129828 26 | 0.000 % |
169.99/170.07 c | 131102 | 14569 183363 759436 | 2147483647 131102 26 | 0.000 % |
172.79/172.88 c | 132502 | 14569 183363 759436 | 2147483647 132502 26 | 0.000 % |
173.09/173.12 c | 132602 | 14569 183363 759436 | 2147483647 132602 26 | 0.000 % |
173.29/173.36 c | 132712 | 14569 183363 759436 | 2147483647 132712 26 | 0.000 % |
173.39/173.51 c | 132833 | 14569 183363 759436 | 2147483647 132833 26 | 0.000 % |
173.69/173.79 c | 132966 | 14569 183363 759436 | 2147483647 132966 26 | 0.000 % |
173.99/174.10 c | 133112 | 14569 183363 759436 | 2147483647 133112 26 | 0.000 % |
174.39/174.46 c | 133273 | 14569 183363 759436 | 2147483647 133273 26 | 0.000 % |
174.69/174.81 c | 133449 | 14569 183363 759436 | 2147483647 133449 26 | 0.000 % |
174.99/175.10 c | 133644 | 14569 183363 759436 | 2147483647 133644 26 | 0.000 % |
175.39/175.44 c | 133862 | 14569 183363 759436 | 2147483647 133862 26 | 0.000 % |
175.79/175.86 c | 134096 | 14569 183363 759436 | 2147483647 134096 26 | 0.000 % |
176.19/176.23 c | 134354 | 14569 183363 759436 | 2147483647 134354 26 | 0.000 % |
176.69/176.73 c | 134635 | 14569 183363 759436 | 2147483647 134635 26 | 0.000 % |
177.19/177.27 c | 134944 | 14569 183363 759436 | 2147483647 134944 26 | 0.000 % |
177.79/177.88 c | 135285 | 14569 183363 759436 | 2147483647 135285 26 | 0.000 % |
178.39/178.43 c | 135659 | 14569 183363 759436 | 2147483647 135659 26 | 0.000 % |
179.19/179.24 c | 136071 | 14569 183363 759436 | 2147483647 136071 26 | 0.000 % |
179.89/179.97 c | 136520 | 14569 183363 759436 | 2147483647 136520 26 | 0.000 % |
180.39/180.52 c | 137013 | 14569 183363 759436 | 2147483647 137013 26 | 0.000 % |
181.49/181.60 c | 137556 | 14569 183363 759436 | 2147483647 137556 26 | 0.000 % |
182.09/182.19 c | 138154 | 14569 183363 759436 | 2147483647 138154 26 | 0.000 % |
183.19/183.28 c | 138809 | 14569 183363 759436 | 2147483647 138809 26 | 0.000 % |
184.19/184.29 c | 139529 | 14569 183363 759436 | 2147483647 139529 26 | 0.000 % |
185.29/185.33 c | 140321 | 14569 183363 759436 | 2147483647 140321 26 | 0.000 % |
186.59/186.62 c | 141192 | 14569 183363 759436 | 2147483647 141192 26 | 0.000 % |
187.99/188.12 c | 142151 | 14569 183363 759436 | 2147483647 142151 26 | 0.000 % |
189.59/189.65 c | 143204 | 14569 183363 759436 | 2147483647 143204 26 | 0.000 % |
191.69/191.82 c | 144362 | 14569 183363 759436 | 2147483647 144362 26 | 0.000 % |
194.59/194.72 c | 145635 | 14569 183363 759436 | 2147483647 145635 26 | 0.000 % |
197.79/197.84 c | 147038 | 14569 183363 759436 | 2147483647 147038 27 | 0.000 % |
201.29/201.39 c | 148579 | 14569 183363 759436 | 2147483647 148579 27 | 0.000 % |
201.49/201.60 c | 148682 | 14569 183363 759436 | 2147483647 148682 27 | 0.000 % |
201.79/201.83 c | 148793 | 14569 183363 759436 | 2147483647 148793 27 | 0.000 % |
201.99/202.08 c | 148915 | 14569 183363 759436 | 2147483647 148915 27 | 0.000 % |
202.39/202.42 c | 149051 | 14569 183363 759436 | 2147483647 149051 27 | 0.000 % |
202.69/202.80 c | 149199 | 14569 183363 759436 | 2147483647 149199 27 | 0.000 % |
203.09/203.21 c | 149359 | 14569 183363 759436 | 2147483647 149359 27 | 0.000 % |
203.49/203.61 c | 149535 | 14569 183363 759436 | 2147483647 149535 27 | 0.000 % |
203.79/203.91 c | 149729 | 14569 183363 759436 | 2147483647 149729 27 | 0.000 % |
204.19/204.28 c | 149941 | 14569 183363 759436 | 2147483647 149941 27 | 0.000 % |
205.09/205.20 c | 150174 | 14569 183363 759436 | 2147483647 150174 27 | 0.000 % |
206.09/206.18 c | 150432 | 14569 183363 759436 | 2147483647 150432 27 | 0.000 % |
206.99/207.07 c | 150716 | 14569 183363 759436 | 2147483647 150716 27 | 0.000 % |
207.79/207.84 c | 151025 | 14569 183363 759436 | 2147483647 151025 27 | 0.000 % |
208.69/208.75 c | 151365 | 14569 183363 759436 | 2147483647 151365 27 | 0.000 % |
209.69/209.73 c | 151737 | 14569 183363 759436 | 2147483647 151737 27 | 0.000 % |
210.59/210.71 c | 152149 | 14569 183363 759436 | 2147483647 152149 27 | 0.000 % |
211.79/211.85 c | 152599 | 14569 183363 759436 | 2147483647 152599 27 | 0.000 % |
212.59/212.67 c | 153092 | 14569 183363 759436 | 2147483647 153092 27 | 0.000 % |
213.39/213.51 c | 153634 | 14569 183363 759436 | 2147483647 153634 27 | 0.000 % |
214.29/214.40 c | 154230 | 14569 183363 759436 | 2147483647 154230 27 | 0.000 % |
215.39/215.43 c | 154885 | 14569 183363 759436 | 2147483647 154885 27 | 0.000 % |
216.59/216.69 c | 155607 | 14569 183363 759436 | 2147483647 155607 27 | 0.000 % |
217.69/217.73 c | 156399 | 14569 183363 759436 | 2147483647 156399 27 | 0.000 % |
219.49/219.60 c | 157270 | 14569 183363 759436 | 2147483647 157270 27 | 0.000 % |
221.79/221.89 c | 158232 | 14569 183363 759436 | 2147483647 158232 27 | 0.000 % |
224.50/224.55 c | 159287 | 14569 183363 759436 | 2147483647 159287 27 | 0.000 % |
227.29/227.38 c | 160445 | 14569 183363 759436 | 2147483647 160445 27 | 0.000 % |
230.39/230.50 c | 161719 | 14569 183363 759436 | 2147483647 161719 27 | 0.000 % |
233.39/233.44 c | 163119 | 14569 183363 759436 | 2147483647 163119 27 | 0.000 % |
236.29/236.38 c | 164659 | 14569 183363 759436 | 2147483647 164659 27 | 0.000 % |
240.89/240.98 c | 166355 | 14569 183363 759436 | 2147483647 166355 27 | 0.000 % |
241.29/241.32 c | 166456 | 14569 183363 759436 | 2147483647 166456 27 | 0.000 % |
241.59/241.65 c | 166567 | 14569 183363 759436 | 2147483647 166567 27 | 0.000 % |
241.79/241.87 c | 166689 | 14569 183363 759436 | 2147483647 166689 27 | 0.000 % |
242.19/242.22 c | 166823 | 14569 183363 759436 | 2147483647 166823 27 | 0.000 % |
242.49/242.61 c | 166970 | 14569 183363 759436 | 2147483647 166970 27 | 0.000 % |
242.89/242.92 c | 167133 | 14569 183363 759436 | 2147483647 167133 27 | 0.000 % |
243.29/243.32 c | 167310 | 14569 183363 759436 | 2147483647 167310 27 | 0.000 % |
243.69/243.78 c | 167503 | 14569 183363 759436 | 2147483647 167503 27 | 0.000 % |
244.09/244.19 c | 167717 | 14569 183363 759436 | 2147483647 167717 27 | 0.000 % |
244.69/244.77 c | 167952 | 14569 183363 759436 | 2147483647 167952 27 | 0.000 % |
245.19/245.25 c | 168208 | 14569 183363 759436 | 2147483647 168208 27 | 0.000 % |
245.69/245.79 c | 168489 | 14569 183363 759436 | 2147483647 168489 27 | 0.000 % |
246.29/246.39 c | 168799 | 14569 183363 759436 | 2147483647 168799 27 | 0.000 % |
247.09/247.13 c | 169142 | 14569 183363 759436 | 2147483647 169142 27 | 0.000 % |
247.60/247.68 c | 169515 | 14569 183363 759436 | 2147483647 169515 27 | 0.000 % |
248.49/248.54 c | 169924 | 14569 183363 759436 | 2147483647 169924 27 | 0.000 % |
249.29/249.39 c | 170373 | 14569 183363 759436 | 2147483647 170373 27 | 0.000 % |
250.29/250.35 c | 170866 | 14569 183363 759436 | 2147483647 170866 27 | 0.000 % |
250.90/250.98 c | 171411 | 14569 183363 759436 | 2147483647 171411 27 | 0.000 % |
251.79/251.87 c | 172007 | 14569 183363 759436 | 2147483647 172007 27 | 0.000 % |
252.79/252.91 c | 172662 | 14569 183363 759436 | 2147483647 172662 27 | 0.000 % |
254.39/254.50 c | 173383 | 14569 183363 759436 | 2147483647 173383 27 | 0.000 % |
255.69/255.78 c | 174176 | 14569 183363 759436 | 2147483647 174176 27 | 0.000 % |
257.39/257.48 c | 175047 | 14569 183363 759436 | 2147483647 175047 27 | 0.000 % |
258.79/258.82 c | 176005 | 14569 183363 759436 | 2147483647 176005 27 | 0.000 % |
260.99/261.10 c | 177058 | 14569 183363 759436 | 2147483647 177058 27 | 0.000 % |
262.79/262.83 c | 178219 | 14569 183363 759436 | 2147483647 178219 27 | 0.000 % |
265.59/265.66 c | 179492 | 14569 183363 759436 | 2147483647 179492 27 | 0.000 % |
268.19/268.29 c | 180896 | 14569 183363 759436 | 2147483647 180896 27 | 0.000 % |
271.59/271.62 c | 182438 | 14569 183363 759436 | 2147483647 182438 27 | 0.000 % |
274.69/274.77 c | 184134 | 14569 183363 759436 | 2147483647 184134 27 | 0.000 % |
278.30/278.36 c | 185997 | 14569 183363 759436 | 2147483647 185997 27 | 0.000 % |
278.50/278.53 c | 186097 | 14569 183363 759436 | 2147483647 186097 27 | 0.000 % |
278.70/278.80 c | 186209 | 14569 183363 759436 | 2147483647 186209 27 | 0.000 % |
279.10/279.14 c | 186330 | 14569 183363 759436 | 2147483647 186330 27 | 0.000 % |
279.40/279.45 c | 186464 | 14569 183363 759436 | 2147483647 186464 27 | 0.000 % |
279.70/279.76 c | 186613 | 14569 183363 759436 | 2147483647 186613 27 | 0.000 % |
280.00/280.05 c | 186774 | 14569 183363 759436 | 2147483647 186774 27 | 0.000 % |
280.30/280.41 c | 186950 | 14569 183363 759436 | 2147483647 186950 27 | 0.000 % |
280.70/280.77 c | 187144 | 14569 183363 759436 | 2147483647 187144 27 | 0.000 % |
281.10/281.16 c | 187357 | 14569 183363 759436 | 2147483647 187357 27 | 0.000 % |
281.60/281.64 c | 187590 | 14569 183363 759436 | 2147483647 187590 27 | 0.000 % |
282.10/282.19 c | 187846 | 14569 183363 759436 | 2147483647 187846 27 | 0.000 % |
282.90/282.99 c | 188130 | 14569 183363 759436 | 2147483647 188130 27 | 0.000 % |
283.90/284.02 c | 188443 | 14569 183363 759436 | 2147483647 188443 27 | 0.000 % |
285.20/285.28 c | 188783 | 14569 183363 759436 | 2147483647 188783 27 | 0.000 % |
286.30/286.38 c | 189158 | 14569 183363 759436 | 2147483647 189158 27 | 0.000 % |
287.00/287.09 c | 189568 | 14569 183363 759436 | 2147483647 189568 27 | 0.000 % |
287.60/287.65 c | 190017 | 14569 183363 759436 | 2147483647 190017 27 | 0.000 % |
288.40/288.44 c | 190511 | 14569 183363 759436 | 2147483647 190511 27 | 0.000 % |
289.20/289.31 c | 191053 | 14569 183363 759436 | 2147483647 191053 27 | 0.000 % |
290.90/290.99 c | 191649 | 14569 183363 759436 | 2147483647 191649 27 | 0.000 % |
292.60/292.66 c | 192305 | 14569 183363 759436 | 2147483647 192305 27 | 0.000 % |
295.00/295.02 c | 193025 | 14569 183363 759436 | 2147483647 193025 27 | 0.000 % |
297.30/297.40 c | 193817 | 14569 183363 759436 | 2147483647 193817 27 | 0.000 % |
299.80/299.82 c | 194689 | 14569 183363 759436 | 2147483647 194689 27 | 0.000 % |
301.80/301.90 c | 195648 | 14569 183363 759436 | 2147483647 195648 27 | 0.000 % |
304.09/304.14 c | 196702 | 14569 183363 759436 | 2147483647 196702 27 | 0.000 % |
306.79/306.86 c | 197860 | 14569 183363 759436 | 2147483647 197860 27 | 0.000 % |
309.89/309.93 c | 199134 | 14569 183363 759436 | 2147483647 199134 27 | 0.000 % |
313.19/313.22 c | 200536 | 14569 183363 759436 | 2147483647 200536 27 | 0.000 % |
316.89/316.97 c | 202077 | 14569 183363 759436 | 2147483647 202077 27 | 0.000 % |
322.49/322.52 c | 203774 | 14569 183363 759436 | 2147483647 203774 27 | 0.000 % |
326.29/326.38 c | 205637 | 14569 183363 759436 | 2147483647 205637 27 | 0.000 % |
331.99/332.04 c | 207686 | 14569 183363 759436 | 2147483647 207686 27 | 0.000 % |
332.19/332.22 c | 207786 | 14569 183363 759436 | 2147483647 207786 27 | 0.000 % |
332.29/332.39 c | 207897 | 14569 183363 759436 | 2147483647 207897 27 | 0.000 % |
332.69/332.71 c | 208019 | 14569 183363 759436 | 2147483647 208019 27 | 0.000 % |
332.89/333.00 c | 208153 | 14569 183363 759436 | 2147483647 208153 27 | 0.000 % |
333.29/333.38 c | 208300 | 14569 183363 759436 | 2147483647 208300 27 | 0.000 % |
333.49/333.57 c | 208463 | 14569 183363 759436 | 2147483647 208463 27 | 0.000 % |
333.99/334.11 c | 208640 | 14569 183363 759436 | 2147483647 208640 27 | 0.000 % |
334.49/334.55 c | 208833 | 14569 183363 759436 | 2147483647 208833 27 | 0.000 % |
335.09/335.11 c | 209045 | 14569 183363 759436 | 2147483647 209045 27 | 0.000 % |
335.59/335.62 c | 209278 | 14569 183363 759436 | 2147483647 209278 27 | 0.000 % |
336.09/336.13 c | 209534 | 14569 183363 759436 | 2147483647 209534 27 | 0.000 % |
336.89/336.92 c | 209815 | 14569 183363 759436 | 2147483647 209815 27 | 0.000 % |
337.49/337.60 c | 210124 | 14569 183363 759436 | 2147483647 210124 27 | 0.000 % |
338.09/338.18 c | 210463 | 14569 183363 759436 | 2147483647 210463 27 | 0.000 % |
338.89/338.94 c | 210835 | 14569 183363 759436 | 2147483647 210835 27 | 0.000 % |
339.79/339.88 c | 211245 | 14569 183363 759436 | 2147483647 211245 27 | 0.000 % |
340.99/341.10 c | 211699 | 14569 183363 759436 | 2147483647 211699 27 | 0.000 % |
342.29/342.34 c | 212193 | 14569 183363 759436 | 2147483647 212193 27 | 0.000 % |
343.29/343.40 c | 212737 | 14569 183363 759436 | 2147483647 212737 27 | 0.000 % |
344.49/344.56 c | 213333 | 14569 183363 759436 | 2147483647 213333 27 | 0.000 % |
346.19/346.27 c | 213991 | 14569 183363 759436 | 2147483647 213991 27 | 0.000 % |
347.99/348.08 c | 214711 | 14569 183363 759436 | 2147483647 214711 27 | 0.000 % |
349.90/349.97 c | 215503 | 14569 183363 759436 | 2147483647 215503 27 | 0.000 % |
351.79/351.89 c | 216374 | 14569 183363 759436 | 2147483647 216374 27 | 0.000 % |
353.49/353.56 c | 217333 | 14569 183363 759436 | 2147483647 217333 27 | 0.000 % |
355.29/355.39 c | 218386 | 14569 183363 759436 | 2147483647 218386 27 | 0.000 % |
357.79/357.83 c | 219544 | 14569 183363 759436 | 2147483647 219544 27 | 0.000 % |
360.29/360.35 c | 220819 | 14569 183363 759436 | 2147483647 220819 28 | 0.000 % |
363.29/363.40 c | 222219 | 14569 183363 759436 | 2147483647 222219 27 | 0.000 % |
366.99/367.10 c | 223759 | 14569 183363 759436 | 2147483647 223759 28 | 0.000 % |
372.79/372.81 c | 225453 | 14569 183363 759436 | 2147483647 225453 28 | 0.000 % |
378.19/378.30 c | 227316 | 14569 183363 759436 | 2147483647 227316 28 | 0.000 % |
384.59/384.70 c | 229365 | 14569 183363 759436 | 2147483647 229365 28 | 0.000 % |
391.39/391.46 c | 231619 | 14569 183363 759436 | 2147483647 231619 28 | 0.000 % |
391.59/391.69 c | 231719 | 14569 183363 759436 | 2147483647 231719 28 | 0.000 % |
391.79/391.87 c | 231832 | 14569 183363 759436 | 2147483647 231832 28 | 0.000 % |
392.09/392.21 c | 231953 | 14569 183363 759436 | 2147483647 231953 28 | 0.000 % |
392.39/392.45 c | 232087 | 14569 183363 759436 | 2147483647 232087 28 | 0.000 % |
392.69/392.77 c | 232233 | 14569 183363 759436 | 2147483647 232233 28 | 0.000 % |
393.19/393.23 c | 232393 | 14569 183363 759436 | 2147483647 232393 28 | 0.000 % |
393.59/393.65 c | 232569 | 14569 183363 759436 | 2147483647 232569 28 | 0.000 % |
394.09/394.21 c | 232762 | 14569 183363 759436 | 2147483647 232762 28 | 0.000 % |
394.49/394.60 c | 232974 | 14569 183363 759436 | 2147483647 232974 28 | 0.000 % |
395.09/395.19 c | 233208 | 14569 183363 759436 | 2147483647 233208 28 | 0.000 % |
395.59/395.66 c | 233464 | 14569 183363 759436 | 2147483647 233464 28 | 0.000 % |
396.10/396.15 c | 233745 | 14569 183363 759436 | 2147483647 233745 28 | 0.000 % |
396.79/396.83 c | 234054 | 14569 183363 759436 | 2147483647 234054 28 | 0.000 % |
397.39/397.50 c | 234393 | 14569 183363 759436 | 2147483647 234393 28 | 0.000 % |
398.59/398.63 c | 234766 | 14569 183363 759436 | 2147483647 234766 28 | 0.000 % |
399.29/399.34 c | 235176 | 14569 183363 759436 | 2147483647 235176 28 | 0.000 % |
400.29/400.33 c | 235628 | 14569 183363 759436 | 2147483647 235628 28 | 0.000 % |
401.69/401.79 c | 236123 | 14569 183363 759436 | 2147483647 236123 28 | 0.000 % |
403.19/403.28 c | 236665 | 14569 183363 759436 | 2147483647 236665 28 | 0.000 % |
405.50/405.55 c | 237262 | 14569 183363 759436 | 2147483647 237262 28 | 0.000 % |
408.00/408.06 c | 237917 | 14569 183363 759436 | 2147483647 237917 28 | 0.000 % |
410.50/410.56 c | 238639 | 14569 183363 759436 | 2147483647 238639 28 | 0.000 % |
413.30/413.33 c | 239432 | 14569 183363 759436 | 2147483647 239432 28 | 0.000 % |
416.90/416.96 c | 240304 | 14569 183363 759436 | 2147483647 240304 28 | 0.000 % |
420.30/420.39 c | 241262 | 14569 183363 759436 | 2147483647 241262 28 | 0.000 % |
424.20/424.25 c | 242317 | 14569 183363 759436 | 2147483647 242317 28 | 0.000 % |
427.50/427.56 c | 243477 | 14569 183363 759436 | 2147483647 243477 28 | 0.000 % |
430.90/431.01 c | 244750 | 14569 183363 759436 | 2147483647 244750 28 | 0.000 % |
435.70/435.80 c | 246150 | 14569 183363 759436 | 2147483647 246150 28 | 0.000 % |
439.40/439.45 c | 247690 | 14569 183363 759436 | 2147483647 247690 28 | 0.000 % |
443.50/443.57 c | 249384 | 14569 183363 759436 | 2147483647 249384 28 | 0.000 % |
449.10/449.16 c | 251247 | 14569 183363 759436 | 2147483647 251247 28 | 0.000 % |
454.30/454.32 c | 253300 | 14569 183363 759436 | 2147483647 253300 28 | 0.000 % |
460.90/460.99 c | 255553 | 14569 183363 759436 | 2147483647 255553 28 | 0.000 % |
468.60/468.65 c | 258031 | 14569 183363 759436 | 2147483647 258031 28 | 0.000 % |
468.90/468.95 c | 258131 | 14569 183363 759436 | 2147483647 258131 28 | 0.000 % |
469.40/469.42 c | 258244 | 14569 183363 759436 | 2147483647 258244 28 | 0.000 % |
469.80/469.87 c | 258365 | 14569 183363 759436 | 2147483647 258365 28 | 0.000 % |
470.20/470.30 c | 258498 | 14569 183363 759436 | 2147483647 258498 28 | 0.000 % |
470.60/470.71 c | 258644 | 14569 183363 759436 | 2147483647 258644 28 | 0.000 % |
471.20/471.27 c | 258805 | 14569 183363 759436 | 2147483647 258805 28 | 0.000 % |
471.80/471.88 c | 258982 | 14569 183363 759436 | 2147483647 258982 28 | 0.000 % |
472.50/472.55 c | 259178 | 14569 183363 759436 | 2147483647 259178 28 | 0.000 % |
473.40/473.46 c | 259391 | 14569 183363 759436 | 2147483647 259391 28 | 0.000 % |
474.21/474.25 c | 259626 | 14569 183363 759436 | 2147483647 259626 28 | 0.000 % |
475.00/475.08 c | 259882 | 14569 183363 759436 | 2147483647 259882 28 | 0.000 % |
475.80/475.90 c | 260163 | 14569 183363 759436 | 2147483647 260163 28 | 0.000 % |
476.60/476.63 c | 260473 | 14569 183363 759436 | 2147483647 260473 28 | 0.000 % |
477.40/477.47 c | 260812 | 14569 183363 759436 | 2147483647 260812 28 | 0.000 % |
478.30/478.32 c | 261185 | 14569 183363 759436 | 2147483647 261185 28 | 0.000 % |
479.00/479.05 c | 261594 | 14569 183363 759436 | 2147483647 261594 28 | 0.000 % |
480.00/480.10 c | 262044 | 14569 183363 759436 | 2147483647 262044 28 | 0.000 % |
481.30/481.37 c | 262540 | 14569 183363 759436 | 2147483647 262540 28 | 0.000 % |
482.80/482.83 c | 263083 | 14569 183363 759436 | 2147483647 263083 28 | 0.000 % |
484.11/484.15 c | 263679 | 14569 183363 759436 | 2147483647 263679 28 | 0.000 % |
486.10/486.17 c | 264334 | 14569 183363 759436 | 2147483647 264334 28 | 0.000 % |
488.10/488.13 c | 265054 | 14569 183363 759436 | 2147483647 265054 28 | 0.000 % |
490.71/490.81 c | 265846 | 14569 183363 759436 | 2147483647 265846 28 | 0.000 % |
493.50/493.52 c | 266717 | 14569 183363 759436 | 2147483647 266717 28 | 0.000 % |
495.90/495.96 c | 267675 | 14569 183363 759436 | 2147483647 267675 28 | 0.000 % |
499.60/499.62 c | 268733 | 14569 183363 759436 | 2147483647 268733 28 | 0.000 % |
503.30/503.33 c | 269891 | 14569 183363 759436 | 2147483647 269891 28 | 0.000 % |
507.30/507.33 c | 271164 | 14569 183363 759436 | 2147483647 271164 29 | 0.000 % |
510.70/510.72 c | 272565 | 14569 183363 759436 | 2147483647 272565 29 | 0.000 % |
513.90/513.92 c | 274105 | 14569 183363 759436 | 2147483647 274105 29 | 0.000 % |
518.60/518.65 c | 275799 | 14569 183363 759436 | 2147483647 275799 29 | 0.000 % |
523.00/523.02 c | 277662 | 14569 183363 759436 | 2147483647 277662 29 | 0.000 % |
528.80/528.81 c | 279711 | 14569 183363 759436 | 2147483647 279711 29 | 0.000 % |
534.31/534.37 c | 281964 | 14569 183363 759436 | 2147483647 281964 29 | 0.000 % |
542.11/542.21 c | 284443 | 14569 183363 759436 | 2147483647 284443 29 | 0.000 % |
552.11/552.21 c | 287168 | 14569 183363 759436 | 2147483647 287168 29 | 0.000 % |
552.61/552.64 c | 287270 | 14569 183363 759436 | 2147483647 287270 29 | 0.000 % |
552.81/552.92 c | 287380 | 14569 183363 759436 | 2147483647 287380 29 | 0.000 % |
553.21/553.29 c | 287503 | 14569 183363 759436 | 2147483647 287503 29 | 0.000 % |
553.61/553.66 c | 287638 | 14569 183363 759436 | 2147483647 287638 29 | 0.000 % |
554.01/554.04 c | 287785 | 14569 183363 759436 | 2147483647 287785 29 | 0.000 % |
554.51/554.52 c | 287946 | 14569 183363 759436 | 2147483647 287946 29 | 0.000 % |
554.91/554.94 c | 288122 | 14569 183363 759436 | 2147483647 288122 29 | 0.000 % |
555.51/555.57 c | 288315 | 14569 183363 759436 | 2147483647 288315 29 | 0.000 % |
556.11/556.15 c | 288530 | 14569 183363 759436 | 2147483647 288530 29 | 0.000 % |
557.01/557.10 c | 288764 | 14569 183363 759436 | 2147483647 288764 29 | 0.000 % |
557.91/558.00 c | 289021 | 14569 183363 759436 | 2147483647 289021 29 | 0.000 % |
558.91/558.96 c | 289302 | 14569 183363 759436 | 2147483647 289302 29 | 0.000 % |
559.81/559.83 c | 289611 | 14569 183363 759436 | 2147483647 289611 29 | 0.000 % |
561.81/561.83 c | 289950 | 14569 183363 759436 | 2147483647 289950 29 | 0.000 % |
563.01/563.08 c | 290323 | 14569 183363 759436 | 2147483647 290323 29 | 0.000 % |
564.21/564.31 c | 290735 | 14569 183363 759436 | 2147483647 290735 29 | 0.000 % |
565.71/565.81 c | 291185 | 14569 183363 759436 | 2147483647 291185 29 | 0.000 % |
567.71/567.79 c | 291679 | 14569 183363 759436 | 2147483647 291679 29 | 0.000 % |
569.31/569.38 c | 292223 | 14569 183363 759436 | 2147483647 292223 29 | 0.000 % |
571.41/571.44 c | 292819 | 14569 183363 759436 | 2147483647 292819 29 | 0.000 % |
573.31/573.37 c | 293475 | 14569 183363 759436 | 2147483647 293475 29 | 0.000 % |
576.21/576.24 c | 294195 | 14569 183363 759436 | 2147483647 294195 29 | 0.000 % |
579.01/579.03 c | 294988 | 14569 183363 759436 | 2147483647 294988 29 | 0.000 % |
582.61/582.67 c | 295859 | 14569 183363 759436 | 2147483647 295859 29 | 0.000 % |
586.11/586.16 c | 296817 | 14569 183363 759436 | 2147483647 296817 29 | 0.000 % |
589.31/589.33 c | 297870 | 14569 183363 759436 | 2147483647 297870 29 | 0.000 % |
592.31/592.39 c | 299028 | 14569 183363 759436 | 2147483647 299028 29 | 0.000 % |
595.51/595.53 c | 300303 | 14569 183363 759436 | 2147483647 300303 29 | 0.000 % |
600.21/600.29 c | 301703 | 14569 183363 759436 | 2147483647 301703 29 | 0.000 % |
605.71/605.74 c | 303243 | 14569 183363 759436 | 2147483647 303243 29 | 0.000 % |
611.11/611.14 c | 304941 | 14569 183363 759436 | 2147483647 304941 29 | 0.000 % |
617.91/617.94 c | 306804 | 14569 183363 759436 | 2147483647 306804 29 | 0.000 % |
623.71/623.82 c | 308853 | 14569 183363 759436 | 2147483647 308853 29 | 0.000 % |
634.01/634.11 c | 311108 | 14569 183363 759436 | 2147483647 311108 29 | 0.000 % |
644.01/644.05 c | 313586 | 14569 183363 759436 | 2147483647 313586 29 | 0.000 % |
650.01/650.05 c | 316314 | 14569 183363 759436 | 2147483647 316314 29 | 0.000 % |
662.11/662.19 c | 319312 | 14569 183363 759436 | 2147483647 319312 29 | 0.000 % |
662.51/662.58 c | 319413 | 14569 183363 759436 | 2147483647 319413 29 | 0.000 % |
662.91/662.95 c | 319523 | 14569 183363 759436 | 2147483647 319523 29 | 0.000 % |
663.31/663.34 c | 319645 | 14569 183363 759436 | 2147483647 319645 29 | 0.000 % |
663.71/663.76 c | 319779 | 14569 183363 759436 | 2147483647 319779 29 | 0.000 % |
664.21/664.27 c | 319928 | 14569 183363 759436 | 2147483647 319928 29 | 0.000 % |
664.91/664.95 c | 320090 | 14569 183363 759436 | 2147483647 320090 29 | 0.000 % |
665.71/665.73 c | 320266 | 14569 183363 759436 | 2147483647 320266 29 | 0.000 % |
666.41/666.42 c | 320459 | 14569 183363 759436 | 2147483647 320459 29 | 0.000 % |
667.11/667.18 c | 320672 | 14569 183363 759436 | 2147483647 320672 29 | 0.000 % |
667.81/667.85 c | 320907 | 14569 183363 759436 | 2147483647 320907 29 | 0.000 % |
668.71/668.74 c | 321166 | 14569 183363 759436 | 2147483647 321166 29 | 0.000 % |
669.81/669.90 c | 321448 | 14569 183363 759436 | 2147483647 321448 29 | 0.000 % |
671.21/671.21 c | 321757 | 14569 183363 759436 | 2147483647 321757 29 | 0.000 % |
672.31/672.40 c | 322097 | 14569 183363 759436 | 2147483647 322097 29 | 0.000 % |
673.41/673.51 c | 322470 | 14569 183363 759436 | 2147483647 322470 29 | 0.000 % |
675.21/675.27 c | 322880 | 14569 183363 759436 | 2147483647 322880 29 | 0.000 % |
676.51/676.58 c | 323330 | 14569 183363 759436 | 2147483647 323330 29 | 0.000 % |
677.81/677.86 c | 323823 | 14569 183363 759436 | 2147483647 323823 29 | 0.000 % |
679.01/679.05 c | 324365 | 14569 183363 759436 | 2147483647 324365 29 | 0.000 % |
680.71/680.80 c | 324962 | 14569 183363 759436 | 2147483647 324962 29 | 0.000 % |
681.81/681.82 c | 325620 | 14569 183363 759436 | 2147483647 325620 29 | 0.000 % |
683.41/683.42 c | 326342 | 14569 183363 759436 | 2147483647 326342 29 | 0.000 % |
684.91/684.93 c | 327134 | 14569 183363 759436 | 2147483647 327134 29 | 0.000 % |
687.41/687.41 c | 328005 | 14569 183363 759436 | 2147483647 328005 29 | 0.000 % |
689.41/689.50 c | 328963 | 14569 183363 759436 | 2147483647 328963 29 | 0.000 % |
692.71/692.71 c | 330016 | 14569 183363 759436 | 2147483647 330016 29 | 0.000 % |
696.91/696.95 c | 331174 | 14569 183363 759436 | 2147483647 331174 29 | 0.000 % |
701.21/701.23 c | 332447 | 14569 183363 759436 | 2147483647 332447 29 | 0.000 % |
705.71/705.71 c | 333847 | 14569 183363 759436 | 2147483647 333847 29 | 0.000 % |
709.21/709.30 c | 335387 | 14569 183363 759436 | 2147483647 335387 29 | 0.000 % |
714.01/714.02 c | 337081 | 14569 183363 759436 | 2147483647 337081 29 | 0.000 % |
718.41/718.44 c | 338944 | 14569 183363 759436 | 2147483647 338944 29 | 0.000 % |
725.31/725.38 c | 340995 | 14569 183363 759436 | 2147483647 340995 29 | 0.000 % |
733.31/733.39 c | 343248 | 14569 183363 759436 | 2147483647 343248 29 | 0.000 % |
745.21/745.24 c | 345726 | 14569 183363 759436 | 2147483647 345726 29 | 0.000 % |
756.81/756.86 c | 348451 | 14569 183363 759436 | 2147483647 348451 29 | 0.000 % |
767.11/767.18 c | 351448 | 14569 183363 759436 | 2147483647 351448 29 | 0.000 % |
781.12/781.14 c | 354745 | 14569 183363 759436 | 2147483647 354745 29 | 0.000 % |
781.62/781.66 c | 354846 | 14569 183363 759436 | 2147483647 354846 29 | 0.000 % |
781.92/782.00 c | 354957 | 14569 183363 759436 | 2147483647 354957 29 | 0.000 % |
782.32/782.32 c | 355078 | 14569 183363 759436 | 2147483647 355078 29 | 0.000 % |
782.62/782.70 c | 355211 | 14569 183363 759436 | 2147483647 355211 29 | 0.000 % |
783.12/783.19 c | 355357 | 14569 183363 759436 | 2147483647 355357 29 | 0.000 % |
783.42/783.47 c | 355518 | 14569 183363 759436 | 2147483647 355518 29 | 0.000 % |
783.82/783.88 c | 355696 | 14569 183363 759436 | 2147483647 355696 29 | 0.000 % |
784.62/784.66 c | 355892 | 14569 183363 759436 | 2147483647 355892 29 | 0.000 % |
785.12/785.21 c | 356105 | 14569 183363 759436 | 2147483647 356105 29 | 0.000 % |
785.92/785.97 c | 356339 | 14569 183363 759436 | 2147483647 356339 29 | 0.000 % |
786.52/786.59 c | 356595 | 14569 183363 759436 | 2147483647 356595 29 | 0.000 % |
787.42/787.50 c | 356876 | 14569 183363 759436 | 2147483647 356876 29 | 0.000 % |
788.42/788.48 c | 357188 | 14569 183363 759436 | 2147483647 357188 29 | 0.000 % |
789.72/789.77 c | 357530 | 14569 183363 759436 | 2147483647 357530 29 | 0.000 % |
791.52/791.56 c | 357902 | 14569 183363 759436 | 2147483647 357902 29 | 0.000 % |
792.92/792.95 c | 358311 | 14569 183363 759436 | 2147483647 358311 29 | 0.000 % |
795.02/795.05 c | 358760 | 14569 183363 759436 | 2147483647 358760 29 | 0.000 % |
797.02/797.02 c | 359254 | 14569 183363 759436 | 2147483647 359254 29 | 0.000 % |
798.52/798.61 c | 359796 | 14569 183363 759436 | 2147483647 359796 29 | 0.000 % |
800.02/800.06 c | 360392 | 14569 183363 759436 | 2147483647 360392 29 | 0.000 % |
802.02/802.06 c | 361049 | 14569 183363 759436 | 2147483647 361049 29 | 0.000 % |
804.02/804.08 c | 361771 | 14569 183363 759436 | 2147483647 361771 29 | 0.000 % |
807.32/807.40 c | 362563 | 14569 183363 759436 | 2147483647 362563 29 | 0.000 % |
809.92/809.98 c | 363435 | 14569 183363 759436 | 2147483647 363435 29 | 0.000 % |
813.52/813.61 c | 364393 | 14569 183363 759436 | 2147483647 364393 29 | 0.000 % |
818.82/818.83 c | 365448 | 14569 183363 759436 | 2147483647 365448 29 | 0.000 % |
821.92/822.00 c | 366607 | 14569 183363 759436 | 2147483647 366607 29 | 0.000 % |
827.32/827.32 c | 367880 | 14569 183363 759436 | 2147483647 367880 29 | 0.000 % |
834.32/834.34 c | 369282 | 14569 183363 759436 | 2147483647 369282 29 | 0.000 % |
839.22/839.31 c | 370822 | 14569 183363 759436 | 2147483647 370822 30 | 0.000 % |
844.92/844.94 c | 372517 | 14569 183363 759436 | 2147483647 372517 30 | 0.000 % |
851.72/851.79 c | 374380 | 14569 183363 759436 | 2147483647 374380 30 | 0.000 % |
859.12/859.21 c | 376429 | 14569 183363 759436 | 2147483647 376429 30 | 0.000 % |
865.32/865.35 c | 378687 | 14569 183363 759436 | 2147483647 378687 30 | 0.000 % |
872.62/872.65 c | 381165 | 14569 183363 759436 | 2147483647 381165 30 | 0.000 % |
881.12/881.15 c | 383890 | 14569 183363 759436 | 2147483647 383890 30 | 0.000 % |
895.02/895.10 c | 386887 | 14569 183363 759436 | 2147483647 386887 30 | 0.000 % |
911.13/911.16 c | 390183 | 14569 183363 759436 | 2147483647 390183 30 | 0.000 % |
927.23/927.22 c | 393810 | 14569 183363 759436 | 2147483647 393810 30 | 0.000 % |
927.63/927.63 c | 393910 | 14569 183363 759436 | 2147483647 393910 30 | 0.000 % |
928.03/928.04 c | 394023 | 14569 183363 759436 | 2147483647 394023 30 | 0.000 % |
928.33/928.36 c | 394144 | 14569 183363 759436 | 2147483647 394144 30 | 0.000 % |
928.83/928.84 c | 394280 | 14569 183363 759436 | 2147483647 394280 30 | 0.000 % |
929.33/929.32 c | 394427 | 14569 183363 759436 | 2147483647 394427 30 | 0.000 % |
929.83/929.83 c | 394587 | 14569 183363 759436 | 2147483647 394587 30 | 0.000 % |
930.33/930.36 c | 394765 | 14569 183363 759436 | 2147483647 394765 30 | 0.000 % |
930.83/930.86 c | 394958 | 14569 183363 759436 | 2147483647 394958 30 | 0.000 % |
931.43/931.47 c | 395171 | 14569 183363 759436 | 2147483647 395171 30 | 0.000 % |
932.03/932.11 c | 395405 | 14569 183363 759436 | 2147483647 395405 30 | 0.000 % |
932.93/932.96 c | 395663 | 14569 183363 759436 | 2147483647 395663 30 | 0.000 % |
933.63/933.69 c | 395946 | 14569 183363 759436 | 2147483647 395946 30 | 0.000 % |
934.73/934.75 c | 396257 | 14569 183363 759436 | 2147483647 396257 30 | 0.000 % |
936.23/936.27 c | 396597 | 14569 183363 759436 | 2147483647 396597 30 | 0.000 % |
937.33/937.39 c | 396969 | 14569 183363 759436 | 2147483647 396969 30 | 0.000 % |
938.83/938.91 c | 397380 | 14569 183363 759436 | 2147483647 397380 30 | 0.000 % |
941.03/941.04 c | 397831 | 14569 183363 759436 | 2147483647 397831 30 | 0.000 % |
943.23/943.25 c | 398327 | 14569 183363 759436 | 2147483647 398327 30 | 0.000 % |
945.13/945.14 c | 398870 | 14569 183363 759436 | 2147483647 398870 30 | 0.000 % |
947.73/947.75 c | 399468 | 14569 183363 759436 | 2147483647 399468 30 | 0.000 % |
950.53/950.55 c | 400124 | 14569 183363 759436 | 2147483647 400124 30 | 0.000 % |
952.93/952.94 c | 400846 | 14569 183363 759436 | 2147483647 400846 30 | 0.000 % |
955.83/955.87 c | 401638 | 14569 183363 759436 | 2147483647 401638 30 | 0.000 % |
957.93/957.97 c | 402509 | 14569 183363 759436 | 2147483647 402509 30 | 0.000 % |
960.03/960.05 c | 403469 | 14569 183363 759436 | 2147483647 403469 30 | 0.000 % |
964.23/964.24 c | 404522 | 14569 183363 759436 | 2147483647 404522 30 | 0.000 % |
967.33/967.38 c | 405682 | 14569 183363 759436 | 2147483647 405682 30 | 0.000 % |
971.73/971.77 c | 406958 | 14569 183363 759436 | 2147483647 406958 30 | 0.000 % |
975.63/975.69 c | 408359 | 14569 183363 759436 | 2147483647 408359 30 | 0.000 % |
980.73/980.79 c | 409899 | 14569 183363 759436 | 2147483647 409899 30 | 0.000 % |
984.93/984.94 c | 411593 | 14569 183363 759436 | 2147483647 411593 30 | 0.000 % |
992.23/992.29 c | 413456 | 14569 183363 759436 | 2147483647 413456 30 | 0.000 % |
1001.03/1001.04 c | 415505 | 14569 183363 759436 | 2147483647 415505 30 | 0.000 % |
1011.83/1011.86 c | 417761 | 14569 183363 759436 | 2147483647 417761 30 | 0.000 % |
1024.32/1024.38 c | 420240 | 14569 183363 759436 | 2147483647 420240 30 | 0.000 % |
1038.03/1038.06 c | 422969 | 14569 183363 759436 | 2147483647 422969 30 | 0.000 % |
1052.13/1052.20 c | 425966 | 14569 183363 759436 | 2147483647 425966 30 | 0.000 % |
1064.53/1064.57 c | 429262 | 14569 183363 759436 | 2147483647 429262 30 | 0.000 % |
1078.93/1078.93 c | 432888 | 14569 183363 759436 | 2147483647 432888 30 | 0.000 % |
1095.33/1095.41 c | 436875 | 14569 183363 759436 | 2147483647 436875 30 | 0.000 % |
1095.83/1095.84 c | 436976 | 14569 183363 759436 | 2147483647 436976 30 | 0.000 % |
1096.23/1096.25 c | 437086 | 14569 183363 759436 | 2147483647 437086 30 | 0.000 % |
1096.73/1096.72 c | 437209 | 14569 183363 759436 | 2147483647 437209 30 | 0.000 % |
1097.33/1097.38 c | 437346 | 14569 183363 759436 | 2147483647 437346 30 | 0.000 % |
1098.03/1098.03 c | 437492 | 14569 183363 759436 | 2147483647 437492 30 | 0.000 % |
1098.73/1098.80 c | 437653 | 14569 183363 759436 | 2147483647 437653 30 | 0.000 % |
1099.63/1099.62 c | 437829 | 14569 183363 759436 | 2147483647 437829 30 | 0.000 % |
1100.43/1100.44 c | 438024 | 14569 183363 759436 | 2147483647 438024 30 | 0.000 % |
1101.23/1101.23 c | 438236 | 14569 183363 759436 | 2147483647 438236 30 | 0.000 % |
1101.93/1101.97 c | 438469 | 14569 183363 759436 | 2147483647 438469 30 | 0.000 % |
1103.73/1103.78 c | 438725 | 14569 183363 759436 | 2147483647 438725 30 | 0.000 % |
1104.93/1104.97 c | 439007 | 14569 183363 759436 | 2147483647 439007 30 | 0.000 % |
1106.33/1106.36 c | 439316 | 14569 183363 759436 | 2147483647 439316 30 | 0.000 % |
1107.84/1107.89 c | 439657 | 14569 183363 759436 | 2147483647 439657 30 | 0.000 % |
1109.43/1109.42 c | 440031 | 14569 183363 759436 | 2147483647 440031 30 | 0.000 % |
1110.93/1110.97 c | 440440 | 14569 183363 759436 | 2147483647 440440 30 | 0.000 % |
1112.73/1112.75 c | 440890 | 14569 183363 759436 | 2147483647 440890 30 | 0.000 % |
1114.53/1114.58 c | 441386 | 14569 183363 759436 | 2147483647 441386 30 | 0.000 % |
1116.23/1116.30 c | 441929 | 14569 183363 759436 | 2147483647 441929 30 | 0.000 % |
1118.53/1118.51 c | 442526 | 14569 183363 759436 | 2147483647 442526 30 | 0.000 % |
1122.03/1122.08 c | 443181 | 14569 183363 759436 | 2147483647 443181 30 | 0.000 % |
1124.03/1124.03 c | 443904 | 14569 183363 759436 | 2147483647 443904 30 | 0.000 % |
1127.03/1127.01 c | 444697 | 14569 183363 759436 | 2147483647 444697 30 | 0.000 % |
1130.33/1130.32 c | 445568 | 14569 183363 759436 | 2147483647 445568 30 | 0.000 % |
1134.03/1134.10 c | 446526 | 14569 183363 759436 | 2147483647 446526 30 | 0.000 % |
1139.53/1139.54 c | 447579 | 14569 183363 759436 | 2147483647 447579 30 | 0.000 % |
1147.23/1147.31 c | 448737 | 14569 183363 759436 | 2147483647 448737 30 | 0.000 % |
1152.03/1152.07 c | 450010 | 14569 183363 759436 | 450001 450010 30 | 0.000 % |
1159.24/1159.26 c | 451410 | 14569 183363 759436 | 450001 396503 30 | 0.000 % |
1166.04/1166.02 c | 452952 | 14569 183363 759436 | 450001 398045 30 | 0.000 % |
1173.24/1173.22 c | 454648 | 14569 183363 759436 | 450001 399741 30 | 0.000 % |
1181.94/1182.00 c | 456511 | 14569 183363 759436 | 450001 401604 30 | 0.000 % |
1189.24/1189.25 c | 458560 | 14569 183363 759436 | 450001 403653 30 | 0.000 % |
1197.24/1197.22 c | 460814 | 14569 183363 759436 | 2147483647 405907 30 | 0.000 % |
1200.04/1200.02 HOME/SatELiteGTI: line 36: 30068 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-1820446-1242445499/watcher-1820446-1242445499 -o /tmp/evaluation-result-1820446-1242445499/solver-1820446-1242445499 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820446-1242445499.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/97 30062
/proc/meminfo: memFree=858276/2074464 swapFree=1949244/1959888
[pid=30062] ppid=30060 vsize=2412 CPUtime=0.01
/proc/30062/stat : 30062 (SatELiteGTI) S 30060 30062 16367 0 -1 4194304 368 646 0 0 0 0 0 1 25 0 1 0 1009050924 2469888 277 4294967295 134512640 135169312 3213737008 3213735544 3085651694 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30062/statm: 603 277 235 161 0 42 0
[pid=30066] ppid=30062 vsize=956 CPUtime=0
/proc/30066/stat : 30066 (SatELite_releas) R 30062 30062 16367 0 -1 4202496 146 0 0 0 0 0 0 0 25 0 1 0 1009050924 978944 82 4294967295 134512640 135223648 3219237200 3219235920 134734703 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30066/statm: 239 84 45 174 0 64 0
[startup+0.104049 s]
/proc/loadavg: 1.00 1.00 1.00 2/97 30062
/proc/meminfo: memFree=858276/2074464 swapFree=1949244/1959888
[pid=30062] ppid=30060 vsize=2412 CPUtime=0.01
/proc/30062/stat : 30062 (SatELiteGTI) S 30060 30062 16367 0 -1 4194304 368 646 0 0 0 0 0 1 25 0 1 0 1009050924 2469888 277 4294967295 134512640 135169312 3213737008 3213735544 3085651694 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30062/statm: 603 277 235 161 0 42 0
[pid=30066] ppid=30062 vsize=16156 CPUtime=0.1
/proc/30066/stat : 30066 (SatELite_releas) R 30062 30062 16367 0 -1 4202496 3343 0 0 0 7 3 0 0 25 0 1 0 1009050924 16543744 3279 4294967295 134512640 135223648 3219237200 3219236152 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30066/statm: 4039 3280 47 174 0 3864 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 18568
[startup+0.204014 s]
/proc/loadavg: 1.00 1.00 1.00 2/97 30062
/proc/meminfo: memFree=858276/2074464 swapFree=1949244/1959888
[pid=30062] ppid=30060 vsize=2412 CPUtime=0.01
/proc/30062/stat : 30062 (SatELiteGTI) S 30060 30062 16367 0 -1 4194304 368 646 0 0 0 0 0 1 25 0 1 0 1009050924 2469888 277 4294967295 134512640 135169312 3213737008 3213735544 3085651694 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30062/statm: 603 277 235 161 0 42 0
[pid=30066] ppid=30062 vsize=31444 CPUtime=0.2
/proc/30066/stat : 30066 (SatELite_releas) R 30062 30062 16367 0 -1 4202496 6450 0 0 0 17 3 0 0 25 0 1 0 1009050924 32198656 6386 4294967295 134512640 135223648 3219237200 3219236152 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30066/statm: 7861 6388 47 174 0 7686 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 33856
[startup+0.304009 s]
/proc/loadavg: 1.00 1.00 1.00 2/97 30062
/proc/meminfo: memFree=858276/2074464 swapFree=1949244/1959888
[pid=30062] ppid=30060 vsize=2412 CPUtime=0.01
/proc/30062/stat : 30062 (SatELiteGTI) S 30060 30062 16367 0 -1 4194304 368 646 0 0 0 0 0 1 25 0 1 0 1009050924 2469888 277 4294967295 134512640 135169312 3213737008 3213735544 3085651694 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30062/statm: 603 277 235 161 0 42 0
[pid=30066] ppid=30062 vsize=42500 CPUtime=0.3
/proc/30066/stat : 30066 (SatELite_releas) R 30062 30062 16367 0 -1 4202496 9846 0 0 0 23 7 0 0 25 0 1 0 1009050924 43520000 9782 4294967295 134512640 135223648 3219237200 3219236040 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30066/statm: 10625 9783 47 174 0 10450 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 44912
[startup+0.703986 s]
/proc/loadavg: 1.00 1.00 1.00 2/97 30062
/proc/meminfo: memFree=858276/2074464 swapFree=1949244/1959888
[pid=30062] ppid=30060 vsize=2412 CPUtime=0.01
/proc/30062/stat : 30062 (SatELiteGTI) S 30060 30062 16367 0 -1 4194304 368 646 0 0 0 0 0 1 25 0 1 0 1009050924 2469888 277 4294967295 134512640 135169312 3213737008 3213735544 3085651694 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30062/statm: 603 277 235 161 0 42 0
[pid=30066] ppid=30062 vsize=51536 CPUtime=0.7
/proc/30066/stat : 30066 (SatELite_releas) R 30062 30062 16367 0 -1 4202496 12005 0 0 0 63 7 0 0 25 0 1 0 1009050924 52772864 11679 4294967295 134512640 135223648 3219237200 3219235200 134548289 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30066/statm: 12884 11679 73 174 0 12709 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 53948
[startup+1.50394 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 30067
/proc/meminfo: memFree=806280/2074464 swapFree=1949244/1959888
[pid=30062] ppid=30060 vsize=2412 CPUtime=0.01
/proc/30062/stat : 30062 (SatELiteGTI) S 30060 30062 16367 0 -1 4194304 368 646 0 0 0 0 0 1 25 0 1 0 1009050924 2469888 277 4294967295 134512640 135169312 3213737008 3213735544 3085651694 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30062/statm: 603 277 235 161 0 42 0
[pid=30066] ppid=30062 vsize=57212 CPUtime=1.5
/proc/30066/stat : 30066 (SatELite_releas) R 30062 30062 16367 0 -1 4202496 13121 0 0 0 140 10 0 0 25 0 1 0 1009050924 58585088 12795 4294967295 134512640 135223648 3219237200 3219235200 134548987 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30066/statm: 14303 12795 73 174 0 14128 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 59624
[startup+3.10385 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 30067
/proc/meminfo: memFree=795368/2074464 swapFree=1949244/1959888
[pid=30062] ppid=30060 vsize=2412 CPUtime=0.01
/proc/30062/stat : 30062 (SatELiteGTI) S 30060 30062 16367 0 -1 4194304 368 646 0 0 0 0 0 1 25 0 1 0 1009050924 2469888 277 4294967295 134512640 135169312 3213737008 3213735544 3085651694 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30062/statm: 603 277 235 161 0 42 0
[pid=30066] ppid=30062 vsize=59624 CPUtime=3.09
/proc/30066/stat : 30066 (SatELite_releas) R 30062 30062 16367 0 -1 4202496 13961 0 0 0 296 13 0 0 25 0 1 0 1009050924 61054976 13427 4294967295 134512640 135223648 3219237200 3219234992 134585606 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30066/statm: 14906 13427 73 174 0 14731 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 62036
[startup+6.30368 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 30068
/proc/meminfo: memFree=831360/2074464 swapFree=1949244/1959888
[pid=30062] ppid=30060 vsize=2416 CPUtime=4.43
/proc/30062/stat : 30062 (SatELiteGTI) S 30060 30062 16367 0 -1 4194304 387 15890 0 0 0 0 426 17 24 0 1 0 1009050924 2473984 278 4294967295 134512640 135169312 3213737008 3213733224 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30062/statm: 604 278 235 161 0 43 0
[pid=30068] ppid=30062 vsize=12780 CPUtime=1.87
/proc/30068/stat : 30068 (minisat_static) R 30062 30062 16367 0 -1 4202496 3076 0 0 0 186 1 0 0 25 0 1 0 1009051368 13086720 3011 4294967295 134512640 135215339 3213986992 3213985280 134528691 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30068/statm: 3195 3011 73 172 0 3022 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 15196
[startup+12.7033 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 30068
/proc/meminfo: memFree=830068/2074464 swapFree=1949244/1959888
[pid=30062] ppid=30060 vsize=2416 CPUtime=4.43
/proc/30062/stat : 30062 (SatELiteGTI) S 30060 30062 16367 0 -1 4194304 387 15890 0 0 0 0 426 17 24 0 1 0 1009050924 2473984 278 4294967295 134512640 135169312 3213737008 3213733224 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30062/statm: 604 278 235 161 0 43 0
[pid=30068] ppid=30062 vsize=14012 CPUtime=8.26
/proc/30068/stat : 30068 (minisat_static) R 30062 30062 16367 0 -1 4202496 3380 0 0 0 824 2 0 0 25 0 1 0 1009051368 14348288 3315 4294967295 134512640 135215339 3213986992 3213985280 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30068/statm: 3503 3315 73 172 0 3330 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16428
[startup+25.5026 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 30253
/proc/meminfo: memFree=827396/2074464 swapFree=1949244/1959888
[pid=30062] ppid=30060 vsize=2416 CPUtime=4.43
/proc/30062/stat : 30062 (SatELiteGTI) S 30060 30062 16367 0 -1 4194304 387 15890 0 0 0 0 426 17 24 0 1 0 1009050924 2473984 278 4294967295 134512640 135169312 3213737008 3213733224 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30062/statm: 604 278 235 161 0 43 0
[pid=30068] ppid=30062 vsize=16064 CPUtime=21.03
/proc/30068/stat : 30068 (minisat_static) R 30062 30062 16367 0 -1 4202496 3869 0 0 0 2101 2 0 0 25 0 1 0 1009051368 16449536 3804 4294967295 134512640 135215339 3213986992 3213985264 134525025 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30068/statm: 4016 3804 73 172 0 3843 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 18480
[startup+51.1212 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 30255
/proc/meminfo: memFree=824344/2074464 swapFree=1949244/1959888
[pid=30062] ppid=30060 vsize=2416 CPUtime=4.43
/proc/30062/stat : 30062 (SatELiteGTI) S 30060 30062 16367 0 -1 4194304 387 15890 0 0 0 0 426 17 24 0 1 0 1009050924 2473984 278 4294967295 134512640 135169312 3213737008 3213733224 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30062/statm: 604 278 235 161 0 43 0
[pid=30068] ppid=30062 vsize=19312 CPUtime=46.65
/proc/30068/stat : 30068 (minisat_static) R 30062 30062 16367 0 -1 4202496 4695 0 0 0 4662 3 0 0 25 0 1 0 1009051368 19775488 4630 4294967295 134512640 135215339 3213986992 3213985280 134528779 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30068/statm: 4828 4630 73 172 0 4655 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 21728
[startup+102.318 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 30443
/proc/meminfo: memFree=818396/2074464 swapFree=1949244/1959888
[pid=30062] ppid=30060 vsize=2416 CPUtime=4.43
/proc/30062/stat : 30062 (SatELiteGTI) S 30060 30062 16367 0 -1 4194304 387 15890 0 0 0 0 426 17 24 0 1 0 1009050924 2473984 278 4294967295 134512640 135169312 3213737008 3213733224 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30062/statm: 604 278 235 161 0 43 0
[pid=30068] ppid=30062 vsize=24988 CPUtime=97.85
/proc/30068/stat : 30068 (minisat_static) R 30062 30062 16367 0 -1 4202496 6108 0 0 0 9781 4 0 0 25 0 1 0 1009051368 25587712 6043 4294967295 134512640 135215339 3213986992 3213985280 134528624 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30068/statm: 6247 6043 73 172 0 6074 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 27404
[startup+162.325 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 30633
/proc/meminfo: memFree=812376/2074464 swapFree=1949244/1959888
[pid=30062] ppid=30060 vsize=2416 CPUtime=4.43
/proc/30062/stat : 30062 (SatELiteGTI) S 30060 30062 16367 0 -1 4194304 387 15890 0 0 0 0 426 17 24 0 1 0 1009050924 2473984 278 4294967295 134512640 135169312 3213737008 3213733224 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30062/statm: 604 278 235 161 0 43 0
[pid=30068] ppid=30062 vsize=30736 CPUtime=157.86
/proc/30068/stat : 30068 (minisat_static) R 30062 30062 16367 0 -1 4202496 7528 0 0 0 15782 4 0 0 25 0 1 0 1009051368 31473664 7463 4294967295 134512640 135215339 3213986992 3213985280 134528852 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30068/statm: 7684 7463 73 172 0 7511 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 33152
[startup+222.332 s]
/proc/loadavg: 1.06 1.02 1.00 2/99 30821
/proc/meminfo: memFree=807400/2074464 swapFree=1949244/1959888
[pid=30062] ppid=30060 vsize=2416 CPUtime=4.43
/proc/30062/stat : 30062 (SatELiteGTI) S 30060 30062 16367 0 -1 4194304 387 15890 0 0 0 0 426 17 24 0 1 0 1009050924 2473984 278 4294967295 134512640 135169312 3213737008 3213733224 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30062/statm: 604 278 235 161 0 43 0
[pid=30068] ppid=30062 vsize=35800 CPUtime=217.87
/proc/30068/stat : 30068 (minisat_static) R 30062 30062 16367 0 -1 4202496 8751 0 0 0 21782 5 0 0 25 0 1 0 1009051368 36659200 8686 4294967295 134512640 135215339 3213986992 3213985280 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30068/statm: 8950 8686 73 172 0 8777 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 38216
[startup+282.328 s]
/proc/loadavg: 1.02 1.01 1.00 2/99 31009
/proc/meminfo: memFree=803216/2074464 swapFree=1949244/1959888
[pid=30062] ppid=30060 vsize=2416 CPUtime=4.43
/proc/30062/stat : 30062 (SatELiteGTI) S 30060 30062 16367 0 -1 4194304 387 15890 0 0 0 0 426 17 24 0 1 0 1009050924 2473984 278 4294967295 134512640 135169312 3213737008 3213733224 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30062/statm: 604 278 235 161 0 43 0
[pid=30068] ppid=30062 vsize=39760 CPUtime=277.87
/proc/30068/stat : 30068 (minisat_static) R 30062 30062 16367 0 -1 4202496 9794 0 0 0 27781 6 0 0 25 0 1 0 1009051368 40714240 9729 4294967295 134512640 135215339 3213986992 3213985280 134529083 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30068/statm: 9940 9729 73 172 0 9767 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 42176
[startup+342.315 s]
/proc/loadavg: 1.01 1.00 1.00 2/99 31200
/proc/meminfo: memFree=798992/2074464 swapFree=1949244/1959888
[pid=30062] ppid=30060 vsize=2416 CPUtime=4.43
/proc/30062/stat : 30062 (SatELiteGTI) S 30060 30062 16367 0 -1 4194304 387 15890 0 0 0 0 426 17 24 0 1 0 1009050924 2473984 278 4294967295 134512640 135169312 3213737008 3213733224 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30062/statm: 604 278 235 161 0 43 0
[pid=30068] ppid=30062 vsize=44200 CPUtime=337.86
/proc/30068/stat : 30068 (minisat_static) R 30062 30062 16367 0 -1 4202496 10806 0 0 0 33780 6 0 0 25 0 1 0 1009051368 45260800 10741 4294967295 134512640 135215339 3213986992 3213985280 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30068/statm: 11050 10741 73 172 0 10877 0
Current children cumulated CPU time (s) 342.29
################
# More data... #
################
[pid=30068] ppid=30062 vsize=54860 CPUtime=517.87
/proc/30068/stat : 30068 (minisat_static) R 30062 30062 16367 0 -1 4202496 13520 0 0 0 51781 6 0 0 25 0 1 0 1009051368 56176640 13455 4294967295 134512640 135215339 3213986992 3213985280 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30068/statm: 13715 13455 73 172 0 13542 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 57276
[startup+582.321 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 31954
/proc/meminfo: memFree=784468/2074464 swapFree=1949244/1959888
[pid=30062] ppid=30060 vsize=2416 CPUtime=4.43
/proc/30062/stat : 30062 (SatELiteGTI) S 30060 30062 16367 0 -1 4194304 387 15890 0 0 0 0 426 17 24 0 1 0 1009050924 2473984 278 4294967295 134512640 135169312 3213737008 3213733224 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30062/statm: 604 278 235 161 0 43 0
[pid=30068] ppid=30062 vsize=58020 CPUtime=577.88
/proc/30068/stat : 30068 (minisat_static) R 30062 30062 16367 0 -1 4202496 14334 0 0 0 57781 7 0 0 25 0 1 0 1009051368 59412480 14269 4294967295 134512640 135215339 3213986992 3213985280 134528742 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30068/statm: 14505 14269 73 172 0 14332 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 60436
[startup+642.318 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 32143
/proc/meminfo: memFree=781584/2074464 swapFree=1949244/1959888
[pid=30062] ppid=30060 vsize=2416 CPUtime=4.43
/proc/30062/stat : 30062 (SatELiteGTI) S 30060 30062 16367 0 -1 4194304 387 15890 0 0 0 0 426 17 24 0 1 0 1009050924 2473984 278 4294967295 134512640 135169312 3213737008 3213733224 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30062/statm: 604 278 235 161 0 43 0
[pid=30068] ppid=30062 vsize=61436 CPUtime=637.88
/proc/30068/stat : 30068 (minisat_static) R 30062 30062 16367 0 -1 4202496 15038 0 0 0 63781 7 0 0 25 0 1 0 1009051368 62910464 14973 4294967295 134512640 135215339 3213986992 3213985280 134528721 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30068/statm: 15359 14973 73 172 0 15186 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 63852
[startup+702.315 s]
/proc/loadavg: 1.07 1.03 1.01 3/99 32331
/proc/meminfo: memFree=778716/2074464 swapFree=1949244/1959888
[pid=30062] ppid=30060 vsize=2416 CPUtime=4.43
/proc/30062/stat : 30062 (SatELiteGTI) S 30060 30062 16367 0 -1 4194304 387 15890 0 0 0 0 426 17 24 0 1 0 1009050924 2473984 278 4294967295 134512640 135169312 3213737008 3213733224 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30062/statm: 604 278 235 161 0 43 0
[pid=30068] ppid=30062 vsize=64252 CPUtime=697.88
/proc/30068/stat : 30068 (minisat_static) R 30062 30062 16367 0 -1 4202496 15758 0 0 0 69781 7 0 0 25 0 1 0 1009051368 65794048 15693 4294967295 134512640 135215339 3213986992 3213985280 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30068/statm: 16063 15693 73 172 0 15890 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 66668
[startup+762.311 s]
/proc/loadavg: 1.02 1.02 1.00 3/99 32517
/proc/meminfo: memFree=775780/2074464 swapFree=1949244/1959888
[pid=30062] ppid=30060 vsize=2416 CPUtime=4.43
/proc/30062/stat : 30062 (SatELiteGTI) S 30060 30062 16367 0 -1 4194304 387 15890 0 0 0 0 426 17 24 0 1 0 1009050924 2473984 278 4294967295 134512640 135169312 3213737008 3213733224 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30062/statm: 604 278 235 161 0 43 0
[pid=30068] ppid=30062 vsize=67072 CPUtime=757.88
/proc/30068/stat : 30068 (minisat_static) R 30062 30062 16367 0 -1 4202496 16480 0 0 0 75778 10 0 0 25 0 1 0 1009051368 68681728 16415 4294967295 134512640 135215339 3213986992 3213985280 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30068/statm: 16768 16415 73 172 0 16595 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 69488
[startup+822.318 s]
/proc/loadavg: 1.01 1.02 1.00 2/99 32705
/proc/meminfo: memFree=772920/2074464 swapFree=1949244/1959888
[pid=30062] ppid=30060 vsize=2416 CPUtime=4.43
/proc/30062/stat : 30062 (SatELiteGTI) S 30060 30062 16367 0 -1 4194304 387 15890 0 0 0 0 426 17 24 0 1 0 1009050924 2473984 278 4294967295 134512640 135169312 3213737008 3213733224 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30062/statm: 604 278 235 161 0 43 0
[pid=30068] ppid=30062 vsize=69984 CPUtime=817.89
/proc/30068/stat : 30068 (minisat_static) R 30062 30062 16367 0 -1 4202496 17205 0 0 0 81779 10 0 0 25 0 1 0 1009051368 71663616 17140 4294967295 134512640 135215339 3213986992 3213985280 134528849 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30068/statm: 17496 17140 73 172 0 17323 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 72400
[startup+882.324 s]
/proc/loadavg: 1.00 1.01 1.00 2/99 425
/proc/meminfo: memFree=769820/2074464 swapFree=1949244/1959888
[pid=30062] ppid=30060 vsize=2416 CPUtime=4.43
/proc/30062/stat : 30062 (SatELiteGTI) S 30060 30062 16367 0 -1 4194304 387 15890 0 0 0 0 426 17 24 0 1 0 1009050924 2473984 278 4294967295 134512640 135169312 3213737008 3213733224 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30062/statm: 604 278 235 161 0 43 0
[pid=30068] ppid=30062 vsize=72992 CPUtime=877.9
/proc/30068/stat : 30068 (minisat_static) R 30062 30062 16367 0 -1 4202496 17964 0 0 0 87780 10 0 0 25 0 1 0 1009051368 74743808 17899 4294967295 134512640 135215339 3213986992 3213985280 134528742 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30068/statm: 18248 17899 73 172 0 18075 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 75408
[startup+942.321 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 618
/proc/meminfo: memFree=767448/2074464 swapFree=1949244/1959888
[pid=30062] ppid=30060 vsize=2416 CPUtime=4.43
/proc/30062/stat : 30062 (SatELiteGTI) S 30060 30062 16367 0 -1 4194304 387 15890 0 0 0 0 426 17 24 0 1 0 1009050924 2473984 278 4294967295 134512640 135169312 3213737008 3213733224 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30062/statm: 604 278 235 161 0 43 0
[pid=30068] ppid=30062 vsize=75516 CPUtime=937.9
/proc/30068/stat : 30068 (minisat_static) R 30062 30062 16367 0 -1 4202496 18575 0 0 0 93778 12 0 0 25 0 1 0 1009051368 77328384 18510 4294967295 134512640 135215339 3213986992 3213985280 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30068/statm: 18879 18510 73 172 0 18706 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 77932
[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 806
/proc/meminfo: memFree=764472/2074464 swapFree=1949244/1959888
[pid=30062] ppid=30060 vsize=2416 CPUtime=4.43
/proc/30062/stat : 30062 (SatELiteGTI) S 30060 30062 16367 0 -1 4194304 387 15890 0 0 0 0 426 17 24 0 1 0 1009050924 2473984 278 4294967295 134512640 135169312 3213737008 3213733224 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30062/statm: 604 278 235 161 0 43 0
[pid=30068] ppid=30062 vsize=78300 CPUtime=997.9
/proc/30068/stat : 30068 (minisat_static) R 30062 30062 16367 0 -1 4202496 19323 0 0 0 99778 12 0 0 25 0 1 0 1009051368 80179200 19258 4294967295 134512640 135215339 3213986992 3213985280 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30068/statm: 19575 19258 73 172 0 19402 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 80716
[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 1005
/proc/meminfo: memFree=762256/2074464 swapFree=1949244/1959888
[pid=30062] ppid=30060 vsize=2416 CPUtime=4.43
/proc/30062/stat : 30062 (SatELiteGTI) S 30060 30062 16367 0 -1 4194304 387 15890 0 0 0 0 426 17 24 0 1 0 1009050924 2473984 278 4294967295 134512640 135169312 3213737008 3213733224 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30062/statm: 604 278 235 161 0 43 0
[pid=30068] ppid=30062 vsize=80676 CPUtime=1057.9
/proc/30068/stat : 30068 (minisat_static) R 30062 30062 16367 0 -1 4202496 19902 0 0 0 105776 14 0 0 25 0 1 0 1009051368 82612224 19837 4294967295 134512640 135215339 3213986992 3213985280 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30068/statm: 20169 19837 73 172 0 19996 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 83092
[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 1194
/proc/meminfo: memFree=759776/2074464 swapFree=1949244/1959888
[pid=30062] ppid=30060 vsize=2416 CPUtime=4.43
/proc/30062/stat : 30062 (SatELiteGTI) S 30060 30062 16367 0 -1 4194304 387 15890 0 0 0 0 426 17 24 0 1 0 1009050924 2473984 278 4294967295 134512640 135169312 3213737008 3213733224 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30062/statm: 604 278 235 161 0 43 0
[pid=30068] ppid=30062 vsize=82960 CPUtime=1117.9
/proc/30068/stat : 30068 (minisat_static) R 30062 30062 16367 0 -1 4202496 20512 0 0 0 111776 14 0 0 25 0 1 0 1009051368 84951040 20447 4294967295 134512640 135215339 3213986992 3213985280 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30068/statm: 20740 20447 73 172 0 20567 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 85376
[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 1382
/proc/meminfo: memFree=758264/2074464 swapFree=1949244/1959888
[pid=30062] ppid=30060 vsize=2416 CPUtime=4.43
/proc/30062/stat : 30062 (SatELiteGTI) S 30060 30062 16367 0 -1 4194304 387 15890 0 0 0 0 426 17 24 0 1 0 1009050924 2473984 278 4294967295 134512640 135169312 3213737008 3213733224 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30062/statm: 604 278 235 161 0 43 0
[pid=30068] ppid=30062 vsize=84268 CPUtime=1177.91
/proc/30068/stat : 30068 (minisat_static) R 30062 30062 16367 0 -1 4202496 20808 0 0 0 117777 14 0 0 25 0 1 0 1009051368 86290432 20743 4294967295 134512640 135215339 3213986992 3213985280 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30068/statm: 21067 20743 73 172 0 20894 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 86684
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 1388
/proc/meminfo: memFree=758608/2074464 swapFree=1949244/1959888
[pid=30062] ppid=30060 vsize=2416 CPUtime=4.43
/proc/30062/stat : 30062 (SatELiteGTI) S 30060 30062 16367 0 -1 4194304 387 15890 0 0 0 0 426 17 24 0 1 0 1009050924 2473984 278 4294967295 134512640 135169312 3213737008 3213733224 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30062/statm: 604 278 235 161 0 43 0
[pid=30068] ppid=30062 vsize=84268 CPUtime=1195.61
/proc/30068/stat : 30068 (minisat_static) R 30062 30062 16367 0 -1 4202496 20821 0 0 0 119547 14 0 0 25 0 1 0 1009051368 86290432 20756 4294967295 134512640 135215339 3213986992 3213985280 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30068/statm: 21067 20756 73 172 0 20894 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 86684
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 1388
/proc/meminfo: memFree=758608/2074464 swapFree=1949244/1959888
[pid=30062] ppid=30060 vsize=2416 CPUtime=4.43
/proc/30062/stat : 30062 (SatELiteGTI) S 30060 30062 16367 0 -1 4194304 387 15890 0 0 0 0 426 17 24 0 1 0 1009050924 2473984 278 4294967295 134512640 135169312 3213737008 3213733224 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30062/statm: 604 278 235 161 0 43 0
[pid=30068] ppid=30062 vsize=84268 CPUtime=1195.61
/proc/30068/stat : 30068 (minisat_static) R 30062 30062 16367 0 -1 4202496 20821 0 0 0 119547 14 0 0 25 0 1 0 1009051368 86290432 20756 4294967295 134512640 135215339 3213986992 3213985280 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30068/statm: 21067 20756 73 172 0 20894 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 86684
Child status: 143
Real time (s): 1200.04
CPU time (s): 1200.05
CPU user time (s): 1199.74
CPU system time (s): 0.31
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 86684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.74
system time used= 0.31
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37375
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= 20
involuntary context switches= 1619
runsolver used 0.01 second user time and 0.02 second system time
The end
Begin job on tipi11 at 2009-05-16 05:44:59
IDJOB=1820446
IDBENCH=20406
IDSOLVER=657
FILE ID=tipi11/1820446-1242445499
PBS_JOBID=
Free space on /tmp= 10735 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/palacios/hard/sortnet-7-ipc5-h15-unsat.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820446-1242445499/watcher-1820446-1242445499 -o /tmp/evaluation-result-1820446-1242445499/solver-1820446-1242445499 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820446-1242445499.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0683489092a5eb0c881dd17c2c45d08e
RANDOM SEED= 1064926369
Linux tipi11 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.79
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 858300 kB
Buffers: 25552 kB
Cached: 1100576 kB
SwapCached: 5336 kB
Active: 330284 kB
Inactive: 807684 kB
HighTotal: 1178688 kB
HighFree: 216712 kB
LowTotal: 895776 kB
LowFree: 641588 kB
SwapTotal: 1959888 kB
SwapFree: 1949244 kB
Dirty: 8112 kB
Writeback: 0 kB
AnonPages: 10908 kB
Mapped: 5028 kB
Slab: 69856 kB
PageTables: 596 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 97124 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 10735 MiB
End job on tipi11 at 2009-05-16 06:05:00