Trace number 1837230

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 595.774 596.11

General information on the benchmark

Namegoldb-heqc-alu4mul.cnf
MD5SUM2d68b23bdbf6e7e2868e82c4f24dffc3
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark117.226
Satisfiable
(Un)Satisfiability was proved
Number of variables4736
Number of clauses30465
Sum of the clauses size103040
Maximum clause length16
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 27024
Number of clauses of size 314112
Number of clauses of size 40
Number of clauses of size 59328
Number of clauses of size over 51

Solver Data 

0.00/0.00	c Parsing...
0.00/0.02	c ==============================================================================
0.00/0.02	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.02	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.02	c ==============================================================================
0.00/0.02	c |         0 |   30465   103040 |    9139       0        0     nan |  0.000 % |
0.00/0.08	c |         0 |   30392   102976 |      --       0       --      -- |     --   | -73/-64
0.00/0.08	c ==============================================================================
0.00/0.08	c Result  :   #vars: 4709   #clauses: 30392   #literals: 102976
0.00/0.08	c CPU time:   0.073988 s
0.00/0.08	c ==============================================================================
0.00/0.11	c This is MiniSat 2.0 beta
0.00/0.11	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.11	c ============================[ Problem Statistics ]=============================
0.00/0.11	c |                                                                             |
0.00/0.11	c |  Number of variables:  4709                                                 |
0.00/0.11	c |  Number of clauses:    30392                                                |
0.00/0.13	c |  Parsing time:         0.02         s                                       |
0.00/0.13	c ============================[ Search Statistics ]==============================
0.00/0.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.13	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.13	c ===============================================================================
0.00/0.13	c |         0 |    4709    30392   102976 |    10130        0    nan |  0.000 % |
0.00/0.15	c |       100 |    4708    30392   102976 |    10130       99     23 |  0.021 % |
0.00/0.16	c |       201 |    4708    30392   102976 |    10130      200     24 |  0.021 % |
0.00/0.17	c |       302 |    4708    30392   102976 |    10130      301     27 |  0.021 % |
0.00/0.19	c |       412 |    4708    30384   102952 |    10130      409     30 |  0.022 % |
0.10/0.21	c |       512 |    4708    30384   102952 |    10130      509     28 |  0.023 % |
0.10/0.22	c |       622 |    4708    30384   102952 |    10130      619     26 |  0.023 % |
0.10/0.25	c |       743 |    4708    30384   102952 |    10130      740     30 |  0.021 % |
0.10/0.27	c |       843 |    4708    30384   102952 |    10130      840     30 |  0.022 % |
0.10/0.29	c |       953 |    4708    30384   102952 |    10130      950     31 |  0.021 % |
0.10/0.31	c |      1075 |    4708    30384   102952 |    10130     1072     29 |  0.021 % |
0.10/0.34	c |      1208 |    4707    30361   102878 |    10130     1201     33 |  0.042 % |
0.10/0.36	c |      1308 |    4707    30361   102878 |    10130     1301     33 |  0.042 % |
0.10/0.38	c |      1420 |    4707    30361   102878 |    10130     1413     33 |  0.042 % |
0.10/0.40	c |      1541 |    4706    30334   102780 |    10130     1525     32 |  0.085 % |
0.10/0.43	c |      1674 |    4705    30334   102780 |    10130     1658     32 |  0.085 % |
0.10/0.48	c |      1820 |    4705    30334   102780 |    10130     1804     33 |  0.085 % |
0.10/0.50	c |      1920 |    4705    30307   102682 |    10130     1898     33 |  0.085 % |
0.10/0.52	c |      2030 |    4703    30307   102682 |    10130     2006     32 |  0.150 % |
0.10/0.54	c |      2151 |    4701    30307   102682 |    10130     2125     32 |  0.191 % |
0.10/0.56	c |      2285 |    4701    30307   102682 |    10130     2259     32 |  0.192 % |
0.10/0.59	c |      2431 |    4700    30145   102082 |    10130     2388     32 |  0.191 % |
0.10/0.62	c |      2591 |    4700    30145   102082 |    10130     2548     32 |  0.191 % |
0.10/0.65	c |      2691 |    4697    30100   101923 |    10130     2635     32 |  0.255 % |
0.10/0.67	c |      2801 |    4697    30100   101923 |    10130     2745     33 |  0.255 % |
0.10/0.69	c |      2923 |    4697    30100   101923 |    10130     2867     33 |  0.256 % |
0.10/0.72	c |      3056 |    4697    30100   101923 |    10130     3000     33 |  0.255 % |
0.10/0.75	c |      3203 |    4697    30100   101923 |    10130     3147     34 |  0.255 % |
0.10/0.78	c |      3364 |    4697    30100   101923 |    10130     3308     33 |  0.256 % |
0.10/0.81	c |      3541 |    4697    30100   101923 |    10130     3485     33 |  0.256 % |
0.10/0.83	c |      3641 |    4695    30096   101911 |    10130     3569     34 |  0.298 % |
0.10/0.86	c |      3751 |    4695    30096   101911 |    10130     3679     34 |  0.297 % |
0.10/0.88	c |      3872 |    4695    30096   101911 |    10130     3800     34 |  0.297 % |
0.10/0.92	c |      4005 |    4695    30096   101911 |    10130     3933     33 |  0.298 % |
0.10/0.95	c |      4153 |    4695    30096   101911 |    10130     4081     34 |  0.297 % |
0.10/0.98	c |      4313 |    4695    30096   101911 |    10130     4241     35 |  0.298 % |
0.10/1.03	c |      4489 |    4695    30096   101911 |    10130     4417     35 |  0.299 % |
0.10/1.08	c |      4683 |    4695    30096   101911 |    10130     4611     36 |  0.299 % |
1.07/1.10	c |      4783 |    4695    30096   101911 |    10130     4711     35 |  0.299 % |
1.07/1.13	c |      4893 |    4695    30096   101911 |    10130     4821     35 |  0.297 % |
1.07/1.15	c |      5014 |    4695    30096   101911 |    10130     4942     35 |  0.297 % |
1.07/1.19	c |      5147 |    4695    30096   101911 |    10130     5075     36 |  0.298 % |
1.17/1.22	c |      5293 |    4695    30096   101911 |    10130     5221     36 |  0.297 % |
1.17/1.27	c |      5454 |    4695    30096   101911 |    10130     5382     36 |  0.297 % |
1.27/1.31	c |      5630 |    4695    30096   101911 |    10130     5558     36 |  0.298 % |
1.27/1.35	c |      5823 |    4695    30096   101911 |    10130     5751     36 |  0.298 % |
1.27/1.39	c |      6035 |    4695    30096   101911 |    10130     5963     36 |  0.297 % |
1.37/1.41	c |      6136 |    4695    30096   101911 |    10130     6064     37 |  0.298 % |
1.37/1.44	c |      6246 |    4695    30096   101911 |    10130     6174     37 |  0.299 % |
1.37/1.48	c |      6367 |    4695    30096   101911 |    10130     6295     37 |  0.298 % |
1.47/1.52	c |      6500 |    4695    30096   101911 |    10130     6428     37 |  0.299 % |
1.47/1.56	c |      6646 |    4695    30096   101911 |    10130     6574     38 |  0.297 % |
1.57/1.61	c |      6806 |    4695    30096   101911 |    10130     6734     38 |  0.299 % |
1.57/1.66	c |      6982 |    4695    30096   101911 |    10130     6910     38 |  0.299 % |
1.67/1.71	c |      7175 |    4695    30096   101911 |    10130     7103     38 |  0.299 % |
1.67/1.78	c |      7389 |    4695    30096   101911 |    10130     7317     38 |  0.297 % |
1.77/1.84	c |      7622 |    4695    30096   101911 |    10130     7550     39 |  0.298 % |
1.77/1.87	c |      7723 |    4695    30096   101911 |    10130     7651     39 |  0.297 % |
1.87/1.90	c |      7834 |    4695    30096   101911 |    10130     7762     39 |  0.297 % |
1.87/1.95	c |      7955 |    4695    30096   101911 |    10130     7883     40 |  0.297 % |
1.87/1.98	c |      8089 |    4695    30096   101911 |    10130     8017     40 |  0.299 % |
1.97/2.02	c |      8235 |    4695    30096   101911 |    10130     8163     40 |  0.298 % |
1.97/2.06	c |      8395 |    4695    30096   101911 |    10130     8323     40 |  0.299 % |
2.07/2.10	c |      8571 |    4695    30096   101911 |    10130     8499     40 |  0.298 % |
2.07/2.14	c |      8765 |    4695    30096   101911 |    10130     8693     40 |  0.298 % |
2.17/2.21	c |      8978 |    4695    30096   101911 |    10130     8906     41 |  0.298 % |
2.17/2.28	c |      9211 |    4695    30096   101911 |    10130     9139     42 |  0.298 % |
2.27/2.37	c |      9467 |    4695    30096   101911 |    10130     9395     42 |  0.299 % |
2.36/2.40	c |      9567 |    4695    30096   101911 |    10130     9495     42 |  0.299 % |
2.36/2.43	c |      9677 |    4695    30096   101911 |    10130     9605     42 |  0.299 % |
2.36/2.47	c |      9798 |    4695    30096   101911 |    10130     9726     42 |  0.299 % |
2.46/2.51	c |      9931 |    4695    30096   101911 |    10130     9859     42 |  0.299 % |
2.46/2.56	c |     10078 |    4695    30096   101911 | 2147483647    10006     42 |  0.299 % |
2.56/2.61	c |     10238 |    4695    30096   101911 | 2147483647    10166     42 |  0.299 % |
2.56/2.66	c |     10414 |    4695    30096   101911 | 2147483647    10342     42 |  0.297 % |
2.66/2.71	c |     10608 |    4695    30096   101911 | 2147483647    10536     41 |  0.298 % |
2.66/2.76	c |     10820 |    4695    30096   101911 | 2147483647    10748     41 |  0.297 % |
2.76/2.84	c |     11054 |    4694    30076   101839 | 2147483647    10980     41 |  0.320 % |
2.86/2.93	c |     11310 |    4694    30076   101839 | 2147483647    11236     41 |  0.319 % |
2.96/3.03	c |     11592 |    4694    30076   101839 | 2147483647    11518     41 |  0.319 % |
2.96/3.06	c |     11692 |    4694    30076   101839 | 2147483647    11618     41 |  0.319 % |
3.06/3.10	c |     11803 |    4694    30076   101839 | 2147483647    11729     42 |  0.320 % |
3.06/3.14	c |     11924 |    4694    30076   101839 | 2147483647    11850     42 |  0.320 % |
3.06/3.19	c |     12057 |    4694    30076   101839 | 2147483647    11983     41 |  0.319 % |
3.17/3.24	c |     12204 |    4694    30076   101839 | 2147483647    12130     42 |  0.320 % |
3.17/3.29	c |     12367 |    4694    30076   101839 | 2147483647    12293     42 |  0.320 % |
3.27/3.34	c |     12543 |    4694    30076   101839 | 2147483647    12469     42 |  0.320 % |
3.27/3.40	c |     12737 |    4694    30076   101839 | 2147483647    12663     42 |  0.320 % |
3.37/3.47	c |     12949 |    4694    30076   101839 | 2147483647    12875     42 |  0.319 % |
3.47/3.55	c |     13182 |    4694    30076   101839 | 2147483647    13108     42 |  0.319 % |
3.56/3.64	c |     13439 |    4694    30076   101839 | 2147483647    13365     42 |  0.319 % |
3.66/3.72	c |     13720 |    4694    30076   101839 | 2147483647    13646     42 |  0.320 % |
3.77/3.82	c |     14029 |    4694    30076   101839 | 2147483647    13955     42 |  0.320 % |
3.77/3.85	c |     14130 |    4694    30076   101839 | 2147483647    14056     42 |  0.319 % |
3.77/3.89	c |     14242 |    4694    30076   101839 | 2147483647    14168     42 |  0.319 % |
3.87/3.92	c |     14363 |    4694    30076   101839 | 2147483647    14289     42 |  0.319 % |
3.87/3.96	c |     14497 |    4694    30076   101839 | 2147483647    14423     42 |  0.319 % |
3.87/4.00	c |     14644 |    4694    30076   101839 | 2147483647    14570     42 |  0.319 % |
3.97/4.05	c |     14805 |    4694    30076   101839 | 2147483647    14731     42 |  0.319 % |
4.07/4.11	c |     14983 |    4694    30076   101839 | 2147483647    14909     42 |  0.320 % |
4.07/4.17	c |     15176 |    4694    30076   101839 | 2147483647    15102     42 |  0.320 % |
4.17/4.28	c |     15388 |    4694    30076   101839 | 2147483647    15314     42 |  0.320 % |
4.27/4.37	c |     15621 |    4694    30076   101839 | 2147483647    15547     42 |  0.320 % |
4.38/4.48	c |     15877 |    4694    30076   101839 | 2147483647    15803     43 |  0.319 % |
4.57/4.61	c |     16158 |    4694    30076   101839 | 2147483647    16084     43 |  0.320 % |
4.67/4.73	c |     16468 |    4694    30076   101839 | 2147483647    16394     43 |  0.320 % |
4.87/4.90	c |     16808 |    4694    30076   101839 | 2147483647    16734     43 |  0.319 % |
4.87/4.94	c |     16908 |    4694    30076   101839 | 2147483647    16834     43 |  0.320 % |
4.87/4.98	c |     17020 |    4694    30076   101839 | 2147483647    16946     43 |  0.320 % |
4.97/5.03	c |     17142 |    4694    30076   101839 | 2147483647    17068     43 |  0.320 % |
4.97/5.07	c |     17275 |    4694    30076   101839 | 2147483647    17201     43 |  0.320 % |
5.07/5.14	c |     17421 |    4694    30076   101839 | 2147483647    17347     43 |  0.319 % |
5.17/5.22	c |     17582 |    4694    30076   101839 | 2147483647    17508     43 |  0.320 % |
5.27/5.30	c |     17761 |    4694    30076   101839 | 2147483647    17687     43 |  0.320 % |
5.27/5.39	c |     17954 |    4694    30076   101839 | 2147483647    17880     43 |  0.319 % |
5.37/5.49	c |     18169 |    4694    30076   101839 | 2147483647    18095     43 |  0.319 % |
5.48/5.60	c |     18403 |    4694    30076   101839 | 2147483647    18329     43 |  0.320 % |
5.67/5.72	c |     18661 |    4694    30076   101839 | 2147483647    18587     43 |  0.319 % |
5.77/5.86	c |     18942 |    4694    30076   101839 | 2147483647    18868     43 |  0.320 % |
5.97/6.03	c |     19251 |    4694    30076   101839 | 2147483647    19177     43 |  0.320 % |
6.17/6.21	c |     19592 |    4694    30076   101839 | 2147483647    19518     44 |  0.319 % |
6.37/6.40	c |     19964 |    4694    30076   101839 | 2147483647    19890     43 |  0.320 % |
6.37/6.44	c |     20064 |    4694    30076   101839 | 2147483647    19990     44 |  0.319 % |
6.47/6.52	c |     20174 |    4693    30070   101821 | 2147483647    20099     44 |  0.341 % |
6.47/6.58	c |     20296 |    4693    30070   101821 | 2147483647    20220     44 |  0.361 % |
6.57/6.64	c |     20429 |    4693    30070   101821 | 2147483647    20353     44 |  0.362 % |
6.57/6.70	c |     20575 |    4693    30070   101821 | 2147483647    20499     44 |  0.361 % |
6.67/6.77	c |     20736 |    4693    30070   101821 | 2147483647    20660     44 |  0.362 % |
6.77/6.85	c |     20915 |    4693    30070   101821 | 2147483647    20839     44 |  0.361 % |
6.87/6.92	c |     21108 |    4693    30070   101821 | 2147483647    21032     44 |  0.362 % |
6.97/7.00	c |     21320 |    4693    30070   101821 | 2147483647    21244     43 |  0.362 % |
7.07/7.10	c |     21553 |    4693    30070   101821 | 2147483647    21477     43 |  0.361 % |
7.17/7.22	c |     21809 |    4693    30070   101821 | 2147483647    21733     43 |  0.362 % |
7.27/7.38	c |     22092 |    4693    30070   101821 | 2147483647    22016     43 |  0.361 % |
7.47/7.54	c |     22401 |    4692    30064   101803 | 2147483647    22325     43 |  0.362 % |
7.57/7.68	c |     22745 |    4692    30064   101803 | 2147483647    22669     43 |  0.362 % |
7.87/7.91	c |     23117 |    4692    30064   101803 | 2147483647    23041     43 |  0.362 % |
8.07/8.18	c |     23528 |    4692    30064   101803 | 2147483647    23452     43 |  0.362 % |
8.17/8.23	c |     23629 |    4692    30064   101803 | 2147483647    23553     43 |  0.362 % |
8.17/8.28	c |     23740 |    4692    30064   101803 | 2147483647    23664     43 |  0.362 % |
8.27/8.35	c |     23862 |    4692    30064   101803 | 2147483647    23786     43 |  0.361 % |
8.37/8.41	c |     23995 |    4692    30064   101803 | 2147483647    23919     43 |  0.362 % |
8.37/8.48	c |     24143 |    4692    30064   101803 | 2147483647    24067     43 |  0.361 % |
8.47/8.55	c |     24305 |    4692    30064   101803 | 2147483647    24229     43 |  0.362 % |
8.57/8.65	c |     24482 |    4692    30064   101803 | 2147483647    24406     43 |  0.362 % |
8.67/8.77	c |     24676 |    4692    30064   101803 | 2147483647    24600     43 |  0.362 % |
8.77/8.89	c |     24889 |    4692    30064   101803 | 2147483647    24813     44 |  0.362 % |
8.97/9.01	c |     25123 |    4692    30064   101803 | 2147483647    25047     44 |  0.362 % |
9.07/9.16	c |     25379 |    4692    30064   101803 | 2147483647    25303     44 |  0.361 % |
9.27/9.32	c |     25661 |    4692    30064   101803 | 2147483647    25585     44 |  0.361 % |
9.36/9.48	c |     25970 |    4692    30064   101803 | 2147483647    25894     44 |  0.361 % |
9.56/9.65	c |     26312 |    4692    30064   101803 | 2147483647    26236     44 |  0.362 % |
9.76/9.87	c |     26685 |    4692    30064   101803 | 2147483647    26609     44 |  0.361 % |
9.97/10.07	c |     27094 |    4692    30064   101803 | 2147483647    27018     44 |  0.362 % |
10.26/10.30	c |     27544 |    4692    30064   101803 | 2147483647    27468     45 |  0.362 % |
10.26/10.35	c |     27647 |    4692    30064   101803 | 2147483647    27571     45 |  0.361 % |
10.36/10.41	c |     27757 |    4692    30064   101803 | 2147483647    27681     45 |  0.362 % |
10.36/10.48	c |     27881 |    4692    30064   101803 | 2147483647    27805     45 |  0.362 % |
10.46/10.56	c |     28014 |    4692    30064   101803 | 2147483647    27938     45 |  0.362 % |
10.56/10.64	c |     28160 |    4692    30064   101803 | 2147483647    28084     45 |  0.362 % |
10.66/10.74	c |     28321 |    4692    30064   101803 | 2147483647    28245     44 |  0.362 % |
10.76/10.83	c |     28498 |    4692    30064   101803 | 2147483647    28422     44 |  0.362 % |
10.86/10.94	c |     28691 |    4692    30064   101803 | 2147483647    28615     44 |  0.361 % |
10.97/11.08	c |     28906 |    4692    30064   101803 | 2147483647    28830     44 |  0.361 % |
11.16/11.24	c |     29139 |    4692    30064   101803 | 2147483647    29063     45 |  0.361 % |
11.26/11.36	c |     29396 |    4692    30064   101803 | 2147483647    29320     45 |  0.362 % |
11.46/11.58	c |     29677 |    4692    30064   101803 | 2147483647    29601     45 |  0.361 % |
11.76/11.83	c |     29987 |    4692    30064   101803 | 2147483647    29911     45 |  0.362 % |
11.96/12.06	c |     30327 |    4692    30064   101803 | 2147483647    30251     45 |  0.362 % |
12.27/12.35	c |     30699 |    4692    30064   101803 | 2147483647    30623     45 |  0.362 % |
12.57/12.60	c |     31108 |    4692    30064   101803 | 2147483647    31032     45 |  0.362 % |
12.87/12.94	c |     31557 |    4692    30064   101803 | 2147483647    31481     45 |  0.362 % |
13.17/13.22	c |     32050 |    4692    30064   101803 | 2147483647    31974     45 |  0.362 % |
13.17/13.28	c |     32153 |    4692    30064   101803 | 2147483647    32077     45 |  0.362 % |
13.27/13.34	c |     32265 |    4692    30064   101803 | 2147483647    32189     45 |  0.362 % |
13.37/13.40	c |     32386 |    4692    30064   101803 | 2147483647    32310     45 |  0.362 % |
13.37/13.47	c |     32519 |    4692    30064   101803 | 2147483647    32443     45 |  0.362 % |
13.47/13.54	c |     32665 |    4692    30064   101803 | 2147483647    32589     45 |  0.361 % |
13.57/13.62	c |     32825 |    4692    30064   101803 | 2147483647    32749     45 |  0.361 % |
13.67/13.76	c |     33002 |    4690    30046   101743 | 2147483647    32910     45 |  0.403 % |
13.77/13.87	c |     33196 |    4690    30046   101743 | 2147483647    33104     45 |  0.404 % |
13.87/13.97	c |     33409 |    4690    30046   101743 | 2147483647    33317     45 |  0.403 % |
14.07/14.16	c |     33642 |    4690    30046   101743 | 2147483647    33550     45 |  0.403 % |
14.27/14.34	c |     33899 |    4690    30046   101743 | 2147483647    33807     45 |  0.403 % |
14.46/14.56	c |     34181 |    4690    30046   101743 | 2147483647    34089     45 |  0.403 % |
14.66/14.78	c |     34490 |    4690    30046   101743 | 2147483647    34398     45 |  0.404 % |
14.96/15.00	c |     34829 |    4690    30046   101743 | 2147483647    34737     45 |  0.405 % |
15.26/15.33	c |     35202 |    4690    30046   101743 | 2147483647    35110     45 |  0.403 % |
15.56/15.67	c |     35611 |    4690    30046   101743 | 2147483647    35519     45 |  0.403 % |
15.96/16.02	c |     36060 |    4690    30046   101743 | 2147483647    35968     45 |  0.403 % |
16.26/16.35	c |     36553 |    4690    30046   101743 | 2147483647    36461     46 |  0.405 % |
16.47/16.57	c |     37096 |    4690    30046   101743 | 2147483647    37004     45 |  0.404 % |
16.57/16.62	c |     37197 |    4689    30044   101737 | 2147483647    37047     45 |  0.425 % |
16.57/16.65	c |     37307 |    4689    30044   101737 | 2147483647    37157     45 |  0.427 % |
16.57/16.69	c |     37429 |    4689    30044   101737 | 2147483647    37279     45 |  0.425 % |
16.66/16.74	c |     37563 |    4689    30044   101737 | 2147483647    37413     45 |  0.425 % |
16.76/16.83	c |     37709 |    4689    30044   101737 | 2147483647    37559     45 |  0.426 % |
16.86/16.95	c |     37870 |    4689    30044   101737 | 2147483647    37720     45 |  0.426 % |
17.06/17.11	c |     38047 |    4689    30044   101737 | 2147483647    37897     45 |  0.425 % |
17.16/17.23	c |     38240 |    4689    30044   101737 | 2147483647    38090     45 |  0.426 % |
17.36/17.41	c |     38452 |    4689    30044   101737 | 2147483647    38302     45 |  0.425 % |
17.46/17.58	c |     38686 |    4689    30044   101737 | 2147483647    38536     45 |  0.425 % |
17.76/17.80	c |     38945 |    4689    30044   101737 | 2147483647    38795     45 |  0.426 % |
17.96/18.04	c |     39228 |    4689    30044   101737 | 2147483647    39078     45 |  0.426 % |
18.26/18.30	c |     39538 |    4689    30044   101737 | 2147483647    39388     45 |  0.426 % |
18.46/18.55	c |     39877 |    4689    30044   101737 | 2147483647    39727     45 |  0.426 % |
18.77/18.82	c |     40249 |    4689    30044   101737 | 2147483647    40099     45 |  0.425 % |
19.06/19.17	c |     40658 |    4689    30044   101737 | 2147483647    40508     45 |  0.425 % |
19.36/19.47	c |     41108 |    4689    30044   101737 | 2147483647    40958     45 |  0.426 % |
19.86/19.92	c |     41602 |    4689    30044   101737 | 2147483647    41452     45 |  0.425 % |
20.37/20.40	c |     42145 |    4689    30044   101737 | 2147483647    41995     45 |  0.425 % |
20.87/20.92	c |     42741 |    4689    30044   101737 | 2147483647    42591     45 |  0.426 % |
20.87/21.00	c |     42843 |    4689    30044   101737 | 2147483647    42693     45 |  0.426 % |
21.07/21.12	c |     42954 |    4689    30044   101737 | 2147483647    42804     45 |  0.426 % |
21.17/21.25	c |     43076 |    4689    30044   101737 | 2147483647    42926     45 |  0.426 % |
21.36/21.40	c |     43210 |    4689    30044   101737 | 2147483647    43060     45 |  0.426 % |
21.36/21.50	c |     43356 |    4689    30044   101737 | 2147483647    43206     45 |  0.425 % |
21.56/21.61	c |     43518 |    4689    30044   101737 | 2147483647    43368     45 |  0.425 % |
21.66/21.76	c |     43695 |    4689    30044   101737 | 2147483647    43545     45 |  0.426 % |
21.86/21.91	c |     43888 |    4689    30044   101737 | 2147483647    43738     45 |  0.425 % |
22.07/22.10	c |     44100 |    4689    30044   101737 | 2147483647    43950     45 |  0.426 % |
22.26/22.32	c |     44334 |    4689    30044   101737 | 2147483647    44184     45 |  0.425 % |
22.46/22.58	c |     44590 |    4689    30044   101737 | 2147483647    44440     45 |  0.426 % |
22.76/22.83	c |     44871 |    4689    30044   101737 | 2147483647    44721     45 |  0.426 % |
22.96/23.05	c |     45181 |    4689    30044   101737 | 2147483647    45031     46 |  0.426 % |
23.26/23.35	c |     45520 |    4689    30044   101737 | 2147483647    45370     46 |  0.425 % |
23.56/23.62	c |     45892 |    4689    30044   101737 | 2147483647    45742     46 |  0.426 % |
23.86/23.95	c |     46301 |    4689    30044   101737 | 2147483647    46151     46 |  0.425 % |
24.36/24.41	c |     46751 |    4689    30044   101737 | 2147483647    46601     45 |  0.426 % |
24.76/24.89	c |     47247 |    4689    30044   101737 | 2147483647    47097     45 |  0.426 % |
25.37/25.42	c |     47790 |    4689    30044   101737 | 2147483647    47640     45 |  0.426 % |
25.86/25.97	c |     48390 |    4689    30044   101737 | 2147483647    48240     46 |  0.426 % |
26.56/26.63	c |     49046 |    4689    30044   101737 | 2147483647    48896     46 |  0.426 % |
26.66/26.75	c |     49147 |    4689    30044   101737 | 2147483647    48997     46 |  0.425 % |
26.76/26.84	c |     49258 |    4689    30044   101737 | 2147483647    49108     46 |  0.426 % |
26.86/26.95	c |     49379 |    4689    30044   101737 | 2147483647    49229     46 |  0.425 % |
26.96/27.08	c |     49512 |    4689    30044   101737 | 2147483647    49362     46 |  0.425 % |
27.16/27.22	c |     49659 |    4689    30044   101737 | 2147483647    49509     46 |  0.426 % |
27.26/27.34	c |     49820 |    4689    30044   101737 | 2147483647    49670     46 |  0.425 % |
27.36/27.49	c |     49996 |    4689    30044   101737 | 2147483647    49846     46 |  0.425 % |
27.66/27.71	c |     50190 |    4689    30044   101737 | 2147483647    50040     46 |  0.426 % |
27.96/28.01	c |     50403 |    4689    30044   101737 | 2147483647    50253     46 |  0.426 % |
28.16/28.24	c |     50636 |    4689    30044   101737 | 2147483647    50486     46 |  0.425 % |
28.36/28.43	c |     50893 |    4689    30044   101737 | 2147483647    50743     46 |  0.426 % |
28.56/28.68	c |     51178 |    4689    30044   101737 | 2147483647    51028     46 |  0.426 % |
28.85/28.94	c |     51488 |    4689    30044   101737 | 2147483647    51338     46 |  0.426 % |
29.15/29.26	c |     51827 |    4689    30044   101737 | 2147483647    51677     46 |  0.425 % |
29.55/29.68	c |     52200 |    4689    30044   101737 | 2147483647    52050     46 |  0.426 % |
29.95/30.05	c |     52609 |    4689    30044   101737 | 2147483647    52459     46 |  0.426 % |
30.45/30.51	c |     53058 |    4689    30044   101737 | 2147483647    52908     46 |  0.426 % |
30.95/31.03	c |     53551 |    4689    30044   101737 | 2147483647    53401     46 |  0.426 % |
31.35/31.49	c |     54093 |    4689    30044   101737 | 2147483647    53943     46 |  0.426 % |
31.95/32.03	c |     54689 |    4689    30044   101737 | 2147483647    54539     46 |  0.426 % |
32.65/32.70	c |     55346 |    4689    30044   101737 | 2147483647    55196     46 |  0.425 % |
33.25/33.39	c |     56066 |    4689    30044   101737 | 2147483647    55916     46 |  0.426 % |
33.45/33.50	c |     56168 |    4689    30044   101737 | 2147483647    56018     46 |  0.426 % |
33.55/33.60	c |     56278 |    4689    30044   101737 | 2147483647    56128     46 |  0.425 % |
33.55/33.70	c |     56402 |    4689    30044   101737 | 2147483647    56252     46 |  0.425 % |
33.75/33.81	c |     56535 |    4689    30044   101737 | 2147483647    56385     46 |  0.426 % |
33.85/33.97	c |     56682 |    4689    30044   101737 | 2147483647    56532     46 |  0.426 % |
34.05/34.13	c |     56842 |    4689    30044   101737 | 2147483647    56692     46 |  0.425 % |
34.25/34.31	c |     57019 |    4689    30044   101737 | 2147483647    56869     46 |  0.426 % |
34.45/34.51	c |     57213 |    4689    30044   101737 | 2147483647    57063     46 |  0.425 % |
34.65/34.77	c |     57425 |    4689    30044   101737 | 2147483647    57275     46 |  0.426 % |
34.95/35.03	c |     57658 |    4689    30044   101737 | 2147483647    57508     46 |  0.426 % |
35.15/35.29	c |     57915 |    4689    30044   101737 | 2147483647    57765     46 |  0.426 % |
35.45/35.57	c |     58196 |    4688    30024   101668 | 2147483647    58042     46 |  0.447 % |
35.75/35.86	c |     58505 |    4688    30024   101668 | 2147483647    58351     46 |  0.447 % |
36.15/36.21	c |     58846 |    4688    30024   101668 | 2147483647    58692     46 |  0.447 % |
36.45/36.55	c |     59218 |    4688    30024   101668 | 2147483647    59064     46 |  0.447 % |
36.85/36.93	c |     59627 |    4688    30024   101668 | 2147483647    59473     46 |  0.447 % |
37.35/37.42	c |     60077 |    4688    30024   101668 | 2147483647    59923     46 |  0.447 % |
37.75/37.89	c |     60572 |    4688    30024   101668 | 2147483647    60418     46 |  0.446 % |
38.25/38.39	c |     61115 |    4688    30024   101668 | 2147483647    60961     46 |  0.447 % |
38.85/38.90	c |     61712 |    4688    30024   101668 | 2147483647    61558     46 |  0.447 % |
39.45/39.58	c |     62370 |    4688    30024   101668 | 2147483647    62216     46 |  0.446 % |
40.15/40.27	c |     63091 |    4688    30024   101668 | 2147483647    62937     46 |  0.446 % |
40.95/41.01	c |     63883 |    4688    30024   101668 | 2147483647    63729     46 |  0.447 % |
41.05/41.10	c |     63984 |    4688    30024   101668 | 2147483647    63830     46 |  0.447 % |
41.15/41.21	c |     64094 |    4688    30024   101668 | 2147483647    63940     46 |  0.446 % |
41.25/41.34	c |     64215 |    4688    30024   101668 | 2147483647    64061     46 |  0.447 % |
41.45/41.52	c |     64348 |    4688    30024   101668 | 2147483647    64194     46 |  0.446 % |
41.65/41.70	c |     64494 |    4688    30024   101668 | 2147483647    64340     46 |  0.447 % |
41.85/41.90	c |     64654 |    4688    30024   101668 | 2147483647    64500     46 |  0.446 % |
42.05/42.11	c |     64831 |    4688    30024   101668 | 2147483647    64677     46 |  0.447 % |
42.25/42.32	c |     65025 |    4688    30024   101668 | 2147483647    64871     46 |  0.447 % |
42.55/42.61	c |     65237 |    4688    30024   101668 | 2147483647    65083     46 |  0.448 % |
42.75/42.83	c |     65470 |    4688    30024   101668 | 2147483647    65316     46 |  0.447 % |
42.95/43.09	c |     65727 |    4688    30024   101668 | 2147483647    65573     46 |  0.446 % |
43.15/43.28	c |     66008 |    4688    30024   101668 | 2147483647    65854     46 |  0.447 % |
43.55/43.64	c |     66321 |    4688    30024   101668 | 2147483647    66167     46 |  0.446 % |
43.95/44.02	c |     66662 |    4688    30024   101668 | 2147483647    66508     46 |  0.447 % |
44.35/44.46	c |     67034 |    4688    30024   101668 | 2147483647    66880     46 |  0.446 % |
44.85/44.98	c |     67443 |    4688    30024   101668 | 2147483647    67289     46 |  0.447 % |
45.25/45.36	c |     67892 |    4688    30024   101668 | 2147483647    67738     46 |  0.447 % |
45.85/45.95	c |     68385 |    4688    30024   101668 | 2147483647    68231     46 |  0.446 % |
46.44/46.54	c |     68928 |    4688    30024   101668 | 2147483647    68774     46 |  0.447 % |
47.14/47.23	c |     69524 |    4688    30024   101668 | 2147483647    69370     46 |  0.447 % |
47.84/47.94	c |     70180 |    4688    30024   101668 | 2147483647    70026     46 |  0.447 % |
48.45/48.59	c |     70901 |    4688    30024   101668 | 2147483647    70747     46 |  0.447 % |
49.45/49.59	c |     71694 |    4688    30024   101668 | 2147483647    71540     46 |  0.446 % |
50.65/50.71	c |     72565 |    4688    30024   101668 | 2147483647    72411     46 |  0.447 % |
50.74/50.85	c |     72665 |    4688    30024   101668 | 2147483647    72511     46 |  0.447 % |
50.84/50.99	c |     72775 |    4688    30024   101668 | 2147483647    72621     46 |  0.446 % |
51.04/51.10	c |     72897 |    4688    30024   101668 | 2147483647    72743     46 |  0.446 % |
51.14/51.21	c |     73031 |    4688    30024   101668 | 2147483647    72877     46 |  0.447 % |
51.34/51.40	c |     73177 |    4688    30024   101668 | 2147483647    73023     46 |  0.447 % |
51.44/51.57	c |     73338 |    4688    30024   101668 | 2147483647    73184     46 |  0.447 % |
51.75/51.80	c |     73515 |    4688    30024   101668 | 2147483647    73361     46 |  0.447 % |
51.94/52.06	c |     73709 |    4688    30024   101668 | 2147483647    73555     46 |  0.447 % |
52.24/52.31	c |     73921 |    4688    30024   101668 | 2147483647    73767     46 |  0.446 % |
52.54/52.62	c |     74154 |    4688    30024   101668 | 2147483647    74000     46 |  0.447 % |
52.84/52.94	c |     74410 |    4688    30024   101668 | 2147483647    74256     46 |  0.447 % |
53.24/53.31	c |     74693 |    4688    30024   101668 | 2147483647    74539     46 |  0.447 % |
53.54/53.68	c |     75002 |    4688    30024   101668 | 2147483647    74848     46 |  0.447 % |
53.94/54.09	c |     75342 |    4688    30024   101668 | 2147483647    75188     46 |  0.447 % |
54.34/54.49	c |     75717 |    4688    30024   101668 | 2147483647    75563     46 |  0.447 % |
54.85/54.97	c |     76126 |    4688    30024   101668 | 2147483647    75972     46 |  0.447 % |
55.25/55.35	c |     76576 |    4688    30024   101668 | 2147483647    76422     46 |  0.447 % |
55.95/56.01	c |     77069 |    4688    30024   101668 | 2147483647    76915     46 |  0.447 % |
56.55/56.66	c |     77613 |    4688    30024   101668 | 2147483647    77459     46 |  0.447 % |
57.15/57.23	c |     78209 |    4688    30024   101668 | 2147483647    78055     46 |  0.447 % |
57.95/58.02	c |     78865 |    4688    30024   101668 | 2147483647    78711     46 |  0.447 % |
58.74/58.89	c |     79585 |    4688    30024   101668 | 2147483647    79431     46 |  0.447 % |
59.74/59.87	c |     80377 |    4688    30024   101668 | 2147483647    80223     46 |  0.447 % |
60.74/60.89	c |     81248 |    4688    30024   101668 | 2147483647    81094     46 |  0.446 % |
62.24/62.32	c |     82207 |    4688    30024   101668 | 2147483647    82053     46 |  0.447 % |
62.34/62.49	c |     82307 |    4688    30024   101668 | 2147483647    82153     46 |  0.447 % |
62.54/62.62	c |     82417 |    4688    30024   101668 | 2147483647    82263     46 |  0.446 % |
62.64/62.78	c |     82538 |    4688    30024   101668 | 2147483647    82384     46 |  0.447 % |
62.84/62.97	c |     82671 |    4688    30024   101668 | 2147483647    82517     46 |  0.447 % |
63.04/63.19	c |     82817 |    4688    30024   101668 | 2147483647    82663     46 |  0.446 % |
63.34/63.41	c |     82977 |    4688    30024   101668 | 2147483647    82823     46 |  0.446 % |
63.54/63.65	c |     83154 |    4688    30024   101668 | 2147483647    83000     46 |  0.446 % |
63.74/63.90	c |     83347 |    4688    30024   101668 | 2147483647    83193     46 |  0.447 % |
64.14/64.22	c |     83560 |    4688    30024   101668 | 2147483647    83406     46 |  0.447 % |
64.44/64.54	c |     83793 |    4688    30024   101668 | 2147483647    83639     46 |  0.447 % |
64.74/64.85	c |     84049 |    4688    30024   101668 | 2147483647    83895     46 |  0.446 % |
65.14/65.27	c |     84330 |    4688    30024   101668 | 2147483647    84176     46 |  0.446 % |
65.54/65.60	c |     84639 |    4688    30024   101668 | 2147483647    84485     46 |  0.447 % |
65.84/65.99	c |     84979 |    4688    30024   101668 | 2147483647    84825     46 |  0.447 % |
66.23/66.35	c |     85351 |    4688    30024   101668 | 2147483647    85197     46 |  0.446 % |
66.83/66.95	c |     85760 |    4688    30024   101668 | 2147483647    85606     46 |  0.446 % |
67.43/67.58	c |     86210 |    4688    30024   101668 | 2147483647    86056     46 |  0.446 % |
68.14/68.23	c |     86705 |    4688    30024   101668 | 2147483647    86551     46 |  0.446 % |
68.83/68.92	c |     87247 |    4688    30024   101668 | 2147483647    87093     46 |  0.447 % |
69.53/69.68	c |     87843 |    4688    30024   101668 | 2147483647    87689     46 |  0.447 % |
70.34/70.48	c |     88498 |    4688    30024   101668 | 2147483647    88344     46 |  0.447 % |
71.33/71.45	c |     89218 |    4688    30024   101668 | 2147483647    89064     46 |  0.446 % |
72.33/72.44	c |     90010 |    4688    30024   101668 | 2147483647    89856     46 |  0.446 % |
73.43/73.57	c |     90881 |    4688    30024   101668 | 2147483647    90727     46 |  0.447 % |
74.92/75.09	c |     91840 |    4688    30024   101668 | 2147483647    91686     46 |  0.447 % |
76.62/76.73	c |     92893 |    4688    30024   101668 | 2147483647    92739     46 |  0.447 % |
76.72/76.88	c |     92997 |    4688    30024   101668 | 2147483647    92843     46 |  0.447 % |
76.92/77.06	c |     93107 |    4688    30024   101668 | 2147483647    92953     46 |  0.447 % |
77.12/77.24	c |     93229 |    4688    30024   101668 | 2147483647    93075     46 |  0.447 % |
77.32/77.43	c |     93364 |    4688    30024   101668 | 2147483647    93210     46 |  0.447 % |
77.42/77.60	c |     93511 |    4688    30024   101668 | 2147483647    93357     46 |  0.447 % |
77.72/77.85	c |     93672 |    4688    30024   101668 | 2147483647    93518     46 |  0.446 % |
78.02/78.19	c |     93849 |    4688    30024   101668 | 2147483647    93695     46 |  0.446 % |
78.32/78.48	c |     94042 |    4688    30024   101668 | 2147483647    93888     46 |  0.447 % |
78.72/78.90	c |     94255 |    4688    30024   101668 | 2147483647    94101     46 |  0.446 % |
79.12/79.26	c |     94488 |    4688    30024   101668 | 2147483647    94334     46 |  0.447 % |
79.52/79.69	c |     94744 |    4688    30024   101668 | 2147483647    94590     46 |  0.447 % |
79.92/80.09	c |     95026 |    4688    30024   101668 | 2147483647    94872     46 |  0.447 % |
80.42/80.55	c |     95336 |    4688    30024   101668 | 2147483647    95182     46 |  0.447 % |
80.92/81.05	c |     95676 |    4688    30024   101668 | 2147483647    95522     46 |  0.447 % |
81.42/81.56	c |     96048 |    4688    30024   101668 | 2147483647    95894     46 |  0.447 % |
82.22/82.32	c |     96457 |    4688    30024   101668 | 2147483647    96303     46 |  0.447 % |
82.82/82.94	c |     96911 |    4688    30024   101668 | 2147483647    96757     46 |  0.447 % |
83.62/83.77	c |     97404 |    4688    30024   101668 | 2147483647    97250     46 |  0.446 % |
84.41/84.58	c |     97946 |    4688    30024   101668 | 2147483647    97792     46 |  0.447 % |
85.32/85.44	c |     98542 |    4688    30024   101668 | 2147483647    98388     46 |  0.447 % |
86.21/86.36	c |     99197 |    4688    30024   101668 | 2147483647    99043     46 |  0.447 % |
87.22/87.31	c |     99918 |    4688    30024   101668 | 2147483647    99764     46 |  0.446 % |
88.12/88.25	c |    100710 |    4688    30024   101668 |    99846   100556     46 |  0.447 % |
89.82/89.91	c |    101583 |    4688    30024   101668 |    99846    88944     44 |  0.446 % |
90.82/90.97	c |    102541 |    4688    30024   101668 |    99846    89902     44 |  0.447 % |
92.02/92.13	c |    103596 |    4688    30024   101668 |    99846    90957     44 |  0.446 % |
93.62/93.71	c |    104755 |    4688    30024   101668 |    99846    92116     44 |  0.446 % |
93.82/93.91	c |    104855 |    4688    30024   101668 |    99846    92216     44 |  0.446 % |
94.02/94.12	c |    104967 |    4688    30024   101668 |    99846    92328     44 |  0.447 % |
94.22/94.31	c |    105088 |    4688    30024   101668 |    99846    92449     44 |  0.447 % |
94.32/94.47	c |    105221 |    4688    30024   101668 |    99846    92582     44 |  0.446 % |
94.52/94.67	c |    105368 |    4688    30024   101668 |    99846    92729     44 |  0.446 % |
94.72/94.89	c |    105531 |    4688    30024   101668 |    99846    92892     44 |  0.446 % |
95.02/95.10	c |    105707 |    4688    30024   101668 |    99846    93068     44 |  0.446 % |
95.22/95.36	c |    105901 |    4688    30024   101668 |    99846    93262     44 |  0.446 % |
95.42/95.56	c |    106114 |    4688    30024   101668 |    99846    93475     44 |  0.446 % |
95.72/95.87	c |    106347 |    4688    30024   101668 |    99846    93708     44 |  0.446 % |
96.12/96.24	c |    106607 |    4688    30024   101668 |    99846    93968     44 |  0.446 % |
96.62/96.70	c |    106889 |    4688    30024   101668 |    99846    94250     44 |  0.446 % |
97.02/97.20	c |    107201 |    4688    30024   101668 |    99846    94562     44 |  0.447 % |
97.62/97.71	c |    107541 |    4688    30024   101668 |    99846    94902     44 |  0.447 % |
98.22/98.32	c |    107913 |    4688    30024   101668 |    99846    95274     44 |  0.447 % |
98.72/98.81	c |    108323 |    4688    30024   101668 |    99846    95684     44 |  0.447 % |
99.22/99.38	c |    108772 |    4688    30024   101668 |    99846    96133     45 |  0.447 % |
100.02/100.18	c |    109266 |    4688    30024   101668 |    99846    96627     45 |  0.446 % |
100.81/100.91	c |    109808 |    4688    30024   101668 |    99846    97169     44 |  0.446 % |
101.61/101.76	c |    110404 |    4688    30024   101668 |    97361    97765     45 |  0.447 % |
102.91/103.03	c |    111060 |    4688    30024   101668 |    97361    87062     43 |  0.447 % |
103.81/103.99	c |    111780 |    4688    30024   101668 |    97361    87782     43 |  0.447 % |
104.81/104.97	c |    112574 |    4688    30024   101668 |    97361    88576     43 |  0.447 % |
105.71/105.87	c |    113446 |    4688    30024   101668 |    97361    89448     43 |  0.446 % |
106.81/106.96	c |    114405 |    4688    30024   101668 |    97361    90407     43 |  0.446 % |
108.21/108.31	c |    115458 |    4688    30024   101668 |    97361    91460     44 |  0.447 % |
109.81/109.95	c |    116616 |    4688    30024   101668 |    97361    92618     44 |  0.447 % |
111.71/111.81	c |    117890 |    4688    30024   101668 |    97361    93892     44 |  0.447 % |
111.81/111.95	c |    117992 |    4688    30024   101668 |    97361    93994     44 |  0.447 % |
112.01/112.11	c |    118103 |    4688    30024   101668 |    97361    94105     44 |  0.447 % |
112.11/112.29	c |    118227 |    4688    30024   101668 |    97361    94229     44 |  0.446 % |
112.31/112.49	c |    118360 |    4688    30024   101668 |    97361    94362     44 |  0.447 % |
112.61/112.71	c |    118506 |    4688    30024   101668 |    97361    94508     44 |  0.447 % |
112.81/112.93	c |    118667 |    4688    30024   101668 |    97361    94669     44 |  0.447 % |
113.01/113.18	c |    118846 |    4688    30024   101668 |    97361    94848     44 |  0.446 % |
113.21/113.38	c |    119040 |    4688    30024   101668 |    97361    95042     44 |  0.446 % |
113.51/113.69	c |    119252 |    4688    30024   101668 |    97361    95254     44 |  0.446 % |
113.81/113.97	c |    119485 |    4688    30024   101668 |    97361    95487     44 |  0.447 % |
114.21/114.33	c |    119742 |    4688    30024   101668 |    97361    95744     44 |  0.447 % |
114.61/114.70	c |    120023 |    4688    30024   101668 |    96002    96025     44 |  0.447 % |
115.21/115.33	c |    120332 |    4688    30024   101668 |    96002    86387     43 |  0.447 % |
115.61/115.70	c |    120671 |    4688    30024   101668 |    96002    86726     43 |  0.447 % |
116.01/116.16	c |    121044 |    4688    30024   101668 |    96002    87099     43 |  0.447 % |
116.61/116.79	c |    121455 |    4688    30024   101668 |    96002    87510     43 |  0.447 % |
117.21/117.38	c |    121904 |    4688    30024   101668 |    96002    87959     43 |  0.447 % |
117.91/118.02	c |    122399 |    4688    30024   101668 |    96002    88454     43 |  0.447 % |
118.70/118.84	c |    122941 |    4688    30024   101668 |    96002    88996     43 |  0.446 % |
119.60/119.75	c |    123537 |    4688    30024   101668 |    96002    89592     43 |  0.446 % |
120.40/120.58	c |    124192 |    4688    30024   101668 |    96002    90247     43 |  0.447 % |
121.40/121.58	c |    124913 |    4688    30024   101668 |    96002    90968     43 |  0.447 % |
122.50/122.69	c |    125705 |    4688    30024   101668 |    96002    91760     43 |  0.446 % |
123.80/123.94	c |    126576 |    4688    30024   101668 |    96002    92631     44 |  0.446 % |
125.10/125.25	c |    127535 |    4688    30024   101668 |    96002    93590     44 |  0.446 % |
126.50/126.63	c |    128588 |    4688    30024   101668 |    96002    94643     44 |  0.447 % |
128.00/128.16	c |    129747 |    4688    30024   101668 |    96002    95802     44 |  0.447 % |
129.50/129.70	c |    131021 |    4688    30024   101668 |    96056    97076     44 |  0.446 % |
131.80/131.92	c |    132422 |    4688    30024   101668 |    96056    86672     43 |  0.447 % |
131.90/132.06	c |    132523 |    4688    30024   101668 |    96056    86773     43 |  0.447 % |
132.10/132.26	c |    132633 |    4688    30024   101668 |    96056    86883     43 |  0.446 % |
132.30/132.43	c |    132754 |    4688    30024   101668 |    96056    87004     43 |  0.447 % |
132.50/132.63	c |    132890 |    4688    30024   101668 |    96056    87140     43 |  0.447 % |
132.70/132.85	c |    133037 |    4688    30024   101668 |    96056    87287     43 |  0.446 % |
133.00/133.12	c |    133198 |    4688    30024   101668 |    96056    87448     43 |  0.447 % |
133.19/133.32	c |    133374 |    4688    30024   101668 |    96056    87624     43 |  0.447 % |
133.49/133.64	c |    133567 |    4688    30024   101668 |    96056    87817     43 |  0.446 % |
133.79/133.98	c |    133779 |    4688    30024   101668 |    96056    88029     43 |  0.447 % |
134.10/134.27	c |    134012 |    4688    30024   101668 |    96056    88262     43 |  0.446 % |
134.49/134.61	c |    134270 |    4688    30024   101668 |    96056    88520     43 |  0.447 % |
134.79/134.95	c |    134551 |    4688    30024   101668 |    96056    88801     43 |  0.447 % |
135.20/135.34	c |    134861 |    4688    30024   101668 |    96056    89111     43 |  0.447 % |
135.59/135.73	c |    135200 |    4688    30024   101668 |    96056    89450     43 |  0.447 % |
135.99/136.15	c |    135573 |    4688    30024   101668 |    96056    89823     43 |  0.447 % |
136.69/136.84	c |    135982 |    4688    30024   101668 |    96056    90232     43 |  0.447 % |
137.29/137.49	c |    136431 |    4688    30024   101668 |    96056    90681     43 |  0.447 % |
138.29/138.41	c |    136927 |    4688    30024   101668 |    96056    91177     43 |  0.447 % |
139.09/139.26	c |    137469 |    4688    30024   101668 |    96056    91719     43 |  0.447 % |
140.09/140.20	c |    138065 |    4688    30024   101668 |    96056    92315     43 |  0.446 % |
141.09/141.20	c |    138722 |    4688    30024   101668 |    96056    92972     43 |  0.448 % |
141.89/142.09	c |    139442 |    4688    30024   101668 |    96056    93692     43 |  0.447 % |
142.89/143.07	c |    140234 |    4688    30024   101668 |    94250    94484     43 |  0.447 % |
144.59/144.72	c |    141105 |    4688    30024   101668 |    94250    82687     43 |  0.447 % |
145.89/146.02	c |    142064 |    4688    30024   101668 |    94250    83646     43 |  0.447 % |
147.19/147.36	c |    143118 |    4688    30024   101668 |    94250    84700     43 |  0.447 % |
148.59/148.72	c |    144276 |    4688    30024   101668 |    94250    85858     43 |  0.447 % |
150.09/150.21	c |    145549 |    4688    30024   101668 |    94250    87131     43 |  0.447 % |
151.99/152.15	c |    146950 |    4688    30024   101668 |    94250    88532     43 |  0.447 % |
154.09/154.23	c |    148491 |    4688    30024   101668 |    94250    90073     43 |  0.447 % |
154.18/154.36	c |    148592 |    4688    30024   101668 |    94250    90174     43 |  0.447 % |
154.38/154.55	c |    148702 |    4688    30024   101668 |    94250    90284     43 |  0.446 % |
154.58/154.73	c |    148824 |    4688    30024   101668 |    94250    90406     43 |  0.446 % |
154.78/154.91	c |    148957 |    4688    30024   101668 |    94250    90539     43 |  0.447 % |
155.09/155.21	c |    149105 |    4688    30024   101668 |    94250    90687     43 |  0.447 % |
155.28/155.42	c |    149265 |    4688    30024   101668 |    94250    90847     43 |  0.447 % |
155.58/155.70	c |    149444 |    4688    30024   101668 |    94250    91026     43 |  0.446 % |
155.78/155.98	c |    149638 |    4688    30024   101668 |    94250    91220     43 |  0.447 % |
156.09/156.30	c |    149850 |    4688    30024   101668 |    94250    91432     43 |  0.447 % |
156.48/156.62	c |    150083 |    4688    30024   101668 |    91582    91665     43 |  0.447 % |
157.19/157.33	c |    150340 |    4688    30024   101668 |    91582    81722     42 |  0.447 % |
157.58/157.71	c |    150623 |    4688    30024   101668 |    91582    82005     42 |  0.446 % |
157.88/158.09	c |    150933 |    4688    30024   101668 |    91582    82315     42 |  0.447 % |
158.39/158.59	c |    151272 |    4688    30024   101668 |    91582    82654     42 |  0.446 % |
158.98/159.10	c |    151645 |    4688    30024   101668 |    91582    83027     42 |  0.447 % |
159.49/159.63	c |    152054 |    4688    30024   101668 |    91582    83436     42 |  0.447 % |
160.08/160.26	c |    152503 |    4688    30024   101668 |    91582    83885     42 |  0.447 % |
160.78/160.96	c |    152997 |    4688    30024   101668 |    91582    84379     42 |  0.447 % |
161.28/161.50	c |    153541 |    4688    30024   101668 |    91582    84923     42 |  0.446 % |
162.08/162.25	c |    154137 |    4688    30024   101668 |    91582    85519     42 |  0.447 % |
162.79/162.95	c |    154793 |    4688    30024   101668 |    91582    86175     42 |  0.446 % |
163.68/163.81	c |    155514 |    4688    30024   101668 |    91582    86896     42 |  0.446 % |
164.67/164.89	c |    156306 |    4688    30024   101668 |    91582    87688     42 |  0.446 % |
165.98/166.11	c |    157179 |    4688    30024   101668 |    91582    88561     43 |  0.447 % |
167.37/167.56	c |    158138 |    4688    30024   101668 |    91582    89520     43 |  0.447 % |
168.87/169.01	c |    159193 |    4688    30024   101668 |    91582    90575     43 |  0.447 % |
170.57/170.75	c |    160352 |    4688    30024   101668 | 2147483647    91734     42 |  0.447 % |
172.67/172.85	c |    161626 |    4688    30024   101668 | 2147483647    93008     42 |  0.447 % |
175.17/175.31	c |    163026 |    4688    30024   101668 | 2147483647    94408     42 |  0.447 % |
177.27/177.41	c |    164568 |    4688    30024   101668 | 2147483647    95950     42 |  0.447 % |
180.07/180.27	c |    166263 |    4688    30024   101668 | 2147483647    97645     43 |  0.447 % |
180.27/180.43	c |    166363 |    4688    30024   101668 | 2147483647    97745     43 |  0.446 % |
180.47/180.66	c |    166475 |    4688    30024   101668 | 2147483647    97857     42 |  0.447 % |
180.67/180.83	c |    166597 |    4688    30024   101668 | 2147483647    97979     43 |  0.447 % |
180.87/181.05	c |    166734 |    4688    30024   101668 | 2147483647    98116     43 |  0.447 % |
181.07/181.27	c |    166880 |    4688    30024   101668 | 2147483647    98262     43 |  0.446 % |
181.27/181.49	c |    167041 |    4688    30024   101668 | 2147483647    98423     42 |  0.446 % |
181.57/181.77	c |    167218 |    4688    30024   101668 | 2147483647    98600     42 |  0.447 % |
181.87/182.06	c |    167411 |    4688    30024   101668 | 2147483647    98793     43 |  0.446 % |
182.17/182.35	c |    167624 |    4688    30024   101668 | 2147483647    99006     43 |  0.446 % |
182.47/182.66	c |    167857 |    4688    30024   101668 | 2147483647    99239     43 |  0.446 % |
182.87/183.04	c |    168113 |    4688    30024   101668 | 2147483647    99495     43 |  0.446 % |
183.37/183.50	c |    168395 |    4688    30024   101668 | 2147483647    99777     43 |  0.447 % |
183.77/183.94	c |    168707 |    4688    30024   101668 | 2147483647   100089     43 |  0.447 % |
184.27/184.42	c |    169046 |    4688    30024   101668 | 2147483647   100428     43 |  0.447 % |
184.77/184.97	c |    169418 |    4688    30024   101668 | 2147483647   100800     43 |  0.447 % |
185.36/185.52	c |    169828 |    4688    30024   101668 | 2147483647   101210     43 |  0.446 % |
185.96/186.18	c |    170277 |    4688    30024   101668 |   101382   101659     43 |  0.447 % |
187.16/187.35	c |    170770 |    4688    30024   101668 |   101382    89777     42 |  0.446 % |
187.97/188.13	c |    171312 |    4688    30024   101668 |   101382    90319     42 |  0.446 % |
188.86/189.07	c |    171909 |    4688    30024   101668 |   101382    90916     42 |  0.447 % |
189.86/190.01	c |    172568 |    4688    30024   101668 |   101382    91575     42 |  0.447 % |
190.96/191.10	c |    173288 |    4688    30024   101668 |   101382    92295     42 |  0.446 % |
192.06/192.24	c |    174081 |    4688    30024   101668 |   101382    93088     42 |  0.447 % |
193.47/193.65	c |    174953 |    4688    30024   101668 |   101382    93960     42 |  0.447 % |
194.76/194.95	c |    175912 |    4688    30024   101668 |   101382    94919     42 |  0.447 % |
196.36/196.55	c |    176965 |    4688    30024   101668 |   101382    95972     42 |  0.446 % |
198.16/198.37	c |    178125 |    4688    30024   101668 |   101382    97132     42 |  0.447 % |
200.36/200.57	c |    179400 |    4688    30024   101668 |   101382    98407     42 |  0.447 % |
202.66/202.85	c |    180800 |    4688    30024   101668 |    99008    99807     42 |  0.447 % |
205.16/205.33	c |    182342 |    4688    30024   101668 |    99008    87541     41 |  0.447 % |
207.46/207.68	c |    184036 |    4688    30024   101668 |    99008    89235     41 |  0.447 % |
210.45/210.62	c |    185899 |    4688    30024   101668 |    99008    91098     41 |  0.446 % |
210.65/210.81	c |    186001 |    4688    30024   101668 |    99008    91200     41 |  0.446 % |
210.75/210.99	c |    186112 |    4688    30024   101668 |    99008    91311     41 |  0.447 % |
210.95/211.15	c |    186233 |    4688    30024   101668 |    99008    91432     41 |  0.446 % |
211.16/211.34	c |    186366 |    4688    30024   101668 |    99008    91565     41 |  0.447 % |
211.45/211.63	c |    186513 |    4688    30024   101668 |    99008    91712     41 |  0.446 % |
211.75/211.90	c |    186674 |    4688    30024   101668 |    99008    91873     41 |  0.446 % |
211.95/212.15	c |    186850 |    4688    30024   101668 |    99008    92049     41 |  0.447 % |
212.16/212.40	c |    187043 |    4688    30024   101668 |    99008    92242     41 |  0.447 % |
212.55/212.73	c |    187256 |    4688    30024   101668 |    99008    92455     41 |  0.447 % |
212.85/213.04	c |    187489 |    4688    30024   101668 |    99008    92688     41 |  0.447 % |
213.25/213.44	c |    187745 |    4688    30024   101668 |    99008    92944     41 |  0.446 % |
213.75/213.91	c |    188026 |    4688    30024   101668 |    99008    93225     41 |  0.447 % |
214.15/214.31	c |    188336 |    4688    30024   101668 |    99008    93535     41 |  0.447 % |
214.55/214.78	c |    188675 |    4688    30024   101668 |    99008    93874     41 |  0.446 % |
215.05/215.26	c |    189047 |    4688    30024   101668 |    99008    94246     41 |  0.446 % |
215.75/215.90	c |    189457 |    4688    30024   101668 |    99008    94656     41 |  0.446 % |
216.35/216.53	c |    189908 |    4688    30024   101668 |    99008    95107     42 |  0.446 % |
217.05/217.25	c |    190404 |    4688    30024   101668 |    95201    95603     42 |  0.447 % |
217.95/218.19	c |    190946 |    4688    30024   101668 |    95201    83140     40 |  0.447 % |
218.85/219.06	c |    191542 |    4688    30024   101668 |    95201    83736     40 |  0.447 % |
219.75/219.94	c |    192200 |    4688    30024   101668 |    95201    84394     40 |  0.446 % |
220.65/220.88	c |    192920 |    4688    30024   101668 |    95201    85114     41 |  0.447 % |
221.65/221.85	c |    193713 |    4688    30024   101668 |    95201    85907     41 |  0.447 % |
222.46/222.68	c |    194584 |    4688    30024   101668 |    95201    86778     41 |  0.446 % |
223.85/224.05	c |    195543 |    4688    30024   101668 |    95201    87737     41 |  0.447 % |
225.15/225.39	c |    196596 |    4688    30024   101668 |    95201    88790     41 |  0.447 % |
226.65/226.89	c |    197755 |    4688    30024   101668 |    95201    89949     41 |  0.447 % |
228.55/228.74	c |    199030 |    4688    30024   101668 |    95201    91224     41 |  0.447 % |
230.55/230.72	c |    200430 |    4688    30024   101668 |    92196    92624     41 |  0.447 % |
232.95/233.15	c |    201970 |    4688    30024   101668 |    92196    83610     40 |  0.446 % |
235.15/235.35	c |    203664 |    4688    30024   101668 |    92196    85304     40 |  0.446 % |
236.95/237.18	c |    205527 |    4688    30024   101668 |    92196    87167     41 |  0.446 % |
238.95/239.10	c |    207577 |    4688    30024   101668 |    92196    89217     41 |  0.447 % |
239.05/239.23	c |    207677 |    4688    30024   101668 |    92196    89317     41 |  0.447 % |
239.15/239.36	c |    207787 |    4688    30024   101668 |    92196    89427     41 |  0.446 % |
239.35/239.54	c |    207909 |    4688    30024   101668 |    92196    89549     41 |  0.446 % |
239.55/239.79	c |    208042 |    4688    30024   101668 |    92196    89682     41 |  0.446 % |
239.75/239.98	c |    208188 |    4688    30024   101668 |    92196    89828     41 |  0.447 % |
239.95/240.18	c |    208349 |    4688    30024   101668 |    92196    89989     41 |  0.446 % |
240.15/240.37	c |    208525 |    4688    30024   101668 |    92196    90165     41 |  0.446 % |
240.35/240.58	c |    208718 |    4688    30024   101668 |    92196    90358     41 |  0.446 % |
240.65/240.80	c |    208930 |    4688    30024   101668 |    92196    90570     41 |  0.446 % |
240.95/241.14	c |    209163 |    4688    30024   101668 |    92196    90803     41 |  0.446 % |
241.35/241.55	c |    209419 |    4688    30024   101668 |    92196    91059     41 |  0.446 % |
241.75/241.98	c |    209702 |    4688    30024   101668 |    92196    91342     41 |  0.446 % |
242.25/242.47	c |    210011 |    4688    30024   101668 | 2147483647    91651     41 |  0.447 % |
242.75/242.96	c |    210351 |    4688    30024   101668 | 2147483647    91991     41 |  0.447 % |
243.35/243.53	c |    210723 |    4688    30024   101668 | 2147483647    92363     41 |  0.447 % |
243.85/244.07	c |    211132 |    4688    30024   101668 | 2147483647    92772     41 |  0.446 % |
244.55/244.73	c |    211581 |    4688    30024   101668 | 2147483647    93221     41 |  0.446 % |
245.35/245.52	c |    212074 |    4688    30024   101668 | 2147483647    93714     41 |  0.447 % |
246.15/246.35	c |    212616 |    4688    30024   101668 | 2147483647    94256     41 |  0.447 % |
247.15/247.31	c |    213212 |    4688    30024   101668 | 2147483647    94852     41 |  0.447 % |
248.25/248.42	c |    213867 |    4688    30024   101668 | 2147483647    95507     41 |  0.447 % |
249.35/249.57	c |    214587 |    4688    30024   101668 | 2147483647    96227     41 |  0.446 % |
250.44/250.66	c |    215380 |    4688    30024   101668 | 2147483647    97020     41 |  0.447 % |
251.54/251.78	c |    216253 |    4688    30024   101668 | 2147483647    97893     41 |  0.446 % |
253.24/253.47	c |    217215 |    4688    30024   101668 | 2147483647    98855     41 |  0.446 % |
254.94/255.12	c |    218268 |    4688    30024   101668 | 2147483647    99908     41 |  0.446 % |
256.34/256.50	c |    219426 |    4688    30024   101668 | 2147483647   101066     41 |  0.446 % |
257.84/258.03	c |    220699 |    4687    29957   101407 | 2147483647   102336     41 |  0.468 % |
259.34/259.55	c |    222099 |    4687    29957   101407 | 2147483647   103736     41 |  0.467 % |
261.83/262.08	c |    223639 |    4687    29957   101407 | 2147483647   105276     42 |  0.469 % |
264.83/265.06	c |    225334 |    4687    29957   101407 | 2147483647   106971     42 |  0.469 % |
267.93/268.11	c |    227197 |    4687    29957   101407 | 2147483647   108834     42 |  0.469 % |
271.83/272.04	c |    229246 |    4687    29957   101407 | 2147483647   110883     42 |  0.469 % |
275.73/275.98	c |    231503 |    4687    29957   101407 |   111638    97789     41 |  0.469 % |
275.93/276.17	c |    231603 |    4687    29957   101407 |   111638    97889     41 |  0.469 % |
276.13/276.37	c |    231713 |    4687    29957   101407 |   111638    97999     41 |  0.467 % |
276.43/276.61	c |    231836 |    4687    29957   101407 |   111638    98122     41 |  0.469 % |
276.63/276.84	c |    231970 |    4687    29957   101407 |   111638    98256     41 |  0.467 % |
276.83/277.05	c |    232117 |    4687    29957   101407 |   111638    98403     41 |  0.469 % |
277.03/277.29	c |    232278 |    4687    29957   101407 |   111638    98564     41 |  0.469 % |
277.33/277.57	c |    232456 |    4687    29957   101407 |   111638    98742     41 |  0.467 % |
277.63/277.88	c |    232655 |    4687    29957   101407 |   111638    98941     41 |  0.469 % |
277.93/278.17	c |    232867 |    4687    29957   101407 |   111638    99153     41 |  0.469 % |
278.33/278.58	c |    233100 |    4687    29957   101407 |   111638    99386     41 |  0.469 % |
278.72/278.91	c |    233356 |    4687    29957   101407 |   111638    99642     41 |  0.469 % |
279.23/279.47	c |    233639 |    4687    29957   101407 |   111638    99925     41 |  0.469 % |
279.82/280.02	c |    233948 |    4687    29957   101407 |   111638   100234     41 |  0.469 % |
280.33/280.56	c |    234287 |    4687    29957   101407 |   111638   100573     41 |  0.467 % |
280.92/281.11	c |    234660 |    4687    29957   101407 |   111638   100946     41 |  0.469 % |
281.53/281.71	c |    235069 |    4687    29957   101407 |   111638   101355     41 |  0.469 % |
282.12/282.36	c |    235519 |    4687    29957   101407 |   111638   101805     41 |  0.469 % |
282.92/283.15	c |    236012 |    4687    29957   101407 |   111638   102298     41 |  0.467 % |
283.73/283.92	c |    236554 |    4687    29957   101407 |   111638   102840     41 |  0.469 % |
284.62/284.81	c |    237151 |    4687    29957   101407 |   111638   103437     41 |  0.468 % |
285.62/285.82	c |    237808 |    4687    29957   101407 |   111638   104094     41 |  0.469 % |
286.72/286.92	c |    238528 |    4687    29957   101407 |   111638   104814     41 |  0.467 % |
288.03/288.29	c |    239320 |    4687    29957   101407 |   111638   105606     42 |  0.469 % |
289.32/289.51	c |    240191 |    4687    29957   101407 |   106288   106477     41 |  0.469 % |
291.12/291.31	c |    241149 |    4687    29957   101407 |   106288    90574     41 |  0.469 % |
292.62/292.90	c |    242202 |    4687    29957   101407 |   106288    91627     41 |  0.469 % |
294.32/294.56	c |    243361 |    4687    29957   101407 |   106288    92786     41 |  0.469 % |
296.22/296.43	c |    244634 |    4687    29957   101407 |   106288    94059     41 |  0.469 % |
298.11/298.35	c |    246034 |    4687    29957   101407 |   106288    95459     41 |  0.469 % |
300.21/300.49	c |    247575 |    4687    29957   101407 |   106288    97000     41 |  0.469 % |
303.01/303.28	c |    249270 |    4687    29957   101407 |   106288    98695     41 |  0.468 % |
306.11/306.38	c |    251136 |    4687    29957   101407 |    99425   100561     41 |  0.469 % |
309.70/309.98	c |    253185 |    4687    29957   101407 |    99425    88595     40 |  0.469 % |
313.60/313.80	c |    255438 |    4687    29957   101407 |    99425    90848     40 |  0.469 % |
317.00/317.29	c |    257918 |    4687    29957   101407 |    99425    93328     40 |  0.467 % |
317.20/317.43	c |    258019 |    4687    29957   101407 |    99425    93429     40 |  0.468 % |
317.40/317.64	c |    258130 |    4687    29957   101407 |    99425    93540     40 |  0.469 % |
317.60/317.86	c |    258251 |    4687    29957   101407 |    99425    93661     40 |  0.468 % |
317.81/318.07	c |    258384 |    4687    29957   101407 |    99425    93794     40 |  0.469 % |
318.10/318.36	c |    258530 |    4687    29957   101407 |    99425    93940     40 |  0.469 % |
318.30/318.58	c |    258690 |    4687    29957   101407 |    99425    94100     40 |  0.469 % |
318.60/318.87	c |    258866 |    4687    29957   101407 |    99425    94276     40 |  0.469 % |
318.91/319.16	c |    259059 |    4687    29957   101407 |    99425    94469     40 |  0.468 % |
319.20/319.46	c |    259271 |    4687    29957   101407 |    99425    94681     40 |  0.469 % |
319.60/319.83	c |    259504 |    4687    29957   101407 |    99425    94914     40 |  0.469 % |
320.00/320.21	c |    259760 |    4687    29957   101407 |    99425    95170     40 |  0.469 % |
320.40/320.62	c |    260045 |    4687    29957   101407 |    95410    95455     40 |  0.468 % |
321.10/321.34	c |    260354 |    4687    29957   101407 |    95410    83915     40 |  0.468 % |
321.50/321.75	c |    260693 |    4686    29937   101343 |    95410    84250     40 |  0.490 % |
321.90/322.17	c |    261065 |    4686    29937   101343 |    95410    84622     40 |  0.489 % |
322.40/322.66	c |    261474 |    4686    29937   101343 |    95410    85031     40 |  0.490 % |
323.10/323.32	c |    261923 |    4686    29937   101343 |    95410    85480     40 |  0.488 % |
323.80/324.01	c |    262417 |    4686    29937   101343 |    95410    85974     40 |  0.490 % |
324.50/324.71	c |    262959 |    4686    29937   101343 |    95410    86516     40 |  0.490 % |
325.20/325.46	c |    263555 |    4686    29937   101343 |    95410    87112     40 |  0.490 % |
326.30/326.52	c |    264212 |    4686    29937   101343 |    95410    87769     40 |  0.489 % |
327.30/327.57	c |    264933 |    4686    29937   101343 |    95410    88490     40 |  0.490 % |
328.60/328.86	c |    265725 |    4686    29937   101343 |    95410    89282     40 |  0.490 % |
330.00/330.26	c |    266597 |    4686    29937   101343 |    95410    90154     40 |  0.490 % |
331.40/331.65	c |    267556 |    4686    29937   101343 |    95410    91113     40 |  0.489 % |
333.00/333.21	c |    268610 |    4686    29937   101343 |    95410    92167     40 |  0.490 % |
334.50/334.72	c |    269769 |    4686    29937   101343 |    95410    93326     40 |  0.489 % |
336.99/337.24	c |    271043 |    4686    29937   101343 |    93557    85190     39 |  0.488 % |
338.70/338.95	c |    272443 |    4686    29937   101343 |    93557    86590     39 |  0.490 % |
340.90/341.10	c |    273983 |    4686    29937   101343 |    93557    88130     40 |  0.488 % |
342.69/342.99	c |    275678 |    4686    29937   101343 |    93557    89825     40 |  0.488 % |
344.78/345.05	c |    277541 |    4686    29937   101343 |    93557    91688     40 |  0.489 % |
347.68/347.90	c |    279592 |    4686    29937   101343 |    93557    93739     40 |  0.489 % |
351.18/351.41	c |    281847 |    4686    29937   101343 | 2147483647    86621     39 |  0.490 % |
354.67/354.92	c |    284327 |    4686    29937   101343 | 2147483647    89101     39 |  0.490 % |
358.87/359.10	c |    287053 |    4686    29937   101343 | 2147483647    91827     40 |  0.490 % |
358.97/359.28	c |    287155 |    4686    29937   101343 | 2147483647    91929     40 |  0.490 % |
359.17/359.42	c |    287265 |    4686    29937   101343 | 2147483647    92039     40 |  0.490 % |
359.37/359.62	c |    287387 |    4686    29937   101343 | 2147483647    92161     40 |  0.489 % |
359.58/359.88	c |    287520 |    4686    29937   101343 | 2147483647    92294     40 |  0.490 % |
359.87/360.12	c |    287666 |    4686    29937   101343 | 2147483647    92440     40 |  0.490 % |
360.17/360.42	c |    287826 |    4686    29937   101343 | 2147483647    92600     40 |  0.490 % |
360.47/360.73	c |    288002 |    4686    29937   101343 | 2147483647    92776     40 |  0.490 % |
360.77/361.09	c |    288195 |    4686    29937   101343 | 2147483647    92969     40 |  0.490 % |
361.17/361.41	c |    288408 |    4686    29937   101343 | 2147483647    93182     40 |  0.490 % |
361.57/361.83	c |    288642 |    4686    29937   101343 | 2147483647    93416     40 |  0.490 % |
362.07/362.34	c |    288899 |    4686    29937   101343 | 2147483647    93673     40 |  0.488 % |
362.57/362.83	c |    289180 |    4686    29937   101343 | 2147483647    93954     40 |  0.488 % |
362.97/363.23	c |    289489 |    4686    29937   101343 | 2147483647    94263     40 |  0.490 % |
363.47/363.70	c |    289830 |    4686    29937   101343 | 2147483647    94604     40 |  0.490 % |
364.07/364.34	c |    290202 |    4686    29937   101343 | 2147483647    94976     40 |  0.490 % |
364.67/364.95	c |    290612 |    4686    29937   101343 | 2147483647    95386     40 |  0.490 % |
365.47/365.72	c |    291061 |    4686    29937   101343 | 2147483647    95835     40 |  0.490 % |
366.27/366.58	c |    291555 |    4686    29937   101343 | 2147483647    96329     40 |  0.490 % |
367.17/367.41	c |    292099 |    4686    29937   101343 | 2147483647    96873     40 |  0.490 % |
367.97/368.24	c |    292696 |    4686    29937   101343 | 2147483647    97470     40 |  0.490 % |
368.97/369.27	c |    293352 |    4686    29937   101343 | 2147483647    98126     40 |  0.490 % |
370.07/370.40	c |    294072 |    4686    29937   101343 | 2147483647    98846     40 |  0.490 % |
371.17/371.48	c |    294865 |    4686    29937   101343 | 2147483647    99639     40 |  0.490 % |
372.57/372.85	c |    295736 |    4686    29937   101343 | 2147483647   100510     40 |  0.488 % |
374.37/374.68	c |    296695 |    4686    29937   101343 | 2147483647   101469     40 |  0.490 % |
376.16/376.44	c |    297749 |    4686    29937   101343 | 2147483647   102523     40 |  0.488 % |
378.17/378.45	c |    298907 |    4686    29937   101343 | 2147483647   103681     40 |  0.488 % |
380.37/380.65	c |    300180 |    4686    29937   101343 |   104774   104954     40 |  0.490 % |
382.86/383.10	c |    301581 |    4686    29937   101343 |   104774    93030     40 |  0.490 % |
385.06/385.38	c |    303122 |    4686    29937   101343 |   104774    94571     40 |  0.490 % |
387.56/387.85	c |    304818 |    4686    29937   101343 |   104774    96267     40 |  0.490 % |
390.35/390.67	c |    306681 |    4686    29937   101343 |   104774    98130     40 |  0.489 % |
393.85/394.18	c |    308731 |    4686    29937   101343 |   104774   100180     40 |  0.490 % |
397.75/398.06	c |    310985 |    4686    29937   101343 |   101452   102434     40 |  0.489 % |
401.75/402.05	c |    313463 |    4686    29937   101343 |   101452    93096     39 |  0.490 % |
405.85/406.12	c |    316189 |    4686    29937   101343 |   101452    95822     39 |  0.489 % |
410.35/410.69	c |    319187 |    4686    29937   101343 |   101452    98820     39 |  0.490 % |
410.55/410.88	c |    319287 |    4686    29937   101343 |   101452    98920     39 |  0.490 % |
410.85/411.13	c |    319397 |    4686    29937   101343 |   101452    99030     39 |  0.490 % |
411.05/411.34	c |    319518 |    4686    29937   101343 |   101452    99151     39 |  0.490 % |
411.26/411.59	c |    319653 |    4686    29937   101343 |   101452    99286     39 |  0.490 % |
411.55/411.83	c |    319800 |    4686    29937   101343 |   101452    99433     39 |  0.490 % |
411.75/412.06	c |    319960 |    4686    29937   101343 |   101452    99593     39 |  0.489 % |
412.05/412.33	c |    320136 |    4686    29937   101343 |    99633    99769     39 |  0.490 % |
412.85/413.12	c |    320332 |    4686    29937   101343 |    99633    86220     39 |  0.488 % |
413.15/413.48	c |    320545 |    4686    29937   101343 |    99633    86433     39 |  0.488 % |
413.55/413.80	c |    320779 |    4686    29937   101343 |    99633    86667     39 |  0.490 % |
413.85/414.18	c |    321035 |    4686    29937   101343 |    99633    86923     39 |  0.490 % |
414.35/414.61	c |    321316 |    4686    29937   101343 |    99633    87204     39 |  0.490 % |
414.75/415.05	c |    321626 |    4686    29937   101343 |    99633    87514     39 |  0.488 % |
415.15/415.46	c |    321966 |    4686    29937   101343 |    99633    87854     39 |  0.489 % |
415.65/415.98	c |    322339 |    4686    29937   101343 |    99633    88227     39 |  0.488 % |
416.25/416.50	c |    322749 |    4686    29937   101343 |    99633    88637     39 |  0.488 % |
416.85/417.11	c |    323202 |    4686    29937   101343 |    99633    89090     39 |  0.488 % |
417.35/417.61	c |    323696 |    4686    29937   101343 |    99633    89584     39 |  0.488 % |
418.05/418.32	c |    324239 |    4686    29937   101343 |    99633    90127     39 |  0.488 % |
418.65/418.96	c |    324835 |    4686    29937   101343 |    99633    90723     39 |  0.489 % |
419.35/419.69	c |    325490 |    4686    29937   101343 |    99633    91378     39 |  0.488 % |
420.35/420.64	c |    326210 |    4685    29914   101262 |    99633    92094     39 |  0.511 % |
421.35/421.69	c |    327002 |    4685    29914   101262 |    99633    92885     39 |  0.532 % |
422.85/423.16	c |    327874 |    4685    29914   101262 |    99633    93757     39 |  0.532 % |
424.25/424.55	c |    328832 |    4685    29914   101262 |    99633    94715     39 |  0.532 % |
425.85/426.12	c |    329886 |    4685    29914   101262 |    99633    95769     39 |  0.532 % |
427.94/428.22	c |    331044 |    4685    29914   101262 |    95883    96927     39 |  0.532 % |
429.74/430.08	c |    332318 |    4685    29914   101262 |    95883    88509     38 |  0.532 % |
432.24/432.55	c |    333719 |    4684    29895   101196 |    95883    89907     38 |  0.531 % |
434.84/435.16	c |    335260 |    4684    29895   101196 |    95883    91448     38 |  0.531 % |
437.64/437.99	c |    336955 |    4684    29895   101196 |    95883    93143     38 |  0.532 % |
440.64/440.93	c |    338818 |    4684    29895   101196 |    95883    95006     38 |  0.532 % |
444.24/444.56	c |    340869 |    4684    29895   101196 |    96188    97057     38 |  0.532 % |
447.54/447.81	c |    343122 |    4684    29895   101196 |    96188    87785     37 |  0.532 % |
451.03/451.39	c |    345601 |    4684    29895   101196 |    96188    90264     37 |  0.532 % |
455.33/455.60	c |    348326 |    4684    29895   101196 |    96188    92989     37 |  0.531 % |
459.73/460.07	c |    351323 |    4684    29895   101196 |    94663    85128     37 |  0.532 % |
463.62/463.99	c |    354621 |    4683    29888   101175 |    94663    88425     37 |  0.554 % |
463.82/464.12	c |    354722 |    4683    29888   101175 |    94663    88526     37 |  0.552 % |
463.93/464.27	c |    354833 |    4683    29888   101175 |    94663    88637     37 |  0.554 % |
464.12/464.47	c |    354954 |    4683    29888   101175 |    94663    88758     37 |  0.552 % |
464.42/464.71	c |    355087 |    4683    29888   101175 |    94663    88891     37 |  0.554 % |
464.72/465.01	c |    355234 |    4683    29888   101175 |    94663    89038     37 |  0.554 % |
465.03/465.35	c |    355396 |    4683    29888   101175 |    94663    89200     37 |  0.554 % |
465.32/465.63	c |    355573 |    4683    29888   101175 |    94663    89377     37 |  0.554 % |
465.62/465.94	c |    355766 |    4683    29888   101175 |    94663    89570     37 |  0.552 % |
466.02/466.30	c |    355978 |    4683    29888   101175 |    94663    89782     37 |  0.554 % |
466.42/466.70	c |    356211 |    4683    29888   101175 |    94663    90015     37 |  0.554 % |
466.72/467.09	c |    356467 |    4683    29888   101175 |    94663    90271     37 |  0.554 % |
467.23/467.55	c |    356748 |    4683    29888   101175 |    94663    90552     37 |  0.554 % |
467.72/468.07	c |    357057 |    4683    29888   101175 |    94663    90861     37 |  0.554 % |
468.33/468.61	c |    357396 |    4683    29888   101175 |    94663    91200     37 |  0.554 % |
468.82/469.11	c |    357768 |    4683    29888   101175 |    94663    91572     37 |  0.552 % |
469.32/469.60	c |    358178 |    4683    29888   101175 |    94663    91982     37 |  0.552 % |
469.82/470.17	c |    358627 |    4683    29888   101175 |    94663    92431     37 |  0.552 % |
470.42/470.73	c |    359120 |    4683    29888   101175 |    94663    92924     37 |  0.552 % |
471.02/471.32	c |    359664 |    4683    29888   101175 |    94663    93468     38 |  0.552 % |
471.63/472.00	c |    360261 |    4683    29888   101175 | 2147483647    94065     38 |  0.553 % |
472.62/472.96	c |    360916 |    4683    29888   101175 | 2147483647    94720     38 |  0.552 % |
474.12/474.41	c |    361638 |    4683    29888   101175 | 2147483647    95442     38 |  0.552 % |
475.32/475.65	c |    362430 |    4683    29888   101175 | 2147483647    96234     38 |  0.552 % |
476.72/477.09	c |    363302 |    4683    29888   101175 | 2147483647    97106     38 |  0.554 % |
478.32/478.67	c |    364260 |    4683    29888   101175 | 2147483647    98064     38 |  0.554 % |
480.21/480.57	c |    365313 |    4683    29888   101175 | 2147483647    99117     38 |  0.554 % |
482.01/482.36	c |    366473 |    4683    29888   101175 | 2147483647   100277     38 |  0.554 % |
483.71/484.04	c |    367746 |    4683    29888   101175 | 2147483647   101550     38 |  0.552 % |
485.81/486.14	c |    369147 |    4682    29882   101157 | 2147483647   102949     38 |  0.616 % |
488.61/488.95	c |    370687 |    4681    29882   101157 |   103802    91208     37 |  0.637 % |
490.71/491.00	c |    372381 |    4681    29882   101157 |   103802    92902     37 |  0.639 % |
492.71/493.07	c |    374244 |    4681    29882   101157 |   103802    94765     37 |  0.637 % |
495.01/495.35	c |    376293 |    4681    29882   101157 |   103802    96814     37 |  0.638 % |
498.90/499.24	c |    378548 |    4679    28424    95701 |   103802    42258     38 |  0.638 % |
500.70/501.07	c |    381026 |    4679    28424    95701 | 2147483647    44736     38 |  0.638 % |
502.80/503.10	c |    383752 |    4679    28424    95701 | 2147483647    47462     38 |  0.639 % |
505.50/505.90	c |    386751 |    4679    28424    95701 | 2147483647    50461     39 |  0.639 % |
508.80/509.13	c |    390048 |    4679    28424    95701 | 2147483647    53758     39 |  0.637 % |
512.60/512.95	c |    393675 |    4679    28424    95701 | 2147483647    57385     39 |  0.638 % |
512.70/513.03	c |    393775 |    4679    28424    95701 | 2147483647    57485     39 |  0.638 % |
512.80/513.12	c |    393885 |    4679    28424    95701 | 2147483647    57595     39 |  0.637 % |
512.90/513.24	c |    394006 |    4679    28424    95701 | 2147483647    57716     39 |  0.637 % |
513.10/513.40	c |    394139 |    4679    28424    95701 | 2147483647    57849     39 |  0.637 % |
513.20/513.55	c |    394285 |    4679    28424    95701 | 2147483647    57995     39 |  0.637 % |
513.30/513.68	c |    394445 |    4679    28424    95701 | 2147483647    58155     39 |  0.638 % |
513.50/513.85	c |    394621 |    4679    28424    95701 | 2147483647    58331     39 |  0.637 % |
513.70/514.01	c |    394814 |    4679    28424    95701 | 2147483647    58524     39 |  0.639 % |
513.90/514.20	c |    395026 |    4679    28424    95701 | 2147483647    58736     39 |  0.637 % |
514.10/514.40	c |    395260 |    4679    28424    95701 | 2147483647    58970     39 |  0.637 % |
514.30/514.63	c |    395516 |    4679    28424    95701 | 2147483647    59226     39 |  0.637 % |
514.50/514.89	c |    395798 |    4679    28424    95701 | 2147483647    59508     39 |  0.638 % |
514.80/515.19	c |    396108 |    4679    28424    95701 | 2147483647    59818     39 |  0.638 % |
515.10/515.49	c |    396447 |    4679    28424    95701 | 2147483647    60157     39 |  0.638 % |
515.50/515.81	c |    396820 |    4679    28424    95701 | 2147483647    60530     39 |  0.637 % |
515.80/516.19	c |    397230 |    4679    28424    95701 | 2147483647    60940     39 |  0.637 % |
516.40/516.70	c |    397679 |    4679    28424    95701 | 2147483647    61389     39 |  0.639 % |
516.80/517.11	c |    398173 |    4679    28424    95701 | 2147483647    61883     39 |  0.637 % |
517.20/517.58	c |    398715 |    4679    28424    95701 | 2147483647    62425     39 |  0.639 % |
517.80/518.17	c |    399312 |    4679    28424    95701 | 2147483647    63022     39 |  0.637 % |
518.60/518.92	c |    399967 |    4679    28424    95701 | 2147483647    63677     39 |  0.639 % |
519.40/519.78	c |    400688 |    4679    28424    95701 | 2147483647    64398     39 |  0.639 % |
520.29/520.64	c |    401481 |    4679    28424    95701 | 2147483647    65191     39 |  0.639 % |
521.20/521.57	c |    402352 |    4679    28424    95701 | 2147483647    66062     39 |  0.639 % |
522.30/522.68	c |    403310 |    4679    28424    95701 | 2147483647    67020     39 |  0.639 % |
523.69/524.00	c |    404364 |    4679    28424    95701 | 2147483647    68074     39 |  0.637 % |
524.89/525.25	c |    405524 |    4679    28424    95701 | 2147483647    69234     39 |  0.639 % |
526.39/526.72	c |    406797 |    4679    28424    95701 | 2147483647    70507     39 |  0.639 % |
527.79/528.19	c |    408200 |    4679    28424    95701 | 2147483647    71910     39 |  0.639 % |
529.79/530.19	c |    409740 |    4679    28424    95701 | 2147483647    73450     39 |  0.637 % |
532.09/532.46	c |    411434 |    4679    28424    95701 | 2147483647    75144     39 |  0.639 % |
534.48/534.82	c |    413297 |    4677    28418    95683 | 2147483647    77002     39 |  0.682 % |
537.48/537.86	c |    415346 |    4677    28418    95683 | 2147483647    79051     39 |  0.680 % |
540.48/540.87	c |    417600 |    4677    28418    95683 | 2147483647    81305     39 |  0.682 % |
543.58/543.96	c |    420078 |    4677    28335    95374 | 2147483647    83776     39 |  0.682 % |
547.18/547.55	c |    422803 |    4677    28335    95374 | 2147483647    86501     39 |  0.680 % |
550.98/551.40	c |    425800 |    4677    28335    95374 | 2147483647    89498     39 |  0.680 % |
555.57/555.92	c |    429096 |    4677    28335    95374 | 2147483647    92794     40 |  0.680 % |
560.57/560.97	c |    432721 |    4677    28335    95374 | 2147483647    96419     40 |  0.680 % |
566.47/566.87	c |    436708 |    4677    28335    95374 | 2147483647   100406     40 |  0.683 % |
566.67/567.01	c |    436808 |    4677    28335    95374 | 2147483647   100506     40 |  0.680 % |
566.77/567.16	c |    436919 |    4677    28335    95374 | 2147483647   100617     40 |  0.680 % |
566.97/567.35	c |    437040 |    4677    28335    95374 | 2147483647   100738     40 |  0.680 % |
567.27/567.63	c |    437175 |    4677    28335    95374 | 2147483647   100873     40 |  0.682 % |
567.47/567.87	c |    437321 |    4677    28335    95374 | 2147483647   101019     40 |  0.680 % |
567.76/568.11	c |    437483 |    4677    28335    95374 | 2147483647   101181     40 |  0.680 % |
567.96/568.37	c |    437659 |    4677    28335    95374 | 2147483647   101357     40 |  0.680 % |
568.36/568.73	c |    437854 |    4677    28335    95374 | 2147483647   101552     40 |  0.680 % |
568.66/569.05	c |    438067 |    4677    28335    95374 | 2147483647   101765     40 |  0.680 % |
569.06/569.42	c |    438301 |    4677    28335    95374 | 2147483647   101999     40 |  0.680 % |
569.46/569.85	c |    438558 |    4677    28335    95374 | 2147483647   102256     40 |  0.680 % |
569.96/570.31	c |    438840 |    4677    28335    95374 | 2147483647   102538     40 |  0.683 % |
570.36/570.75	c |    439149 |    4677    28335    95374 | 2147483647   102847     40 |  0.680 % |
570.86/571.24	c |    439488 |    4677    28335    95374 | 2147483647   103186     40 |  0.680 % |
571.45/571.88	c |    439862 |    4677    28335    95374 | 2147483647   103560     40 |  0.681 % |
572.25/572.60	c |    440272 |    4677    28335    95374 | 2147483647   103970     40 |  0.680 % |
573.05/573.42	c |    440722 |    4677    28335    95374 | 2147483647   104420     40 |  0.680 % |
573.96/574.31	c |    441216 |    4677    28335    95374 | 2147483647   104914     39 |  0.680 % |
574.65/575.09	c |    441761 |    4677    28335    95374 | 2147483647   105459     39 |  0.680 % |
575.45/575.85	c |    442357 |    4677    28335    95374 | 2147483647   106055     39 |  0.680 % |
576.45/576.82	c |    443012 |    4677    28335    95374 | 2147483647   106710     39 |  0.680 % |
577.45/577.82	c |    443732 |    4677    28335    95374 | 2147483647   107430     39 |  0.683 % |
578.85/579.25	c |    444524 |    4677    28335    95374 | 2147483647   108222     39 |  0.680 % |
580.15/580.60	c |    445397 |    4677    28335    95374 | 2147483647   109095     39 |  0.681 % |
581.65/582.01	c |    446355 |    4677    28335    95374 | 2147483647   110053     39 |  0.680 % |
583.25/583.60	c |    447408 |    4677    28335    95374 | 2147483647   111106     39 |  0.680 % |
585.05/585.47	c |    448566 |    4677    28335    95374 | 2147483647   112264     39 |  0.680 % |
587.15/587.51	c |    449839 |    4677    28335    95374 | 2147483647   113537     39 |  0.680 % |
589.75/590.15	c |    451240 |    4676    28329    95357 | 2147483647   114935     39 |  0.724 % |
592.34/592.70	c |    452781 |    4676    28329    95357 | 2147483647   116476     39 |  0.722 % |
595.14/595.52	c |    454477 |    4665    28329    95357 | 2147483647   118168     39 | 11.153 % |
595.64/596.09	c ===============================================================================
595.64/596.09	c restarts              : 853
595.64/596.09	c conflicts             : 454798         (764 /sec)
595.64/596.09	c decisions             : 593187         (0.70 % random) (996 /sec)
595.64/596.09	c propagations          : 262593387      (440914 /sec)
595.64/596.09	c conflict literals     : 19906516       (69.49 % deleted)
595.64/596.09	c Memory used           : 27.63 MB
595.64/596.09	c CPU time              : 595.566 s
595.64/596.09	c 
595.64/596.09	s UNSATISFIABLE
595.74/596.10	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837230-1242863840/watcher-1837230-1242863840 -o /tmp/evaluation-result-1837230-1242863840/solver-1837230-1242863840 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837230-1242863840.cnf 

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


