0.00/0.00	c Parsing...
0.80/0.90	c ==============================================================================
0.80/0.90	c |           |     ORIGINAL     |              LEARNT              |          |
0.80/0.90	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.80/0.90	c ==============================================================================
0.80/0.90	c |         0 |  969225  2270846 |  290767       0        0     nan |  0.000 % |
6.30/6.38	c |         0 |  424864  1140718 |      --       0       --      -- |     --   | -338304/-664362
6.30/6.38	c ==============================================================================
6.30/6.38	c Result  :   #vars: 68615   #clauses: 424864   #literals: 1140718
6.30/6.38	c CPU time:   6.15 s
6.30/6.38	c ==============================================================================
6.80/6.85	c This is MiniSat 2.0 beta
6.80/6.85	c WARNING: for repeatability, setting FPU to use double precision
6.80/6.85	c ============================[ Problem Statistics ]=============================
6.80/6.85	c |                                                                             |
6.80/6.85	c |  Number of variables:  68615                                                |
6.80/6.85	c |  Number of clauses:    424864                                               |
6.83/7.14	c |  Parsing time:         0.25         s                                       |
6.83/7.17	c ============================[ Search Statistics ]==============================
6.83/7.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.83/7.17	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
6.83/7.17	c ===============================================================================
6.83/7.17	c |         0 |   68615   424864  1140718 |   141621        0    nan |  0.000 % |
6.83/7.42	c |       101 |   68460   424864  1140718 |   141621       88     26 |  9.192 % |
6.83/7.60	c |       201 |   68070   424864  1140718 |   141621      183     36 | 16.174 % |
7.71/7.75	c |       301 |   67987   424864  1140718 |   141621      282     36 | 16.456 % |
8.00/8.04	c |       411 |   54523   332554   912566 |   141621      358     35 | 20.853 % |
8.30/8.32	c |       511 |   54223   332554   912566 |   141621      452     33 | 25.471 % |
8.40/8.45	c |       621 |   54120   332554   912566 |   141621      560     33 | 26.309 % |
8.60/8.70	c |       742 |   42589   249777   701316 |   141621      634     32 | 38.378 % |
8.90/9.00	c |       842 |   42562   249777   701316 |   141621      731     33 | 38.537 % |
9.20/9.24	c |       953 |   42562   249777   701316 |   141621      842     39 | 38.537 % |
9.50/9.59	c |      1075 |   42172   246989   693754 |   141621      960     42 | 38.579 % |
9.80/9.84	c |      1209 |   42053   246989   693754 |   141621     1090     40 | 51.607 % |
10.10/10.17	c |      1310 |   33202   184347   526316 |   141621     1070     41 | 52.002 % |
10.50/10.59	c |      1420 |   32766   181613   518817 |   141621     1168     41 | 60.637 % |
10.70/10.72	c |      1541 |   32760   181613   518817 |   141621     1286     39 | 60.695 % |
11.01/11.05	c |      1674 |   26910   146032   419426 |   141621     1256     38 | 65.239 % |
11.20/11.31	c |      1820 |   23772   125507   363027 |   141621     1383     37 | 65.355 % |
11.50/11.57	c |      1920 |   22626   118433   343790 |   141621     1465     36 | 68.144 % |
11.60/11.71	c |      2031 |   22622   118433   343790 |   141621     1575     35 | 68.157 % |
11.79/11.85	c |      2153 |   22622   118433   343790 |   141621     1697     35 | 68.157 % |
12.10/12.13	c |      2286 |   21847   113840   329873 |   141621     1798     37 | 68.367 % |
12.29/12.34	c |      2432 |   20749   105787   305466 |   141621     1904     36 | 69.760 % |
12.49/12.59	c |      2592 |   20748   105787   305466 |   141621     2063     36 | 69.778 % |
12.59/12.70	c |      2692 |   20736   105694   305213 |   141621     2160     36 | 70.651 % |
12.79/12.88	c |      2802 |   20736   105694   305213 |   141621     2270     36 | 70.651 % |
12.99/13.07	c |      2924 |   20138   102098   294931 |   141621     2386     36 | 70.745 % |
13.20/13.27	c |      3059 |   20138   102098   294931 |   141621     2521     36 | 70.745 % |
13.29/13.39	c |      3206 |   20073   100749   291093 |   141621     2668     37 | 70.745 % |
13.49/13.55	c |      3366 |   20073   100749   291093 |   141621     2828     37 | 70.745 % |
13.79/13.89	c |      3542 |   20060   100648   290804 |   141621     3003     36 | 70.764 % |
13.89/13.99	c |      3642 |   20060   100648   290804 |   141621     3101     36 | 71.416 % |
14.09/14.18	c |      3752 |   20060   100648   290804 |   141621     3211     36 | 71.416 % |
14.39/14.44	c |      3873 |   19613    98397   284192 |   141621     3331     36 | 71.416 % |
14.49/14.60	c |      4007 |   19599    98329   283995 |   141621     3463     35 | 71.436 % |
14.59/14.71	c |      4153 |   19595    98329   283995 |   141621     3607     35 | 71.470 % |
14.79/14.83	c |      4313 |   19595    98329   283995 |   141621     3766     35 | 71.487 % |
14.89/14.96	c |      4489 |   19564    98079   283321 |   141621     3939     36 | 71.487 % |
15.19/15.24	c |      4685 |   19564    98079   283321 |   141621     4135     36 | 71.487 % |
15.40/15.51	c |      4785 |   19551    98003   283096 |   141621     4232     36 | 71.506 % |
15.49/15.60	c |      4895 |   19551    98003   283096 |   141621     4342     36 | 71.506 % |
15.69/15.77	c |      5016 |   19551    98003   283096 |   141621     4463     35 | 71.506 % |
15.79/15.84	c |      5149 |   19551    98003   283096 |   141621     4596     35 | 71.506 % |
15.99/16.02	c |      5295 |   19551    98003   283096 |   141621     4742     35 | 71.506 % |
16.19/16.22	c |      5456 |   19551    98003   283096 |   141621     4903     34 | 71.506 % |
16.39/16.42	c |      5634 |   19524    97831   282593 |   141621     5074     34 | 71.546 % |
16.50/16.59	c |      5828 |   19524    97831   282593 |   141621     5268     34 | 71.546 % |
16.79/16.81	c |      6040 |   19524    97831   282593 |   141621     5480     34 | 71.546 % |
16.89/16.92	c |      6140 |   19524    97831   282593 |   141621     5580     34 | 71.546 % |
16.99/17.08	c |      6250 |   19524    97831   282593 |   141621     5690     33 | 71.546 % |
17.19/17.23	c |      6373 |   19524    97831   282593 |   141621     5813     33 | 71.546 % |
17.39/17.42	c |      6511 |   19524    97831   282593 |   141621     5951     33 | 71.546 % |
17.60/17.67	c |      6658 |   18976    95956   277513 |   141621     6089     33 | 72.344 % |
17.79/17.89	c |      6819 |   18976    95956   277513 |   141621     6249     34 | 72.362 % |
18.09/18.17	c |      6999 |   18972    95956   277513 |   141621     6428     34 | 72.385 % |
18.39/18.44	c |      7192 |   18946    95768   276988 |   141621     6619     34 | 72.414 % |
18.70/18.76	c |      7407 |   18946    95768   276988 |   141621     6834     34 | 72.414 % |
18.99/19.03	c |      7640 |   18928    95596   276525 |   141621     7064     34 | 72.414 % |
19.09/19.18	c |      7743 |   18928    95596   276525 |   141621     7167     34 | 72.414 % |
19.29/19.33	c |      7854 |   18922    95529   276342 |   141621     7277     34 | 72.423 % |
19.39/19.45	c |      7976 |   18922    95529   276342 |   141621     7399     34 | 72.423 % |
19.49/19.60	c |      8109 |   18922    95529   276342 |   141621     7532     34 | 72.423 % |
19.69/19.72	c |      8258 |   18922    95529   276342 |   141621     7681     33 | 72.423 % |
19.80/19.90	c |      8419 |   18922    95529   276342 |   141621     7842     33 | 72.423 % |
19.99/20.10	c |      8597 |   18922    95529   276342 |   141621     8020     33 | 72.423 % |
20.29/20.36	c |      8790 |   18922    95529   276342 |   141621     8213     33 | 72.423 % |
20.59/20.63	c |      9003 |   18922    95529   276342 |   141621     8426     33 | 72.423 % |
20.79/20.86	c |      9236 |   18922    95529   276342 |   141621     8659     33 | 72.423 % |
21.09/21.20	c |      9492 |   18911    95442   276103 |   141621     8913     33 | 72.481 % |
21.29/21.33	c |      9594 |   18911    95442   276103 |   141621     9015     33 | 72.481 % |
21.39/21.45	c |      9704 |   18911    95442   276103 |   141621     9125     33 | 72.481 % |
21.49/21.60	c |      9826 |   18911    95442   276103 |   141621     9247     33 | 72.481 % |
21.89/21.97	c |      9962 |   18882    95230   275517 |   141621     9382     33 | 72.481 % |
22.09/22.17	c |     10111 |   18882    95230   275517 | 2147483647     9531     33 | 72.481 % |
22.39/22.45	c |     10271 |   18882    95230   275517 | 2147483647     9691     33 | 72.481 % |
22.59/22.66	c |     10448 |   18868    95111   275198 | 2147483647     9867     33 | 72.502 % |
22.89/23.01	c |     10643 |   18855    95026   274964 | 2147483647    10059     34 | 72.521 % |
23.19/23.25	c |     10858 |   18855    95026   274964 | 2147483647    10273     34 | 72.897 % |
23.39/23.44	c |     11091 |   18855    95026   274964 | 2147483647    10506     34 | 72.897 % |
23.49/23.59	c |     11347 |   18855    95026   274964 | 2147483647    10762     34 | 72.897 % |
23.99/24.03	c |     11630 |   18592    93795   271211 | 2147483647    11032     34 | 73.012 % |
24.09/24.16	c |     11730 |   18592    93795   271211 | 2147483647    11132     34 | 73.012 % |
24.29/24.31	c |     11842 |   18518    93337   269965 | 2147483647    11236     34 | 73.012 % |
24.39/24.50	c |     11964 |   18518    93337   269965 | 2147483647    11358     34 | 73.012 % |
24.69/24.74	c |     12100 |   18518    93337   269965 | 2147483647    11493     34 | 73.058 % |
24.89/25.00	c |     12246 |   18485    93271   269747 | 2147483647    11638     34 | 73.076 % |
25.19/25.22	c |     12406 |   18484    93271   269747 | 2147483647    11797     34 | 73.093 % |
25.39/25.47	c |     12583 |   18483    93271   269747 | 2147483647    11973     35 | 73.109 % |
25.59/25.64	c |     12776 |   18451    93024   269093 | 2147483647    12166     35 | 73.109 % |
25.79/25.84	c |     12989 |   18451    93024   269093 | 2147483647    12379     35 | 73.109 % |
25.99/26.09	c |     13222 |   18451    93024   269093 | 2147483647    12612     35 | 73.109 % |
26.40/26.45	c |     13479 |   18450    93019   269080 | 2147483647    12866     35 | 73.111 % |
26.69/26.79	c |     13760 |   18450    93019   269080 | 2147483647    13147     35 | 73.111 % |
27.19/27.28	c |     14070 |   18450    93019   269080 | 2147483647    13457     35 | 73.111 % |
27.28/27.38	c |     14171 |   18450    93019   269080 | 2147483647    13558     35 | 73.111 % |
27.49/27.52	c |     14281 |   18450    93019   269080 | 2147483647    13668     35 | 73.111 % |
27.58/27.65	c |     14402 |   18421    92817   268524 | 2147483647    13782     35 | 73.153 % |
27.68/27.77	c |     14535 |   18421    92817   268524 | 2147483647    13915     35 | 73.153 % |
27.88/27.94	c |     14686 |   18421    92817   268524 | 2147483647    14066     35 | 73.153 % |
28.18/28.30	c |     14851 |   18421    92817   268524 | 2147483647    14231     35 | 73.153 % |
28.59/28.63	c |     15028 |   18411    92737   268302 | 2147483647    14407     35 | 73.168 % |
28.88/28.94	c |     15221 |   18411    92737   268302 | 2147483647    14600     35 | 73.168 % |
29.18/29.21	c |     15433 |   18411    92737   268302 | 2147483647    14812     35 | 73.168 % |
29.48/29.51	c |     15667 |   18401    92676   268136 | 2147483647    15043     35 | 73.746 % |
29.78/29.83	c |     15924 |   18401    92676   268136 | 2147483647    15300     35 | 73.746 % |
30.08/30.19	c |     16206 |   18401    92676   268136 | 2147483647    15582     35 | 73.746 % |
30.58/30.60	c |     16516 |   18014    90687   262644 | 2147483647    15882     35 | 73.746 % |
30.98/31.01	c |     16855 |   18014    90687   262644 | 2147483647    16221     35 | 73.746 % |
31.08/31.14	c |     16955 |   18014    90687   262644 | 2147483647    16321     35 | 73.746 % |
31.18/31.30	c |     17065 |   18014    90687   262644 | 2147483647    16431     35 | 73.746 % |
31.38/31.42	c |     17186 |   18014    90687   262644 | 2147483647    16552     35 | 73.746 % |
31.48/31.54	c |     17319 |   18014    90687   262644 | 2147483647    16685     35 | 73.746 % |
31.68/31.72	c |     17466 |   18014    90687   262644 | 2147483647    16832     35 | 73.746 % |
31.78/31.90	c |     17628 |   18014    90687   262644 | 2147483647    16994     35 | 73.746 % |
32.08/32.11	c |     17805 |   18014    90687   262644 | 2147483647    17171     35 | 73.746 % |
32.28/32.36	c |     17998 |   18014    90687   262644 | 2147483647    17364     35 | 73.746 % |
32.58/32.63	c |     18211 |   17844    89973   260477 | 2147483647    17542     35 | 73.994 % |
32.88/32.93	c |     18446 |   17844    89973   260477 | 2147483647    17777     35 | 73.994 % |
33.18/33.22	c |     18702 |   17844    89973   260477 | 2147483647    18033     35 | 73.994 % |
33.58/33.68	c |     18984 |   17844    89973   260477 | 2147483647    18315     35 | 73.994 % |
33.98/34.06	c |     19293 |   17844    89973   260477 | 2147483647    18624     35 | 73.994 % |
34.38/34.41	c |     19632 |   17829    89865   260173 | 2147483647    18962     35 | 74.016 % |
34.88/34.93	c |     20004 |   17828    89865   260173 | 2147483647    19333     35 | 74.023 % |
34.98/35.06	c |     20105 |   17824    89834   260109 | 2147483647    19419     35 | 74.023 % |
35.08/35.18	c |     20216 |   17824    89834   260109 | 2147483647    19530     35 | 74.023 % |
35.19/35.30	c |     20337 |   17824    89834   260109 | 2147483647    19651     35 | 74.023 % |
35.38/35.46	c |     20470 |   17824    89834   260109 | 2147483647    19784     35 | 74.023 % |
35.58/35.66	c |     20616 |   17824    89834   260109 | 2147483647    19930     35 | 74.023 % |
35.78/35.89	c |     20777 |   17824    89834   260109 | 2147483647    20091     35 | 74.023 % |
36.08/36.16	c |     20953 |   17824    89834   260109 | 2147483647    20267     35 | 74.023 % |
36.29/36.39	c |     21146 |   17824    89834   260109 | 2147483647    20460     35 | 74.023 % |
36.68/36.71	c |     21358 |   17824    89834   260109 | 2147483647    20672     35 | 74.023 % |
36.88/36.97	c |     21593 |   17824    89834   260109 | 2147483647    20907     35 | 74.023 % |
37.18/37.28	c |     21850 |   17824    89834   260109 | 2147483647    21164     35 | 74.023 % |
37.58/37.65	c |     22131 |   17824    89834   260109 | 2147483647    21445     35 | 74.023 % |
37.98/38.04	c |     22441 |   17824    89834   260109 | 2147483647    21755     35 | 74.023 % |
38.49/38.58	c |     22781 |   17823    89830   260099 | 2147483647    22094     35 | 74.025 % |
39.08/39.16	c |     23153 |   17822    89830   260099 | 2147483647    22465     36 | 74.039 % |
39.48/39.61	c |     23562 |   17822    89830   260099 | 2147483647    22874     35 | 74.039 % |
39.68/39.74	c |     23662 |   17813    89769   259932 | 2147483647    22973     36 | 74.039 % |
39.88/39.91	c |     23772 |   17813    89769   259932 | 2147483647    23083     35 | 74.039 % |
39.98/40.09	c |     23893 |   17813    89769   259932 | 2147483647    23203     36 | 74.689 % |
40.18/40.27	c |     24027 |   17813    89769   259932 | 2147483647    23337     35 | 74.689 % |
40.38/40.46	c |     24173 |   17813    89769   259932 | 2147483647    23483     35 | 74.689 % |
40.58/40.66	c |     24334 |   17812    89769   259932 | 2147483647    23643     35 | 74.710 % |
40.78/40.89	c |     24511 |   17812    89769   259932 | 2147483647    23819     36 | 74.727 % |
41.08/41.14	c |     24705 |   17341    86523   251441 | 2147483647    24012     36 | 74.727 % |
41.38/41.44	c |     24917 |   17341    86523   251441 | 2147483647    24224     36 | 74.727 % |
41.68/41.74	c |     25151 |   17341    86523   251441 | 2147483647    24458     35 | 74.727 % |
41.98/42.07	c |     25408 |   17341    86523   251441 | 2147483647    24715     36 | 74.727 % |
42.38/42.48	c |     25689 |   17341    86523   251441 | 2147483647    24996     36 | 74.727 % |
42.89/42.94	c |     26000 |   17341    86523   251441 | 2147483647    25307     36 | 74.727 % |
43.18/43.25	c |     26341 |   17341    86523   251441 | 2147483647    25648     36 | 74.727 % |
43.78/43.86	c |     26714 |   17341    86523   251441 | 2147483647    26021     36 | 74.727 % |
44.18/44.26	c |     27123 |   17341    86523   251441 | 2147483647    26430     36 | 74.727 % |
44.88/44.99	c |     27573 |   17285    86148   250410 | 2147483647    26879     36 | 74.809 % |
44.98/45.10	c |     27673 |   17285    86148   250410 | 2147483647    26979     36 | 74.809 % |
45.18/45.28	c |     27784 |   17285    86148   250410 | 2147483647    27090     36 | 74.809 % |
45.48/45.51	c |     27905 |   17285    86148   250410 | 2147483647    27211     36 | 74.809 % |
45.58/45.70	c |     28040 |   17285    86148   250410 | 2147483647    27346     36 | 74.809 % |
45.78/45.88	c |     28187 |   17284    86148   250410 | 2147483647    27492     36 | 76.021 % |
45.98/46.05	c |     28347 |   17284    86148   250410 | 2147483647    27652     36 | 76.021 % |
46.19/46.25	c |     28523 |   17284    86148   250410 | 2147483647    27828     36 | 76.021 % |
46.38/46.47	c |     28716 |   16452    81614   236646 | 2147483647    27976     36 | 76.132 % |
46.68/46.71	c |     28928 |   16452    81614   236646 | 2147483647    28188     36 | 76.132 % |
46.88/46.95	c |     29162 |   16452    81614   236646 | 2147483647    28422     36 | 76.132 % |
47.18/47.25	c |     29418 |   16452    81614   236646 | 2147483647    28677     36 | 76.134 % |
47.48/47.58	c |     29700 |   16452    81614   236646 | 2147483647    28959     36 | 76.133 % |
47.88/47.94	c |     30010 |   16376    81454   236122 | 2147483647    29268     36 | 76.134 % |
48.28/48.30	c |     30350 |   16376    81454   236122 | 2147483647    29608     36 | 76.134 % |
48.58/48.68	c |     30722 |   16376    81454   236122 | 2147483647    29980     36 | 76.133 % |
49.18/49.20	c |     31133 |   16376    81454   236122 | 2147483647    30391     36 | 76.133 % |
49.88/49.93	c |     31584 |   16376    81454   236122 | 2147483647    30842     36 | 76.134 % |
50.38/50.40	c |     32079 |   16376    81454   236122 | 2147483647    31337     36 | 76.133 % |
50.48/50.55	c |     32179 |   16376    81454   236122 | 2147483647    31437     36 | 76.134 % |
50.68/50.70	c |     32289 |   16376    81454   236122 | 2147483647    31547     36 | 76.134 % |
50.88/50.94	c |     32410 |   16342    81302   235651 | 2147483647    31663     36 | 76.183 % |
51.08/51.13	c |     32544 |   16342    81302   235651 | 2147483647    31797     36 | 76.183 % |
51.28/51.32	c |     32690 |   16341    81302   235651 | 2147483647    31942     36 | 76.201 % |
51.48/51.56	c |     32850 |   16341    81302   235651 | 2147483647    32102     36 | 76.201 % |
51.69/51.79	c |     33026 |   16341    81302   235651 | 2147483647    32278     36 | 76.201 % |
51.88/51.99	c |     33219 |   16341    81302   235651 | 2147483647    32471     36 | 76.201 % |
52.28/52.38	c |     33432 |   16341    81302   235651 | 2147483647    32684     36 | 76.201 % |
52.68/52.77	c |     33665 |   16341    81302   235651 | 2147483647    32917     36 | 76.201 % |
53.18/53.25	c |     33921 |   16330    81210   235407 | 2147483647    33170     36 | 76.201 % |
53.58/53.62	c |     34203 |   16330    81210   235407 | 2147483647    33452     36 | 76.201 % |
54.08/54.19	c |     34512 |   16330    81210   235407 | 2147483647    33761     36 | 76.201 % |
54.59/54.63	c |     34852 |   16330    81210   235407 | 2147483647    34101     36 | 76.201 % |
55.09/55.20	c |     35226 |   16330    81210   235407 | 2147483647    34475     36 | 76.201 % |
55.69/55.76	c |     35637 |   16330    81210   235407 | 2147483647    34886     36 | 76.201 % |
56.39/56.49	c |     36091 |   16329    81205   235394 | 2147483647    35338     36 | 76.202 % |
56.99/57.11	c |     36584 |   16329    81205   235394 | 2147483647    35831     36 | 76.202 % |
57.49/57.60	c |     37126 |   16329    81205   235394 | 2147483647    36373     36 | 76.202 % |
57.69/57.75	c |     37226 |   16329    81205   235394 | 2147483647    36473     36 | 76.202 % |
57.79/57.86	c |     37338 |   16329    81205   235394 | 2147483647    36585     36 | 76.202 % |
57.99/58.02	c |     37460 |   16329    81205   235394 | 2147483647    36707     36 | 76.202 % |
58.19/58.23	c |     37593 |   16329    81205   235394 | 2147483647    36840     36 | 76.202 % |
58.39/58.43	c |     37739 |   16329    81205   235394 | 2147483647    36986     36 | 76.202 % |
58.59/58.68	c |     37901 |   16329    81205   235394 | 2147483647    37148     36 | 76.202 % |
58.89/58.98	c |     38080 |   16329    81205   235394 | 2147483647    37327     36 | 76.202 % |
59.19/59.23	c |     38274 |   16328    81200   235381 | 2147483647    37518     36 | 76.203 % |
59.49/59.60	c |     38488 |   16328    81200   235381 | 2147483647    37732     36 | 76.203 % |
59.89/59.97	c |     38721 |   16328    81200   235381 | 2147483647    37965     36 | 76.203 % |
60.19/60.31	c |     38978 |   16328    81200   235381 | 2147483647    38222     36 | 76.203 % |
60.59/60.69	c |     39260 |   16328    81200   235381 | 2147483647    38504     36 | 76.203 % |
61.09/61.12	c |     39570 |   16328    81200   235381 | 2147483647    38814     36 | 76.203 % |
61.49/61.58	c |     39910 |   16328    81200   235381 | 2147483647    39154     36 | 76.203 % |
62.19/62.25	c |     40284 |   16316    81104   235124 | 2147483647    39527     36 | 76.221 % |
62.89/62.95	c |     40693 |   16315    81104   235124 | 2147483647    39935     36 | 76.244 % |
63.49/63.59	c |     41142 |   16315    81104   235124 | 2147483647    40384     36 | 76.244 % |
64.09/64.16	c |     41635 |   16315    81104   235124 | 2147483647    40877     36 | 76.244 % |
64.69/64.79	c |     42177 |   16300    81010   234844 | 2147483647    41414     36 | 76.244 % |
65.69/65.80	c |     42773 |   16300    81010   234844 | 2147483647    42009     36 | 76.253 % |
65.89/65.94	c |     42874 |   16300    81010   234844 | 2147483647    42110     36 | 76.253 % |
65.99/66.05	c |     42985 |   16300    81010   234844 | 2147483647    42221     36 | 76.253 % |
66.19/66.23	c |     43106 |   16294    80943   234666 | 2147483647    42341     36 | 76.276 % |
66.39/66.46	c |     43239 |   16294    80943   234666 | 2147483647    42474     36 | 76.276 % |
66.69/66.78	c |     43386 |   16294    80943   234666 | 2147483647    42620     36 | 76.311 % |
66.99/67.03	c |     43548 |   16294    80943   234666 | 2147483647    42782     36 | 76.311 % |
67.19/67.27	c |     43724 |   16294    80943   234666 | 2147483647    42958     36 | 76.311 % |
67.49/67.56	c |     43918 |   16294    80943   234666 | 2147483647    43152     36 | 76.311 % |
67.79/67.81	c |     44130 |   16294    80943   234666 | 2147483647    43364     36 | 76.311 % |
68.09/68.19	c |     44365 |   16294    80943   234666 | 2147483647    43599     36 | 76.311 % |
68.49/68.57	c |     44622 |   16254    80781   234128 | 2147483647    43855     36 | 76.311 % |
68.89/68.92	c |     44903 |   16254    80781   234128 | 2147483647    44136     36 | 76.311 % |
69.19/69.26	c |     45213 |   16254    80781   234128 | 2147483647    44446     36 | 76.311 % |
69.59/69.70	c |     45553 |   16254    80781   234128 | 2147483647    44786     36 | 76.311 % |
70.09/70.18	c |     45925 |   16254    80781   234128 | 2147483647    45158     36 | 76.311 % |
70.69/70.72	c |     46334 |   16254    80781   234128 | 2147483647    45567     36 | 76.311 % |
71.39/71.50	c |     46784 |   16254    80781   234128 | 2147483647    46017     36 | 76.311 % |
72.19/72.23	c |     47277 |   16254    80781   234128 | 2147483647    46510     36 | 76.311 % |
73.09/73.17	c |     47819 |   16254    80781   234128 | 2147483647    47052     36 | 76.311 % |
74.29/74.38	c |     48415 |   15796    77522   225559 | 2147483647    47646     36 | 76.979 % |
75.39/75.43	c |     49070 |   15796    77522   225559 | 2147483647    48300     36 | 76.998 % |
75.49/75.57	c |     49171 |   15796    77522   225559 | 2147483647    48401     36 | 76.998 % |
75.69/75.80	c |     49281 |   15796    77522   225559 | 2147483647    48511     36 | 76.998 % |
75.89/75.98	c |     49404 |   15796    77522   225559 | 2147483647    48634     36 | 76.998 % |
76.19/76.22	c |     49537 |   15796    77522   225559 | 2147483647    48767     36 | 76.998 % |
76.39/76.43	c |     49684 |   15796    77522   225559 | 2147483647    48914     36 | 76.998 % |
76.59/76.67	c |     49844 |   15796    77522   225559 | 2147483647    49074     36 | 76.998 % |
76.79/76.83	c |     50022 |   15796    77522   225559 | 2147483647    49252     36 | 76.998 % |
77.09/77.12	c |     50216 |   15783    77446   225352 | 2147483647    49443     36 | 76.998 % |
77.49/77.55	c |     50429 |   15783    77446   225352 | 2147483647    49656     36 | 76.998 % |
77.89/77.98	c |     50663 |   15783    77446   225352 | 2147483647    49890     36 | 76.998 % |
78.29/78.34	c |     50920 |   15783    77446   225352 | 2147483647    50147     36 | 76.998 % |
78.69/78.76	c |     51201 |   15783    77446   225352 | 2147483647    50428     36 | 76.998 % |
79.19/79.29	c |     51510 |   15783    77446   225352 | 2147483647    50737     36 | 76.998 % |
79.59/79.62	c |     51849 |   15783    77446   225352 | 2147483647    51076     36 | 76.998 % |
80.19/80.23	c |     52221 |   15783    77446   225352 | 2147483647    51448     36 | 76.998 % |
80.79/80.89	c |     52634 |   15783    77446   225352 | 2147483647    51861     36 | 76.998 % |
81.69/81.75	c |     53083 |   15783    77446   225352 | 2147483647    52310     36 | 76.998 % |
82.29/82.41	c |     53578 |   15783    77446   225352 | 2147483647    52805     36 | 76.998 % |
83.29/83.32	c |     54124 |   15783    77446   225352 | 2147483647    53351     36 | 76.998 % |
83.99/84.08	c |     54721 |   15783    77446   225352 | 2147483647    53948     36 | 76.998 % |
84.89/84.94	c |     55376 |   15783    77446   225352 | 2147483647    54603     36 | 76.998 % |
85.89/85.95	c |     56096 |   15754    77279   224913 | 2147483647    55315     36 | 77.040 % |
86.09/86.12	c |     56196 |   15754    77279   224913 | 2147483647    55415     36 | 77.040 % |
86.29/86.34	c |     56306 |   15754    77279   224913 | 2147483647    55525     36 | 77.040 % |
86.49/86.54	c |     56427 |   15754    77279   224913 | 2147483647    55646     36 | 77.040 % |
86.79/86.87	c |     56563 |   15754    77279   224913 | 2147483647    55782     36 | 77.040 % |
86.99/87.10	c |     56709 |   15754    77279   224913 | 2147483647    55928     36 | 77.040 % |
87.19/87.28	c |     56870 |   15754    77279   224913 | 2147483647    56089     36 | 77.040 % |
87.39/87.49	c |     57048 |   15754    77279   224913 | 2147483647    56267     36 | 77.040 % |
87.69/87.79	c |     57241 |   15754    77279   224913 | 2147483647    56460     36 | 77.040 % |
88.09/88.14	c |     57453 |   15754    77279   224913 | 2147483647    56672     36 | 77.040 % |
88.49/88.51	c |     57687 |   15754    77279   224913 | 2147483647    56906     36 | 77.040 % |
88.79/88.86	c |     57945 |   15754    77279   224913 | 2147483647    57164     36 | 77.040 % |
89.09/89.20	c |     58228 |   15754    77279   224913 | 2147483647    57447     36 | 77.040 % |
89.49/89.59	c |     58537 |   15754    77279   224913 | 2147483647    57756     36 | 77.040 % |
89.89/89.99	c |     58877 |   15754    77279   224913 | 2147483647    58096     36 | 77.040 % |
90.59/90.66	c |     59251 |   15754    77279   224913 | 2147483647    58470     36 | 77.040 % |
91.19/91.21	c |     59661 |   15754    77279   224913 | 2147483647    58880     36 | 77.040 % |
91.89/91.97	c |     60110 |   15754    77279   224913 | 2147483647    59329     36 | 77.040 % |
92.49/92.57	c |     60604 |   15754    77279   224913 | 2147483647    59823     36 | 77.040 % |
93.39/93.48	c |     61146 |   15754    77279   224913 | 2147483647    60365     36 | 77.040 % |
94.49/94.53	c |     61746 |   15754    77279   224913 | 2147483647    60965     36 | 77.040 % |
95.29/95.40	c |     62401 |   15754    77279   224913 | 2147483647    61620     36 | 77.040 % |
96.59/96.61	c |     63121 |   15754    77279   224913 | 2147483647    62340     36 | 77.040 % |
97.99/98.02	c |     63913 |   15754    77279   224913 | 2147483647    63132     36 | 77.040 % |
98.19/98.22	c |     64013 |   15754    77279   224913 | 2147483647    63232     36 | 77.040 % |
98.29/98.35	c |     64123 |   15754    77279   224913 | 2147483647    63342     36 | 77.040 % |
98.49/98.57	c |     64245 |   15753    77273   224897 | 2147483647    63463     36 | 77.041 % |
98.79/98.85	c |     64378 |   15753    77273   224897 | 2147483647    63595     36 | 77.114 % |
98.99/99.10	c |     64524 |   15753    77273   224897 | 2147483647    63741     36 | 77.114 % |
99.29/99.35	c |     64685 |   15753    77273   224897 | 2147483647    63902     36 | 77.114 % |
99.69/99.73	c |     64861 |   15753    77273   224897 | 2147483647    64078     36 | 77.114 % |
100.09/100.15	c |     65054 |   15753    77273   224897 | 2147483647    64271     36 | 77.114 % |
100.39/100.49	c |     65266 |   15753    77273   224897 | 2147483647    64483     36 | 77.114 % |
100.79/100.83	c |     65500 |   15753    77273   224897 | 2147483647    64717     36 | 77.114 % |
101.19/101.22	c |     65756 |   15753    77273   224897 | 2147483647    64973     36 | 77.114 % |
101.59/101.70	c |     66037 |   15753    77273   224897 | 2147483647    65254     36 | 77.114 % |
102.19/102.21	c |     66346 |   15753    77273   224897 | 2147483647    65563     36 | 77.114 % |
102.59/102.68	c |     66686 |   15703    76234   221943 | 2147483647    65903     36 | 77.114 % |
103.29/103.38	c |     67059 |   15703    76234   221943 | 2147483647    66276     36 | 77.114 % |
104.09/104.11	c |     67468 |   15703    76234   221943 | 2147483647    66685     36 | 77.114 % |
104.79/104.88	c |     67917 |   15703    76234   221943 | 2147483647    67134     36 | 77.114 % |
105.69/105.75	c |     68410 |   15703    76234   221943 | 2147483647    67627     36 | 77.114 % |
106.59/106.62	c |     68952 |   15703    76234   221943 | 2147483647    68169     36 | 77.114 % |
107.49/107.55	c |     69550 |   15703    76234   221943 | 2147483647    68767     36 | 77.114 % |
108.29/108.38	c |     70205 |   15703    76234   221943 | 2147483647    69422     36 | 77.114 % |
109.49/109.54	c |     70927 |   15703    76234   221943 | 2147483647    70144     36 | 77.114 % |
110.69/110.74	c |     71721 |   15703    76234   221943 | 2147483647    70938     36 | 77.114 % |
111.99/112.06	c |     72593 |   15703    76234   221943 | 2147483647    71810     36 | 77.114 % |
112.19/112.26	c |     72695 |   15703    76234   221943 | 2147483647    71912     36 | 77.114 % |
112.39/112.48	c |     72806 |   15703    76234   221943 | 2147483647    72023     36 | 77.114 % |
112.59/112.70	c |     72928 |   15703    76234   221943 | 2147483647    72145     36 | 77.114 % |
112.89/112.98	c |     73063 |   15703    76234   221943 | 2147483647    72280     36 | 77.114 % |
113.19/113.26	c |     73209 |   15703    76234   221943 | 2147483647    72426     36 | 77.114 % |
113.59/113.65	c |     73369 |   15703    76234   221943 | 2147483647    72586     36 | 77.114 % |
113.89/113.94	c |     73545 |   15703    76234   221943 | 2147483647    72762     36 | 77.114 % |
114.29/114.35	c |     73739 |   15703    76234   221943 | 2147483647    72956     36 | 77.114 % |
114.69/114.77	c |     73951 |   15703    76234   221943 | 2147483647    73168     36 | 77.114 % |
115.19/115.23	c |     74185 |   15703    76234   221943 | 2147483647    73402     36 | 77.114 % |
115.69/115.79	c |     74442 |   15703    76234   221943 | 2147483647    73659     36 | 77.114 % |
116.19/116.27	c |     74724 |   15703    76234   221943 | 2147483647    73941     36 | 77.114 % |
116.69/116.78	c |     75034 |   15703    76234   221943 | 2147483647    74251     36 | 77.114 % |
117.19/117.30	c |     75373 |   15703    76234   221943 | 2147483647    74590     36 | 77.114 % |
117.79/117.85	c |     75745 |   15703    76234   221943 | 2147483647    74962     36 | 77.114 % |
118.69/118.73	c |     76155 |   15703    76234   221943 | 2147483647    75372     36 | 77.114 % |
119.49/119.53	c |     76605 |   15703    76234   221943 | 2147483647    75822     36 | 77.114 % |
120.49/120.59	c |     77100 |   15703    76234   221943 | 2147483647    76317     36 | 77.114 % |
121.49/121.53	c |     77645 |   15703    76234   221943 | 2147483647    76862     36 | 77.114 % |
122.59/122.66	c |     78244 |   15703    76234   221943 | 2147483647    77461     36 | 77.114 % |
123.99/124.01	c |     78901 |   15703    76234   221943 | 2147483647    78118     36 | 77.114 % |
125.29/125.35	c |     79621 |   15703    76234   221943 | 2147483647    78838     35 | 77.114 % |
126.79/126.83	c |     80414 |   15703    76234   221943 | 2147483647    79631     36 | 77.114 % |
128.29/128.33	c |     81285 |   15703    76234   221943 | 2147483647    80502     36 | 77.114 % |
129.69/129.72	c |     82243 |   15703    76234   221943 | 2147483647    81460     36 | 77.114 % |
129.80/129.89	c |     82343 |   15703    76234   221943 | 2147483647    81560     35 | 77.114 % |
129.98/130.05	c |     82455 |   15703    76234   221943 | 2147483647    81672     35 | 77.114 % |
130.18/130.26	c |     82577 |   15703    76234   221943 | 2147483647    81794     35 | 77.114 % |
130.38/130.48	c |     82710 |   15703    76234   221943 | 2147483647    81927     35 | 77.114 % |
130.68/130.72	c |     82858 |   15703    76234   221943 | 2147483647    82075     35 | 77.114 % |
130.89/130.98	c |     83020 |   15703    76234   221943 | 2147483647    82237     35 | 77.114 % |
131.18/131.24	c |     83196 |   15703    76234   221943 | 2147483647    82413     35 | 77.114 % |
131.48/131.52	c |     83390 |   15703    76234   221943 | 2147483647    82607     35 | 77.114 % |
131.88/131.92	c |     83604 |   15703    76234   221943 | 2147483647    82821     35 | 77.114 % |
132.28/132.32	c |     83838 |   15703    76234   221943 | 2147483647    83055     35 | 77.114 % |
132.78/132.81	c |     84095 |   15703    76234   221943 | 2147483647    83312     35 | 77.114 % |
133.18/133.23	c |     84376 |   15703    76234   221943 | 2147483647    83593     35 | 77.114 % |
133.78/133.81	c |     84686 |   15703    76234   221943 | 2147483647    83903     35 | 77.114 % |
134.38/134.44	c |     85026 |   15703    76234   221943 | 2147483647    84243     35 | 77.114 % |
134.98/135.02	c |     85401 |   15703    76234   221943 | 2147483647    84618     35 | 77.114 % |
135.68/135.77	c |     85810 |   15703    76234   221943 | 2147483647    85027     35 | 77.114 % |
136.58/136.63	c |     86263 |   15703    76234   221943 | 2147483647    85480     35 | 77.114 % |
137.49/137.60	c |     86756 |   15703    76234   221943 | 2147483647    85973     36 | 77.114 % |
138.59/138.65	c |     87301 |   15703    76234   221943 | 2147483647    86518     36 | 77.114 % |
139.78/139.82	c |     87897 |   15703    76234   221943 | 2147483647    87114     36 | 77.114 % |
140.98/141.00	c |     88554 |   15703    76234   221943 | 2147483647    87771     36 | 77.114 % |
142.18/142.27	c |     89275 |   15703    76234   221943 | 2147483647    88492     36 | 77.114 % |
143.38/143.49	c |     90067 |   15703    76234   221943 | 2147483647    89284     36 | 77.114 % |
145.28/145.38	c |     90938 |   15703    76234   221943 | 2147483647    90155     36 | 77.114 % |
147.09/147.11	c |     91897 |   15703    76234   221943 | 2147483647    91114     35 | 77.114 % |
149.39/149.48	c |     92951 |   15472    74644   217832 | 2147483647    92167     35 | 77.451 % |
149.69/149.71	c |     93051 |   15472    74644   217832 | 2147483647    92267     35 | 77.451 % |
149.99/150.06	c |     93162 |   15472    74644   217832 | 2147483647    92378     35 | 77.451 % |
150.29/150.32	c |     93284 |   15472    74644   217832 | 2147483647    92500     35 | 77.451 % |
150.49/150.52	c |     93417 |   15472    74644   217832 | 2147483647    92633     35 | 77.451 % |
150.70/150.79	c |     93564 |   15472    74644   217832 | 2147483647    92780     35 | 77.451 % |
150.99/151.07	c |     93724 |   15472    74644   217832 | 2147483647    92940     36 | 77.451 % |
151.29/151.40	c |     93901 |   15472    74644   217832 | 2147483647    93117     35 | 77.451 % |
151.69/151.76	c |     94096 |   15472    74644   217832 | 2147483647    93312     35 | 77.451 % |
152.09/152.16	c |     94310 |   15472    74644   217832 | 2147483647    93526     36 | 77.451 % |
152.59/152.63	c |     94543 |   15472    74644   217832 | 2147483647    93759     36 | 77.451 % |
153.19/153.27	c |     94800 |   15472    74644   217832 | 2147483647    94016     36 | 77.451 % |
153.69/153.80	c |     95081 |   15472    74644   217832 | 2147483647    94297     36 | 77.451 % |
154.19/154.25	c |     95391 |   15472    74644   217832 | 2147483647    94607     36 | 77.451 % |
154.89/154.93	c |     95733 |   15472    74644   217832 | 2147483647    94949     36 | 77.451 % |
155.59/155.65	c |     96106 |   15472    74644   217832 | 2147483647    95322     35 | 77.451 % |
156.29/156.35	c |     96515 |   15472    74644   217832 | 2147483647    95731     35 | 77.451 % |
156.89/157.00	c |     96966 |   15472    74644   217832 | 2147483647    96182     35 | 77.451 % |
157.69/157.73	c |     97459 |   15472    74644   217832 | 2147483647    96675     35 | 77.451 % |
158.49/158.59	c |     98003 |   15472    74644   217832 | 2147483647    97219     35 | 77.451 % |
159.39/159.46	c |     98601 |   15472    74644   217832 | 2147483647    97817     35 | 77.451 % |
160.60/160.67	c |     99258 |   15472    74644   217832 | 2147483647    98474     35 | 77.451 % |
161.99/162.07	c |     99979 |   15472    74644   217832 | 2147483647    99195     35 | 77.451 % |
163.09/163.18	c |    100774 |   15472    74644   217832 | 2147483647    99990     35 | 77.451 % |
164.89/164.92	c |    101645 |   15472    74644   217832 | 2147483647   100861     35 | 77.451 % |
166.29/166.41	c |    102606 |   15472    74644   217832 | 2147483647   101822     35 | 77.451 % |
168.09/168.18	c |    103661 |   15472    74644   217832 | 2147483647   102877     35 | 77.451 % |
170.29/170.35	c |    104820 |   15472    74644   217832 | 2147483647   104036     35 | 77.451 % |
170.50/170.52	c |    104921 |   15472    74644   217832 | 2147483647   104137     35 | 77.451 % |
170.69/170.74	c |    105032 |   15472    74644   217832 | 2147483647   104248     35 | 77.451 % |
170.89/170.94	c |    105154 |   15472    74644   217832 | 2147483647   104370     35 | 77.451 % |
171.09/171.18	c |    105288 |   15472    74644   217832 | 2147483647   104504     35 | 77.451 % |
171.39/171.46	c |    105435 |   15472    74644   217832 | 2147483647   104651     35 | 77.451 % |
171.60/171.70	c |    105595 |   15472    74644   217832 | 2147483647   104811     35 | 77.451 % |
171.99/172.09	c |    105771 |   15472    74644   217832 | 2147483647   104987     35 | 77.451 % |
172.39/172.48	c |    105966 |   15472    74644   217832 | 2147483647   105182     35 | 77.451 % |
172.89/172.93	c |    106178 |   15472    74644   217832 | 2147483647   105394     35 | 77.451 % |
173.29/173.40	c |    106414 |   15472    74644   217832 | 2147483647   105630     35 | 77.451 % |
173.89/173.99	c |    106670 |   15472    74644   217832 | 2147483647   105886     35 | 77.451 % |
174.59/174.66	c |    106951 |   15472    74644   217832 | 2147483647   106167     35 | 77.451 % |
175.19/175.21	c |    107260 |   15472    74644   217832 | 2147483647   106476     35 | 77.451 % |
176.09/176.15	c |    107602 |   15461    74545   217553 | 2147483647   106815     35 | 77.467 % |
176.99/177.08	c |    107978 |   15461    74545   217553 | 2147483647   107191     35 | 77.467 % |
178.49/178.51	c |    108387 |   15461    74545   217553 | 2147483647   107600     35 | 77.467 % |
179.19/179.30	c |    108837 |   15461    74545   217553 | 2147483647   108050     35 | 77.467 % |
180.49/180.57	c |    109333 |   15461    74545   217553 | 2147483647   108546     35 | 77.467 % |
181.69/181.74	c |    109877 |   15461    74545   217553 | 2147483647   109090     35 | 77.467 % |
182.79/182.87	c |    110473 |   15461    74545   217553 | 2147483647   109686     35 | 77.467 % |
183.80/183.89	c |    111128 |   15461    74545   217553 | 2147483647   110341     35 | 77.467 % |
185.00/185.07	c |    111848 |   15461    74545   217553 | 2147483647   111061     35 | 77.467 % |
186.90/186.94	c |    112643 |   15461    74545   217553 | 2147483647   111856     35 | 77.467 % |
189.30/189.39	c |    113514 |   15461    74545   217553 | 2147483647   112727     35 | 77.467 % |
191.30/191.34	c |    114473 |   15461    74545   217553 | 2147483647   113686     35 | 77.467 % |
193.70/193.73	c |    115526 |   15461    74545   217553 | 2147483647   114739     35 | 77.467 % |
196.20/196.23	c |    116685 |   15461    74545   217553 | 2147483647   115898     35 | 77.467 % |
198.90/198.97	c |    117958 |   15461    74545   217553 | 2147483647   117171     35 | 77.467 % |
199.20/199.25	c |    118058 |   15461    74545   217553 | 2147483647   117271     35 | 77.467 % |
199.40/199.50	c |    118168 |   15461    74545   217553 | 2147483647   117381     35 | 77.467 % |
199.80/199.87	c |    118289 |   15461    74545   217553 | 2147483647   117502     35 | 77.467 % |
200.20/200.25	c |    118424 |   15461    74545   217553 | 2147483647   117637     35 | 77.467 % |
200.50/200.56	c |    118570 |   15461    74545   217553 | 2147483647   117783     35 | 77.467 % |
201.00/201.08	c |    118730 |   15461    74545   217553 | 2147483647   117943     35 | 77.467 % |
201.50/201.55	c |    118906 |   15461    74545   217553 | 2147483647   118119     35 | 77.467 % |
202.00/202.10	c |    119100 |   15461    74545   217553 | 2147483647   118313     35 | 77.467 % |
202.50/202.58	c |    119313 |   15461    74545   217553 | 2147483647   118526     35 | 77.467 % |
203.10/203.14	c |    119546 |   15461    74545   217553 | 2147483647   118759     35 | 77.467 % |
203.60/203.71	c |    119802 |   15461    74545   217553 | 2147483647   119015     35 | 77.467 % |
204.30/204.36	c |    120083 |   15461    74545   217553 | 2147483647   119296     35 | 77.467 % |
204.90/204.99	c |    120395 |   15461    74545   217553 | 2147483647   119608     35 | 77.467 % |
205.70/205.74	c |    120735 |   15461    74545   217553 | 2147483647   119948     35 | 77.467 % |
206.40/206.50	c |    121109 |   15461    74545   217553 | 2147483647   120322     35 | 77.467 % |
207.30/207.41	c |    121520 |   15461    74545   217553 | 2147483647   120733     35 | 77.467 % |
208.50/208.53	c |    121970 |   15461    74545   217553 | 2147483647   121183     35 | 77.467 % |
209.40/209.46	c |    122463 |   15461    74545   217553 | 2147483647   121676     35 | 77.467 % |
210.50/210.57	c |    123012 |   15461    74545   217553 | 2147483647   122225     35 | 77.467 % |
211.70/211.73	c |    123610 |   15461    74545   217553 | 2147483647   122823     35 | 77.467 % |
213.20/213.27	c |    124268 |   15461    74545   217553 | 2147483647   123481     35 | 77.467 % |
214.70/214.75	c |    124989 |   15461    74545   217553 | 2147483647   124202     35 | 77.467 % |
216.80/216.91	c |    125783 |   15461    74545   217553 | 2147483647   124996     35 | 77.467 % |
219.00/219.07	c |    126654 |   15461    74545   217553 | 2147483647   125867     35 | 77.467 % |
221.10/221.21	c |    127612 |   15461    74545   217553 | 2147483647   126825     35 | 77.467 % |
224.00/224.05	c |    128667 |   15461    74545   217553 | 2147483647   127880     35 | 77.467 % |
226.60/226.62	c |    129828 |   15461    74545   217553 | 2147483647   129041     35 | 77.467 % |
229.40/229.46	c |    131102 |   15461    74545   217553 | 2147483647   130315     35 | 77.467 % |
232.10/232.18	c |    132502 |   15461    74545   217553 | 2147483647   131715     35 | 77.467 % |
232.30/232.40	c |    132602 |   15461    74545   217553 | 2147483647   131815     35 | 77.467 % |
232.60/232.66	c |    132713 |   15461    74545   217553 | 2147483647   131926     35 | 77.467 % |
232.90/233.01	c |    132835 |   15461    74545   217553 | 2147483647   132048     35 | 77.467 % |
233.30/233.34	c |    132968 |   15461    74545   217553 | 2147483647   132181     35 | 77.467 % |
233.60/233.63	c |    133115 |   15461    74545   217553 | 2147483647   132328     35 | 77.467 % |
234.00/234.04	c |    133278 |   15461    74545   217553 | 2147483647   132491     35 | 77.467 % |
234.40/234.43	c |    133454 |   15461    74545   217553 | 2147483647   132667     35 | 77.467 % |
234.80/234.84	c |    133649 |   15461    74545   217553 | 2147483647   132862     35 | 77.467 % |
235.20/235.29	c |    133862 |   15461    74545   217553 | 2147483647   133075     35 | 77.467 % |
235.80/235.82	c |    134096 |   15461    74545   217553 | 2147483647   133309     35 | 77.467 % |
236.30/236.40	c |    134352 |   15461    74545   217553 | 2147483647   133565     35 | 77.467 % |
236.90/236.96	c |    134635 |   15461    74545   217553 | 2147483647   133848     35 | 77.467 % |
237.70/237.73	c |    134947 |   15461    74545   217553 | 2147483647   134160     35 | 77.467 % |
238.60/238.70	c |    135287 |   15461    74545   217553 | 2147483647   134500     35 | 77.467 % |
239.60/239.63	c |    135661 |   15461    74545   217553 | 2147483647   134874     35 | 77.467 % |
240.60/240.68	c |    136070 |   15461    74545   217553 | 2147483647   135283     35 | 77.467 % |
241.80/241.86	c |    136520 |   15461    74545   217553 | 2147483647   135733     35 | 77.467 % |
242.70/242.76	c |    137013 |   15461    74545   217553 | 2147483647   136226     35 | 77.467 % |
244.00/244.11	c |    137555 |   15461    74545   217553 | 2147483647   136768     35 | 77.467 % |
245.60/245.67	c |    138153 |   15461    74545   217553 | 2147483647   137366     35 | 77.467 % |
247.60/247.66	c |    138808 |   15461    74545   217553 | 2147483647   138021     35 | 77.467 % |
249.90/249.94	c |    139529 |   15232    73028   213603 | 2147483647   138741     35 | 77.801 % |
251.50/251.53	c |    140326 |   15232    73028   213603 | 2147483647   139538     35 | 77.801 % |
253.50/253.61	c |    141197 |   15232    73028   213603 | 2147483647   140409     35 | 77.801 % |
256.00/256.05	c |    142156 |   15232    73028   213603 | 2147483647   141368     35 | 77.801 % |
258.90/258.99	c |    143211 |   15232    73028   213603 | 2147483647   142423     35 | 77.801 % |
261.40/261.46	c |    144371 |   15232    73028   213603 | 2147483647   143583     35 | 77.801 % |
264.90/265.02	c |    145647 |   15232    73028   213603 | 2147483647   144859     35 | 77.801 % |
268.50/268.57	c |    147050 |   15228    72984   213479 | 2147483647   146261     35 | 77.807 % |
272.40/272.50	c |    148592 |   15228    72984   213479 | 2147483647   147803     35 | 77.807 % |
272.70/272.81	c |    148693 |   15228    72984   213479 | 2147483647   147904     35 | 77.807 % |
273.00/273.03	c |    148803 |   15228    72984   213479 | 2147483647   148014     35 | 77.807 % |
273.30/273.38	c |    148924 |   15228    72984   213479 | 2147483647   148135     35 | 77.807 % |
273.70/273.73	c |    149057 |   15228    72984   213479 | 2147483647   148268     35 | 77.807 % |
274.10/274.15	c |    149206 |   15228    72984   213479 | 2147483647   148417     35 | 77.807 % |
274.60/274.66	c |    149366 |   15228    72984   213479 | 2147483647   148577     35 | 77.807 % |
275.30/275.32	c |    149544 |   15228    72984   213479 | 2147483647   148755     35 | 77.807 % |
275.90/275.99	c |    149737 |   15228    72984   213479 | 2147483647   148948     35 | 77.807 % |
276.70/276.75	c |    149949 |   15228    72984   213479 | 2147483647   149160     35 | 77.807 % |
277.21/277.30	c |    150184 |   15228    72984   213479 | 2147483647   149395     35 | 77.807 % |
277.90/277.93	c |    150442 |   15228    72984   213479 | 2147483647   149653     35 | 77.807 % |
278.60/278.71	c |    150724 |   15228    72984   213479 | 2147483647   149935     35 | 77.807 % |
279.41/279.50	c |    151034 |   15228    72984   213479 | 2147483647   150245     35 | 77.807 % |
280.30/280.41	c |    151375 |   15228    72984   213479 | 2147483647   150586     35 | 77.807 % |
281.20/281.27	c |    151747 |   15228    72984   213479 | 2147483647   150958     35 | 77.807 % |
282.30/282.31	c |    152156 |   15228    72984   213479 | 2147483647   151367     35 | 77.807 % |
283.30/283.40	c |    152608 |   15228    72984   213479 | 2147483647   151819     35 | 77.807 % |
284.80/284.85	c |    153102 |   15228    72984   213479 | 2147483647   152313     35 | 77.807 % |
286.20/286.23	c |    153645 |   15228    72984   213479 | 2147483647   152856     35 | 77.807 % |
287.80/287.85	c |    154242 |   15228    72984   213479 | 2147483647   153453     35 | 77.807 % |
289.40/289.47	c |    154898 |   15228    72984   213479 | 2147483647   154109     35 | 77.807 % |
290.90/290.99	c |    155618 |   15228    72984   213479 | 2147483647   154829     35 | 77.807 % |
293.00/293.08	c |    156412 |   15228    72984   213479 | 2147483647   155623     35 | 77.807 % |
295.10/295.16	c |    157283 |   15228    72984   213479 | 2147483647   156494     35 | 77.807 % |
297.60/297.65	c |    158243 |   15228    72984   213479 | 2147483647   157454     35 | 77.807 % |
300.00/300.08	c |    159297 |   15228    72984   213479 | 2147483647   158508     35 | 77.807 % |
303.00/303.01	c |    160457 |   15228    72984   213479 | 2147483647   159668     35 | 77.807 % |
307.00/307.04	c |    161730 |   15228    72984   213479 | 2147483647   160941     35 | 77.807 % |
310.50/310.60	c |    163130 |   15228    72984   213479 | 2147483647   162341     35 | 77.807 % |
315.31/315.38	c |    164673 |   15228    72984   213479 | 2147483647   163884     35 | 77.807 % |
320.41/320.43	c |    166367 |   15228    72984   213479 | 2147483647   165578     35 | 77.807 % |
320.81/320.84	c |    166468 |   15228    72984   213479 | 2147483647   165679     35 | 77.807 % |
321.31/321.32	c |    166578 |   15228    72984   213479 | 2147483647   165789     35 | 77.807 % |
321.71/321.73	c |    166703 |   15228    72984   213479 | 2147483647   165914     35 | 77.807 % |
322.21/322.22	c |    166837 |   15228    72984   213479 | 2147483647   166048     35 | 77.807 % |
322.61/322.69	c |    166984 |   15228    72984   213479 | 2147483647   166195     35 | 77.807 % |
323.11/323.21	c |    167145 |   15228    72984   213479 | 2147483647   166356     35 | 77.807 % |
323.71/323.75	c |    167326 |   15228    72984   213479 | 2147483647   166537     35 | 77.807 % |
324.31/324.32	c |    167519 |   15228    72984   213479 | 2147483647   166730     35 | 77.807 % |
324.81/324.88	c |    167731 |   15228    72984   213479 | 2147483647   166942     35 | 77.807 % |
325.61/325.69	c |    167964 |   15228    72984   213479 | 2147483647   167175     35 | 77.807 % |
326.41/326.46	c |    168222 |   15228    72984   213479 | 2147483647   167433     35 | 77.807 % |
327.21/327.25	c |    168505 |   15228    72984   213479 | 2147483647   167716     35 | 77.807 % |
328.21/328.25	c |    168815 |   15228    72984   213479 | 2147483647   168026     35 | 77.807 % |
329.11/329.16	c |    169156 |   15228    72984   213479 | 2147483647   168367     35 | 77.807 % |
330.21/330.22	c |    169528 |   15228    72984   213479 | 2147483647   168739     35 | 77.807 % |
331.51/331.56	c |    169937 |   15228    72984   213479 | 2147483647   169148     35 | 77.807 % |
333.11/333.16	c |    170387 |   15228    72984   213479 | 2147483647   169598     35 | 77.807 % |
334.71/334.73	c |    170883 |   15228    72984   213479 | 2147483647   170094     35 | 77.807 % |
336.41/336.44	c |    171426 |   15228    72984   213479 | 2147483647   170637     35 | 77.807 % |
338.51/338.53	c |    172024 |   15228    72984   213479 | 2147483647   171235     35 | 77.807 % |
340.41/340.48	c |    172679 |   15228    72984   213479 | 2147483647   171890     35 | 77.807 % |
342.51/342.53	c |    173400 |   15228    72984   213479 | 2147483647   172611     35 | 77.807 % |
344.71/344.80	c |    174193 |   15228    72984   213479 | 2147483647   173404     35 | 77.807 % |
347.21/347.23	c |    175064 |   15228    72984   213479 | 2147483647   174275     35 | 77.807 % |
350.61/350.71	c |    176023 |   15228    72984   213479 | 2147483647   175234     35 | 77.807 % |
353.51/353.59	c |    177076 |   15228    72984   213479 | 2147483647   176287     35 | 77.807 % |
356.01/356.04	c |    178236 |   15228    72984   213479 | 2147483647   177447     35 | 77.807 % |
359.81/359.83	c |    179509 |   15227    72979   213466 | 2147483647   178719     35 | 77.808 % |
363.21/363.28	c |    180910 |   15227    72979   213466 | 2147483647   180120     35 | 77.808 % |
367.21/367.27	c |    182450 |   15227    72979   213466 | 2147483647   181660     35 | 77.808 % |
372.71/372.80	c |    184146 |   15227    72979   213466 | 2147483647   183356     35 | 77.808 % |
378.31/378.35	c |    186010 |   15227    72979   213466 | 2147483647   185220     35 | 77.808 % |
378.81/378.84	c |    186112 |   15227    72979   213466 | 2147483647   185322     35 | 77.808 % |
379.31/379.32	c |    186223 |   15227    72979   213466 | 2147483647   185433     35 | 77.808 % |
379.71/379.80	c |    186344 |   15227    72979   213466 | 2147483647   185554     35 | 77.808 % |
380.11/380.17	c |    186477 |   15227    72979   213466 | 2147483647   185687     35 | 77.808 % |
380.61/380.62	c |    186623 |   15227    72979   213466 | 2147483647   185833     35 | 77.808 % |
381.01/381.06	c |    186786 |   15227    72979   213466 | 2147483647   185996     35 | 77.808 % |
381.71/381.76	c |    186963 |   15227    72979   213466 | 2147483647   186173     35 | 77.808 % |
382.21/382.26	c |    187157 |   15227    72979   213466 | 2147483647   186367     35 | 77.808 % |
382.81/382.89	c |    187369 |   15195    72790   212915 | 2147483647   186563     35 | 77.855 % |
383.61/383.62	c |    187602 |   15195    72790   212915 | 2147483647   186796     35 | 77.855 % |
384.51/384.54	c |    187859 |   15195    72790   212915 | 2147483647   187053     35 | 77.855 % |
385.50/385.56	c |    188140 |   15195    72790   212915 | 2147483647   187334     35 | 77.855 % |
386.40/386.49	c |    188449 |   15195    72790   212915 | 2147483647   187643     35 | 77.855 % |
387.30/387.40	c |    188791 |   15195    72790   212915 | 2147483647   187985     35 | 77.855 % |
388.50/388.52	c |    189166 |   15195    72790   212915 | 2147483647   188360     35 | 77.855 % |
389.70/389.71	c |    189575 |   15195    72790   212915 | 2147483647   188769     35 | 77.855 % |
391.00/391.03	c |    190025 |   15195    72790   212915 | 2147483647   189219     35 | 77.855 % |
393.00/393.02	c |    190518 |   15195    72790   212915 | 2147483647   189712     35 | 77.855 % |
394.70/394.72	c |    191061 |   15195    72790   212915 | 2147483647   190255     35 | 77.855 % |
396.90/396.94	c |    191659 |   15195    72790   212915 | 2147483647   190853     36 | 77.855 % |
398.50/398.53	c |    192314 |   15195    72790   212915 | 2147483647   191508     36 | 77.855 % |
400.90/400.94	c |    193034 |   15195    72790   212915 | 2147483647   192228     36 | 77.855 % |
403.10/403.12	c |    193826 |   15195    72790   212915 | 2147483647   193020     36 | 77.855 % |
405.60/405.65	c |    194698 |   15195    72790   212915 | 2147483647   193892     36 | 77.855 % |
408.50/408.55	c |    195656 |   15195    72790   212915 | 2147483647   194850     36 | 77.855 % |
411.49/411.58	c |    196709 |   15195    72790   212915 | 2147483647   195903     36 | 77.855 % |
415.19/415.29	c |    197867 |   15195    72790   212915 | 2147483647   197061     36 | 77.855 % |
418.89/418.91	c |    199140 |   15195    72790   212915 | 2147483647   198334     36 | 77.855 % |
422.79/422.81	c |    200541 |   15195    72790   212915 | 2147483647   199735     36 | 77.855 % |
428.19/428.25	c |    202084 |   15188    72758   212823 | 2147483647   201267     36 | 77.865 % |
433.40/433.46	c |    203778 |   15188    72758   212823 | 2147483647   202961     36 | 77.865 % |
438.59/438.68	c |    205642 |   15188    72758   212823 | 2147483647   204825     36 | 77.865 % |
444.60/444.65	c |    207691 |   15188    72758   212823 | 2147483647   206874     36 | 77.865 % |
445.00/445.10	c |    207792 |   15188    72758   212823 | 2147483647   206975     36 | 77.865 % |
445.50/445.54	c |    207902 |   15188    72758   212823 | 2147483647   207085     36 | 77.865 % |
445.90/445.96	c |    208023 |   15188    72758   212823 | 2147483647   207206     36 | 77.865 % |
446.30/446.36	c |    208157 |   15188    72758   212823 | 2147483647   207340     36 | 77.865 % |
446.80/446.86	c |    208303 |   15188    72758   212823 | 2147483647   207486     36 | 77.865 % |
447.20/447.28	c |    208463 |   15188    72758   212823 | 2147483647   207646     36 | 77.865 % |
447.80/447.85	c |    208639 |   15188    72758   212823 | 2147483647   207822     36 | 77.865 % |
448.40/448.46	c |    208833 |   15188    72758   212823 | 2147483647   208016     36 | 77.865 % |
449.20/449.27	c |    209045 |   15188    72758   212823 | 2147483647   208228     36 | 77.865 % |
449.70/449.81	c |    209278 |   15188    72758   212823 | 2147483647   208461     36 | 77.865 % |
450.50/450.51	c |    209535 |   15188    72758   212823 | 2147483647   208718     36 | 77.865 % |
451.30/451.37	c |    209816 |   15188    72758   212823 | 2147483647   208999     36 | 77.865 % |
452.10/452.21	c |    210128 |   15188    72758   212823 | 2147483647   209311     36 | 77.865 % |
452.90/453.00	c |    210467 |   15188    72758   212823 | 2147483647   209650     36 | 77.865 % |
454.00/454.03	c |    210840 |   15188    72758   212823 | 2147483647   210023     36 | 77.865 % |
455.00/455.09	c |    211249 |   15188    72758   212823 | 2147483647   210432     36 | 77.865 % |
456.30/456.33	c |    211698 |   15188    72758   212823 | 2147483647   210881     35 | 77.865 % |
458.00/458.06	c |    212191 |   15188    72758   212823 | 2147483647   211374     35 | 77.865 % |
459.60/459.67	c |    212734 |   15188    72758   212823 | 2147483647   211917     35 | 77.865 % |
461.80/461.84	c |    213331 |   15188    72758   212823 | 2147483647   212514     35 | 77.865 % |
463.80/463.88	c |    213987 |   15188    72758   212823 | 2147483647   213170     35 | 77.865 % |
465.90/465.97	c |    214707 |   15188    72758   212823 | 2147483647   213890     35 | 77.865 % |
468.40/468.50	c |    215499 |   15188    72758   212823 | 2147483647   214682     35 | 77.865 % |
471.30/471.36	c |    216370 |   15188    72758   212823 | 2147483647   215553     35 | 77.865 % |
474.20/474.28	c |    217329 |   15120    72620   212371 | 2147483647   216510     35 | 77.964 % |
477.30/477.35	c |    218383 |   15120    72620   212371 | 2147483647   217564     35 | 77.964 % |
481.20/481.29	c |    219545 |   15120    72620   212371 | 2147483647   218726     36 | 77.964 % |
486.00/486.02	c |    220818 |   15120    72620   212371 | 2147483647   219999     35 | 77.964 % |
490.40/490.47	c |    222219 |   15120    72620   212371 | 2147483647   221400     35 | 77.964 % |
495.09/495.18	c |    223759 |   15120    72620   212371 | 2147483647   222940     36 | 77.964 % |
499.40/499.45	c |    225454 |   15120    72620   212371 | 2147483647   224635     35 | 77.964 % |
504.80/504.89	c |    227319 |   15120    72620   212371 | 2147483647   226500     35 | 77.964 % |
510.80/510.83	c |    229369 |   15114    72569   212233 | 2147483647   228549     35 | 77.973 % |
516.30/516.37	c |    231622 |   15114    72569   212233 | 2147483647   230802     35 | 77.973 % |
516.70/516.73	c |    231722 |   15114    72569   212233 | 2147483647   230902     35 | 77.973 % |
517.20/517.31	c |    231834 |   15114    72569   212233 | 2147483647   231014     35 | 77.973 % |
517.80/517.88	c |    231955 |   15114    72569   212233 | 2147483647   231135     35 | 77.973 % |
518.30/518.38	c |    232090 |   15114    72569   212233 | 2147483647   231270     35 | 77.973 % |
519.00/519.10	c |    232237 |   15114    72569   212233 | 2147483647   231417     35 | 77.973 % |
519.70/519.73	c |    232400 |   15114    72569   212233 | 2147483647   231580     35 | 77.973 % |
520.40/520.43	c |    232577 |   15114    72569   212233 | 2147483647   231757     35 | 77.973 % |
520.90/521.00	c |    232770 |   15114    72569   212233 | 2147483647   231950     35 | 77.973 % |
521.80/521.84	c |    232982 |   15114    72569   212233 | 2147483647   232162     35 | 77.973 % |
522.80/522.82	c |    233215 |   15114    72569   212233 | 2147483647   232395     35 | 77.973 % |
523.61/523.70	c |    233471 |   15114    72569   212233 | 2147483647   232651     36 | 77.973 % |
524.60/524.68	c |    233755 |   15114    72569   212233 | 2147483647   232935     36 | 77.973 % |
525.90/525.98	c |    234065 |   15114    72569   212233 | 2147483647   233245     36 | 77.973 % |
527.40/527.49	c |    234404 |   15114    72569   212233 | 2147483647   233584     36 | 77.973 % |
528.90/529.01	c |    234776 |   15114    72569   212233 | 2147483647   233956     36 | 77.973 % |
530.80/530.83	c |    235185 |   15114    72569   212233 | 2147483647   234365     36 | 77.973 % |
532.50/532.58	c |    235634 |   15114    72569   212233 | 2147483647   234814     35 | 77.973 % |
534.80/534.87	c |    236127 |   15114    72569   212233 | 2147483647   235307     35 | 77.973 % |
536.70/536.80	c |    236669 |   15114    72569   212233 | 2147483647   235849     35 | 77.973 % |
538.80/538.88	c |    237266 |   15114    72569   212233 | 2147483647   236446     35 | 77.973 % |
540.90/540.97	c |    237921 |   15114    72569   212233 | 2147483647   237101     35 | 77.973 % |
543.80/543.86	c |    238641 |   15114    72569   212233 | 2147483647   237821     35 | 77.973 % |
546.40/546.51	c |    239436 |   15114    72569   212233 | 2147483647   238616     35 | 77.973 % |
549.60/549.62	c |    240309 |   15114    72569   212233 |   239181   239489     35 | 77.973 % |
553.40/553.50	c |    241267 |   15114    72569   212233 |   239181   240447     35 | 77.973 % |
557.90/557.96	c |    242322 |   15114    72569   212233 |   239181   241502     36 | 77.973 % |
562.60/562.64	c |    243483 |   15114    72569   212233 |   239181   242663     36 | 77.973 % |
566.80/566.85	c |    244756 |   15114    72569   212233 |   239181   243936     36 | 77.973 % |
571.41/571.45	c |    246159 |   15114    72569   212233 |   239181   245339     36 | 77.973 % |
575.31/575.35	c |    247700 |   15114    72569   212233 |   239181   246880     35 | 77.973 % |
580.71/580.75	c |    249394 |   15114    72569   212233 |   239181   248574     35 | 77.973 % |
586.71/586.72	c |    251264 |   15114    72569   212233 | 2147483647   250444     35 | 77.973 % |
593.61/593.64	c |    253313 |   15114    72569   212233 | 2147483647   252493     35 | 77.973 % |
601.51/601.57	c |    255568 |   15114    72569   212233 | 2147483647   254748     35 | 77.973 % |
610.11/610.14	c |    258048 |   15114    72569   212233 | 2147483647   257228     35 | 77.973 % |
610.71/610.72	c |    258148 |   15114    72569   212233 | 2147483647   257328     35 | 77.973 % |
611.31/611.41	c |    258258 |   15114    72569   212233 | 2147483647   257438     35 | 77.973 % |
612.01/612.09	c |    258379 |   15114    72569   212233 | 2147483647   257559     35 | 77.973 % |
612.71/612.80	c |    258513 |   15114    72569   212233 | 2147483647   257693     35 | 77.973 % |
613.31/613.35	c |    258661 |   15114    72569   212233 | 2147483647   257841     35 | 77.973 % |
614.01/614.03	c |    258821 |   15114    72569   212233 | 2147483647   258001     35 | 77.973 % |
614.91/614.92	c |    258998 |   15114    72569   212233 | 2147483647   258178     35 | 77.973 % |
615.61/615.68	c |    259192 |   15114    72569   212233 | 2147483647   258372     35 | 77.973 % |
616.41/616.44	c |    259404 |   15114    72569   212233 | 2147483647   258584     35 | 77.973 % |
617.31/617.40	c |    259638 |   15114    72569   212233 | 2147483647   258818     35 | 77.973 % |
618.61/618.67	c |    259894 |   15114    72569   212233 | 2147483647   259074     35 | 77.973 % |
619.61/619.68	c |    260179 |   15114    72569   212233 | 2147483647   259359     35 | 77.973 % |
620.91/620.98	c |    260489 |   15114    72569   212233 | 2147483647   259669     35 | 77.973 % |
622.21/622.29	c |    260830 |   15114    72569   212233 | 2147483647   260010     35 | 77.973 % |
623.71/623.81	c |    261203 |   15114    72569   212233 | 2147483647   260383     35 | 77.973 % |
625.21/625.27	c |    261612 |   15114    72569   212233 | 2147483647   260792     35 | 77.973 % |
626.81/626.91	c |    262062 |   15114    72569   212233 | 2147483647   261242     35 | 77.973 % |
628.41/628.46	c |    262556 |   15114    72569   212233 | 2147483647   261736     35 | 77.973 % |
630.71/630.78	c |    263099 |   15114    72569   212233 | 2147483647   262279     35 | 77.973 % |
632.81/632.86	c |    263695 |   15114    72569   212233 | 2147483647   262875     35 | 77.973 % |
635.11/635.13	c |    264350 |   15114    72569   212233 | 2147483647   263530     35 | 77.973 % |
638.01/638.03	c |    265070 |   15114    72569   212233 | 2147483647   264250     35 | 77.973 % |
641.32/641.39	c |    265863 |   15114    72569   212233 | 2147483647   265043     35 | 77.973 % |
644.62/644.65	c |    266734 |   15114    72569   212233 | 2147483647   265914     35 | 77.973 % |
648.01/648.10	c |    267692 |   15114    72569   212233 | 2147483647   266872     35 | 77.973 % |
652.01/652.09	c |    268745 |   15114    72569   212233 | 2147483647   267925     35 | 77.973 % |
656.31/656.40	c |    269908 |   15104    72508   212077 | 2147483647   269069     35 | 77.987 % |
661.41/661.43	c |    271182 |   15104    72508   212077 |   269161   270343     35 | 77.987 % |
668.31/668.34	c |    272584 |   15104    72508   212077 |   269161   271745     35 | 77.987 % |
675.71/675.76	c |    274124 |   15104    72508   212077 |   269161   273284     35 | 78.056 % |
682.61/682.67	c |    275819 |   15104    72508   212077 |   269161   274979     35 | 78.056 % |
691.41/691.50	c |    277683 |   15104    72508   212077 |   269161   276843     35 | 78.056 % |
701.12/701.12	c |    279733 |   15104    72508   212077 |   269161   278893     35 | 78.056 % |
711.62/711.70	c |    281986 |   15057    72207   211319 |   279165   281146     35 | 78.056 % |
719.52/719.53	c |    284464 |   15057    72207   211319 |   279165   283624     35 | 78.056 % |
730.32/730.36	c |    287190 |   15055    72207   211319 |   279165   286348     35 | 78.168 % |
730.72/730.74	c |    287291 |   15055    72207   211319 |   279165   286449     35 | 78.168 % |
731.22/731.26	c |    287401 |   15055    72207   211319 |   279165   286559     35 | 78.168 % |
731.72/731.78	c |    287522 |   15055    72207   211319 |   279165   286680     35 | 78.168 % |
732.32/732.41	c |    287656 |   15055    72207   211319 |   279165   286814     35 | 78.168 % |
732.92/732.92	c |    287802 |   15055    72207   211319 |   279165   286960     35 | 78.168 % |
733.62/733.64	c |    287963 |   15055    72207   211319 |   279165   287121     35 | 78.168 % |
734.42/734.42	c |    288141 |   15055    72207   211319 |   279165   287299     35 | 78.168 % |
735.22/735.31	c |    288336 |   15055    72207   211319 |   279165   287494     35 | 78.168 % |
736.22/736.26	c |    288550 |   15055    72207   211319 |   279165   287708     35 | 78.168 % |
737.32/737.38	c |    288785 |   15055    72207   211319 |   279165   287943     35 | 78.168 % |
738.82/738.87	c |    289043 |   15055    72207   211319 |   279165   288201     35 | 78.168 % |
740.12/740.17	c |    289324 |   15055    72207   211319 |   279165   288482     35 | 78.168 % |
741.92/741.92	c |    289633 |   15055    72207   211319 |   279165   288791     35 | 78.168 % |
743.41/743.45	c |    289972 |   15055    72207   211319 |   279165   289130     35 | 78.168 % |
745.01/745.03	c |    290344 |   15055    72207   211319 |   289161   289502     35 | 78.168 % |
747.11/747.13	c |    290754 |   15055    72207   211319 |   289161   289912     35 | 78.168 % |
749.01/749.02	c |    291205 |   15055    72207   211319 |   289161   290363     35 | 78.168 % |
751.21/751.23	c |    291698 |   15055    72207   211319 |   289161   290856     35 | 78.168 % |
753.61/753.66	c |    292240 |   15055    72207   211319 |   289161   291398     35 | 78.168 % |
756.41/756.43	c |    292836 |   14980    71817   210073 |   289161   291978     35 | 78.168 % |
759.31/759.34	c |    293493 |   14980    71817   210073 |   289161   292635     35 | 78.168 % |
762.41/762.44	c |    294213 |   14980    71817   210073 |   289161   293355     35 | 78.168 % |
765.81/765.84	c |    295005 |   14980    71817   210073 |   289161   294147     35 | 78.168 % |
769.41/769.47	c |    295877 |   14980    71817   210073 |   289161   295019     35 | 78.168 % |
773.51/773.51	c |    296837 |   14980    71817   210073 |   289161   295979     35 | 78.168 % |
778.31/778.35	c |    297890 |   14980    71817   210073 |   289161   297032     35 | 78.168 % |
783.91/783.93	c |    299048 |   14980    71817   210073 |   289161   298190     35 | 78.168 % |
788.91/788.98	c |    300321 |   14980    71817   210073 |   299144   299463     35 | 78.168 % |
795.11/795.11	c |    301721 |   14980    71817   210073 |   299144   300863     35 | 78.168 % |
801.71/801.70	c |    303262 |   14980    71817   210073 |   299144   302404     35 | 78.168 % |
808.91/808.91	c |    304956 |   14980    71817   210073 |   299144   304098     35 | 78.168 % |
818.31/818.38	c |    306821 |   14980    71817   210073 |   299144   305963     35 | 78.168 % |
827.82/827.85	c |    308870 |   14980    71817   210073 |   299144   308012     35 | 78.168 % |
838.62/838.65	c |    311123 |   14964    71722   209799 |   309131   310254     35 | 78.191 % |
850.32/850.39	c |    313603 |   14964    71722   209799 |   309131   312734     35 | 78.191 % |
863.13/863.17	c |    316328 |   14964    71722   209799 |   309131   315459     35 | 78.191 % |
877.33/877.41	c |    319325 |   14964    71722   209799 |   309131   318456     35 | 78.191 % |
878.03/878.06	c |    319425 |   14964    71722   209799 |   309131   318556     35 | 78.191 % |
878.63/878.67	c |    319536 |   14964    71722   209799 |   309131   318667     35 | 78.191 % |
879.23/879.22	c |    319657 |   14964    71722   209799 |   309131   318788     35 | 78.191 % |
879.83/879.84	c |    319793 |   14964    71722   209799 |   309131   318924     35 | 78.191 % |
880.53/880.52	c |    319939 |   14964    71722   209799 |   309131   319070     35 | 78.191 % |
881.13/881.19	c |    320099 |   14964    71722   209799 |   319131   319230     35 | 78.191 % |
881.93/881.91	c |    320275 |   14964    71722   209799 |   319131   319406     35 | 78.191 % |
882.93/883.01	c |    320469 |   14964    71722   209799 |   319131   319600     35 | 78.191 % |
884.13/884.16	c |    320681 |   14964    71722   209799 |   319131   319812     35 | 78.191 % |
885.53/885.56	c |    320914 |   14964    71722   209799 |   319131   320045     35 | 78.191 % |
887.03/887.04	c |    321172 |   14964    71722   209799 |   319131   320303     35 | 78.191 % |
888.43/888.42	c |    321454 |   14964    71722   209799 |   319131   320585     35 | 78.191 % |
889.93/889.94	c |    321763 |   14964    71722   209799 |   319131   320894     35 | 78.191 % |
891.73/891.78	c |    322103 |   14964    71722   209799 |   319131   321234     35 | 78.191 % |
893.73/893.72	c |    322476 |   14964    71722   209799 |   319131   321607     35 | 78.191 % |
895.53/895.60	c |    322887 |   14964    71722   209799 |   319131   322018     35 | 78.191 % |
897.63/897.68	c |    323337 |   14964    71722   209799 |   319131   322468     35 | 78.191 % |
899.53/899.61	c |    323830 |   14964    71722   209799 |   319131   322961     35 | 78.191 % |
902.04/902.03	c |    324373 |   14964    71722   209799 |   319131   323504     35 | 78.191 % |
904.83/904.83	c |    324970 |   14964    71722   209799 |   319131   324101     35 | 78.191 % |
907.63/907.67	c |    325626 |   14964    71722   209799 |   319131   324757     35 | 78.191 % |
911.83/911.90	c |    326346 |   14964    71722   209799 |   319131   325477     35 | 78.191 % |
916.13/916.20	c |    327141 |   14964    71722   209799 |   319131   326272     35 | 78.191 % |
921.13/921.19	c |    328012 |   14964    71722   209799 |   319131   327143     35 | 78.191 % |
926.43/926.44	c |    328970 |   14964    71722   209799 |   319131   328101     35 | 78.191 % |
931.53/931.52	c |    330023 |   14964    71722   209799 |   329132   329154     35 | 78.191 % |
936.43/936.49	c |    331182 |   14964    71722   209799 |   329132   330313     35 | 78.191 % |
942.23/942.30	c |    332457 |   14964    71722   209799 |   329132   331588     35 | 78.191 % |
947.33/947.34	c |    333859 |   14964    71722   209799 |   329132   332990     35 | 78.191 % |
953.53/953.54	c |    335400 |   14964    71722   209799 |   329132   334531     35 | 78.191 % |
961.44/961.47	c |    337094 |   14964    71722   209799 |   329132   336225     35 | 78.191 % |
968.24/968.25	c |    338958 |   14964    71722   209799 |   329132   338089     35 | 78.191 % |
976.04/976.12	c |    341007 |   14964    71722   209799 |   339132   340138     35 | 78.191 % |
985.54/985.58	c |    343261 |   14964    71722   209799 |   339132   342392     35 | 78.191 % |
994.84/994.89	c |    345741 |   14964    71722   209799 |   339132   344872     35 | 78.191 % |
1008.84/1008.83	c |    348466 |   14964    71722   209799 |   339132   347597     35 | 78.191 % |
1023.14/1023.15	c |    351463 |   14951    71635   209555 |   349132   350588     35 | 78.210 % |
1037.84/1037.84	c |    354760 |   14951    71635   209555 |   349132   353885     35 | 78.210 % |
1038.45/1038.45	c |    354861 |   14951    71635   209555 |   349132   353986     35 | 78.210 % |
1039.04/1039.09	c |    354971 |   14951    71635   209555 |   349132   354096     35 | 78.210 % |
1039.64/1039.64	c |    355094 |   14951    71635   209555 |   349132   354219     35 | 78.210 % |
1040.44/1040.47	c |    355227 |   14951    71635   209555 |   349132   354352     35 | 78.210 % |
1041.14/1041.15	c |    355373 |   14951    71635   209555 |   349132   354498     35 | 78.210 % |
1041.94/1041.93	c |    355535 |   14951    71635   209555 |   349132   354660     35 | 78.210 % |
1042.85/1042.91	c |    355711 |   14951    71635   209555 |   349132   354836     35 | 78.210 % |
1044.24/1044.23	c |    355905 |   14951    71635   209555 |   349132   355030     35 | 78.210 % |
1045.54/1045.57	c |    356118 |   14951    71635   209555 |   349132   355243     35 | 78.210 % |
1046.64/1046.70	c |    356351 |   14951    71635   209555 |   349132   355476     35 | 78.210 % |
1047.94/1047.95	c |    356607 |   14951    71635   209555 |   349132   355732     35 | 78.210 % |
1049.14/1049.12	c |    356888 |   14951    71635   209555 |   349132   356013     35 | 78.210 % |
1050.64/1050.69	c |    357197 |   14951    71635   209555 |   349132   356322     35 | 78.210 % |
1052.04/1052.02	c |    357536 |   14951    71635   209555 |   349132   356661     35 | 78.210 % |
1053.34/1053.34	c |    357909 |   14951    71635   209555 |   349132   357034     35 | 78.210 % |
1055.04/1055.01	c |    358318 |   14951    71635   209555 |   349132   357443     35 | 78.210 % |
1056.94/1056.98	c |    358769 |   14951    71635   209555 |   349132   357894     35 | 78.210 % |
1058.54/1058.60	c |    359263 |   14951    71635   209555 |   349132   358388     35 | 78.210 % |
1060.45/1060.46	c |    359806 |   14951    71635   209555 |   349132   358931     35 | 78.210 % |
1062.84/1062.87	c |    360405 |   14951    71635   209555 |   359127   359530     35 | 78.210 % |
1065.74/1065.73	c |    361061 |   14951    71635   209555 |   359127   360186     35 | 78.210 % |
1069.04/1069.02	c |    361783 |   14951    71635   209555 |   359127   360908     35 | 78.210 % |
1073.84/1073.81	c |    362576 |   14951    71635   209555 |   359127   361701     35 | 78.210 % |
1077.34/1077.37	c |    363447 |   14951    71635   209555 |   359127   362572     35 | 78.210 % |
1081.74/1081.81	c |    364406 |   14951    71635   209555 |   359127   363531     35 | 78.210 % |
1087.35/1087.36	c |    365459 |   14951    71635   209555 |   359127   364584     35 | 78.210 % |
1092.25/1092.24	c |    366617 |   14951    71635   209555 |   359127   365742     35 | 78.210 % |
1097.65/1097.71	c |    367890 |   14951    71635   209555 |   359127   367015     35 | 78.210 % |
1105.44/1105.48	c |    369290 |   14951    71635   209555 |   359127   368415     35 | 78.210 % |
1113.04/1113.04	c |    370830 |   14951    71635   209555 |   369126   369955     35 | 78.210 % |
1121.24/1121.24	c |    372525 |   14951    71635   209555 |   369126   371650     35 | 78.210 % |
1129.84/1129.88	c |    374388 |   14951    71635   209555 |   369126   373513     35 | 78.210 % |
1142.54/1142.57	c |    376438 |   14951    71635   209555 |   369126   375563     35 | 78.210 % |
1151.94/1151.92	c |    378692 |   14951    71635   209555 |   369126   377817     35 | 78.210 % |
1161.74/1161.78	c |    381173 |   14951    71635   209555 |   379126   380298     35 | 78.210 % |
1172.84/1172.85	c |    383898 |   14951    71635   209555 |   379126   383023     35 | 78.210 % |
1185.44/1185.45	c |    386895 |   14951    71635   209555 |   379126   386020     35 | 78.210 % |
1200.04/1200.01	HOME/SatELiteGTI: line 36: 22819 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-1820362-1242433316/watcher-1820362-1242433316 -o /tmp/evaluation-result-1820362-1242433316/solver-1820362-1242433316 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820362-1242433316.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: 0.92 0.98 0.99 3/91 22810
/proc/meminfo: memFree=663768/2074464 swapFree=1952056/1959888
[pid=22810] ppid=22808 vsize=2412 CPUtime=0
/proc/22810/stat : 22810 (SatELiteGTI) R 22808 22810 15108 0 -1 4194304 353 648 0 0 0 0 0 0 25 0 1 0 1007829871 2469888 276 4294967295 134512640 135169312 3217289104 3217287580 3085907828 0 65538 4 65536 0 0 0 17 1 0 0 0
/proc/22810/statm: 603 276 235 161 0 42 0
[pid=22814] ppid=22810 vsize=2412 CPUtime=0
/proc/22814/stat : 22814 (SatELiteGTI) R 22810 22810 15108 0 -1 4194368 65 0 0 0 0 0 0 0 25 0 1 0 1007829871 2469888 94 4294967295 134512640 135169312 3217289104 3217287732 3085908458 0 0 0 0 0 0 0 17 3 0 0 0
/proc/22814/statm: 0 0 0 0 0 0 0

