Trace number 1821616

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.01 1199.96

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UTI-20-5p1.cnf
MD5SUM10eca282b9263f77903cd90a479b46ee
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables225926
Number of clauses1207249
Sum of the clauses size2914329
Maximum clause length10
Minimum clause length1
Number of clauses of size 111403
Number of clauses of size 2854772
Number of clauses of size 3284354
Number of clauses of size 46300
Number of clauses of size 525200
Number of clauses of size over 525220

Solver Data 

0.00/0.00	c Parsing...
1.22/1.25	c ==============================================================================
1.22/1.25	c |           |     ORIGINAL     |              LEARNT              |          |
1.22/1.25	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.22/1.25	c ==============================================================================
1.22/1.25	c |         0 | 1195096  2901426 |  358528       0        0     nan |  0.000 % |
7.31/7.37	c |         0 |  838748  2352556 |      --       0       --      -- |     --   | -102684/26671
7.31/7.38	c ==============================================================================
7.31/7.38	c Result  :   #vars: 121873   #clauses: 838748   #literals: 2352556
7.31/7.38	c CPU time:   7.17 s
7.31/7.38	c ==============================================================================
8.20/8.26	c This is MiniSat 2.0 beta
8.20/8.26	c WARNING: for repeatability, setting FPU to use double precision
8.20/8.26	c ============================[ Problem Statistics ]=============================
8.20/8.26	c |                                                                             |
8.20/8.26	c |  Number of variables:  121873                                               |
8.20/8.26	c |  Number of clauses:    838748                                               |
8.80/8.87	c |  Parsing time:         0.55         s                                       |
8.80/8.91	c ============================[ Search Statistics ]==============================
8.80/8.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.80/8.91	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
8.80/8.91	c ===============================================================================
8.80/8.91	c |         0 |  121873   838748  2352556 |   279582        0    nan |  0.000 % |
9.10/9.11	c |       104 |  121870   838748  2352556 |   279582      102     81 |  0.252 % |
9.20/9.28	c |       206 |  121870   838748  2352556 |   279582      204     80 |  0.252 % |
9.50/9.53	c |       306 |  121868   838748  2352556 |   279582      304     71 |  0.252 % |
10.01/10.07	c |       419 |  121637   838748  2352556 |   279582      413     58 |  5.218 % |
10.10/10.17	c |       521 |  121637   838748  2352556 |   279582      515     52 |  5.218 % |
10.20/10.23	c |       632 |  121637   838748  2352556 |   279582      626     51 |  5.218 % |
10.30/10.30	c |       755 |  121637   838748  2352556 |   279582      749     49 |  5.218 % |
10.30/10.40	c |       855 |  121636   838748  2352556 |   279582      848     48 |  5.224 % |
10.40/10.49	c |       965 |  121636   838748  2352556 |   279582      958     47 |  5.224 % |
10.60/10.63	c |      1089 |  121636   838748  2352556 |   279582     1082     55 |  5.224 % |
10.80/10.80	c |      1222 |  115506   788648  2221139 |   279582     1211     58 |  5.224 % |
10.90/10.92	c |      1322 |  115500   788648  2221139 |   279582     1310     63 |  5.229 % |
11.20/11.21	c |      1434 |  115371   788648  2221139 |   279582     1418     60 |  5.575 % |
11.30/11.31	c |      1555 |  115371   788648  2221139 |   279582     1539     63 |  5.575 % |
11.50/11.57	c |      1689 |  115322   788648  2221139 |   279582     1673     64 |  5.575 % |
11.70/11.75	c |      1835 |  115259   788648  2221139 |   279582     1816     65 |  7.288 % |
11.80/11.87	c |      1936 |  115259   788648  2221139 |   279582     1917     63 |  7.288 % |
12.00/12.02	c |      2046 |  115259   788648  2221139 |   279582     2027     62 |  7.288 % |
12.10/12.13	c |      2167 |  115259   788648  2221139 |   279582     2148     60 |  7.288 % |
12.21/12.26	c |      2300 |  115259   788648  2221139 |   279582     2281     61 |  7.288 % |
12.50/12.51	c |      2446 |  115258   788648  2221139 |   279582     2426     60 |  7.506 % |
12.80/12.82	c |      2607 |  112725   769033  2171143 |   279582     2566     59 |  7.506 % |
13.00/13.02	c |      2707 |  112721   769033  2171143 |   279582     2665     59 |  7.516 % |
13.20/13.25	c |      2817 |  112703   769033  2171143 |   279582     2774     59 |  7.539 % |
13.31/13.40	c |      2938 |  112703   769033  2171143 |   279582     2895     61 |  7.539 % |
13.50/13.60	c |      3071 |  112701   769033  2171143 |   279582     3027     60 |  7.550 % |
13.71/13.72	c |      3220 |  112700   769033  2171143 |   279582     3175     60 |  7.554 % |
13.91/13.97	c |      3380 |  112700   769033  2171143 |   279582     3335     59 |  7.554 % |
14.21/14.27	c |      3556 |  112605   769033  2171143 |   279582     3509     58 |  8.783 % |
14.41/14.42	c |      3656 |  112605   769033  2171143 |   279582     3609     58 |  8.783 % |
14.51/14.54	c |      3768 |  112605   769033  2171143 |   279582     3721     58 |  8.783 % |
14.71/14.80	c |      3889 |  111092   756638  2139183 |   279582     3830     58 |  9.430 % |
14.91/14.99	c |      4022 |  111078   756638  2139183 |   279582     3962     59 |  9.512 % |
15.11/15.13	c |      4170 |  111055   756638  2139183 |   279582     4108     59 |  9.707 % |
15.41/15.49	c |      4333 |  111000   756638  2139183 |   279582     4271     59 |  9.707 % |
15.61/15.63	c |      4511 |  111000   756638  2139183 |   279582     4449     58 |  9.707 % |
15.91/15.92	c |      4704 |  111000   756638  2139183 |   279582     4642     61 |  9.707 % |
16.41/16.50	c |      4804 |  110614   756638  2139183 |   279582     4736     60 | 11.449 % |
16.71/16.80	c |      4914 |  106383   725019  2059235 |   279582     4823     59 | 12.781 % |
16.91/17.01	c |      5035 |  106383   725019  2059235 |   279582     4944     59 | 12.781 % |
17.31/17.33	c |      5168 |  106185   725019  2059235 |   279582     5074     58 | 13.638 % |
17.41/17.48	c |      5314 |  106087   725019  2059235 |   279582     5220     58 | 13.638 % |
17.81/17.83	c |      5474 |  105970   725019  2059235 |   279582     5378     57 | 14.264 % |
18.11/18.12	c |      5657 |  105941   725019  2059235 |   279582     5554     56 | 15.091 % |
18.41/18.43	c |      5850 |  105920   725019  2059235 |   279582     5744     56 | 15.131 % |
18.81/18.88	c |      6062 |  105920   725019  2059235 |   279582     5956     56 | 15.131 % |
19.01/19.06	c |      6162 |  103433   705891  2011815 |   279582     6028     56 | 15.131 % |
19.21/19.23	c |      6272 |  103433   705891  2011815 |   279582     6138     56 | 15.131 % |
19.41/19.44	c |      6393 |  103433   705891  2011815 |   279582     6259     56 | 15.131 % |
19.61/19.62	c |      6532 |  103433   705891  2011815 |   279582     6398     57 | 15.131 % |
19.81/19.87	c |      6678 |  103418   705891  2011815 |   279582     6543     57 | 15.206 % |
20.11/20.15	c |      6841 |  103386   705891  2011815 |   279582     6706     56 | 15.206 % |
20.31/20.40	c |      7017 |  103373   705891  2011815 |   279582     6881     56 | 15.229 % |
21.01/21.05	c |      7210 |  100792   686849  1962827 |   279582     7046     56 | 17.298 % |
21.51/21.59	c |      7423 |  100403   686849  1962827 |   279582     7244     56 | 19.293 % |
22.01/22.05	c |      7656 |  100205   686849  1962827 |   279582     7467     56 | 21.284 % |
22.21/22.31	c |      7756 |   99981   686849  1962827 |   279582     7566     56 | 21.350 % |
22.61/22.69	c |      7866 |   99693   686849  1962827 |   279582     7675     55 | 21.359 % |
23.01/23.04	c |      7988 |   95708   654806  1882020 |   279582     7781     55 | 22.075 % |
23.21/23.28	c |      8121 |   95705   654806  1882020 |   279582     7912     55 | 22.110 % |
23.51/23.57	c |      8267 |   95674   654806  1882020 |   279582     8055     55 | 22.179 % |
24.11/24.12	c |      8427 |   95651   654806  1882020 |   279582     8213     54 | 22.477 % |
24.61/24.65	c |      8603 |   95643   654806  1882020 |   279582     8385     54 | 23.899 % |
25.01/25.07	c |      8796 |   92686   633094  1825638 |   279582     8546     54 | 23.991 % |
25.41/25.43	c |      9011 |   92609   633094  1825638 |   279582     8758     54 | 24.216 % |
25.71/25.74	c |      9244 |   92603   633094  1825638 |   279582     8989     55 | 24.232 % |
26.31/26.37	c |      9503 |   92480   633094  1825638 |   279582     9244     55 | 24.914 % |
26.41/26.49	c |      9606 |   92467   633094  1825638 |   279582     9345     55 | 25.411 % |
26.61/26.67	c |      9716 |   92467   633094  1825638 |   279582     9455     56 | 25.411 % |
26.81/26.88	c |      9837 |   90904   620920  1794348 |   279582     9536     55 | 25.411 % |
27.11/27.19	c |      9972 |   90859   620920  1794348 |   279582     9670     56 | 25.604 % |
27.41/27.45	c |     10122 |   90812   620920  1794348 | 2147483647     9819     56 | 25.755 % |
27.71/27.71	c |     10283 |   90810   620920  1794348 | 2147483647     9979     56 | 25.764 % |
27.91/27.99	c |     10459 |   90808   620920  1794348 | 2147483647    10154     56 | 25.773 % |
28.71/28.80	c |     10652 |   90758   620920  1794348 | 2147483647    10345     56 | 25.938 % |
29.21/29.24	c |     10865 |   90258   617837  1787160 | 2147483647    10553     56 | 25.963 % |
29.71/29.74	c |     11098 |   90238   617837  1787160 | 2147483647    10785     56 | 25.973 % |
30.41/30.45	c |     11354 |   90116   617837  1787160 | 2147483647    11036     56 | 26.398 % |
31.11/31.17	c |     11635 |   89687   606014  1753452 | 2147483647    11300     56 | 26.409 % |
31.21/31.29	c |     11736 |   89687   606014  1753452 | 2147483647    11401     56 | 26.409 % |
31.61/31.62	c |     11846 |   89684   606014  1753452 | 2147483647    11509     56 | 26.464 % |
31.71/31.79	c |     11967 |   89684   606014  1753452 | 2147483647    11630     56 | 26.464 % |
32.01/32.10	c |     12102 |   89684   606014  1753452 | 2147483647    11765     57 | 26.464 % |
32.31/32.32	c |     12248 |   89684   606014  1753452 | 2147483647    11911     57 | 26.464 % |
32.81/32.83	c |     12408 |   89684   606014  1753452 | 2147483647    12071     57 | 26.464 % |
32.91/32.96	c |     12586 |   89684   606014  1753452 | 2147483647    12249     57 | 26.464 % |
33.11/33.21	c |     12779 |   89684   606014  1753452 | 2147483647    12442     58 | 26.464 % |
33.31/33.41	c |     12991 |   89620   605632  1752607 | 2147483647    12653     58 | 26.464 % |
33.91/33.99	c |     13224 |   89581   605632  1752607 | 2147483647    12881     58 | 26.923 % |
34.31/34.33	c |     13480 |   89567   605632  1752607 | 2147483647    13137     59 | 26.923 % |
34.91/34.99	c |     13761 |   89517   605632  1752607 | 2147483647    13415     59 | 26.931 % |
35.41/35.43	c |     14070 |   89517   605632  1752607 | 2147483647    13724     60 | 26.931 % |
35.51/35.56	c |     14170 |   89051   598224  1731925 | 2147483647    13810     61 | 26.931 % |
35.71/35.79	c |     14280 |   89050   598224  1731925 | 2147483647    13918     61 | 27.124 % |
35.91/36.01	c |     14403 |   89042   598224  1731925 | 2147483647    14040     61 | 27.136 % |
36.11/36.17	c |     14537 |   89042   598224  1731925 | 2147483647    14174     61 | 27.136 % |
36.21/36.26	c |     14683 |   89042   598224  1731925 | 2147483647    14320     61 | 27.136 % |
36.51/36.52	c |     14844 |   89018   598224  1731925 | 2147483647    14480     61 | 27.177 % |
36.61/36.63	c |     15020 |   89018   598224  1731925 | 2147483647    14656     61 | 27.177 % |
37.01/37.08	c |     15213 |   89003   598224  1731925 | 2147483647    14848     61 | 27.177 % |
37.71/37.75	c |     15425 |   88647   595362  1724745 | 2147483647    15050     61 | 27.263 % |
38.01/38.08	c |     15662 |   88647   595362  1724745 | 2147483647    15287     62 | 27.263 % |
38.41/38.50	c |     15920 |   88646   595362  1724745 | 2147483647    15544     63 | 27.310 % |
39.01/39.01	c |     16201 |   88645   595362  1724745 | 2147483647    15824     64 | 27.319 % |
39.61/39.67	c |     16514 |   88612   595362  1724745 | 2147483647    16133     63 | 27.659 % |
40.31/40.33	c |     16854 |   88566   595362  1724745 | 2147483647    16471     64 | 27.872 % |
40.51/40.55	c |     16954 |   87905   590292  1711749 | 2147483647    16543     64 | 27.872 % |
40.81/40.83	c |     17073 |   87905   590292  1711749 | 2147483647    16662     64 | 27.872 % |
41.01/41.07	c |     17195 |   87905   590292  1711749 | 2147483647    16783     64 | 27.977 % |
41.21/41.24	c |     17328 |   87905   590292  1711749 | 2147483647    16916     64 | 27.977 % |
41.51/41.57	c |     17478 |   87904   590292  1711749 | 2147483647    17066     65 | 27.977 % |
41.81/41.90	c |     17638 |   87902   590292  1711749 | 2147483647    17225     65 | 27.987 % |
42.11/42.21	c |     17816 |   87902   590292  1711749 | 2147483647    17403     66 | 27.987 % |
42.41/42.44	c |     18009 |   87899   590292  1711749 | 2147483647    17595     65 | 27.996 % |
42.61/42.61	c |     18221 |   87899   590292  1711749 | 2147483647    17807     66 | 27.996 % |
42.81/42.88	c |     18454 |   87899   590292  1711749 | 2147483647    18040     66 | 27.996 % |
43.31/43.34	c |     18710 |   87749   589554  1710023 | 2147483647    18293     66 | 28.000 % |
43.81/43.88	c |     18993 |   87749   589554  1710023 | 2147483647    18576     66 | 28.000 % |
44.21/44.23	c |     19303 |   87749   589554  1710023 | 2147483647    18886     67 | 28.000 % |
45.01/45.03	c |     19645 |   87749   589554  1710023 | 2147483647    19228     68 | 28.000 % |
45.71/45.73	c |     20018 |   87749   589554  1710023 | 2147483647    19601     68 | 28.000 % |
45.91/45.93	c |     20119 |   87749   589554  1710023 | 2147483647    19702     68 | 28.000 % |
46.21/46.29	c |     20229 |   87738   589457  1709752 | 2147483647    19810     68 | 28.009 % |
46.31/46.39	c |     20350 |   87738   589457  1709752 | 2147483647    19931     68 | 28.009 % |
46.81/46.83	c |     20485 |   87738   589457  1709752 | 2147483647    20066     67 | 28.009 % |
47.11/47.13	c |     20632 |   87737   589457  1709752 | 2147483647    20212     67 | 28.019 % |
47.51/47.51	c |     20794 |   87737   589457  1709752 | 2147483647    20374     68 | 28.019 % |
47.71/47.79	c |     20971 |   87736   589457  1709752 | 2147483647    20550     68 | 28.019 % |
48.01/48.08	c |     21164 |   87736   589457  1709752 | 2147483647    20743     68 | 28.019 % |
48.51/48.56	c |     21376 |   87736   589457  1709752 | 2147483647    20955     69 | 28.019 % |
48.91/48.92	c |     21610 |   87736   589457  1709752 | 2147483647    21189     69 | 28.019 % |
49.31/49.32	c |     21869 |   87736   589457  1709752 | 2147483647    21448     69 | 28.019 % |
49.81/49.82	c |     22153 |   87725   589348  1709448 | 2147483647    21732     69 | 28.019 % |
50.21/50.26	c |     22468 |   87725   589348  1709448 | 2147483647    22047     69 | 28.019 % |
51.01/51.04	c |     22807 |   87725   589348  1709448 | 2147483647    22386     69 | 28.019 % |
51.61/51.68	c |     23181 |   87722   589348  1709448 | 2147483647    22759     70 | 28.028 % |
52.41/52.47	c |     23590 |   87722   589348  1709448 | 2147483647    23168     70 | 28.028 % |
52.61/52.69	c |     23690 |   87722   589348  1709448 | 2147483647    23268     70 | 28.028 % |
52.91/52.94	c |     23802 |   87714   589255  1709185 | 2147483647    23379     70 | 28.028 % |
53.11/53.16	c |     23924 |   87714   589255  1709185 | 2147483647    23501     70 | 28.028 % |
53.21/53.30	c |     24057 |   87714   589255  1709185 | 2147483647    23634     70 | 28.028 % |
53.51/53.58	c |     24205 |   87714   589255  1709185 | 2147483647    23782     71 | 28.028 % |
53.91/54.00	c |     24367 |   87714   589255  1709185 | 2147483647    23944     71 | 28.028 % |
54.21/54.27	c |     24543 |   87714   589255  1709185 | 2147483647    24120     71 | 28.028 % |
54.71/54.75	c |     24736 |   87626   589255  1709185 | 2147483647    24311     71 | 28.195 % |
55.11/55.14	c |     24948 |   87626   589255  1709185 | 2147483647    24523     71 | 28.195 % |
55.71/55.75	c |     25183 |   87623   589255  1709185 | 2147483647    24757     72 | 28.232 % |
56.31/56.31	c |     25440 |   87607   589255  1709185 | 2147483647    25013     72 | 28.277 % |
56.81/56.91	c |     25724 |   87411   587087  1703585 | 2147483647    25272     72 | 28.277 % |
57.21/57.21	c |     26034 |   87408   587087  1703585 | 2147483647    25580     72 | 28.302 % |
57.71/57.77	c |     26378 |   87398   587087  1703585 | 2147483647    25924     73 | 28.302 % |
58.71/58.71	c |     26752 |   87394   587087  1703585 | 2147483647    26297     73 | 28.311 % |
59.51/59.52	c |     27161 |   87388   587087  1703585 | 2147483647    26703     74 | 28.328 % |
60.31/60.37	c |     27610 |   87388   587087  1703585 | 2147483647    27152     74 | 28.328 % |
60.51/60.57	c |     27710 |   87349   586297  1701386 | 2147483647    27221     74 | 28.328 % |
60.71/60.75	c |     27821 |   87349   586297  1701386 | 2147483647    27332     74 | 28.328 % |
61.01/61.01	c |     27942 |   87349   586297  1701386 | 2147483647    27453     74 | 28.328 % |
61.31/61.33	c |     28081 |   87348   586297  1701386 | 2147483647    27591     74 | 28.329 % |
61.51/61.51	c |     28228 |   87344   586297  1701386 | 2147483647    27736     74 | 28.343 % |
61.81/61.81	c |     28388 |   87344   586297  1701386 | 2147483647    27896     75 | 28.343 % |
62.11/62.20	c |     28564 |   87344   586297  1701386 | 2147483647    28072     75 | 28.343 % |
62.51/62.59	c |     28759 |   87342   586297  1701386 | 2147483647    28266     75 | 28.345 % |
62.91/62.97	c |     28974 |   87342   586297  1701386 | 2147483647    28481     75 | 28.345 % |
63.31/63.31	c |     29209 |   87342   586297  1701386 | 2147483647    28715     76 | 28.346 % |
63.71/63.72	c |     29465 |   87341   586297  1701386 | 2147483647    28971     76 | 28.346 % |
64.11/64.20	c |     29752 |   87341   586297  1701386 | 2147483647    29258     76 | 28.346 % |
64.81/64.84	c |     30063 |   87327   586108  1700879 | 2147483647    29569     78 | 28.346 % |
65.51/65.53	c |     30403 |   87325   586108  1700879 | 2147483647    29907     79 | 28.348 % |
65.91/65.96	c |     30775 |   87322   586108  1700879 | 2147483647    30278     79 | 28.355 % |
66.80/66.82	c |     31184 |   87322   586108  1700879 | 2147483647    30687     80 | 28.355 % |
67.60/67.64	c |     31635 |   87322   586108  1700879 | 2147483647    31138     80 | 28.355 % |
68.40/68.45	c |     32128 |   87278   585435  1699003 | 2147483647    31523     81 | 28.386 % |
68.60/68.64	c |     32228 |   87278   585435  1699003 | 2147483647    31623     81 | 28.386 % |
68.80/68.83	c |     32339 |   87257   585435  1699003 | 2147483647    31732     81 | 28.462 % |
69.10/69.14	c |     32462 |   87234   585435  1699003 | 2147483647    31855     82 | 28.462 % |
69.30/69.39	c |     32598 |   87234   585435  1699003 | 2147483647    31991     82 | 28.462 % |
69.60/69.68	c |     32744 |   87234   585435  1699003 | 2147483647    32137     82 | 28.462 % |
69.90/69.93	c |     32904 |   87234   585435  1699003 | 2147483647    32297     82 | 28.462 % |
70.10/70.19	c |     33087 |   87234   585435  1699003 | 2147483647    32480     82 | 28.462 % |
70.60/70.67	c |     33282 |   87234   585435  1699003 | 2147483647    32675     82 | 28.462 % |
71.10/71.17	c |     33494 |   87219   585435  1699003 | 2147483647    32885     82 | 28.507 % |
71.40/71.47	c |     33727 |   87217   585435  1699003 | 2147483647    33117     83 | 28.514 % |
71.70/71.79	c |     33983 |   87217   585435  1699003 | 2147483647    33373     84 | 28.514 % |
72.20/72.30	c |     34265 |   87217   585435  1699003 | 2147483647    33655     84 | 28.514 % |
72.80/72.90	c |     34584 |   87122   584202  1695899 | 2147483647    33911     84 | 28.514 % |
73.20/73.28	c |     34927 |   87121   584202  1695899 | 2147483647    34253     85 | 28.515 % |
73.50/73.61	c |     35299 |   87121   584202  1695899 | 2147483647    34625     85 | 28.515 % |
74.40/74.43	c |     35708 |   87116   584202  1695899 | 2147483647    35032     85 | 28.519 % |
75.00/75.09	c |     36157 |   87110   584202  1695899 | 2147483647    35480     86 | 28.545 % |
76.20/76.23	c |     36650 |   87110   584202  1695899 | 2147483647    35973     87 | 28.545 % |
77.20/77.29	c |     37193 |   87081   583967  1695296 | 2147483647    36512     87 | 28.557 % |
77.40/77.46	c |     37293 |   87081   583967  1695296 | 2147483647    36612     87 | 28.557 % |
77.60/77.68	c |     37405 |   87081   583967  1695296 | 2147483647    36724     87 | 28.557 % |
77.80/77.90	c |     37526 |   87081   583967  1695296 | 2147483647    36845     87 | 28.557 % |
78.21/78.27	c |     37659 |   87081   583967  1695296 | 2147483647    36978     87 | 28.557 % |
78.50/78.55	c |     37807 |   87081   583967  1695296 | 2147483647    37126     87 | 28.557 % |
78.90/78.92	c |     37968 |   87078   583967  1695296 | 2147483647    37286     87 | 28.565 % |
79.20/79.24	c |     38147 |   87078   583967  1695296 | 2147483647    37465     88 | 28.565 % |
79.31/79.37	c |     38340 |   87078   583967  1695296 | 2147483647    37658     88 | 28.565 % |
79.50/79.59	c |     38552 |   87078   583967  1695296 | 2147483647    37870     88 | 28.565 % |
79.90/79.99	c |     38786 |   87078   583967  1695296 | 2147483647    38104     88 | 28.565 % |
80.41/80.49	c |     39043 |   87077   583967  1695296 | 2147483647    38360     88 | 28.571 % |
80.90/80.95	c |     39325 |   87076   583967  1695296 | 2147483647    38641     89 | 28.572 % |
81.20/81.22	c |     39634 |   87076   583967  1695296 | 2147483647    38950     88 | 28.572 % |
81.80/81.83	c |     39978 |   87036   583682  1694541 | 2147483647    39280     89 | 28.595 % |
82.30/82.32	c |     40350 |   87032   583682  1694541 | 2147483647    39651     89 | 28.611 % |
82.90/82.94	c |     40761 |   87025   583682  1694541 | 2147483647    40061     90 | 28.612 % |
83.60/83.64	c |     41212 |   87025   583682  1694541 | 2147483647    40512     90 | 28.612 % |
84.50/84.55	c |     41707 |   87021   583682  1694541 | 2147483647    41005     90 | 28.617 % |
85.70/85.72	c |     42251 |   87021   583682  1694541 | 2147483647    41549     92 | 28.617 % |
86.80/86.89	c |     42847 |   86984   582991  1692654 | 2147483647    42003     93 | 28.644 % |
87.10/87.13	c |     42947 |   86983   582991  1692654 | 2147483647    42102     93 | 28.652 % |
87.20/87.24	c |     43057 |   86903   582991  1692654 | 2147483647    42211     93 | 29.148 % |
87.50/87.58	c |     43178 |   86853   582991  1692654 | 2147483647    42332     93 | 29.148 % |
87.70/87.77	c |     43312 |   86853   582991  1692654 | 2147483647    42466     93 | 29.148 % |
88.11/88.14	c |     43459 |   86853   582991  1692654 | 2147483647    42613     93 | 29.148 % |
88.40/88.43	c |     43624 |   86801   582991  1692654 | 2147483647    42776     93 | 29.466 % |
88.60/88.64	c |     43800 |   86801   582991  1692654 | 2147483647    42952     93 | 29.466 % |
88.80/88.84	c |     43993 |   86800   582991  1692654 | 2147483647    43144     94 | 29.474 % |
89.00/89.06	c |     44207 |   86799   582991  1692654 | 2147483647    43357     94 | 29.475 % |
89.21/89.29	c |     44440 |   86799   582991  1692654 | 2147483647    43590     95 | 29.475 % |
89.60/89.62	c |     44697 |   86799   582991  1692654 | 2147483647    43847     95 | 29.475 % |
90.00/90.05	c |     44979 |   86799   582991  1692654 | 2147483647    44129     95 | 29.475 % |
90.60/90.63	c |     45289 |   86799   582991  1692654 | 2147483647    44439     95 | 29.475 % |
91.20/91.25	c |     45630 |   86795   582991  1692654 | 2147483647    44779     95 | 29.486 % |
92.10/92.12	c |     46003 |   85938   568933  1654211 | 2147483647    45021     96 | 29.486 % |
92.40/92.49	c |     46412 |   85938   568933  1654211 | 2147483647    45430     96 | 29.486 % |
93.30/93.31	c |     46861 |   85931   568933  1654211 | 2147483647    45877     97 | 29.505 % |
94.20/94.24	c |     47354 |   85927   568933  1654211 | 2147483647    46369     98 | 29.511 % |
95.20/95.21	c |     47899 |   85924   568933  1654211 | 2147483647    46912     98 | 29.521 % |
96.40/96.50	c |     48495 |   85924   568933  1654211 | 2147483647    47508     99 | 29.521 % |
97.60/97.62	c |     49155 |   85917   568933  1654211 | 2147483647    48164    100 | 29.740 % |
97.80/97.88	c |     49255 |   85625   563869  1639995 | 2147483647    48234    100 | 29.750 % |
98.01/98.09	c |     49365 |   85623   563869  1639995 | 2147483647    48342    100 | 29.761 % |
98.30/98.33	c |     49499 |   85623   563869  1639995 | 2147483647    48476     99 | 29.761 % |
98.50/98.54	c |     49632 |   85621   563869  1639995 | 2147483647    48606     99 | 29.827 % |
98.60/98.69	c |     49778 |   85621   563869  1639995 | 2147483647    48752    100 | 29.827 % |
99.00/99.04	c |     49938 |   85620   563869  1639995 | 2147483647    48911    100 | 29.828 % |
99.30/99.31	c |     50117 |   85615   563869  1639995 | 2147483647    49089    100 | 29.837 % |
99.50/99.56	c |     50312 |   85615   563869  1639995 | 2147483647    49284    100 | 29.837 % |
100.10/100.20	c |     50524 |   85602   563869  1639995 | 2147483647    49495    101 | 29.856 % |
100.50/100.55	c |     50758 |   85601   563869  1639995 | 2147483647    49727    101 | 29.865 % |
100.90/100.91	c |     51014 |   85599   563869  1639995 | 2147483647    49982    101 | 29.871 % |
101.31/101.32	c |     51296 |   85599   563869  1639995 | 2147483647    50264    101 | 29.871 % |
101.90/101.99	c |     51605 |   85599   563869  1639995 | 2147483647    50573    101 | 29.871 % |
102.50/102.53	c |     51950 |   85595   563869  1639995 | 2147483647    50916    101 | 29.881 % |
103.00/103.01	c |     52323 |   85593   563869  1639995 | 2147483647    51288    102 | 29.890 % |
103.80/103.87	c |     52732 |   85519   563869  1639995 | 2147483647    51694    103 | 30.497 % |
104.70/104.78	c |     53181 |   84703   547849  1595364 | 2147483647    51734    103 | 30.499 % |
105.20/105.25	c |     53676 |   84703   547849  1595364 | 2147483647    52229    103 | 30.499 % |
106.20/106.26	c |     54220 |   84702   547849  1595364 | 2147483647    52772    104 | 30.501 % |
107.60/107.63	c |     54818 |   84702   547849  1595364 | 2147483647    53370    105 | 30.501 % |
108.70/108.71	c |     55473 |   84702   547849  1595364 | 2147483647    54025    106 | 30.501 % |
109.80/109.86	c |     56194 |   84702   547849  1595364 | 2147483647    54746    108 | 30.501 % |
110.00/110.04	c |     56296 |   84701   547849  1595364 | 2147483647    54847    108 | 30.502 % |
110.11/110.20	c |     56406 |   84701   547849  1595364 | 2147483647    54957    108 | 30.502 % |
110.40/110.44	c |     56529 |   84701   547849  1595364 | 2147483647    55080    108 | 30.502 % |
110.50/110.60	c |     56666 |   84701   547849  1595364 | 2147483647    55217    108 | 30.502 % |
110.80/110.82	c |     56814 |   84699   547849  1595364 | 2147483647    55363    108 | 30.504 % |
110.90/110.92	c |     56975 |   84699   547849  1595364 | 2147483647    55524    108 | 30.504 % |
111.11/111.13	c |     57154 |   84699   547849  1595364 | 2147483647    55703    108 | 30.504 % |
111.61/111.65	c |     57352 |   84617   547849  1595364 | 2147483647    55899    108 | 30.630 % |
112.01/112.06	c |     57564 |   84617   547849  1595364 | 2147483647    56111    108 | 30.630 % |
112.71/112.73	c |     57798 |   84543   547031  1593425 | 2147483647    56287    109 | 30.630 % |
113.21/113.23	c |     58054 |   84542   547031  1593425 | 2147483647    56542    109 | 30.631 % |
113.71/113.81	c |     58338 |   84533   547031  1593425 | 2147483647    56822    109 | 30.649 % |
114.41/114.44	c |     58650 |   84533   547031  1593425 | 2147483647    57133    109 | 30.738 % |
115.11/115.14	c |     58989 |   84533   547031  1593425 | 2147483647    57472    110 | 30.738 % |
115.81/115.86	c |     59362 |   84533   547031  1593425 | 2147483647    57845    110 | 30.738 % |
116.41/116.48	c |     59775 |   84533   547031  1593425 | 2147483647    58258    111 | 30.738 % |
117.01/117.08	c |     60226 |   84533   547031  1593425 | 2147483647    58709    112 | 30.738 % |
117.61/117.69	c |     60719 |   84533   547031  1593425 | 2147483647    59202    112 | 30.738 % |
118.71/118.78	c |     61263 |   84532   547031  1593425 | 2147483647    59745    112 | 30.739 % |
119.51/119.57	c |     61859 |   84529   547031  1593425 | 2147483647    60339    112 | 30.743 % |
120.21/120.29	c |     62515 |   84529   547031  1593425 | 2147483647    60995    113 | 30.743 % |
121.51/121.57	c |     63237 |   84405   544678  1586827 | 2147483647    61647    113 | 30.743 % |
122.51/122.61	c |     64029 |   84401   544678  1586827 | 2147483647    62438    114 | 30.753 % |
122.81/122.84	c |     64129 |   84397   544678  1586827 | 2147483647    62536    114 | 30.790 % |
123.01/123.11	c |     64243 |   84396   544678  1586827 | 2147483647    62649    114 | 30.791 % |
123.21/123.29	c |     64366 |   84395   544678  1586827 | 2147483647    62770    114 | 30.818 % |
123.41/123.49	c |     64503 |   84393   544678  1586827 | 2147483647    62906    114 | 30.819 % |
123.61/123.67	c |     64649 |   84393   544678  1586827 | 2147483647    63052    114 | 30.819 % |
123.91/124.01	c |     64809 |   84378   544678  1586827 | 2147483647    63212    114 | 30.819 % |
124.31/124.37	c |     64988 |   84366   544678  1586827 | 2147483647    63389    114 | 31.167 % |
124.71/124.81	c |     65183 |   84366   544678  1586827 | 2147483647    63584    114 | 31.167 % |
125.11/125.13	c |     65395 |   84364   544678  1586827 | 2147483647    63794    114 | 31.169 % |
125.31/125.37	c |     65630 |   84363   544678  1586827 | 2147483647    64028    114 | 31.169 % |
126.01/126.11	c |     65887 |   84363   544678  1586827 | 2147483647    64285    114 | 31.169 % |
126.41/126.47	c |     66168 |   84361   544678  1586827 | 2147483647    64565    115 | 31.176 % |
126.81/126.86	c |     66478 |   84361   544678  1586827 | 2147483647    64875    115 | 31.176 % |
127.31/127.40	c |     66817 |   84360   544678  1586827 | 2147483647    65213    115 | 31.182 % |
127.81/127.83	c |     67192 |   84360   544678  1586827 | 2147483647    65588    115 | 31.182 % |
128.71/128.73	c |     67602 |   84359   544678  1586827 | 2147483647    65998    116 | 31.182 % |
129.41/129.46	c |     68051 |   83870   540364  1575382 | 2147483647    66190    115 | 31.222 % |
130.01/130.04	c |     68548 |   83870   540364  1575382 | 2147483647    66687    115 | 31.222 % |
131.01/131.09	c |     69093 |   83870   540364  1575382 | 2147483647    67232    116 | 31.222 % |
132.21/132.24	c |     69689 |   83866   540364  1575382 | 2147483647    67827    116 | 31.232 % |
133.21/133.24	c |     70345 |   83850   540364  1575382 | 2147483647    68480    116 | 31.256 % |
134.51/134.61	c |     71066 |   83848   540364  1575382 | 2147483647    69198    116 | 31.260 % |
135.61/135.70	c |     71864 |   83846   540364  1575382 | 2147483647    69993    117 | 31.263 % |
137.41/137.44	c |     72735 |   83844   540364  1575382 | 2147483647    70863    117 | 31.264 % |
137.61/137.63	c |     72837 |   83841   540364  1575382 | 2147483647    70962    117 | 31.266 % |
137.81/137.89	c |     72948 |   83767   539404  1572883 | 2147483647    70858    117 | 31.309 % |
138.11/138.12	c |     73071 |   83761   539404  1572883 | 2147483647    70980    117 | 31.310 % |
138.31/138.33	c |     73205 |   83761   539404  1572883 | 2147483647    71114    117 | 31.310 % |
138.61/138.65	c |     73351 |   83757   539404  1572883 | 2147483647    71259    117 | 31.313 % |
138.91/139.00	c |     73517 |   83755   539404  1572883 | 2147483647    71423    117 | 31.315 % |
139.51/139.56	c |     73693 |   83675   539404  1572883 | 2147483647    71596    117 | 31.730 % |
140.01/140.08	c |     73886 |   83675   539404  1572883 | 2147483647    71789    117 | 31.730 % |
140.31/140.38	c |     74099 |   83648   539404  1572883 | 2147483647    72000    117 | 31.800 % |
140.81/140.88	c |     74335 |   83643   539404  1572883 | 2147483647    72235    117 | 31.818 % |
141.31/141.40	c |     74594 |   83643   539404  1572883 | 2147483647    72494    118 | 31.818 % |
141.71/141.79	c |     74875 |   83643   539404  1572883 | 2147483647    72775    118 | 31.818 % |
142.11/142.21	c |     75184 |   83643   539404  1572883 | 2147483647    73084    118 | 31.818 % |
142.51/142.59	c |     75524 |   83643   539404  1572883 | 2147483647    73424    118 | 31.818 % |
143.41/143.47	c |     75896 |   83643   539404  1572883 | 2147483647    73796    119 | 31.818 % |
143.91/143.97	c |     76307 |   83638   539404  1572883 | 2147483647    74204    119 | 31.835 % |
144.61/144.68	c |     76758 |   83638   539404  1572883 | 2147483647    74655    119 | 31.835 % |
145.51/145.54	c |     77251 |   83638   539404  1572883 | 2147483647    75148    119 | 31.835 % |
146.31/146.35	c |     77796 |   83637   539404  1572883 | 2147483647    75692    120 | 31.839 % |
147.61/147.63	c |     78393 |   83637   539404  1572883 | 2147483647    76288    120 | 31.847 % |
148.51/148.53	c |     79051 |   83055   528166  1541640 | 2147483647    76797    120 | 31.860 % |
149.51/149.55	c |     79772 |   83055   528166  1541640 | 2147483647    77518    120 | 31.860 % |
151.21/151.29	c |     80565 |   83042   528166  1541640 | 2147483647    78308    121 | 31.906 % |
152.31/152.32	c |     81436 |   83042   528166  1541640 | 2147483647    79179    121 | 31.906 % |
155.01/155.06	c |     82397 |   83042   528166  1541640 | 2147483647    80140    122 | 31.906 % |
155.21/155.25	c |     82497 |   83042   528166  1541640 | 2147483647    80240    122 | 31.906 % |
155.31/155.38	c |     82609 |   83042   528166  1541640 | 2147483647    80352    122 | 31.906 % |
155.51/155.51	c |     82731 |   83042   528166  1541640 | 2147483647    80474    122 | 31.906 % |
155.81/155.83	c |     82864 |   83042   528166  1541640 | 2147483647    80607    122 | 31.906 % |
156.01/156.08	c |     83010 |   83039   528166  1541640 | 2147483647    80751    122 | 31.988 % |
156.21/156.28	c |     83170 |   83039   528166  1541640 | 2147483647    80911    122 | 31.988 % |
156.61/156.70	c |     83347 |   83039   528166  1541640 | 2147483647    81088    122 | 31.988 % |
157.01/157.04	c |     83540 |   83039   528166  1541640 | 2147483647    81281    122 | 31.988 % |
157.21/157.31	c |     83754 |   83039   528166  1541640 | 2147483647    81495    122 | 31.988 % |
157.61/157.64	c |     83987 |   83039   528166  1541640 | 2147483647    81728    122 | 31.988 % |
158.31/158.35	c |     84243 |   83039   528166  1541640 | 2147483647    81984    122 | 31.988 % |
158.81/158.85	c |     84525 |   83039   528166  1541640 | 2147483647    82266    123 | 31.988 % |
159.11/159.17	c |     84837 |   83039   528166  1541640 | 2147483647    82578    123 | 31.988 % |
159.61/159.70	c |     85178 |   83035   528166  1541640 | 2147483647    82918    123 | 31.992 % |
160.21/160.25	c |     85550 |   83035   528166  1541640 | 2147483647    83290    123 | 31.992 % |
160.91/160.94	c |     85961 |   82883   526975  1538481 | 2147483647    83656    123 | 31.992 % |
161.81/161.87	c |     86410 |   82879   526975  1538481 | 2147483647    84103    123 | 32.007 % |
162.81/162.83	c |     86905 |   82876   526975  1538481 | 2147483647    84597    123 | 32.017 % |
163.51/163.56	c |     87447 |   82875   526975  1538481 | 2147483647    85138    124 | 32.018 % |
163.91/163.97	c |     88046 |   82875   526975  1538481 | 2147483647    85737    123 | 32.018 % |
164.61/164.66	c |     88708 |   82875   526975  1538481 | 2147483647    86399    124 | 32.018 % |
166.11/166.15	c |     89432 |   82860   526975  1538481 | 2147483647    87121    124 | 32.050 % |
168.21/168.22	c |     90224 |   82856   526975  1538481 | 2147483647    87912    126 | 32.051 % |
169.81/169.91	c |     91095 |   82849   526975  1538481 | 2147483647    88777    126 | 32.071 % |
171.31/171.34	c |     92053 |   82848   526975  1538481 | 2147483647    89734    126 | 32.074 % |
173.21/173.24	c |     93107 |   82843   526975  1538481 | 2147483647    90786    126 | 32.093 % |
173.41/173.50	c |     93207 |   82760   525731  1535077 | 2147483647    90789    126 | 32.093 % |
173.81/173.86	c |     93317 |   82760   525731  1535077 | 2147483647    90899    127 | 32.093 % |
174.11/174.17	c |     93443 |   82760   525731  1535077 | 2147483647    91025    127 | 32.093 % |
174.51/174.61	c |     93577 |   82760   525731  1535077 | 2147483647    91159    127 | 32.093 % |
174.81/174.85	c |     93728 |   82760   525731  1535077 | 2147483647    91310    126 | 32.093 % |
175.21/175.29	c |     93889 |   82746   525731  1535077 | 2147483647    91469    127 | 32.138 % |
175.71/175.76	c |     94065 |   82740   525731  1535077 | 2147483647    91645    126 | 32.138 % |
176.31/176.33	c |     94258 |   82734   525731  1535077 | 2147483647    91837    127 | 32.147 % |
176.91/176.98	c |     94472 |   82733   525731  1535077 | 2147483647    92050    127 | 32.150 % |
177.22/177.27	c |     94708 |   82731   525731  1535077 | 2147483647    92284    127 | 32.158 % |
177.71/177.78	c |     94964 |   82731   525731  1535077 | 2147483647    92540    127 | 32.158 % |
178.32/178.35	c |     95247 |   82731   525731  1535077 | 2147483647    92823    127 | 32.158 % |
178.91/179.00	c |     95559 |   82727   525731  1535077 | 2147483647    93134    128 | 32.166 % |
179.42/179.50	c |     95899 |   82727   525731  1535077 | 2147483647    93474    128 | 32.166 % |
180.11/180.13	c |     96271 |   82727   525731  1535077 | 2147483647    93846    129 | 32.166 % |
180.71/180.71	c |     96681 |   82727   525731  1535077 | 2147483647    94256    129 | 32.166 % |
181.31/181.32	c |     97134 |   82727   525731  1535077 | 2147483647    94709    129 | 32.166 % |
182.31/182.33	c |     97627 |   82724   525731  1535077 | 2147483647    95199    129 | 32.175 % |
183.41/183.47	c |     98169 |   82715   525731  1535077 | 2147483647    95737    129 | 32.187 % |
184.41/184.43	c |     98767 |   82715   525731  1535077 | 2147483647    96335    130 | 32.187 % |
185.61/185.67	c |     99425 |   82702   525731  1535077 | 2147483647    96984    130 | 32.210 % |
187.51/187.59	c |    100146 |   82700   525731  1535077 | 2147483647    97705    131 | 32.210 % |
188.71/188.76	c |    100938 |   82698   525731  1535077 | 2147483647    98496    131 | 32.211 % |
190.21/190.21	c |    101813 |   82612   523953  1530142 | 2147483647    98721    131 | 32.221 % |
191.91/192.00	c |    102773 |   82612   523953  1530142 | 2147483647    99681    132 | 32.221 % |
194.11/194.12	c |    103826 |   82610   523953  1530142 | 2147483647   100732    133 | 32.223 % |
195.92/196.00	c |    104984 |   82608   523953  1530142 | 2147483647   101888    133 | 32.231 % |
196.11/196.11	c |    105084 |   82608   523953  1530142 | 2147483647   101988    133 | 32.231 % |
196.21/196.24	c |    105196 |   82608   523953  1530142 | 2147483647   102100    133 | 32.231 % |
196.41/196.49	c |    105318 |   82606   523953  1530142 | 2147483647   102222    133 | 32.231 % |
196.81/196.84	c |    105451 |   82605   523953  1530142 | 2147483647   102353    133 | 32.255 % |
197.11/197.14	c |    105597 |   82576   523953  1530142 | 2147483647   102495    133 | 32.327 % |
197.31/197.41	c |    105758 |   82576   523953  1530142 | 2147483647   102656    133 | 32.327 % |
197.81/197.90	c |    105934 |   82560   523953  1530142 | 2147483647   102832    133 | 32.327 % |
198.21/198.24	c |    106127 |   82557   523953  1530142 | 2147483647   103024    133 | 32.335 % |
198.51/198.55	c |    106342 |   82557   523953  1530142 | 2147483647   103239    133 | 32.334 % |
198.91/198.96	c |    106575 |   82557   523953  1530142 | 2147483647   103472    133 | 32.334 % |
199.31/199.37	c |    106834 |   82557   523953  1530142 | 2147483647   103731    133 | 32.334 % |
199.81/199.85	c |    107117 |   82539   523953  1530142 | 2147483647   104012    133 | 32.614 % |
200.41/200.43	c |    107426 |   82539   523953  1530142 | 2147483647   104321    134 | 32.614 % |
201.01/201.08	c |    107765 |   82539   523953  1530142 | 2147483647   104660    134 | 32.614 % |
201.61/201.62	c |    108138 |   82539   523953  1530142 | 2147483647   105033    135 | 32.614 % |
202.31/202.31	c |    108547 |   82534   523953  1530142 | 2147483647   105438    135 | 32.624 % |
203.31/203.38	c |    108996 |   82531   523953  1530142 | 2147483647   105885    135 | 32.638 % |
204.01/204.04	c |    109492 |   82529   523953  1530142 | 2147483647   106380    136 | 32.645 % |
205.11/205.12	c |    110034 |   82529   523953  1530142 | 2147483647   106922    136 | 32.645 % |
206.41/206.44	c |    110630 |   82057   518434  1515726 | 2147483647   107451    136 | 32.677 % |
207.71/207.79	c |    111286 |   82054   518434  1515726 | 2147483647   108104    136 | 32.700 % |
209.12/209.19	c |    112013 |   82047   518434  1515726 | 2147483647   108831    136 | 32.700 % |
210.82/210.87	c |    112805 |   82047   518434  1515726 | 2147483647   109623    137 | 32.700 % |
211.92/212.00	c |    113676 |   82047   518434  1515726 | 2147483647   110494    137 | 32.700 % |
214.02/214.03	c |    114640 |   82045   518434  1515726 | 2147483647   111457    138 | 32.703 % |
216.72/216.78	c |    115695 |   82045   518434  1515726 | 2147483647   112512    138 | 32.703 % |
218.82/218.82	c |    116855 |   82043   518434  1515726 | 2147483647   113670    138 | 32.713 % |
221.32/221.35	c |    118128 |   82042   518434  1515726 | 2147483647   114941    139 | 32.714 % |
221.62/221.65	c |    118229 |   82042   518434  1515726 | 2147483647   115041    139 | 32.718 % |
221.92/221.95	c |    118339 |   82042   518434  1515726 | 2147483647   115151    139 | 32.718 % |
222.12/222.16	c |    118461 |   82042   518434  1515726 | 2147483647   115273    139 | 32.718 % |
222.42/222.42	c |    118594 |   82042   518434  1515726 | 2147483647   115406    139 | 32.718 % |
222.62/222.68	c |    118740 |   82042   518434  1515726 | 2147483647   115552    139 | 32.718 % |
222.92/223.01	c |    118901 |   82042   518434  1515726 | 2147483647   115713    139 | 32.718 % |
223.32/223.39	c |    119081 |   82042   518434  1515726 | 2147483647   115893    139 | 32.718 % |
223.62/223.71	c |    119275 |   82042   518434  1515726 | 2147483647   116087    139 | 32.718 % |
224.42/224.47	c |    119487 |   81999   517937  1514375 | 2147483647   116267    140 | 32.718 % |
225.02/225.11	c |    119724 |   81999   517937  1514375 | 2147483647   116504    140 | 32.718 % |
225.72/225.75	c |    119980 |   81997   517937  1514375 | 2147483647   116758    140 | 32.719 % |
226.52/226.52	c |    120263 |   81997   517937  1514375 | 2147483647   117041    140 | 32.719 % |
227.32/227.33	c |    120573 |   81997   517937  1514375 | 2147483647   117350    140 | 32.727 % |
228.22/228.30	c |    120916 |   81997   517937  1514375 | 2147483647   117693    140 | 32.727 % |
229.02/229.10	c |    121290 |   81997   517937  1514375 | 2147483647   118067    140 | 32.727 % |
229.62/229.70	c |    121699 |   81997   517937  1514375 | 2147483647   118476    140 | 32.727 % |
230.52/230.54	c |    122148 |   81997   517937  1514375 | 2147483647   118925    140 | 32.727 % |
231.52/231.60	c |    122641 |   81997   517937  1514375 | 2147483647   119418    140 | 32.727 % |
232.62/232.70	c |    123184 |   81991   517937  1514375 | 2147483647   119960    140 | 32.736 % |
233.72/233.80	c |    123781 |   81991   517937  1514375 | 2147483647   120556    141 | 32.737 % |
235.12/235.13	c |    124438 |   81989   517937  1514375 | 2147483647   121212    141 | 32.746 % |
236.62/236.64	c |    125160 |   81929   517937  1514375 | 2147483647   121932    141 | 32.814 % |
238.52/238.52	c |    125952 |   81926   517937  1514375 | 2147483647   122722    142 | 32.824 % |
240.72/240.81	c |    126823 |   81926   517937  1514375 | 2147483647   123593    142 | 32.824 % |
242.72/242.77	c |    127781 |   81925   517937  1514375 | 2147483647   124549    143 | 32.828 % |
244.71/244.77	c |    128834 |   81925   517937  1514375 | 2147483647   125602    143 | 32.828 % |
248.11/248.14	c |    129995 |   81925   517937  1514375 | 2147483647   126763    145 | 32.828 % |
251.81/251.85	c |    131268 |   81856   517105  1512220 | 2147483647   128006    145 | 32.846 % |
254.41/254.41	c |    132669 |   81856   517105  1512220 | 2147483647   129407    145 | 32.846 % |
254.51/254.58	c |    132770 |   81856   517105  1512220 | 2147483647   129508    146 | 32.846 % |
254.61/254.70	c |    132880 |   81856   517105  1512220 | 2147483647   129618    146 | 32.846 % |
254.91/254.95	c |    133001 |   81856   517105  1512220 | 2147483647   129739    146 | 32.846 % |
255.01/255.07	c |    133134 |   81856   517105  1512220 | 2147483647   129872    145 | 32.846 % |
255.31/255.39	c |    133285 |   81856   517105  1512220 | 2147483647   130023    146 | 32.846 % |
255.81/255.80	c |    133446 |   81856   517105  1512220 | 2147483647   130184    146 | 32.846 % |
256.21/256.25	c |    133622 |   81856   517105  1512220 | 2147483647   130360    146 | 32.846 % |
256.51/256.57	c |    133815 |   81855   517105  1512220 | 2147483647   130552    146 | 32.849 % |
257.01/257.10	c |    134029 |   81855   517105  1512220 | 2147483647   130766    146 | 32.849 % |
257.81/257.82	c |    134264 |   81855   517105  1512220 | 2147483647   131001    146 | 32.849 % |
258.41/258.40	c |    134520 |   81855   517105  1512220 | 2147483647   131257    146 | 32.849 % |
259.01/259.03	c |    134802 |   81848   517105  1512220 | 2147483647   131537    146 | 32.864 % |
259.81/259.82	c |    135111 |   81848   517105  1512220 | 2147483647   131846    147 | 32.864 % |
260.61/260.63	c |    135451 |   81848   517105  1512220 | 2147483647   132186    146 | 32.864 % |
261.61/261.66	c |    135823 |   81847   517105  1512220 | 2147483647   132557    147 | 32.865 % |
262.71/262.71	c |    136232 |   81847   517105  1512220 | 2147483647   132966    147 | 32.865 % |
263.81/263.81	c |    136684 |   81845   517105  1512220 | 2147483647   133417    147 | 32.868 % |
264.71/264.71	c |    137178 |   81844   517105  1512220 | 2147483647   133910    147 | 32.869 % |
265.71/265.73	c |    137722 |   81844   517105  1512220 | 2147483647   134454    148 | 32.869 % |
267.21/267.20	c |    138319 |   81841   517105  1512220 | 2147483647   135049    148 | 32.910 % |
268.91/268.92	c |    138977 |   81841   517105  1512220 | 2147483647   135707    148 | 32.910 % |
270.51/270.51	c |    139697 |   81837   517105  1512220 | 2147483647   136424    148 | 32.930 % |
272.31/272.35	c |    140496 |   81834   517105  1512220 | 2147483647   137222    148 | 32.933 % |
273.81/273.89	c |    141372 |   81833   517105  1512220 | 2147483647   138097    148 | 32.933 % |
275.91/275.98	c |    142330 |   81692   516034  1509285 | 2147483647   138982    148 | 33.009 % |
278.71/278.78	c |    143383 |   81692   516034  1509285 | 2147483647   140035    149 | 33.009 % |
280.91/280.98	c |    144542 |   81691   516034  1509285 | 2147483647   141193    150 | 33.017 % |
283.01/283.09	c |    145815 |   81690   516034  1509285 | 2147483647   142465    150 | 33.018 % |
286.81/286.89	c |    147215 |   81686   516034  1509285 | 2147483647   143863    151 | 33.052 % |
289.11/289.11	c |    148755 |   81686   516034  1509285 | 2147483647   145403    150 | 33.052 % |
289.51/289.51	c |    148858 |   81686   516034  1509285 | 2147483647   145506    150 | 33.052 % |
289.81/289.81	c |    148972 |   81686   516034  1509285 | 2147483647   145620    150 | 33.052 % |
290.21/290.25	c |    149095 |   81686   516034  1509285 | 2147483647   145743    151 | 33.052 % |
290.61/290.60	c |    149230 |   81682   516034  1509285 | 2147483647   145877    151 | 33.061 % |
290.91/290.96	c |    149376 |   81682   516034  1509285 | 2147483647   146023    151 | 33.061 % |
291.21/291.29	c |    149537 |   81682   516034  1509285 | 2147483647   146184    151 | 33.061 % |
291.81/291.89	c |    149715 |   81682   516034  1509285 | 2147483647   146362    151 | 33.061 % |
292.31/292.39	c |    149909 |   81682   516034  1509285 | 2147483647   146555    151 | 33.280 % |
292.61/292.61	c |    150123 |   81682   516034  1509285 | 2147483647   146769    150 | 33.280 % |
293.01/293.07	c |    150358 |   81682   516034  1509285 | 2147483647   147004    151 | 33.280 % |
294.01/294.03	c |    150615 |   81682   516034  1509285 | 2147483647   147261    151 | 33.280 % |
294.61/294.64	c |    150896 |   81682   516034  1509285 | 2147483647   147542    151 | 33.280 % |
295.51/295.58	c |    151205 |   81682   516034  1509285 | 2147483647   147851    151 | 33.280 % |
296.41/296.46	c |    151545 |   81681   516034  1509285 | 2147483647   148190    152 | 33.286 % |
297.21/297.23	c |    151917 |   81681   516034  1509285 | 2147483647   148562    152 | 33.286 % |
298.61/298.67	c |    152326 |   81681   516034  1509285 | 2147483647   148971    152 | 33.286 % |
299.51/299.59	c |    152776 |   81678   516034  1509285 | 2147483647   149418    152 | 33.293 % |
300.51/300.55	c |    153277 |   81677   516034  1509285 | 2147483647   149918    152 | 33.294 % |
301.91/301.99	c |    153820 |   81677   516034  1509285 | 2147483647   150461    152 | 33.294 % |
303.91/303.92	c |    154418 |   81677   516034  1509285 | 2147483647   151059    153 | 33.294 % |
305.51/305.55	c |    155075 |   81662   516034  1509285 | 2147483647   151714    153 | 33.348 % |
307.52/307.58	c |    155800 |   81227   512435  1499463 | 2147483647   152168    153 | 33.374 % |
309.52/309.58	c |    156592 |   81227   512435  1499463 | 2147483647   152960    154 | 33.374 % |
311.52/311.61	c |    157464 |   81227   512435  1499463 | 2147483647   153832    155 | 33.374 % |
314.72/314.74	c |    158422 |   81227   512435  1499463 | 2147483647   154790    156 | 33.374 % |
316.52/316.54	c |    159476 |   81222   512435  1499463 | 2147483647   155842    156 | 33.385 % |
319.22/319.23	c |    160638 |   81220   512435  1499463 | 2147483647   157003    156 | 33.401 % |
321.32/321.39	c |    161912 |   81220   512435  1499463 | 2147483647   158277    156 | 33.401 % |
324.82/324.89	c |    163315 |   81220   512435  1499463 | 2147483647   159680    157 | 33.401 % |
328.02/328.09	c |    164855 |   81202   512435  1499463 | 2147483647   161204    157 | 33.508 % |
332.32/332.35	c |    166550 |   81201   512435  1499463 | 2147483647   162898    157 | 33.509 % |
332.62/332.63	c |    166655 |   81201   512435  1499463 | 2147483647   163003    157 | 33.509 % |
332.82/332.86	c |    166767 |   81200   512435  1499463 | 2147483647   163114    157 | 33.509 % |
333.02/333.08	c |    166891 |   81200   512435  1499463 | 2147483647   163238    157 | 33.509 % |
333.42/333.50	c |    167024 |   81198   512435  1499463 | 2147483647   163370    157 | 33.519 % |
333.82/333.81	c |    167170 |   81198   512435  1499463 | 2147483647   163516    157 | 33.519 % |
334.22/334.23	c |    167330 |   81198   512435  1499463 | 2147483647   163676    157 | 33.519 % |
334.62/334.63	c |    167506 |   81198   512435  1499463 | 2147483647   163852    157 | 33.519 % |
334.92/334.92	c |    167699 |   81198   512435  1499463 | 2147483647   164045    157 | 33.519 % |
335.62/335.67	c |    167911 |   81198   512435  1499463 | 2147483647   164257    158 | 33.519 % |
336.22/336.25	c |    168144 |   81198   512435  1499463 | 2147483647   164490    158 | 33.519 % |
336.62/336.68	c |    168400 |   81198   512435  1499463 | 2147483647   164746    158 | 33.519 % |
337.42/337.49	c |    168683 |   81198   512435  1499463 | 2147483647   165029    158 | 33.519 % |
338.12/338.16	c |    168992 |   81197   512435  1499463 | 2147483647   165337    158 | 33.520 % |
338.82/338.89	c |    169332 |   81197   512435  1499463 | 2147483647   165677    158 | 33.520 % |
339.32/339.34	c |    169704 |   81197   512435  1499463 | 2147483647   166049    158 | 33.520 % |
340.22/340.24	c |    170116 |   81005   510913  1495222 | 2147483647   166368    158 | 33.547 % |
341.02/341.04	c |    170565 |   81005   510913  1495222 | 2147483647   166817    157 | 33.547 % |
342.12/342.16	c |    171058 |   80998   510913  1495222 | 2147483647   167308    157 | 33.612 % |
344.22/344.21	c |    171603 |   80998   510913  1495222 | 2147483647   167853    158 | 33.612 % |
345.62/345.70	c |    172201 |   80998   510913  1495222 | 2147483647   168451    158 | 33.612 % |
347.42/347.45	c |    172856 |   80997   510913  1495222 | 2147483647   169105    158 | 33.613 % |
349.12/349.15	c |    173577 |   80997   510913  1495222 | 2147483647   169826    159 | 33.613 % |
351.43/351.51	c |    174369 |   80995   510913  1495222 | 2147483647   170616    159 | 33.615 % |
353.73/353.81	c |    175240 |   80991   510913  1495222 | 2147483647   171485    159 | 33.658 % |
356.13/356.19	c |    176198 |   80943   510913  1495222 | 2147483647   172438    159 | 34.064 % |
359.03/359.05	c |    177253 |   80940   510913  1495222 | 2147483647   173491    160 | 34.066 % |
362.03/362.10	c |    178415 |   80940   510913  1495222 | 2147483647   174653    161 | 34.066 % |
365.23/365.30	c |    179688 |   80936   510913  1495222 | 2147483647   175925    161 | 34.073 % |
369.53/369.55	c |    181088 |   80934   510913  1495222 | 2147483647   177323    161 | 34.075 % |
373.23/373.23	c |    182628 |   80932   510913  1495222 | 2147483647   178861    162 | 34.085 % |
376.93/377.00	c |    184322 |   80925   510913  1495222 | 2147483647   180552    162 | 34.103 % |
380.93/381.00	c |    186186 |   80907   510913  1495222 | 2147483647   182414    162 | 34.148 % |
381.43/381.42	c |    186292 |   80256   499969  1465013 | 2147483647   176558    163 | 34.148 % |
381.53/381.61	c |    186402 |   80256   499969  1465013 | 2147483647   176668    163 | 34.148 % |
381.84/381.85	c |    186526 |   80256   499969  1465013 | 2147483647   176792    163 | 34.148 % |
382.23/382.24	c |    186661 |   80256   499969  1465013 | 2147483647   176927    163 | 34.148 % |
382.63/382.65	c |    186807 |   80255   499969  1465013 | 2147483647   177072    163 | 34.155 % |
383.13/383.17	c |    186968 |   80255   499969  1465013 | 2147483647   177233    163 | 34.155 % |
383.43/383.51	c |    187144 |   80255   499969  1465013 | 2147483647   177409    162 | 34.155 % |
383.83/383.89	c |    187337 |   80255   499969  1465013 | 2147483647   177602    163 | 34.155 % |
384.43/384.48	c |    187553 |   80255   499969  1465013 | 2147483647   177818    163 | 34.155 % |
385.03/385.11	c |    187787 |   80254   499969  1465013 | 2147483647   178051    163 | 34.157 % |
385.53/385.53	c |    188043 |   80254   499969  1465013 | 2147483647   178307    163 | 34.157 % |
386.03/386.07	c |    188324 |   80254   499969  1465013 | 2147483647   178587    163 | 34.165 % |
386.73/386.80	c |    188637 |   80252   499969  1465013 | 2147483647   178898    163 | 34.456 % |
387.83/387.86	c |    188976 |   80162   499969  1465013 | 2147483647   179235    163 | 34.526 % |
388.73/388.76	c |    189348 |   80162   499969  1465013 | 2147483647   179607    163 | 34.526 % |
389.33/389.36	c |    189757 |   80162   499969  1465013 | 2147483647   180016    163 | 34.526 % |
390.43/390.50	c |    190216 |   80162   499969  1465013 | 2147483647   180475    163 | 34.526 % |
392.03/392.03	c |    190714 |   80162   499969  1465013 | 2147483647   180973    163 | 34.526 % |
393.03/393.04	c |    191256 |   80161   499969  1465013 | 2147483647   181514    163 | 34.537 % |
394.73/394.80	c |    191853 |   80157   499969  1465013 | 2147483647   182111    164 | 34.537 % |
395.93/395.91	c |    192508 |   80157   499969  1465013 | 2147483647   182766    164 | 34.537 % |
397.63/397.68	c |    193228 |   80157   499969  1465013 | 2147483647   183485    164 | 34.538 % |
399.63/399.62	c |    194020 |   80157   499969  1465013 | 2147483647   184277    165 | 34.538 % |
401.73/401.76	c |    194894 |   80156   499969  1465013 | 2147483647   185150    165 | 34.597 % |
403.93/403.94	c |    195853 |   80155   499969  1465013 | 2147483647   186108    165 | 34.597 % |
406.44/406.42	c |    196912 |   80155   499969  1465013 | 2147483647   187167    165 | 34.597 % |
409.84/409.91	c |    198070 |   80155   499969  1465013 | 2147483647   188325    166 | 34.597 % |
413.24/413.24	c |    199350 |   80155   499969  1465013 | 2147483647   189605    167 | 34.597 % |
417.44/417.42	c |    200753 |   80155   499969  1465013 | 2147483647   191007    168 | 34.602 % |
423.44/423.50	c |    202296 |   80155   499969  1465013 | 2147483647   192550    170 | 34.602 % |
427.24/427.26	c |    203991 |   80100   499969  1465013 | 2147483647   194241    170 | 34.820 % |
432.84/432.82	c |    205859 |   80099   499969  1465013 | 2147483647   196108    171 | 34.821 % |
438.04/438.03	c |    207908 |   79428   491792  1442128 | 2147483647   194860    173 | 34.835 % |
438.34/438.33	c |    208008 |   79427   491792  1442128 | 2147483647   194959    173 | 34.836 % |
438.64/438.67	c |    208119 |   79425   491792  1442128 | 2147483647   195068    173 | 34.841 % |
438.84/438.92	c |    208240 |   79425   491792  1442128 | 2147483647   195189    173 | 34.841 % |
439.14/439.19	c |    208375 |   79425   491792  1442128 | 2147483647   195324    173 | 34.841 % |
439.64/439.63	c |    208522 |   79425   491792  1442128 | 2147483647   195471    173 | 34.841 % |
440.14/440.20	c |    208682 |   79425   491792  1442128 | 2147483647   195631    174 | 34.841 % |
440.44/440.47	c |    208863 |   79425   491792  1442128 | 2147483647   195812    174 | 34.841 % |
441.04/441.03	c |    209058 |   79424   491792  1442128 | 2147483647   196006    173 | 34.847 % |
441.34/441.41	c |    209272 |   79424   491792  1442128 | 2147483647   196220    174 | 34.847 % |
442.14/442.14	c |    209506 |   79424   491792  1442128 | 2147483647   196454    174 | 34.847 % |
442.64/442.69	c |    209769 |   79424   491792  1442128 | 2147483647   196717    174 | 34.847 % |
442.94/442.99	c |    210053 |   79424   491792  1442128 | 2147483647   197001    174 | 34.847 % |
444.24/444.28	c |    210362 |   79424   491792  1442128 | 2147483647   197310    174 | 34.847 % |
445.24/445.22	c |    210702 |   79424   491792  1442128 | 2147483647   197650    174 | 34.847 % |
446.44/446.43	c |    211078 |   79422   491792  1442128 | 2147483647   198024    174 | 34.849 % |
447.04/447.06	c |    211487 |   79422   491792  1442128 | 2147483647   198433    174 | 34.849 % |
448.44/448.50	c |    211940 |   79415   491792  1442128 | 2147483647   198884    174 | 34.858 % |
449.94/449.96	c |    212435 |   79415   491792  1442128 | 2147483647   199377    174 | 34.869 % |
451.54/451.56	c |    212977 |   79400   491792  1442128 | 2147483647   199917    174 | 34.898 % |
452.84/452.84	c |    213574 |   79400   491792  1442128 | 2147483647   200514    174 | 34.898 % |
454.64/454.69	c |    214230 |   79400   491792  1442128 | 2147483647   201170    174 | 34.898 % |
456.14/456.13	c |    214950 |   79400   491792  1442128 | 2147483647   201890    174 | 34.898 % |
458.14/458.19	c |    215748 |   79395   491792  1442128 | 2147483647   202685    175 | 34.908 % |
460.64/460.63	c |    216622 |   79395   491792  1442128 | 2147483647   203559    175 | 34.908 % |
462.94/463.00	c |    217584 |   79395   491792  1442128 | 2147483647   204521    175 | 34.908 % |
465.54/465.57	c |    218637 |   79395   491792  1442128 | 2147483647   205574    175 | 34.908 % |
469.34/469.35	c |    219796 |   79395   491792  1442128 | 2147483647   206733    176 | 34.908 % |
471.44/471.51	c |    221070 |   79395   491792  1442128 | 2147483647   208006    176 | 34.908 % |
475.44/475.49	c |    222470 |   79394   491792  1442128 | 2147483647   209405    177 | 34.915 % |
480.34/480.41	c |    224012 |   79394   491792  1442128 | 2147483647   210947    178 | 34.915 % |
486.84/486.86	c |    225706 |   79393   491792  1442128 | 2147483647   212640    179 | 34.916 % |
491.85/491.87	c |    227569 |   79368   491792  1442128 | 2147483647   214500    179 | 34.988 % |
497.84/497.88	c |    229618 |   79231   490594  1439262 | 2147483647   216330    180 | 34.996 % |
503.65/503.65	c |    231871 |   79231   490594  1439262 | 2147483647   218583    180 | 34.996 % |
504.05/504.04	c |    231971 |   79231   490594  1439262 | 2147483647   218683    180 | 34.996 % |
504.45/504.43	c |    232081 |   79231   490594  1439262 | 2147483647   218793    180 | 34.996 % |
504.75/504.75	c |    232206 |   79227   490594  1439262 | 2147483647   218917    180 | 35.004 % |
505.35/505.34	c |    232341 |   79227   490594  1439262 | 2147483647   219052    180 | 35.004 % |
505.85/505.88	c |    232487 |   79227   490594  1439262 | 2147483647   219198    181 | 35.004 % |
506.55/506.55	c |    232649 |   79227   490594  1439262 | 2147483647   219360    181 | 35.004 % |
506.85/506.86	c |    232826 |   79227   490594  1439262 | 2147483647   219537    180 | 35.004 % |
507.25/507.26	c |    233019 |   79227   490594  1439262 | 2147483647   219730    181 | 35.004 % |
507.75/507.82	c |    233234 |   79224   490594  1439262 | 2147483647   219944    181 | 35.034 % |
508.25/508.24	c |    233467 |   79224   490594  1439262 | 2147483647   220177    181 | 35.034 % |
508.75/508.78	c |    233724 |   79224   490594  1439262 | 2147483647   220434    181 | 35.034 % |
509.55/509.59	c |    234005 |   79224   490594  1439262 | 2147483647   220715    181 | 35.034 % |
510.45/510.48	c |    234314 |   79223   490594  1439262 | 2147483647   221023    181 | 35.044 % |
511.35/511.37	c |    234653 |   79222   490594  1439262 | 2147483647   221360    181 | 35.059 % |
512.55/512.55	c |    235025 |   79220   490594  1439262 | 2147483647   221731    181 | 35.060 % |
513.35/513.37	c |    235434 |   79220   490594  1439262 | 2147483647   222140    181 | 35.060 % |
515.25/515.23	c |    235883 |   79220   490594  1439262 | 2147483647   222589    181 | 35.060 % |
516.55/516.56	c |    236376 |   79220   490594  1439262 | 2147483647   223082    182 | 35.060 % |
518.45/518.47	c |    236921 |   79220   490594  1439262 | 2147483647   223627    182 | 35.060 % |
519.85/519.83	c |    237519 |   79217   490594  1439262 | 2147483647   224222    182 | 35.077 % |
521.25/521.26	c |    238174 |   79215   490594  1439262 | 2147483647   224876    182 | 35.079 % |
523.35/523.42	c |    238899 |   79213   490594  1439262 | 2147483647   225600    182 | 35.087 % |
525.25/525.26	c |    239692 |   79213   490594  1439262 | 2147483647   226393    182 | 35.087 % |
528.55/528.52	c |    240564 |   79212   490594  1439262 | 2147483647   227264    182 | 35.088 % |
530.55/530.54	c |    241522 |   79209   490594  1439262 | 2147483647   228221    183 | 35.102 % |
533.85/533.89	c |    242575 |   79203   490594  1439262 | 2147483647   229272    183 | 35.187 % |
537.25/537.24	c |    243735 |   79201   490594  1439262 | 2147483647   230430    183 | 35.198 % |
541.65/541.62	c |    245010 |   79201   490594  1439262 | 2147483647   231704    183 | 35.210 % |
544.95/544.92	c |    246412 |   79201   490594  1439262 | 2147483647   233106    184 | 35.210 % |
549.95/549.95	c |    247956 |   79199   490594  1439262 | 2147483647   234648    184 | 35.219 % |
554.85/554.84	c |    249657 |   79194   490594  1439262 | 2147483647   236346    185 | 35.225 % |
559.25/559.29	c |    251523 |   78942   488491  1433731 | 2147483647   237715    186 | 35.226 % |
565.45/565.48	c |    253574 |   78942   488491  1433731 | 2147483647   239766    186 | 35.226 % |
571.85/571.90	c |    255827 |   78938   488491  1433731 | 2147483647   242015    187 | 35.242 % |
578.76/578.74	c |    258308 |   78938   488491  1433731 | 2147483647   244496    188 | 35.242 % |
579.05/579.09	c |    258408 |   78938   488491  1433731 | 2147483647   244596    188 | 35.242 % |
579.35/579.34	c |    258518 |   78938   488491  1433731 | 2147483647   244706    188 | 35.242 % |
579.86/579.84	c |    258639 |   78936   488491  1433731 | 2147483647   244826    188 | 35.246 % |
580.15/580.15	c |    258772 |   78934   488491  1433731 | 2147483647   244958    188 | 35.247 % |
580.35/580.37	c |    258918 |   78934   488491  1433731 | 2147483647   245104    188 | 35.247 % |
580.75/580.82	c |    259078 |   78928   488491  1433731 | 2147483647   245261    188 | 35.274 % |
581.35/581.35	c |    259254 |   78928   488491  1433731 | 2147483647   245437    188 | 35.274 % |
581.95/581.99	c |    259447 |   78928   488491  1433731 | 2147483647   245630    188 | 35.274 % |
582.45/582.44	c |    259659 |   78928   488491  1433731 | 2147483647   245842    188 | 35.274 % |
583.55/583.58	c |    259898 |   78928   488491  1433731 | 2147483647   246081    188 | 35.274 % |
584.26/584.27	c |    260161 |   78928   488491  1433731 | 2147483647   246344    188 | 35.274 % |
584.85/584.82	c |    260443 |   78927   488491  1433731 | 2147483647   246625    188 | 35.282 % |
585.75/585.80	c |    260753 |   78927   488491  1433731 | 2147483647   246935    188 | 35.282 % |
587.05/587.04	c |    261092 |   78927   488491  1433731 | 2147483647   247274    188 | 35.282 % |
588.25/588.31	c |    261465 |   78927   488491  1433731 | 2147483647   247647    188 | 35.282 % |
589.45/589.42	c |    261875 |   78927   488491  1433731 | 2147483647   248057    189 | 35.282 % |
590.95/590.94	c |    262324 |   78922   488491  1433731 | 2147483647   248505    189 | 35.291 % |
591.96/591.99	c |    262818 |   78922   488491  1433731 | 2147483647   248999    189 | 35.291 % |
594.05/594.03	c |    263361 |   78921   488491  1433731 | 2147483647   249541    190 | 35.338 % |
595.85/595.86	c |    263957 |   78916   488491  1433731 | 2147483647   250136    190 | 35.349 % |
597.95/597.95	c |    264612 |   78916   488491  1433731 | 2147483647   250791    190 | 35.349 % |
601.26/601.24	c |    265332 |   78916   488491  1433731 | 2147483647   251511    190 | 35.349 % |
603.45/603.49	c |    266126 |   78916   488491  1433731 | 2147483647   252305    190 | 35.349 % |
605.55/605.57	c |    266998 |   78916   488491  1433731 | 2147483647   253177    190 | 35.349 % |
608.25/608.31	c |    267957 |   78912   488491  1433731 | 2147483647   254133    190 | 35.380 % |
610.85/610.82	c |    269010 |   78912   488491  1433731 | 2147483647   255186    190 | 35.380 % |
613.95/613.96	c |    270168 |   78903   488491  1433731 | 2147483647   256342    190 | 35.406 % |
617.35/617.40	c |    271442 |   78903   488491  1433731 | 2147483647   257616    191 | 35.406 % |
621.75/621.72	c |    272844 |   78898   488491  1433731 | 2147483647   259017    191 | 35.414 % |
626.75/626.78	c |    274391 |   78898   488491  1433731 | 2147483647   260564    193 | 35.414 % |
631.75/631.71	c |    276085 |   78897   488491  1433731 | 2147483647   262257    193 | 35.421 % |
639.55/639.60	c |    277950 |   78897   488491  1433731 | 2147483647   264122    195 | 35.421 % |
646.25/646.30	c |    279999 |   78896   488491  1433731 | 2147483647   266170    195 | 35.422 % |
653.15/653.13	c |    282252 |   78700   486857  1429585 | 2147483647   267209    196 | 35.434 % |
661.45/661.49	c |    284730 |   78664   486857  1429585 | 2147483647   269679    197 | 35.652 % |
669.45/669.44	c |    287455 |   78662   486857  1429585 | 2147483647   272402    199 | 35.675 % |
669.75/669.73	c |    287556 |   78662   486857  1429585 | 2147483647   272503    199 | 35.675 % |
670.06/670.06	c |    287666 |   78662   486857  1429585 | 2147483647   272613    199 | 35.675 % |
670.35/670.33	c |    287792 |   78662   486857  1429585 | 2147483647   272739    199 | 35.675 % |
670.85/670.90	c |    287925 |   78662   486857  1429585 | 2147483647   272872    199 | 35.675 % |
671.45/671.47	c |    288071 |   78662   486857  1429585 | 2147483647   273018    199 | 35.675 % |
671.95/671.97	c |    288231 |   78662   486857  1429585 | 2147483647   273178    199 | 35.675 % |
672.45/672.49	c |    288407 |   78662   486857  1429585 | 2147483647   273354    199 | 35.675 % |
673.25/673.26	c |    288601 |   78662   486857  1429585 | 2147483647   273548    199 | 35.675 % |
673.95/674.00	c |    288813 |   78662   486857  1429585 | 2147483647   273760    200 | 35.675 % |
675.15/675.13	c |    289047 |   78662   486857  1429585 | 2147483647   273994    200 | 35.675 % |
676.05/676.09	c |    289305 |   78653   486857  1429585 | 2147483647   274250    200 | 35.720 % |
677.05/677.02	c |    289591 |   78649   486857  1429585 | 2147483647   274534    200 | 36.096 % |
678.25/678.24	c |    289901 |   78648   486857  1429585 | 2147483647   274843    200 | 36.104 % |
679.45/679.45	c |    290241 |   78648   486857  1429585 | 2147483647   275183    200 | 36.104 % |
680.85/680.83	c |    290617 |   78647   486857  1429585 | 2147483647   275558    200 | 36.106 % |
682.05/682.03	c |    291026 |   78647   486857  1429585 | 2147483647   275967    200 | 36.106 % |
683.55/683.53	c |    291480 |   78647   486857  1429585 | 2147483647   276421    200 | 36.106 % |
685.25/685.25	c |    291973 |   78645   486857  1429585 | 2147483647   276911    200 | 36.120 % |
687.35/687.36	c |    292517 |   78645   486857  1429585 | 2147483647   277455    200 | 36.120 % |
689.65/689.67	c |    293114 |   78645   486857  1429585 | 2147483647   278052    201 | 36.120 % |
691.65/691.65	c |    293772 |   78629   486857  1429585 | 2147483647   278708    201 | 36.142 % |
693.16/693.17	c |    294494 |   78626   486857  1429585 | 2147483647   279429    201 | 36.149 % |
695.25/695.22	c |    295286 |   78626   486857  1429585 | 2147483647   280221    201 | 36.149 % |
698.86/698.87	c |    296162 |   78619   486857  1429585 | 2147483647   281095    201 | 36.248 % |
701.36/701.33	c |    297120 |   78619   486857  1429585 | 2147483647   282053    201 | 36.248 % |
705.36/705.41	c |    298173 |   78619   486857  1429585 | 2147483647   283106    202 | 36.248 % |
708.26/708.25	c |    299333 |   78619   486857  1429585 | 2147483647   284266    202 | 36.248 % |
713.06/713.02	c |    300606 |   78617   486857  1429585 | 2147483647   285538    203 | 36.272 % |
717.06/717.03	c |    302006 |   78617   486857  1429585 | 2147483647   286938    203 | 36.272 % |
721.86/721.89	c |    303546 |   78616   486857  1429585 | 2147483647   288477    204 | 36.274 % |
727.26/727.25	c |    305243 |   78615   486857  1429585 | 2147483647   290172    204 | 36.326 % |
733.06/733.10	c |    307108 |   78613   486857  1429585 | 2147483647   292034    205 | 36.352 % |
739.96/739.91	c |    309160 |   78612   486857  1429585 | 2147483647   294083    205 | 36.356 % |
746.76/746.72	c |    311414 |   78612   486857  1429585 | 2147483647   296337    205 | 36.356 % |
754.56/754.60	c |    313892 |   77535   479870  1411635 | 2147483647   298420    206 | 36.610 % |
762.66/762.68	c |    316618 |   77534   479870  1411635 | 2147483647   301145    207 | 36.611 % |
770.76/770.77	c |    319615 |   77533   479870  1411635 | 2147483647   304141    208 | 36.612 % |
771.16/771.12	c |    319715 |   77533   479870  1411635 | 2147483647   304241    208 | 36.612 % |
771.56/771.59	c |    319828 |   77533   479870  1411635 | 2147483647   304354    208 | 36.612 % |
772.06/772.08	c |    319949 |   77533   479870  1411635 | 2147483647   304475    208 | 36.612 % |
772.26/772.30	c |    320082 |   77533   479870  1411635 | 2147483647   304608    208 | 36.612 % |
772.86/772.88	c |    320229 |   77530   479870  1411635 | 2147483647   304754    208 | 36.630 % |
773.56/773.53	c |    320396 |   77530   479870  1411635 | 2147483647   304921    208 | 36.630 % |
774.06/774.09	c |    320574 |   77530   479870  1411635 | 2147483647   305099    207 | 36.630 % |
774.86/774.88	c |    320769 |   77530   479870  1411635 | 2147483647   305294    207 | 36.630 % |
775.56/775.57	c |    320982 |   77528   479870  1411635 | 2147483647   305506    207 | 36.659 % |
775.86/775.86	c |    321215 |   77528   479870  1411635 | 2147483647   305739    207 | 36.659 % |
777.26/777.23	c |    321473 |   77528   479870  1411635 | 2147483647   305997    208 | 36.659 % |
778.06/778.07	c |    321757 |   77528   479870  1411635 | 2147483647   306281    208 | 36.659 % |
779.36/779.33	c |    322071 |   77528   479870  1411635 | 2147483647   306595    208 | 36.659 % |
779.96/779.94	c |    322411 |   77528   479870  1411635 | 2147483647   306935    208 | 36.659 % |
781.46/781.42	c |    322785 |   77528   479870  1411635 | 2147483647   307309    208 | 36.659 % |
783.37/783.35	c |    323198 |   77528   479870  1411635 | 2147483647   307721    208 | 36.659 % |
785.06/785.01	c |    323647 |   77528   479870  1411635 | 2147483647   308170    208 | 36.659 % |
786.56/786.57	c |    324140 |   77527   479870  1411635 | 2147483647   308662    208 | 36.668 % |
788.16/788.17	c |    324682 |   77526   479870  1411635 | 2147483647   309203    208 | 36.668 % |
789.97/790.00	c |    325280 |   77522   479870  1411635 | 2147483647   309799    208 | 36.682 % |
791.76/791.80	c |    325938 |   77522   479870  1411635 | 2147483647   310457    208 | 36.682 % |
794.26/794.21	c |    326658 |   77521   479870  1411635 | 2147483647   311176    208 | 36.682 % |
796.37/796.39	c |    327450 |   77521   479870  1411635 | 2147483647   311968    209 | 36.682 % |
799.77/799.74	c |    328333 |   77521   479870  1411635 | 2147483647   312851    209 | 36.682 % |
803.07/803.11	c |    329294 |   77521   479870  1411635 | 2147483647   313812    209 | 36.682 % |
806.57/806.57	c |    330357 |   77517   479870  1411635 | 2147483647   314873    210 | 36.700 % |
810.47/810.45	c |    331521 |   77514   479870  1411635 | 2147483647   316036    210 | 36.710 % |
814.47/814.45	c |    332795 |   77514   479870  1411635 | 2147483647   317310    210 | 36.710 % |
817.67/817.66	c |    334195 |   77514   479870  1411635 | 2147483647   318710    210 | 36.710 % |
823.07/823.10	c |    335735 |   77514   479870  1411635 | 2147483647   320250    210 | 36.710 % |
828.67/828.63	c |    337430 |   77514   479870  1411635 | 2147483647   321945    210 | 36.710 % |
834.07/834.08	c |    339293 |   77514   479870  1411635 | 2147483647   323808    210 | 36.710 % |
840.17/840.18	c |    341348 |   77492   479870  1411635 | 2147483647   325848    211 | 37.344 % |
846.97/846.95	c |    343605 |   77487   479870  1411635 | 2147483647   328102    210 | 37.483 % |
856.37/856.32	c |    346086 |   77482   479870  1411635 | 2147483647   330581    211 | 37.784 % |
867.47/867.50	c |    348812 |   77482   479870  1411635 | 2147483647   333307    212 | 37.784 % |
877.77/877.72	c |    351814 |   77481   479870  1411635 | 2147483647   336308    213 | 37.789 % |
891.37/891.34	c |    355115 |   75814   460032  1357421 | 2147483647   337166    214 | 37.794 % |
891.77/891.71	c |    355215 |   75813   460032  1357421 | 2147483647   337264    214 | 37.840 % |
892.37/892.36	c |    355325 |   75797   460032  1357421 | 2147483647   337374    214 | 37.840 % |
892.87/892.87	c |    355446 |   75797   460032  1357421 | 2147483647   337495    214 | 37.840 % |
893.38/893.38	c |    355582 |   75797   460032  1357421 | 2147483647   337631    214 | 37.840 % |
893.98/893.96	c |    355728 |   75797   460032  1357421 | 2147483647   337777    214 | 37.840 % |
894.48/894.46	c |    355892 |   75797   460032  1357421 | 2147483647   337941    214 | 37.840 % |
895.28/895.25	c |    356073 |   75797   460032  1357421 | 2147483647   338122    214 | 37.840 % |
895.78/895.76	c |    356267 |   75797   460032  1357421 | 2147483647   338316    214 | 37.840 % |
896.88/896.88	c |    356480 |   75797   460032  1357421 | 2147483647   338529    215 | 37.840 % |
897.98/897.99	c |    356713 |   75797   460032  1357421 | 2147483647   338762    215 | 37.840 % |
898.88/898.89	c |    356970 |   75797   460032  1357421 | 2147483647   339019    215 | 37.840 % |
899.98/899.93	c |    357253 |   75797   460032  1357421 | 2147483647   339302    215 | 37.840 % |
900.88/900.90	c |    357562 |   75796   460032  1357421 | 2147483647   339610    215 | 37.845 % |
901.88/901.87	c |    357901 |   75796   460032  1357421 | 2147483647   339949    215 | 37.845 % |
903.18/903.14	c |    358274 |   75796   460032  1357421 | 2147483647   340322    215 | 37.845 % |
904.48/904.43	c |    358683 |   75795   460032  1357421 | 2147483647   340730    215 | 37.867 % |
906.38/906.42	c |    359132 |   75795   460032  1357421 | 2147483647   341179    215 | 37.867 % |
908.28/908.26	c |    359625 |   75795   460032  1357421 | 2147483647   341672    215 | 37.867 % |
910.48/910.42	c |    360167 |   75795   460032  1357421 | 2147483647   342214    215 | 37.867 % |
911.98/912.00	c |    360765 |   75795   460032  1357421 | 2147483647   342812    215 | 37.867 % |
914.18/914.19	c |    361422 |   75794   460032  1357421 | 2147483647   343468    215 | 37.885 % |
917.48/917.43	c |    362144 |   75793   460032  1357421 | 2147483647   344189    215 | 37.885 % |
919.58/919.61	c |    362936 |   75793   460032  1357421 | 2147483647   344981    215 | 37.885 % |
923.08/923.03	c |    363807 |   75766   460032  1357421 | 2147483647   345844    215 | 38.602 % |
926.88/926.82	c |    364766 |   75764   460032  1357421 | 2147483647   346801    215 | 38.604 % |
930.78/930.78	c |    365823 |   75764   460032  1357421 | 2147483647   347858    216 | 38.604 % |
935.48/935.45	c |    366982 |   75764   460032  1357421 | 2147483647   349017    217 | 38.604 % |
939.58/939.56	c |    368256 |   75764   460032  1357421 | 2147483647   350291    217 | 38.604 % |
943.88/943.86	c |    369656 |   75764   460032  1357421 | 2147483647   351691    217 | 38.604 % |
949.38/949.33	c |    371197 |   75764   460032  1357421 | 2147483647   353232    217 | 38.604 % |
955.98/955.97	c |    372895 |   75764   460032  1357421 | 2147483647   354929    218 | 38.680 % |
964.57/964.59	c |    374758 |   75755   460032  1357421 | 2147483647   356788    218 | 38.738 % |
971.77/971.71	c |    376809 |   75751   460032  1357421 | 2147483647   358835    218 | 38.754 % |
980.57/980.54	c |    379063 |   75751   460032  1357421 | 2147483647   361089    219 | 38.754 % |
989.17/989.14	c |    381543 |   75751   460032  1357421 | 2147483647   363569    219 | 38.754 % |
996.08/996.09	c |    384268 |   75751   460032  1357421 | 2147483647   366294    219 | 38.754 % |
1008.18/1008.20	c |    387265 |   75751   460032  1357421 | 2147483647   369291    221 | 38.754 % |
1022.88/1022.86	c |    390561 |   75750   460032  1357421 | 2147483647   372586    222 | 38.757 % |
1032.58/1032.59	c |    394186 |   75750   460032  1357421 | 2147483647   376211    224 | 38.757 % |
1032.98/1032.98	c |    394287 |   75750   460032  1357421 | 2147483647   376312    224 | 38.757 % |
1033.38/1033.32	c |    394399 |   75750   460032  1357421 | 2147483647   376424    224 | 38.757 % |
1033.68/1033.69	c |    394520 |   75750   460032  1357421 | 2147483647   376545    224 | 38.757 % |
1034.28/1034.21	c |    394657 |   75750   460032  1357421 | 2147483647   376682    224 | 38.757 % |
1034.78/1034.74	c |    394805 |   75750   460032  1357421 | 2147483647   376830    224 | 38.757 % |
1035.58/1035.55	c |    394966 |   75750   460032  1357421 | 2147483647   376991    224 | 38.757 % |
1036.08/1036.04	c |    395145 |   75750   460032  1357421 | 2147483647   377170    224 | 38.757 % |
1036.58/1036.54	c |    395340 |   75750   460032  1357421 | 2147483647   377365    224 | 38.757 % |
1037.68/1037.65	c |    395553 |   75750   460032  1357421 | 2147483647   377578    224 | 38.757 % |
1038.58/1038.58	c |    395787 |   75750   460032  1357421 | 2147483647   377812    224 | 38.757 % |
1039.38/1039.37	c |    396044 |   75750   460032  1357421 | 2147483647   378069    224 | 38.757 % |
1040.38/1040.35	c |    396327 |   75750   460032  1357421 | 2147483647   378352    225 | 38.757 % |
1041.58/1041.51	c |    396638 |   75750   460032  1357421 | 2147483647   378663    225 | 38.757 % |
1043.18/1043.14	c |    396978 |   75750   460032  1357421 | 2147483647   379003    225 | 38.757 % |
1044.38/1044.32	c |    397351 |   75750   460032  1357421 | 2147483647   379375    225 | 38.758 % |
1046.08/1046.02	c |    397763 |   75749   460032  1357421 | 2147483647   379787    225 | 38.758 % |
1047.58/1047.53	c |    398212 |   75749   460032  1357421 | 2147483647   380236    225 | 38.758 % |
1049.48/1049.42	c |    398705 |   75749   460032  1357421 | 2147483647   380729    225 | 38.758 % |
1051.38/1051.35	c |    399247 |   75749   460032  1357421 | 2147483647   381271    225 | 38.758 % |
1053.48/1053.50	c |    399845 |   75748   460032  1357421 | 2147483647   381868    225 | 38.759 % |
1056.48/1056.45	c |    400502 |   75747   460032  1357421 | 2147483647   382524    225 | 38.760 % |
1060.08/1060.01	c |    401222 |   74635   442255  1307361 | 2147483647   360455    226 | 38.760 % |
1062.98/1062.97	c |    402017 |   74635   442255  1307361 | 2147483647   361250    226 | 38.760 % |
1067.19/1067.13	c |    402889 |   74635   442255  1307361 | 2147483647   362122    226 | 38.760 % |
1070.58/1070.60	c |    403847 |   74634   442255  1307361 | 2147483647   363079    226 | 38.761 % |
1073.88/1073.82	c |    404900 |   74634   442255  1307361 | 2147483647   364132    226 | 38.761 % |
1079.58/1079.52	c |    406063 |   74634   442255  1307361 | 2147483647   365295    227 | 38.761 % |
1085.38/1085.30	c |    407336 |   74634   442255  1307361 | 2147483647   366568    227 | 38.761 % |
1090.49/1090.44	c |    408736 |   74634   442255  1307361 | 2147483647   367968    228 | 38.761 % |
1097.19/1097.19	c |    410280 |   74634   442255  1307361 | 2147483647   369511    228 | 38.762 % |
1103.79/1103.72	c |    411977 |   74634   442255  1307361 | 2147483647   371208    229 | 38.762 % |
1109.49/1109.46	c |    413840 |   74634   442255  1307361 | 2147483647   373071    229 | 38.762 % |
1118.19/1118.13	c |    415890 |   74634   442255  1307361 | 2147483647   375121    230 | 38.762 % |
1127.29/1127.24	c |    418143 |   74633   442255  1307361 | 2147483647   377372    230 | 38.763 % |
1136.19/1136.17	c |    420621 |   74632   442255  1307361 | 2147483647   379848    231 | 38.769 % |
1145.49/1145.45	c |    423347 |   74631   442255  1307361 | 2147483647   382571    231 | 38.791 % |
1155.99/1155.95	c |    426346 |   74630   442255  1307361 | 2147483647   385569    231 | 38.792 % |
1170.30/1170.24	c |    429642 |   74629   442255  1307361 | 2147483647   388864    232 | 38.794 % |
1186.30/1186.24	c |    433269 |   74620   442255  1307361 | 2147483647   392483    232 | 38.905 % |

