Trace number 1821934

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 243.99 244.036

General information on the benchmark

Namesimon-s02b-dp11u10.cnf
MD5SUMbd35ccd857138682818061a3fbcb7546
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark215.12
Satisfiable
(Un)Satisfiability was proved
Number of variables8513
Number of clauses25271
Sum of the clauses size59561
Maximum clause length11
Minimum clause length1
Number of clauses of size 122
Number of clauses of size 216216
Number of clauses of size 39032
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51

Solver Data

0.00/0.00	c Parsing...
0.00/0.03	c ==============================================================================
0.00/0.03	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.03	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.03	c ==============================================================================
0.00/0.03	c |         0 |   24658    57931 |    7397       0        0     nan |  0.000 % |
0.11/0.19	c |         0 |   10352    31518 |      --       0       --      -- |     --   | -12019/-20697
0.11/0.19	c ==============================================================================
0.11/0.19	c Result  :   #vars: 2123   #clauses: 10352   #literals: 31518
0.11/0.19	c CPU time:   0.19 s
0.11/0.19	c ==============================================================================
0.21/0.20	c This is MiniSat 2.0 beta
0.21/0.20	c WARNING: for repeatability, setting FPU to use double precision
0.21/0.20	c ============================[ Problem Statistics ]=============================
0.21/0.20	c |                                                                             |
0.21/0.21	c |  Number of variables:  2123                                                 |
0.21/0.21	c |  Number of clauses:    10352                                                |
0.21/0.21	c |  Parsing time:         0.00         s                                       |
0.21/0.21	c ============================[ Search Statistics ]==============================
0.21/0.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.21/0.21	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.21/0.21	c ===============================================================================
0.21/0.21	c |         0 |    2123    10352    31518 |     3450        0    nan |  0.000 % |
0.21/0.22	c |       100 |    2123    10352    31518 |     3450      100      8 |  0.000 % |
0.21/0.23	c |       201 |    2123    10352    31518 |     3450      201     13 |  0.000 % |
0.21/0.23	c |       301 |    2123    10352    31518 |     3450      301     11 |  0.000 % |
0.21/0.24	c |       412 |    2123    10352    31518 |     3450      412     12 |  0.000 % |
0.21/0.25	c |       512 |    2123    10352    31518 |     3450      512     12 |  0.000 % |
0.21/0.26	c |       624 |    2123    10352    31518 |     3450      624     12 |  0.000 % |
0.21/0.27	c |       746 |    2123    10352    31518 |     3450      746     12 |  0.000 % |
0.21/0.28	c |       846 |    2123    10352    31518 |     3450      846     14 |  0.000 % |
0.21/0.28	c |       957 |    2123    10352    31518 |     3450      957     14 |  0.000 % |
0.21/0.30	c |      1080 |    2123    10352    31518 |     3450     1080     16 |  0.000 % |
0.21/0.31	c |      1213 |    2123    10352    31518 |     3450     1213     15 |  0.000 % |
0.21/0.31	c |      1316 |    2123    10352    31518 |     3450     1316     17 |  0.000 % |
0.21/0.33	c |      1426 |    2123    10352    31518 |     3450     1426     18 |  0.000 % |
0.21/0.34	c |      1547 |    2123    10352    31518 |     3450     1547     19 |  0.000 % |
0.21/0.35	c |      1680 |    2122    10330    31474 |     3450     1672     19 |  0.053 % |
0.21/0.36	c |      1827 |    2122    10330    31474 |     3450     1819     20 |  0.047 % |
0.21/0.37	c |      1928 |    2122    10330    31474 |     3450     1920     20 |  0.047 % |
0.21/0.39	c |      2038 |    2122    10330    31474 |     3450     2030     21 |  0.047 % |
0.21/0.40	c |      2159 |    2121    10308    31430 |     3450     2148     21 |  0.095 % |
0.21/0.42	c |      2292 |    2121    10308    31430 |     3450     2281     22 |  0.094 % |
0.21/0.44	c |      2439 |    2121    10308    31430 |     3450     2428     23 |  0.095 % |
0.21/0.46	c |      2599 |    2121    10308    31430 |     3450     2588     23 |  0.095 % |
0.21/0.47	c |      2699 |    2121    10308    31430 |     3450     2688     23 |  0.095 % |
0.21/0.48	c |      2809 |    2121    10308    31430 |     3450     2798     24 |  0.095 % |
0.21/0.50	c |      2931 |    2121    10308    31430 |     3450     2920     24 |  0.094 % |
0.21/0.51	c |      3064 |    2121    10308    31430 |     3450     3053     24 |  0.094 % |
0.21/0.53	c |      3210 |    2121    10308    31430 |     3450     3199     24 |  0.095 % |
0.21/0.54	c |      3371 |    2121    10308    31430 |     3450     3360     24 |  0.095 % |
0.21/0.56	c |      3548 |    2121    10308    31430 |     3450     3537     25 |  0.094 % |
0.21/0.58	c |      3649 |    2121    10308    31430 |     3450     3285     25 |  0.094 % |
0.21/0.59	c |      3761 |    2121    10308    31430 |     3450     3397     25 |  0.094 % |
0.21/0.60	c |      3882 |    2121    10308    31430 |     3450     3518     25 |  0.095 % |
0.21/0.61	c |      4015 |    2121    10308    31430 |     3450     3300     24 |  0.094 % |
0.21/0.63	c |      4161 |    2121    10308    31430 |     3450     3446     24 |  0.094 % |
0.21/0.64	c |      4322 |    2121    10308    31430 |     3450     3607     24 |  0.094 % |
0.21/0.66	c |      4499 |    2121    10308    31430 |     3450     3424     24 |  0.094 % |
0.21/0.69	c |      4693 |    2121    10308    31430 |     3450     3618     25 |  0.095 % |
0.21/0.70	c |      4793 |    2121    10308    31430 |     3450     3357     24 |  0.094 % |
0.21/0.72	c |      4903 |    2121    10308    31430 |     3450     3467     24 |  0.095 % |
0.21/0.74	c |      5024 |    2121    10308    31430 |     3450     3242     24 |  0.094 % |
0.21/0.75	c |      5158 |    2121    10308    31430 |     3450     3376     24 |  0.095 % |
0.21/0.76	c |      5307 |    2121    10308    31430 |     3450     3525     24 |  0.095 % |
0.21/0.78	c |      5468 |    2121    10308    31430 |     3450     3334     23 |  0.095 % |
0.21/0.80	c |      5645 |    2121    10308    31430 |     3450     3511     23 |  0.094 % |
0.21/0.83	c |      5839 |    2121    10308    31430 |     3450     3354     24 |  0.094 % |
0.21/0.85	c |      6051 |    2121    10308    31430 |     3450     3566     25 |  0.094 % |
0.21/0.87	c |      6151 |    2121    10308    31430 |     3450     3310     24 |  0.094 % |
0.21/0.88	c |      6261 |    2121    10308    31430 |     3450     3420     24 |  0.095 % |
0.21/0.89	c |      6383 |    2121    10308    31430 |     3450     3542     24 |  0.095 % |
0.21/0.91	c |      6516 |    2121    10308    31430 |     3450     3321     25 |  0.094 % |
0.21/0.93	c |      6664 |    2121    10308    31430 |     3450     3469     25 |  0.095 % |
0.21/0.95	c |      6826 |    2121    10308    31430 |     3450     3285     25 |  0.095 % |
0.21/0.97	c |      7004 |    2121    10308    31430 |     3450     3463     25 |  0.095 % |
0.21/0.99	c |      7199 |    2121    10308    31430 |     3450     3312     24 |  0.095 % |
0.99/1.02	c |      7411 |    2121    10308    31430 |     3450     3524     24 |  0.095 % |
0.99/1.05	c |      7646 |    2121    10308    31430 |     3450     3407     25 |  0.095 % |
0.99/1.06	c |      7746 |    2121    10308    31430 |     3450     3507     25 |  0.095 % |
0.99/1.08	c |      7856 |    2121    10308    31430 |     3450     3267     25 |  0.094 % |
0.99/1.09	c |      7980 |    2121    10308    31430 |     3450     3391     25 |  0.094 % |
0.99/1.11	c |      8114 |    2121    10308    31430 |     3450     3525     25 |  0.094 % |
1.10/1.12	c |      8262 |    2121    10308    31430 |     3450     3321     25 |  0.095 % |
1.10/1.14	c |      8422 |    2121    10308    31430 |     3450     3481     25 |  0.094 % |
1.10/1.17	c |      8598 |    2121    10308    31430 |     3450     3309     25 |  0.095 % |
1.10/1.19	c |      8791 |    2121    10308    31430 |     3450     3502     26 |  0.095 % |
1.19/1.22	c |      9003 |    2121    10308    31430 |     3450     3364     26 |  0.094 % |
1.19/1.24	c |      9237 |    2121    10308    31430 |     3450     3598     26 |  0.094 % |
1.19/1.26	c |      9493 |    2121    10308    31430 |     3450     3495     24 |  0.095 % |
1.19/1.27	c |      9593 |    2121    10308    31430 |     3450     3246     23 |  0.095 % |
1.19/1.28	c |      9703 |    2121    10308    31430 |     3450     3356     23 |  0.095 % |
1.19/1.29	c |      9824 |    2121    10308    31430 |     3450     3477     23 |  0.095 % |
1.29/1.31	c |      9957 |    2121    10308    31430 |     3450     3263     22 |  0.095 % |
1.29/1.33	c |     10104 |    2121    10308    31430 | 2147483647     3410     22 |  0.094 % |
1.29/1.35	c |     10264 |    2121    10308    31430 | 2147483647     3570     23 |  0.095 % |
1.29/1.37	c |     10440 |    2121    10308    31430 | 2147483647     3746     23 |  0.094 % |
1.29/1.39	c |     10634 |    2121    10308    31430 | 2147483647     3940     24 |  0.094 % |
1.39/1.41	c |     10847 |    2121    10308    31430 | 2147483647     4153     25 |  0.094 % |
1.39/1.45	c |     11081 |    2121    10308    31430 | 2147483647     4387     25 |  0.095 % |
1.39/1.47	c |     11339 |    2121    10308    31430 | 2147483647     4645     25 |  0.095 % |
1.39/1.50	c |     11621 |    2121    10308    31430 | 2147483647     4927     25 |  0.095 % |
1.49/1.52	c |     11722 |    2121    10308    31430 | 2147483647     5028     25 |  0.094 % |
1.49/1.53	c |     11833 |    2121    10308    31430 | 2147483647     5139     25 |  0.094 % |
1.49/1.55	c |     11959 |    2121    10308    31430 | 2147483647     5265     26 |  0.095 % |
1.49/1.57	c |     12092 |    2121    10308    31430 | 2147483647     5398     26 |  0.095 % |
1.49/1.59	c |     12238 |    2121    10308    31430 | 2147483647     5544     26 |  0.094 % |
1.59/1.62	c |     12399 |    2121    10308    31430 | 2147483647     5705     26 |  0.095 % |
1.59/1.65	c |     12576 |    2121    10308    31430 | 2147483647     5882     27 |  0.095 % |
1.59/1.68	c |     12769 |    2121    10308    31430 | 2147483647     6075     27 |  0.094 % |
1.69/1.71	c |     12982 |    2121    10308    31430 | 2147483647     6288     27 |  0.095 % |
1.69/1.75	c |     13216 |    2121    10308    31430 | 2147483647     6522     28 |  0.094 % |
1.69/1.79	c |     13472 |    2121    10308    31430 | 2147483647     6778     28 |  0.094 % |
1.79/1.84	c |     13754 |    2121    10308    31430 | 2147483647     7060     29 |  0.094 % |
1.79/1.90	c |     14064 |    2121    10308    31430 | 2147483647     7370     29 |  0.095 % |
1.89/1.92	c |     14164 |    2121    10308    31430 | 2147483647     7470     29 |  0.094 % |
1.89/1.94	c |     14274 |    2121    10308    31430 | 2147483647     7580     29 |  0.095 % |
1.89/1.96	c |     14395 |    2121    10308    31430 | 2147483647     7701     29 |  0.095 % |
1.89/1.99	c |     14530 |    2121    10308    31430 | 2147483647     7836     29 |  0.094 % |
1.99/2.01	c |     14677 |    2121    10308    31430 | 2147483647     7983     29 |  0.094 % |
1.99/2.04	c |     14837 |    2121    10308    31430 | 2147483647     8143     29 |  0.094 % |
1.99/2.07	c |     15014 |    2121    10308    31430 | 2147483647     8320     29 |  0.094 % |
1.99/2.10	c |     15208 |    2121    10308    31430 | 2147483647     8514     29 |  0.095 % |
2.09/2.14	c |     15420 |    2121    10308    31430 | 2147483647     8726     30 |  0.094 % |
2.09/2.18	c |     15653 |    2121    10308    31430 | 2147483647     8959     30 |  0.094 % |
2.20/2.22	c |     15911 |    2121    10308    31430 | 2147483647     9217     30 |  0.094 % |
2.20/2.27	c |     16193 |    2121    10308    31430 | 2147483647     9499     30 |  0.096 % |
2.29/2.33	c |     16503 |    2121    10308    31430 | 2147483647     9809     31 |  0.095 % |
2.29/2.39	c |     16843 |    2121    10308    31430 | 2147483647    10149     31 |  0.095 % |
2.39/2.42	c |     16943 |    2121    10308    31430 | 2147483647    10249     31 |  0.094 % |
2.39/2.45	c |     17053 |    2121    10308    31430 | 2147483647    10359     31 |  0.095 % |
2.39/2.48	c |     17175 |    2121    10308    31430 | 2147483647    10481     31 |  0.095 % |
2.49/2.51	c |     17308 |    2121    10308    31430 | 2147483647    10614     31 |  0.095 % |
2.49/2.55	c |     17455 |    2121    10308    31430 | 2147483647    10761     31 |  0.095 % |
2.49/2.59	c |     17615 |    2121    10308    31430 | 2147483647    10921     31 |  0.095 % |
2.57/2.63	c |     17793 |    2121    10308    31430 | 2147483647    11099     31 |  0.095 % |
2.57/2.66	c |     17988 |    2121    10308    31430 | 2147483647    11294     31 |  0.095 % |
2.67/2.71	c |     18200 |    2121    10308    31430 | 2147483647    11506     31 |  0.094 % |
2.67/2.76	c |     18433 |    2121    10308    31430 | 2147483647    11739     31 |  0.095 % |
2.77/2.82	c |     18693 |    2121    10308    31430 | 2147483647    11999     32 |  0.095 % |
2.77/2.89	c |     18974 |    2121    10308    31430 | 2147483647    12280     32 |  0.094 % |
2.87/2.96	c |     19283 |    2121    10308    31430 | 2147483647    12589     32 |  0.094 % |
2.97/3.04	c |     19622 |    2121    10308    31430 | 2147483647    12928     32 |  0.094 % |
3.07/3.13	c |     19996 |    2121    10308    31430 | 2147483647    13302     32 |  0.094 % |
3.07/3.16	c |     20096 |    2121    10308    31430 | 2147483647    13402     32 |  0.095 % |
3.07/3.19	c |     20206 |    2121    10308    31430 | 2147483647    13512     32 |  0.095 % |
3.17/3.21	c |     20328 |    2121    10308    31430 | 2147483647    13634     32 |  0.095 % |
3.17/3.24	c |     20464 |    2121    10308    31430 | 2147483647    13770     32 |  0.095 % |
3.17/3.28	c |     20610 |    2121    10308    31430 | 2147483647    13916     32 |  0.095 % |
3.28/3.32	c |     20770 |    2121    10308    31430 | 2147483647    14076     32 |  0.094 % |
3.28/3.37	c |     20946 |    2121    10308    31430 | 2147483647    14252     32 |  0.094 % |
3.37/3.41	c |     21140 |    2121    10308    31430 | 2147483647    14446     32 |  0.094 % |
3.37/3.47	c |     21352 |    2121    10308    31430 | 2147483647    14658     32 |  0.095 % |
3.47/3.54	c |     21586 |    2121    10308    31430 | 2147483647    14892     32 |  0.094 % |
3.47/3.60	c |     21842 |    2121    10308    31430 | 2147483647    15148     32 |  0.095 % |
3.57/3.70	c |     22123 |    2120    10297    31408 | 2147483647    15422     32 |  0.141 % |
3.67/3.76	c |     22433 |    2120    10297    31408 | 2147483647    15732     32 |  0.142 % |
3.77/3.87	c |     22772 |    2120    10297    31408 | 2147483647    16071     32 |  0.141 % |
3.87/3.99	c |     23144 |    2120    10297    31408 | 2147483647    16443     33 |  0.141 % |
4.07/4.11	c |     23553 |    2120    10297    31408 | 2147483647    16852     33 |  0.141 % |
4.07/4.15	c |     23653 |    2120    10297    31408 | 2147483647    16952     33 |  0.142 % |
4.07/4.18	c |     23765 |    2120    10297    31408 | 2147483647    17064     33 |  0.141 % |
4.17/4.22	c |     23886 |    2120    10297    31408 | 2147483647    17185     33 |  0.141 % |
4.17/4.26	c |     24019 |    2120    10297    31408 | 2147483647    17318     33 |  0.142 % |
4.27/4.32	c |     24165 |    2120    10297    31408 | 2147483647    17464     33 |  0.142 % |
4.27/4.36	c |     24326 |    2120    10297    31408 | 2147483647    17625     33 |  0.142 % |
4.38/4.42	c |     24503 |    2120    10297    31408 | 2147483647    17802     33 |  0.141 % |
4.38/4.47	c |     24696 |    2120    10297    31408 | 2147483647    17995     33 |  0.141 % |
4.47/4.53	c |     24908 |    2120    10297    31408 | 2147483647    18207     33 |  0.141 % |
4.47/4.60	c |     25141 |    2120    10297    31408 | 2147483647    18440     33 |  0.141 % |
4.57/4.68	c |     25398 |    2120    10297    31408 | 2147483647    18697     33 |  0.143 % |
4.67/4.79	c |     25681 |    2120    10297    31408 | 2147483647    18980     33 |  0.142 % |
4.77/4.90	c |     25990 |    2120    10297    31408 | 2147483647    19289     33 |  0.141 % |
4.97/5.03	c |     26329 |    2120    10297    31408 | 2147483647    19628     33 |  0.141 % |
5.07/5.19	c |     26701 |    2120    10297    31408 | 2147483647    20000     33 |  0.141 % |
5.27/5.33	c |     27110 |    2120    10297    31408 | 2147483647    20409     33 |  0.141 % |
5.37/5.51	c |     27560 |    2120    10297    31408 | 2147483647    20859     33 |  0.141 % |
5.48/5.54	c |     27660 |    2120    10297    31408 | 2147483647    20959     33 |  0.142 % |
5.48/5.60	c |     27770 |    2120    10297    31408 | 2147483647    21069     33 |  0.141 % |
5.57/5.66	c |     27893 |    2120    10297    31408 | 2147483647    21192     33 |  0.142 % |
5.67/5.72	c |     28028 |    2120    10297    31408 | 2147483647    21327     33 |  0.141 % |
5.67/5.77	c |     28175 |    2120    10297    31408 | 2147483647    21474     33 |  0.141 % |
5.77/5.82	c |     28338 |    2120    10297    31408 | 2147483647    21637     33 |  0.142 % |
5.77/5.87	c |     28515 |    2120    10297    31408 | 2147483647    21814     33 |  0.145 % |
5.87/5.95	c |     28708 |    2120    10297    31408 | 2147483647    22007     33 |  0.142 % |
5.97/6.04	c |     28920 |    2120    10297    31408 | 2147483647    22219     33 |  0.141 % |
6.07/6.13	c |     29154 |    2120    10297    31408 | 2147483647    22453     33 |  0.141 % |
6.17/6.24	c |     29410 |    2120    10297    31408 | 2147483647    22709     33 |  0.142 % |
6.27/6.36	c |     29691 |    2120    10297    31408 | 2147483647    22990     33 |  0.141 % |
6.47/6.52	c |     30002 |    2120    10297    31408 | 2147483647    23301     33 |  0.142 % |
6.57/6.65	c |     30341 |    2120    10297    31408 | 2147483647    23640     33 |  0.142 % |
6.66/6.78	c |     30714 |    2120    10297    31408 | 2147483647    24013     33 |  0.142 % |
6.86/6.96	c |     31123 |    2120    10297    31408 | 2147483647    24422     33 |  0.141 % |
7.16/7.21	c |     31572 |    2120    10297    31408 | 2147483647    24871     33 |  0.141 % |
7.26/7.40	c |     32065 |    2120    10297    31408 | 2147483647    25364     33 |  0.142 % |
7.36/7.44	c |     32165 |    2120    10297    31408 | 2147483647    25464     33 |  0.142 % |
7.46/7.51	c |     32276 |    2120    10297    31408 | 2147483647    25575     33 |  0.142 % |
7.46/7.59	c |     32397 |    2120    10297    31408 | 2147483647    25696     33 |  0.142 % |
7.56/7.65	c |     32532 |    2120    10297    31408 | 2147483647    25831     33 |  0.141 % |
7.56/7.70	c |     32679 |    2120    10297    31408 | 2147483647    25978     33 |  0.141 % |
7.67/7.78	c |     32839 |    2120    10297    31408 | 2147483647    26138     33 |  0.142 % |
7.76/7.87	c |     33016 |    2120    10297    31408 | 2147483647    26315     33 |  0.141 % |
7.86/7.94	c |     33209 |    2120    10297    31408 | 2147483647    26508     33 |  0.141 % |
7.96/8.02	c |     33422 |    2120    10297    31408 | 2147483647    26721     33 |  0.141 % |
8.06/8.11	c |     33655 |    2120    10297    31408 | 2147483647    26954     33 |  0.141 % |
8.16/8.24	c |     33912 |    2120    10297    31408 | 2147483647    27211     33 |  0.141 % |
8.26/8.39	c |     34193 |    2120    10297    31408 | 2147483647    27492     33 |  0.141 % |
8.46/8.56	c |     34502 |    2120    10297    31408 | 2147483647    27801     33 |  0.142 % |
8.56/8.69	c |     34842 |    2119    10275    31364 | 2147483647    27454     34 |  0.189 % |
8.86/8.90	c |     35215 |    2119    10275    31364 | 2147483647    27827     34 |  0.189 % |
8.96/9.02	c |     35624 |    2119    10275    31364 | 2147483647    28236     33 |  0.189 % |
9.16/9.23	c |     36073 |    2119    10275    31364 | 2147483647    28685     33 |  0.189 % |
9.36/9.43	c |     36566 |    2119    10275    31364 | 2147483647    29178     33 |  0.188 % |
9.66/9.71	c |     37108 |    2119    10275    31364 | 2147483647    29720     33 |  0.190 % |
9.66/9.76	c |     37210 |    2119    10275    31364 | 2147483647    29822     33 |  0.189 % |
9.76/9.83	c |     37320 |    2119    10275    31364 | 2147483647    29932     33 |  0.188 % |
9.87/9.91	c |     37443 |    2119    10275    31364 | 2147483647    30055     33 |  0.189 % |
9.87/9.98	c |     37576 |    2119    10275    31364 | 2147483647    30188     33 |  0.188 % |
9.96/10.08	c |     37723 |    2119    10275    31364 | 2147483647    30335     33 |  0.189 % |
10.06/10.17	c |     37884 |    2119    10275    31364 | 2147483647    30496     33 |  0.189 % |
10.16/10.27	c |     38061 |    2119    10275    31364 | 2147483647    30673     33 |  0.189 % |
10.36/10.41	c |     38255 |    2119    10275    31364 | 2147483647    30867     33 |  0.188 % |
10.46/10.57	c |     38468 |    2119    10275    31364 | 2147483647    31080     33 |  0.189 % |
10.66/10.72	c |     38702 |    2119    10275    31364 | 2147483647    31314     33 |  0.188 % |
10.76/10.87	c |     38958 |    2119    10275    31364 | 2147483647    31570     33 |  0.189 % |
10.97/11.03	c |     39240 |    2119    10275    31364 | 2147483647    31852     33 |  0.188 % |
11.06/11.19	c |     39551 |    2119    10275    31364 | 2147483647    32163     33 |  0.188 % |
11.36/11.41	c |     39890 |    2119    10275    31364 | 2147483647    32502     33 |  0.189 % |
11.56/11.61	c |     40263 |    2119    10275    31364 | 2147483647    32875     33 |  0.188 % |
11.86/11.93	c |     40672 |    2119    10275    31364 | 2147483647    33284     33 |  0.188 % |
12.07/12.17	c |     41121 |    2119    10275    31364 | 2147483647    33733     33 |  0.188 % |
12.36/12.41	c |     41615 |    2119    10275    31364 | 2147483647    34227     33 |  0.188 % |
12.66/12.75	c |     42157 |    2119    10275    31364 | 2147483647    34769     33 |  0.188 % |
12.96/13.07	c |     42755 |    2119    10275    31364 | 2147483647    35367     33 |  0.188 % |
13.06/13.14	c |     42856 |    2119    10275    31364 | 2147483647    35468     33 |  0.189 % |
13.06/13.21	c |     42967 |    2119    10275    31364 | 2147483647    35579     33 |  0.188 % |
13.17/13.29	c |     43089 |    2119    10275    31364 | 2147483647    35701     33 |  0.189 % |
13.26/13.38	c |     43222 |    2119    10275    31364 | 2147483647    35834     33 |  0.188 % |
13.36/13.50	c |     43370 |    2119    10275    31364 | 2147483647    35982     33 |  0.189 % |
13.56/13.61	c |     43530 |    2119    10275    31364 | 2147483647    36142     33 |  0.188 % |
13.66/13.74	c |     43706 |    2119    10275    31364 | 2147483647    36318     33 |  0.189 % |
13.76/13.86	c |     43900 |    2119    10275    31364 | 2147483647    36512     33 |  0.188 % |
13.96/14.02	c |     44112 |    2119    10275    31364 | 2147483647    36724     33 |  0.188 % |
14.06/14.19	c |     44346 |    2119    10275    31364 | 2147483647    36958     33 |  0.188 % |
14.27/14.38	c |     44604 |    2119    10275    31364 | 2147483647    37216     33 |  0.189 % |
14.46/14.56	c |     44885 |    2119    10275    31364 | 2147483647    37497     33 |  0.189 % |
14.66/14.76	c |     45195 |    2119    10275    31364 | 2147483647    37807     33 |  0.188 % |
14.96/15.02	c |     45534 |    2119    10275    31364 | 2147483647    38146     33 |  0.188 % |
15.16/15.27	c |     45907 |    2119    10275    31364 | 2147483647    38519     33 |  0.189 % |
15.46/15.57	c |     46316 |    2119    10275    31364 | 2147483647    38928     33 |  0.189 % |
15.86/15.91	c |     46765 |    2119    10275    31364 | 2147483647    39377     33 |  0.189 % |
16.16/16.27	c |     47258 |    2119    10275    31364 | 2147483647    39870     33 |  0.189 % |
16.56/16.68	c |     47801 |    2119    10275    31364 | 2147483647    40413     33 |  0.189 % |
17.06/17.18	c |     48399 |    2119    10275    31364 | 2147483647    41011     33 |  0.188 % |
17.57/17.68	c |     49055 |    2119    10275    31364 | 2147483647    41667     33 |  0.188 % |
17.76/17.81	c |     49158 |    2119    10275    31364 | 2147483647    41770     33 |  0.189 % |
17.86/17.92	c |     49269 |    2119    10275    31364 | 2147483647    41881     33 |  0.189 % |
17.96/18.03	c |     49392 |    2119    10275    31364 | 2147483647    42004     33 |  0.188 % |
18.06/18.11	c |     49526 |    2119    10275    31364 | 2147483647    42138     33 |  0.188 % |
18.16/18.28	c |     49672 |    2119    10275    31364 | 2147483647    42284     33 |  0.188 % |
18.36/18.42	c |     49832 |    2119    10275    31364 | 2147483647    42444     33 |  0.188 % |
18.46/18.56	c |     50008 |    2119    10275    31364 | 2147483647    42620     33 |  0.188 % |
18.56/18.71	c |     50203 |    2119    10275    31364 | 2147483647    42815     33 |  0.188 % |
18.86/18.92	c |     50416 |    2119    10275    31364 | 2147483647    43028     33 |  0.188 % |
19.06/19.11	c |     50650 |    2119    10275    31364 | 2147483647    43262     33 |  0.189 % |
19.16/19.29	c |     50911 |    2119    10275    31364 | 2147483647    43523     33 |  0.188 % |
19.46/19.51	c |     51192 |    2119    10275    31364 | 2147483647    43804     33 |  0.188 % |
19.66/19.77	c |     51503 |    2119    10275    31364 | 2147483647    44115     33 |  0.188 % |
19.96/20.06	c |     51844 |    2119    10275    31364 | 2147483647    44456     33 |  0.188 % |
20.26/20.37	c |     52218 |    2119    10275    31364 | 2147483647    44830     33 |  0.189 % |
20.66/20.73	c |     52629 |    2119    10275    31364 | 2147483647    45241     33 |  0.188 % |
21.06/21.20	c |     53078 |    2119    10275    31364 | 2147483647    45690     33 |  0.188 % |
21.56/21.68	c |     53572 |    2119    10275    31364 | 2147483647    46184     33 |  0.189 % |
22.06/22.17	c |     54114 |    2119    10275    31364 | 2147483647    46726     33 |  0.189 % |
22.46/22.60	c |     54710 |    2119    10275    31364 | 2147483647    47322     33 |  0.188 % |
23.07/23.14	c |     55365 |    2119    10275    31364 | 2147483647    47977     33 |  0.189 % |
23.66/23.74	c |     56086 |    2119    10275    31364 | 2147483647    48698     33 |  0.188 % |
23.76/23.86	c |     56186 |    2119    10275    31364 | 2147483647    48798     33 |  0.188 % |
23.86/23.96	c |     56297 |    2119    10275    31364 | 2147483647    48909     33 |  0.189 % |
23.96/24.08	c |     56419 |    2119    10275    31364 | 2147483647    49031     33 |  0.189 % |
24.06/24.20	c |     56552 |    2119    10275    31364 | 2147483647    49164     33 |  0.189 % |
24.26/24.35	c |     56698 |    2119    10275    31364 | 2147483647    49310     33 |  0.188 % |
24.36/24.47	c |     56859 |    2119    10275    31364 | 2147483647    49471     33 |  0.189 % |
24.56/24.65	c |     57038 |    2119    10275    31364 | 2147483647    49650     33 |  0.189 % |
24.76/24.88	c |     57232 |    2119    10275    31364 | 2147483647    49844     33 |  0.189 % |
24.96/25.03	c |     57444 |    2119    10275    31364 | 2147483647    50056     33 |  0.189 % |
25.16/25.25	c |     57678 |    2119    10275    31364 | 2147483647    50290     33 |  0.189 % |
25.36/25.48	c |     57934 |    2119    10275    31364 | 2147483647    50546     33 |  0.188 % |
25.76/25.83	c |     58216 |    2119    10275    31364 | 2147483647    50828     33 |  0.188 % |
26.06/26.14	c |     58526 |    2119    10275    31364 | 2147483647    51138     33 |  0.188 % |
26.37/26.47	c |     58866 |    2119    10275    31364 | 2147483647    51478     33 |  0.189 % |
26.76/26.85	c |     59240 |    2119    10275    31364 | 2147483647    51852     33 |  0.189 % |
27.26/27.34	c |     59649 |    2119    10275    31364 | 2147483647    52261     33 |  0.188 % |
27.66/27.74	c |     60098 |    2119    10275    31364 |    52614    52710     33 |  0.188 % |
28.16/28.29	c |     60591 |    2119    10275    31364 |    52614    45679     32 |  0.188 % |
28.76/28.86	c |     61133 |    2119    10275    31364 |    52614    46221     32 |  0.189 % |
29.36/29.43	c |     61730 |    2119    10275    31364 |    52614    46818     32 |  0.188 % |
29.86/29.98	c |     62386 |    2119    10275    31364 |    52614    47474     32 |  0.188 % |
30.66/30.71	c |     63106 |    2119    10275    31364 |    52614    48194     32 |  0.188 % |
31.26/31.32	c |     63898 |    2119    10275    31364 |    52614    48986     32 |  0.189 % |
31.36/31.42	c |     64000 |    2119    10275    31364 |    52614    49088     32 |  0.188 % |
31.46/31.58	c |     64111 |    2119    10275    31364 |    52614    49199     32 |  0.188 % |
31.66/31.71	c |     64233 |    2119    10275    31364 |    52614    49321     32 |  0.189 % |
31.76/31.87	c |     64367 |    2119    10275    31364 |    52614    49455     32 |  0.189 % |
31.96/32.01	c |     64514 |    2119    10275    31364 |    52614    49602     32 |  0.188 % |
32.16/32.24	c |     64674 |    2119    10275    31364 |    52614    49762     32 |  0.189 % |
32.36/32.41	c |     64850 |    2119    10275    31364 |    52614    49938     32 |  0.188 % |
32.46/32.57	c |     65044 |    2119    10275    31364 |    52614    50132     32 |  0.188 % |
32.76/32.86	c |     65256 |    2119    10275    31364 |    52614    50344     32 |  0.189 % |
32.97/33.09	c |     65491 |    2119    10275    31364 |    52614    50579     32 |  0.188 % |
33.26/33.30	c |     65748 |    2119    10275    31364 |    52614    50836     32 |  0.189 % |
33.46/33.56	c |     66030 |    2119    10275    31364 |    52614    51118     32 |  0.188 % |
33.86/33.92	c |     66341 |    2119    10275    31364 |    52614    51429     32 |  0.188 % |
34.16/34.22	c |     66680 |    2119    10275    31364 |    52614    51768     32 |  0.189 % |
34.46/34.56	c |     67053 |    2119    10275    31364 |    52614    52141     32 |  0.188 % |
34.96/35.03	c |     67462 |    2119    10275    31364 |    52614    52550     32 |  0.188 % |
35.46/35.56	c |     67911 |    2119    10275    31364 |    52614    44009     30 |  0.189 % |
35.77/35.91	c |     68404 |    2119    10275    31364 |    52614    44502     30 |  0.188 % |
36.17/36.25	c |     68946 |    2119    10275    31364 |    52614    45044     30 |  0.189 % |
36.57/36.70	c |     69546 |    2119    10275    31364 |    52614    45644     30 |  0.188 % |
37.17/37.28	c |     70202 |    2119    10275    31364 |    46099    46300     30 |  0.189 % |
37.77/37.84	c |     70926 |    2119    10275    31364 |    46099    39870     30 |  0.188 % |
38.37/38.44	c |     71720 |    2119    10275    31364 |    46099    40664     30 |  0.188 % |
38.97/39.07	c |     72591 |    2119    10275    31364 |    46099    41535     30 |  0.188 % |
39.07/39.16	c |     72695 |    2119    10275    31364 |    46099    41639     30 |  0.189 % |
39.17/39.26	c |     72806 |    2119    10275    31364 |    46099    41750     30 |  0.188 % |
39.27/39.36	c |     72927 |    2119    10275    31364 |    46099    41871     30 |  0.189 % |
39.37/39.50	c |     73060 |    2119    10275    31364 |    46099    42004     30 |  0.188 % |
39.57/39.62	c |     73206 |    2119    10275    31364 |    46099    42150     30 |  0.188 % |
39.67/39.73	c |     73366 |    2119    10275    31364 |    46099    42310     30 |  0.189 % |
39.77/39.84	c |     73542 |    2119    10275    31364 |    46099    42486     30 |  0.189 % |
39.97/40.04	c |     73736 |    2119    10275    31364 |    46099    42680     30 |  0.188 % |
40.07/40.20	c |     73948 |    2119    10275    31364 |    46099    42892     30 |  0.188 % |
40.37/40.44	c |     74183 |    2119    10275    31364 |    46099    43127     30 |  0.188 % |
40.57/40.62	c |     74439 |    2119    10275    31364 |    46099    43383     30 |  0.188 % |
40.77/40.89	c |     74722 |    2119    10275    31364 |    46099    43666     30 |  0.189 % |
41.07/41.14	c |     75033 |    2119    10275    31364 |    46099    43977     30 |  0.189 % |
41.37/41.43	c |     75372 |    2119    10275    31364 |    46099    44316     30 |  0.189 % |
41.67/41.72	c |     75746 |    2119    10275    31364 |    46099    44690     30 |  0.188 % |
41.97/42.04	c |     76159 |    2119    10275    31364 |    46099    45103     30 |  0.189 % |
42.37/42.42	c |     76608 |    2119    10275    31364 |    46099    45552     30 |  0.189 % |
42.67/42.77	c |     77101 |    2119    10275    31364 |    46099    46045     30 |  0.188 % |
43.17/43.21	c |     77645 |    2119    10275    31364 |    46099    40507     29 |  0.189 % |
43.47/43.60	c |     78241 |    2119    10275    31364 |    46099    41103     29 |  0.189 % |
43.97/44.04	c |     78896 |    2119    10275    31364 |    46099    41758     29 |  0.189 % |
44.47/44.54	c |     79616 |    2119    10275    31364 |    46099    42478     29 |  0.188 % |
45.07/45.19	c |     80409 |    2119    10275    31364 |    42863    38304     29 |  0.188 % |
45.77/45.84	c |     81282 |    2119    10275    31364 |    42863    39177     29 |  0.189 % |
46.47/46.52	c |     82241 |    2119    10275    31364 |    42863    40136     29 |  0.189 % |
46.47/46.60	c |     82341 |    2119    10275    31364 |    42863    40236     29 |  0.188 % |
46.57/46.70	c |     82451 |    2119    10275    31364 |    42863    40346     29 |  0.189 % |
46.67/46.79	c |     82573 |    2119    10275    31364 |    42863    40468     29 |  0.189 % |
46.87/46.92	c |     82708 |    2119    10275    31364 |    42863    40603     29 |  0.188 % |
46.97/47.02	c |     82856 |    2119    10275    31364 |    42863    40751     29 |  0.189 % |
47.07/47.17	c |     83016 |    2119    10275    31364 |    42863    40911     29 |  0.189 % |
47.27/47.33	c |     83193 |    2119    10275    31364 |    42863    41088     29 |  0.188 % |
47.37/47.50	c |     83387 |    2119    10275    31364 |    42863    41282     29 |  0.188 % |
47.57/47.68	c |     83600 |    2119    10275    31364 |    42863    41495     29 |  0.188 % |
47.77/47.89	c |     83834 |    2119    10275    31364 |    42863    41729     29 |  0.188 % |
48.07/48.13	c |     84091 |    2119    10275    31364 |    42863    41986     29 |  0.188 % |
48.27/48.38	c |     84373 |    2119    10275    31364 |    42863    42268     29 |  0.188 % |
48.57/48.61	c |     84684 |    2119    10275    31364 |    42863    42579     29 |  0.188 % |
48.77/48.90	c |     85025 |    2119    10275    31364 |    42863    42920     29 |  0.188 % |
49.17/49.24	c |     85399 |    2119    10275    31364 |    42863    37329     28 |  0.188 % |
49.47/49.54	c |     85810 |    2119    10275    31364 |    42863    37740     28 |  0.189 % |
49.77/49.83	c |     86260 |    2119    10275    31364 |    42863    38190     28 |  0.188 % |
50.07/50.19	c |     86753 |    2119    10275    31364 |    42863    38683     29 |  0.189 % |
50.57/50.66	c |     87296 |    2119    10275    31364 |    42863    39226     29 |  0.188 % |
50.97/51.03	c |     87893 |    2119    10275    31364 |    42863    39823     29 |  0.188 % |
51.37/51.47	c |     88548 |    2119    10275    31364 |    42863    40478     29 |  0.189 % |
52.07/52.14	c |     89270 |    2119    10275    31364 |    42863    41200     29 |  0.188 % |
52.67/52.75	c |     90063 |    2119    10275    31364 |    41930    41993     29 |  0.188 % |
53.37/53.43	c |     90935 |    2119    10275    31364 |    41930    37682     28 |  0.188 % |
53.97/54.09	c |     91894 |    2119    10275    31364 |    41930    38641     28 |  0.188 % |
54.67/54.75	c |     92947 |    2119    10275    31364 |    41930    39694     28 |  0.188 % |
54.77/54.82	c |     93047 |    2119    10275    31364 |    41930    39794     28 |  0.188 % |
54.77/54.90	c |     93157 |    2119    10275    31364 |    41930    39904     28 |  0.188 % |
54.87/54.99	c |     93278 |    2119    10275    31364 |    41930    40025     28 |  0.188 % |
54.97/55.09	c |     93412 |    2119    10275    31364 |    41930    40159     28 |  0.188 % |
55.17/55.25	c |     93558 |    2119    10275    31364 |    41930    40305     28 |  0.188 % |
55.27/55.39	c |     93718 |    2119    10275    31364 |    41930    40465     28 |  0.189 % |
55.47/55.52	c |     93894 |    2119    10275    31364 |    41930    40641     28 |  0.189 % |
55.57/55.66	c |     94087 |    2119    10275    31364 |    41930    40834     28 |  0.188 % |
55.67/55.81	c |     94299 |    2119    10275    31364 |    41930    41046     28 |  0.188 % |
55.87/55.97	c |     94533 |    2119    10275    31364 |    41930    41280     28 |  0.189 % |
56.07/56.20	c |     94789 |    2119    10275    31364 |    41930    41536     28 |  0.188 % |
56.37/56.43	c |     95073 |    2119    10275    31364 |    41930    41820     28 |  0.189 % |
56.57/56.70	c |     95382 |    2119    10275    31364 |    41930    42129     28 |  0.189 % |
56.87/56.99	c |     95721 |    2119    10275    31364 |    41930    37323     27 |  0.189 % |
57.17/57.24	c |     96094 |    2119    10275    31364 |    41930    37696     27 |  0.189 % |
57.47/57.58	c |     96504 |    2119    10275    31364 |    41930    38106     27 |  0.188 % |
57.77/57.90	c |     96955 |    2119    10275    31364 |    41930    38557     27 |  0.189 % |
58.17/58.22	c |     97450 |    2119    10275    31364 |    41930    39052     27 |  0.189 % |
58.57/58.61	c |     97992 |    2119    10275    31364 |    41930    39594     27 |  0.188 % |
58.87/59.01	c |     98588 |    2119    10275    31364 |    41930    40190     28 |  0.189 % |
59.47/59.59	c |     99243 |    2119    10275    31364 |    41930    40845     27 |  0.188 % |
60.07/60.16	c |     99963 |    2119    10275    31364 |    41930    41565     27 |  0.189 % |
60.77/60.86	c |    100756 |    2119    10275    31364 |    41602    37112     27 |  0.189 % |
61.47/61.54	c |    101627 |    2119    10275    31364 |    41602    37983     27 |  0.188 % |
62.17/62.21	c |    102586 |    2119    10275    31364 |    41602    38942     27 |  0.189 % |
62.97/63.08	c |    103639 |    2119    10275    31364 |    41602    39995     27 |  0.188 % |
63.87/63.95	c |    104798 |    2119    10275    31364 |    41602    41154     27 |  0.188 % |
63.97/64.02	c |    104898 |    2119    10275    31364 |    41602    41254     27 |  0.188 % |
63.97/64.10	c |    105008 |    2119    10275    31364 |    41602    41364     27 |  0.188 % |
64.17/64.22	c |    105129 |    2119    10275    31364 |    41602    41485     27 |  0.188 % |
64.27/64.36	c |    105262 |    2119    10275    31364 |    41602    41618     27 |  0.189 % |
64.47/64.54	c |    105408 |    2119    10275    31364 |    41602    36102     26 |  0.188 % |
64.57/64.65	c |    105569 |    2119    10275    31364 |    41602    36263     26 |  0.189 % |
64.67/64.79	c |    105746 |    2119    10275    31364 |    41602    36440     26 |  0.188 % |
64.87/64.91	c |    105939 |    2119    10275    31364 |    41602    36633     26 |  0.189 % |
64.97/65.04	c |    106151 |    2119    10275    31364 |    41602    36845     26 |  0.189 % |
65.07/65.17	c |    106386 |    2119    10275    31364 |    41602    37080     26 |  0.188 % |
65.27/65.31	c |    106643 |    2119    10275    31364 |    41602    37337     26 |  0.188 % |
65.37/65.49	c |    106924 |    2119    10275    31364 |    41602    37618     26 |  0.189 % |
65.57/65.69	c |    107234 |    2119    10275    31364 |    41602    37928     26 |  0.189 % |
65.77/65.90	c |    107574 |    2119    10275    31364 |    41602    38268     26 |  0.188 % |
66.17/66.22	c |    107948 |    2119    10275    31364 |    41602    38642     26 |  0.189 % |
66.47/66.52	c |    108359 |    2119    10275    31364 |    41602    39053     26 |  0.188 % |
66.77/66.84	c |    108809 |    2119    10275    31364 |    41602    39503     27 |  0.188 % |
67.07/67.14	c |    109302 |    2119    10275    31364 |    41602    39996     27 |  0.188 % |
67.37/67.46	c |    109845 |    2119    10275    31364 |    41602    40539     27 |  0.189 % |
67.87/67.99	c |    110445 |    2119    10275    31364 |    40694    35879     26 |  0.188 % |
68.27/68.37	c |    111100 |    2119    10275    31364 |    40694    36534     26 |  0.189 % |
68.67/68.80	c |    111822 |    2119    10275    31364 |    40694    37256     26 |  0.189 % |
69.27/69.34	c |    112615 |    2119    10275    31364 |    40694    38049     26 |  0.189 % |
69.77/69.82	c |    113487 |    2119    10275    31364 |    40694    38921     26 |  0.188 % |
70.37/70.43	c |    114446 |    2119    10275    31364 |    40694    39880     26 |  0.188 % |
71.17/71.22	c |    115499 |    2119    10275    31364 |    40694    40933     26 |  0.188 % |
71.87/71.95	c |    116657 |    2119    10275    31364 |    40694    37998     26 |  0.189 % |
72.77/72.85	c |    117931 |    2119    10275    31364 |    40694    39272     26 |  0.188 % |
72.87/72.92	c |    118032 |    2119    10275    31364 |    40694    39373     26 |  0.189 % |
72.97/73.01	c |    118142 |    2119    10275    31364 |    40694    39483     26 |  0.188 % |
72.97/73.10	c |    118263 |    2119    10275    31364 |    40694    39604     26 |  0.189 % |
73.07/73.20	c |    118397 |    2119    10275    31364 |    40694    39738     26 |  0.188 % |
73.17/73.29	c |    118547 |    2119    10275    31364 |    40694    39888     26 |  0.188 % |
73.37/73.43	c |    118709 |    2119    10275    31364 |    40694    40050     26 |  0.190 % |
73.47/73.54	c |    118886 |    2119    10275    31364 |    40694    40227     26 |  0.189 % |
73.57/73.68	c |    119079 |    2119    10275    31364 |    40694    40420     26 |  0.189 % |
73.77/73.88	c |    119291 |    2119    10275    31364 |    40694    40632     26 |  0.189 % |
73.97/74.05	c |    119524 |    2119    10275    31364 |    40694    40865     26 |  0.188 % |
74.17/74.30	c |    119780 |    2119    10275    31364 |    40694    36946     26 |  0.188 % |
74.47/74.52	c |    120061 |    2119    10275    31364 |    37166    37227     26 |  0.188 % |
74.67/74.78	c |    120371 |    2119    10275    31364 |    37166    33615     26 |  0.188 % |
74.87/74.99	c |    120711 |    2119    10275    31364 |    37166    33955     26 |  0.189 % |
75.17/75.23	c |    121086 |    2119    10275    31364 |    37166    34330     26 |  0.188 % |
75.37/75.51	c |    121495 |    2119    10275    31364 |    37166    34739     25 |  0.189 % |
75.67/75.80	c |    121945 |    2119    10275    31364 |    37166    35189     26 |  0.189 % |
75.97/76.11	c |    122438 |    2119    10275    31364 |    37166    35682     26 |  0.189 % |
76.37/76.46	c |    122981 |    2119    10275    31364 |    37166    36225     26 |  0.189 % |
76.77/76.83	c |    123578 |    2119    10275    31364 |    37166    36822     26 |  0.188 % |
77.27/77.35	c |    124234 |    2119    10275    31364 |    37166    37478     26 |  0.188 % |
77.67/77.80	c |    124956 |    2119    10275    31364 |    37166    34241     25 |  0.188 % |
78.27/78.34	c |    125749 |    2119    10275    31364 |    37166    35034     25 |  0.189 % |
78.67/78.81	c |    126621 |    2119    10275    31364 |    37166    35906     25 |  0.189 % |
79.37/79.44	c |    127579 |    2119    10275    31364 |    37166    36864     26 |  0.189 % |
79.97/80.10	c |    128633 |    2119    10275    31364 |    37166    34166     26 |  0.189 % |
80.67/80.76	c |    129791 |    2119    10275    31364 |    37166    35324     26 |  0.189 % |
81.37/81.50	c |    131064 |    2119    10275    31364 | 2147483647    36597     26 |  0.189 % |
82.27/82.35	c |    132467 |    2119    10275    31364 | 2147483647    38000     26 |  0.189 % |
82.27/82.40	c |    132567 |    2119    10275    31364 | 2147483647    38100     26 |  0.188 % |
82.37/82.49	c |    132679 |    2119    10275    31364 | 2147483647    38212     26 |  0.188 % |
82.47/82.61	c |    132800 |    2119    10275    31364 | 2147483647    38333     26 |  0.188 % |
82.67/82.74	c |    132933 |    2119    10275    31364 | 2147483647    38466     26 |  0.189 % |
82.77/82.83	c |    133079 |    2119    10275    31364 | 2147483647    38612     26 |  0.189 % |
82.87/82.96	c |    133239 |    2119    10275    31364 | 2147483647    38772     26 |  0.189 % |
82.97/83.10	c |    133417 |    2119    10275    31364 | 2147483647    38950     26 |  0.188 % |
83.17/83.27	c |    133610 |    2119    10275    31364 | 2147483647    39143     26 |  0.188 % |
83.37/83.45	c |    133826 |    2119    10275    31364 | 2147483647    39359     26 |  0.188 % |
83.57/83.65	c |    134059 |    2119    10275    31364 | 2147483647    39592     26 |  0.188 % |
83.77/83.85	c |    134316 |    2119    10275    31364 | 2147483647    39849     26 |  0.188 % |
83.97/84.06	c |    134597 |    2119    10275    31364 | 2147483647    40130     26 |  0.189 % |
84.17/84.29	c |    134907 |    2119    10275    31364 | 2147483647    40440     26 |  0.188 % |
84.47/84.52	c |    135246 |    2119    10275    31364 | 2147483647    40779     26 |  0.189 % |
84.67/84.78	c |    135618 |    2119    10275    31364 | 2147483647    41151     26 |  0.188 % |
85.07/85.12	c |    136029 |    2119    10275    31364 | 2147483647    41562     26 |  0.188 % |
85.47/85.54	c |    136481 |    2119    10275    31364 | 2147483647    42014     26 |  0.188 % |
85.87/85.93	c |    136975 |    2119    10275    31364 | 2147483647    42508     26 |  0.189 % |
86.27/86.40	c |    137517 |    2119    10275    31364 | 2147483647    43050     26 |  0.188 % |
86.87/86.97	c |    138114 |    2119    10275    31364 | 2147483647    43647     26 |  0.188 % |
87.37/87.41	c |    138769 |    2119    10275    31364 | 2147483647    44302     26 |  0.188 % |
87.87/88.00	c |    139489 |    2119    10275    31364 | 2147483647    45022     26 |  0.188 % |
88.47/88.56	c |    140282 |    2119    10275    31364 |    45533    45815     26 |  0.189 % |
89.17/89.23	c |    141153 |    2119    10275    31364 |    45533    41223     25 |  0.188 % |
89.97/90.03	c |    142111 |    2119    10275    31364 |    45533    42181     25 |  0.188 % |
90.67/90.78	c |    143164 |    2119    10275    31364 |    45533    43234     26 |  0.189 % |
91.47/91.54	c |    144323 |    2119    10275    31364 |    45533    44393     26 |  0.188 % |
92.47/92.60	c |    145596 |    2119    10275    31364 |    45533    45666     26 |  0.188 % |
93.67/93.74	c |    146996 |    2119    10275    31364 |    45533    41522     25 |  0.188 % |
94.67/94.80	c |    148536 |    2119    10275    31364 |    45533    43062     25 |  0.188 % |
94.87/94.92	c |    148637 |    2119    10275    31364 |    45533    43163     25 |  0.188 % |
94.97/95.01	c |    148748 |    2119    10275    31364 |    45533    43274     25 |  0.188 % |
95.07/95.11	c |    148870 |    2119    10275    31364 |    45533    43396     25 |  0.188 % |
95.17/95.24	c |    149004 |    2119    10275    31364 |    45533    43530     25 |  0.188 % |
95.27/95.39	c |    149150 |    2119    10275    31364 |    45533    43676     25 |  0.188 % |
95.37/95.50	c |    149311 |    2119    10275    31364 |    45533    43837     25 |  0.189 % |
95.57/95.63	c |    149488 |    2119    10275    31364 |    45533    44014     25 |  0.189 % |
95.67/95.77	c |    149681 |    2119    10275    31364 |    45533    44207     25 |  0.188 % |
95.87/95.93	c |    149894 |    2119    10275    31364 |    45533    44420     25 |  0.188 % |
96.07/96.14	c |    150129 |    2119    10275    31364 |    44526    44655     25 |  0.189 % |
96.27/96.41	c |    150385 |    2119    10275    31364 |    44526    39529     25 |  0.188 % |
96.47/96.58	c |    150666 |    2119    10275    31364 |    44526    39810     25 |  0.189 % |
96.67/96.80	c |    150975 |    2119    10275    31364 |    44526    40119     25 |  0.189 % |
96.97/97.02	c |    151316 |    2119    10275    31364 |    44526    40460     25 |  0.189 % |
97.17/97.28	c |    151688 |    2119    10275    31364 |    44526    40832     24 |  0.188 % |
97.47/97.54	c |    152099 |    2119    10275    31364 |    44526    41243     25 |  0.189 % |
97.97/98.05	c |    152549 |    2118    10253    31320 |    44526    41688     24 |  0.236 % |
98.27/98.39	c |    153043 |    2118    10253    31320 |    44526    42182     25 |  0.236 % |
98.67/98.75	c |    153585 |    2118    10253    31320 |    44526    42724     25 |  0.236 % |
99.07/99.11	c |    154181 |    2118    10253    31320 |    44526    43320     25 |  0.236 % |
99.47/99.54	c |    154836 |    2118    10253    31320 |    44526    43975     25 |  0.236 % |
99.87/100.01	c |    155556 |    2118    10253    31320 |    44526    44695     25 |  0.236 % |
100.57/100.70	c |    156348 |    2118    10253    31320 |    44526    40992     25 |  0.236 % |
101.18/101.23	c |    157219 |    2118    10253    31320 |    44526    41863     25 |  0.236 % |
101.77/101.81	c |    158177 |    2118    10253    31320 |    44526    42821     25 |  0.236 % |
102.57/102.66	c |    159233 |    2118    10253    31320 |    44526    43877     26 |  0.236 % |
103.38/103.47	c |    160391 |    2118    10253    31320 | 2147483647    45035     26 |  0.236 % |
104.27/104.36	c |    161665 |    2118    10253    31320 | 2147483647    46309     26 |  0.236 % |
105.27/105.38	c |    163065 |    2118    10253    31320 | 2147483647    47709     26 |  0.236 % |
106.57/106.63	c |    164605 |    2118    10253    31320 | 2147483647    49249     26 |  0.236 % |
108.07/108.13	c |    166300 |    2118    10253    31320 | 2147483647    50944     26 |  0.236 % |
108.17/108.23	c |    166402 |    2118    10253    31320 | 2147483647    51046     26 |  0.236 % |
108.27/108.35	c |    166513 |    2118    10253    31320 | 2147483647    51157     26 |  0.236 % |
108.47/108.51	c |    166635 |    2118    10253    31320 | 2147483647    51279     26 |  0.236 % |
108.57/108.66	c |    166769 |    2118    10253    31320 | 2147483647    51413     26 |  0.236 % |
108.67/108.80	c |    166915 |    2118    10253    31320 | 2147483647    51559     26 |  0.236 % |
108.97/109.01	c |    167076 |    2118    10253    31320 | 2147483647    51720     26 |  0.236 % |
109.07/109.20	c |    167254 |    2118    10253    31320 | 2147483647    51898     26 |  0.236 % |
109.27/109.39	c |    167451 |    2118    10253    31320 | 2147483647    52095     26 |  0.236 % |
109.47/109.60	c |    167664 |    2118    10253    31320 | 2147483647    52308     26 |  0.236 % |
109.77/109.88	c |    167897 |    2118    10253    31320 | 2147483647    52541     26 |  0.236 % |
110.07/110.11	c |    168153 |    2118    10253    31320 | 2147483647    52797     26 |  0.236 % |
110.27/110.38	c |    168435 |    2118    10253    31320 | 2147483647    53079     26 |  0.236 % |
110.57/110.63	c |    168746 |    2118    10253    31320 | 2147483647    53390     26 |  0.236 % |
110.87/110.95	c |    169086 |    2118    10253    31320 | 2147483647    53730     26 |  0.236 % |
111.17/111.30	c |    169460 |    2118    10253    31320 | 2147483647    54104     26 |  0.236 % |
111.57/111.70	c |    169870 |    2118    10253    31320 | 2147483647    54514     26 |  0.236 % |
112.18/112.26	c |    170319 |    2118    10253    31320 |    54644    46643     26 |  0.236 % |
112.57/112.69	c |    170813 |    2118    10253    31320 |    54644    47137     25 |  0.236 % |
113.07/113.18	c |    171355 |    2118    10253    31320 |    54644    47679     25 |  0.236 % |
113.67/113.72	c |    171953 |    2118    10253    31320 |    54644    48277     25 |  0.236 % |
114.27/114.31	c |    172609 |    2118    10253    31320 |    54644    48933     25 |  0.236 % |
114.77/114.89	c |    173329 |    2118    10253    31320 |    54644    49653     25 |  0.236 % |
115.67/115.71	c |    174122 |    2118    10253    31320 |    54644    50446     25 |  0.236 % |
116.37/116.49	c |    174995 |    2118    10253    31320 |    54644    51319     25 |  0.236 % |
117.37/117.43	c |    175953 |    2118    10253    31320 |    54644    52277     25 |  0.236 % |
118.27/118.38	c |    177006 |    2118    10253    31320 |    54644    53330     25 |  0.236 % |
119.37/119.49	c |    178165 |    2118    10253    31320 |    54644    54489     25 |  0.236 % |
120.67/120.77	c |    179441 |    2118    10253    31320 |    54644    46756     25 |  0.236 % |
121.97/122.02	c |    180842 |    2118    10253    31320 |    47316    40408     25 |  0.236 % |
123.18/123.25	c |    182383 |    2118    10253    31320 |    47316    41949     25 |  0.236 % |
124.57/124.67	c |    184078 |    2118    10253    31320 |    47316    43644     25 |  0.236 % |
126.37/126.43	c |    185942 |    2118    10253    31320 |    47316    45508     25 |  0.236 % |
126.48/126.52	c |    186042 |    2118    10253    31320 |    47316    45608     25 |  0.236 % |
126.57/126.63	c |    186153 |    2118    10253    31320 |    47316    45719     25 |  0.236 % |
126.67/126.73	c |    186277 |    2118    10253    31320 |    47316    45843     25 |  0.236 % |
126.77/126.83	c |    186410 |    2118    10253    31320 |    47316    45976     25 |  0.236 % |
126.77/126.89	c |    186556 |    2118    10253    31320 |    47316    46122     25 |  0.236 % |
126.97/127.07	c |    186718 |    2118    10253    31320 |    47316    46284     25 |  0.236 % |
127.07/127.16	c |    186896 |    2118    10253    31320 |    47316    46462     25 |  0.236 % |
127.27/127.38	c |    187089 |    2118    10253    31320 |    47316    46655     25 |  0.236 % |
127.47/127.62	c |    187301 |    2118    10253    31320 |    47316    46867     25 |  0.236 % |
127.67/127.79	c |    187534 |    2118    10253    31320 |    47316    47100     25 |  0.236 % |
127.87/127.99	c |    187791 |    2118    10253    31320 |    47316    47357     25 |  0.236 % |
128.17/128.24	c |    188072 |    2118    10253    31320 |    47316    40378     23 |  0.236 % |
128.57/128.63	c |    188381 |    2118    10253    31320 |    47316    40687     23 |  0.236 % |
128.87/128.95	c |    188724 |    2118    10253    31320 |    47316    41030     23 |  0.236 % |
129.17/129.28	c |    189097 |    2118    10253    31320 |    47316    41403     23 |  0.236 % |
129.57/129.68	c |    189506 |    2118    10253    31320 |    47316    41812     23 |  0.236 % |
130.07/130.14	c |    189955 |    2118    10253    31320 |    47316    42261     23 |  0.236 % |
130.57/130.67	c |    190448 |    2118    10253    31320 |    42306    35751     23 |  0.236 % |
130.97/131.07	c |    190992 |    2118    10253    31320 |    42306    36295     23 |  0.236 % |
131.37/131.49	c |    191588 |    2118    10253    31320 |    42306    36891     23 |  0.236 % |
131.98/132.09	c |    192243 |    2118    10253    31320 |    42306    37546     22 |  0.236 % |
132.47/132.55	c |    192966 |    2118    10253    31320 |    42306    38269     22 |  0.236 % |
133.08/133.20	c |    193760 |    2118    10253    31320 |    42306    39063     22 |  0.236 % |
133.87/133.96	c |    194631 |    2118    10253    31320 |    42306    39934     22 |  0.236 % |
134.67/134.79	c |    195590 |    2118    10253    31320 |    42306    40893     22 |  0.236 % |
135.67/135.72	c |    196646 |    2118    10253    31320 |    42306    41949     22 |  0.236 % |
136.57/136.66	c |    197804 |    2118    10253    31320 |    42306    37326     22 |  0.236 % |
137.17/137.24	c |    199078 |    2118    10253    31320 |    42306    38600     22 |  0.236 % |
137.87/137.98	c |    200479 |    2118    10253    31320 |    39522    40001     22 |  0.236 % |
138.77/138.86	c |    202019 |    2118    10253    31320 |    39522    37541     22 |  0.236 % |
139.68/139.73	c |    203713 |    2118    10253    31320 |    39522    39235     23 |  0.236 % |
140.67/140.79	c |    205577 |    2118    10253    31320 |    39522    37105     23 |  0.236 % |
141.77/141.87	c |    207627 |    2118    10253    31320 |    39522    39155     23 |  0.236 % |
141.88/141.93	c |    207727 |    2118    10253    31320 |    39522    39255     23 |  0.236 % |
141.88/141.99	c |    207839 |    2118    10253    31320 |    39522    39367     23 |  0.236 % |
141.97/142.05	c |    207960 |    2118    10253    31320 |    39522    39488     23 |  0.236 % |
142.07/142.14	c |    208093 |    2118    10253    31320 |    39522    39621     23 |  0.236 % |
142.27/142.37	c |    208241 |    2118    10253    31320 |    39522    35807     23 |  0.236 % |
142.37/142.46	c |    208402 |    2118    10253    31320 |    39522    35968     23 |  0.236 % |
142.47/142.57	c |    208578 |    2118    10253    31320 |    39522    36144     23 |  0.236 % |
142.57/142.69	c |    208773 |    2118    10253    31320 |    39522    36339     23 |  0.236 % |
142.67/142.79	c |    208985 |    2118    10253    31320 |    39522    36551     23 |  0.236 % |
142.77/142.90	c |    209218 |    2118    10253    31320 |    39522    36784     23 |  0.236 % |
142.98/143.03	c |    209474 |    2118    10253    31320 |    39522    37040     23 |  0.236 % |
143.07/143.17	c |    209756 |    2118    10253    31320 |    39522    37322     23 |  0.236 % |
143.27/143.33	c |    210067 |    2118    10253    31320 | 2147483647    37633     23 |  0.236 % |
143.47/143.57	c |    210408 |    2118    10253    31320 | 2147483647    37974     23 |  0.236 % |
143.67/143.78	c |    210780 |    2118    10253    31320 | 2147483647    38346     23 |  0.236 % |
143.97/144.01	c |    211189 |    2118    10253    31320 | 2147483647    38755     23 |  0.236 % |
144.17/144.29	c |    211638 |    2118    10253    31320 | 2147483647    39204     23 |  0.236 % |
144.47/144.55	c |    212131 |    2118    10253    31320 | 2147483647    39697     23 |  0.236 % |
144.77/144.89	c |    212674 |    2118    10253    31320 | 2147483647    40240     24 |  0.236 % |
145.07/145.18	c |    213271 |    2118    10253    31320 | 2147483647    40837     24 |  0.236 % |
145.47/145.56	c |    213926 |    2118    10253    31320 | 2147483647    41492     24 |  0.236 % |
145.97/146.05	c |    214647 |    2118    10253    31320 | 2147483647    42213     24 |  0.236 % |
146.47/146.59	c |    215441 |    2118    10253    31320 | 2147483647    43007     24 |  0.236 % |
146.97/147.09	c |    216312 |    2118    10253    31320 | 2147483647    43878     24 |  0.236 % |
147.57/147.63	c |    217271 |    2118    10253    31320 | 2147483647    44837     24 |  0.236 % |
148.27/148.37	c |    218324 |    2118    10253    31320 | 2147483647    45890     24 |  0.236 % |
149.07/149.13	c |    219484 |    2118    10253    31320 | 2147483647    47050     24 |  0.236 % |
149.98/150.06	c |    220757 |    2118    10253    31320 | 2147483647    48323     24 |  0.236 % |
150.98/151.12	c |    222159 |    2118    10253    31320 | 2147483647    49725     24 |  0.236 % |
152.18/152.25	c |    223699 |    2118    10253    31320 | 2147483647    51265     25 |  0.236 % |
153.48/153.54	c |    225393 |    2118    10253    31320 | 2147483647    52959     25 |  0.236 % |
154.88/155.00	c |    227259 |    2118    10253    31320 | 2147483647    54825     25 |  0.236 % |
156.58/156.66	c |    229309 |    2118    10253    31320 | 2147483647    56875     25 |  0.236 % |
158.88/158.98	c |    231562 |    2118    10253    31320 |    57566    51079     25 |  0.236 % |
159.08/159.12	c |    231664 |    2118    10253    31320 |    57566    51181     25 |  0.236 % |
159.08/159.21	c |    231775 |    2118    10253    31320 |    57566    51292     25 |  0.236 % |
159.28/159.33	c |    231896 |    2118    10253    31320 |    57566    51413     25 |  0.236 % |
159.38/159.44	c |    232029 |    2118    10253    31320 |    57566    51546     25 |  0.236 % |
159.48/159.60	c |    232178 |    2118    10253    31320 |    57566    51695     25 |  0.236 % |
159.68/159.72	c |    232339 |    2118    10253    31320 |    57566    51856     25 |  0.236 % |
159.78/159.86	c |    232516 |    2118    10253    31320 |    57566    52033     25 |  0.236 % |
159.98/160.04	c |    232710 |    2118    10253    31320 |    57566    52227     25 |  0.236 % |
160.18/160.22	c |    232924 |    2118    10253    31320 |    57566    52441     25 |  0.236 % |
160.28/160.41	c |    233157 |    2118    10253    31320 |    57566    52674     25 |  0.236 % |
160.48/160.57	c |    233418 |    2118    10253    31320 |    57566    52935     25 |  0.236 % |
160.68/160.79	c |    233700 |    2118    10253    31320 |    57566    53217     25 |  0.236 % |
160.88/160.97	c |    234009 |    2118    10253    31320 |    57566    53526     25 |  0.236 % |
161.18/161.26	c |    234350 |    2118    10253    31320 |    57566    53867     25 |  0.236 % |
161.48/161.53	c |    234724 |    2118    10253    31320 |    57566    54241     25 |  0.236 % |
161.78/161.88	c |    235134 |    2118    10253    31320 |    57566    54651     25 |  0.236 % |
162.08/162.19	c |    235583 |    2118    10253    31320 |    57566    55100     25 |  0.236 % |
162.78/162.89	c |    236077 |    2118    10253    31320 |    57566    55594     25 |  0.236 % |
163.28/163.39	c |    236620 |    2118    10253    31320 |    57566    56137     25 |  0.236 % |
163.88/163.95	c |    237216 |    2118    10253    31320 |    57566    56733     25 |  0.236 % |
164.58/164.62	c |    237871 |    2118    10253    31320 |    57566    57388     25 |  0.236 % |
165.38/165.51	c |    238591 |    2118    10253    31320 |    57566    47561     26 |  0.236 % |
166.08/166.16	c |    239383 |    2118    10253    31320 |    57566    48353     26 |  0.236 % |
166.78/166.86	c |    240255 |    2118    10253    31320 |    48971    49225     26 |  0.236 % |
167.48/167.58	c |    241213 |    2118    10253    31320 |    48971    41696     25 |  0.236 % |
168.28/168.32	c |    242267 |    2118    10253    31320 |    48971    42750     26 |  0.236 % |
168.98/169.09	c |    243425 |    2118    10253    31320 |    48971    43908     26 |  0.236 % |
169.88/170.00	c |    244699 |    2118    10253    31320 |    48971    45182     26 |  0.236 % |
170.88/170.93	c |    246099 |    2118    10253    31320 |    48971    46582     26 |  0.236 % |
171.98/172.06	c |    247639 |    2118    10253    31320 |    48971    48122     26 |  0.236 % |
173.48/173.55	c |    249335 |    2118    10253    31320 |    48971    43068     25 |  0.236 % |
174.78/174.87	c |    251201 |    2118    10253    31320 |    43734    39067     25 |  0.236 % |
176.08/176.17	c |    253252 |    2118    10253    31320 |    43734    41118     25 |  0.236 % |
177.78/177.82	c |    255506 |    2118    10253    31320 |    43734    43372     25 |  0.236 % |
179.48/179.57	c |    257984 |    2118    10253    31320 |    43734    40230     24 |  0.236 % |
179.58/179.67	c |    258087 |    2118    10253    31320 |    43734    40333     24 |  0.236 % |
179.68/179.76	c |    258197 |    2118    10253    31320 |    43734    40443     24 |  0.236 % |
179.78/179.87	c |    258318 |    2118    10253    31320 |    43734    40564     24 |  0.236 % |
179.88/179.97	c |    258453 |    2118    10253    31320 |    43734    40699     24 |  0.236 % |
179.98/180.06	c |    258599 |    2118    10253    31320 |    43734    40845     24 |  0.236 % |
180.08/180.20	c |    258760 |    2118    10253    31320 |    43734    41006     24 |  0.236 % |
180.18/180.30	c |    258936 |    2118    10253    31320 |    43734    41182     24 |  0.236 % |
180.38/180.42	c |    259131 |    2118    10253    31320 |    43734    41377     24 |  0.236 % |
180.48/180.52	c |    259343 |    2118    10253    31320 |    43734    41589     24 |  0.236 % |
180.58/180.69	c |    259576 |    2118    10253    31320 |    43734    41822     24 |  0.236 % |
180.78/180.91	c |    259833 |    2118    10253    31320 |    43734    42079     24 |  0.236 % |
181.08/181.13	c |    260114 |    2118    10253    31320 |    42249    42360     24 |  0.236 % |
181.28/181.41	c |    260423 |    2118    10253    31320 |    42249    37220     24 |  0.236 % |
181.58/181.65	c |    260764 |    2118    10253    31320 |    42249    37561     24 |  0.236 % |
181.78/181.85	c |    261136 |    2118    10253    31320 |    42249    37933     24 |  0.236 % |
181.98/182.07	c |    261546 |    2118    10253    31320 |    42249    38343     24 |  0.236 % |
182.28/182.32	c |    261995 |    2118    10253    31320 |    42249    38792     24 |  0.236 % |
182.48/182.59	c |    262489 |    2118    10253    31320 |    42249    39286     24 |  0.236 % |
182.78/182.90	c |    263032 |    2118    10253    31320 |    42249    39829     24 |  0.236 % |
183.38/183.43	c |    263629 |    2118    10253    31320 |    42249    40426     24 |  0.236 % |
183.78/183.89	c |    264284 |    2118    10253    31320 |    42249    41081     24 |  0.236 % |
184.38/184.48	c |    265006 |    2118    10253    31320 |    42249    41803     24 |  0.236 % |
184.88/185.01	c |    265798 |    2118    10253    31320 |    42249    42595     24 |  0.236 % |
185.58/185.68	c |    266670 |    2118    10253    31320 |    42249    39082     24 |  0.236 % |
186.28/186.41	c |    267628 |    2118    10253    31320 |    42249    40040     24 |  0.236 % |
187.18/187.24	c |    268681 |    2118    10253    31320 |    42249    41093     24 |  0.236 % |
188.18/188.22	c |    269840 |    2118    10253    31320 |    42249    42252     23 |  0.236 % |
189.18/189.29	c |    271113 |    2118    10253    31320 |    42413    38013     23 |  0.236 % |
189.88/190.01	c |    272516 |    2118    10253    31320 |    42413    39416     23 |  0.236 % |
190.98/191.04	c |    274056 |    2118    10253    31320 |    42413    40956     23 |  0.238 % |
191.88/191.96	c |    275751 |    2118    10253    31320 |    42413    42651     23 |  0.236 % |
193.28/193.34	c |    277616 |    2118    10253    31320 |    42413    40251     23 |  0.236 % |
194.58/194.64	c |    279665 |    2118    10253    31320 |    42413    42300     24 |  0.236 % |
195.88/195.92	c |    281919 |    2118    10253    31320 | 2147483647    44554     24 |  0.236 % |
197.58/197.62	c |    284397 |    2118    10253    31320 | 2147483647    47032     24 |  0.236 % |
199.38/199.44	c |    287122 |    2118    10253    31320 | 2147483647    49757     24 |  0.236 % |
199.38/199.50	c |    287224 |    2118    10253    31320 | 2147483647    49859     24 |  0.236 % |
199.48/199.58	c |    287334 |    2118    10253    31320 | 2147483647    49969     24 |  0.236 % |
199.58/199.67	c |    287458 |    2118    10253    31320 | 2147483647    50093     24 |  0.236 % |
199.68/199.72	c |    287591 |    2118    10253    31320 | 2147483647    50226     24 |  0.236 % |
199.78/199.85	c |    287738 |    2118    10253    31320 | 2147483647    50373     24 |  0.236 % |
199.88/199.95	c |    287899 |    2118    10253    31320 | 2147483647    50534     24 |  0.236 % |
199.98/200.08	c |    288076 |    2118    10253    31320 | 2147483647    50711     24 |  0.236 % |
200.18/200.25	c |    288269 |    2118    10253    31320 | 2147483647    50904     24 |  0.236 % |
200.38/200.45	c |    288482 |    2118    10253    31320 | 2147483647    51117     24 |  0.236 % |
200.58/200.63	c |    288716 |    2118    10253    31320 | 2147483647    51351     24 |  0.236 % |
200.78/200.86	c |    288973 |    2118    10253    31320 | 2147483647    51608     24 |  0.236 % |
200.98/201.08	c |    289257 |    2118    10253    31320 | 2147483647    51892     24 |  0.236 % |
201.28/201.35	c |    289566 |    2118    10253    31320 | 2147483647    52201     24 |  0.236 % |
201.58/201.65	c |    289905 |    2118    10253    31320 | 2147483647    52540     24 |  0.236 % |
201.88/201.92	c |    290280 |    2118    10253    31320 |    52636    52915     24 |  0.236 % |
202.28/202.37	c |    290689 |    2118    10253    31320 |    52636    48001     24 |  0.236 % |
202.58/202.69	c |    291138 |    2118    10253    31320 |    52636    48450     24 |  0.236 % |
203.08/203.19	c |    291632 |    2118    10253    31320 |    52636    48944     24 |  0.236 % |
203.48/203.52	c |    292174 |    2118    10253    31320 |    52636    49486     24 |  0.236 % |
203.88/204.01	c |    292771 |    2118    10253    31320 |    52636    50083     24 |  0.236 % |
204.58/204.64	c |    293426 |    2118    10253    31320 |    52636    50738     24 |  0.236 % |
205.28/205.33	c |    294146 |    2118    10253    31320 |    52636    51458     24 |  0.236 % |
205.88/205.92	c |    294938 |    2118    10253    31320 |    52636    52250     24 |  0.236 % |
206.78/206.86	c |    295811 |    2118    10253    31320 |    52636    45867     24 |  0.236 % |
207.48/207.60	c |    296770 |    2118    10253    31320 |    52636    46826     24 |  0.236 % |
208.38/208.51	c |    297825 |    2118    10253    31320 |    52636    47881     24 |  0.236 % |
209.48/209.59	c |    298985 |    2118    10253    31320 |    52636    49041     24 |  0.236 % |
210.48/210.57	c |    300259 |    2118    10253    31320 |    50056    50315     24 |  0.236 % |
211.78/211.81	c |    301659 |    2118    10253    31320 |    50056    44252     24 |  0.236 % |
213.08/213.12	c |    303199 |    2118    10253    31320 |    50056    45792     24 |  0.236 % |
214.78/214.87	c |    304893 |    2118    10253    31320 |    50056    47486     25 |  0.236 % |
216.48/216.58	c |    306757 |    2118    10253    31320 |    50056    49350     25 |  0.236 % |
218.48/218.58	c |    308806 |    2118    10253    31320 |    50056    43379     25 |  0.236 % |
220.28/220.32	c |    311060 |    2118    10253    31320 |    44573    38449     24 |  0.236 % |
222.08/222.21	c |    313540 |    2118    10253    31320 |    44573    40929     24 |  0.236 % |
223.98/224.04	c |    316265 |    2118    10253    31320 |    44573    43654     24 |  0.236 % |
226.18/226.31	c |    319263 |    2118    10253    31320 |    44573    40550     23 |  0.236 % |
226.28/226.38	c |    319363 |    2118    10253    31320 |    44573    40650     23 |  0.236 % |
226.38/226.46	c |    319473 |    2118    10253    31320 |    44573    40760     23 |  0.236 % |
226.48/226.57	c |    319595 |    2118    10253    31320 |    44573    40882     23 |  0.236 % |
226.59/226.69	c |    319728 |    2118    10253    31320 |    44573    41015     23 |  0.236 % |
226.68/226.80	c |    319875 |    2118    10253    31320 |    44573    41162     23 |  0.236 % |
226.88/226.92	c |    320035 |    2118    10253    31320 |    41287    41322     23 |  0.236 % |
226.98/227.09	c |    320212 |    2118    10253    31320 |    41287    35898     22 |  0.236 % |
227.18/227.22	c |    320407 |    2118    10253    31320 |    41287    36093     22 |  0.236 % |
227.28/227.39	c |    320619 |    2118    10253    31320 |    41287    36305     22 |  0.236 % |
227.48/227.52	c |    320853 |    2118    10253    31320 |    41287    36539     22 |  0.236 % |
227.58/227.69	c |    321111 |    2118    10253    31320 |    41287    36797     22 |  0.236 % |
227.78/227.89	c |    321393 |    2118    10253    31320 |    41287    37079     23 |  0.236 % |
228.08/228.12	c |    321702 |    2118    10253    31320 |    41287    37388     23 |  0.236 % |
228.18/228.31	c |    322041 |    2118    10253    31320 |    41287    37727     23 |  0.236 % |
228.48/228.55	c |    322413 |    2118    10253    31320 |    41287    38099     23 |  0.236 % |
228.79/228.88	c |    322822 |    2118    10253    31320 |    41287    38508     23 |  0.236 % |
229.08/229.19	c |    323272 |    2118    10253    31320 |    41287    38958     23 |  0.236 % |
229.48/229.52	c |    323766 |    2118    10253    31320 |    41287    39452     23 |  0.236 % |
229.89/229.97	c |    324309 |    2118    10253    31320 |    41287    39995     23 |  0.236 % |
230.38/230.48	c |    324905 |    2118    10253    31320 |    41287    40591     23 |  0.236 % |
230.88/230.95	c |    325560 |    2118    10253    31320 |    41287    41246     23 |  0.236 % |
231.58/231.64	c |    326282 |    2118    10253    31320 |    41287    37819     22 |  0.236 % |
232.18/232.24	c |    327076 |    2118    10253    31320 |    41287    38613     22 |  0.236 % |
232.78/232.90	c |    327947 |    2118    10253    31320 |    41287    39484     22 |  0.236 % |
233.48/233.58	c |    328907 |    2118    10253    31320 |    41287    40444     22 |  0.236 % |
234.48/234.52	c |    329963 |    2118    10253    31320 |    41287    37129     22 |  0.236 % |
235.28/235.33	c |    331121 |    2118    10253    31320 |    37167    34529     21 |  0.236 % |
236.08/236.14	c |    332394 |    2118    10253    31320 |    37167    35802     21 |  0.236 % |
237.08/237.16	c |    333794 |    2118    10253    31320 |    37167    37202     21 |  0.236 % |
238.18/238.23	c |    335334 |    2118    10253    31320 |    37167    35022     21 |  0.236 % |
239.28/239.41	c |    337028 |    2118    10253    31320 |    37167    36716     21 |  0.236 % |
240.58/240.63	c |    338891 |    2118    10253    31320 |    37167    34836     21 |  0.236 % |
242.08/242.14	c |    340944 |    2118    10253    31320 | 2147483647    36889     21 |  0.236 % |
243.09/243.12	c |    343197 |    2118    10253    31320 | 2147483647    39142     21 |  0.236 % |
243.98/244.03	c ===============================================================================
243.98/244.03	c restarts              : 739
243.98/244.03	c conflicts             : 343935         (1411 /sec)
243.98/244.03	c decisions             : 446797         (1.37 % random) (1833 /sec)
243.98/244.03	c propagations          : 89171363       (365801 /sec)
243.98/244.03	c conflict literals     : 9447417        (52.04 % deleted)
243.98/244.03	c Memory used           : 13.01 MB
243.98/244.03	c CPU time              : 243.77 s
243.98/244.03	c 
243.98/244.03	s UNSATISFIABLE
243.98/244.03	s UNSATISFIABLE