[startup+0.067648 s]
/proc/loadavg: 0.92 0.98 0.99 3/91 22810
/proc/meminfo: memFree=663768/2074464 swapFree=1952056/1959888
[pid=22810] ppid=22808 vsize=2412 CPUtime=0
/proc/22810/stat : 22810 (SatELiteGTI) S 22808 22810 15108 0 -1 4194304 366 648 0 0 0 0 0 0 25 0 1 0 1007829871 2469888 276 4294967295 134512640 135169312 3217289104 3217287640 3085905646 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22810/statm: 603 276 235 161 0 42 0
[pid=22814] ppid=22810 vsize=12732 CPUtime=0.07
/proc/22814/stat : 22814 (SatELite_releas) R 22810 22810 15108 0 -1 4202496 2698 0 0 0 7 0 0 0 25 0 1 0 1007829871 13037568 2634 4294967295 134512640 135223648 3213292464 3213291048 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22814/statm: 3183 2634 46 174 0 3008 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15144

[startup+0.117642 s]
/proc/loadavg: 0.92 0.98 0.99 3/91 22810
/proc/meminfo: memFree=663768/2074464 swapFree=1952056/1959888
[pid=22810] ppid=22808 vsize=2412 CPUtime=0
/proc/22810/stat : 22810 (SatELiteGTI) S 22808 22810 15108 0 -1 4194304 366 648 0 0 0 0 0 0 25 0 1 0 1007829871 2469888 276 4294967295 134512640 135169312 3217289104 3217287640 3085905646 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22810/statm: 603 276 235 161 0 42 0
[pid=22814] ppid=22810 vsize=22892 CPUtime=0.11
/proc/22814/stat : 22814 (SatELite_releas) R 22810 22810 15108 0 -1 4202496 5226 0 0 0 9 2 0 0 25 0 1 0 1007829871 23441408 5162 4294967295 134512640 135223648 3213292464 3213291048 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22814/statm: 5723 5162 46 174 0 5548 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 25304

