0.00/0.00	c Parsing...
0.00/0.06	c ==============================================================================
0.00/0.06	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.06	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.06	c ==============================================================================
0.00/0.06	c |         0 |  100116   297952 |   30034       0        0     nan |  0.000 % |
0.92/0.95	c |         0 |   99290   430382 |      --       0       --      -- |     --   | -826/132430
0.92/0.95	c ==============================================================================
0.92/0.95	c Result  :   #vars: 958   #clauses: 99290   #literals: 430382
0.92/0.95	c CPU time:   0.94 s
0.92/0.95	c ==============================================================================
1.02/1.08	c This is MiniSat 2.0 beta
1.02/1.08	c WARNING: for repeatability, setting FPU to use double precision
1.02/1.08	c ============================[ Problem Statistics ]=============================
1.02/1.08	c |                                                                             |
1.02/1.08	c |  Number of variables:  958                                                  |
1.02/1.08	c |  Number of clauses:    99290                                                |
1.12/1.14	c |  Parsing time:         0.06         s                                       |
1.12/1.15	c ============================[ Search Statistics ]==============================
1.12/1.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.12/1.15	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.12/1.15	c ===============================================================================
1.12/1.15	c |         0 |     958    99290   430382 |    33096        0    nan |  0.000 % |
1.12/1.20	c |       100 |     958    99290   430382 |    33096      100     47 |  0.000 % |
1.23/1.25	c |       201 |     958    99290   430382 |    33096      201     50 |  0.001 % |
1.23/1.28	c |       302 |     958    99290   430382 |    33096      302     52 |  0.000 % |
1.32/1.33	c |       412 |     958    99290   430382 |    33096      412     53 |  0.000 % |
1.32/1.37	c |       513 |     958    99290   430382 |    33096      513     52 |  0.000 % |
1.42/1.42	c |       623 |     958    99290   430382 |    33096      623     53 |  0.000 % |
1.42/1.46	c |       746 |     958    99290   430382 |    33096      746     53 |  0.000 % |
1.42/1.48	c |       847 |     958    99290   430382 |    33096      847     52 |  0.000 % |
1.42/1.50	c |       958 |     958    99290   430382 |    33096      958     52 |  0.000 % |
1.52/1.52	c |      1080 |     958    99290   430382 |    33096     1080     51 |  0.000 % |
1.52/1.57	c |      1215 |     958    99290   430382 |    33096     1215     51 |  0.000 % |
1.52/1.61	c |      1317 |     958    99290   430382 |    33096     1317     51 |  0.000 % |
1.62/1.64	c |      1427 |     958    99290   430382 |    33096     1427     52 |  0.000 % |
1.62/1.69	c |      1548 |     958    99290   430382 |    33096     1548     52 |  0.000 % |
1.72/1.74	c |      1681 |     958    99290   430382 |    33096     1681     53 |  0.000 % |
1.72/1.77	c |      1827 |     958    99290   430382 |    33096     1827     53 |  0.000 % |
1.72/1.80	c |      1927 |     958    99290   430382 |    33096     1927     53 |  0.000 % |
1.82/1.83	c |      2037 |     958    99290   430382 |    33096     2037     53 |  0.000 % |
1.82/1.87	c |      2159 |     958    99290   430382 |    33096     2159     53 |  0.000 % |
1.82/1.91	c |      2292 |     958    99290   430382 |    33096     2292     53 |  0.000 % |
1.92/1.96	c |      2438 |     958    99290   430382 |    33096     2438     53 |  0.000 % |
2.02/2.05	c |      2601 |     958    99290   430382 |    33096     2601     54 |  0.000 % |
2.02/2.08	c |      2702 |     958    99290   430382 |    33096     2702     54 |  0.000 % |
2.12/2.14	c |      2812 |     958    99290   430382 |    33096     2812     54 |  0.000 % |
2.12/2.19	c |      2934 |     958    99290   430382 |    33096     2934     54 |  0.000 % |
2.22/2.26	c |      3069 |     958    99290   430382 |    33096     3069     54 |  0.000 % |
2.33/2.33	c |      3215 |     958    99290   430382 |    33096     3215     54 |  0.000 % |
2.33/2.40	c |      3377 |     958    99290   430382 |    33096     3377     54 |  0.000 % |
2.42/2.49	c |      3554 |     958    99290   430382 |    33096     3554     54 |  0.000 % |
2.52/2.54	c |      3654 |     958    99290   430382 |    33096     3654     55 |  0.000 % |
2.52/2.60	c |      3764 |     958    99290   430382 |    33096     3764     55 |  0.000 % |
2.62/2.68	c |      3885 |     958    99290   430382 |    33096     3885     55 |  0.000 % |
2.72/2.76	c |      4019 |     958    99290   430382 |    33096     4019     55 |  0.000 % |
2.82/2.84	c |      4167 |     958    99290   430382 |    33096     4167     55 |  0.000 % |
2.82/2.90	c |      4327 |     958    99290   430382 |    33096     4327     55 |  0.000 % |
2.92/3.01	c |      4503 |     958    99290   430382 |    33096     4503     55 |  0.000 % |
3.12/3.12	c |      4696 |     958    99290   430382 |    33096     4696     55 |  0.000 % |
3.12/3.17	c |      4796 |     958    99290   430382 |    33096     4796     55 |  0.000 % |
3.22/3.24	c |      4906 |     958    99290   430382 |    33096     4906     55 |  0.000 % |
3.22/3.31	c |      5028 |     958    99290   430382 |    33096     5028     55 |  0.000 % |
3.32/3.40	c |      5163 |     958    99290   430382 |    33096     5163     55 |  0.000 % |
3.43/3.49	c |      5309 |     958    99290   430382 |    33096     5309     55 |  0.000 % |
3.52/3.56	c |      5472 |     958    99290   430382 |    33096     5472     55 |  0.000 % |
3.62/3.67	c |      5650 |     958    99290   430382 |    33096     5650     55 |  0.000 % |
3.72/3.76	c |      5843 |     958    99290   430382 |    33096     5843     55 |  0.000 % |
3.82/3.85	c |      6055 |     958    99290   430382 |    33096     6055     55 |  0.000 % |
3.92/3.92	c |      6156 |     958    99290   430382 |    33096     6156     55 |  0.000 % |
3.92/3.98	c |      6266 |     958    99290   430382 |    33096     6266     55 |  0.000 % |
4.02/4.09	c |      6387 |     958    99290   430382 |    33096     6387     55 |  0.000 % |
4.13/4.17	c |      6520 |     958    99290   430382 |    33096     6520     55 |  0.000 % |
4.23/4.27	c |      6667 |     958    99290   430382 |    33096     6667     55 |  0.000 % |
4.33/4.35	c |      6827 |     958    99290   430382 |    33096     6827     55 |  0.000 % |
4.43/4.45	c |      7003 |     958    99290   430382 |    33096     7003     55 |  0.000 % |
4.53/4.55	c |      7197 |     958    99290   430382 |    33096     7197     55 |  0.000 % |
4.73/4.77	c |      7409 |     958    99290   430382 |    33096     7409     55 |  0.000 % |
4.93/5.01	c |      7645 |     958    99290   430382 |    33096     7645     55 |  0.000 % |
5.03/5.10	c |      7745 |     958    99290   430382 |    33096     7745     55 |  0.000 % |
5.13/5.21	c |      7855 |     958    99290   430382 |    33096     7855     55 |  0.000 % |
5.33/5.34	c |      7978 |     958    99290   430382 |    33096     7978     55 |  0.000 % |
5.43/5.45	c |      8111 |     958    99290   430382 |    33096     8111     56 |  0.000 % |
5.53/5.57	c |      8257 |     958    99290   430382 |    33096     8257     56 |  0.000 % |
5.73/5.73	c |      8417 |     958    99290   430382 |    33096     8417     56 |  0.000 % |
5.83/5.89	c |      8593 |     958    99290   430382 |    33096     8593     56 |  0.000 % |
6.03/6.07	c |      8788 |     958    99290   430382 |    33096     8788     56 |  0.000 % |
6.23/6.24	c |      9001 |     958    99290   430382 |    33096     9001     56 |  0.000 % |
6.43/6.50	c |      9234 |     958    99290   430382 |    33096     9234     56 |  0.000 % |
6.73/6.80	c |      9491 |     958    99290   430382 |    33096     9491     56 |  0.000 % |
6.93/6.94	c |      9591 |     958    99290   430382 |    33096     9591     56 |  0.000 % |
7.03/7.08	c |      9702 |     958    99290   430382 |    33096     9702     55 |  0.000 % |
7.13/7.18	c |      9824 |     958    99290   430382 |    33096     9824     55 |  0.000 % |
7.33/7.39	c |      9959 |     958    99290   430382 |    33096     9959     55 |  0.000 % |
7.53/7.62	c |     10107 |     958    99290   430382 | 2147483647    10107     55 |  0.000 % |
7.83/7.85	c |     10268 |     958    99290   430382 | 2147483647    10268     55 |  0.000 % |
7.93/7.95	c |     10445 |     958    99290   430382 | 2147483647    10445     56 |  0.000 % |
8.13/8.19	c |     10638 |     958    99290   430382 | 2147483647    10638     56 |  0.000 % |
8.33/8.35	c |     10851 |     958    99290   430382 | 2147483647    10851     56 |  0.000 % |
8.43/8.50	c |     11085 |     958    99290   430382 | 2147483647    11085     56 |  0.000 % |
8.63/8.63	c |     11341 |     958    99290   430382 | 2147483647    11341     56 |  0.000 % |
8.73/8.75	c |     11623 |     958    99290   430382 | 2147483647    11623     56 |  0.000 % |
8.73/8.79	c |     11724 |     958    99290   430382 | 2147483647    11724     56 |  0.000 % |
8.83/8.84	c |     11836 |     958    99290   430382 | 2147483647    11836     56 |  0.000 % |
8.83/8.89	c |     11958 |     958    99290   430382 | 2147483647    11958     56 |  0.000 % |
8.93/8.95	c |     12091 |     958    99290   430382 | 2147483647    12091     56 |  0.000 % |
9.03/9.02	c |     12237 |     958    99290   430382 | 2147483647    12237     56 |  0.000 % |
9.03/9.09	c |     12397 |     958    99290   430382 | 2147483647    12397     56 |  0.000 % |
9.13/9.16	c |     12573 |     958    99290   430382 | 2147483647    12573     56 |  0.000 % |
9.23/9.26	c |     12768 |     958    99290   430382 | 2147483647    12768     56 |  0.000 % |
9.33/9.36	c |     12980 |     958    99290   430382 | 2147483647    12980     56 |  0.000 % |
9.43/9.46	c |     13213 |     958    99290   430382 | 2147483647    13213     55 |  0.000 % |
9.53/9.59	c |     13470 |     958    99290   430382 | 2147483647    13470     55 |  0.000 % |
9.73/9.77	c |     13752 |     958    99290   430382 | 2147483647    13752     55 |  0.000 % |
9.83/9.89	c |     14063 |     958    99290   430382 | 2147483647    14063     55 |  0.000 % |
9.93/9.95	c |     14165 |     958    99290   430382 | 2147483647    14165     55 |  0.000 % |
9.93/10.01	c |     14275 |     958    99290   430382 | 2147483647    14275     55 |  0.000 % |
10.03/10.06	c |     14397 |     958    99290   430382 | 2147483647    14397     55 |  0.000 % |
10.13/10.14	c |     14530 |     958    99290   430382 | 2147483647    14530     55 |  0.000 % |
10.23/10.24	c |     14679 |     958    99290   430382 | 2147483647    14679     55 |  0.000 % |
10.33/10.34	c |     14840 |     958    99290   430382 | 2147483647    14840     55 |  0.000 % |
10.43/10.44	c |     15017 |     958    99290   430382 | 2147483647    15017     55 |  0.000 % |
10.53/10.59	c |     15213 |     958    99290   430382 | 2147483647    15213     55 |  0.000 % |
10.63/10.71	c |     15425 |     958    99290   430382 | 2147483647    15425     55 |  0.000 % |
10.83/10.85	c |     15658 |     958    99290   430382 | 2147483647    15658     55 |  0.000 % |
10.93/10.98	c |     15914 |     958    99290   430382 | 2147483647    15914     55 |  0.000 % |
11.13/11.13	c |     16196 |     958    99290   430382 | 2147483647    16196     55 |  0.000 % |
11.33/11.35	c |     16505 |     958    99290   430382 | 2147483647    16505     55 |  0.000 % |
11.53/11.58	c |     16844 |     958    99290   430382 | 2147483647    16844     55 |  0.000 % |
11.63/11.66	c |     16945 |     958    99290   430382 | 2147483647    16945     55 |  0.000 % |
11.73/11.77	c |     17055 |     958    99290   430382 | 2147483647    17055     55 |  0.000 % |
11.83/11.85	c |     17178 |     958    99290   430382 | 2147483647    17178     55 |  0.000 % |
11.93/11.97	c |     17312 |     958    99290   430382 | 2147483647    17312     55 |  0.000 % |
12.03/12.08	c |     17458 |     958    99290   430382 | 2147483647    17458     54 |  0.000 % |
12.13/12.20	c |     17619 |     958    99290   430382 | 2147483647    17619     54 |  0.000 % |
12.63/12.64	c |     17796 |     958    99290   430382 | 2147483647    17796     54 |  0.000 % |
12.73/12.82	c |     17991 |     958    99290   430382 | 2147483647    17991     54 |  0.000 % |
13.13/13.18	c |     18204 |     958    99290   430382 | 2147483647    18204     54 |  0.000 % |
13.63/13.70	c |     18438 |     958    99290   430382 | 2147483647    18438     54 |  0.000 % |
13.73/13.81	c |     18695 |     958    99290   430382 | 2147483647    18695     54 |  0.000 % |
14.33/14.36	c |     18979 |     958    99290   430382 | 2147483647    18979     54 |  0.000 % |
14.93/15.00	c |     19288 |     958    99290   430382 | 2147483647    19288     54 |  0.000 % |
15.83/15.85	c |     19627 |     958    99290   430382 | 2147483647    19627     54 |  0.000 % |
16.33/16.39	c |     20001 |     958    99290   430382 | 2147483647    20001     54 |  0.000 % |
16.63/16.70	c |     20102 |     958    99290   430382 | 2147483647    20102     54 |  0.000 % |
17.03/17.06	c |     20213 |     958    99290   430382 | 2147483647    20213     54 |  0.000 % |
17.33/17.35	c |     20335 |     958    99290   430382 | 2147483647    20335     54 |  0.000 % |
17.53/17.53	c |     20470 |     958    99290   430382 | 2147483647    20470     54 |  0.000 % |
17.93/17.93	c |     20617 |     958    99290   430382 | 2147483647    20617     54 |  0.000 % |
18.23/18.30	c |     20777 |     958    99290   430382 | 2147483647    20777     54 |  0.000 % |
18.73/18.73	c |     20955 |     958    99290   430382 | 2147483647    20955     54 |  0.000 % |
19.13/19.19	c |     21148 |     958    99290   430382 | 2147483647    21148     54 |  0.000 % |
19.53/19.59	c |     21360 |     958    99290   430382 | 2147483647    21360     54 |  0.000 % |
20.13/20.15	c |     21596 |     958    99290   430382 | 2147483647    21596     54 |  0.000 % |
20.83/20.88	c |     21852 |     958    99290   430382 | 2147483647    21852     54 |  0.000 % |
21.13/21.21	c |     22134 |     958    99290   430382 | 2147483647    22134     54 |  0.000 % |
22.03/22.10	c |     22443 |     958    99290   430382 | 2147483647    22443     54 |  0.000 % |
22.93/23.01	c |     22784 |     958    99290   430382 | 2147483647    22784     54 |  0.000 % |
23.23/23.29	c |     23157 |     958    99290   430382 | 2147483647    23157     54 |  0.000 % |
24.23/24.30	c |     23567 |     958    99290   430382 | 2147483647    23567     54 |  0.000 % |
24.43/24.52	c |     23668 |     958    99290   430382 | 2147483647    23668     54 |  0.000 % |
24.83/24.85	c |     23778 |     958    99290   430382 | 2147483647    23778     54 |  0.000 % |
25.13/25.19	c |     23899 |     958    99290   430382 | 2147483647    23899     54 |  0.000 % |
25.43/25.48	c |     24035 |     958    99290   430382 | 2147483647    24035     54 |  0.000 % |
25.93/25.98	c |     24181 |     958    99290   430382 | 2147483647    24181     54 |  0.000 % |
26.43/26.50	c |     24342 |     958    99290   430382 | 2147483647    24342     54 |  0.000 % |
26.93/26.99	c |     24518 |     958    99290   430382 | 2147483647    24518     54 |  0.000 % |
27.43/27.52	c |     24713 |     958    99290   430382 | 2147483647    24713     54 |  0.000 % |
28.03/28.05	c |     24925 |     958    99290   430382 | 2147483647    24925     54 |  0.000 % |
28.63/28.69	c |     25158 |     958    99290   430382 | 2147483647    25158     54 |  0.000 % |
29.53/29.57	c |     25414 |     958    99290   430382 | 2147483647    25414     54 |  0.000 % |
30.43/30.44	c |     25696 |     958    99290   430382 | 2147483647    25696     54 |  0.000 % |
31.33/31.40	c |     26005 |     958    99290   430382 | 2147483647    26005     54 |  0.000 % |
32.23/32.23	c |     26345 |     958    99290   430382 | 2147483647    26345     54 |  0.000 % |
33.23/33.29	c |     26718 |     958    99290   430382 | 2147483647    26718     54 |  0.000 % |
34.43/34.51	c |     27127 |     958    99290   430382 | 2147483647    27127     54 |  0.000 % |
35.83/35.83	c |     27576 |     958    99290   430382 | 2147483647    27576     54 |  0.000 % |
36.13/36.16	c |     27679 |     958    99290   430382 | 2147483647    27679     54 |  0.000 % |
36.53/36.55	c |     27789 |     958    99290   430382 | 2147483647    27789     54 |  0.000 % |
36.93/36.97	c |     27913 |     958    99290   430382 | 2147483647    27913     54 |  0.000 % |
37.43/37.44	c |     28048 |     958    99290   430382 | 2147483647    28048     54 |  0.000 % |
37.83/37.86	c |     28194 |     958    99290   430382 | 2147483647    28194     54 |  0.000 % |
38.33/38.34	c |     28354 |     958    99290   430382 | 2147483647    28354     54 |  0.000 % |
38.93/38.96	c |     28532 |     958    99290   430382 | 2147483647    28532     54 |  0.000 % |
39.63/39.63	c |     28727 |     958    99290   430382 | 2147483647    28727     54 |  0.000 % |
40.23/40.29	c |     28939 |     958    99290   430382 | 2147483647    28939     54 |  0.000 % |
40.63/40.66	c |     29173 |     958    99290   430382 | 2147483647    29173     54 |  0.000 % |
41.33/41.40	c |     29429 |     958    99290   430382 | 2147483647    29429     54 |  0.000 % |
42.13/42.21	c |     29710 |     958    99290   430382 | 2147483647    29710     54 |  0.000 % |
42.83/42.91	c |     30019 |     958    99290   430382 | 2147483647    30019     54 |  0.000 % |
43.53/43.60	c |     30359 |     958    99290   430382 | 2147483647    30359     54 |  0.000 % |
44.83/44.89	c |     30731 |     958    99290   430382 | 2147483647    30731     54 |  0.000 % |
46.33/46.36	c |     31142 |     958    99290   430382 | 2147483647    31142     54 |  0.000 % |
47.73/47.80	c |     31592 |     958    99290   430382 | 2147483647    31592     54 |  0.000 % |
49.53/49.54	c |     32085 |     958    99290   430382 | 2147483647    32085     54 |  0.000 % |
49.83/49.86	c |     32185 |     958    99290   430382 | 2147483647    32185     54 |  0.000 % |
50.23/50.23	c |     32295 |     958    99290   430382 | 2147483647    32295     54 |  0.000 % |
50.63/50.64	c |     32417 |     958    99290   430382 | 2147483647    32417     54 |  0.000 % |
51.13/51.17	c |     32551 |     958    99290   430382 | 2147483647    32551     54 |  0.000 % |
51.53/51.61	c |     32698 |     958    99290   430382 | 2147483647    32698     54 |  0.000 % |
52.13/52.14	c |     32858 |     958    99290   430382 | 2147483647    32858     54 |  0.000 % |
52.73/52.75	c |     33035 |     958    99290   430382 | 2147483647    33035     54 |  0.000 % |
53.53/53.53	c |     33228 |     958    99290   430382 | 2147483647    33228     54 |  0.000 % |
54.33/54.37	c |     33441 |     958    99290   430382 | 2147483647    33441     54 |  0.000 % |
55.13/55.16	c |     33674 |     958    99290   430382 | 2147483647    33674     54 |  0.000 % |
55.92/55.97	c |     33930 |     958    99290   430382 | 2147483647    33930     54 |  0.000 % |
57.02/57.03	c |     34212 |     958    99290   430382 | 2147483647    34212     54 |  0.000 % |
58.32/58.41	c |     34521 |     958    99290   430382 | 2147483647    34521     54 |  0.000 % |
59.82/59.84	c |     34861 |     958    99290   430382 | 2147483647    34861     54 |  0.000 % |
61.32/61.34	c |     35233 |     958    99290   430382 | 2147483647    35233     54 |  0.000 % |
62.72/62.79	c |     35644 |     958    99290   430382 | 2147483647    35644     53 |  0.000 % |
64.22/64.30	c |     36094 |     958    99290   430382 | 2147483647    36094     53 |  0.000 % |
65.52/65.59	c |     36588 |     958    99290   430382 | 2147483647    36588     53 |  0.000 % |
67.72/67.79	c |     37130 |     958    99290   430382 | 2147483647    37130     53 |  0.000 % |
68.12/68.19	c |     37231 |     958    99290   430382 | 2147483647    37231     53 |  0.000 % |
68.62/68.62	c |     37341 |     958    99290   430382 | 2147483647    37341     53 |  0.000 % |
69.02/69.04	c |     37463 |     958    99290   430382 | 2147483647    37463     53 |  0.000 % |
69.52/69.57	c |     37596 |     958    99290   430382 | 2147483647    37596     53 |  0.000 % |
70.12/70.11	c |     37743 |     958    99290   430382 | 2147483647    37743     53 |  0.000 % |
70.72/70.71	c |     37904 |     958    99290   430382 | 2147483647    37904     53 |  0.000 % |
71.12/71.16	c |     38081 |     958    99290   430382 | 2147483647    38081     53 |  0.000 % |
72.02/72.07	c |     38274 |     958    99290   430382 | 2147483647    38274     53 |  0.000 % |
72.92/72.93	c |     38486 |     958    99290   430382 | 2147483647    38486     53 |  0.000 % |
74.02/74.03	c |     38720 |     958    99290   430382 | 2147483647    38720     53 |  0.000 % |
75.02/75.07	c |     38976 |     958    99290   430382 | 2147483647    38976     53 |  0.000 % |
76.12/76.18	c |     39258 |     958    99290   430382 | 2147483647    39258     53 |  0.000 % |
77.52/77.60	c |     39568 |     958    99290   430382 | 2147483647    39568     53 |  0.000 % |
78.82/78.86	c |     39907 |     958    99290   430382 | 2147483647    39907     53 |  0.000 % |
80.02/80.10	c |     40279 |     958    99290   430382 | 2147483647    40279     53 |  0.000 % |
81.42/81.44	c |     40688 |     958    99290   430382 | 2147483647    40688     53 |  0.000 % |
83.32/83.38	c |     41143 |     958    99290   430382 | 2147483647    41143     53 |  0.000 % |
84.83/84.88	c |     41636 |     958    99290   430382 | 2147483647    41636     53 |  0.000 % |
86.32/86.37	c |     42179 |     958    99290   430382 | 2147483647    42179     53 |  0.000 % |
89.12/89.16	c |     42777 |     958    99290   430382 | 2147483647    42777     53 |  0.000 % |
89.62/89.69	c |     42878 |     958    99290   430382 | 2147483647    42878     53 |  0.000 % |
90.12/90.16	c |     42988 |     958    99290   430382 | 2147483647    42988     53 |  0.000 % |
90.72/90.78	c |     43109 |     958    99290   430382 | 2147483647    43109     53 |  0.000 % |
91.43/91.44	c |     43242 |     958    99290   430382 | 2147483647    43242     53 |  0.000 % |
92.12/92.14	c |     43390 |     958    99290   430382 | 2147483647    43390     53 |  0.000 % |
92.92/92.95	c |     43550 |     958    99290   430382 | 2147483647    43550     53 |  0.000 % |
93.82/93.84	c |     43726 |     958    99290   430382 | 2147483647    43726     53 |  0.000 % |
94.73/94.74	c |     43920 |     958    99290   430382 | 2147483647    43920     53 |  0.000 % |
95.92/95.91	c |     44132 |     958    99290   430382 | 2147483647    44132     53 |  0.000 % |
97.02/97.03	c |     44366 |     958    99290   430382 | 2147483647    44366     53 |  0.000 % |
98.12/98.16	c |     44622 |     958    99290   430382 | 2147483647    44622     53 |  0.000 % |
99.42/99.41	c |     44905 |     958    99290   430382 | 2147483647    44905     52 |  0.000 % |
100.23/100.29	c |     45215 |     958    99290   430382 | 2147483647    45215     52 |  0.000 % |
101.42/101.50	c |     45554 |     958    99290   430382 | 2147483647    45554     52 |  0.000 % |
101.72/101.77	c |     45926 |     958    99290   430382 | 2147483647    45926     52 |  0.000 % |
103.82/103.85	c |     46336 |     958    99290   430382 | 2147483647    46336     52 |  0.000 % |
104.92/104.98	c |     46787 |     958    99290   430382 | 2147483647    46787     52 |  0.000 % |
107.32/107.35	c |     47282 |     958    99290   430382 | 2147483647    47282     52 |  0.000 % |
109.72/109.75	c |     47824 |     958    99290   430382 | 2147483647    47824     52 |  0.000 % |
110.42/110.43	c |     48420 |     958    99290   430382 | 2147483647    48420     52 |  0.000 % |
111.12/111.11	c |     49075 |     958    99290   430382 | 2147483647    49075     52 |  0.000 % |
111.32/111.32	c |     49176 |     958    99290   430382 | 2147483647    49176     52 |  0.000 % |
111.52/111.56	c |     49286 |     958    99290   430382 | 2147483647    49286     52 |  0.000 % |
111.62/111.69	c |     49407 |     958    99290   430382 | 2147483647    49407     52 |  0.000 % |
112.52/112.60	c |     49540 |     958    99290   430382 | 2147483647    49540     52 |  0.000 % |
113.52/113.55	c |     49688 |     958    99290   430382 | 2147483647    49688     52 |  0.000 % |
114.02/114.09	c |     49848 |     958    99290   430382 | 2147483647    49848     52 |  0.000 % |
115.22/115.21	c |     50028 |     958    99290   430382 | 2147483647    50028     52 |  0.000 % |
115.92/115.91	c |     50222 |     958    99290   430382 | 2147483647    50222     52 |  0.000 % |
116.32/116.37	c |     50435 |     958    99290   430382 | 2147483647    50435     53 |  0.000 % |
116.73/116.74	c |     50668 |     958    99290   430382 | 2147483647    50668     53 |  0.000 % |
116.82/116.82	c |     50925 |     958    99290   430382 | 2147483647    50925     53 |  0.000 % |
118.13/118.12	c |     51209 |     958    99290   430382 | 2147483647    51209     53 |  0.000 % |
119.62/119.66	c |     51519 |     958    99290   430382 | 2147483647    51519     53 |  0.000 % |
120.22/120.23	c |     51858 |     958    99290   430382 | 2147483647    51858     53 |  0.000 % |
120.52/120.53	c |     52231 |     958    99290   430382 | 2147483647    52231     53 |  0.000 % |
120.82/120.84	c |     52641 |     958    99290   430382 | 2147483647    52641     52 |  0.000 % |
121.12/121.16	c |     53091 |     958    99290   430382 | 2147483647    53091     52 |  0.000 % |
123.52/123.54	c |     53586 |     958    99290   430382 | 2147483647    53586     52 |  0.000 % |
124.32/124.31	c |     54129 |     958    99290   430382 | 2147483647    54129     52 |  0.000 % |
126.12/126.15	c |     54725 |     958    99290   430382 | 2147483647    54725     52 |  0.000 % |
127.42/127.49	c |     55382 |     958    99290   430382 | 2147483647    55382     52 |  0.000 % |
129.92/130.00	c |     56102 |     958    99290   430382 | 2147483647    56102     53 |  0.000 % |
130.12/130.14	c |     56204 |     958    99290   430382 | 2147483647    56204     53 |  0.000 % |
130.22/130.29	c |     56316 |     958    99290   430382 | 2147483647    56316     53 |  0.000 % |
130.42/130.41	c |     56437 |     958    99290   430382 | 2147483647    56437     53 |  0.000 % |
130.62/130.67	c |     56572 |     958    99290   430382 | 2147483647    56572     53 |  0.000 % |
131.72/131.75	c |     56719 |     958    99290   430382 | 2147483647    56719     53 |  0.000 % |
132.42/132.42	c |     56882 |     958    99290   430382 | 2147483647    56882     53 |  0.000 % |
132.72/132.80	c |     57061 |     958    99290   430382 | 2147483647    57061     53 |  0.000 % |
133.42/133.49	c |     57255 |     958    99290   430382 | 2147483647    57255     53 |  0.000 % |
133.82/133.81	c |     57467 |     958    99290   430382 | 2147483647    57467     53 |  0.000 % |
135.02/135.01	c |     57702 |     958    99290   430382 | 2147483647    57702     53 |  0.000 % |
135.12/135.14	c |     57958 |     958    99290   430382 | 2147483647    57958     53 |  0.000 % |
136.42/136.46	c |     58241 |     958    99290   430382 | 2147483647    58241     53 |  0.000 % |
137.22/137.28	c |     58553 |     958    99290   430382 | 2147483647    58553     53 |  0.000 % |
138.02/138.05	c |     58892 |     958    99290   430382 | 2147483647    58892     53 |  0.000 % |
139.72/139.77	c |     59266 |     958    99290   430382 | 2147483647    59266     53 |  0.000 % |
141.42/141.47	c |     59675 |     958    99290   430382 | 2147483647    59675     53 |  0.000 % |
142.52/142.56	c |     60125 |     958    99290   430382 | 2147483647    60125     53 |  0.000 % |
144.62/144.69	c |     60619 |     958    99290   430382 | 2147483647    60619     53 |  0.000 % |
147.22/147.25	c |     61163 |     958    99290   430382 | 2147483647    61163     53 |  0.000 % |
149.22/149.25	c |     61759 |     958    99290   430382 | 2147483647    61759     53 |  0.000 % |
150.52/150.54	c |     62414 |     958    99290   430382 | 2147483647    62414     53 |  0.000 % |
152.02/152.09	c |     63135 |     958    99290   430382 | 2147483647    63135     54 |  0.000 % |
153.02/153.01	c |     63928 |     958    99290   430382 | 2147483647    63928     54 |  0.000 % |
153.02/153.09	c |     64028 |     958    99290   430382 | 2147483647    64028     54 |  0.000 % |
153.32/153.40	c |     64138 |     958    99290   430382 | 2147483647    64138     54 |  0.000 % |
153.62/153.66	c |     64260 |     958    99290   430382 | 2147483647    64260     54 |  0.000 % |
154.12/154.13	c |     64393 |     958    99290   430382 | 2147483647    64393     54 |  0.000 % |
154.62/154.67	c |     64540 |     958    99290   430382 | 2147483647    64540     54 |  0.000 % |
155.22/155.28	c |     64701 |     958    99290   430382 | 2147483647    64701     54 |  0.000 % |
155.82/155.88	c |     64878 |     958    99290   430382 | 2147483647    64878     54 |  0.000 % |
156.62/156.64	c |     65071 |     958    99290   430382 | 2147483647    65071     54 |  0.000 % |
157.12/157.17	c |     65283 |     958    99290   430382 | 2147483647    65283     54 |  0.000 % |
157.82/157.82	c |     65518 |     958    99290   430382 | 2147483647    65518     54 |  0.000 % |
158.32/158.39	c |     65774 |     958    99290   430382 | 2147483647    65774     54 |  0.000 % |
158.72/158.79	c |     66057 |     958    99290   430382 | 2147483647    66057     54 |  0.000 % |
160.42/160.42	c |     66366 |     958    99290   430382 | 2147483647    66366     54 |  0.000 % |
161.92/161.96	c |     66705 |     958    99290   430382 | 2147483647    66705     54 |  0.000 % |
164.12/164.16	c |     67078 |     958    99290   430382 | 2147483647    67078     54 |  0.000 % |
166.02/166.01	c |     67489 |     958    99290   430382 | 2147483647    67489     54 |  0.000 % |
168.32/168.36	c |     67938 |     958    99290   430382 | 2147483647    67938     54 |  0.000 % |
171.02/171.03	c |     68431 |     958    99290   430382 | 2147483647    68431     54 |  0.000 % |
171.42/171.46	c |     68974 |     958    99290   430382 | 2147483647    68974     55 |  0.000 % |
174.32/174.39	c |     69571 |     958    99290   430382 | 2147483647    69571     55 |  0.000 % |
176.92/176.94	c |     70226 |     958    99290   430382 | 2147483647    70226     55 |  0.000 % |
179.92/179.99	c |     70946 |     958    99290   430382 | 2147483647    70946     55 |  0.000 % |
182.02/182.01	c |     71739 |     958    99290   430382 | 2147483647    71739     55 |  0.000 % |
183.72/183.77	c |     72613 |     958    99290   430382 | 2147483647    72613     55 |  0.000 % |
183.92/183.99	c |     72713 |     958    99290   430382 | 2147483647    72713     55 |  0.000 % |
184.12/184.11	c |     72824 |     958    99290   430382 | 2147483647    72824     55 |  0.000 % |
184.22/184.28	c |     72945 |     958    99290   430382 | 2147483647    72945     55 |  0.000 % |
184.42/184.43	c |     73078 |     958    99290   430382 | 2147483647    73078     55 |  0.000 % |
184.82/184.87	c |     73224 |     958    99290   430382 | 2147483647    73224     55 |  0.000 % |
185.32/185.36	c |     73384 |     958    99290   430382 | 2147483647    73384     55 |  0.000 % |
185.52/185.59	c |     73560 |     958    99290   430382 | 2147483647    73560     55 |  0.000 % |
185.92/185.98	c |     73758 |     958    99290   430382 | 2147483647    73758     55 |  0.000 % |
186.32/186.39	c |     73970 |     958    99290   430382 | 2147483647    73970     55 |  0.000 % |
186.82/186.87	c |     74203 |     958    99290   430382 | 2147483647    74203     55 |  0.000 % |
188.23/188.22	c |     74461 |     958    99290   430382 | 2147483647    74461     55 |  0.000 % |
189.12/189.12	c |     74745 |     958    99290   430382 | 2147483647    74745     55 |  0.000 % |
190.43/190.50	c |     75056 |     958    99290   430382 | 2147483647    75056     55 |  0.000 % |
192.02/192.04	c |     75395 |     958    99290   430382 | 2147483647    75395     55 |  0.000 % |
193.32/193.36	c |     75769 |     958    99290   430382 | 2147483647    75769     55 |  0.000 % |
194.72/194.79	c |     76179 |     958    99290   430382 | 2147483647    76179     55 |  0.000 % |
195.62/195.69	c |     76629 |     958    99290   430382 | 2147483647    76629     55 |  0.000 % |
196.82/196.84	c |     77122 |     958    99290   430382 | 2147483647    77122     55 |  0.000 % |
198.72/198.76	c |     77666 |     958    99290   430382 | 2147483647    77666     55 |  0.000 % |
199.72/199.76	c |     78262 |     958    99290   430382 | 2147483647    78262     55 |  0.000 % |
200.82/200.83	c |     78920 |     958    99290   430382 | 2147483647    78920     55 |  0.000 % |
201.92/201.98	c |     79646 |     958    99290   430382 | 2147483647    79646     55 |  0.000 % |
203.02/203.09	c |     80441 |     958    99290   430382 | 2147483647    80441     55 |  0.000 % |
204.32/204.35	c |     81312 |     958    99290   430382 | 2147483647    81312     55 |  0.000 % |
205.72/205.75	c |     82270 |     958    99290   430382 | 2147483647    82270     55 |  0.000 % |
205.92/205.91	c |     82370 |     958    99290   430382 | 2147483647    82370     55 |  0.000 % |
206.02/206.03	c |     82482 |     958    99290   430382 | 2147483647    82482     55 |  0.000 % |
206.12/206.17	c |     82604 |     958    99290   430382 | 2147483647    82604     55 |  0.000 % |
206.32/206.32	c |     82738 |     958    99290   430382 | 2147483647    82738     55 |  0.000 % |
206.52/206.52	c |     82884 |     958    99290   430382 | 2147483647    82884     55 |  0.000 % |
206.62/206.70	c |     83046 |     958    99290   430382 | 2147483647    83046     55 |  0.000 % |
207.82/207.85	c |     83224 |     958    99290   430382 | 2147483647    83224     55 |  0.000 % |
208.42/208.44	c |     83421 |     958    99290   430382 | 2147483647    83421     55 |  0.000 % |
209.32/209.32	c |     83633 |     958    99290   430382 | 2147483647    83633     55 |  0.000 % |
209.92/209.97	c |     83866 |     958    99290   430382 | 2147483647    83866     55 |  0.000 % |
211.22/211.23	c |     84122 |     958    99290   430382 | 2147483647    84122     55 |  0.000 % |
212.22/212.23	c |     84403 |     958    99290   430382 | 2147483647    84403     55 |  0.000 % |
213.72/213.72	c |     84714 |     958    99290   430382 | 2147483647    84714     55 |  0.000 % |
215.42/215.49	c |     85053 |     958    99290   430382 | 2147483647    85053     55 |  0.000 % |
217.22/217.25	c |     85426 |     958    99290   430382 | 2147483647    85426     55 |  0.000 % |
219.03/219.08	c |     85836 |     958    99290   430382 | 2147483647    85836     55 |  0.000 % |
220.52/220.51	c |     86285 |     958    99290   430382 | 2147483647    86285     55 |  0.000 % |
221.02/221.03	c |     86779 |     958    99290   430382 | 2147483647    86779     55 |  0.000 % |
222.33/222.35	c |     87322 |     958    99290   430382 | 2147483647    87322     55 |  0.000 % |
224.92/224.92	c |     87919 |     958    99290   430382 | 2147483647    87919     55 |  0.000 % |
226.73/226.73	c |     88574 |     958    99290   430382 | 2147483647    88574     55 |  0.000 % |
228.32/228.37	c |     89294 |     958    99290   430382 | 2147483647    89294     55 |  0.000 % |
229.92/229.92	c |     90086 |     958    99290   430382 | 2147483647    90086     55 |  0.000 % |
231.32/231.31	c |     90958 |     958    99290   430382 | 2147483647    90958     56 |  0.000 % |
232.53/232.57	c |     91917 |     958    99290   430382 | 2147483647    91917     56 |  0.000 % |
234.53/234.53	c |     92970 |     958    99290   430382 | 2147483647    92970     56 |  0.000 % |
234.73/234.73	c |     93070 |     958    99290   430382 | 2147483647    93070     56 |  0.000 % |
234.83/234.88	c |     93180 |     958    99290   430382 | 2147483647    93180     56 |  0.000 % |
235.13/235.12	c |     93301 |     958    99290   430382 | 2147483647    93301     56 |  0.000 % |
235.33/235.39	c |     93435 |     958    99290   430382 | 2147483647    93435     56 |  0.000 % |
235.53/235.56	c |     93582 |     958    99290   430382 | 2147483647    93582     56 |  0.000 % |
235.83/235.87	c |     93743 |     958    99290   430382 | 2147483647    93743     56 |  0.000 % |
236.03/236.05	c |     93921 |     958    99290   430382 | 2147483647    93921     56 |  0.000 % |
236.33/236.35	c |     94115 |     958    99290   430382 | 2147483647    94115     56 |  0.000 % |
236.53/236.56	c |     94327 |     958    99290   430382 | 2147483647    94327     56 |  0.000 % |
236.83/236.91	c |     94560 |     958    99290   430382 | 2147483647    94560     56 |  0.000 % |
237.33/237.39	c |     94817 |     958    99290   430382 | 2147483647    94817     56 |  0.000 % |
237.83/237.85	c |     95099 |     958    99290   430382 | 2147483647    95099     56 |  0.000 % |
238.33/238.39	c |     95409 |     958    99290   430382 | 2147483647    95409     56 |  0.000 % |
239.73/239.77	c |     95751 |     958    99290   430382 | 2147483647    95751     56 |  0.000 % |
241.23/241.23	c |     96123 |     958    99290   430382 | 2147483647    96123     56 |  0.000 % |
242.83/242.83	c |     96532 |     958    99290   430382 | 2147483647    96532     56 |  0.000 % |
244.93/244.91	c |     96982 |     958    99290   430382 | 2147483647    96982     56 |  0.000 % |
246.93/247.01	c |     97477 |     958    99290   430382 | 2147483647    97477     56 |  0.000 % |
248.63/248.67	c |     98020 |     958    99290   430382 | 2147483647    98020     56 |  0.000 % |
251.53/251.60	c |     98616 |     958    99290   430382 | 2147483647    98616     56 |  0.000 % |
254.73/254.77	c |     99272 |     958    99290   430382 | 2147483647    99272     56 |  0.000 % |
257.23/257.27	c |     99992 |     958    99290   430382 | 2147483647    99992     56 |  0.000 % |
260.33/260.32	c |    100784 |     958    99290   430382 | 2147483647   100784     57 |  0.000 % |
263.93/263.97	c |    101656 |     958    99290   430382 | 2147483647   101656     57 |  0.000 % |
267.63/267.70	c |    102615 |     958    99290   430382 | 2147483647   102615     57 |  0.000 % |
272.03/272.10	c |    103669 |     958    99290   430382 | 2147483647   103669     57 |  0.000 % |
276.43/276.41	c |    104828 |     958    99290   430382 | 2147483647   104828     57 |  0.000 % |
276.73/276.79	c |    104929 |     958    99290   430382 | 2147483647   104929     57 |  0.000 % |
277.13/277.18	c |    105040 |     958    99290   430382 | 2147483647   105040     57 |  0.000 % |
277.63/277.67	c |    105162 |     958    99290   430382 | 2147483647   105162     57 |  0.000 % |
278.13/278.19	c |    105295 |     958    99290   430382 | 2147483647   105295     57 |  0.000 % |
278.73/278.77	c |    105441 |     958    99290   430382 | 2147483647   105441     57 |  0.000 % |
279.33/279.31	c |    105601 |     958    99290   430382 | 2147483647   105601     57 |  0.000 % |
279.73/279.75	c |    105777 |     958    99290   430382 | 2147483647   105777     57 |  0.000 % |
280.53/280.57	c |    105970 |     958    99290   430382 | 2147483647   105970     57 |  0.000 % |
281.33/281.40	c |    106182 |     958    99290   430382 | 2147483647   106182     57 |  0.000 % |
282.13/282.15	c |    106415 |     958    99290   430382 | 2147483647   106415     57 |  0.000 % |
283.53/283.53	c |    106673 |     958    99290   430382 | 2147483647   106673     57 |  0.000 % |
284.33/284.34	c |    106957 |     958    99290   430382 | 2147483647   106957     57 |  0.000 % |
285.53/285.52	c |    107266 |     958    99290   430382 | 2147483647   107266     57 |  0.000 % |
286.73/286.72	c |    107606 |     958    99290   430382 | 2147483647   107606     57 |  0.000 % |
288.13/288.19	c |    107978 |     958    99290   430382 | 2147483647   107978     57 |  0.000 % |
289.23/289.28	c |    108387 |     958    99290   430382 | 2147483647   108387     57 |  0.000 % |
290.83/290.89	c |    108840 |     958    99290   430382 | 2147483647   108840     57 |  0.000 % |
292.63/292.63	c |    109336 |     958    99290   430382 | 2147483647   109336     57 |  0.000 % |
294.53/294.60	c |    109879 |     958    99290   430382 | 2147483647   109879     57 |  0.000 % |
296.33/296.32	c |    110478 |     958    99290   430382 | 2147483647   110478     57 |  0.000 % |
298.13/298.21	c |    111133 |     958    99290   430382 | 2147483647   111133     57 |  0.000 % |
299.34/299.32	c |    111858 |     958    99290   430382 | 2147483647   111858     57 |  0.000 % |
304.13/304.19	c |    112651 |     958    99290   430382 | 2147483647   112651     57 |  0.000 % |
308.53/308.53	c |    113524 |     958    99290   430382 | 2147483647   113524     57 |  0.000 % |
311.73/311.77	c |    114482 |     958    99290   430382 | 2147483647   114482     57 |  0.000 % |
315.63/315.67	c |    115535 |     958    99290   430382 | 2147483647   115535     57 |  0.000 % |
319.73/319.81	c |    116696 |     958    99290   430382 | 2147483647   116696     58 |  0.000 % |
324.43/324.48	c |    117970 |     958    99290   430382 | 2147483647   117970     58 |  0.000 % |
324.93/324.99	c |    118073 |     958    99290   430382 | 2147483647   118073     58 |  0.000 % |
325.53/325.53	c |    118183 |     958    99290   430382 | 2147483647   118183     58 |  0.000 % |
326.03/326.01	c |    118304 |     958    99290   430382 | 2147483647   118304     58 |  0.000 % |
326.43/326.47	c |    118438 |     958    99290   430382 | 2147483647   118438     58 |  0.000 % |
326.93/326.95	c |    118584 |     958    99290   430382 | 2147483647   118584     58 |  0.000 % |
327.73/327.71	c |    118745 |     958    99290   430382 | 2147483647   118745     58 |  0.000 % |
328.73/328.78	c |    118921 |     958    99290   430382 | 2147483647   118921     58 |  0.000 % |
329.73/329.79	c |    119116 |     958    99290   430382 | 2147483647   119116     58 |  0.000 % |
330.73/330.73	c |    119328 |     958    99290   430382 | 2147483647   119328     58 |  0.000 % |
331.83/331.87	c |    119562 |     958    99290   430382 | 2147483647   119562     58 |  0.000 % |
332.83/332.85	c |    119820 |     958    99290   430382 | 2147483647   119820     58 |  0.000 % |
334.03/334.07	c |    120105 |     958    99290   430382 |   120000   120105     58 |  0.000 % |
335.43/335.50	c |    120414 |     958    99290   430382 |   120000   106349     58 |  0.000 % |
336.74/336.77	c |    120758 |     958    99290   430382 |   120000   106693     58 |  0.000 % |
338.13/338.18	c |    121130 |     958    99290   430382 |   120000   107065     58 |  0.000 % |
339.63/339.70	c |    121539 |     958    99290   430382 |   120000   107474     58 |  0.000 % |
341.14/341.14	c |    121988 |     958    99290   430382 |   120000   107923     58 |  0.000 % |
342.53/342.59	c |    122481 |     958    99290   430382 |   120000   108416     58 |  0.000 % |
344.13/344.11	c |    123024 |     958    99290   430382 |   120000   108959     58 |  0.000 % |
345.94/345.97	c |    123620 |     958    99290   430382 |   120000   109555     58 |  0.000 % |
347.84/347.85	c |    124280 |     958    99290   430382 |   120000   110215     58 |  0.000 % |
350.24/350.22	c |    125002 |     958    99290   430382 |   120000   110937     58 |  0.000 % |
353.24/353.27	c |    125795 |     958    99290   430382 |   120000   111730     58 |  0.000 % |
356.24/356.23	c |    126667 |     958    99290   430382 |   120000   112602     58 |  0.000 % |
359.44/359.43	c |    127625 |     958    99290   430382 |   120000   113560     58 |  0.000 % |
362.14/362.21	c |    128680 |     958    99290   430382 |   120000   114615     58 |  0.000 % |
366.04/366.03	c |    129839 |     958    99290   430382 |   120000   115774     58 |  0.000 % |
370.14/370.14	c |    131114 |     958    99290   430382 | 2147483647   117049     58 |  0.000 % |
374.64/374.66	c |    132518 |     958    99290   430382 | 2147483647   118453     58 |  0.000 % |
375.04/375.03	c |    132619 |     958    99290   430382 | 2147483647   118554     58 |  0.000 % |
375.64/375.68	c |    132729 |     958    99290   430382 | 2147483647   118664     58 |  0.000 % |
376.14/376.17	c |    132852 |     958    99290   430382 | 2147483647   118787     58 |  0.000 % |
376.74/376.73	c |    132986 |     958    99290   430382 | 2147483647   118921     58 |  0.000 % |
377.34/377.33	c |    133132 |     958    99290   430382 | 2147483647   119067     58 |  0.000 % |
377.84/377.82	c |    133292 |     958    99290   430382 | 2147483647   119227     58 |  0.000 % |
378.44/378.49	c |    133468 |     958    99290   430382 | 2147483647   119403     58 |  0.000 % |
379.14/379.21	c |    133661 |     958    99290   430382 | 2147483647   119596     58 |  0.000 % |
379.94/379.95	c |    133875 |     958    99290   430382 | 2147483647   119810     58 |  0.000 % |
380.74/380.81	c |    134110 |     958    99290   430382 | 2147483647   120045     58 |  0.000 % |
381.74/381.77	c |    134368 |     958    99290   430382 | 2147483647   120303     58 |  0.000 % |
382.74/382.80	c |    134650 |     958    99290   430382 | 2147483647   120585     58 |  0.000 % |
384.04/384.05	c |    134961 |     958    99290   430382 | 2147483647   120896     58 |  0.000 % |
384.74/384.73	c |    135301 |     958    99290   430382 | 2147483647   121236     58 |  0.000 % |
385.74/385.80	c |    135674 |     958    99290   430382 | 2147483647   121609     58 |  0.000 % |
387.74/387.73	c |    136084 |     958    99290   430382 | 2147483647   122019     58 |  0.000 % |
389.54/389.61	c |    136535 |     958    99290   430382 | 2147483647   122470     58 |  0.000 % |
391.14/391.20	c |    137030 |     958    99290   430382 | 2147483647   122965     58 |  0.000 % |
392.94/392.99	c |    137572 |     958    99290   430382 | 2147483647   123507     58 |  0.000 % |
395.04/395.10	c |    138168 |     958    99290   430382 | 2147483647   124103     58 |  0.000 % |
397.14/397.18	c |    138824 |     958    99290   430382 | 2147483647   124759     58 |  0.000 % |
400.14/400.16	c |    139544 |     958    99290   430382 | 2147483647   125479     59 |  0.000 % |
402.14/402.21	c |    140338 |     958    99290   430382 |   125936   126273     59 |  0.000 % |
404.84/404.88	c |    141211 |     958    99290   430382 |   125936   106305     60 |  0.000 % |
407.14/407.20	c |    142172 |     958    99290   430382 |   125936   107266     60 |  0.000 % |
409.64/409.69	c |    143227 |     958    99290   430382 |   125936   108321     60 |  0.000 % |
412.14/412.12	c |    144385 |     958    99290   430382 |   125936   109479     60 |  0.000 % |
416.34/416.34	c |    145658 |     958    99290   430382 |   125936   110752     60 |  0.000 % |
420.24/420.28	c |    147058 |     958    99290   430382 |   125936   112152     60 |  0.000 % |
424.75/424.75	c |    148598 |     958    99290   430382 |   125936   113692     60 |  0.000 % |
425.14/425.12	c |    148699 |     958    99290   430382 |   125936   113793     60 |  0.000 % |
425.44/425.42	c |    148810 |     958    99290   430382 |   125936   113904     60 |  0.000 % |
425.74/425.81	c |    148931 |     958    99290   430382 |   125936   114025     60 |  0.000 % |
426.24/426.27	c |    149065 |     958    99290   430382 |   125936   114159     60 |  0.000 % |
426.84/426.84	c |    149211 |     958    99290   430382 |   125936   114305     60 |  0.000 % |
427.44/427.45	c |    149371 |     958    99290   430382 |   125936   114465     60 |  0.000 % |
427.94/428.00	c |    149549 |     958    99290   430382 |   125936   114643     60 |  0.000 % |
428.54/428.55	c |    149743 |     958    99290   430382 |   125936   114837     60 |  0.000 % |
429.34/429.31	c |    149955 |     958    99290   430382 |   125936   115049     60 |  0.000 % |
430.25/430.23	c |    150188 |     958    99290   430382 |   115095   115282     60 |  0.000 % |
431.24/431.25	c |    150445 |     958    99290   430382 |   115095    95517     62 |  0.000 % |
432.14/432.20	c |    150727 |     958    99290   430382 |   115095    95799     62 |  0.000 % |
433.24/433.23	c |    151036 |     958    99290   430382 |   115095    96108     62 |  0.000 % |
434.24/434.26	c |    151375 |     958    99290   430382 |   115095    96447     62 |  0.000 % |
435.34/435.40	c |    151747 |     958    99290   430382 |   115095    96819     62 |  0.000 % |
436.64/436.63	c |    152158 |     958    99290   430382 |   115095    97230     62 |  0.000 % |
437.84/437.90	c |    152608 |     958    99290   430382 |   115095    97680     62 |  0.000 % |
439.14/439.16	c |    153101 |     958    99290   430382 |   115095    98173     62 |  0.000 % |
440.54/440.60	c |    153644 |     958    99290   430382 |   115095    98716     62 |  0.000 % |
442.14/442.16	c |    154243 |     958    99290   430382 |   115095    99315     62 |  0.000 % |
443.84/443.81	c |    154898 |     958    99290   430382 |   115095    99970     62 |  0.000 % |
446.24/446.25	c |    155618 |     958    99290   430382 |   115095   100690     62 |  0.000 % |
448.64/448.69	c |    156411 |     958    99290   430382 |   115095   101483     62 |  0.000 % |
451.44/451.46	c |    157282 |     958    99290   430382 |   115095   102354     62 |  0.000 % |
454.54/454.52	c |    158240 |     958    99290   430382 |   115095   103312     62 |  0.000 % |
458.24/458.23	c |    159295 |     958    99290   430382 |   115095   104367     62 |  0.000 % |
462.65/462.62	c |    160453 |     958    99290   430382 |   105073    89221     62 |  0.000 % |
466.45/466.50	c |    161727 |     958    99290   430382 |   105073    90495     62 |  0.000 % |
471.55/471.54	c |    163128 |     958    99290   430382 |   105073    91896     62 |  0.000 % |
476.85/476.87	c |    164668 |     958    99290   430382 |   105073    93436     62 |  0.000 % |
481.34/481.40	c |    166362 |     958    99290   430382 |   105073    95130     62 |  0.000 % |
481.74/481.73	c |    166463 |     958    99290   430382 |   105073    95231     62 |  0.000 % |
482.14/482.12	c |    166575 |     958    99290   430382 |   105073    95343     62 |  0.000 % |
482.54/482.55	c |    166696 |     958    99290   430382 |   105073    95464     62 |  0.000 % |
483.14/483.11	c |    166829 |     958    99290   430382 |   105073    95597     62 |  0.000 % |
483.84/483.81	c |    166976 |     958    99290   430382 |   105073    95744     62 |  0.000 % |
484.54/484.51	c |    167137 |     958    99290   430382 |   105073    95905     62 |  0.000 % |
485.24/485.23	c |    167313 |     958    99290   430382 |   105073    96081     62 |  0.000 % |
486.04/486.02	c |    167508 |     958    99290   430382 |   105073    96276     62 |  0.000 % |
486.84/486.81	c |    167721 |     958    99290   430382 |   105073    96489     62 |  0.000 % |
487.54/487.54	c |    167955 |     958    99290   430382 |   105073    96723     62 |  0.000 % |
488.34/488.32	c |    168211 |     958    99290   430382 |   105073    96979     62 |  0.000 % |
489.04/489.05	c |    168492 |     958    99290   430382 |   105073    97260     62 |  0.000 % |
489.74/489.77	c |    168801 |     958    99290   430382 |   105073    97569     62 |  0.000 % |
490.54/490.54	c |    169140 |     958    99290   430382 |   105073    97908     62 |  0.000 % |
492.04/492.10	c |    169513 |     958    99290   430382 |   105073    98281     62 |  0.000 % |
495.24/495.27	c |    169923 |     958    99290   430382 |   105073    98691     62 |  0.000 % |
498.14/498.13	c |    170372 |     958    99290   430382 |    98769    83439     63 |  0.000 % |
501.94/501.93	c |    170865 |     958    99290   430382 |    98769    83932     63 |  0.000 % |
504.64/504.67	c |    171409 |     958    99290   430382 |    98769    84476     63 |  0.000 % |
507.94/508.00	c |    172006 |     958    99290   430382 |    98769    85073     63 |  0.000 % |
514.04/514.05	c |    172665 |     958    99290   430382 |    98769    85732     63 |  0.000 % |
521.44/521.48	c |    173388 |     958    99290   430382 |    98769    86455     63 |  0.000 % |
529.34/529.38	c |    174180 |     958    99290   430382 |    98769    87247     63 |  0.000 % |
536.64/536.67	c |    175056 |     958    99290   430382 |    98769    88123     63 |  0.000 % |
546.34/546.35	c |    176015 |     958    99290   430382 |    98769    89082     63 |  0.000 % |
556.44/556.47	c |    177068 |     958    99290   430382 |    98769    90135     63 |  0.000 % |
562.44/562.42	c |    178226 |     958    99290   430382 |    98769    91293     63 |  0.000 % |
569.44/569.47	c |    179499 |     958    99290   430382 |    98769    92566     63 |  0.000 % |
574.25/574.22	c |    180900 |     958    99290   430382 |    93067    78488     62 |  0.000 % |
579.15/579.19	c |    182440 |     958    99290   430382 |    93067    80028     62 |  0.000 % |
587.15/587.14	c |    184134 |     958    99290   430382 |    93067    81722     62 |  0.000 % |
595.55/595.55	c |    186000 |     958    99290   430382 |    93067    83588     62 |  0.000 % |
595.85/595.84	c |    186100 |     958    99290   430382 |    93067    83688     62 |  0.000 % |
596.75/596.78	c |    186210 |     958    99290   430382 |    93067    83798     62 |  0.000 % |
597.95/597.92	c |    186331 |     958    99290   430382 |    93067    83919     62 |  0.000 % |
599.25/599.28	c |    186464 |     958    99290   430382 |    93067    84052     62 |  0.000 % |
600.65/600.66	c |    186612 |     958    99290   430382 |    93067    84200     62 |  0.000 % |
602.05/602.05	c |    186772 |     958    99290   430382 |    93067    84360     62 |  0.000 % |
603.15/603.19	c |    186948 |     958    99290   430382 |    93067    84536     62 |  0.000 % |
604.45/604.44	c |    187142 |     958    99290   430382 |    93067    84730     62 |  0.000 % |
606.35/606.32	c |    187355 |     958    99290   430382 |    93067    84943     62 |  0.000 % |
608.55/608.59	c |    187592 |     958    99290   430382 |    93067    85180     62 |  0.000 % |
610.25/610.27	c |    187849 |     958    99290   430382 |    93067    85437     62 |  0.000 % |
612.95/612.92	c |    188132 |     958    99290   430382 |    93067    85720     62 |  0.000 % |
615.65/615.68	c |    188442 |     958    99290   430382 |    93067    86030     62 |  0.000 % |
618.25/618.28	c |    188781 |     958    99290   430382 |    93067    86369     62 |  0.000 % |
621.15/621.15	c |    189155 |     958    99290   430382 |    93067    86743     62 |  0.000 % |
624.55/624.56	c |    189565 |     958    99290   430382 |    93067    87153     62 |  0.000 % |
627.35/627.38	c |    190014 |     958    99290   430382 |    87590    87602     62 |  0.000 % |
632.45/632.42	c |    190509 |     958    99290   430382 |    87590    78435     61 |  0.000 % |
634.15/634.11	c |    191051 |     958    99290   430382 |    87590    78977     61 |  0.000 % |
638.65/638.70	c |    191647 |     958    99290   430382 |    87590    79573     61 |  0.000 % |
642.95/642.95	c |    192303 |     958    99290   430382 |    87590    80229     61 |  0.000 % |
646.75/646.72	c |    193026 |     958    99290   430382 |    87590    80952     61 |  0.000 % |
653.05/653.03	c |    193823 |     958    99290   430382 |    87590    81749     61 |  0.000 % |
658.05/658.01	c |    194694 |     958    99290   430382 |    87590    82620     61 |  0.000 % |
663.05/663.03	c |    195653 |     958    99290   430382 |    87590    83579     61 |  0.000 % |
664.35/664.40	c |    196711 |     958    99290   430382 |    87590    84637     61 |  0.000 % |
665.66/665.71	c |    197869 |     958    99290   430382 |    87590    85795     61 |  0.000 % |
670.55/670.52	c |    199143 |     958    99290   430382 |    87590    87069     61 |  0.000 % |
677.45/677.47	c |    200543 |     958    99290   430382 | 2147483647    79696     60 |  0.000 % |
686.45/686.46	c |    202084 |     958    99290   430382 | 2147483647    81237     60 |  0.000 % |
696.66/696.65	c |    203778 |     958    99290   430382 | 2147483647    82931     61 |  0.000 % |
702.56/702.57	c |    205641 |     958    99290   430382 | 2147483647    84794     61 |  0.000 % |
713.36/713.35	c |    207690 |     958    99290   430382 | 2147483647    86843     61 |  0.000 % |
714.16/714.18	c |    207790 |     958    99290   430382 | 2147483647    86943     61 |  0.000 % |
714.96/714.96	c |    207900 |     958    99290   430382 | 2147483647    87053     61 |  0.000 % |
716.06/716.04	c |    208022 |     958    99290   430382 | 2147483647    87175     61 |  0.000 % |
716.86/716.82	c |    208157 |     958    99290   430382 | 2147483647    87310     61 |  0.000 % |
717.86/717.90	c |    208305 |     958    99290   430382 | 2147483647    87458     61 |  0.000 % |
718.96/719.01	c |    208467 |     958    99290   430382 | 2147483647    87620     61 |  0.000 % |
720.46/720.42	c |    208643 |     958    99290   430382 | 2147483647    87796     61 |  0.000 % |
721.86/721.83	c |    208837 |     958    99290   430382 | 2147483647    87990     61 |  0.000 % |
723.46/723.46	c |    209052 |     958    99290   430382 | 2147483647    88205     61 |  0.000 % |
725.36/725.32	c |    209285 |     958    99290   430382 | 2147483647    88438     61 |  0.000 % |
727.06/727.10	c |    209541 |     958    99290   430382 | 2147483647    88694     61 |  0.000 % |
729.56/729.57	c |    209822 |     958    99290   430382 | 2147483647    88975     61 |  0.000 % |
732.06/732.04	c |    210131 |     958    99290   430382 |    89153    89284     61 |  0.000 % |
734.56/734.57	c |    210473 |     958    99290   430382 |    89153    72573     61 |  0.000 % |
735.26/735.22	c |    210846 |     958    99290   430382 |    89153    72946     61 |  0.000 % |
737.36/737.33	c |    211255 |     958    99290   430382 |    89153    73355     61 |  0.000 % |
739.36/739.39	c |    211704 |     958    99290   430382 |    89153    73804     61 |  0.000 % |
741.16/741.17	c |    212198 |     958    99290   430382 |    89153    74298     61 |  0.000 % |
743.36/743.36	c |    212741 |     958    99290   430382 |    89153    74841     61 |  0.000 % |
745.36/745.35	c |    213337 |     958    99290   430382 |    89153    75437     61 |  0.000 % |
748.66/748.70	c |    213992 |     958    99290   430382 |    89153    76092     61 |  0.000 % |
751.96/751.99	c |    214712 |     958    99290   430382 |    89153    76812     61 |  0.000 % |
755.46/755.42	c |    215505 |     958    99290   430382 |    89153    77605     61 |  0.000 % |
759.96/759.96	c |    216376 |     958    99290   430382 |    89153    78476     61 |  0.000 % |
764.06/764.03	c |    217335 |     958    99290   430382 |    89153    79435     61 |  0.000 % |
765.77/765.76	c |    218388 |     958    99290   430382 |    89153    80488     61 |  0.000 % |
767.56/767.54	c |    219549 |     958    99290   430382 |    89153    81649     61 |  0.000 % |
774.66/774.63	c |    220823 |     958    99290   430382 | 2147483647    82923     61 |  0.000 % |
780.86/780.82	c |    222223 |     958    99290   430382 | 2147483647    84323     61 |  0.000 % |
787.16/787.19	c |    223770 |     958    99290   430382 | 2147483647    85870     61 |  0.000 % |
796.26/796.23	c |    225464 |     958    99290   430382 | 2147483647    87564     61 |  0.000 % |
805.87/805.88	c |    227327 |     958    99290   430382 | 2147483647    89427     62 |  0.000 % |
815.07/815.06	c |    229377 |     958    99290   430382 | 2147483647    91477     62 |  0.000 % |
821.67/821.65	c |    231630 |     958    99290   430382 |    92102    82022     61 |  0.000 % |
821.87/821.89	c |    231734 |     958    99290   430382 |    92102    82126     61 |  0.000 % |
822.17/822.17	c |    231845 |     958    99290   430382 |    92102    82237     61 |  0.000 % |
822.47/822.46	c |    231967 |     958    99290   430382 |    92102    82359     61 |  0.000 % |
822.77/822.77	c |    232100 |     958    99290   430382 |    92102    82492     61 |  0.000 % |
823.27/823.23	c |    232246 |     958    99290   430382 |    92102    82638     61 |  0.000 % |
823.67/823.65	c |    232408 |     958    99290   430382 |    92102    82800     61 |  0.000 % |
824.17/824.18	c |    232584 |     958    99290   430382 |    92102    82976     61 |  0.000 % |
824.77/824.79	c |    232777 |     958    99290   430382 |    92102    83169     61 |  0.000 % |
825.67/825.66	c |    232989 |     958    99290   430382 |    92102    83381     61 |  0.000 % |
826.37/826.40	c |    233223 |     958    99290   430382 |    92102    83615     61 |  0.000 % |
827.47/827.48	c |    233481 |     958    99290   430382 |    92102    83873     61 |  0.000 % |
828.37/828.35	c |    233762 |     958    99290   430382 |    92102    84154     61 |  0.000 % |
829.77/829.75	c |    234072 |     958    99290   430382 |    92102    84464     61 |  0.000 % |
831.07/831.05	c |    234412 |     958    99290   430382 |    92102    84804     61 |  0.000 % |
831.77/831.73	c |    234784 |     958    99290   430382 |    92102    85176     61 |  0.000 % |
833.87/833.91	c |    235194 |     958    99290   430382 |    92102    85586     61 |  0.000 % |
835.66/835.69	c |    235643 |     958    99290   430382 |    92102    86035     61 |  0.000 % |
837.46/837.49	c |    236137 |     958    99290   430382 |    92102    86529     61 |  0.000 % |
839.76/839.76	c |    236681 |     958    99290   430382 |    92102    87073     61 |  0.000 % |
842.26/842.26	c |    237278 |     958    99290   430382 |    92102    87670     61 |  0.000 % |
844.86/844.91	c |    237935 |     958    99290   430382 |    92102    88327     61 |  0.000 % |
846.96/846.92	c |    238655 |     958    99290   430382 |    92102    89047     61 |  0.000 % |
849.06/849.06	c |    239448 |     958    99290   430382 |    92102    89840     61 |  0.000 % |
851.86/851.87	c |    240319 |     958    99290   430382 | 2147483647    90711     61 |  0.000 % |
854.96/854.94	c |    241277 |     958    99290   430382 | 2147483647    91669     61 |  0.000 % |
858.36/858.34	c |    242330 |     958    99290   430382 | 2147483647    92722     61 |  0.000 % |
862.16/862.18	c |    243488 |     958    99290   430382 | 2147483647    93880     61 |  0.000 % |
866.06/866.09	c |    244762 |     958    99290   430382 | 2147483647    95154     61 |  0.000 % |
870.76/870.80	c |    246163 |     958    99290   430382 | 2147483647    96555     61 |  0.000 % |
875.36/875.37	c |    247703 |     958    99290   430382 | 2147483647    98095     61 |  0.000 % |
880.76/880.73	c |    249397 |     958    99290   430382 | 2147483647    99789     60 |  0.000 % |
886.56/886.52	c |    251260 |     958    99290   430382 | 2147483647   101652     60 |  0.000 % |
893.16/893.15	c |    253312 |     958    99290   430382 | 2147483647   103704     60 |  0.000 % |
899.56/899.61	c |    255566 |     958    99290   430382 | 2147483647   105958     60 |  0.000 % |
910.97/910.98	c |    258045 |     958    99290   430382 | 2147483647   108437     60 |  0.000 % |
911.56/911.55	c |    258146 |     958    99290   430382 | 2147483647   108538     60 |  0.000 % |
912.16/912.12	c |    258257 |     958    99290   430382 | 2147483647   108649     60 |  0.000 % |
912.76/912.76	c |    258379 |     958    99290   430382 | 2147483647   108771     60 |  0.000 % |
913.46/913.41	c |    258513 |     958    99290   430382 | 2147483647   108905     60 |  0.000 % |
914.37/914.40	c |    258661 |     958    99290   430382 | 2147483647   109053     60 |  0.000 % |
915.17/915.20	c |    258822 |     958    99290   430382 | 2147483647   109214     60 |  0.000 % |
916.07/916.07	c |    258998 |     958    99290   430382 | 2147483647   109390     60 |  0.000 % |
916.97/916.98	c |    259191 |     958    99290   430382 | 2147483647   109583     60 |  0.000 % |
917.67/917.67	c |    259403 |     958    99290   430382 | 2147483647   109795     60 |  0.000 % |
918.67/918.62	c |    259636 |     958    99290   430382 | 2147483647   110028     60 |  0.000 % |
919.67/919.71	c |    259893 |     958    99290   430382 | 2147483647   110285     60 |  0.000 % |
920.47/920.45	c |    260174 |     958    99290   430382 | 2147483647   110566     60 |  0.000 % |
921.87/921.90	c |    260484 |     958    99290   430382 | 2147483647   110876     60 |  0.000 % |
923.27/923.30	c |    260825 |     958    99290   430382 | 2147483647   111217     60 |  0.000 % |
925.26/925.24	c |    261198 |     958    99290   430382 | 2147483647   111590     60 |  0.000 % |
927.26/927.24	c |    261608 |     958    99290   430382 | 2147483647   112000     60 |  0.000 % |
929.46/929.42	c |    262057 |     958    99290   430382 | 2147483647   112449     60 |  0.000 % |
931.86/931.87	c |    262550 |     958    99290   430382 | 2147483647   112942     60 |  0.000 % |
934.56/934.57	c |    263095 |     958    99290   430382 | 2147483647   113487     60 |  0.000 % |
937.06/937.08	c |    263692 |     958    99290   430382 | 2147483647   114084     60 |  0.000 % |
940.06/940.06	c |    264347 |     958    99290   430382 | 2147483647   114739     60 |  0.000 % |
943.56/943.51	c |    265069 |     958    99290   430382 | 2147483647   115461     60 |  0.000 % |
947.26/947.28	c |    265862 |     958    99290   430382 | 2147483647   116254     60 |  0.000 % |
950.76/950.77	c |    266733 |     958    99290   430382 | 2147483647   117125     60 |  0.000 % |
954.86/954.82	c |    267693 |     958    99290   430382 | 2147483647   118085     60 |  0.000 % |
958.36/958.37	c |    268746 |     958    99290   430382 | 2147483647   119138     60 |  0.000 % |
963.76/963.74	c |    269904 |     958    99290   430382 | 2147483647   120296     60 |  0.000 % |
969.86/969.81	c |    271179 |     958    99290   430382 | 2147483647   121571     61 |  0.000 % |
975.36/975.31	c |    272580 |     958    99290   430382 | 2147483647   122972     61 |  0.000 % |
982.16/982.19	c |    274120 |     958    99290   430382 | 2147483647   124512     61 |  0.000 % |
992.16/992.18	c |    275814 |     958    99290   430382 | 2147483647   126206     61 |  0.000 % |
1001.66/1001.65	c |    277677 |     958    99290   430382 | 2147483647   128069     61 |  0.000 % |
1010.56/1010.54	c |    279727 |     958    99290   430382 | 2147483647   130119     61 |  0.000 % |
1019.36/1019.34	c |    281980 |     958    99290   430382 |   130392   113078     61 |  0.000 % |
1027.76/1027.77	c |    284458 |     958    99290   430382 |   130392   115556     61 |  0.000 % |
1037.77/1037.78	c |    287184 |     958    99290   430382 |   130392   118282     61 |  0.000 % |
1038.07/1038.05	c |    287284 |     958    99290   430382 |   130392   118382     61 |  0.000 % |
1038.47/1038.44	c |    287394 |     958    99290   430382 |   130392   118492     61 |  0.000 % |
1039.07/1039.05	c |    287517 |     958    99290   430382 |   130392   118615     61 |  0.000 % |
1039.67/1039.71	c |    287650 |     958    99290   430382 |   130392   118748     61 |  0.000 % |
1040.37/1040.36	c |    287797 |     958    99290   430382 |   130392   118895     61 |  0.000 % |
1040.97/1040.96	c |    287957 |     958    99290   430382 |   130392   119055     61 |  0.000 % |
1041.67/1041.69	c |    288135 |     958    99290   430382 |   130392   119233     61 |  0.000 % |
1042.47/1042.42	c |    288329 |     958    99290   430382 |   130392   119427     61 |  0.000 % |
1043.27/1043.22	c |    288542 |     958    99290   430382 |   130392   119640     61 |  0.000 % |
1044.27/1044.23	c |    288776 |     958    99290   430382 |   130392   119874     61 |  0.000 % |
1045.37/1045.35	c |    289034 |     958    99290   430382 |   130392   120132     61 |  0.000 % |
1046.87/1046.84	c |    289315 |     958    99290   430382 |   130392   120413     61 |  0.000 % |
1047.97/1047.97	c |    289627 |     958    99290   430382 |   130392   120725     61 |  0.000 % |
1049.47/1049.47	c |    289966 |     958    99290   430382 |   130392   121064     61 |  0.000 % |
1050.97/1051.00	c |    290339 |     958    99290   430382 |   121098   106996     62 |  0.000 % |
1052.57/1052.53	c |    290749 |     958    99290   430382 |   121098   107406     62 |  0.000 % |
1054.47/1054.48	c |    291199 |     958    99290   430382 |   121098   107856     62 |  0.000 % |
1056.67/1056.71	c |    291692 |     958    99290   430382 |   121098   108349     62 |  0.000 % |
1059.07/1059.06	c |    292234 |     958    99290   430382 |   121098   108891     62 |  0.000 % |
1060.87/1060.86	c |    292831 |     958    99290   430382 |   121098   109488     62 |  0.000 % |
1062.97/1062.95	c |    293487 |     958    99290   430382 |   121098   110144     62 |  0.000 % |
1065.67/1065.66	c |    294207 |     958    99290   430382 |   121098   110864     62 |  0.000 % |
1068.47/1068.44	c |    295001 |     958    99290   430382 |   121098   111658     62 |  0.000 % |
1072.07/1072.11	c |    295873 |     958    99290   430382 |   121098   112530     62 |  0.000 % |
1076.07/1076.05	c |    296832 |     958    99290   430382 |   121098   113489     62 |  0.000 % |
1079.07/1079.03	c |    297885 |     958    99290   430382 |   121098   114542     62 |  0.000 % |
1083.77/1083.74	c |    299045 |     958    99290   430382 |   121098   115702     62 |  0.000 % |
1088.47/1088.42	c |    300320 |     958    99290   430382 | 2147483647   116977     62 |  0.000 % |
1091.87/1091.90	c |    301720 |     958    99290   430382 | 2147483647   118377     62 |  0.000 % |
1098.27/1098.25	c |    303260 |     958    99290   430382 | 2147483647   119917     62 |  0.000 % |
1106.17/1106.18	c |    304955 |     958    99290   430382 | 2147483647   121612     62 |  0.000 % |
1114.87/1114.89	c |    306818 |     958    99290   430382 | 2147483647   123475     62 |  0.000 % |
1121.57/1121.54	c |    308868 |     958    99290   430382 | 2147483647   125525     62 |  0.000 % |
1128.87/1128.81	c |    311124 |     958    99290   430382 | 2147483647   127781     62 |  0.000 % |
1138.57/1138.60	c |    313607 |     958    99290   430382 | 2147483647   130264     62 |  0.000 % |
1145.28/1145.30	c |    316337 |     958    99290   430382 | 2147483647   132994     62 |  0.000 % |
1153.68/1153.71	c |    319334 |     958    99290   430382 | 2147483647   135991     62 |  0.000 % |
1153.98/1153.96	c |    319434 |     958    99290   430382 | 2147483647   136091     62 |  0.000 % |
1154.28/1154.29	c |    319547 |     958    99290   430382 | 2147483647   136204     62 |  0.000 % |
1154.98/1155.00	c |    319668 |     958    99290   430382 | 2147483647   136325     62 |  0.000 % |
1155.38/1155.41	c |    319801 |     958    99290   430382 | 2147483647   136458     62 |  0.000 % |
1155.88/1155.88	c |    319947 |     958    99290   430382 | 2147483647   136604     62 |  0.000 % |
1156.38/1156.38	c |    320107 |     958    99290   430382 | 2147483647   136764     62 |  0.000 % |
1156.98/1156.99	c |    320283 |     958    99290   430382 | 2147483647   136940     62 |  0.000 % |
1157.58/1157.55	c |    320477 |     958    99290   430382 | 2147483647   137134     62 |  0.000 % |
1158.18/1158.13	c |    320690 |     958    99290   430382 | 2147483647   137347     62 |  0.000 % |
1158.68/1158.67	c |    320923 |     958    99290   430382 | 2147483647   137580     62 |  0.000 % |
1160.28/1160.28	c |    321180 |     958    99290   430382 | 2147483647   137837     62 |  0.000 % |
1161.38/1161.37	c |    321466 |     958    99290   430382 | 2147483647   138123     62 |  0.000 % |
1162.48/1162.47	c |    321777 |     958    99290   430382 | 2147483647   138434     62 |  0.000 % |
1163.28/1163.25	c |    322117 |     958    99290   430382 | 2147483647   138774     62 |  0.000 % |
1164.28/1164.23	c |    322490 |     958    99290   430382 | 2147483647   139147     62 |  0.000 % |
1164.98/1164.98	c |    322900 |     958    99290   430382 | 2147483647   139557     61 |  0.000 % |
1165.68/1165.71	c |    323351 |     958    99290   430382 | 2147483647   140008     61 |  0.000 % |
1166.58/1166.55	c |    323844 |     958    99290   430382 | 2147483647   140501     61 |  0.000 % |
1167.48/1167.50	c |    324388 |     958    99290   430382 | 2147483647   141045     61 |  0.000 % |
1168.48/1168.50	c |    324984 |     958    99290   430382 | 2147483647   141641     61 |  0.000 % |
1169.58/1169.59	c |    325639 |     958    99290   430382 | 2147483647   142296     61 |  0.000 % |
1170.88/1170.83	c |    326360 |     958    99290   430382 | 2147483647   143017     61 |  0.000 % |
1172.18/1172.19	c |    327152 |     958    99290   430382 | 2147483647   143809     61 |  0.000 % |
1173.68/1173.71	c |    328025 |     958    99290   430382 | 2147483647   144682     61 |  0.000 % |
1177.18/1177.14	c |    328983 |     958    99290   430382 | 2147483647   145640     61 |  0.000 % |
1182.48/1182.43	c |    330037 |     958    99290   430382 | 2147483647   146694     61 |  0.000 % |
1189.48/1189.44	c |    331197 |     958    99290   430382 | 2147483647   147854     61 |  0.000 % |
1195.67/1195.69	c |    332471 |     958    99290   430382 | 2147483647   149128     61 |  0.000 % |
1200.07/1200.01	HOME/SatELiteGTI: line 36:  7646 Terminated              $MS $TMP.cnf $TMP.result

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1821838-1242572308/watcher-1821838-1242572308 -o /tmp/evaluation-result-1821838-1242572308/solver-1821838-1242572308 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821838-1242572308.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/93 7640
/proc/meminfo: memFree=663536/2074464 swapFree=1950884/1959888
[pid=7640] ppid=7638 vsize=2412 CPUtime=0
/proc/7640/stat : 7640 (SatELiteGTI) S 7638 7640 10114 0 -1 4194304 368 648 0 0 0 0 0 0 18 0 1 0 1021731576 2469888 277 4294967295 134512640 135169312 3215019360 3215017896 3085872878 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/7640/statm: 603 277 235 161 0 42 0
[pid=7644] ppid=7640 vsize=816 CPUtime=0
/proc/7644/stat : 7644 (SatELite_releas) R 7640 7640 10114 0 -1 4194304 67 0 0 0 0 0 0 0 18 0 1 0 1021731577 835584 3 4294967295 134512640 135223648 3212872528 3215017988 3085875690 0 0 0 0 0 0 0 17 2 0 0 0
/proc/7644/statm: 205 14 9 174 0 30 0