[startup+0 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 16362
/proc/meminfo: memFree=1851216/2055920 swapFree=4179860/4192956
[pid=16362] ppid=16360 vsize=5356 CPUtime=0
/proc/16362/stat : 16362 (SatELiteGTI) R 16360 16362 16154 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 314410439 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227607243251 0 0 4100 65536 0 0 0 17 0 0 0
/proc/16362/statm: 1339 237 197 169 0 50 0

[startup+0.10661 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 16362
/proc/meminfo: memFree=1851216/2055920 swapFree=4179860/4192956
[pid=16362] ppid=16360 vsize=5356 CPUtime=0
/proc/16362/stat : 16362 (SatELiteGTI) S 16360 16362 16154 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 314410439 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16362/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.201636 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 16362
/proc/meminfo: memFree=1851216/2055920 swapFree=4179860/4192956
[pid=16362] ppid=16360 vsize=5356 CPUtime=0.1
/proc/16362/stat : 16362 (SatELiteGTI) S 16360 16362 16154 0 -1 4194304 336 1197 0 0 0 0 10 0 15 0 1 0 314410439 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16362/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5356

[startup+0.301657 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 16362
/proc/meminfo: memFree=1851216/2055920 swapFree=4179860/4192956
[pid=16362] ppid=16360 vsize=5356 CPUtime=0.1
/proc/16362/stat : 16362 (SatELiteGTI) S 16360 16362 16154 0 -1 4194304 336 1197 0 0 0 0 10 0 15 0 1 0 314410439 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16362/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5356

[startup+0.701736 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 16362
/proc/meminfo: memFree=1851216/2055920 swapFree=4179860/4192956
[pid=16362] ppid=16360 vsize=5356 CPUtime=0.1
/proc/16362/stat : 16362 (SatELiteGTI) S 16360 16362 16154 0 -1 4194304 336 1197 0 0 0 0 10 0 15 0 1 0 314410439 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16362/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5356

[startup+1.50188 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16368
/proc/meminfo: memFree=1847168/2055920 swapFree=4179860/4192956
[pid=16362] ppid=16360 vsize=5356 CPUtime=0.1
/proc/16362/stat : 16362 (SatELiteGTI) S 16360 16362 16154 0 -1 4194304 336 1197 0 0 0 0 10 0 15 0 1 0 314410439 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16362/statm: 1339 239 197 169 0 50 0
[pid=16368] ppid=16362 vsize=4760 CPUtime=1.37
/proc/16368/stat : 16368 (minisat_static) R 16362 16362 16154 0 -1 4194304 968 0 0 0 137 0 0 0 25 0 1 0 314410450 4874240 954 1992294400 134512640 135215339 4294956240 18446744073709551615 134538024 0 0 4096 3 0 0 0 17 0 0 0
/proc/16368/statm: 1190 954 76 171 0 1017 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10116

[startup+3.1012 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16368
/proc/meminfo: memFree=1846144/2055920 swapFree=4179860/4192956
[pid=16362] ppid=16360 vsize=5356 CPUtime=0.1
/proc/16362/stat : 16362 (SatELiteGTI) S 16360 16362 16154 0 -1 4194304 336 1197 0 0 0 0 10 0 15 0 1 0 314410439 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16362/statm: 1339 239 197 169 0 50 0
[pid=16368] ppid=16362 vsize=6080 CPUtime=2.96
/proc/16368/stat : 16368 (minisat_static) R 16362 16362 16154 0 -1 4194304 1270 0 0 0 296 0 0 0 25 0 1 0 314410450 6225920 1256 1992294400 134512640 135215339 4294956240 18446744073709551615 134527239 0 0 4096 3 0 0 0 17 0 0 0
/proc/16368/statm: 1520 1256 76 171 0 1347 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 11436

[startup+6.30183 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16368
/proc/meminfo: memFree=1843968/2055920 swapFree=4179860/4192956
[pid=16362] ppid=16360 vsize=5356 CPUtime=0.1
/proc/16362/stat : 16362 (SatELiteGTI) S 16360 16362 16154 0 -1 4194304 336 1197 0 0 0 0 10 0 15 0 1 0 314410439 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16362/statm: 1339 239 197 169 0 50 0
[pid=16368] ppid=16362 vsize=7908 CPUtime=6.17
/proc/16368/stat : 16368 (minisat_static) R 16362 16362 16154 0 -1 4194304 1717 0 0 0 616 1 0 0 25 0 1 0 314410450 8097792 1703 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/16368/statm: 1977 1703 76 171 0 1804 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 13264

[startup+12.7011 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16368
/proc/meminfo: memFree=1841248/2055920 swapFree=4179860/4192956
[pid=16362] ppid=16360 vsize=5356 CPUtime=0.1
/proc/16362/stat : 16362 (SatELiteGTI) S 16360 16362 16154 0 -1 4194304 336 1197 0 0 0 0 10 0 15 0 1 0 314410439 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16362/statm: 1339 239 197 169 0 50 0
[pid=16368] ppid=16362 vsize=10464 CPUtime=12.57
/proc/16368/stat : 16368 (minisat_static) R 16362 16362 16154 0 -1 4194304 2375 0 0 0 1255 2 0 0 25 0 1 0 314410450 10715136 2361 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16368/statm: 2616 2361 76 171 0 2443 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 15820

[startup+25.5016 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16368
/proc/meminfo: memFree=1837472/2055920 swapFree=4179860/4192956
[pid=16362] ppid=16360 vsize=5356 CPUtime=0.1
/proc/16362/stat : 16362 (SatELiteGTI) S 16360 16362 16154 0 -1 4194304 336 1197 0 0 0 0 10 0 15 0 1 0 314410439 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16362/statm: 1339 239 197 169 0 50 0
[pid=16368] ppid=16362 vsize=14308 CPUtime=25.36
/proc/16368/stat : 16368 (minisat_static) R 16362 16362 16154 0 -1 4194304 3303 0 0 0 2533 3 0 0 25 0 1 0 314410450 14651392 3289 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16368/statm: 3577 3289 76 171 0 3404 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 19664

[startup+51.1016 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16368
/proc/meminfo: memFree=1831968/2055920 swapFree=4179860/4192956
[pid=16362] ppid=16360 vsize=5356 CPUtime=0.1
/proc/16362/stat : 16362 (SatELiteGTI) S 16360 16362 16154 0 -1 4194304 336 1197 0 0 0 0 10 0 15 0 1 0 314410439 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16362/statm: 1339 239 197 169 0 50 0
[pid=16368] ppid=16362 vsize=20000 CPUtime=50.94
/proc/16368/stat : 16368 (minisat_static) R 16362 16362 16154 0 -1 4194304 4715 0 0 0 5090 4 0 0 25 0 1 0 314410450 20480000 4701 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16368/statm: 5000 4701 76 171 0 4827 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 25356

[startup+102.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16368
/proc/meminfo: memFree=1825184/2055920 swapFree=4179860/4192956
[pid=16362] ppid=16360 vsize=5356 CPUtime=0.1
/proc/16362/stat : 16362 (SatELiteGTI) S 16360 16362 16154 0 -1 4194304 336 1197 0 0 0 0 10 0 15 0 1 0 314410439 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16362/statm: 1339 239 197 169 0 50 0
[pid=16368] ppid=16362 vsize=26660 CPUtime=102.12
/proc/16368/stat : 16368 (minisat_static) R 16362 16362 16154 0 -1 4194304 6331 0 0 0 10206 6 0 0 25 0 1 0 314410450 27299840 6317 1992294400 134512640 135215339 4294956240 18446744073709551615 134529186 0 0 4096 3 0 0 0 17 0 0 0
/proc/16368/statm: 6665 6317 76 171 0 6492 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 32016

[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16368
/proc/meminfo: memFree=1824800/2055920 swapFree=4179860/4192956
[pid=16362] ppid=16360 vsize=5356 CPUtime=0.1
/proc/16362/stat : 16362 (SatELiteGTI) S 16360 16362 16154 0 -1 4194304 336 1197 0 0 0 0 10 0 15 0 1 0 314410439 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16362/statm: 1339 239 197 169 0 50 0
[pid=16368] ppid=16362 vsize=26824 CPUtime=162.08
/proc/16368/stat : 16368 (minisat_static) R 16362 16362 16154 0 -1 4194304 6395 0 0 0 16202 6 0 0 25 0 1 0 314410450 27467776 6381 1992294400 134512640 135215339 4294956240 18446744073709551615 134528811 0 0 4096 3 0 0 0 17 0 0 0
/proc/16368/statm: 6706 6381 76 171 0 6533 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 32180

[startup+222.306 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16374
/proc/meminfo: memFree=1824032/2055920 swapFree=4179860/4192956
[pid=16362] ppid=16360 vsize=5356 CPUtime=0.1
/proc/16362/stat : 16362 (SatELiteGTI) S 16360 16362 16154 0 -1 4194304 336 1197 0 0 0 0 10 0 15 0 1 0 314410439 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16362/statm: 1339 239 197 169 0 50 0
[pid=16368] ppid=16362 vsize=27152 CPUtime=222.06
/proc/16368/stat : 16368 (minisat_static) R 16362 16362 16154 0 -1 4194304 6468 0 0 0 22199 7 0 0 25 0 1 0 314410450 27803648 6454 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16368/statm: 6788 6454 76 171 0 6615 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 32508

[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16374
/proc/meminfo: memFree=1823328/2055920 swapFree=4179860/4192956
[pid=16362] ppid=16360 vsize=5356 CPUtime=0.1
/proc/16362/stat : 16362 (SatELiteGTI) S 16360 16362 16154 0 -1 4194304 336 1197 0 0 0 0 10 0 15 0 1 0 314410439 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16362/statm: 1339 239 197 169 0 50 0
[pid=16368] ppid=16362 vsize=27964 CPUtime=282.02
/proc/16368/stat : 16368 (minisat_static) R 16362 16362 16154 0 -1 4194304 6653 0 0 0 28195 7 0 0 25 0 1 0 314410450 28635136 6639 1992294400 134512640 135215339 4294956240 18446744073709551615 134528884 0 0 4096 3 0 0 0 17 0 0 0
/proc/16368/statm: 6991 6639 76 171 0 6818 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 33320

[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16374
/proc/meminfo: memFree=1823264/2055920 swapFree=4179860/4192956
[pid=16362] ppid=16360 vsize=5356 CPUtime=0.1
/proc/16362/stat : 16362 (SatELiteGTI) S 16360 16362 16154 0 -1 4194304 336 1197 0 0 0 0 10 0 15 0 1 0 314410439 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16362/statm: 1339 239 197 169 0 50 0
[pid=16368] ppid=16362 vsize=27964 CPUtime=341.99
/proc/16368/stat : 16368 (minisat_static) R 16362 16362 16154 0 -1 4194304 6662 0 0 0 34192 7 0 0 25 0 1 0 314410450 28635136 6648 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16368/statm: 6991 6648 76 171 0 6818 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 33320

[startup+402.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16374
/proc/meminfo: memFree=1823008/2055920 swapFree=4179860/4192956
[pid=16362] ppid=16360 vsize=5356 CPUtime=0.1
/proc/16362/stat : 16362 (SatELiteGTI) S 16360 16362 16154 0 -1 4194304 336 1197 0 0 0 0 10 0 15 0 1 0 314410439 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16362/statm: 1339 239 197 169 0 50 0
[pid=16368] ppid=16362 vsize=28140 CPUtime=401.95
/proc/16368/stat : 16368 (minisat_static) R 16362 16362 16154 0 -1 4194304 6693 0 0 0 40188 7 0 0 25 0 1 0 314410450 28815360 6679 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/16368/statm: 7035 6679 76 171 0 6862 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 33496

[startup+462.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16374
/proc/meminfo: memFree=1822816/2055920 swapFree=4179860/4192956
[pid=16362] ppid=16360 vsize=5356 CPUtime=0.1
/proc/16362/stat : 16362 (SatELiteGTI) S 16360 16362 16154 0 -1 4194304 336 1197 0 0 0 0 10 0 15 0 1 0 314410439 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16362/statm: 1339 239 197 169 0 50 0
[pid=16368] ppid=16362 vsize=28140 CPUtime=461.93
/proc/16368/stat : 16368 (minisat_static) R 16362 16362 16154 0 -1 4194304 6719 0 0 0 46185 8 0 0 25 0 1 0 314410450 28815360 6705 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16368/statm: 7035 6705 76 171 0 6862 0
Current children cumulated CPU time (s) 462.03
Current children cumulated vsize (KiB) 33496

[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16374
/proc/meminfo: memFree=1822624/2055920 swapFree=4179860/4192956
[pid=16362] ppid=16360 vsize=5356 CPUtime=0.1
/proc/16362/stat : 16362 (SatELiteGTI) S 16360 16362 16154 0 -1 4194304 336 1197 0 0 0 0 10 0 15 0 1 0 314410439 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16362/statm: 1339 239 197 169 0 50 0
[pid=16368] ppid=16362 vsize=28292 CPUtime=521.89
/proc/16368/stat : 16368 (minisat_static) R 16362 16362 16154 0 -1 4194304 6745 0 0 0 52181 8 0 0 25 0 1 0 314410450 28971008 6731 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/16368/statm: 7073 6731 76 171 0 6900 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 33648

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16374
/proc/meminfo: memFree=1822560/2055920 swapFree=4179860/4192956
[pid=16362] ppid=16360 vsize=5356 CPUtime=0.1
/proc/16362/stat : 16362 (SatELiteGTI) S 16360 16362 16154 0 -1 4194304 336 1197 0 0 0 0 10 0 15 0 1 0 314410439 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16362/statm: 1339 239 197 169 0 50 0
[pid=16368] ppid=16362 vsize=28292 CPUtime=581.85
/proc/16368/stat : 16368 (minisat_static) R 16362 16362 16154 0 -1 4194304 6749 0 0 0 58177 8 0 0 25 0 1 0 314410450 28971008 6735 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16368/statm: 7073 6735 76 171 0 6900 0
Current children cumulated CPU time (s) 581.95
Current children cumulated vsize (KiB) 33648

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

[startup+588.801 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16374
/proc/meminfo: memFree=1822560/2055920 swapFree=4179860/4192956
[pid=16362] ppid=16360 vsize=5356 CPUtime=0.1
/proc/16362/stat : 16362 (SatELiteGTI) S 16360 16362 16154 0 -1 4194304 336 1197 0 0 0 0 10 0 15 0 1 0 314410439 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16362/statm: 1339 239 197 169 0 50 0
[pid=16368] ppid=16362 vsize=28292 CPUtime=588.35
/proc/16368/stat : 16368 (minisat_static) R 16362 16362 16154 0 -1 4194304 6750 0 0 0 58827 8 0 0 25 0 1 0 314410450 28971008 6736 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/16368/statm: 7073 6736 76 171 0 6900 0
Current children cumulated CPU time (s) 588.45
Current children cumulated vsize (KiB) 33648

[startup+592.001 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16374
/proc/meminfo: memFree=1822496/2055920 swapFree=4179860/4192956
[pid=16362] ppid=16360 vsize=5356 CPUtime=0.1
/proc/16362/stat : 16362 (SatELiteGTI) S 16360 16362 16154 0 -1 4194304 336 1197 0 0 0 0 10 0 15 0 1 0 314410439 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16362/statm: 1339 239 197 169 0 50 0
[pid=16368] ppid=16362 vsize=28292 CPUtime=591.55
/proc/16368/stat : 16368 (minisat_static) R 16362 16362 16154 0 -1 4194304 6753 0 0 0 59147 8 0 0 25 0 1 0 314410450 28971008 6739 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16368/statm: 7073 6739 76 171 0 6900 0
Current children cumulated CPU time (s) 591.65
Current children cumulated vsize (KiB) 33648

[startup+593.601 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16374
/proc/meminfo: memFree=1822496/2055920 swapFree=4179860/4192956
[pid=16362] ppid=16360 vsize=5356 CPUtime=0.1
/proc/16362/stat : 16362 (SatELiteGTI) S 16360 16362 16154 0 -1 4194304 336 1197 0 0 0 0 10 0 15 0 1 0 314410439 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16362/statm: 1339 239 197 169 0 50 0
[pid=16368] ppid=16362 vsize=28292 CPUtime=593.14
/proc/16368/stat : 16368 (minisat_static) R 16362 16362 16154 0 -1 4194304 6754 0 0 0 59306 8 0 0 25 0 1 0 314410450 28971008 6740 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16368/statm: 7073 6740 76 171 0 6900 0
Current children cumulated CPU time (s) 593.24
Current children cumulated vsize (KiB) 33648

[startup+595.206 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16374
/proc/meminfo: memFree=1822496/2055920 swapFree=4179860/4192956
[pid=16362] ppid=16360 vsize=5356 CPUtime=0.1
/proc/16362/stat : 16362 (SatELiteGTI) S 16360 16362 16154 0 -1 4194304 336 1197 0 0 0 0 10 0 15 0 1 0 314410439 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16362/statm: 1339 239 197 169 0 50 0
[pid=16368] ppid=16362 vsize=28292 CPUtime=594.75
/proc/16368/stat : 16368 (minisat_static) R 16362 16362 16154 0 -1 4194304 6757 0 0 0 59467 8 0 0 25 0 1 0 314410450 28971008 6743 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/16368/statm: 7073 6743 76 171 0 6900 0
Current children cumulated CPU time (s) 594.85
Current children cumulated vsize (KiB) 33648

[startup+595.602 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16374
/proc/meminfo: memFree=1822496/2055920 swapFree=4179860/4192956
[pid=16362] ppid=16360 vsize=5356 CPUtime=0.1
/proc/16362/stat : 16362 (SatELiteGTI) S 16360 16362 16154 0 -1 4194304 336 1197 0 0 0 0 10 0 15 0 1 0 314410439 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16362/statm: 1339 239 197 169 0 50 0
[pid=16368] ppid=16362 vsize=28292 CPUtime=595.14
/proc/16368/stat : 16368 (minisat_static) R 16362 16362 16154 0 -1 4194304 6757 0 0 0 59506 8 0 0 25 0 1 0 314410450 28971008 6743 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/16368/statm: 7073 6743 76 171 0 6900 0
Current children cumulated CPU time (s) 595.24
Current children cumulated vsize (KiB) 33648

[startup+596.002 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16374
/proc/meminfo: memFree=1822496/2055920 swapFree=4179860/4192956
[pid=16362] ppid=16360 vsize=5356 CPUtime=0.1
/proc/16362/stat : 16362 (SatELiteGTI) S 16360 16362 16154 0 -1 4194304 336 1197 0 0 0 0 10 0 15 0 1 0 314410439 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16362/statm: 1339 239 197 169 0 50 0
[pid=16368] ppid=16362 vsize=28292 CPUtime=595.54
/proc/16368/stat : 16368 (minisat_static) R 16362 16362 16154 0 -1 4194304 6757 0 0 0 59546 8 0 0 25 0 1 0 314410450 28971008 6743 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/16368/statm: 7073 6743 76 171 0 6900 0
Current children cumulated CPU time (s) 595.64
Current children cumulated vsize (KiB) 33648

[startup+596.102 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 16374
/proc/meminfo: memFree=1822496/2055920 swapFree=4179860/4192956
[pid=16362] ppid=16360 vsize=5356 CPUtime=0.1
/proc/16362/stat : 16362 (SatELiteGTI) S 16360 16362 16154 0 -1 4194304 336 1197 0 0 0 0 10 0 15 0 1 0 314410439 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16362/statm: 1339 239 197 169 0 50 0
[pid=16368] ppid=16362 vsize=0 CPUtime=595.64
/proc/16368/stat : 16368 (minisat_static) R 16362 16362 16154 0 -1 4194308 6764 0 0 0 59556 8 0 0 25 0 1 0 314410450 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/16368/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 595.74
Current children cumulated vsize (KiB) 5356

Child status: 20
Real time (s): 596.11
CPU time (s): 595.774
CPU user time (s): 595.673
CPU system time (s): 0.100984
CPU usage (%): 99.9437
Max. virtual memory (cumulated for all children) (KiB): 33648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 595.673
system time used= 0.100984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8452
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= 45
involuntary context switches= 1786

runsolver used 0.572912 second user time and 1.64375 second system time

The end

Launcher Data 

Begin job on node66 at 2009-05-21 01:57:21
IDJOB=1837230
IDBENCH=69645
IDSOLVER=674
FILE ID=node66/1837230-1242863840
PBS_JOBID= 9328515
Free space on /tmp= 66392 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE08/cnf/goldb-heqc-alu4mul.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837230-1242863840/watcher-1837230-1242863840 -o /tmp/evaluation-result-1837230-1242863840/solver-1837230-1242863840 -C 10000 -W 12000 -M 1800  SatELiteGTI HOME/instance-1837230-1242863840.cnf

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

MD5SUM BENCH= 2d68b23bdbf6e7e2868e82c4f24dffc3
RANDOM SEED=691226164

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1851696 kB
Buffers:         11688 kB
Cached:         147780 kB
SwapCached:       7336 kB
Active:          15840 kB
Inactive:       152500 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1851696 kB
SwapTotal:     4192956 kB
SwapFree:      4179860 kB
Dirty:            2124 kB
Writeback:           0 kB
Mapped:          13980 kB
Slab:            21928 kB
Committed_AS:  1152108 kB
PageTables:       1388 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66392 MiB
End job on node66 at 2009-05-21 02:07:17