[startup+0.317626 s]
/proc/loadavg: 0.92 0.98 0.99 3/91 22810
/proc/meminfo: memFree=663768/2074464 swapFree=1952056/1959888
[pid=22810] ppid=22808 vsize=2412 CPUtime=0
/proc/22810/stat : 22810 (SatELiteGTI) S 22808 22810 15108 0 -1 4194304 366 648 0 0 0 0 0 0 25 0 1 0 1007829871 2469888 276 4294967295 134512640 135169312 3217289104 3217287640 3085905646 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22810/statm: 603 276 235 161 0 42 0
[pid=22814] ppid=22810 vsize=51360 CPUtime=0.3
/proc/22814/stat : 22814 (SatELite_releas) R 22810 22810 15108 0 -1 4202496 10866 0 0 0 26 4 0 0 25 0 1 0 1007829871 52592640 10802 4294967295 134512640 135223648 3213292464 3213291032 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22814/statm: 12840 10803 46 174 0 12665 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 53772

[startup+0.717596 s]
/proc/loadavg: 0.92 0.98 0.99 3/91 22810
/proc/meminfo: memFree=663768/2074464 swapFree=1952056/1959888
[pid=22810] ppid=22808 vsize=2412 CPUtime=0
/proc/22810/stat : 22810 (SatELiteGTI) S 22808 22810 15108 0 -1 4194304 366 648 0 0 0 0 0 0 25 0 1 0 1007829871 2469888 276 4294967295 134512640 135169312 3217289104 3217287640 3085905646 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22810/statm: 603 276 235 161 0 42 0
[pid=22814] ppid=22810 vsize=79732 CPUtime=0.7
/proc/22814/stat : 22814 (SatELite_releas) R 22810 22810 15108 0 -1 4202496 18467 0 0 0 60 10 0 0 25 0 1 0 1007829871 81645568 18403 4294967295 134512640 135223648 3213292464 3213290964 134718983 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22814/statm: 19933 18403 47 174 0 19758 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 82144