[startup+0.106492 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 7640
/proc/meminfo: memFree=663536/2074464 swapFree=1950884/1959888
[pid=7640] ppid=7638 vsize=2412 CPUtime=0
/proc/7640/stat : 7640 (SatELiteGTI) S 7638 7640 10114 0 -1 4194304 368 648 0 0 0 0 0 0 18 0 1 0 1021731576 2469888 277 4294967295 134512640 135169312 3215019360 3215017896 3085872878 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/7640/statm: 603 277 235 161 0 42 0
[pid=7644] ppid=7640 vsize=8480 CPUtime=0.11
/proc/7644/stat : 7644 (SatELite_releas) R 7640 7640 10114 0 -1 4202496 2006 0 0 0 9 2 0 0 18 0 1 0 1021731577 8683520 1942 4294967295 134512640 135223648 3212872528 3212870528 134549027 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7644/statm: 2120 1942 73 174 0 1945 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10892

[startup+0.216485 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 7640
/proc/meminfo: memFree=663536/2074464 swapFree=1950884/1959888
[pid=7640] ppid=7638 vsize=2412 CPUtime=0
/proc/7640/stat : 7640 (SatELiteGTI) S 7638 7640 10114 0 -1 4194304 368 648 0 0 0 0 0 0 18 0 1 0 1021731576 2469888 277 4294967295 134512640 135169312 3215019360 3215017896 3085872878 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/7640/statm: 603 277 235 161 0 42 0
[pid=7644] ppid=7640 vsize=9556 CPUtime=0.22
/proc/7644/stat : 7644 (SatELite_releas) R 7640 7640 10114 0 -1 4202496 2266 0 0 0 20 2 0 0 18 0 1 0 1021731577 9785344 2202 4294967295 134512640 135223648 3212872528 3212870528 134549070 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7644/statm: 2389 2202 73 174 0 2214 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 11968

[startup+0.316481 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 7640
/proc/meminfo: memFree=663536/2074464 swapFree=1950884/1959888
[pid=7640] ppid=7638 vsize=2412 CPUtime=0
/proc/7640/stat : 7640 (SatELiteGTI) S 7638 7640 10114 0 -1 4194304 368 648 0 0 0 0 0 0 18 0 1 0 1021731576 2469888 277 4294967295 134512640 135169312 3215019360 3215017896 3085872878 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/7640/statm: 603 277 235 161 0 42 0
[pid=7644] ppid=7640 vsize=10088 CPUtime=0.32
/proc/7644/stat : 7644 (SatELite_releas) R 7640 7640 10114 0 -1 4202496 2410 0 0 0 30 2 0 0 18 0 1 0 1021731577 10330112 2346 4294967295 134512640 135223648 3212872528 3212870528 134549033 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7644/statm: 2522 2346 73 174 0 2347 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 12500

[startup+0.716461 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 7640
/proc/meminfo: memFree=663536/2074464 swapFree=1950884/1959888
[pid=7640] ppid=7638 vsize=2412 CPUtime=0
/proc/7640/stat : 7640 (SatELiteGTI) S 7638 7640 10114 0 -1 4194304 368 648 0 0 0 0 0 0 18 0 1 0 1021731576 2469888 277 4294967295 134512640 135169312 3215019360 3215017896 3085872878 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/7640/statm: 603 277 235 161 0 42 0
[pid=7644] ppid=7640 vsize=12208 CPUtime=0.72
/proc/7644/stat : 7644 (SatELite_releas) R 7640 7640 10114 0 -1 4202496 2750 0 0 0 70 2 0 0 18 0 1 0 1021731577 12500992 2686 4294967295 134512640 135223648 3212872528 3212870624 134585553 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7644/statm: 3052 2686 79 174 0 2877 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 14620

[startup+1.51642 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 7646
/proc/meminfo: memFree=658180/2074464 swapFree=1950884/1959888
[pid=7640] ppid=7638 vsize=2416 CPUtime=1.09
/proc/7640/stat : 7640 (SatELiteGTI) S 7638 7640 10114 0 -1 4194304 388 3402 0 0 0 0 106 3 18 0 1 0 1021731576 2473984 278 4294967295 134512640 135169312 3215019360 3215015576 3085872878 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7640/statm: 604 278 235 161 0 43 0
[pid=7646] ppid=7640 vsize=7156 CPUtime=0.43
/proc/7646/stat : 7646 (minisat_static) R 7640 7640 10114 0 -1 4202496 1694 0 0 0 43 0 0 0 20 0 1 0 1021731685 7327744 1629 4294967295 134512640 135215339 3219087760 3219086048 134528673 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7646/statm: 1789 1629 73 172 0 1616 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 9572

[startup+3.11634 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 7829
/proc/meminfo: memFree=654308/2074464 swapFree=1950884/1959888
[pid=7640] ppid=7638 vsize=2416 CPUtime=1.09
/proc/7640/stat : 7640 (SatELiteGTI) S 7638 7640 10114 0 -1 4194304 388 3402 0 0 0 0 106 3 18 0 1 0 1021731576 2473984 278 4294967295 134512640 135169312 3215019360 3215015576 3085872878 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7640/statm: 604 278 235 161 0 43 0
[pid=7646] ppid=7640 vsize=8212 CPUtime=2.03
/proc/7646/stat : 7646 (minisat_static) R 7640 7640 10114 0 -1 4202496 1956 0 0 0 203 0 0 0 25 0 1 0 1021731685 8409088 1891 4294967295 134512640 135215339 3219087760 3219086048 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7646/statm: 2053 1891 73 172 0 1880 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 10628

[startup+6.32619 s]
/proc/loadavg: 1.00 1.00 1.00 4/95 7829
/proc/meminfo: memFree=652852/2074464 swapFree=1950884/1959888
[pid=7640] ppid=7638 vsize=2416 CPUtime=1.09
/proc/7640/stat : 7640 (SatELiteGTI) S 7638 7640 10114 0 -1 4194304 388 3402 0 0 0 0 106 3 18 0 1 0 1021731576 2473984 278 4294967295 134512640 135169312 3215019360 3215015576 3085872878 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7640/statm: 604 278 235 161 0 43 0
[pid=7646] ppid=7640 vsize=9428 CPUtime=5.24
/proc/7646/stat : 7646 (minisat_static) R 7640 7640 10114 0 -1 4202496 2265 0 0 0 522 2 0 0 25 0 1 0 1021731685 9654272 2200 4294967295 134512640 135215339 3219087760 3219086048 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7646/statm: 2357 2200 73 172 0 2184 0
Current children cumulated CPU time (s) 6.33
Current children cumulated vsize (KiB) 11844

[startup+12.7259 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 7829
/proc/meminfo: memFree=650516/2074464 swapFree=1950884/1959888
[pid=7640] ppid=7638 vsize=2416 CPUtime=1.09
/proc/7640/stat : 7640 (SatELiteGTI) S 7638 7640 10114 0 -1 4194304 388 3402 0 0 0 0 106 3 18 0 1 0 1021731576 2473984 278 4294967295 134512640 135169312 3215019360 3215015576 3085872878 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7640/statm: 604 278 235 161 0 43 0
[pid=7646] ppid=7640 vsize=12092 CPUtime=11.64
/proc/7646/stat : 7646 (minisat_static) R 7640 7640 10114 0 -1 4202496 2894 0 0 0 1162 2 0 0 25 0 1 0 1021731685 12382208 2829 4294967295 134512640 135215339 3219087760 3219086048 134528814 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7646/statm: 3023 2829 73 172 0 2850 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 14508

[startup+25.5253 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 7831
/proc/meminfo: memFree=648720/2074464 swapFree=1950884/1959888
[pid=7640] ppid=7638 vsize=2416 CPUtime=1.09
/proc/7640/stat : 7640 (SatELiteGTI) S 7638 7640 10114 0 -1 4194304 388 3402 0 0 0 0 106 3 18 0 1 0 1021731576 2473984 278 4294967295 134512640 135169312 3215019360 3215015576 3085872878 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7640/statm: 604 278 235 161 0 43 0
[pid=7646] ppid=7640 vsize=13620 CPUtime=24.44
/proc/7646/stat : 7646 (minisat_static) R 7640 7640 10114 0 -1 4202496 3291 0 0 0 2442 2 0 0 25 0 1 0 1021731685 13946880 3226 4294967295 134512640 135215339 3219087760 3219086048 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7646/statm: 3405 3226 73 172 0 3232 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 16036

[startup+51.124 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 7833
/proc/meminfo: memFree=646536/2074464 swapFree=1950884/1959888
[pid=7640] ppid=7638 vsize=2416 CPUtime=1.09
/proc/7640/stat : 7640 (SatELiteGTI) S 7638 7640 10114 0 -1 4194304 388 3402 0 0 0 0 106 3 18 0 1 0 1021731576 2473984 278 4294967295 134512640 135169312 3215019360 3215015576 3085872878 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7640/statm: 604 278 235 161 0 43 0
[pid=7646] ppid=7640 vsize=16100 CPUtime=50.04
/proc/7646/stat : 7646 (minisat_static) R 7640 7640 10114 0 -1 4202496 3877 0 0 0 5000 4 0 0 25 0 1 0 1021731685 16486400 3812 4294967295 134512640 135215339 3219087760 3219086048 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7646/statm: 4025 3812 73 172 0 3852 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 18516

[startup+102.312 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 8031
/proc/meminfo: memFree=641444/2074464 swapFree=1950884/1959888
[pid=7640] ppid=7638 vsize=2416 CPUtime=1.09
/proc/7640/stat : 7640 (SatELiteGTI) S 7638 7640 10114 0 -1 4194304 388 3402 0 0 0 0 106 3 18 0 1 0 1021731576 2473984 278 4294967295 134512640 135169312 3215019360 3215015576 3085872878 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7640/statm: 604 278 235 161 0 43 0
[pid=7646] ppid=7640 vsize=20648 CPUtime=101.23
/proc/7646/stat : 7646 (minisat_static) R 7640 7640 10114 0 -1 4202496 4981 0 0 0 10118 5 0 0 25 0 1 0 1021731685 21143552 4916 4294967295 134512640 135215339 3219087760 3219086048 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7646/statm: 5162 4916 73 172 0 4989 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 23064

[startup+162.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 8218
/proc/meminfo: memFree=634780/2074464 swapFree=1950884/1959888
[pid=7640] ppid=7638 vsize=2416 CPUtime=1.09
/proc/7640/stat : 7640 (SatELiteGTI) S 7638 7640 10114 0 -1 4194304 388 3402 0 0 0 0 106 3 18 0 1 0 1021731576 2473984 278 4294967295 134512640 135169312 3215019360 3215015576 3085872878 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7640/statm: 604 278 235 161 0 43 0
[pid=7646] ppid=7640 vsize=27664 CPUtime=161.23
/proc/7646/stat : 7646 (minisat_static) R 7640 7640 10114 0 -1 4202496 6639 0 0 0 16117 6 0 0 25 0 1 0 1021731685 28327936 6574 4294967295 134512640 135215339 3219087760 3219086048 134528984 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7646/statm: 6916 6574 73 172 0 6743 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 30080

[startup+222.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 8407
/proc/meminfo: memFree=629052/2074464 swapFree=1950884/1959888
[pid=7640] ppid=7638 vsize=2416 CPUtime=1.09
/proc/7640/stat : 7640 (SatELiteGTI) S 7638 7640 10114 0 -1 4194304 388 3402 0 0 0 0 106 3 18 0 1 0 1021731576 2473984 278 4294967295 134512640 135169312 3215019360 3215015576 3085872878 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7640/statm: 604 278 235 161 0 43 0
[pid=7646] ppid=7640 vsize=33296 CPUtime=221.24
/proc/7646/stat : 7646 (minisat_static) R 7640 7640 10114 0 -1 4202496 8062 0 0 0 22115 9 0 0 25 0 1 0 1021731685 34095104 7997 4294967295 134512640 135215339 3219087760 3219086048 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7646/statm: 8324 7997 73 172 0 8151 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 35712

[startup+282.313 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 8595
/proc/meminfo: memFree=623720/2074464 swapFree=1950884/1959888
[pid=7640] ppid=7638 vsize=2416 CPUtime=1.09
/proc/7640/stat : 7640 (SatELiteGTI) S 7638 7640 10114 0 -1 4194304 388 3402 0 0 0 0 106 3 18 0 1 0 1021731576 2473984 278 4294967295 134512640 135169312 3215019360 3215015576 3085872878 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7640/statm: 604 278 235 161 0 43 0
[pid=7646] ppid=7640 vsize=38756 CPUtime=281.24
/proc/7646/stat : 7646 (minisat_static) R 7640 7640 10114 0 -1 4202496 9424 0 0 0 28114 10 0 0 25 0 1 0 1021731685 39686144 9359 4294967295 134512640 135215339 3219087760 3219086048 134528802 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7646/statm: 9689 9359 73 172 0 9516 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 41172

[startup+342.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 8781
/proc/meminfo: memFree=619760/2074464 swapFree=1950884/1959888
[pid=7640] ppid=7638 vsize=2416 CPUtime=1.09
/proc/7640/stat : 7640 (SatELiteGTI) S 7638 7640 10114 0 -1 4194304 388 3402 0 0 0 0 106 3 18 0 1 0 1021731576 2473984 278 4294967295 134512640 135169312 3215019360 3215015576 3085872878 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7640/statm: 604 278 235 161 0 43 0
[pid=7646] ppid=7640 vsize=42884 CPUtime=341.24
/proc/7646/stat : 7646 (minisat_static) R 7640 7640 10114 0 -1 4202496 10455 0 0 0 34113 11 0 0 25 0 1 0 1021731685 43913216 10390 4294967295 134512640 135215339 3219087760 3219086048 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7646/statm: 10721 10390 73 172 0 10548 0
Current children cumulated CPU time (s) 342.33

################
# More data... #
################

[pid=7646] ppid=7640 vsize=47780 CPUtime=521.25
/proc/7646/stat : 7646 (minisat_static) R 7640 7640 10114 0 -1 4202496 11617 0 0 0 52114 11 0 0 25 0 1 0 1021731685 48926720 11524 4294967295 134512640 135215339 3219087760 3219086048 134528728 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7646/statm: 11945 11524 73 172 0 11772 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 50196

[startup+582.318 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 9540
/proc/meminfo: memFree=615296/2074464 swapFree=1950884/1959888
[pid=7640] ppid=7638 vsize=2416 CPUtime=1.09
/proc/7640/stat : 7640 (SatELiteGTI) S 7638 7640 10114 0 -1 4194304 388 3402 0 0 0 0 106 3 18 0 1 0 1021731576 2473984 278 4294967295 134512640 135169312 3215019360 3215015576 3085872878 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7640/statm: 604 278 235 161 0 43 0
[pid=7646] ppid=7640 vsize=47780 CPUtime=581.26
/proc/7646/stat : 7646 (minisat_static) R 7640 7640 10114 0 -1 4202496 11634 0 0 0 58115 11 0 0 25 0 1 0 1021731685 48926720 11541 4294967295 134512640 135215339 3219087760 3219086048 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7646/statm: 11945 11541 73 172 0 11772 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 50196

[startup+642.315 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 9726
/proc/meminfo: memFree=615288/2074464 swapFree=1950884/1959888
[pid=7640] ppid=7638 vsize=2416 CPUtime=1.09
/proc/7640/stat : 7640 (SatELiteGTI) S 7638 7640 10114 0 -1 4194304 388 3402 0 0 0 0 106 3 18 0 1 0 1021731576 2473984 278 4294967295 134512640 135169312 3215019360 3215015576 3085872878 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7640/statm: 604 278 235 161 0 43 0
[pid=7646] ppid=7640 vsize=47780 CPUtime=641.26
/proc/7646/stat : 7646 (minisat_static) R 7640 7640 10114 0 -1 4202496 11638 0 0 0 64115 11 0 0 25 0 1 0 1021731685 48926720 11545 4294967295 134512640 135215339 3219087760 3219086048 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7646/statm: 11945 11545 73 172 0 11772 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 50196

[startup+702.322 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 9915
/proc/meminfo: memFree=615172/2074464 swapFree=1950884/1959888
[pid=7640] ppid=7638 vsize=2416 CPUtime=1.09
/proc/7640/stat : 7640 (SatELiteGTI) S 7638 7640 10114 0 -1 4194304 388 3402 0 0 0 0 106 3 18 0 1 0 1021731576 2473984 278 4294967295 134512640 135169312 3215019360 3215015576 3085872878 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7640/statm: 604 278 235 161 0 43 0
[pid=7646] ppid=7640 vsize=47780 CPUtime=701.27
/proc/7646/stat : 7646 (minisat_static) R 7640 7640 10114 0 -1 4202496 11639 0 0 0 70116 11 0 0 25 0 1 0 1021731685 48926720 11546 4294967295 134512640 135215339 3219087760 3219086048 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7646/statm: 11945 11546 73 172 0 11772 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 50196

[startup+762.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 10106
/proc/meminfo: memFree=615180/2074464 swapFree=1950884/1959888
[pid=7640] ppid=7638 vsize=2416 CPUtime=1.09
/proc/7640/stat : 7640 (SatELiteGTI) S 7638 7640 10114 0 -1 4194304 388 3402 0 0 0 0 106 3 18 0 1 0 1021731576 2473984 278 4294967295 134512640 135169312 3215019360 3215015576 3085872878 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7640/statm: 604 278 235 161 0 43 0
[pid=7646] ppid=7640 vsize=47780 CPUtime=761.27
/proc/7646/stat : 7646 (minisat_static) R 7640 7640 10114 0 -1 4202496 11639 0 0 0 76115 12 0 0 25 0 1 0 1021731685 48926720 11546 4294967295 134512640 135215339 3219087760 3219086048 134528691 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7646/statm: 11945 11546 73 172 0 11772 0
Current children cumulated CPU time (s) 762.36
Current children cumulated vsize (KiB) 50196

[startup+822.327 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 10298
/proc/meminfo: memFree=614792/2074464 swapFree=1950884/1959888
[pid=7640] ppid=7638 vsize=2416 CPUtime=1.09
/proc/7640/stat : 7640 (SatELiteGTI) S 7638 7640 10114 0 -1 4194304 388 3402 0 0 0 0 106 3 18 0 1 0 1021731576 2473984 278 4294967295 134512640 135169312 3215019360 3215015576 3085872878 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7640/statm: 604 278 235 161 0 43 0
[pid=7646] ppid=7640 vsize=47780 CPUtime=821.28
/proc/7646/stat : 7646 (minisat_static) R 7640 7640 10114 0 -1 4202496 11646 0 0 0 82115 13 0 0 25 0 1 0 1021731685 48926720 11553 4294967295 134512640 135215339 3219087760 3219086048 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7646/statm: 11945 11553 73 172 0 11772 0
Current children cumulated CPU time (s) 822.37
Current children cumulated vsize (KiB) 50196

[startup+882.324 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 10486
/proc/meminfo: memFree=614552/2074464 swapFree=1950884/1959888
[pid=7640] ppid=7638 vsize=2416 CPUtime=1.09
/proc/7640/stat : 7640 (SatELiteGTI) S 7638 7640 10114 0 -1 4194304 388 3402 0 0 0 0 106 3 18 0 1 0 1021731576 2473984 278 4294967295 134512640 135169312 3215019360 3215015576 3085872878 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7640/statm: 604 278 235 161 0 43 0
[pid=7646] ppid=7640 vsize=47944 CPUtime=881.28
/proc/7646/stat : 7646 (minisat_static) R 7640 7640 10114 0 -1 4202496 11681 0 0 0 88115 13 0 0 25 0 1 0 1021731685 49094656 11588 4294967295 134512640 135215339 3219087760 3219086048 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7646/statm: 11986 11588 73 172 0 11813 0
Current children cumulated CPU time (s) 882.37
Current children cumulated vsize (KiB) 50360

[startup+942.311 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 10672
/proc/meminfo: memFree=614856/2074464 swapFree=1950884/1959888
[pid=7640] ppid=7638 vsize=2416 CPUtime=1.09
/proc/7640/stat : 7640 (SatELiteGTI) S 7638 7640 10114 0 -1 4194304 388 3402 0 0 0 0 106 3 18 0 1 0 1021731576 2473984 278 4294967295 134512640 135169312 3215019360 3215015576 3085872878 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7640/statm: 604 278 235 161 0 43 0
[pid=7646] ppid=7640 vsize=48124 CPUtime=941.27
/proc/7646/stat : 7646 (minisat_static) R 7640 7640 10114 0 -1 4202496 11689 0 0 0 94114 13 0 0 25 0 1 0 1021731685 49278976 11596 4294967295 134512640 135215339 3219087760 3219086048 134528742 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7646/statm: 12031 11596 73 172 0 11858 0
Current children cumulated CPU time (s) 942.36
Current children cumulated vsize (KiB) 50540

[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 10861
/proc/meminfo: memFree=611880/2074464 swapFree=1950884/1959888
[pid=7640] ppid=7638 vsize=2416 CPUtime=1.09
/proc/7640/stat : 7640 (SatELiteGTI) S 7638 7640 10114 0 -1 4194304 388 3402 0 0 0 0 106 3 18 0 1 0 1021731576 2473984 278 4294967295 134512640 135169312 3215019360 3215015576 3085872878 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7640/statm: 604 278 235 161 0 43 0
[pid=7646] ppid=7640 vsize=50856 CPUtime=1001.27
/proc/7646/stat : 7646 (minisat_static) R 7640 7640 10114 0 -1 4202496 12384 0 0 0 100113 14 0 0 25 0 1 0 1021731685 52076544 12291 4294967295 134512640 135215339 3219087760 3219086048 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7646/statm: 12714 12291 73 172 0 12541 0
Current children cumulated CPU time (s) 1002.36
Current children cumulated vsize (KiB) 53272

[startup+1062.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 11048
/proc/meminfo: memFree=610508/2074464 swapFree=1950884/1959888
[pid=7640] ppid=7638 vsize=2416 CPUtime=1.09
/proc/7640/stat : 7640 (SatELiteGTI) S 7638 7640 10114 0 -1 4194304 388 3402 0 0 0 0 106 3 18 0 1 0 1021731576 2473984 278 4294967295 134512640 135169312 3215019360 3215015576 3085872878 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7640/statm: 604 278 235 161 0 43 0
[pid=7646] ppid=7640 vsize=52080 CPUtime=1061.28
/proc/7646/stat : 7646 (minisat_static) R 7640 7640 10114 0 -1 4202496 12657 0 0 0 106111 17 0 0 25 0 1 0 1021731685 53329920 12564 4294967295 134512640 135215339 3219087760 3219086048 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7646/statm: 13020 12564 73 172 0 12847 0
Current children cumulated CPU time (s) 1062.37
Current children cumulated vsize (KiB) 54496

[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 11244
/proc/meminfo: memFree=610352/2074464 swapFree=1950884/1959888
[pid=7640] ppid=7638 vsize=2416 CPUtime=1.09
/proc/7640/stat : 7640 (SatELiteGTI) S 7638 7640 10114 0 -1 4194304 388 3402 0 0 0 0 106 3 18 0 1 0 1021731576 2473984 278 4294967295 134512640 135169312 3215019360 3215015576 3085872878 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7640/statm: 604 278 235 161 0 43 0
[pid=7646] ppid=7640 vsize=52292 CPUtime=1121.28
/proc/7646/stat : 7646 (minisat_static) R 7640 7640 10114 0 -1 4202496 12737 0 0 0 112109 19 0 0 25 0 1 0 1021731685 53547008 12644 4294967295 134512640 135215339 3219087760 3219086048 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7646/statm: 13073 12644 73 172 0 12900 0
Current children cumulated CPU time (s) 1122.37
Current children cumulated vsize (KiB) 54708

[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 11432
/proc/meminfo: memFree=603656/2074464 swapFree=1950884/1959888
[pid=7640] ppid=7638 vsize=2416 CPUtime=1.09
/proc/7640/stat : 7640 (SatELiteGTI) S 7638 7640 10114 0 -1 4194304 388 3402 0 0 0 0 106 3 18 0 1 0 1021731576 2473984 278 4294967295 134512640 135169312 3215019360 3215015576 3085872878 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7640/statm: 604 278 235 161 0 43 0
[pid=7646] ppid=7640 vsize=59372 CPUtime=1181.29
/proc/7646/stat : 7646 (minisat_static) R 7640 7640 10114 0 -1 4202496 14342 0 0 0 118108 21 0 0 25 0 1 0 1021731685 60796928 14232 4294967295 134512640 135215339 3219087760 3219086048 134528769 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7646/statm: 14843 14232 73 172 0 14670 0
Current children cumulated CPU time (s) 1182.38
Current children cumulated vsize (KiB) 61788



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.01 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 11433
/proc/meminfo: memFree=602300/2074464 swapFree=1950884/1959888
[pid=7640] ppid=7638 vsize=2416 CPUtime=1.09
/proc/7640/stat : 7640 (SatELiteGTI) S 7638 7640 10114 0 -1 4194304 388 3402 0 0 0 0 106 3 18 0 1 0 1021731576 2473984 278 4294967295 134512640 135169312 3215019360 3215015576 3085872878 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7640/statm: 604 278 235 161 0 43 0
[pid=7646] ppid=7640 vsize=61104 CPUtime=1198.98
/proc/7646/stat : 7646 (minisat_static) R 7640 7640 10114 0 -1 4202496 14695 0 0 0 119876 22 0 0 25 0 1 0 1021731685 62570496 14577 4294967295 134512640 135215339 3219087760 3219086048 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7646/statm: 15276 14577 73 172 0 15103 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 63520

Sending SIGTERM to process tree (bottom up)


Solver just ended. Dumping a history of the last processes samples

[startup+1200.01 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 11433
/proc/meminfo: memFree=602300/2074464 swapFree=1950884/1959888
[pid=7640] ppid=7638 vsize=2416 CPUtime=1.09
/proc/7640/stat : 7640 (SatELiteGTI) S 7638 7640 10114 0 -1 4194304 388 3402 0 0 0 0 106 3 18 0 1 0 1021731576 2473984 278 4294967295 134512640 135169312 3215019360 3215015576 3085872878 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7640/statm: 604 278 235 161 0 43 0
[pid=7646] ppid=7640 vsize=61104 CPUtime=1198.98
/proc/7646/stat : 7646 (minisat_static) R 7640 7640 10114 0 -1 4202496 14695 0 0 0 119876 22 0 0 25 0 1 0 1021731685 62570496 14577 4294967295 134512640 135215339 3219087760 3219086048 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7646/statm: 15276 14577 73 172 0 15103 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 63520

Child status: 143
Real time (s): 1200.02
CPU time (s): 1200.08
CPU user time (s): 1199.83
CPU system time (s): 0.25
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 63520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.83
system time used= 0.25
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18759
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21
involuntary context switches= 1145

runsolver used 0.01 second user time and 0 second system time

The end

Begin job on tipi13 at 2009-05-17 16:58:28
IDJOB=1821838
IDBENCH=71101
IDSOLVER=657
FILE ID=tipi13/1821838-1242572308
PBS_JOBID=
Free space on /tmp= 6763 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_10_UNKNOWN.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1821838-1242572308/watcher-1821838-1242572308 -o /tmp/evaluation-result-1821838-1242572308/solver-1821838-1242572308 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821838-1242572308.cnf

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 8ece32bbd9e6c3f5c8cdf0e94e0569cd
RANDOM SEED= 987584228

Linux tipi13 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.475
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.37

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.475
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.78

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.475
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.77

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.475
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.78


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:        663684 kB
Buffers:         65848 kB
Cached:        1228040 kB
SwapCached:       3516 kB
Active:         564928 kB
Inactive:       738416 kB
HighTotal:     1178688 kB
HighFree:        79716 kB
LowTotal:       895776 kB
LowFree:        583968 kB
SwapTotal:     1959888 kB
SwapFree:      1950884 kB
Dirty:            3216 kB
Writeback:           0 kB
AnonPages:        8848 kB
Mapped:           3012 kB
Slab:            98372 kB
PageTables:        512 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90596 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 6763 MiB
End job on tipi13 at 2009-05-17 17:18:28