Trace number 1834161

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-18UNSAT 314.178 314.385

General information on the benchmark

NameCRAFTED/parity-games/
instance_n6_i7_pp_ci_ce.cnf
MD5SUM2ba7146c43b8082afe1c2f5c23a97bd0
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark84.6021
Satisfiable
(Un)Satisfiability was proved
Number of variables8484
Number of clauses74640
Sum of the clauses size243102
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 215431
Number of clauses of size 333298
Number of clauses of size 418962
Number of clauses of size 55508
Number of clauses of size over 51441

Solver Data 

0.00/0.00	c Parsing...
0.00/0.06	c ==============================================================================
0.00/0.06	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.06	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.06	c ==============================================================================
0.00/0.06	c |         0 |   74640   243102 |   22391       0        0     nan |  0.000 % |
0.00/0.25	c |         0 |   67800   226176 |      --       0       --      -- |     --   | -6840/-16926
0.00/0.25	c ==============================================================================
0.00/0.25	c Result  :   #vars: 5732   #clauses: 67800   #literals: 226176
0.00/0.25	c CPU time:   0.231964 s
0.00/0.25	c ==============================================================================
0.00/0.33	c This is MiniSat 2.0 beta
0.00/0.33	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.33	c ============================[ Problem Statistics ]=============================
0.00/0.33	c |                                                                             |
0.00/0.33	c |  Number of variables:  5732                                                 |
0.00/0.33	c |  Number of clauses:    67800                                                |
0.00/0.37	c |  Parsing time:         0.03         s                                       |
0.00/0.37	c ============================[ Search Statistics ]==============================
0.00/0.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.37	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.37	c ===============================================================================
0.00/0.37	c |         0 |    5732    67800   226176 |    22600        0    nan |  0.000 % |
0.00/0.39	c |       100 |    5731    67800   226176 |    22600       99     10 |  0.018 % |
0.00/0.40	c |       200 |    5731    67800   226176 |    22600      199     12 |  0.017 % |
0.31/0.40	c |       300 |    5731    67800   226176 |    22600      299     12 |  0.017 % |
0.31/0.42	c |       410 |    5731    67800   226176 |    22600      409     14 |  0.017 % |
0.31/0.43	c |       511 |    5731    67800   226176 |    22600      510     15 |  0.017 % |
0.31/0.45	c |       621 |    5731    67800   226176 |    22600      620     16 |  0.017 % |
0.31/0.46	c |       743 |    5731    67800   226176 |    22600      742     17 |  0.022 % |
0.31/0.47	c |       843 |    5731    67800   226176 |    22600      842     17 |  0.017 % |
0.31/0.49	c |       953 |    5731    67800   226176 |    22600      952     17 |  0.017 % |
0.31/0.50	c |      1077 |    5731    67800   226176 |    22600     1076     17 |  0.022 % |
0.31/0.52	c |      1210 |    5731    67794   226158 |    22600     1203     17 |  0.017 % |
0.31/0.53	c |      1311 |    5731    67794   226158 |    22600     1304     17 |  0.017 % |
0.31/0.55	c |      1421 |    5731    67794   226158 |    22600     1414     17 |  0.017 % |
0.31/0.56	c |      1546 |    5731    67794   226158 |    22600     1539     17 |  0.021 % |
0.31/0.58	c |      1680 |    5731    67794   226158 |    22600     1673     18 |  0.018 % |
0.31/0.59	c |      1827 |    5731    67794   226158 |    22600     1820     19 |  0.021 % |
0.31/0.60	c |      1928 |    5731    67794   226158 |    22600     1921     19 |  0.017 % |
0.31/0.62	c |      2038 |    5731    67794   226158 |    22600     2031     19 |  0.017 % |
0.31/0.64	c |      2160 |    5731    67794   226158 |    22600     2153     19 |  0.017 % |
0.31/0.64	c |      2293 |    5731    67794   226158 |    22600     2286     19 |  0.017 % |
0.31/0.66	c |      2439 |    5731    67794   226158 |    22600     2432     20 |  0.017 % |
0.31/0.69	c |      2601 |    5731    67794   226158 |    22600     2594     20 |  0.017 % |
0.31/0.71	c |      2702 |    5731    67794   226158 |    22600     2695     20 |  0.017 % |
0.31/0.72	c |      2812 |    5731    67794   226158 |    22600     2805     20 |  0.017 % |
0.31/0.73	c |      2934 |    5731    67794   226158 |    22600     2927     20 |  0.017 % |
0.31/0.75	c |      3068 |    5731    67794   226158 |    22600     3061     20 |  0.017 % |
0.31/0.77	c |      3214 |    5731    67794   226158 |    22600     3207     21 |  0.017 % |
0.31/0.79	c |      3375 |    5731    67794   226158 |    22600     3368     21 |  0.018 % |
0.31/0.83	c |      3554 |    5731    67794   226158 |    22600     3547     21 |  0.017 % |
0.31/0.84	c |      3656 |    5731    67794   226158 |    22600     3649     21 |  0.017 % |
0.31/0.85	c |      3766 |    5731    67794   226158 |    22600     3759     21 |  0.018 % |
0.31/0.87	c |      3887 |    5731    67794   226158 |    22600     3880     21 |  0.021 % |
0.31/0.89	c |      4021 |    5731    67794   226158 |    22600     4014     21 |  0.018 % |
0.31/0.91	c |      4169 |    5731    67794   226158 |    22600     4162     21 |  0.017 % |
0.31/0.93	c |      4330 |    5731    67794   226158 |    22600     4323     21 |  0.017 % |
0.31/0.95	c |      4509 |    5731    67794   226158 |    22600     4502     22 |  0.017 % |
0.31/0.97	c |      4702 |    5731    67794   226158 |    22600     4695     22 |  0.017 % |
0.31/0.99	c |      4802 |    5731    67794   226158 |    22600     4795     22 |  0.022 % |
0.31/1.00	c |      4912 |    5731    67794   226158 |    22600     4905     22 |  0.018 % |
0.31/1.02	c |      5033 |    5731    67794   226158 |    22600     5026     22 |  0.017 % |
0.31/1.04	c |      5166 |    5731    67794   226158 |    22600     5159     22 |  0.017 % |
0.31/1.06	c |      5312 |    5731    67794   226158 |    22600     5305     22 |  0.017 % |
0.31/1.09	c |      5472 |    5730    67749   226008 |    22600     5456     22 |  0.039 % |
1.07/1.13	c |      5648 |    5730    67749   226008 |    22600     5632     23 |  0.039 % |
1.07/1.16	c |      5844 |    5730    67749   226008 |    22600     5828     23 |  0.035 % |
1.17/1.20	c |      6058 |    5730    67749   226008 |    22600     6042     23 |  0.035 % |
1.17/1.22	c |      6158 |    5730    67749   226008 |    22600     6142     23 |  0.039 % |
1.17/1.24	c |      6269 |    5730    67749   226008 |    22600     6253     23 |  0.035 % |
1.17/1.26	c |      6392 |    5730    67749   226008 |    22600     6376     24 |  0.035 % |
1.17/1.29	c |      6525 |    5730    67749   226008 |    22600     6509     24 |  0.035 % |
1.27/1.33	c |      6671 |    5730    67749   226008 |    22600     6655     24 |  0.035 % |
1.27/1.36	c |      6832 |    5730    67749   226008 |    22600     6816     25 |  0.035 % |
1.27/1.38	c |      7008 |    5730    67749   226008 |    22600     6992     25 |  0.035 % |
1.36/1.42	c |      7201 |    5730    67749   226008 |    22600     7185     25 |  0.035 % |
1.36/1.46	c |      7413 |    5730    67749   226008 |    22600     7397     25 |  0.035 % |
1.46/1.51	c |      7646 |    5730    67749   226008 |    22600     7630     25 |  0.035 % |
1.46/1.53	c |      7747 |    5730    67749   226008 |    22600     7731     25 |  0.035 % |
1.46/1.56	c |      7857 |    5730    67749   226008 |    22600     7841     25 |  0.035 % |
1.46/1.58	c |      7980 |    5730    67749   226008 |    22600     7964     25 |  0.039 % |
1.56/1.62	c |      8113 |    5730    67749   226008 |    22600     8097     26 |  0.035 % |
1.56/1.65	c |      8261 |    5730    67749   226008 |    22600     8245     26 |  0.035 % |
1.56/1.68	c |      8426 |    5730    67749   226008 |    22600     8410     26 |  0.035 % |
1.66/1.73	c |      8602 |    5730    67749   226008 |    22600     8586     26 |  0.035 % |
1.66/1.78	c |      8795 |    5730    67749   226008 |    22600     8779     26 |  0.035 % |
1.76/1.83	c |      9008 |    5730    67749   226008 |    22600     8992     26 |  0.035 % |
1.76/1.89	c |      9243 |    5730    67749   226008 |    22600     9227     27 |  0.035 % |
1.86/1.93	c |      9502 |    5730    67749   226008 |    22600     9486     27 |  0.035 % |
1.86/1.96	c |      9602 |    5730    67749   226008 |    22600     9586     27 |  0.035 % |
1.86/1.98	c |      9713 |    5730    67749   226008 |    22600     9697     27 |  0.035 % |
1.96/2.01	c |      9835 |    5730    67749   226008 |    22600     9819     27 |  0.035 % |
1.96/2.05	c |      9968 |    5730    67749   226008 |    22600     9952     27 |  0.035 % |
1.96/2.09	c |     10115 |    5730    67749   226008 | 2147483647    10099     27 |  0.035 % |
2.06/2.12	c |     10277 |    5730    67749   226008 | 2147483647    10261     27 |  0.035 % |
2.06/2.16	c |     10453 |    5730    67749   226008 | 2147483647    10437     27 |  0.035 % |
2.16/2.20	c |     10647 |    5730    67749   226008 | 2147483647    10631     27 |  0.035 % |
2.16/2.24	c |     10859 |    5730    67749   226008 | 2147483647    10843     27 |  0.035 % |
2.16/2.28	c |     11094 |    5730    67749   226008 | 2147483647    11078     27 |  0.035 % |
2.26/2.32	c |     11350 |    5730    67749   226008 | 2147483647    11334     28 |  0.035 % |
2.26/2.38	c |     11632 |    5730    67749   226008 | 2147483647    11616     28 |  0.035 % |
2.37/2.40	c |     11732 |    5730    67749   226008 | 2147483647    11716     28 |  0.035 % |
2.37/2.42	c |     11842 |    5730    67749   226008 | 2147483647    11826     28 |  0.035 % |
2.37/2.45	c |     11963 |    5730    67749   226008 | 2147483647    11947     28 |  0.035 % |
2.37/2.47	c |     12097 |    5730    67749   226008 | 2147483647    12081     28 |  0.035 % |
2.47/2.53	c |     12243 |    5730    67749   226008 | 2147483647    12227     28 |  0.035 % |
2.47/2.56	c |     12404 |    5730    67749   226008 | 2147483647    12388     28 |  0.035 % |
2.47/2.59	c |     12581 |    5730    67749   226008 | 2147483647    12565     28 |  0.035 % |
2.57/2.64	c |     12775 |    5730    67749   226008 | 2147483647    12759     28 |  0.035 % |
2.57/2.69	c |     12988 |    5730    67749   226008 | 2147483647    12972     29 |  0.035 % |
2.67/2.73	c |     13221 |    5730    67749   226008 | 2147483647    13205     29 |  0.035 % |
2.67/2.79	c |     13477 |    5730    67749   226008 | 2147483647    13461     29 |  0.039 % |
2.77/2.85	c |     13758 |    5730    67749   226008 | 2147483647    13742     29 |  0.035 % |
2.87/2.94	c |     14067 |    5730    67749   226008 | 2147483647    14051     29 |  0.035 % |
2.87/2.96	c |     14169 |    5730    67749   226008 | 2147483647    14153     29 |  0.035 % |
2.87/2.99	c |     14279 |    5730    67749   226008 | 2147483647    14263     29 |  0.035 % |
2.97/3.02	c |     14402 |    5730    67749   226008 | 2147483647    14386     29 |  0.035 % |
2.97/3.06	c |     14535 |    5730    67749   226008 | 2147483647    14519     29 |  0.035 % |
3.07/3.11	c |     14685 |    5730    67749   226008 | 2147483647    14669     29 |  0.035 % |
3.07/3.16	c |     14845 |    5730    67749   226008 | 2147483647    14829     29 |  0.035 % |
3.17/3.21	c |     15021 |    5730    67749   226008 | 2147483647    15005     29 |  0.035 % |
3.17/3.27	c |     15215 |    5730    67749   226008 | 2147483647    15199     29 |  0.035 % |
3.27/3.33	c |     15428 |    5730    67749   226008 | 2147483647    15412     29 |  0.035 % |
3.37/3.41	c |     15664 |    5730    67749   226008 | 2147483647    15648     29 |  0.035 % |
3.37/3.47	c |     15922 |    5730    67749   226008 | 2147483647    15906     29 |  0.039 % |
3.46/3.56	c |     16204 |    5730    67749   226008 | 2147483647    16188     29 |  0.035 % |
3.56/3.66	c |     16516 |    5730    67749   226008 | 2147483647    16500     30 |  0.035 % |
3.66/3.76	c |     16856 |    5730    67749   226008 | 2147483647    16840     30 |  0.035 % |
3.66/3.79	c |     16956 |    5730    67749   226008 | 2147483647    16940     30 |  0.035 % |
3.76/3.84	c |     17068 |    5730    67749   226008 | 2147483647    17052     30 |  0.035 % |
3.76/3.88	c |     17190 |    5730    67749   226008 | 2147483647    17174     30 |  0.035 % |
3.86/3.92	c |     17324 |    5730    67749   226008 | 2147483647    17308     30 |  0.035 % |
3.86/3.96	c |     17474 |    5730    67749   226008 | 2147483647    17458     30 |  0.035 % |
3.86/4.00	c |     17638 |    5730    67749   226008 | 2147483647    17622     30 |  0.035 % |
3.96/4.04	c |     17814 |    5730    67749   226008 | 2147483647    17798     30 |  0.035 % |
4.06/4.11	c |     18007 |    5730    67749   226008 | 2147483647    17991     30 |  0.035 % |
4.06/4.18	c |     18220 |    5730    67749   226008 | 2147483647    18204     30 |  0.035 % |
4.16/4.25	c |     18453 |    5730    67749   226008 | 2147483647    18437     30 |  0.035 % |
4.26/4.32	c |     18711 |    5730    67749   226008 | 2147483647    18695     30 |  0.035 % |
4.37/4.41	c |     18992 |    5730    67749   226008 | 2147483647    18976     30 |  0.035 % |
4.37/4.50	c |     19304 |    5730    67749   226008 | 2147483647    19288     30 |  0.035 % |
4.56/4.65	c |     19643 |    5730    67749   226008 | 2147483647    19627     30 |  0.035 % |
4.66/4.77	c |     20018 |    5730    67749   226008 | 2147483647    20002     30 |  0.035 % |
4.76/4.80	c |     20118 |    5730    67749   226008 | 2147483647    20102     30 |  0.035 % |
4.76/4.83	c |     20229 |    5730    67749   226008 | 2147483647    20213     30 |  0.035 % |
4.76/4.86	c |     20352 |    5730    67749   226008 | 2147483647    20336     30 |  0.035 % |
4.76/4.89	c |     20485 |    5730    67749   226008 | 2147483647    20469     30 |  0.035 % |
4.86/4.93	c |     20631 |    5730    67749   226008 | 2147483647    20615     30 |  0.035 % |
4.86/4.98	c |     20791 |    5730    67749   226008 | 2147483647    20775     30 |  0.035 % |
4.96/5.03	c |     20968 |    5730    67749   226008 | 2147483647    20952     30 |  0.035 % |
5.06/5.10	c |     21161 |    5730    67749   226008 | 2147483647    21145     30 |  0.035 % |
5.06/5.17	c |     21373 |    5730    67749   226008 | 2147483647    21357     30 |  0.035 % |
5.16/5.26	c |     21606 |    5730    67749   226008 | 2147483647    21590     30 |  0.035 % |
5.26/5.33	c |     21863 |    5730    67749   226008 | 2147483647    21847     30 |  0.035 % |
5.36/5.41	c |     22145 |    5730    67749   226008 | 2147483647    22129     30 |  0.035 % |
5.46/5.50	c |     22457 |    5730    67749   226008 | 2147483647    22441     30 |  0.035 % |
5.56/5.61	c |     22796 |    5730    67749   226008 | 2147483647    22780     31 |  0.035 % |
5.66/5.73	c |     23168 |    5730    67749   226008 | 2147483647    23152     31 |  0.035 % |
5.86/5.90	c |     23578 |    5730    67749   226008 | 2147483647    23562     31 |  0.035 % |
5.86/5.93	c |     23681 |    5730    67749   226008 | 2147483647    23665     31 |  0.035 % |
5.86/5.97	c |     23791 |    5730    67749   226008 | 2147483647    23775     31 |  0.035 % |
5.95/6.01	c |     23912 |    5730    67749   226008 | 2147483647    23896     31 |  0.039 % |
5.95/6.04	c |     24048 |    5730    67749   226008 | 2147483647    24032     31 |  0.035 % |
6.05/6.11	c |     24194 |    5730    67749   226008 | 2147483647    24178     31 |  0.035 % |
6.05/6.17	c |     24357 |    5730    67749   226008 | 2147483647    24341     31 |  0.035 % |
6.15/6.23	c |     24534 |    5730    67749   226008 | 2147483647    24518     31 |  0.035 % |
6.25/6.31	c |     24729 |    5729    67704   225858 | 2147483647    24706     31 |  0.052 % |
6.25/6.39	c |     24941 |    5729    67704   225858 | 2147483647    24918     31 |  0.052 % |
6.35/6.47	c |     25176 |    5729    67704   225858 | 2147483647    25153     31 |  0.052 % |
6.45/6.55	c |     25432 |    5729    67704   225858 | 2147483647    25409     31 |  0.052 % |
6.45/6.60	c |     25713 |    5729    67704   225858 | 2147483647    25690     31 |  0.052 % |
6.55/6.69	c |     26022 |    5729    67704   225858 | 2147483647    25999     31 |  0.052 % |
6.76/6.86	c |     26361 |    5729    67704   225858 | 2147483647    26338     31 |  0.052 % |
6.86/6.97	c |     26735 |    5729    67704   225858 | 2147483647    26712     31 |  0.052 % |
6.96/7.09	c |     27145 |    5729    67704   225858 | 2147483647    27122     31 |  0.052 % |
7.16/7.25	c |     27596 |    5729    67704   225858 | 2147483647    27573     31 |  0.052 % |
7.16/7.28	c |     27698 |    5729    67704   225858 | 2147483647    27675     31 |  0.052 % |
7.26/7.31	c |     27809 |    5729    67704   225858 | 2147483647    27786     31 |  0.052 % |
7.26/7.35	c |     27930 |    5729    67704   225858 | 2147483647    27907     31 |  0.052 % |
7.26/7.39	c |     28064 |    5729    67704   225858 | 2147483647    28041     31 |  0.052 % |
7.36/7.44	c |     28210 |    5729    67704   225858 | 2147483647    28187     31 |  0.052 % |
7.46/7.52	c |     28372 |    5729    67704   225858 | 2147483647    28349     31 |  0.052 % |
7.46/7.59	c |     28550 |    5729    67704   225858 | 2147483647    28527     32 |  0.052 % |
7.55/7.65	c |     28744 |    5729    67704   225858 | 2147483647    28721     32 |  0.052 % |
7.66/7.78	c |     28958 |    5729    67704   225858 | 2147483647    28935     32 |  0.052 % |
7.76/7.86	c |     29191 |    5729    67704   225858 | 2147483647    29168     32 |  0.052 % |
7.85/7.97	c |     29448 |    5729    67704   225858 | 2147483647    29425     32 |  0.052 % |
7.95/8.08	c |     29729 |    5729    67704   225858 | 2147483647    29706     32 |  0.052 % |
8.15/8.26	c |     30038 |    5729    67704   225858 | 2147483647    30015     32 |  0.052 % |
8.25/8.38	c |     30377 |    5729    67704   225858 | 2147483647    30354     32 |  0.052 % |
8.45/8.51	c |     30749 |    5729    67704   225858 | 2147483647    30726     33 |  0.052 % |
8.55/8.67	c |     31159 |    5729    67704   225858 | 2147483647    31136     33 |  0.052 % |
8.75/8.87	c |     31608 |    5729    67704   225858 | 2147483647    31585     33 |  0.052 % |
9.05/9.10	c |     32101 |    5729    67704   225858 | 2147483647    32078     33 |  0.052 % |
9.05/9.16	c |     32201 |    5729    67704   225858 | 2147483647    32178     33 |  0.052 % |
9.15/9.22	c |     32312 |    5729    67704   225858 | 2147483647    32289     33 |  0.052 % |
9.15/9.28	c |     32433 |    5729    67704   225858 | 2147483647    32410     33 |  0.052 % |
9.25/9.32	c |     32566 |    5729    67704   225858 | 2147483647    32543     33 |  0.057 % |
9.35/9.41	c |     32713 |    5729    67704   225858 | 2147483647    32690     33 |  0.052 % |
9.35/9.47	c |     32874 |    5729    67704   225858 | 2147483647    32851     33 |  0.052 % |
9.45/9.55	c |     33050 |    5729    67704   225858 | 2147483647    33027     33 |  0.052 % |
9.55/9.68	c |     33244 |    5729    67704   225858 | 2147483647    33221     33 |  0.052 % |
9.65/9.76	c |     33457 |    5729    67704   225858 | 2147483647    33434     33 |  0.052 % |
9.75/9.84	c |     33690 |    5729    67704   225858 | 2147483647    33667     33 |  0.052 % |
9.85/9.96	c |     33947 |    5729    67704   225858 | 2147483647    33924     33 |  0.053 % |
9.95/10.09	c |     34229 |    5729    67704   225858 | 2147483647    34206     33 |  0.053 % |
10.15/10.20	c |     34539 |    5729    67704   225858 | 2147483647    34516     33 |  0.052 % |
10.25/10.38	c |     34878 |    5729    67704   225858 | 2147483647    34855     34 |  0.052 % |
10.45/10.54	c |     35250 |    5729    67704   225858 | 2147483647    35227     34 |  0.052 % |
10.65/10.73	c |     35660 |    5729    67704   225858 | 2147483647    35637     34 |  0.052 % |
10.85/10.93	c |     36109 |    5729    67704   225858 | 2147483647    36086     34 |  0.052 % |
11.06/11.16	c |     36603 |    5729    67704   225858 | 2147483647    36580     33 |  0.052 % |
11.35/11.40	c |     37145 |    5729    67704   225858 | 2147483647    37122     34 |  0.052 % |
11.35/11.45	c |     37245 |    5729    67704   225858 | 2147483647    37222     34 |  0.052 % |
11.35/11.49	c |     37355 |    5729    67704   225858 | 2147483647    37332     34 |  0.052 % |
11.45/11.54	c |     37477 |    5729    67704   225858 | 2147483647    37454     34 |  0.052 % |
11.55/11.60	c |     37610 |    5729    67704   225858 | 2147483647    37587     34 |  0.052 % |
11.55/11.66	c |     37757 |    5729    67704   225858 | 2147483647    37734     34 |  0.052 % |
11.65/11.76	c |     37917 |    5729    67704   225858 | 2147483647    37894     34 |  0.052 % |
11.75/11.85	c |     38093 |    5729    67704   225858 | 2147483647    38070     34 |  0.052 % |
11.85/11.92	c |     38287 |    5729    67704   225858 | 2147483647    38264     34 |  0.052 % |
11.95/12.04	c |     38501 |    5729    67704   225858 | 2147483647    38478     34 |  0.052 % |
12.05/12.12	c |     38734 |    5729    67704   225858 | 2147483647    38711     34 |  0.052 % |
12.15/12.27	c |     38990 |    5729    67704   225858 | 2147483647    38967     34 |  0.052 % |
12.25/12.37	c |     39276 |    5729    67704   225858 | 2147483647    39253     34 |  0.052 % |
12.35/12.48	c |     39586 |    5729    67704   225858 | 2147483647    39563     34 |  0.052 % |
12.55/12.61	c |     39925 |    5729    67704   225858 | 2147483647    39902     34 |  0.052 % |
12.65/12.74	c |     40297 |    5729    67704   225858 | 2147483647    40274     34 |  0.052 % |
12.85/12.90	c |     40709 |    5729    67704   225858 | 2147483647    40686     34 |  0.052 % |
12.95/13.08	c |     41158 |    5729    67704   225858 | 2147483647    41135     34 |  0.052 % |
13.15/13.29	c |     41651 |    5729    67704   225858 | 2147483647    41628     34 |  0.052 % |
13.45/13.56	c |     42194 |    5729    67704   225858 | 2147483647    42171     34 |  0.052 % |
13.75/13.85	c |     42790 |    5729    67704   225858 | 2147483647    42767     34 |  0.052 % |
13.85/13.91	c |     42891 |    5729    67704   225858 | 2147483647    42868     34 |  0.052 % |
13.85/13.98	c |     43002 |    5729    67704   225858 | 2147483647    42979     34 |  0.052 % |
13.94/14.05	c |     43126 |    5729    67704   225858 | 2147483647    43103     34 |  0.052 % |
14.04/14.18	c |     43260 |    5729    67704   225858 | 2147483647    43237     34 |  0.052 % |
14.14/14.27	c |     43409 |    5729    67704   225858 | 2147483647    43386     34 |  0.052 % |
14.25/14.35	c |     43571 |    5729    67704   225858 | 2147483647    43548     34 |  0.052 % |
14.35/14.47	c |     43747 |    5729    67704   225858 | 2147483647    43724     34 |  0.052 % |
14.44/14.57	c |     43940 |    5729    67704   225858 | 2147483647    43917     34 |  0.052 % |
14.64/14.72	c |     44152 |    5729    67704   225858 | 2147483647    44129     34 |  0.052 % |
14.74/14.86	c |     44386 |    5729    67704   225858 | 2147483647    44363     34 |  0.052 % |
14.84/14.99	c |     44642 |    5729    67704   225858 | 2147483647    44619     34 |  0.053 % |
15.04/15.19	c |     44923 |    5729    67704   225858 | 2147483647    44900     34 |  0.052 % |
15.24/15.35	c |     45232 |    5729    67704   225858 | 2147483647    45209     34 |  0.052 % |
15.45/15.54	c |     45571 |    5729    67704   225858 | 2147483647    45548     34 |  0.052 % |
15.54/15.70	c |     45945 |    5729    67704   225858 | 2147483647    45922     34 |  0.052 % |
15.84/15.99	c |     46355 |    5729    67704   225858 | 2147483647    46332     35 |  0.052 % |
16.14/16.29	c |     46804 |    5729    67704   225858 | 2147483647    46781     35 |  0.052 % |
16.45/16.55	c |     47297 |    5729    67704   225858 | 2147483647    47274     35 |  0.052 % |
16.84/16.96	c |     47839 |    5729    67704   225858 | 2147483647    47816     35 |  0.052 % |
17.14/17.27	c |     48436 |    5729    67704   225858 | 2147483647    48413     35 |  0.052 % |
17.65/17.73	c |     49091 |    5729    67704   225858 | 2147483647    49068     35 |  0.052 % |
17.74/17.84	c |     49191 |    5729    67704   225858 | 2147483647    49168     35 |  0.052 % |
17.84/17.91	c |     49301 |    5729    67704   225858 | 2147483647    49278     35 |  0.052 % |
17.84/17.99	c |     49422 |    5729    67704   225858 | 2147483647    49399     35 |  0.052 % |
17.94/18.06	c |     49555 |    5729    67704   225858 | 2147483647    49532     35 |  0.052 % |
18.04/18.16	c |     49701 |    5729    67704   225858 | 2147483647    49678     35 |  0.052 % |
18.14/18.24	c |     49862 |    5729    67704   225858 | 2147483647    49839     35 |  0.052 % |
18.24/18.36	c |     50040 |    5729    67704   225858 | 2147483647    50017     35 |  0.052 % |
18.34/18.49	c |     50235 |    5729    67704   225858 | 2147483647    50212     35 |  0.052 % |
18.54/18.63	c |     50448 |    5729    67704   225858 | 2147483647    50425     35 |  0.052 % |
18.75/18.83	c |     50681 |    5729    67704   225858 | 2147483647    50658     35 |  0.052 % |
18.94/19.06	c |     50938 |    5729    67704   225858 | 2147483647    50915     35 |  0.052 % |
19.14/19.20	c |     51220 |    5729    67704   225858 | 2147483647    51197     35 |  0.052 % |
19.34/19.43	c |     51530 |    5729    67704   225858 | 2147483647    51507     36 |  0.052 % |
19.64/19.72	c |     51870 |    5729    67704   225858 | 2147483647    51847     35 |  0.052 % |
19.85/19.94	c |     52243 |    5729    67704   225858 | 2147483647    52220     35 |  0.052 % |
20.04/20.16	c |     52654 |    5729    67704   225858 | 2147483647    52631     35 |  0.052 % |
20.34/20.43	c |     53104 |    5729    67704   225858 | 2147483647    53081     35 |  0.052 % |
20.44/20.58	c |     53597 |    5729    67704   225858 | 2147483647    53574     35 |  0.052 % |
20.84/20.90	c |     54139 |    5729    67704   225858 | 2147483647    54116     36 |  0.052 % |
21.04/21.17	c |     54736 |    5729    67704   225858 | 2147483647    54713     36 |  0.052 % |
21.54/21.61	c |     55392 |    5729    67704   225858 | 2147483647    55369     36 |  0.052 % |
22.04/22.10	c |     56112 |    5729    67704   225858 | 2147483647    56089     36 |  0.053 % |
22.04/22.17	c |     56212 |    5729    67704   225858 | 2147483647    56189     36 |  0.052 % |
22.13/22.24	c |     56324 |    5729    67704   225858 | 2147483647    56301     36 |  0.052 % |
22.23/22.34	c |     56445 |    5729    67704   225858 | 2147483647    56422     36 |  0.052 % |
22.33/22.43	c |     56582 |    5729    67704   225858 | 2147483647    56559     36 |  0.052 % |
22.43/22.54	c |     56728 |    5729    67704   225858 | 2147483647    56705     36 |  0.052 % |
22.53/22.64	c |     56889 |    5729    67704   225858 | 2147483647    56866     36 |  0.052 % |
22.63/22.78	c |     57068 |    5729    67704   225858 | 2147483647    57045     36 |  0.052 % |
22.83/22.97	c |     57265 |    5729    67704   225858 | 2147483647    57242     36 |  0.052 % |
23.04/23.13	c |     57477 |    5729    67704   225858 | 2147483647    57454     36 |  0.052 % |
23.23/23.34	c |     57710 |    5729    67704   225858 | 2147483647    57687     36 |  0.052 % |
23.43/23.53	c |     57967 |    5729    67704   225858 | 2147483647    57944     36 |  0.052 % |
23.63/23.71	c |     58248 |    5729    67704   225858 | 2147483647    58225     36 |  0.052 % |
23.93/24.05	c |     58557 |    5729    67704   225858 | 2147483647    58534     36 |  0.052 % |
24.13/24.24	c |     58896 |    5729    67704   225858 | 2147483647    58873     36 |  0.052 % |
24.33/24.48	c |     59268 |    5729    67704   225858 | 2147483647    59245     36 |  0.052 % |
24.63/24.75	c |     59678 |    5729    67704   225858 | 2147483647    59655     36 |  0.052 % |
25.13/25.24	c |     60127 |    5729    67704   225858 | 2147483647    60104     36 |  0.052 % |
25.43/25.52	c |     60620 |    5729    67704   225858 | 2147483647    60597     37 |  0.052 % |
25.84/25.91	c |     61164 |    5729    67704   225858 | 2147483647    61141     37 |  0.052 % |
26.14/26.27	c |     61761 |    5729    67704   225858 | 2147483647    61738     37 |  0.053 % |
26.64/26.73	c |     62416 |    5729    67704   225858 | 2147483647    62393     37 |  0.052 % |
27.04/27.18	c |     63136 |    5729    67704   225858 | 2147483647    63113     37 |  0.052 % |
27.64/27.73	c |     63930 |    5729    67704   225858 | 2147483647    63907     37 |  0.052 % |
27.74/27.82	c |     64031 |    5729    67704   225858 | 2147483647    64008     37 |  0.052 % |
27.83/27.91	c |     64141 |    5729    67704   225858 | 2147483647    64118     37 |  0.052 % |
27.83/27.99	c |     64262 |    5729    67704   225858 | 2147483647    64239     37 |  0.052 % |
28.03/28.10	c |     64396 |    5729    67704   225858 | 2147483647    64373     37 |  0.052 % |
28.13/28.20	c |     64542 |    5729    67704   225858 | 2147483647    64519     37 |  0.052 % |
28.23/28.39	c |     64703 |    5729    67704   225858 | 2147483647    64680     37 |  0.052 % |
28.43/28.51	c |     64880 |    5729    67704   225858 | 2147483647    64857     37 |  0.052 % |
28.64/28.72	c |     65073 |    5729    67704   225858 | 2147483647    65050     37 |  0.052 % |
28.73/28.89	c |     65289 |    5729    67704   225858 | 2147483647    65266     37 |  0.052 % |
28.93/29.04	c |     65522 |    5729    67704   225858 | 2147483647    65499     37 |  0.052 % |
29.23/29.35	c |     65779 |    5729    67704   225858 | 2147483647    65756     37 |  0.052 % |
29.53/29.61	c |     66063 |    5729    67704   225858 | 2147483647    66040     37 |  0.053 % |
29.73/29.87	c |     66373 |    5729    67704   225858 | 2147483647    66350     37 |  0.052 % |
30.03/30.16	c |     66713 |    5729    67704   225858 | 2147483647    66690     37 |  0.052 % |
30.33/30.43	c |     67086 |    5729    67704   225858 | 2147483647    67063     37 |  0.052 % |
30.73/30.86	c |     67495 |    5729    67704   225858 | 2147483647    67472     37 |  0.052 % |
31.13/31.26	c |     67946 |    5729    67704   225858 | 2147483647    67923     37 |  0.052 % |
31.53/31.61	c |     68439 |    5729    67704   225858 | 2147483647    68416     37 |  0.052 % |
31.93/32.02	c |     68981 |    5729    67704   225858 | 2147483647    68958     38 |  0.052 % |
32.42/32.50	c |     69577 |    5729    67704   225858 | 2147483647    69554     38 |  0.052 % |
33.12/33.28	c |     70234 |    5729    67704   225858 | 2147483647    70211     38 |  0.052 % |
33.72/33.88	c |     70954 |    5729    67704   225858 | 2147483647    70931     38 |  0.052 % |
34.42/34.54	c |     71746 |    5729    67704   225858 | 2147483647    71723     38 |  0.052 % |
35.53/35.66	c |     72618 |    5729    67704   225858 | 2147483647    72595     38 |  0.052 % |
35.63/35.77	c |     72718 |    5729    67704   225858 | 2147483647    72695     38 |  0.052 % |
35.73/35.87	c |     72829 |    5729    67704   225858 | 2147483647    72806     38 |  0.052 % |
35.93/36.08	c |     72950 |    5729    67704   225858 | 2147483647    72927     38 |  0.052 % |
36.03/36.16	c |     73083 |    5729    67704   225858 | 2147483647    73060     38 |  0.052 % |
36.13/36.29	c |     73230 |    5729    67704   225858 | 2147483647    73207     38 |  0.052 % |
36.33/36.44	c |     73391 |    5729    67704   225858 | 2147483647    73368     38 |  0.052 % |
36.53/36.60	c |     73569 |    5729    67704   225858 | 2147483647    73546     38 |  0.052 % |
36.63/36.80	c |     73762 |    5729    67704   225858 | 2147483647    73739     38 |  0.052 % |
36.83/36.98	c |     73974 |    5729    67704   225858 | 2147483647    73951     38 |  0.052 % |
37.03/37.18	c |     74208 |    5729    67704   225858 | 2147483647    74185     38 |  0.052 % |
37.23/37.39	c |     74466 |    5729    67704   225858 | 2147483647    74443     38 |  0.052 % |
37.53/37.61	c |     74747 |    5729    67704   225858 | 2147483647    74724     38 |  0.052 % |
37.73/37.85	c |     75056 |    5729    67704   225858 | 2147483647    75033     38 |  0.052 % |
38.03/38.13	c |     75399 |    5729    67704   225858 | 2147483647    75376     38 |  0.052 % |
38.33/38.48	c |     75773 |    5729    67704   225858 | 2147483647    75750     38 |  0.052 % |
38.73/38.85	c |     76182 |    5729    67704   225858 | 2147483647    76159     38 |  0.052 % |
39.23/39.31	c |     76632 |    5729    67704   225858 | 2147483647    76609     38 |  0.052 % |
39.93/40.00	c |     77125 |    5729    67704   225858 | 2147483647    77102     38 |  0.052 % |
40.33/40.44	c |     77668 |    5729    67704   225858 | 2147483647    77645     39 |  0.052 % |
41.03/41.18	c |     78264 |    5729    67704   225858 | 2147483647    78241     39 |  0.052 % |
41.62/41.71	c |     78919 |    5729    67704   225858 | 2147483647    78896     39 |  0.052 % |
42.22/42.31	c |     79641 |    5729    67704   225858 | 2147483647    79618     39 |  0.052 % |
42.83/42.93	c |     80435 |    5729    67704   225858 | 2147483647    80412     39 |  0.052 % |
43.52/43.66	c |     81306 |    5729    67704   225858 | 2147483647    81283     39 |  0.052 % |
44.62/44.76	c |     82265 |    5729    67704   225858 | 2147483647    82242     39 |  0.052 % |
44.82/44.90	c |     82365 |    5729    67704   225858 | 2147483647    82342     39 |  0.052 % |
44.92/45.06	c |     82478 |    5729    67704   225858 | 2147483647    82455     39 |  0.052 % |
45.12/45.20	c |     82600 |    5729    67704   225858 | 2147483647    82577     39 |  0.052 % |
45.22/45.35	c |     82733 |    5729    67704   225858 | 2147483647    82710     39 |  0.052 % |
45.42/45.51	c |     82879 |    5729    67704   225858 | 2147483647    82856     39 |  0.052 % |
45.42/45.59	c |     83039 |    5729    67704   225858 | 2147483647    83016     39 |  0.052 % |
45.62/45.74	c |     83217 |    5729    67704   225858 | 2147483647    83194     39 |  0.052 % |
45.72/45.85	c |     83410 |    5729    67704   225858 | 2147483647    83387     39 |  0.052 % |
45.92/46.00	c |     83623 |    5729    67704   225858 | 2147483647    83600     39 |  0.052 % |
46.02/46.13	c |     83856 |    5729    67704   225858 | 2147483647    83833     39 |  0.052 % |
46.12/46.29	c |     84114 |    5729    67704   225858 | 2147483647    84091     39 |  0.052 % |
46.32/46.46	c |     84395 |    5729    67704   225858 | 2147483647    84372     39 |  0.052 % |
46.52/46.62	c |     84705 |    5729    67704   225858 | 2147483647    84682     39 |  0.052 % |
46.72/46.80	c |     85046 |    5729    67704   225858 | 2147483647    85023     39 |  0.052 % |
47.22/47.31	c |     85418 |    5729    67704   225858 | 2147483647    85395     39 |  0.052 % |
47.51/47.67	c |     85827 |    5729    67704   225858 | 2147483647    85804     39 |  0.052 % |
47.91/48.09	c |     86277 |    5729    67704   225858 | 2147483647    86254     39 |  0.052 % |
48.32/48.46	c |     86770 |    5729    67704   225858 | 2147483647    86747     39 |  0.052 % |
48.71/48.83	c |     87312 |    5729    67704   225858 | 2147483647    87289     39 |  0.052 % |
49.11/49.28	c |     87909 |    5729    67704   225858 | 2147483647    87886     39 |  0.052 % |
49.61/49.75	c |     88566 |    5729    67704   225858 | 2147483647    88543     39 |  0.052 % |
50.31/50.46	c |     89286 |    5729    67704   225858 | 2147483647    89263     39 |  0.052 % |
51.11/51.23	c |     90081 |    5729    67704   225858 | 2147483647    90058     39 |  0.052 % |
52.21/52.34	c |     90952 |    5729    67704   225858 | 2147483647    90929     39 |  0.052 % |
53.30/53.48	c |     91912 |    5729    67704   225858 | 2147483647    91889     40 |  0.052 % |
54.40/54.52	c |     92965 |    5729    67704   225858 | 2147483647    92942     40 |  0.052 % |
54.50/54.61	c |     93065 |    5729    67704   225858 | 2147483647    93042     40 |  0.052 % |
54.61/54.72	c |     93177 |    5729    67704   225858 | 2147483647    93154     40 |  0.052 % |
54.71/54.86	c |     93299 |    5729    67704   225858 | 2147483647    93276     40 |  0.052 % |
54.92/55.03	c |     93433 |    5729    67704   225858 | 2147483647    93410     40 |  0.052 % |
55.02/55.18	c |     93580 |    5729    67704   225858 | 2147483647    93557     40 |  0.052 % |
55.21/55.38	c |     93740 |    5729    67704   225858 | 2147483647    93717     40 |  0.052 % |
55.41/55.53	c |     93916 |    5729    67704   225858 | 2147483647    93893     40 |  0.053 % |
55.61/55.76	c |     94109 |    5729    67704   225858 | 2147483647    94086     40 |  0.052 % |
55.81/55.94	c |     94322 |    5729    67704   225858 | 2147483647    94299     40 |  0.053 % |
56.01/56.14	c |     94557 |    5729    67704   225858 | 2147483647    94534     40 |  0.053 % |
56.31/56.40	c |     94815 |    5729    67704   225858 | 2147483647    94792     40 |  0.052 % |
56.61/56.77	c |     95096 |    5729    67704   225858 | 2147483647    95073     40 |  0.052 % |
57.11/57.26	c |     95406 |    5729    67704   225858 | 2147483647    95383     40 |  0.052 % |
57.71/57.83	c |     95748 |    5729    67704   225858 | 2147483647    95725     40 |  0.052 % |
58.31/58.46	c |     96122 |    5729    67704   225858 | 2147483647    96099     40 |  0.052 % |
59.21/59.30	c |     96536 |    5729    67704   225858 | 2147483647    96513     40 |  0.052 % |
59.70/59.83	c |     96986 |    5729    67704   225858 | 2147483647    96963     40 |  0.052 % |
60.60/60.79	c |     97479 |    5729    67704   225858 | 2147483647    97456     40 |  0.052 % |
61.20/61.38	c |     98023 |    5729    67704   225858 | 2147483647    98000     40 |  0.052 % |
61.90/62.06	c |     98620 |    5729    67704   225858 | 2147483647    98597     40 |  0.052 % |
62.71/62.88	c |     99276 |    5729    67704   225858 | 2147483647    99253     40 |  0.052 % |
63.60/63.73	c |     99996 |    5729    67704   225858 | 2147483647    99973     40 |  0.052 % |
64.50/64.66	c |    100792 |    5729    67704   225858 | 2147483647   100769     40 |  0.052 % |
65.60/65.77	c |    101663 |    5729    67704   225858 | 2147483647   101640     40 |  0.052 % |
67.10/67.22	c |    102622 |    5729    67704   225858 | 2147483647   102599     40 |  0.052 % |
68.50/68.63	c |    103676 |    5729    67704   225858 | 2147483647   103653     40 |  0.052 % |
69.90/70.06	c |    104835 |    5729    67704   225858 | 2147483647   104812     40 |  0.052 % |
70.10/70.20	c |    104935 |    5729    67704   225858 | 2147483647   104912     40 |  0.052 % |
70.10/70.28	c |    105046 |    5729    67704   225858 | 2147483647   105023     40 |  0.052 % |
70.40/70.53	c |    105169 |    5729    67704   225858 | 2147483647   105146     40 |  0.052 % |
70.50/70.66	c |    105302 |    5729    67704   225858 | 2147483647   105279     40 |  0.052 % |
70.60/70.79	c |    105448 |    5729    67704   225858 | 2147483647   105425     40 |  0.052 % |
70.80/70.92	c |    105608 |    5729    67704   225858 | 2147483647   105585     40 |  0.052 % |
71.00/71.11	c |    105785 |    5729    67704   225858 | 2147483647   105762     40 |  0.052 % |
71.30/71.44	c |    105978 |    5729    67704   225858 | 2147483647   105955     40 |  0.052 % |
71.50/71.65	c |    106190 |    5729    67704   225858 | 2147483647   106167     40 |  0.052 % |
71.70/71.86	c |    106426 |    5729    67704   225858 | 2147483647   106403     40 |  0.052 % |
71.90/72.00	c |    106684 |    5729    67704   225858 | 2147483647   106661     40 |  0.052 % |
72.09/72.27	c |    106968 |    5729    67704   225858 | 2147483647   106945     40 |  0.052 % |
72.40/72.57	c |    107280 |    5729    67704   225858 | 2147483647   107257     40 |  0.052 % |
72.70/72.89	c |    107621 |    5729    67704   225858 | 2147483647   107598     40 |  0.052 % |
73.10/73.24	c |    107993 |    5729    67704   225858 | 2147483647   107970     40 |  0.052 % |
73.50/73.64	c |    108402 |    5729    67704   225858 | 2147483647   108379     40 |  0.053 % |
73.90/74.09	c |    108851 |    5729    67704   225858 | 2147483647   108828     40 |  0.052 % |
74.30/74.48	c |    109346 |    5729    67704   225858 | 2147483647   109323     40 |  0.052 % |
74.90/75.01	c |    109889 |    5729    67704   225858 | 2147483647   109866     40 |  0.052 % |
75.40/75.56	c |    110486 |    5729    67704   225858 | 2147483647   110463     40 |  0.052 % |
76.00/76.16	c |    111141 |    5729    67704   225858 | 2147483647   111118     40 |  0.052 % |
76.70/76.87	c |    111862 |    5729    67704   225858 | 2147483647   111839     40 |  0.052 % |
77.89/78.04	c |    112654 |    5729    67704   225858 | 2147483647   112631     40 |  0.052 % |
79.10/79.25	c |    113525 |    5729    67704   225858 | 2147483647   113502     40 |  0.052 % |
80.49/80.67	c |    114484 |    5729    67704   225858 | 2147483647   114461     40 |  0.052 % |
81.89/82.02	c |    115537 |    5729    67704   225858 | 2147483647   115514     40 |  0.052 % |
83.49/83.65	c |    116697 |    5729    67704   225858 | 2147483647   116674     40 |  0.052 % |
85.49/85.64	c |    117970 |    5729    67704   225858 | 2147483647   117947     41 |  0.052 % |
85.70/85.82	c |    118074 |    5729    67704   225858 | 2147483647   118051     41 |  0.052 % |
86.00/86.19	c |    118185 |    5729    67704   225858 | 2147483647   118162     41 |  0.052 % |
86.20/86.34	c |    118307 |    5729    67704   225858 | 2147483647   118284     41 |  0.052 % |
86.39/86.55	c |    118442 |    5729    67704   225858 | 2147483647   118419     41 |  0.053 % |
86.60/86.78	c |    118588 |    5729    67704   225858 | 2147483647   118565     41 |  0.052 % |
86.90/87.06	c |    118750 |    5729    67704   225858 | 2147483647   118727     41 |  0.052 % |
87.09/87.25	c |    118927 |    5729    67704   225858 | 2147483647   118904     41 |  0.052 % |
87.29/87.46	c |    119121 |    5729    67704   225858 | 2147483647   119098     41 |  0.052 % |
87.59/87.76	c |    119335 |    5729    67704   225858 | 2147483647   119312     41 |  0.052 % |
88.00/88.15	c |    119568 |    5729    67704   225858 | 2147483647   119545     41 |  0.052 % |
88.69/88.83	c |    119824 |    5729    67704   225858 | 2147483647   119801     41 |  0.052 % |
89.19/89.38	c |    120106 |    5729    67704   225858 | 2147483647   120083     41 |  0.052 % |
89.69/89.89	c |    120415 |    5729    67704   225858 | 2147483647   120392     41 |  0.052 % |
90.20/90.31	c |    120754 |    5729    67704   225858 | 2147483647   120731     41 |  0.052 % |
90.69/90.83	c |    121126 |    5729    67704   225858 | 2147483647   121103     41 |  0.052 % |
91.30/91.42	c |    121540 |    5729    67704   225858 | 2147483647   121517     41 |  0.052 % |
92.09/92.25	c |    121989 |    5729    67704   225858 | 2147483647   121966     41 |  0.052 % |
92.79/92.99	c |    122486 |    5729    67704   225858 | 2147483647   122463     41 |  0.052 % |
93.89/94.08	c |    123030 |    5729    67704   225858 | 2147483647   123007     41 |  0.052 % |
94.79/94.94	c |    123626 |    5729    67704   225858 | 2147483647   123603     41 |  0.052 % |
95.69/95.81	c |    124282 |    5729    67704   225858 | 2147483647   124259     41 |  0.052 % |
97.09/97.24	c |    125003 |    5729    67704   225858 | 2147483647   124980     41 |  0.052 % |
98.39/98.58	c |    125797 |    5729    67704   225858 | 2147483647   125774     41 |  0.052 % |
99.78/99.92	c |    126671 |    5729    67704   225858 | 2147483647   126648     41 |  0.052 % |
101.48/101.66	c |    127632 |    5729    67704   225858 | 2147483647   127609     41 |  0.052 % |
102.98/103.13	c |    128687 |    5729    67704   225858 | 2147483647   128664     41 |  0.052 % |
104.58/104.78	c |    129846 |    5729    67704   225858 | 2147483647   129823     41 |  0.052 % |
106.78/106.99	c |    131119 |    5729    67704   225858 |   129977   115114     41 |  0.052 % |
109.48/109.62	c |    132519 |    5729    67704   225858 |   129977   116514     41 |  0.052 % |
109.68/109.84	c |    132620 |    5729    67704   225858 |   129977   116615     41 |  0.052 % |
109.88/110.09	c |    132731 |    5729    67704   225858 |   129977   116726     41 |  0.052 % |
110.08/110.29	c |    132852 |    5729    67704   225858 |   129977   116847     41 |  0.052 % |
110.28/110.47	c |    132985 |    5729    67704   225858 |   129977   116980     41 |  0.052 % |
110.67/110.89	c |    133131 |    5729    67704   225858 |   129977   117126     41 |  0.052 % |
110.98/111.13	c |    133292 |    5729    67704   225858 |   129977   117287     41 |  0.052 % |
111.17/111.35	c |    133468 |    5729    67704   225858 |   129977   117463     41 |  0.053 % |
111.47/111.64	c |    133667 |    5729    67704   225858 |   129977   117662     41 |  0.052 % |
111.77/111.98	c |    133882 |    5729    67704   225858 |   129977   117877     41 |  0.052 % |
112.18/112.32	c |    134117 |    5729    67704   225858 |   129977   118112     41 |  0.052 % |
112.57/112.71	c |    134374 |    5729    67704   225858 |   129977   118369     41 |  0.052 % |
112.87/113.05	c |    134655 |    5729    67704   225858 |   129977   118650     41 |  0.052 % |
113.57/113.71	c |    134964 |    5729    67704   225858 |   129977   118959     41 |  0.052 % |
114.07/114.21	c |    135303 |    5729    67704   225858 |   129977   119298     41 |  0.052 % |
114.38/114.54	c |    135678 |    5729    67704   225858 |   129977   119673     41 |  0.056 % |
114.77/114.91	c |    136087 |    5729    67704   225858 |   129977   120082     41 |  0.052 % |
115.47/115.65	c |    136536 |    5729    67704   225858 |   129977   120531     41 |  0.052 % |
116.28/116.45	c |    137030 |    5729    67704   225858 |   129977   121025     41 |  0.052 % |
117.08/117.28	c |    137573 |    5729    67704   225858 |   129977   121568     41 |  0.052 % |
117.98/118.10	c |    138169 |    5729    67704   225858 |   129977   122164     41 |  0.052 % |
118.88/119.07	c |    138827 |    5729    67704   225858 |   129977   122822     41 |  0.052 % |
120.28/120.49	c |    139551 |    5729    67704   225858 |   129977   123546     41 |  0.052 % |
122.18/122.37	c |    140343 |    5729    67704   225858 |   123997   108756     40 |  0.052 % |
123.48/123.67	c |    141214 |    5729    67704   225858 |   123997   109627     40 |  0.052 % |
125.08/125.23	c |    142173 |    5729    67704   225858 |   123997   110586     40 |  0.053 % |
126.18/126.37	c |    143226 |    5729    67704   225858 |   123997   111639     40 |  0.053 % |
127.68/127.84	c |    144384 |    5729    67704   225858 |   123997   112797     40 |  0.052 % |
129.17/129.34	c |    145657 |    5729    67704   225858 |   123997   114070     40 |  0.052 % |
131.27/131.45	c |    147058 |    5729    67704   225858 |   123997   115471     40 |  0.052 % |
134.27/134.49	c |    148601 |    5729    67704   225858 |   123997   117014     40 |  0.053 % |
134.47/134.67	c |    148701 |    5729    67704   225858 |   123997   117114     40 |  0.053 % |
134.67/134.86	c |    148813 |    5729    67704   225858 |   123997   117226     40 |  0.053 % |
134.87/135.09	c |    148934 |    5729    67704   225858 |   123997   117347     40 |  0.053 % |
135.07/135.28	c |    149068 |    5729    67704   225858 |   123997   117481     40 |  0.053 % |
135.57/135.72	c |    149214 |    5729    67704   225858 |   123997   117627     40 |  0.053 % |
135.97/136.14	c |    149377 |    5729    67704   225858 |   123997   117790     40 |  0.053 % |
136.47/136.61	c |    149554 |    5729    67704   225858 |   123997   117967     40 |  0.053 % |
136.97/137.15	c |    149747 |    5729    67704   225858 |   123997   118160     40 |  0.053 % |
137.57/137.73	c |    149963 |    5729    67704   225858 |   123997   118376     40 |  0.053 % |
138.17/138.33	c |    150198 |    5729    67704   225858 | 2147483647   118611     40 |  0.053 % |
138.87/139.09	c |    150458 |    5720    65378   216635 | 2147483647    52793     30 |  0.210 % |
139.17/139.32	c |    150741 |    5720    65378   216635 | 2147483647    53076     30 |  0.209 % |
139.27/139.47	c |    151050 |    5720    65378   216635 | 2147483647    53385     30 |  0.209 % |
139.57/139.76	c |    151390 |    5720    65378   216635 | 2147483647    53725     30 |  0.209 % |
139.87/140.08	c |    151766 |    5720    65378   216635 | 2147483647    54101     30 |  0.209 % |
140.27/140.44	c |    152177 |    5720    65378   216635 | 2147483647    54512     31 |  0.210 % |
140.57/140.79	c |    152627 |    5720    65378   216635 | 2147483647    54962     31 |  0.209 % |
141.07/141.26	c |    153122 |    5720    65378   216635 | 2147483647    55457     31 |  0.209 % |
141.57/141.77	c |    153664 |    5720    65378   216635 | 2147483647    55999     31 |  0.209 % |
141.97/142.16	c |    154261 |    5720    65378   216635 | 2147483647    56596     31 |  0.209 % |
142.47/142.64	c |    154916 |    5720    65378   216635 | 2147483647    57251     31 |  0.209 % |
142.97/143.16	c |    155637 |    5720    65378   216635 | 2147483647    57972     31 |  0.209 % |
143.46/143.70	c |    156429 |    5720    65378   216635 | 2147483647    58764     32 |  0.209 % |
144.46/144.66	c |    157300 |    5720    65378   216635 | 2147483647    59635     32 |  0.209 % |
145.17/145.37	c |    158258 |    5720    65378   216635 | 2147483647    60593     32 |  0.209 % |
145.96/146.10	c |    159314 |    5720    65378   216635 | 2147483647    61649     33 |  0.209 % |
146.86/147.09	c |    160472 |    5720    65378   216635 | 2147483647    62807     33 |  0.209 % |
147.96/148.17	c |    161749 |    5720    65378   216635 | 2147483647    64084     34 |  0.209 % |
149.66/149.90	c |    163150 |    5720    65378   216635 | 2147483647    65485     34 |  0.209 % |
151.06/151.27	c |    164691 |    5720    65378   216635 | 2147483647    67026     35 |  0.209 % |
152.56/152.74	c |    166385 |    5720    65378   216635 | 2147483647    68720     35 |  0.209 % |
152.66/152.83	c |    166486 |    5720    65378   216635 | 2147483647    68821     35 |  0.209 % |
152.76/152.95	c |    166596 |    5720    65378   216635 | 2147483647    68931     35 |  0.209 % |
152.86/153.08	c |    166717 |    5720    65378   216635 | 2147483647    69052     35 |  0.209 % |
153.06/153.23	c |    166850 |    5720    65378   216635 | 2147483647    69185     35 |  0.209 % |
153.16/153.36	c |    166997 |    5720    65378   216635 | 2147483647    69332     35 |  0.209 % |
153.36/153.53	c |    167159 |    5720    65378   216635 | 2147483647    69494     35 |  0.209 % |
153.56/153.76	c |    167335 |    5720    65378   216635 | 2147483647    69670     35 |  0.209 % |
153.76/153.94	c |    167528 |    5720    65378   216635 | 2147483647    69863     35 |  0.209 % |
153.86/154.10	c |    167741 |    5720    65378   216635 | 2147483647    70076     36 |  0.209 % |
154.06/154.29	c |    167976 |    5720    65378   216635 | 2147483647    70311     36 |  0.209 % |
154.36/154.58	c |    168232 |    5720    65378   216635 | 2147483647    70567     36 |  0.209 % |
154.66/154.85	c |    168515 |    5720    65378   216635 | 2147483647    70850     36 |  0.209 % |
154.96/155.16	c |    168825 |    5720    65378   216635 | 2147483647    71160     36 |  0.209 % |
155.25/155.45	c |    169166 |    5720    65378   216635 | 2147483647    71501     36 |  0.209 % |
155.75/155.95	c |    169538 |    5720    65378   216635 | 2147483647    71873     36 |  0.209 % |
156.16/156.37	c |    169948 |    5720    65378   216635 | 2147483647    72283     36 |  0.209 % |
156.65/156.81	c |    170400 |    5720    65378   216635 | 2147483647    72735     36 |  0.209 % |
157.05/157.22	c |    170893 |    5720    65378   216635 | 2147483647    73228     37 |  0.209 % |
157.55/157.76	c |    171438 |    5720    65378   216635 | 2147483647    73773     37 |  0.209 % |
158.15/158.30	c |    172035 |    5720    65378   216635 | 2147483647    74370     37 |  0.209 % |
158.75/158.93	c |    172690 |    5720    65378   216635 | 2147483647    75025     37 |  0.209 % |
159.46/159.67	c |    173411 |    5720    65378   216635 | 2147483647    75746     37 |  0.209 % |
160.15/160.39	c |    174205 |    5720    65378   216635 | 2147483647    76540     37 |  0.209 % |
161.45/161.67	c |    175077 |    5720    65378   216635 | 2147483647    77412     37 |  0.209 % |
162.35/162.50	c |    176037 |    5720    65378   216635 | 2147483647    78372     38 |  0.209 % |
163.45/163.63	c |    177091 |    5720    65378   216635 | 2147483647    79426     38 |  0.209 % |
164.85/165.09	c |    178251 |    5720    65378   216635 | 2147483647    80586     38 |  0.209 % |
166.05/166.25	c |    179524 |    5720    65378   216635 | 2147483647    81859     38 |  0.209 % |
167.25/167.44	c |    180924 |    5720    65378   216635 | 2147483647    83259     39 |  0.209 % |
169.05/169.27	c |    182468 |    5720    65378   216635 | 2147483647    84803     39 |  0.214 % |
170.65/170.87	c |    184163 |    5720    65378   216635 | 2147483647    86498     40 |  0.209 % |
173.15/173.30	c |    186029 |    5720    65378   216635 | 2147483647    88364     40 |  0.209 % |
173.25/173.43	c |    186130 |    5720    65378   216635 | 2147483647    88465     40 |  0.209 % |
173.35/173.58	c |    186242 |    5720    65378   216635 | 2147483647    88577     40 |  0.209 % |
173.55/173.80	c |    186366 |    5720    65378   216635 | 2147483647    88701     40 |  0.209 % |
173.75/173.93	c |    186500 |    5720    65378   216635 | 2147483647    88835     40 |  0.209 % |
173.85/174.05	c |    186648 |    5720    65378   216635 | 2147483647    88983     40 |  0.209 % |
174.15/174.36	c |    186808 |    5720    65378   216635 | 2147483647    89143     40 |  0.209 % |
174.55/174.72	c |    186987 |    5720    65378   216635 | 2147483647    89322     40 |  0.209 % |
174.85/175.02	c |    187181 |    5720    65378   216635 | 2147483647    89516     40 |  0.209 % |
175.05/175.28	c |    187394 |    5720    65378   216635 | 2147483647    89729     40 |  0.209 % |
175.45/175.65	c |    187627 |    5720    65378   216635 | 2147483647    89962     40 |  0.209 % |
175.74/175.95	c |    187884 |    5720    65378   216635 | 2147483647    90219     40 |  0.209 % |
176.04/176.21	c |    188166 |    5720    65378   216635 | 2147483647    90501     40 |  0.209 % |
176.44/176.61	c |    188476 |    5720    65378   216635 | 2147483647    90811     40 |  0.214 % |
176.74/176.98	c |    188815 |    5720    65378   216635 | 2147483647    91150     40 |  0.209 % |
177.14/177.37	c |    189189 |    5720    65378   216635 | 2147483647    91524     40 |  0.209 % |
177.74/177.90	c |    189598 |    5720    65378   216635 | 2147483647    91933     40 |  0.209 % |
178.24/178.48	c |    190047 |    5720    65378   216635 | 2147483647    92382     40 |  0.209 % |
179.04/179.20	c |    190540 |    5720    65378   216635 | 2147483647    92875     40 |  0.209 % |
179.84/180.08	c |    191082 |    5719    65372   216617 | 2147483647    93412     41 |  0.227 % |
180.64/180.84	c |    191678 |    5719    65372   216617 | 2147483647    94008     41 |  0.227 % |
181.74/181.92	c |    192335 |    5719    65372   216617 | 2147483647    94665     41 |  0.227 % |
182.74/182.98	c |    193056 |    5719    65372   216617 | 2147483647    95386     41 |  0.227 % |
184.14/184.40	c |    193848 |    5719    65372   216617 | 2147483647    96178     41 |  0.227 % |
185.44/185.63	c |    194719 |    5719    65372   216617 | 2147483647    97049     41 |  0.227 % |
186.54/186.72	c |    195677 |    5719    65372   216617 | 2147483647    98007     42 |  0.227 % |
188.04/188.24	c |    196731 |    5719    65372   216617 | 2147483647    99061     42 |  0.227 % |
189.83/190.03	c |    197889 |    5719    65372   216617 | 2147483647   100219     42 |  0.227 % |
192.13/192.35	c |    199162 |    5719    65372   216617 | 2147483647   101492     42 |  0.227 % |
194.83/195.06	c |    200564 |    5719    65372   216617 | 2147483647   102894     42 |  0.227 % |
197.73/197.91	c |    202104 |    5719    65372   216617 | 2147483647   104434     42 |  0.227 % |
200.13/200.38	c |    203798 |    5719    65372   216617 | 2147483647   106128     43 |  0.227 % |
203.73/203.92	c |    205665 |    5719    65372   216617 | 2147483647   107995     43 |  0.227 % |
207.13/207.31	c |    207714 |    5719    65372   216617 | 2147483647   110044     43 |  0.227 % |
207.23/207.48	c |    207815 |    5719    65372   216617 | 2147483647   110145     43 |  0.227 % |
207.43/207.64	c |    207925 |    5719    65372   216617 | 2147483647   110255     43 |  0.227 % |
207.52/207.77	c |    208048 |    5719    65372   216617 | 2147483647   110378     43 |  0.227 % |
207.83/208.03	c |    208181 |    5719    65372   216617 | 2147483647   110511     43 |  0.231 % |
208.02/208.29	c |    208327 |    5719    65372   216617 | 2147483647   110657     43 |  0.227 % |
208.43/208.66	c |    208490 |    5719    65372   216617 | 2147483647   110820     43 |  0.227 % |
208.62/208.85	c |    208666 |    5719    65372   216617 | 2147483647   110996     43 |  0.227 % |
209.02/209.28	c |    208860 |    5719    65372   216617 | 2147483647   111190     43 |  0.227 % |
209.32/209.55	c |    209072 |    5719    65372   216617 | 2147483647   111402     43 |  0.227 % |
209.62/209.86	c |    209305 |    5719    65372   216617 | 2147483647   111635     43 |  0.227 % |
210.03/210.25	c |    209562 |    5719    65372   216617 | 2147483647   111892     43 |  0.227 % |
210.82/211.09	c |    209843 |    5718    65366   216599 | 2147483647   112166     43 |  0.244 % |
211.32/211.53	c |    210154 |    5718    65366   216599 | 2147483647   112477     43 |  0.244 % |
211.82/212.06	c |    210494 |    5718    65366   216599 | 2147483647   112817     43 |  0.244 % |
212.42/212.61	c |    210866 |    5718    65366   216599 | 2147483647   113189     43 |  0.244 % |
212.92/213.11	c |    211275 |    5718    65366   216599 | 2147483647   113598     44 |  0.244 % |
213.32/213.55	c |    211725 |    5718    65366   216599 | 2147483647   114048     44 |  0.244 % |
214.02/214.29	c |    212219 |    5718    65366   216599 | 2147483647   114542     44 |  0.244 % |
214.92/215.16	c |    212762 |    5718    65366   216599 | 2147483647   115085     44 |  0.248 % |
215.62/215.88	c |    213361 |    5718    65366   216599 | 2147483647   115684     44 |  0.244 % |
216.42/216.69	c |    214016 |    5718    65366   216599 | 2147483647   116339     44 |  0.248 % |
217.82/218.05	c |    214736 |    5718    65366   216599 | 2147483647   117059     44 |  0.244 % |
219.21/219.44	c |    215531 |    5718    65366   216599 | 2147483647   117854     44 |  0.244 % |
220.81/221.01	c |    216402 |    5718    65366   216599 | 2147483647   118725     44 |  0.244 % |
223.31/223.55	c |    217362 |    5718    65366   216599 | 2147483647   119685     44 |  0.244 % |
224.71/224.96	c |    218415 |    5718    65366   216599 | 2147483647   120738     44 |  0.244 % |
226.81/227.02	c |    219575 |    5718    65366   216599 | 2147483647   121898     44 |  0.244 % |
229.02/229.29	c |    220849 |    5718    65366   216599 | 2147483647   123172     45 |  0.244 % |
231.92/232.14	c |    222251 |    5718    65366   216599 | 2147483647   124574     45 |  0.244 % |
234.12/234.39	c |    223791 |    5718    65366   216599 | 2147483647   126114     45 |  0.244 % |
237.21/237.45	c |    225486 |    5718    65366   216599 | 2147483647   127809     45 |  0.244 % |
241.30/241.57	c |    227349 |    5718    65366   216599 | 2147483647   129672     45 |  0.244 % |
246.40/246.64	c |    229399 |    5718    65366   216599 | 2147483647   131722     45 |  0.244 % |
252.51/252.76	c |    231655 |    5718    65366   216599 | 2147483647   133978     45 |  0.244 % |
252.91/253.13	c |    231757 |    5718    65366   216599 | 2147483647   134080     45 |  0.244 % |
253.20/253.45	c |    231867 |    5718    65366   216599 | 2147483647   134190     45 |  0.244 % |
253.70/253.93	c |    231988 |    5718    65366   216599 | 2147483647   134311     45 |  0.244 % |
254.01/254.21	c |    232123 |    5718    65366   216599 | 2147483647   134446     45 |  0.244 % |
254.21/254.44	c |    232270 |    5718    65366   216599 | 2147483647   134593     45 |  0.244 % |
254.41/254.68	c |    232430 |    5718    65366   216599 | 2147483647   134753     46 |  0.244 % |
254.70/254.90	c |    232607 |    5718    65366   216599 | 2147483647   134930     46 |  0.244 % |
255.01/255.28	c |    232802 |    5718    65366   216599 | 2147483647   135125     46 |  0.244 % |
255.40/255.66	c |    233015 |    5718    65366   216599 | 2147483647   135338     46 |  0.244 % |
256.11/256.34	c |    233248 |    5718    65366   216599 | 2147483647   135571     45 |  0.244 % |
256.70/256.96	c |    233506 |    5718    65366   216599 | 2147483647   135829     46 |  0.244 % |
257.30/257.54	c |    233788 |    5718    65366   216599 | 2147483647   136111     46 |  0.244 % |
257.90/258.11	c |    234098 |    5718    65366   216599 | 2147483647   136421     46 |  0.244 % |
258.90/259.14	c |    234439 |    5718    65366   216599 | 2147483647   136762     46 |  0.244 % |
259.50/259.77	c |    234811 |    5718    65366   216599 | 2147483647   137134     46 |  0.244 % |
260.50/260.72	c |    235222 |    5718    65366   216599 | 2147483647   137545     46 |  0.244 % |
261.20/261.41	c |    235671 |    5718    65366   216599 | 2147483647   137994     46 |  0.244 % |
262.10/262.34	c |    236164 |    5718    65366   216599 | 2147483647   138487     46 |  0.244 % |
263.00/263.28	c |    236706 |    5718    65366   216599 | 2147483647   139029     46 |  0.244 % |
264.09/264.32	c |    237305 |    5718    65366   216599 | 2147483647   139628     46 |  0.244 % |
265.19/265.48	c |    237961 |    5718    65366   216599 | 2147483647   140284     46 |  0.248 % |
266.39/266.66	c |    238681 |    5718    65366   216599 | 2147483647   141004     46 |  0.244 % |
267.89/268.12	c |    239473 |    5718    65366   216599 | 2147483647   141796     46 |  0.244 % |
269.70/269.90	c |    240344 |    5718    65366   216599 |   142324   124603     46 |  0.244 % |
271.20/271.45	c |    241302 |    5718    65366   216599 |   142324   125561     46 |  0.244 % |
273.39/273.63	c |    242355 |    5718    65366   216599 |   142324   126614     46 |  0.244 % |
275.59/275.81	c |    243513 |    5718    65366   216599 |   142324   127772     47 |  0.244 % |
278.39/278.63	c |    244786 |    5718    65366   216599 |   142324   129045     47 |  0.244 % |
280.79/281.04	c |    246187 |    5718    65366   216599 |   142324   130446     47 |  0.244 % |
283.49/283.72	c |    247727 |    5718    65366   216599 |   142324   131986     47 |  0.244 % |
286.49/286.71	c |    249422 |    5718    65366   216599 |   142324   133681     47 |  0.244 % |
289.89/290.18	c |    251286 |    5718    65366   216599 |   134261   118377     47 |  0.244 % |
293.79/294.00	c |    253335 |    5718    65366   216599 |   134261   120426     47 |  0.244 % |
297.99/298.29	c |    255589 |    5718    65366   216599 |   134261   122680     47 |  0.244 % |
301.78/302.03	c |    258069 |    5718    65366   216599 |   134261   125160     47 |  0.244 % |
301.88/302.19	c |    258169 |    5718    65366   216599 |   134261   125260     47 |  0.244 % |
302.29/302.53	c |    258279 |    5718    65366   216599 |   134261   125370     47 |  0.244 % |
302.48/302.75	c |    258400 |    5718    65366   216599 |   134261   125491     47 |  0.244 % |
302.68/302.99	c |    258535 |    5718    65366   216599 |   134261   125626     47 |  0.244 % |
302.98/303.21	c |    258682 |    5718    65366   216599 |   134261   125773     47 |  0.244 % |
303.18/303.47	c |    258842 |    5718    65366   216599 |   134261   125933     47 |  0.244 % |
303.78/304.00	c |    259023 |    5718    65366   216599 |   134261   126114     47 |  0.244 % |
303.98/304.21	c |    259217 |    5718    65366   216599 |   134261   126308     47 |  0.244 % |
304.18/304.46	c |    259429 |    5718    65366   216599 |   134261   126520     47 |  0.244 % |
304.68/304.94	c |    259663 |    5718    65366   216599 |   134261   126754     47 |  0.244 % |
305.08/305.36	c |    259920 |    5718    65366   216599 |   134261   127011     47 |  0.244 % |
305.58/305.86	c |    260201 |    5718    65366   216599 | 2147483647   127292     47 |  0.244 % |
306.28/306.52	c |    260510 |    5718    65366   216599 | 2147483647   127601     47 |  0.244 % |
307.08/307.31	c |    260849 |    5718    65366   216599 | 2147483647   127940     47 |  0.244 % |
308.48/308.74	c |    261223 |    5711    63506   208812 | 2147483647    85825     42 |  0.366 % |
309.08/309.31	c |    261632 |    5711    63506   208812 | 2147483647    86234     42 |  0.366 % |
309.68/309.96	c |    262082 |    5711    63506   208812 | 2147483647    86684     42 |  0.366 % |
310.38/310.60	c |    262575 |    5711    63506   208812 | 2147483647    87177     42 |  0.366 % |
311.18/311.47	c |    263118 |    5711    63506   208812 | 2147483647    87720     42 |  0.366 % |
312.28/312.56	c |    263714 |    5709    63506   208812 | 2147483647    88314     42 |  0.436 % |
313.47/313.78	c |    264374 |    5709    63506   208812 | 2147483647    88974     42 |  0.436 % |
314.07/314.36	c ===============================================================================
314.07/314.36	c restarts              : 653
314.07/314.36	c conflicts             : 264647         (844 /sec)
314.07/314.36	c decisions             : 481227         (1.25 % random) (1534 /sec)
314.07/314.36	c propagations          : 110502022      (352259 /sec)
314.07/314.36	c conflict literals     : 12631703       (47.83 % deleted)
314.07/314.36	c Memory used           : 37.64 MB
314.07/314.36	c CPU time              : 313.695 s
314.07/314.36	c 
314.07/314.36	s UNSATISFIABLE
314.07/314.37	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834161-1242828502/watcher-1834161-1242828502 -o /tmp/evaluation-result-1834161-1242828502/solver-1834161-1242828502 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834161-1242828502.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: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 20990
/proc/meminfo: memFree=1766520/2055920 swapFree=4179756/4192956
[pid=20990] ppid=20988 vsize=5356 CPUtime=0
/proc/20990/stat : 20990 (SatELiteGTI) S 20988 20990 20163 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310883901 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20990/statm: 1339 237 197 169 0 50 0