[startup+1.51753 s]
/proc/loadavg: 0.92 0.98 0.99 3/93 22816
/proc/meminfo: memFree=573992/2074464 swapFree=1952056/1959888
[pid=22810] ppid=22808 vsize=2412 CPUtime=0
/proc/22810/stat : 22810 (SatELiteGTI) S 22808 22810 15108 0 -1 4194304 366 648 0 0 0 0 0 0 25 0 1 0 1007829871 2469888 276 4294967295 134512640 135169312 3217289104 3217287640 3085905646 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22810/statm: 603 276 235 161 0 42 0
[pid=22814] ppid=22810 vsize=105820 CPUtime=1.5
/proc/22814/stat : 22814 (SatELite_releas) R 22810 22810 15108 0 -1 4202496 26585 0 0 0 138 12 0 0 25 0 1 0 1007829871 108359680 24384 4294967295 134512640 135223648 3213292464 3213290480 134587016 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22814/statm: 26455 24384 73 174 0 26280 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 108232

[startup+3.11741 s]
/proc/loadavg: 0.92 0.98 0.99 3/93 22818
/proc/meminfo: memFree=560724/2074464 swapFree=1952056/1959888
[pid=22810] ppid=22808 vsize=2412 CPUtime=0
/proc/22810/stat : 22810 (SatELiteGTI) S 22808 22810 15108 0 -1 4194304 366 648 0 0 0 0 0 0 25 0 1 0 1007829871 2469888 276 4294967295 134512640 135169312 3217289104 3217287640 3085905646 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22810/statm: 603 276 235 161 0 42 0
[pid=22814] ppid=22810 vsize=110524 CPUtime=3.1
/proc/22814/stat : 22814 (SatELite_releas) R 22810 22810 15108 0 -1 4202496 27927 0 0 0 296 14 0 0 25 0 1 0 1007829871 113176576 25567 4294967295 134512640 135223648 3213292464 3213290480 134587032 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22814/statm: 27631 25567 73 174 0 27456 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 112936