Verifier Data

No possible verification on an UNSAT instance

Watcher Data

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1821934-1242580662/watcher-1821934-1242580662 -o /tmp/evaluation-result-1821934-1242580662/solver-1821934-1242580662 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821934-1242580662.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 1990
/proc/meminfo: memFree=981172/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2416 CPUtime=0
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 367 647 0 0 0 0 0 0 20 0 1 0 1022567018 2473984 277 4294967295 134512640 135169312 3220183632 3220182168 3085139694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/1990/statm: 604 277 235 161 0 43 0
[pid=1994] ppid=1990 vsize=952 CPUtime=0
/proc/1994/stat : 1994 (SatELite_releas) R 1990 1990 10114 0 -1 4202496 134 0 0 0 0 0 0 0 22 0 1 0 1022567018 974848 71 4294967295 134512640 135223648 3219298656 3219297252 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1994/statm: 238 76 45 174 0 63 0

[startup+0.098828 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 1990
/proc/meminfo: memFree=981172/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2416 CPUtime=0
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 367 647 0 0 0 0 0 0 20 0 1 0 1022567018 2473984 277 4294967295 134512640 135169312 3220183632 3220182168 3085139694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/1990/statm: 604 277 235 161 0 43 0
[pid=1994] ppid=1990 vsize=5412 CPUtime=0.1
/proc/1994/stat : 1994 (SatELite_releas) R 1990 1990 10114 0 -1 4202496 1203 0 0 0 10 0 0 0 23 0 1 0 1022567018 5541888 1080 4294967295 134512640 135223648 3219298656 3219296656 134547920 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1994/statm: 1353 1080 73 174 0 1178 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7828

[startup+0.108828 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 1990
/proc/meminfo: memFree=981172/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2416 CPUtime=0
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 367 647 0 0 0 0 0 0 20 0 1 0 1022567018 2473984 277 4294967295 134512640 135169312 3220183632 3220182168 3085139694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/1990/statm: 604 277 235 161 0 43 0
[pid=1994] ppid=1990 vsize=5568 CPUtime=0.11
/proc/1994/stat : 1994 (SatELite_releas) R 1990 1990 10114 0 -1 4202496 1217 0 0 0 11 0 0 0 23 0 1 0 1022567018 5701632 1094 4294967295 134512640 135223648 3219298656 3219296604 134575520 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1994/statm: 1392 1094 73 174 0 1217 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 7984

[startup+0.308818 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 1990
/proc/meminfo: memFree=981172/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 2420

[startup+0.708799 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 1990
/proc/meminfo: memFree=981172/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 2420

[startup+1.50876 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 1996
/proc/meminfo: memFree=979280/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
[pid=1996] ppid=1990 vsize=3256 CPUtime=1.28
/proc/1996/stat : 1996 (minisat_static) R 1990 1990 10114 0 -1 4202496 541 0 0 0 128 0 0 0 25 0 1 0 1022567039 3334144 476 4294967295 134512640 135215339 3213323280 3213321568 134528691 0 0 0 3 0 0 0 17 1 0 0 0
/proc/1996/statm: 814 476 72 172 0 641 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5676

[startup+3.10868 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 1996
/proc/meminfo: memFree=978412/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
[pid=1996] ppid=1990 vsize=4728 CPUtime=2.86
/proc/1996/stat : 1996 (minisat_static) R 1990 1990 10114 0 -1 4202496 918 0 0 0 286 0 0 0 25 0 1 0 1022567039 4841472 853 4294967295 134512640 135215339 3213323280 3213321568 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/1996/statm: 1182 853 72 172 0 1009 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 7148

[startup+6.30853 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 2179
/proc/meminfo: memFree=975744/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
[pid=1996] ppid=1990 vsize=6488 CPUtime=6.06
/proc/1996/stat : 1996 (minisat_static) R 1990 1990 10114 0 -1 4202496 1363 0 0 0 606 0 0 0 25 0 1 0 1022567039 6643712 1298 4294967295 134512640 135215339 3213323280 3213321568 134528811 0 0 0 3 0 0 0 17 1 0 0 0
/proc/1996/statm: 1622 1298 72 172 0 1449 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 8908

[startup+12.7082 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 2179
/proc/meminfo: memFree=974112/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
[pid=1996] ppid=1990 vsize=8672 CPUtime=12.45
/proc/1996/stat : 1996 (minisat_static) R 1990 1990 10114 0 -1 4202496 1899 0 0 0 1245 0 0 0 25 0 1 0 1022567039 8880128 1834 4294967295 134512640 135215339 3213323280 3213321568 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1996/statm: 2168 1834 72 172 0 1995 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 11092

[startup+25.5076 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 2181
/proc/meminfo: memFree=971324/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
[pid=1996] ppid=1990 vsize=11416 CPUtime=25.25
/proc/1996/stat : 1996 (minisat_static) R 1990 1990 10114 0 -1 4202496 2587 0 0 0 2525 0 0 0 25 0 1 0 1022567039 11689984 2522 4294967295 134512640 135215339 3213323280 3213321568 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1996/statm: 2854 2522 72 172 0 2681 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 13836

[startup+51.1163 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 2183
/proc/meminfo: memFree=970676/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
[pid=1996] ppid=1990 vsize=12220 CPUtime=50.86
/proc/1996/stat : 1996 (minisat_static) R 1990 1990 10114 0 -1 4202496 2756 0 0 0 5086 0 0 0 25 0 1 0 1022567039 12513280 2691 4294967295 134512640 135215339 3213323280 3213321568 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1996/statm: 3055 2691 72 172 0 2882 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 14640

[startup+102.324 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 2370
/proc/meminfo: memFree=969932/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
[pid=1996] ppid=1990 vsize=12828 CPUtime=102.07
/proc/1996/stat : 1996 (minisat_static) R 1990 1990 10114 0 -1 4202496 2894 0 0 0 10206 1 0 0 25 0 1 0 1022567039 13135872 2829 4294967295 134512640 135215339 3213323280 3213321568 134528714 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1996/statm: 3207 2829 72 172 0 3034 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 15248

[startup+162.321 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 2564
/proc/meminfo: memFree=969652/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
[pid=1996] ppid=1990 vsize=12984 CPUtime=162.07
/proc/1996/stat : 1996 (minisat_static) R 1990 1990 10114 0 -1 4202496 2940 0 0 0 16206 1 0 0 25 0 1 0 1022567039 13295616 2875 4294967295 134512640 135215339 3213323280 3213321568 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1996/statm: 3246 2875 72 172 0 3073 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 15404

[startup+222.318 s]
/proc/loadavg: 1.04 1.01 1.00 2/95 2760
/proc/meminfo: memFree=969032/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
[pid=1996] ppid=1990 vsize=13172 CPUtime=222.07
/proc/1996/stat : 1996 (minisat_static) R 1990 1990 10114 0 -1 4202496 2985 0 0 0 22206 1 0 0 25 0 1 0 1022567039 13488128 2920 4294967295 134512640 135215339 3213323280 3213321568 134529148 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1996/statm: 3293 2920 72 172 0 3120 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 15592

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

[startup+230.318 s]
/proc/loadavg: 1.04 1.01 1.00 2/95 2760
/proc/meminfo: memFree=969048/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
[pid=1996] ppid=1990 vsize=13172 CPUtime=230.07
/proc/1996/stat : 1996 (minisat_static) R 1990 1990 10114 0 -1 4202496 2995 0 0 0 23006 1 0 0 25 0 1 0 1022567039 13488128 2930 4294967295 134512640 135215339 3213323280 3213321568 134528700 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1996/statm: 3293 2930 72 172 0 3120 0
Current children cumulated CPU time (s) 230.28
Current children cumulated vsize (KiB) 15592

[startup+236.717 s]
/proc/loadavg: 1.03 1.01 1.00 2/95 2760
/proc/meminfo: memFree=969048/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
[pid=1996] ppid=1990 vsize=13172 CPUtime=236.47
/proc/1996/stat : 1996 (minisat_static) R 1990 1990 10114 0 -1 4202496 2995 0 0 0 23646 1 0 0 25 0 1 0 1022567039 13488128 2930 4294967295 134512640 135215339 3213323280 3213321568 134528875 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1996/statm: 3293 2930 72 172 0 3120 0
Current children cumulated CPU time (s) 236.68
Current children cumulated vsize (KiB) 15592

[startup+239.917 s]
/proc/loadavg: 1.03 1.01 1.00 2/95 2760
/proc/meminfo: memFree=969048/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
[pid=1996] ppid=1990 vsize=13172 CPUtime=239.67
/proc/1996/stat : 1996 (minisat_static) R 1990 1990 10114 0 -1 4202496 2995 0 0 0 23966 1 0 0 25 0 1 0 1022567039 13488128 2930 4294967295 134512640 135215339 3213323280 3213321264 134545661 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1996/statm: 3293 2930 72 172 0 3120 0
Current children cumulated CPU time (s) 239.88
Current children cumulated vsize (KiB) 15592

[startup+241.517 s]
/proc/loadavg: 1.03 1.01 1.00 2/95 2761
/proc/meminfo: memFree=969040/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
[pid=1996] ppid=1990 vsize=13172 CPUtime=241.27
/proc/1996/stat : 1996 (minisat_static) R 1990 1990 10114 0 -1 4202496 2995 0 0 0 24126 1 0 0 25 0 1 0 1022567039 13488128 2930 4294967295 134512640 135215339 3213323280 3213321568 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1996/statm: 3293 2930 72 172 0 3120 0
Current children cumulated CPU time (s) 241.48
Current children cumulated vsize (KiB) 15592

[startup+243.127 s]
/proc/loadavg: 1.03 1.01 1.00 2/95 2761
/proc/meminfo: memFree=969040/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
[pid=1996] ppid=1990 vsize=13172 CPUtime=242.88
/proc/1996/stat : 1996 (minisat_static) R 1990 1990 10114 0 -1 4202496 2998 0 0 0 24287 1 0 0 25 0 1 0 1022567039 13488128 2933 4294967295 134512640 135215339 3213323280 3213321568 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1996/statm: 3293 2933 72 172 0 3120 0
Current children cumulated CPU time (s) 243.09
Current children cumulated vsize (KiB) 15592

[startup+243.517 s]
/proc/loadavg: 1.03 1.01 1.00 2/95 2761
/proc/meminfo: memFree=969040/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
[pid=1996] ppid=1990 vsize=13320 CPUtime=243.27
/proc/1996/stat : 1996 (minisat_static) R 1990 1990 10114 0 -1 4202496 3019 0 0 0 24326 1 0 0 25 0 1 0 1022567039 13639680 2954 4294967295 134512640 135215339 3213323280 3213321344 134539280 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1996/statm: 3330 2954 72 172 0 3157 0
Current children cumulated CPU time (s) 243.48
Current children cumulated vsize (KiB) 15740

[startup+243.917 s]
/proc/loadavg: 1.03 1.01 1.00 2/95 2761
/proc/meminfo: memFree=969040/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
[pid=1996] ppid=1990 vsize=13320 CPUtime=243.67
/proc/1996/stat : 1996 (minisat_static) R 1990 1990 10114 0 -1 4202496 3019 0 0 0 24366 1 0 0 25 0 1 0 1022567039 13639680 2954 4294967295 134512640 135215339 3213323280 3213321488 134526145 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1996/statm: 3330 2954 72 172 0 3157 0
Current children cumulated CPU time (s) 243.88
Current children cumulated vsize (KiB) 15740

[startup+244.017 s]
/proc/loadavg: 1.03 1.01 1.00 2/95 2761
/proc/meminfo: memFree=969040/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
[pid=1996] ppid=1990 vsize=13320 CPUtime=243.77
/proc/1996/stat : 1996 (minisat_static) R 1990 1990 10114 0 -1 4202496 3019 0 0 0 24376 1 0 0 25 0 1 0 1022567039 13639680 2954 4294967295 134512640 135215339 3213323280 3213321568 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1996/statm: 3330 2954 72 172 0 3157 0
Current children cumulated CPU time (s) 243.98
Current children cumulated vsize (KiB) 15740

Child status: 20
Real time (s): 244.036
CPU time (s): 243.99
CPU user time (s): 243.97
CPU system time (s): 0.02
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 15740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.97
system time used= 0.02
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5629
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= 25
involuntary context switches= 728

runsolver used 0 second user time and 0.02 second system time

The end

Launcher Data

Begin job on tipi13 at 2009-05-17 19:17:42
IDJOB=1821934
IDBENCH=71741
IDSOLVER=657
FILE ID=tipi13/1821934-1242580662
PBS_JOBID=
Free space on /tmp= 6599 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE06/simon-s02b-dp11u10.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1821934-1242580662/watcher-1821934-1242580662 -o /tmp/evaluation-result-1821934-1242580662/solver-1821934-1242580662 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821934-1242580662.cnf

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

MD5SUM BENCH= bd35ccd857138682818061a3fbcb7546
RANDOM SEED= 852366323

Linux tipi13 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux

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

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

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:        981172 kB
Buffers:         42216 kB
Cached:         935136 kB
SwapCached:       3428 kB
Active:         365108 kB
Inactive:       621672 kB
HighTotal:     1178688 kB
HighFree:       345692 kB
LowTotal:       895776 kB
LowFree:        635480 kB
SwapTotal:     1959888 kB
SwapFree:      1950884 kB
Dirty:            2140 kB
Writeback:           0 kB
AnonPages:        8628 kB
Mapped:           3044 kB
Slab:            97632 kB
PageTables:        488 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90604 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 6599 MiB
End job on tipi13 at 2009-05-17 19:21:46