Verifier Data 

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

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1821616-1242543796/watcher-1821616-1242543796 -o /tmp/evaluation-result-1821616-1242543796/solver-1821616-1242543796 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821616-1242543796.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 20350
/proc/meminfo: memFree=310128/2074464 swapFree=1949056/1959888
[pid=20350] ppid=20348 vsize=2416 CPUtime=0
/proc/20350/stat : 20350 (SatELiteGTI) S 20348 20350 14060 0 -1 4194304 367 648 0 0 0 0 0 0 25 0 1 0 1018877003 2473984 277 4294967295 134512640 135169312 3216748304 3216746840 3084967662 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/20350/statm: 604 277 235 161 0 43 0
[pid=20354] ppid=20350 vsize=820 CPUtime=0
/proc/20354/stat : 20354 (SatELite_releas) R 20350 20350 14060 0 -1 4202496 81 0 0 0 0 0 0 0 25 0 1 0 1018877003 839680 17 4294967295 134512640 135223648 3213708304 3213708076 134730736 0 0 0 0 0 0 0 17 3 0 0 0
/proc/20354/statm: 238 30 24 174 0 63 0

[startup+0.109026 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 20350
/proc/meminfo: memFree=310128/2074464 swapFree=1949056/1959888
[pid=20350] ppid=20348 vsize=2416 CPUtime=0
/proc/20350/stat : 20350 (SatELiteGTI) S 20348 20350 14060 0 -1 4194304 367 648 0 0 0 0 0 0 25 0 1 0 1018877003 2473984 277 4294967295 134512640 135169312 3216748304 3216746840 3084967662 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/20350/statm: 604 277 235 161 0 43 0
[pid=20354] ppid=20350 vsize=29488 CPUtime=0.11
/proc/20354/stat : 20354 (SatELite_releas) R 20350 20350 14060 0 -1 4202496 5672 0 0 0 10 1 0 0 25 0 1 0 1018877003 30195712 5504 4294967295 134512640 135223648 3213708304 3213706888 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20354/statm: 7372 5504 46 174 0 7197 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 31904

[startup+0.209017 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 20350
/proc/meminfo: memFree=310128/2074464 swapFree=1949056/1959888
[pid=20350] ppid=20348 vsize=2416 CPUtime=0
/proc/20350/stat : 20350 (SatELiteGTI) S 20348 20350 14060 0 -1 4194304 367 648 0 0 0 0 0 0 25 0 1 0 1018877003 2473984 277 4294967295 134512640 135169312 3216748304 3216746840 3084967662 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/20350/statm: 604 277 235 161 0 43 0
[pid=20354] ppid=20350 vsize=40956 CPUtime=0.21
/proc/20354/stat : 20354 (SatELite_releas) R 20350 20350 14060 0 -1 4202496 8516 0 0 0 19 2 0 0 25 0 1 0 1018877003 41938944 8348 4294967295 134512640 135223648 3213708304 3213706872 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20354/statm: 10239 8349 46 174 0 10064 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 43372

[startup+0.309008 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 20350
/proc/meminfo: memFree=310128/2074464 swapFree=1949056/1959888
[pid=20350] ppid=20348 vsize=2416 CPUtime=0
/proc/20350/stat : 20350 (SatELiteGTI) S 20348 20350 14060 0 -1 4194304 367 648 0 0 0 0 0 0 25 0 1 0 1018877003 2473984 277 4294967295 134512640 135169312 3216748304 3216746840 3084967662 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/20350/statm: 604 277 235 161 0 43 0
[pid=20354] ppid=20350 vsize=49372 CPUtime=0.31
/proc/20354/stat : 20354 (SatELite_releas) R 20350 20350 14060 0 -1 4202496 10477 0 0 0 26 5 0 0 25 0 1 0 1018877003 50556928 10309 4294967295 134512640 135223648 3213708304 3213707256 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20354/statm: 12343 10310 46 174 0 12168 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 51788

[startup+0.708974 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 20350
/proc/meminfo: memFree=310128/2074464 swapFree=1949056/1959888
[pid=20350] ppid=20348 vsize=2416 CPUtime=0
/proc/20350/stat : 20350 (SatELiteGTI) S 20348 20350 14060 0 -1 4194304 367 648 0 0 0 0 0 0 25 0 1 0 1018877003 2473984 277 4294967295 134512640 135169312 3216748304 3216746840 3084967662 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/20350/statm: 604 277 235 161 0 43 0
[pid=20354] ppid=20350 vsize=72276 CPUtime=0.71
/proc/20354/stat : 20354 (SatELite_releas) R 20350 20350 14060 0 -1 4202496 16151 0 0 0 60 11 0 0 25 0 1 0 1018877003 74010624 15983 4294967295 134512640 135223648 3213708304 3213707256 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20354/statm: 18069 15983 46 174 0 17894 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 74692

[startup+1.5089 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 20355
/proc/meminfo: memFree=210656/2074464 swapFree=1949056/1959888
[pid=20350] ppid=20348 vsize=2416 CPUtime=0
/proc/20350/stat : 20350 (SatELiteGTI) S 20348 20350 14060 0 -1 4194304 367 648 0 0 0 0 0 0 25 0 1 0 1018877003 2473984 277 4294967295 134512640 135169312 3216748304 3216746840 3084967662 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/20350/statm: 604 277 235 161 0 43 0
[pid=20354] ppid=20350 vsize=116136 CPUtime=1.51
/proc/20354/stat : 20354 (SatELite_releas) R 20350 20350 14060 0 -1 4202496 26836 0 0 0 134 17 0 0 25 0 1 0 1018877003 118923264 26668 4294967295 134512640 135223648 3213708304 3213706800 134548963 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20354/statm: 29034 26668 68 174 0 28859 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 118552

[startup+3.10876 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 20355
/proc/meminfo: memFree=186724/2074464 swapFree=1949056/1959888
[pid=20350] ppid=20348 vsize=2416 CPUtime=0
/proc/20350/stat : 20350 (SatELiteGTI) S 20348 20350 14060 0 -1 4194304 367 648 0 0 0 0 0 0 25 0 1 0 1018877003 2473984 277 4294967295 134512640 135169312 3216748304 3216746840 3084967662 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/20350/statm: 604 277 235 161 0 43 0
[pid=20354] ppid=20350 vsize=142120 CPUtime=3.11
/proc/20354/stat : 20354 (SatELite_releas) R 20350 20350 14060 0 -1 4202496 35035 0 0 0 291 20 0 0 25 0 1 0 1018877003 145530880 31803 4294967295 134512640 135223648 3213708304 3213706320 134586733 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20354/statm: 35530 31803 73 174 0 35355 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 144536

[startup+6.30849 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 20355
/proc/meminfo: memFree=176704/2074464 swapFree=1949056/1959888
[pid=20350] ppid=20348 vsize=2416 CPUtime=0
/proc/20350/stat : 20350 (SatELiteGTI) S 20348 20350 14060 0 -1 4194304 367 648 0 0 0 0 0 0 25 0 1 0 1018877003 2473984 277 4294967295 134512640 135169312 3216748304 3216746840 3084967662 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/20350/statm: 604 277 235 161 0 43 0
[pid=20354] ppid=20350 vsize=153468 CPUtime=6.31
/proc/20354/stat : 20354 (SatELite_releas) R 20350 20350 14060 0 -1 4202496 40676 0 0 0 611 20 0 0 25 0 1 0 1018877003 157151232 34080 4294967295 134512640 135223648 3213708304 3213706400 134585542 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20354/statm: 38367 34080 73 174 0 38192 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 155884

[startup+12.7079 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 20356
/proc/meminfo: memFree=239868/2074464 swapFree=1949056/1959888
[pid=20350] ppid=20348 vsize=2420 CPUtime=8.25
/proc/20350/stat : 20350 (SatELiteGTI) S 20348 20350 14060 0 -1 4194304 387 43714 0 0 0 0 800 25 18 0 1 0 1018877003 2478080 279 4294967295 134512640 135169312 3216748304 3216744520 3084967662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20350/statm: 605 279 235 161 0 44 0
[pid=20356] ppid=20350 vsize=47388 CPUtime=4.45
/proc/20356/stat : 20356 (minisat_static) R 20350 20350 14060 0 -1 4202496 11250 0 0 0 439 6 0 0 25 0 1 0 1018877829 48525312 11161 4294967295 134512640 135215339 3216287472 3216285760 134528666 0 0 0 3 0 0 0 17 1 0 0 0
/proc/20356/statm: 11847 11161 73 172 0 11674 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 49808

[startup+25.5168 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 20540
/proc/meminfo: memFree=238952/2074464 swapFree=1949056/1959888
[pid=20350] ppid=20348 vsize=2420 CPUtime=8.25
/proc/20350/stat : 20350 (SatELiteGTI) S 20348 20350 14060 0 -1 4194304 387 43714 0 0 0 0 800 25 18 0 1 0 1018877003 2478080 279 4294967295 134512640 135169312 3216748304 3216744520 3084967662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20350/statm: 605 279 235 161 0 44 0
[pid=20356] ppid=20350 vsize=48060 CPUtime=17.26
/proc/20356/stat : 20356 (minisat_static) R 20350 20350 14060 0 -1 4202496 11410 0 0 0 1720 6 0 0 25 0 1 0 1018877829 49213440 11321 4294967295 134512640 135215339 3216287472 3216285760 134528814 0 0 0 3 0 0 0 17 1 0 0 0
/proc/20356/statm: 12015 11321 73 172 0 11842 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 50480

[startup+51.1146 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 20545
/proc/meminfo: memFree=235344/2074464 swapFree=1949056/1959888
[pid=20350] ppid=20348 vsize=2420 CPUtime=8.25
/proc/20350/stat : 20350 (SatELiteGTI) S 20348 20350 14060 0 -1 4194304 387 43714 0 0 0 0 800 25 18 0 1 0 1018877003 2478080 279 4294967295 134512640 135169312 3216748304 3216744520 3084967662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20350/statm: 605 279 235 161 0 44 0
[pid=20356] ppid=20350 vsize=51872 CPUtime=42.86
/proc/20356/stat : 20356 (minisat_static) R 20350 20350 14060 0 -1 4202496 12378 0 0 0 4280 6 0 0 25 0 1 0 1018877829 53116928 12289 4294967295 134512640 135215339 3216287472 3216285760 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/20356/statm: 12968 12289 73 172 0 12795 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 54292

[startup+102.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 20729
/proc/meminfo: memFree=219884/2074464 swapFree=1949056/1959888
[pid=20350] ppid=20348 vsize=2420 CPUtime=8.25
/proc/20350/stat : 20350 (SatELiteGTI) S 20348 20350 14060 0 -1 4194304 387 43714 0 0 0 0 800 25 18 0 1 0 1018877003 2478080 279 4294967295 134512640 135169312 3216748304 3216744520 3084967662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20350/statm: 605 279 235 161 0 44 0
[pid=20356] ppid=20350 vsize=67432 CPUtime=94.05
/proc/20356/stat : 20356 (minisat_static) R 20350 20350 14060 0 -1 4202496 16276 0 0 0 9397 8 0 0 25 0 1 0 1018877829 69050368 16187 4294967295 134512640 135215339 3216287472 3216285760 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20356/statm: 16858 16187 73 172 0 16685 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 69852

[startup+162.315 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 20917
/proc/meminfo: memFree=197780/2074464 swapFree=1949056/1959888
[pid=20350] ppid=20348 vsize=2420 CPUtime=8.25
/proc/20350/stat : 20350 (SatELiteGTI) S 20348 20350 14060 0 -1 4194304 387 43714 0 0 0 0 800 25 18 0 1 0 1018877003 2478080 279 4294967295 134512640 135169312 3216748304 3216744520 3084967662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20350/statm: 605 279 235 161 0 44 0
[pid=20356] ppid=20350 vsize=89728 CPUtime=154.06
/proc/20356/stat : 20356 (minisat_static) R 20350 20350 14060 0 -1 4202496 21840 0 0 0 15394 12 0 0 25 0 1 0 1018877829 91881472 21751 4294967295 134512640 135215339 3216287472 3216285472 134532704 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20356/statm: 22432 21751 73 172 0 22259 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 92148

[startup+222.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 21110
/proc/meminfo: memFree=173616/2074464 swapFree=1949056/1959888
[pid=20350] ppid=20348 vsize=2420 CPUtime=8.25
/proc/20350/stat : 20350 (SatELiteGTI) S 20348 20350 14060 0 -1 4194304 387 43714 0 0 0 0 800 25 18 0 1 0 1018877003 2478080 279 4294967295 134512640 135169312 3216748304 3216744520 3084967662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20350/statm: 605 279 235 161 0 44 0
[pid=20356] ppid=20350 vsize=113676 CPUtime=214.07
/proc/20356/stat : 20356 (minisat_static) R 20350 20350 14060 0 -1 4202496 27803 0 0 0 21393 14 0 0 25 0 1 0 1018877829 116404224 27714 4294967295 134512640 135215339 3216287472 3216285856 134542512 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20356/statm: 28419 27714 73 172 0 28246 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 116096

[startup+282.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 21299
/proc/meminfo: memFree=151588/2074464 swapFree=1949056/1959888
[pid=20350] ppid=20348 vsize=2420 CPUtime=8.25
/proc/20350/stat : 20350 (SatELiteGTI) S 20348 20350 14060 0 -1 4194304 387 43714 0 0 0 0 800 25 18 0 1 0 1018877003 2478080 279 4294967295 134512640 135169312 3216748304 3216744520 3084967662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20350/statm: 605 279 235 161 0 44 0
[pid=20356] ppid=20350 vsize=135992 CPUtime=274.06
/proc/20356/stat : 20356 (minisat_static) R 20350 20350 14060 0 -1 4202496 33338 0 0 0 27390 16 0 0 25 0 1 0 1018877829 139255808 33249 4294967295 134512640 135215339 3216287472 3216285760 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20356/statm: 33998 33249 73 172 0 33825 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 138412

[startup+342.309 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 21484
/proc/meminfo: memFree=130208/2074464 swapFree=1949056/1959888
[pid=20350] ppid=20348 vsize=2420 CPUtime=8.25
/proc/20350/stat : 20350 (SatELiteGTI) S 20348 20350 14060 0 -1 4194304 387 43714 0 0 0 0 800 25 18 0 1 0 1018877003 2478080 279 4294967295 134512640 135169312 3216748304 3216744520 3084967662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20350/statm: 605 279 235 161 0 44 0
[pid=20356] ppid=20350 vsize=157120 CPUtime=334.07
/proc/20356/stat : 20356 (minisat_static) R 20350 20350 14060 0 -1 4202496 38640 0 0 0 33385 22 0 0 25 0 1 0 1018877829 160890880 38551 4294967295 134512640 135215339 3216287472 3216285760 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20356/statm: 39280 38551 73 172 0 39107 0
Current children cumulated CPU time (s) 342.32

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

/proc/20356/statm: 54508 53738 73 172 0 54335 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 220452

[startup+582.319 s]
/proc/loadavg: 1.02 1.01 1.00 2/95 22244
/proc/meminfo: memFree=52168/2074464 swapFree=1949056/1959888
[pid=20350] ppid=20348 vsize=2420 CPUtime=8.25
/proc/20350/stat : 20350 (SatELiteGTI) S 20348 20350 14060 0 -1 4194304 387 43714 0 0 0 0 800 25 18 0 1 0 1018877003 2478080 279 4294967295 134512640 135169312 3216748304 3216744520 3084967662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20350/statm: 605 279 235 161 0 44 0
[pid=20356] ppid=20350 vsize=239444 CPUtime=574.1
/proc/20356/stat : 20356 (minisat_static) R 20350 20350 14060 0 -1 4202496 59203 0 0 0 57365 45 0 0 25 0 1 0 1018877829 245190656 59114 4294967295 134512640 135215339 3216287472 3216285760 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20356/statm: 59861 59114 73 172 0 59688 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 241864

[startup+642.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 22429
/proc/meminfo: memFree=51904/2074464 swapFree=1949056/1959888
[pid=20350] ppid=20348 vsize=2420 CPUtime=8.25
/proc/20350/stat : 20350 (SatELiteGTI) S 20348 20350 14060 0 -1 4194304 387 43714 0 0 0 0 800 25 18 0 1 0 1018877003 2478080 279 4294967295 134512640 135169312 3216748304 3216744520 3084967662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20350/statm: 605 279 235 161 0 44 0
[pid=20356] ppid=20350 vsize=261628 CPUtime=634.1
/proc/20356/stat : 20356 (minisat_static) R 20350 20350 14060 0 -1 4202496 64759 0 0 0 63361 49 0 0 25 0 1 0 1018877829 267907072 64670 4294967295 134512640 135215339 3216287472 3216285760 134528875 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20356/statm: 65407 64670 73 172 0 65234 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 264048

[startup+702.318 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 22617
/proc/meminfo: memFree=52796/2074464 swapFree=1949056/1959888
[pid=20350] ppid=20348 vsize=2420 CPUtime=8.25
/proc/20350/stat : 20350 (SatELiteGTI) S 20348 20350 14060 0 -1 4194304 387 43714 0 0 0 0 800 25 18 0 1 0 1018877003 2478080 279 4294967295 134512640 135169312 3216748304 3216744520 3084967662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20350/statm: 605 279 235 161 0 44 0
[pid=20356] ppid=20350 vsize=282772 CPUtime=694.11
/proc/20356/stat : 20356 (minisat_static) R 20350 20350 14060 0 -1 4202496 70083 0 0 0 69360 51 0 0 25 0 1 0 1018877829 289558528 69994 4294967295 134512640 135215339 3216287472 3216285472 134532704 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20356/statm: 70693 69994 73 172 0 70520 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 285192

[startup+762.313 s]
/proc/loadavg: 1.31 1.09 1.03 3/95 22805
/proc/meminfo: memFree=52460/2074464 swapFree=1949056/1959888
[pid=20350] ppid=20348 vsize=2420 CPUtime=8.25
/proc/20350/stat : 20350 (SatELiteGTI) S 20348 20350 14060 0 -1 4194304 387 43714 0 0 0 0 800 25 18 0 1 0 1018877003 2478080 279 4294967295 134512640 135169312 3216748304 3216744520 3084967662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20350/statm: 605 279 235 161 0 44 0
[pid=20356] ppid=20350 vsize=304420 CPUtime=754.11
/proc/20356/stat : 20356 (minisat_static) R 20350 20350 14060 0 -1 4202496 75517 0 0 0 75357 54 0 0 25 0 1 0 1018877829 311726080 75428 4294967295 134512640 135215339 3216287472 3216285760 134529048 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20356/statm: 76105 75428 73 172 0 75932 0
Current children cumulated CPU time (s) 762.36
Current children cumulated vsize (KiB) 306840

[startup+822.318 s]
/proc/loadavg: 1.28 1.13 1.04 2/95 22994
/proc/meminfo: memFree=53572/2074464 swapFree=1949056/1959888
[pid=20350] ppid=20348 vsize=2420 CPUtime=8.25
/proc/20350/stat : 20350 (SatELiteGTI) S 20348 20350 14060 0 -1 4194304 387 43714 0 0 0 0 800 25 18 0 1 0 1018877003 2478080 279 4294967295 134512640 135169312 3216748304 3216744520 3084967662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20350/statm: 605 279 235 161 0 44 0
[pid=20356] ppid=20350 vsize=326176 CPUtime=814.12
/proc/20356/stat : 20356 (minisat_static) R 20350 20350 14060 0 -1 4202496 80807 0 0 0 81353 59 0 0 25 0 1 0 1018877829 334004224 80718 4294967295 134512640 135215339 3216287472 3216285760 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20356/statm: 81544 80718 73 172 0 81371 0
Current children cumulated CPU time (s) 822.37
Current children cumulated vsize (KiB) 328596

[startup+882.323 s]
/proc/loadavg: 1.10 1.10 1.04 3/95 23186
/proc/meminfo: memFree=52884/2074464 swapFree=1949056/1959888
[pid=20350] ppid=20348 vsize=2420 CPUtime=8.25
/proc/20350/stat : 20350 (SatELiteGTI) S 20348 20350 14060 0 -1 4194304 387 43714 0 0 0 0 800 25 18 0 1 0 1018877003 2478080 279 4294967295 134512640 135169312 3216748304 3216744520 3084967662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20350/statm: 605 279 235 161 0 44 0
[pid=20356] ppid=20350 vsize=345732 CPUtime=874.13
/proc/20356/stat : 20356 (minisat_static) R 20350 20350 14060 0 -1 4202496 85722 0 0 0 87347 66 0 0 25 0 1 0 1018877829 354029568 85633 4294967295 134512640 135215339 3216287472 3216285472 134532672 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20356/statm: 86433 85633 73 172 0 86260 0
Current children cumulated CPU time (s) 882.38
Current children cumulated vsize (KiB) 348152

[startup+942.317 s]
/proc/loadavg: 1.04 1.08 1.03 2/95 23375
/proc/meminfo: memFree=51576/2074464 swapFree=1949056/1959888
[pid=20350] ppid=20348 vsize=2420 CPUtime=8.25
/proc/20350/stat : 20350 (SatELiteGTI) S 20348 20350 14060 0 -1 4194304 387 43714 0 0 0 0 800 25 18 0 1 0 1018877003 2478080 279 4294967295 134512640 135169312 3216748304 3216744520 3084967662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20350/statm: 605 279 235 161 0 44 0
[pid=20356] ppid=20350 vsize=362512 CPUtime=934.13
/proc/20356/stat : 20356 (minisat_static) R 20350 20350 14060 0 -1 4202496 89939 0 0 0 93342 71 0 0 25 0 1 0 1018877829 371212288 89850 4294967295 134512640 135215339 3216287472 3216285760 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20356/statm: 90628 89850 73 172 0 90455 0
Current children cumulated CPU time (s) 942.38
Current children cumulated vsize (KiB) 364932

[startup+1002.31 s]
/proc/loadavg: 1.01 1.06 1.03 5/95 23563
/proc/meminfo: memFree=53504/2074464 swapFree=1949056/1959888
[pid=20350] ppid=20348 vsize=2420 CPUtime=8.25
/proc/20350/stat : 20350 (SatELiteGTI) S 20348 20350 14060 0 -1 4194304 387 43714 0 0 0 0 800 25 18 0 1 0 1018877003 2478080 279 4294967295 134512640 135169312 3216748304 3216744520 3084967662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20350/statm: 605 279 235 161 0 44 0
[pid=20356] ppid=20350 vsize=381812 CPUtime=994.13
/proc/20356/stat : 20356 (minisat_static) R 20350 20350 14060 0 -1 4202496 94769 0 0 0 99338 75 0 0 25 0 1 0 1018877829 390975488 94680 4294967295 134512640 135215339 3216287472 3216285760 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20356/statm: 95453 94680 73 172 0 95280 0
Current children cumulated CPU time (s) 1002.38
Current children cumulated vsize (KiB) 384232

[startup+1062.31 s]
/proc/loadavg: 1.00 1.05 1.02 2/95 23751
/proc/meminfo: memFree=51968/2074464 swapFree=1949056/1959888
[pid=20350] ppid=20348 vsize=2420 CPUtime=8.25
/proc/20350/stat : 20350 (SatELiteGTI) S 20348 20350 14060 0 -1 4194304 387 43714 0 0 0 0 800 25 18 0 1 0 1018877003 2478080 279 4294967295 134512640 135169312 3216748304 3216744520 3084967662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20350/statm: 605 279 235 161 0 44 0
[pid=20356] ppid=20350 vsize=402680 CPUtime=1054.13
/proc/20356/stat : 20356 (minisat_static) R 20350 20350 14060 0 -1 4202496 100001 0 0 0 105335 78 0 0 25 0 1 0 1018877829 412344320 99912 4294967295 134512640 135215339 3216287472 3216285760 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20356/statm: 100670 99912 73 172 0 100497 0
Current children cumulated CPU time (s) 1062.38
Current children cumulated vsize (KiB) 405100

[startup+1122.31 s]
/proc/loadavg: 1.00 1.04 1.01 3/95 23940
/proc/meminfo: memFree=53436/2074464 swapFree=1949056/1959888
[pid=20350] ppid=20348 vsize=2420 CPUtime=8.25
/proc/20350/stat : 20350 (SatELiteGTI) S 20348 20350 14060 0 -1 4194304 387 43714 0 0 0 0 800 25 18 0 1 0 1018877003 2478080 279 4294967295 134512640 135169312 3216748304 3216744520 3084967662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20350/statm: 605 279 235 161 0 44 0
[pid=20356] ppid=20350 vsize=405188 CPUtime=1114.14
/proc/20356/stat : 20356 (minisat_static) R 20350 20350 14060 0 -1 4202496 100619 0 0 0 111335 79 0 0 25 0 1 0 1018877829 414912512 100530 4294967295 134512640 135215339 3216287472 3216285760 134528782 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20356/statm: 101297 100530 73 172 0 101124 0
Current children cumulated CPU time (s) 1122.39
Current children cumulated vsize (KiB) 407608

[startup+1182.32 s]
/proc/loadavg: 1.00 1.03 1.01 3/95 24129
/proc/meminfo: memFree=51704/2074464 swapFree=1949056/1959888
[pid=20350] ppid=20348 vsize=2420 CPUtime=8.25
/proc/20350/stat : 20350 (SatELiteGTI) S 20348 20350 14060 0 -1 4194304 387 43714 0 0 0 0 800 25 18 0 1 0 1018877003 2478080 279 4294967295 134512640 135169312 3216748304 3216744520 3084967662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20350/statm: 605 279 235 161 0 44 0
[pid=20356] ppid=20350 vsize=422640 CPUtime=1174.15
/proc/20356/stat : 20356 (minisat_static) R 20350 20350 14060 0 -1 4202496 104997 0 0 0 117333 82 0 0 25 0 1 0 1018877829 432783360 104908 4294967295 134512640 135215339 3216287472 3216285472 134532704 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20356/statm: 105660 104908 73 172 0 105487 0
Current children cumulated CPU time (s) 1182.4
Current children cumulated vsize (KiB) 425060



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1199.93 s]
/proc/loadavg: 1.00 1.03 1.01 3/95 24129
/proc/meminfo: memFree=52092/2074464 swapFree=1949056/1959888
[pid=20350] ppid=20348 vsize=2420 CPUtime=8.25
/proc/20350/stat : 20350 (SatELiteGTI) S 20348 20350 14060 0 -1 4194304 387 43714 0 0 0 0 800 25 18 0 1 0 1018877003 2478080 279 4294967295 134512640 135169312 3216748304 3216744520 3084967662 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20350/statm: 605 279 235 161 0 44 0
[pid=20356] ppid=20350 vsize=428460 CPUtime=1191.76
/proc/20356/stat : 20356 (minisat_static) R 20350 20350 14060 0 -1 4202496 106463 0 0 0 119092 84 0 0 25 0 1 0 1018877829 438743040 106374 4294967295 134512640 135215339 3216287472 3216285760 134528691 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20356/statm: 107115 106374 73 172 0 106942 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 430880

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20350 and gives
#  childrusage.ru_utime.tv_sec=8
#  childrusage.ru_utime.tv_usec=0
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=250000
# CPU time returned by wait4() is 8.25
# while last known CPU time is 1200.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1199.96
CPU time (s): 1200.01
CPU user time (s): 1198.92
CPU system time (s): 1.09
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 430880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8
system time used= 0.25
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44101
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= 15
involuntary context switches= 150

runsolver used 0.02 second user time and 0.03 second system time

The end

Launcher Data 

Begin job on tipi27 at 2009-05-17 09:03:16
IDJOB=1821616
IDBENCH=71034
IDSOLVER=657
FILE ID=tipi27/1821616-1242543796
PBS_JOBID=
Free space on /tmp= 8832 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UTI-20-5p1.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1821616-1242543796/watcher-1821616-1242543796 -o /tmp/evaluation-result-1821616-1242543796/solver-1821616-1242543796 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821616-1242543796.cnf

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

MD5SUM BENCH= 10eca282b9263f77903cd90a479b46ee
RANDOM SEED= 131825312

Linux tipi27 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.389
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.389
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.79

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:        310144 kB
Buffers:         83092 kB
Cached:        1540660 kB
SwapCached:       5508 kB
Active:         693272 kB
Inactive:       940272 kB
HighTotal:     1178688 kB
HighFree:       109852 kB
LowTotal:       895776 kB
LowFree:        200292 kB
SwapTotal:     1959888 kB
SwapFree:      1949056 kB
Dirty:           24680 kB
Writeback:           0 kB
AnonPages:        9184 kB
Mapped:           3320 kB
Slab:           121648 kB
PageTables:        484 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90624 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 8808 MiB
End job on tipi27 at 2009-05-17 09:23:21