[startup+6.31716 s]
/proc/loadavg: 0.93 0.98 0.99 3/93 22818
/proc/meminfo: memFree=547784/2074464 swapFree=1952056/1959888
[pid=22810] ppid=22808 vsize=2412 CPUtime=0
/proc/22810/stat : 22810 (SatELiteGTI) S 22808 22810 15108 0 -1 4194304 366 648 0 0 0 0 0 0 25 0 1 0 1007829871 2469888 276 4294967295 134512640 135169312 3217289104 3217287640 3085905646 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22810/statm: 603 276 235 161 0 42 0
[pid=22814] ppid=22810 vsize=127096 CPUtime=6.3
/proc/22814/stat : 22814 (SatELite_releas) R 22810 22810 15108 0 -1 4202496 37734 0 0 0 610 20 0 0 25 0 1 0 1007829871 130146304 27653 4294967295 134512640 135223648 3213292464 3213290816 134604282 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22814/statm: 31774 27655 73 174 0 31599 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 129508

[startup+12.7167 s]
/proc/loadavg: 0.93 0.98 0.99 3/93 22819
/proc/meminfo: memFree=626620/2074464 swapFree=1952056/1959888
[pid=22810] ppid=22808 vsize=2416 CPUtime=6.83
/proc/22810/stat : 22810 (SatELiteGTI) S 22808 22810 15108 0 -1 4194304 386 41503 0 0 0 0 661 22 18 0 1 0 1007829871 2473984 278 4294967295 134512640 135169312 3217289104 3217285320 3085905646 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22810/statm: 604 278 235 161 0 43 0
[pid=22819] ppid=22810 vsize=24988 CPUtime=5.86
/proc/22819/stat : 22819 (minisat_static) R 22810 22810 15108 0 -1 4202496 5968 0 0 0 581 5 0 0 25 0 1 0 1007830556 25587712 5877 4294967295 134512640 135215339 3213909152 3213907440 134528905 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 6247 5877 73 172 0 6074 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27404