[startup+0.10437 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 20990
/proc/meminfo: memFree=1766520/2055920 swapFree=4179756/4192956
[pid=20990] ppid=20988 vsize=5356 CPUtime=0
/proc/20990/stat : 20990 (SatELiteGTI) S 20988 20990 20163 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310883901 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20990/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.201391 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 20990
/proc/meminfo: memFree=1766520/2055920 swapFree=4179756/4192956
[pid=20990] ppid=20988 vsize=5356 CPUtime=0
/proc/20990/stat : 20990 (SatELiteGTI) S 20988 20990 20163 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310883901 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20990/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301413 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 20990
/proc/meminfo: memFree=1766520/2055920 swapFree=4179756/4192956
[pid=20990] ppid=20988 vsize=5356 CPUtime=0
/proc/20990/stat : 20990 (SatELiteGTI) S 20988 20990 20163 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310883901 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20990/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.702508 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 20990
/proc/meminfo: memFree=1766520/2055920 swapFree=4179756/4192956
[pid=20990] ppid=20988 vsize=5356 CPUtime=0.31
/proc/20990/stat : 20990 (SatELiteGTI) S 20988 20990 20163 0 -1 4194304 336 2635 0 0 0 0 29 2 16 0 1 0 310883901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20990/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 5356

[startup+1.50167 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 20996
/proc/meminfo: memFree=1759272/2055920 swapFree=4179756/4192956
[pid=20990] ppid=20988 vsize=5356 CPUtime=0.31
/proc/20990/stat : 20990 (SatELiteGTI) S 20988 20990 20163 0 -1 4194304 336 2635 0 0 0 0 29 2 16 0 1 0 310883901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20990/statm: 1339 239 197 169 0 50 0
[pid=20996] ppid=20990 vsize=6468 CPUtime=1.15
/proc/20996/stat : 20996 (minisat_static) R 20990 20990 20163 0 -1 4194304 1499 0 0 0 114 1 0 0 25 0 1 0 310883934 6623232 1485 1992294400 134512640 135215339 4294956240 18446744073709551615 134532839 0 0 4096 3 0 0 0 17 1 0 0
/proc/20996/statm: 1617 1485 76 171 0 1444 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 11824

[startup+3.10201 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 20996
/proc/meminfo: memFree=1758312/2055920 swapFree=4179756/4192956
[pid=20990] ppid=20988 vsize=5356 CPUtime=0.31
/proc/20990/stat : 20990 (SatELiteGTI) S 20988 20990 20163 0 -1 4194304 336 2635 0 0 0 0 29 2 16 0 1 0 310883901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20990/statm: 1339 239 197 169 0 50 0
[pid=20996] ppid=20990 vsize=7672 CPUtime=2.76
/proc/20996/stat : 20996 (minisat_static) R 20990 20990 20163 0 -1 4194304 1796 0 0 0 274 2 0 0 25 0 1 0 310883934 7856128 1782 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/20996/statm: 1918 1782 76 171 0 1745 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 13028

[startup+6.3017 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 20996
/proc/meminfo: memFree=1756272/2055920 swapFree=4179756/4192956
[pid=20990] ppid=20988 vsize=5356 CPUtime=0.31
/proc/20990/stat : 20990 (SatELiteGTI) S 20988 20990 20163 0 -1 4194304 336 2635 0 0 0 0 29 2 16 0 1 0 310883901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20990/statm: 1339 239 197 169 0 50 0
[pid=20996] ppid=20990 vsize=9432 CPUtime=5.94
/proc/20996/stat : 20996 (minisat_static) R 20990 20990 20163 0 -1 4194304 2225 0 0 0 592 2 0 0 25 0 1 0 310883934 9658368 2211 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20996/statm: 2358 2211 76 171 0 2185 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 14788

[startup+12.7011 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 20996
/proc/meminfo: memFree=1753200/2055920 swapFree=4179756/4192956
[pid=20990] ppid=20988 vsize=5356 CPUtime=0.31
/proc/20990/stat : 20990 (SatELiteGTI) S 20988 20990 20163 0 -1 4194304 336 2635 0 0 0 0 29 2 16 0 1 0 310883901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20990/statm: 1339 239 197 169 0 50 0
[pid=20996] ppid=20990 vsize=12384 CPUtime=12.34
/proc/20996/stat : 20996 (minisat_static) R 20990 20990 20163 0 -1 4194304 2966 0 0 0 1230 4 0 0 25 0 1 0 310883934 12681216 2952 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20996/statm: 3096 2952 76 171 0 2923 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 17740

[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 20996
/proc/meminfo: memFree=1748848/2055920 swapFree=4179756/4192956
[pid=20990] ppid=20988 vsize=5356 CPUtime=0.31
/proc/20990/stat : 20990 (SatELiteGTI) S 20988 20990 20163 0 -1 4194304 336 2635 0 0 0 0 29 2 16 0 1 0 310883901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20990/statm: 1339 239 197 169 0 50 0
[pid=20996] ppid=20990 vsize=16708 CPUtime=25.12
/proc/20996/stat : 20996 (minisat_static) R 20990 20990 20163 0 -1 4194304 4025 0 0 0 2507 5 0 0 25 0 1 0 310883934 17108992 4011 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/20996/statm: 4177 4011 76 171 0 4004 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 22064

[startup+51.1023 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 20996
/proc/meminfo: memFree=1742512/2055920 swapFree=4179756/4192956
[pid=20990] ppid=20988 vsize=5356 CPUtime=0.31
/proc/20990/stat : 20990 (SatELiteGTI) S 20988 20990 20163 0 -1 4194304 336 2635 0 0 0 0 29 2 16 0 1 0 310883901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20990/statm: 1339 239 197 169 0 50 0
[pid=20996] ppid=20990 vsize=23104 CPUtime=50.7
/proc/20996/stat : 20996 (minisat_static) R 20990 20990 20163 0 -1 4194304 5632 0 0 0 5063 7 0 0 25 0 1 0 310883934 23658496 5618 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/20996/statm: 5776 5618 76 171 0 5603 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 28460

[startup+102.302 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 20996
/proc/meminfo: memFree=1733936/2055920 swapFree=4179756/4192956
[pid=20990] ppid=20988 vsize=5356 CPUtime=0.31
/proc/20990/stat : 20990 (SatELiteGTI) S 20988 20990 20163 0 -1 4194304 336 2635 0 0 0 0 29 2 16 0 1 0 310883901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20990/statm: 1339 239 197 169 0 50 0
[pid=20996] ppid=20990 vsize=31684 CPUtime=101.88
/proc/20996/stat : 20996 (minisat_static) R 20990 20990 20163 0 -1 4194304 7743 0 0 0 10178 10 0 0 25 0 1 0 310883934 32444416 7729 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/20996/statm: 7921 7729 76 171 0 7748 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 37040

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 20996
/proc/meminfo: memFree=1733296/2055920 swapFree=4179756/4192956
[pid=20990] ppid=20988 vsize=5356 CPUtime=0.31
/proc/20990/stat : 20990 (SatELiteGTI) S 20988 20990 20163 0 -1 4194304 336 2635 0 0 0 0 29 2 16 0 1 0 310883901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20990/statm: 1339 239 197 169 0 50 0
[pid=20996] ppid=20990 vsize=32244 CPUtime=161.84
/proc/20996/stat : 20996 (minisat_static) R 20990 20990 20163 0 -1 4194304 7905 0 0 0 16173 11 0 0 25 0 1 0 310883934 33017856 7891 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20996/statm: 8061 7891 76 171 0 7888 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 37600

[startup+222.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 20996
/proc/meminfo: memFree=1733104/2055920 swapFree=4179756/4192956
[pid=20990] ppid=20988 vsize=5356 CPUtime=0.31
/proc/20990/stat : 20990 (SatELiteGTI) S 20988 20990 20163 0 -1 4194304 336 2635 0 0 0 0 29 2 16 0 1 0 310883901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20990/statm: 1339 239 197 169 0 50 0
[pid=20996] ppid=20990 vsize=32392 CPUtime=221.81
/proc/20996/stat : 20996 (minisat_static) R 20990 20990 20163 0 -1 4194304 7931 0 0 0 22170 11 0 0 25 0 1 0 310883934 33169408 7917 1992294400 134512640 135215339 4294956240 18446744073709551615 134532684 0 0 4096 3 0 0 0 17 1 0 0
/proc/20996/statm: 8098 7917 76 171 0 7925 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 37748

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 20996
/proc/meminfo: memFree=1727408/2055920 swapFree=4179756/4192956
[pid=20990] ppid=20988 vsize=5356 CPUtime=0.31
/proc/20990/stat : 20990 (SatELiteGTI) S 20988 20990 20163 0 -1 4194304 336 2635 0 0 0 0 29 2 16 0 1 0 310883901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20990/statm: 1339 239 197 169 0 50 0
[pid=20996] ppid=20990 vsize=38320 CPUtime=281.78
/proc/20996/stat : 20996 (minisat_static) R 20990 20990 20163 0 -1 4194304 9355 0 0 0 28164 14 0 0 25 0 1 0 310883934 39239680 9341 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20996/statm: 9580 9341 76 171 0 9407 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 43676

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

[startup+294.401 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 20996
/proc/meminfo: memFree=1727344/2055920 swapFree=4179756/4192956
[pid=20990] ppid=20988 vsize=5356 CPUtime=0.31
/proc/20990/stat : 20990 (SatELiteGTI) S 20988 20990 20163 0 -1 4194304 336 2635 0 0 0 0 29 2 16 0 1 0 310883901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20990/statm: 1339 239 197 169 0 50 0
[pid=20996] ppid=20990 vsize=38320 CPUtime=293.88
/proc/20996/stat : 20996 (minisat_static) R 20990 20990 20163 0 -1 4194304 9360 0 0 0 29374 14 0 0 25 0 1 0 310883934 39239680 9346 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/20996/statm: 9580 9346 76 171 0 9407 0
Current children cumulated CPU time (s) 294.19
Current children cumulated vsize (KiB) 43676

[startup+307.201 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 20996
/proc/meminfo: memFree=1727280/2055920 swapFree=4179756/4192956
[pid=20990] ppid=20988 vsize=5356 CPUtime=0.31
/proc/20990/stat : 20990 (SatELiteGTI) S 20988 20990 20163 0 -1 4194304 336 2635 0 0 0 0 29 2 16 0 1 0 310883901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20990/statm: 1339 239 197 169 0 50 0
[pid=20996] ppid=20990 vsize=38544 CPUtime=306.67
/proc/20996/stat : 20996 (minisat_static) R 20990 20990 20163 0 -1 4194304 9385 0 0 0 30653 14 0 0 25 0 1 0 310883934 39469056 9371 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20996/statm: 9636 9371 76 171 0 9463 0
Current children cumulated CPU time (s) 306.98
Current children cumulated vsize (KiB) 43900

[startup+310.403 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 20996
/proc/meminfo: memFree=1727280/2055920 swapFree=4179756/4192956
[pid=20990] ppid=20988 vsize=5356 CPUtime=0.31
/proc/20990/stat : 20990 (SatELiteGTI) S 20988 20990 20163 0 -1 4194304 336 2635 0 0 0 0 29 2 16 0 1 0 310883901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20990/statm: 1339 239 197 169 0 50 0
[pid=20996] ppid=20990 vsize=38544 CPUtime=309.87
/proc/20996/stat : 20996 (minisat_static) R 20990 20990 20163 0 -1 4194304 9385 0 0 0 30973 14 0 0 25 0 1 0 310883934 39469056 9371 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20996/statm: 9636 9371 76 171 0 9463 0
Current children cumulated CPU time (s) 310.18
Current children cumulated vsize (KiB) 43900

[startup+312.001 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 20996
/proc/meminfo: memFree=1727280/2055920 swapFree=4179756/4192956
[pid=20990] ppid=20988 vsize=5356 CPUtime=0.31
/proc/20990/stat : 20990 (SatELiteGTI) S 20988 20990 20163 0 -1 4194304 336 2635 0 0 0 0 29 2 16 0 1 0 310883901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20990/statm: 1339 239 197 169 0 50 0
[pid=20996] ppid=20990 vsize=38544 CPUtime=311.46
/proc/20996/stat : 20996 (minisat_static) R 20990 20990 20163 0 -1 4194304 9385 0 0 0 31132 14 0 0 25 0 1 0 310883934 39469056 9371 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/20996/statm: 9636 9371 76 171 0 9463 0
Current children cumulated CPU time (s) 311.77
Current children cumulated vsize (KiB) 43900

[startup+313.606 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 20996
/proc/meminfo: memFree=1727280/2055920 swapFree=4179756/4192956
[pid=20990] ppid=20988 vsize=5356 CPUtime=0.31
/proc/20990/stat : 20990 (SatELiteGTI) S 20988 20990 20163 0 -1 4194304 336 2635 0 0 0 0 29 2 16 0 1 0 310883901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20990/statm: 1339 239 197 169 0 50 0
[pid=20996] ppid=20990 vsize=38544 CPUtime=313.07
/proc/20996/stat : 20996 (minisat_static) R 20990 20990 20163 0 -1 4194304 9385 0 0 0 31293 14 0 0 25 0 1 0 310883934 39469056 9371 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/20996/statm: 9636 9371 76 171 0 9463 0
Current children cumulated CPU time (s) 313.38
Current children cumulated vsize (KiB) 43900

[startup+314.002 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 20996
/proc/meminfo: memFree=1727280/2055920 swapFree=4179756/4192956
[pid=20990] ppid=20988 vsize=5356 CPUtime=0.31
/proc/20990/stat : 20990 (SatELiteGTI) S 20988 20990 20163 0 -1 4194304 336 2635 0 0 0 0 29 2 16 0 1 0 310883901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20990/statm: 1339 239 197 169 0 50 0
[pid=20996] ppid=20990 vsize=38544 CPUtime=313.46
/proc/20996/stat : 20996 (minisat_static) R 20990 20990 20163 0 -1 4194304 9385 0 0 0 31332 14 0 0 25 0 1 0 310883934 39469056 9371 1992294400 134512640 135215339 4294956240 18446744073709551615 134539443 0 0 4096 3 0 0 0 17 1 0 0
/proc/20996/statm: 9636 9371 76 171 0 9463 0
Current children cumulated CPU time (s) 313.77
Current children cumulated vsize (KiB) 43900

[startup+314.202 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 20996
/proc/meminfo: memFree=1727280/2055920 swapFree=4179756/4192956
[pid=20990] ppid=20988 vsize=5356 CPUtime=0.31
/proc/20990/stat : 20990 (SatELiteGTI) S 20988 20990 20163 0 -1 4194304 336 2635 0 0 0 0 29 2 16 0 1 0 310883901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20990/statm: 1339 239 197 169 0 50 0
[pid=20996] ppid=20990 vsize=38544 CPUtime=313.66
/proc/20996/stat : 20996 (minisat_static) R 20990 20990 20163 0 -1 4194304 9385 0 0 0 31352 14 0 0 25 0 1 0 310883934 39469056 9371 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20996/statm: 9636 9371 76 171 0 9463 0
Current children cumulated CPU time (s) 313.97
Current children cumulated vsize (KiB) 43900

[startup+314.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 20996
/proc/meminfo: memFree=1727280/2055920 swapFree=4179756/4192956
[pid=20990] ppid=20988 vsize=5356 CPUtime=0.31
/proc/20990/stat : 20990 (SatELiteGTI) S 20988 20990 20163 0 -1 4194304 336 2635 0 0 0 0 29 2 16 0 1 0 310883901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20990/statm: 1339 239 197 169 0 50 0
[pid=20996] ppid=20990 vsize=38544 CPUtime=313.76
/proc/20996/stat : 20996 (minisat_static) R 20990 20990 20163 0 -1 4194304 9385 0 0 0 31362 14 0 0 25 0 1 0 310883934 39469056 9371 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20996/statm: 9636 9371 76 171 0 9463 0
Current children cumulated CPU time (s) 314.07
Current children cumulated vsize (KiB) 43900

Child status: 20
Real time (s): 314.385
CPU time (s): 314.178
CPU user time (s): 313.996
CPU system time (s): 0.181972
CPU usage (%): 99.9344
Max. virtual memory (cumulated for all children) (KiB): 43900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 313.996
system time used= 0.181972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12517
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= 47
involuntary context switches= 1904

runsolver used 0.369943 second user time and 0.856869 second system time

The end

Launcher Data 

Begin job on node10 at 2009-05-20 16:08:22
IDJOB=1834161
IDBENCH=71629
IDSOLVER=671
FILE ID=node10/1834161-1242828502
PBS_JOBID= 9322532
Free space on /tmp= 66348 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/parity-games/instance_n6_i7_pp_ci_ce.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834161-1242828502/watcher-1834161-1242828502 -o /tmp/evaluation-result-1834161-1242828502/solver-1834161-1242828502 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1834161-1242828502.cnf

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

MD5SUM BENCH= 2ba7146c43b8082afe1c2f5c23a97bd0
RANDOM SEED=638109237

node10.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.263
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.263
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1767000 kB
Buffers:         57492 kB
Cached:         159464 kB
SwapCached:       7784 kB
Active:          89900 kB
Inactive:       136340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1767000 kB
SwapTotal:     4192956 kB
SwapFree:      4179756 kB
Dirty:            3452 kB
Writeback:           0 kB
Mapped:          14104 kB
Slab:            48744 kB
Committed_AS:  1076680 kB
PageTables:       1384 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66344 MiB
End job on node10 at 2009-05-20 16:13:37