[startup+25.5157 s]
/proc/loadavg: 0.95 0.98 0.99 3/93 22819
/proc/meminfo: memFree=626840/2074464 swapFree=1952056/1959888
[pid=22810] ppid=22808 vsize=2416 CPUtime=6.83
/proc/22810/stat : 22810 (SatELiteGTI) S 22808 22810 15108 0 -1 4194304 386 41503 0 0 0 0 661 22 18 0 1 0 1007829871 2473984 278 4294967295 134512640 135169312 3217289104 3217285320 3085905646 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22810/statm: 604 278 235 161 0 43 0
[pid=22819] ppid=22810 vsize=24988 CPUtime=18.66
/proc/22819/stat : 22819 (minisat_static) R 22810 22810 15108 0 -1 4202496 5978 0 0 0 1861 5 0 0 25 0 1 0 1007830556 25587712 5887 4294967295 134512640 135215339 3213909152 3213907440 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 6247 5887 73 172 0 6074 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27404

[startup+51.1037 s]
/proc/loadavg: 0.96 0.98 0.99 3/93 22824
/proc/meminfo: memFree=626552/2074464 swapFree=1952056/1959888
[pid=22810] ppid=22808 vsize=2416 CPUtime=6.83
/proc/22810/stat : 22810 (SatELiteGTI) S 22808 22810 15108 0 -1 4194304 386 41503 0 0 0 0 661 22 18 0 1 0 1007829871 2473984 278 4294967295 134512640 135169312 3217289104 3217285320 3085905646 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22810/statm: 604 278 235 161 0 43 0
[pid=22819] ppid=22810 vsize=25296 CPUtime=44.25
/proc/22819/stat : 22819 (minisat_static) R 22810 22810 15108 0 -1 4202496 6044 0 0 0 4419 6 0 0 25 0 1 0 1007830556 25903104 5953 4294967295 134512640 135215339 3213909152 3213907440 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 6324 5953 73 172 0 6151 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 27712

[startup+102.31 s]
/proc/loadavg: 0.98 0.98 0.99 3/93 23012
/proc/meminfo: memFree=621508/2074464 swapFree=1952056/1959888
[pid=22810] ppid=22808 vsize=2416 CPUtime=6.83
/proc/22810/stat : 22810 (SatELiteGTI) S 22808 22810 15108 0 -1 4194304 386 41503 0 0 0 0 661 22 18 0 1 0 1007829871 2473984 278 4294967295 134512640 135169312 3217289104 3217285320 3085905646 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22810/statm: 604 278 235 161 0 43 0
[pid=22819] ppid=22810 vsize=30268 CPUtime=95.46
/proc/22819/stat : 22819 (minisat_static) R 22810 22810 15108 0 -1 4202496 7256 0 0 0 9535 11 0 0 25 0 1 0 1007830556 30994432 7165 4294967295 134512640 135215339 3213909152 3213907440 134528872 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 7567 7165 73 172 0 7394 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 32684

[startup+162.315 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 23201
/proc/meminfo: memFree=615580/2074464 swapFree=1952056/1959888
[pid=22810] ppid=22808 vsize=2416 CPUtime=6.83
/proc/22810/stat : 22810 (SatELiteGTI) S 22808 22810 15108 0 -1 4194304 386 41503 0 0 0 0 661 22 18 0 1 0 1007829871 2473984 278 4294967295 134512640 135169312 3217289104 3217285320 3085905646 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22810/statm: 604 278 235 161 0 43 0
[pid=22819] ppid=22810 vsize=36032 CPUtime=155.46
/proc/22819/stat : 22819 (minisat_static) R 22810 22810 15108 0 -1 4202496 8679 0 0 0 15533 13 0 0 25 0 1 0 1007830556 36896768 8588 4294967295 134512640 135215339 3213909152 3213907440 134528814 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 9008 8588 73 172 0 8835 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 38448

[startup+222.32 s]
/proc/loadavg: 1.07 1.00 1.00 2/93 23387
/proc/meminfo: memFree=610620/2074464 swapFree=1952056/1959888
[pid=22810] ppid=22808 vsize=2416 CPUtime=6.83
/proc/22810/stat : 22810 (SatELiteGTI) S 22808 22810 15108 0 -1 4194304 386 41503 0 0 0 0 661 22 18 0 1 0 1007829871 2473984 278 4294967295 134512640 135169312 3217289104 3217285320 3085905646 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22810/statm: 604 278 235 161 0 43 0
[pid=22819] ppid=22810 vsize=41048 CPUtime=215.47
/proc/22819/stat : 22819 (minisat_static) R 22810 22810 15108 0 -1 4202496 9947 0 0 0 21532 15 0 0 25 0 1 0 1007830556 42033152 9856 4294967295 134512640 135215339 3213909152 3213907440 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 10262 9856 73 172 0 10089 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 43464

[startup+282.316 s]
/proc/loadavg: 1.13 1.03 1.01 2/93 23576
/proc/meminfo: memFree=606280/2074464 swapFree=1952056/1959888
[pid=22810] ppid=22808 vsize=2416 CPUtime=6.83
/proc/22810/stat : 22810 (SatELiteGTI) S 22808 22810 15108 0 -1 4194304 386 41503 0 0 0 0 661 22 18 0 1 0 1007829871 2473984 278 4294967295 134512640 135169312 3217289104 3217285320 3085905646 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22810/statm: 604 278 235 161 0 43 0
[pid=22819] ppid=22810 vsize=45696 CPUtime=275.47
/proc/22819/stat : 22819 (minisat_static) R 22810 22810 15108 0 -1 4202496 11044 0 0 0 27532 15 0 0 25 0 1 0 1007830556 46792704 10953 4294967295 134512640 135215339 3213909152 3213907440 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 11424 10953 73 172 0 11251 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 48112

[startup+342.321 s]
/proc/loadavg: 1.05 1.02 1.00 3/93 23765
/proc/meminfo: memFree=602560/2074464 swapFree=1952056/1959888
[pid=22810] ppid=22808 vsize=2416 CPUtime=6.83
/proc/22810/stat : 22810 (SatELiteGTI) S 22808 22810 15108 0 -1 4194304 386 41503 0 0 0 0 661 22 18 0 1 0 1007829871 2473984 278 4294967295 134512640 135169312 3217289104 3217285320 3085905646 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22810/statm: 604 278 235 161 0 43 0
[pid=22819] ppid=22810 vsize=49588 CPUtime=335.48
/proc/22819/stat : 22819 (minisat_static) R 22810 22810 15108 0 -1 4202496 12010 0 0 0 33528 20 0 0 25 0 1 0 1007830556 50778112 11919 4294967295 134512640 135215339 3213909152 3213907440 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 12397 11919 73 172 0 12224 0
Current children cumulated CPU time (s) 342.31

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

[pid=22819] ppid=22810 vsize=57172 CPUtime=455.47
/proc/22819/stat : 22819 (minisat_static) R 22810 22810 15108 0 -1 4202496 13837 0 0 0 45525 22 0 0 25 0 1 0 1007830556 58544128 13746 4294967295 134512640 135215339 3213909152 3213907440 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 14293 13746 73 172 0 14120 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 59588

[startup+522.317 s]
/proc/loadavg: 1.03 1.02 1.00 3/93 24332
/proc/meminfo: memFree=592020/2074464 swapFree=1952056/1959888
[pid=22810] ppid=22808 vsize=2416 CPUtime=6.83
/proc/22810/stat : 22810 (SatELiteGTI) S 22808 22810 15108 0 -1 4194304 386 41503 0 0 0 0 661 22 18 0 1 0 1007829871 2473984 278 4294967295 134512640 135169312 3217289104 3217285320 3085905646 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22810/statm: 604 278 235 161 0 43 0
[pid=22819] ppid=22810 vsize=60780 CPUtime=515.47
/proc/22819/stat : 22819 (minisat_static) R 22810 22810 15108 0 -1 4202496 14720 0 0 0 51517 30 0 0 25 0 1 0 1007830556 62238720 14629 4294967295 134512640 135215339 3213909152 3213907440 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 15195 14629 73 172 0 15022 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 63196

[startup+582.322 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 24521
/proc/meminfo: memFree=589028/2074464 swapFree=1952056/1959888
[pid=22810] ppid=22808 vsize=2416 CPUtime=6.83
/proc/22810/stat : 22810 (SatELiteGTI) S 22808 22810 15108 0 -1 4194304 386 41503 0 0 0 0 661 22 18 0 1 0 1007829871 2473984 278 4294967295 134512640 135169312 3217289104 3217285320 3085905646 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22810/statm: 604 278 235 161 0 43 0
[pid=22819] ppid=22810 vsize=63692 CPUtime=575.48
/proc/22819/stat : 22819 (minisat_static) R 22810 22810 15108 0 -1 4202496 15451 0 0 0 57516 32 0 0 25 0 1 0 1007830556 65220608 15360 4294967295 134512640 135215339 3213909152 3213907440 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 15923 15360 73 172 0 15750 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 66108

[startup+642.318 s]
/proc/loadavg: 1.24 1.06 1.02 2/93 24708
/proc/meminfo: memFree=586316/2074464 swapFree=1952056/1959888
[pid=22810] ppid=22808 vsize=2416 CPUtime=6.83
/proc/22810/stat : 22810 (SatELiteGTI) S 22808 22810 15108 0 -1 4194304 386 41503 0 0 0 0 661 22 18 0 1 0 1007829871 2473984 278 4294967295 134512640 135169312 3217289104 3217285320 3085905646 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22810/statm: 604 278 235 161 0 43 0
[pid=22819] ppid=22810 vsize=66372 CPUtime=635.48
/proc/22819/stat : 22819 (minisat_static) R 22810 22810 15108 0 -1 4202496 16175 0 0 0 63510 38 0 0 25 0 1 0 1007830556 67964928 16084 4294967295 134512640 135215339 3213909152 3213907440 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 16593 16084 73 172 0 16420 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 68788

[startup+702.323 s]
/proc/loadavg: 1.09 1.05 1.01 2/93 24896
/proc/meminfo: memFree=583960/2074464 swapFree=1952056/1959888
[pid=22810] ppid=22808 vsize=2416 CPUtime=6.83
/proc/22810/stat : 22810 (SatELiteGTI) S 22808 22810 15108 0 -1 4194304 386 41503 0 0 0 0 661 22 18 0 1 0 1007829871 2473984 278 4294967295 134512640 135169312 3217289104 3217285320 3085905646 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22810/statm: 604 278 235 161 0 43 0
[pid=22819] ppid=22810 vsize=68696 CPUtime=695.49
/proc/22819/stat : 22819 (minisat_static) R 22810 22810 15108 0 -1 4202496 16756 0 0 0 69508 41 0 0 25 0 1 0 1007830556 70344704 16665 4294967295 134512640 135215339 3213909152 3213907440 134528872 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 17174 16665 73 172 0 17001 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 71112

[startup+762.308 s]
/proc/loadavg: 1.03 1.04 1.00 3/93 25086
/proc/meminfo: memFree=581232/2074464 swapFree=1952056/1959888
[pid=22810] ppid=22808 vsize=2416 CPUtime=6.83
/proc/22810/stat : 22810 (SatELiteGTI) S 22808 22810 15108 0 -1 4194304 386 41503 0 0 0 0 661 22 18 0 1 0 1007829871 2473984 278 4294967295 134512640 135169312 3217289104 3217285320 3085905646 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22810/statm: 604 278 235 161 0 43 0
[pid=22819] ppid=22810 vsize=71400 CPUtime=755.48
/proc/22819/stat : 22819 (minisat_static) R 22810 22810 15108 0 -1 4202496 17435 0 0 0 75507 41 0 0 25 0 1 0 1007830556 73113600 17344 4294967295 134512640 135215339 3213909152 3213907440 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 17850 17344 73 172 0 17677 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 73816

[startup+822.303 s]
/proc/loadavg: 1.01 1.03 1.00 2/93 25276
/proc/meminfo: memFree=579248/2074464 swapFree=1952056/1959888
[pid=22810] ppid=22808 vsize=2416 CPUtime=6.83
/proc/22810/stat : 22810 (SatELiteGTI) S 22808 22810 15108 0 -1 4194304 386 41503 0 0 0 0 661 22 18 0 1 0 1007829871 2473984 278 4294967295 134512640 135169312 3217289104 3217285320 3085905646 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22810/statm: 604 278 235 161 0 43 0
[pid=22819] ppid=22810 vsize=73728 CPUtime=815.48
/proc/22819/stat : 22819 (minisat_static) R 22810 22810 15108 0 -1 4202496 18004 0 0 0 81504 44 0 0 25 0 1 0 1007830556 75497472 17913 4294967295 134512640 135215339 3213909152 3213907440 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 18432 17913 73 172 0 18259 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 76144

[startup+882.319 s]
/proc/loadavg: 1.00 1.02 1.00 3/93 25465
/proc/meminfo: memFree=576752/2074464 swapFree=1952056/1959888
[pid=22810] ppid=22808 vsize=2416 CPUtime=6.83
/proc/22810/stat : 22810 (SatELiteGTI) S 22808 22810 15108 0 -1 4194304 386 41503 0 0 0 0 661 22 18 0 1 0 1007829871 2473984 278 4294967295 134512640 135169312 3217289104 3217285320 3085905646 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22810/statm: 604 278 235 161 0 43 0
[pid=22819] ppid=22810 vsize=76780 CPUtime=875.5
/proc/22819/stat : 22819 (minisat_static) R 22810 22810 15108 0 -1 4202496 18593 0 0 0 87506 44 0 0 25 0 1 0 1007830556 78622720 18502 4294967295 134512640 135215339 3213909152 3213907440 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 19195 18502 73 172 0 19022 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 79196

[startup+942.314 s]
/proc/loadavg: 1.00 1.02 1.00 3/93 25652
/proc/meminfo: memFree=574288/2074464 swapFree=1952056/1959888
[pid=22810] ppid=22808 vsize=2416 CPUtime=6.83
/proc/22810/stat : 22810 (SatELiteGTI) S 22808 22810 15108 0 -1 4194304 386 41503 0 0 0 0 661 22 18 0 1 0 1007829871 2473984 278 4294967295 134512640 135169312 3217289104 3217285320 3085905646 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22810/statm: 604 278 235 161 0 43 0
[pid=22819] ppid=22810 vsize=79136 CPUtime=935.5
/proc/22819/stat : 22819 (minisat_static) R 22810 22810 15108 0 -1 4202496 19181 0 0 0 93506 44 0 0 25 0 1 0 1007830556 81035264 19090 4294967295 134512640 135215339 3213909152 3213907440 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 19784 19090 73 172 0 19611 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 81552

[startup+1002.32 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 25840
/proc/meminfo: memFree=571808/2074464 swapFree=1952056/1959888
[pid=22810] ppid=22808 vsize=2416 CPUtime=6.83
/proc/22810/stat : 22810 (SatELiteGTI) S 22808 22810 15108 0 -1 4194304 386 41503 0 0 0 0 661 22 18 0 1 0 1007829871 2473984 278 4294967295 134512640 135169312 3217289104 3217285320 3085905646 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22810/statm: 604 278 235 161 0 43 0
[pid=22819] ppid=22810 vsize=81476 CPUtime=995.51
/proc/22819/stat : 22819 (minisat_static) R 22810 22810 15108 0 -1 4202496 19762 0 0 0 99504 47 0 0 25 0 1 0 1007830556 83431424 19671 4294967295 134512640 135215339 3213909152 3213907440 134529148 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 20369 19671 73 172 0 20196 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 83892

[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 26029
/proc/meminfo: memFree=569452/2074464 swapFree=1952056/1959888
[pid=22810] ppid=22808 vsize=2416 CPUtime=6.83
/proc/22810/stat : 22810 (SatELiteGTI) S 22808 22810 15108 0 -1 4194304 386 41503 0 0 0 0 661 22 18 0 1 0 1007829871 2473984 278 4294967295 134512640 135169312 3217289104 3217285320 3085905646 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22810/statm: 604 278 235 161 0 43 0
[pid=22819] ppid=22810 vsize=83792 CPUtime=1055.51
/proc/22819/stat : 22819 (minisat_static) R 22810 22810 15108 0 -1 4202496 20353 0 0 0 105502 49 0 0 25 0 1 0 1007830556 85803008 20262 4294967295 134512640 135215339 3213909152 3213907440 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 20948 20262 73 172 0 20775 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 86208

[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 26215
/proc/meminfo: memFree=567220/2074464 swapFree=1952056/1959888
[pid=22810] ppid=22808 vsize=2416 CPUtime=6.83
/proc/22810/stat : 22810 (SatELiteGTI) S 22808 22810 15108 0 -1 4194304 386 41503 0 0 0 0 661 22 18 0 1 0 1007829871 2473984 278 4294967295 134512640 135169312 3217289104 3217285320 3085905646 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22810/statm: 604 278 235 161 0 43 0
[pid=22819] ppid=22810 vsize=86236 CPUtime=1115.51
/proc/22819/stat : 22819 (minisat_static) R 22810 22810 15108 0 -1 4202496 20925 0 0 0 111500 51 0 0 25 0 1 0 1007830556 88305664 20834 4294967295 134512640 135215339 3213909152 3213907440 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 21559 20834 73 172 0 21386 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 88652

[startup+1182.31 s]
/proc/loadavg: 1.07 1.03 1.01 2/93 26408
/proc/meminfo: memFree=565080/2074464 swapFree=1952056/1959888
[pid=22810] ppid=22808 vsize=2416 CPUtime=6.83
/proc/22810/stat : 22810 (SatELiteGTI) S 22808 22810 15108 0 -1 4194304 386 41503 0 0 0 0 661 22 18 0 1 0 1007829871 2473984 278 4294967295 134512640 135169312 3217289104 3217285320 3085905646 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22810/statm: 604 278 235 161 0 43 0
[pid=22819] ppid=22810 vsize=88584 CPUtime=1175.51
/proc/22819/stat : 22819 (minisat_static) R 22810 22810 15108 0 -1 4202496 21505 0 0 0 117499 52 0 0 25 0 1 0 1007830556 90710016 21414 4294967295 134512640 135215339 3213909152 3213907440 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 22146 21414 73 172 0 21973 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 91000



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200 s]
/proc/loadavg: 1.05 1.02 1.00 3/93 26591
/proc/meminfo: memFree=563840/2074464 swapFree=1952056/1959888
[pid=22810] ppid=22808 vsize=2416 CPUtime=6.83
/proc/22810/stat : 22810 (SatELiteGTI) S 22808 22810 15108 0 -1 4194304 386 41503 0 0 0 0 661 22 18 0 1 0 1007829871 2473984 278 4294967295 134512640 135169312 3217289104 3217285320 3085905646 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22810/statm: 604 278 235 161 0 43 0
[pid=22819] ppid=22810 vsize=89532 CPUtime=1193.21
/proc/22819/stat : 22819 (minisat_static) R 22810 22810 15108 0 -1 4202496 21713 0 0 0 119269 52 0 0 25 0 1 0 1007830556 91680768 21622 4294967295 134512640 135215339 3213909152 3213907440 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 22383 21622 73 172 0 22210 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 91948

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.02
CPU time (s): 1200.05
CPU user time (s): 1199.3
CPU system time (s): 0.75
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 133648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.3
system time used= 0.75
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63692
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= 18
involuntary context switches= 2724

runsolver used 0.04 second user time and 0.01 second system time

The end

Begin job on tipi24 at 2009-05-16 02:21:56
IDJOB=1820362
IDBENCH=20381
IDSOLVER=657
FILE ID=tipi24/1820362-1242433316
PBS_JOBID=
Free space on /tmp= 10936 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/dated-5-19-u.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1820362-1242433316/watcher-1820362-1242433316 -o /tmp/evaluation-result-1820362-1242433316/solver-1820362-1242433316 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1820362-1242433316.cnf

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

MD5SUM BENCH= 3be331331884289c55e55acdeed55dc7
RANDOM SEED= 1198217765

Linux tipi24 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.461
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3618.40

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.461
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.75

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:        663768 kB
Buffers:         34588 kB
Cached:        1273888 kB
SwapCached:       3968 kB
Active:         539276 kB
Inactive:       778844 kB
HighTotal:     1178688 kB
HighFree:        86208 kB
LowTotal:       895776 kB
LowFree:        577560 kB
SwapTotal:     1959888 kB
SwapFree:      1952056 kB
Dirty:           19644 kB
Writeback:           0 kB
AnonPages:        8896 kB
Mapped:           3356 kB
Slab:            82856 kB
PageTables:        636 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    87800 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 10931 MiB
End job on tipi24 at 2009-05-16 02:42:00