Trace number 3265432

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
glucose 2? (TO) 1300.01 1300.01

General information on the benchmark

NameSAT05/crafted/sabharwal05/ordering/gt-ordering/
sat/gt-030.shuffled-as.sat05-1295.cnf
MD5SUMf0614c8232d9b15ffdf32ce3e2c1390b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.05799
Satisfiable
(Un)Satisfiability was proved
Number of variables870
Number of clauses24824
Sum of the clauses size74817
Maximum clause length29
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2435
Number of clauses of size 324359
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 530

Solver Data 

0.00/0.00	c
0.00/0.00	c Starting SatElite Preprocessing
0.00/0.00	c
0.00/0.00	c Parsing...
0.00/0.01	c ==============================================================================
0.00/0.01	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.01	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.01	c ==============================================================================
0.00/0.01	c |         0 |   24824    74817 |    7447       0        0     nan |  0.000 % |
0.00/0.01	c ==============================================================================
0.00/0.01	c Result  :   #vars: 870   #clauses: 24824   #literals: 74817
0.00/0.01	c CPU time:   0.006998 s
0.00/0.01	c ==============================================================================
0.00/0.02	c
0.00/0.02	c Starting glucose
0.00/0.02	c
15.17/15.20	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
15.17/15.20	c WARNING: for repeatability, setting FPU to use double precision
15.17/15.20	c ============================[ Problem Statistics ]=============================
15.17/15.20	c |                                                                             |
15.17/15.20	c |  Number of variables:           870                                         |
15.17/15.20	c |  Number of clauses:           24824                                         |
15.17/15.20	c |  Parse time:                   0.00 s                                       |
15.17/15.20	c |                                                                             |
15.17/15.20	c ============================[ Search Statistics ]==============================
15.17/15.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
15.17/15.20	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
15.17/15.20	c ===============================================================================
15.17/15.20	c |      8360 |     870    24824    74817 |        1     6363     59 |  0.000 % |
15.17/15.20	c |      8461 |     870    24824    74817 |        1     6464     58 |  0.000 % |
15.17/15.20	c |     14467 |     870    24824    74817 |        1     8171     49 |  0.000 % |
15.17/15.20	c |     14957 |     870    24824    74817 |        1     8661     49 |  0.000 % |
15.17/15.20	c |     15438 |     870    24824    74817 |        1     9142     49 |  0.000 % |
15.17/15.20	c |     15719 |     870    24824    74817 |        1     9423     49 |  0.000 % |
15.17/15.20	c |     15820 |     870    24824    74817 |        1     9524     49 |  0.000 % |
15.17/15.20	c |     15920 |     870    24824    74817 |        1     9624     49 |  0.000 % |
15.17/15.20	c |     16360 |     870    24824    74817 |        1    10064     50 |  0.000 % |
15.17/15.20	c |     16461 |     870    24824    74817 |        1    10165     50 |  0.000 % |
15.17/15.20	c |     16589 |     870    24824    74817 |        1    10293     50 |  0.000 % |
15.17/15.20	c |     17346 |     870    24824    74817 |        1    11050     50 |  0.000 % |
15.17/15.20	c |     17693 |     870    24824    74817 |        1    11397     50 |  0.000 % |
15.17/15.20	c |     17915 |     870    24824    74817 |        1    11619     50 |  0.000 % |
15.17/15.20	c |     18015 |     870    24824    74817 |        1    11719     50 |  0.000 % |
15.17/15.20	c |     21372 |     870    24824    74817 |        1     8327     45 |  0.000 % |
15.17/15.20	c |     21494 |     870    24824    74817 |        1     8449     45 |  0.000 % |
15.17/15.20	c |     24537 |     870    24824    74817 |        1    11492     44 |  0.000 % |
15.17/15.20	c |     24637 |     870    24824    74817 |        1    11592     44 |  0.000 % |
15.17/15.20	c |     25165 |     870    24824    74817 |        1    12120     45 |  0.000 % |
15.17/15.20	c |     25494 |     870    24824    74817 |        1    12449     45 |  0.000 % |
15.17/15.20	c |     28771 |     870    24824    74817 |        1    15726     48 |  0.000 % |
15.17/15.20	c |     28873 |     870    24824    74817 |        1    15828     48 |  0.000 % |
15.17/15.20	c |    265870 |     870    24824    74817 |        1    43688     39 |  0.000 % |
15.17/15.20	c |    624592 |     870    24824    74817 |        1   101404     34 |  0.000 % |
15.17/15.20	c |    624761 |     870    24824    74817 |        1   101573     34 |  0.000 % |
15.17/15.20	c |    624976 |     870    24824    74817 |        1   101788     34 |  0.000 % |
15.17/15.20	c |    625740 |     870    24824    74817 |        1   102552     34 |  0.000 % |
15.17/15.20	c |    625966 |     870    24824    74817 |        1   102778     34 |  0.000 % |
15.17/15.20	c |    626130 |     870    24824    74817 |        1   102942     34 |  0.000 % |
15.17/15.20	c |    626230 |     870    24824    74817 |        1   103042     34 |  0.000 % |
15.17/15.20	c |    626767 |     870    24824    74817 |        1   103579     34 |  0.000 % |
15.17/15.20	c |    627008 |     870    24824    74817 |        1   103820     34 |  0.000 % |
15.17/15.20	c |    627109 |     870    24824    74817 |        1   103921     34 |  0.000 % |
15.17/15.20	c |    627211 |     870    24824    74817 |        1   104023     35 |  0.000 % |
15.17/15.20	c |    627387 |     870    24824    74817 |        1   104199     35 |  0.000 % |
15.17/15.20	c |    627490 |     870    24824    74817 |        1   104302     35 |  0.000 % |
15.17/15.20	c |    628119 |     870    24824    74817 |        1   104931     35 |  0.000 % |
15.17/15.20	c |    628223 |     870    24824    74817 |        1   105035     35 |  0.000 % |
36.68/36.74	c |    629098 |     870    24824    74817 |        1   105910     35 |  0.000 % |
36.68/36.74	c |    629376 |     870    24824    74817 |        1   106188     35 |  0.000 % |
36.68/36.74	c |    632035 |     870    24824    74817 |        1    55447     33 |  0.000 % |
36.68/36.74	c |    707524 |     870    24824    74817 |        1    74934     34 |  0.000 % |
36.68/36.74	c |    762156 |     870    24824    74817 |        1    70970     34 |  0.000 % |
36.68/36.74	c |    763230 |     870    24824    74817 |        1    72044     34 |  0.000 % |
36.68/36.74	c |    766640 |     870    24824    74817 |        1    75454     34 |  0.000 % |
36.68/36.74	c |    767929 |     870    24824    74817 |        1    76743     34 |  0.000 % |
36.68/36.74	c |    768181 |     870    24824    74817 |        1    76995     35 |  0.000 % |
36.68/36.74	c |    811521 |     870    24824    74817 |        1   120335     37 |  0.000 % |
36.68/36.74	c |    815890 |     870    24824    74817 |        1    63502     34 |  0.000 % |
36.68/36.74	c |    824735 |     870    24824    74817 |        1    72347     35 |  0.000 % |
36.68/36.74	c |    842633 |     870    24824    74817 |        1    90245     35 |  0.000 % |
36.68/36.74	c |    845414 |     870    24824    74817 |        1    93026     36 |  0.000 % |
36.68/36.74	c |    853446 |     870    24824    74817 |        1   101058     36 |  0.000 % |
36.68/36.74	c |    854771 |     870    24824    74817 |        1   102383     36 |  0.000 % |
36.68/36.74	c |    858806 |     870    24824    74817 |        1   106418     37 |  0.000 % |
36.68/36.74	c |   1289667 |     870    24824    74817 |        1   115479     31 |  0.000 % |
36.68/36.74	c |   1289768 |     870    24824    74817 |        1   115580     31 |  0.000 % |
36.68/36.74	c |   1292077 |     870    24824    74817 |        1   117889     31 |  0.000 % |
36.68/36.74	c |   1300789 |     870    24824    74817 |        1   126601     32 |  0.000 % |
36.68/36.74	c |   1300889 |     870    24824    74817 |        1   126701     32 |  0.000 % |
36.68/36.74	c |   1301164 |     870    24824    74817 |        1   126976     32 |  0.000 % |
36.68/36.74	c |   1301293 |     870    24824    74817 |        1   127105     32 |  0.000 % |
36.68/36.74	c |   1308026 |     870    24824    74817 |        1   133838     32 |  0.000 % |
36.68/36.74	c |   1308126 |     870    24824    74817 |        1   133938     32 |  0.000 % |
36.68/36.74	c |   1308709 |     870    24824    74817 |        1   134521     33 |  0.000 % |
36.68/36.74	c |   1309311 |     870    24824    74817 |        1   135123     33 |  0.000 % |
36.68/36.74	c |   1310763 |     870    24824    74817 |        1   136575     33 |  0.000 % |
36.68/36.74	c |   1310863 |     870    24824    74817 |        1   136675     33 |  0.000 % |
36.68/36.74	c |   1310963 |     870    24824    74817 |        1   136775     33 |  0.000 % |
36.68/36.74	c |   1311126 |     870    24824    74817 |        1   136938     33 |  0.000 % |
36.68/36.74	c |   1311477 |     870    24824    74817 |        1   137289     33 |  0.000 % |
36.68/36.74	c |   1311617 |     870    24824    74817 |        1   137429     33 |  0.000 % |
36.68/36.74	c |   1311780 |     870    24824    74817 |        1   137592     33 |  0.000 % |
36.68/36.74	c |   1311995 |     870    24824    74817 |        1   137807     33 |  0.000 % |
36.68/36.74	c |   1312335 |     870    24824    74817 |        1   138147     33 |  0.000 % |
36.68/36.74	c |   1312601 |     870    24824    74817 |        1   138413     33 |  0.000 % |
36.68/36.74	c |   1313086 |     870    24824    74817 |        1   138898     33 |  0.000 % |
36.68/36.74	c |   1313203 |     870    24824    74817 |        1   139015     33 |  0.000 % |
36.68/36.74	c |   1313303 |     870    24824    74817 |        1   139115     33 |  0.000 % |
36.68/36.74	c |   1314093 |     870    24824    74817 |        1   139905     33 |  0.000 % |
36.68/36.74	c |   1314234 |     870    24824    74817 |        1   140046     33 |  0.000 % |
36.68/36.74	c |   1314424 |     870    24824    74817 |        1   140236     33 |  0.000 % |
36.68/36.74	c |   1314525 |     870    24824    74817 |        1   140337     33 |  0.000 % |
36.68/36.74	c |   1314626 |     870    24824    74817 |        1   140438     33 |  0.000 % |
36.68/36.74	c |   1314726 |     870    24824    74817 |        1   140538     33 |  0.000 % |
36.68/36.74	c |   1314826 |     870    24824    74817 |        1   140638     33 |  0.000 % |
36.68/36.74	c |   1314933 |     870    24824    74817 |        1   140745     33 |  0.000 % |
36.68/36.74	c |   1315033 |     870    24824    74817 |        1   140845     33 |  0.000 % |
332.58/332.63	c |   1315133 |     870    24824    74817 |        1   140945     33 |  0.000 % |
332.58/332.63	c |   1315233 |     870    24824    74817 |        1   141045     33 |  0.000 % |
332.58/332.63	c |   1315335 |     870    24824    74817 |        1   141147     33 |  0.000 % |
332.58/332.63	c |   1315435 |     870    24824    74817 |        1   141247     33 |  0.000 % |
332.58/332.63	c |   1318383 |     870    24824    74817 |        1   144195     33 |  0.000 % |
332.58/332.63	c |   1352259 |     870    24824    74817 |        1    98672     34 |  0.000 % |
332.58/332.63	c |   1569208 |     870    24824    74817 |        1   149022     36 |  0.000 % |
332.58/332.63	c |   1569308 |     870    24824    74817 |        1   149122     36 |  0.000 % |
332.58/332.63	c |   2006662 |     870    24824    74817 |        1   124474     31 |  0.000 % |
332.58/332.63	c |   2006808 |     870    24824    74817 |        1   124620     31 |  0.000 % |
332.58/332.63	c |   2060719 |     870    24824    74817 |        1   178531     33 |  0.000 % |
332.58/332.63	c |   2095672 |     870    24824    74817 |        1   113290     32 |  0.000 % |
332.58/332.63	c |   2095772 |     870    24824    74817 |        1   113390     32 |  0.000 % |
332.58/332.63	c |   2158260 |     870    24824    74817 |        1   175878     33 |  0.000 % |
332.58/332.63	c |   2160786 |     870    24824    74817 |        1   178404     33 |  0.000 % |
332.58/332.63	c |   2160886 |     870    24824    74817 |        1   178504     33 |  0.000 % |
332.58/332.63	c |   2252831 |     870    24824    74817 |        1   167648     31 |  0.000 % |
332.58/332.63	c |   2253352 |     870    24824    74817 |        1   168169     31 |  0.000 % |
332.58/332.63	c |   2253452 |     870    24824    74817 |        1   168269     31 |  0.000 % |
332.58/332.63	c |   2254429 |     870    24824    74817 |        1   169246     32 |  0.000 % |
332.58/332.63	c |   2254650 |     870    24824    74817 |        1   169467     32 |  0.000 % |
332.58/332.63	c |   2254886 |     870    24824    74817 |        1   169703     32 |  0.000 % |
332.58/332.63	c |   2254986 |     870    24824    74817 |        1   169803     32 |  0.000 % |
332.58/332.63	c |   2255087 |     870    24824    74817 |        1   169904     32 |  0.000 % |
332.58/332.63	c |   2255654 |     870    24824    74817 |        1   170471     32 |  0.000 % |
332.58/332.63	c |   2258058 |     870    24824    74817 |        1   172875     32 |  0.000 % |
332.58/332.63	c |   8250222 |     870    24824    74817 |        1   332041     31 |  0.000 % |
332.58/332.63	c |   8250453 |     870    24824    74817 |        1   332272     31 |  0.000 % |
332.58/332.63	c |   8250620 |     870    24824    74817 |        1   332439     31 |  0.000 % |
332.58/332.63	c |   8250895 |     870    24824    74817 |        1   332714     31 |  0.000 % |
332.58/332.63	c |   8251073 |     870    24824    74817 |        1   332892     31 |  0.000 % |
332.58/332.63	c |   8251799 |     870    24824    74817 |        1   333618     31 |  0.000 % |
332.58/332.63	c |   8252651 |     870    24824    74817 |        1   334470     31 |  0.000 % |
332.58/332.63	c |   8252753 |     870    24824    74817 |        1   334572     31 |  0.000 % |
332.58/332.63	c |   8252926 |     870    24824    74817 |        1   334745     31 |  0.000 % |
332.58/332.63	c |   8253030 |     870    24824    74817 |        1   334849     31 |  0.000 % |
332.58/332.63	c |   8253131 |     870    24824    74817 |        1   334950     31 |  0.000 % |
332.58/332.63	c |   8253231 |     870    24824    74817 |        1   335050     31 |  0.000 % |
332.58/332.63	c |   8253559 |     870    24824    74817 |        1   335378     31 |  0.000 % |
332.58/332.63	c |   8253939 |     870    24824    74817 |        1   335758     31 |  0.000 % |
332.58/332.63	c |   8254039 |     870    24824    74817 |        1   335858     31 |  0.000 % |
332.58/332.63	c |   8254140 |     870    24824    74817 |        1   335959     31 |  0.000 % |
332.58/332.63	c |   8254358 |     870    24824    74817 |        1   336177     31 |  0.000 % |
332.58/332.63	c |   8254494 |     870    24824    74817 |        1   336313     31 |  0.000 % |
332.58/332.63	c |   8254669 |     870    24824    74817 |        1   336488     31 |  0.000 % |
332.58/332.63	c |   8254770 |     870    24824    74817 |        1   336589     31 |  0.000 % |
332.58/332.63	c |   8254891 |     870    24824    74817 |        1   336710     31 |  0.000 % |
332.58/332.63	c |   8254992 |     870    24824    74817 |        1   336811     31 |  0.000 % |
332.58/332.63	c |   8255093 |     870    24824    74817 |        1   336912     31 |  0.000 % |
332.58/332.63	c |   8255195 |     870    24824    74817 |        1   337014     31 |  0.000 % |
332.88/332.95	c |   8255297 |     870    24824    74817 |        1   337116     31 |  0.000 % |
332.88/332.95	c |   8255397 |     870    24824    74817 |        1   337216     31 |  0.000 % |
332.88/332.95	c |   8255497 |     870    24824    74817 |        1   337316     31 |  0.000 % |
332.88/332.95	c |   8255597 |     870    24824    74817 |        1   337416     31 |  0.000 % |
332.88/332.95	c |   8255698 |     870    24824    74817 |        1   337517     31 |  0.000 % |
332.88/332.95	c |   8255798 |     870    24824    74817 |        1   337617     31 |  0.000 % |
332.88/332.95	c |   8255901 |     870    24824    74817 |        1   337720     31 |  0.000 % |
332.88/332.95	c |   8256001 |     870    24824    74817 |        1   337820     31 |  0.000 % |
332.88/332.95	c |   8256101 |     870    24824    74817 |        1   337920     31 |  0.000 % |
332.88/332.95	c |   8256202 |     870    24824    74817 |        1   338021     31 |  0.000 % |
332.88/332.95	c |   8256302 |     870    24824    74817 |        1   338121     31 |  0.000 % |
332.88/332.95	c |   8256402 |     870    24824    74817 |        1   338221     31 |  0.000 % |
332.88/332.95	c |   8256502 |     870    24824    74817 |        1   338321     31 |  0.000 % |
332.88/332.95	c |   8256603 |     870    24824    74817 |        1   338422     31 |  0.000 % |
332.88/332.95	c |   8256703 |     870    24824    74817 |        1   338522     31 |  0.000 % |
332.88/332.95	c |   8256803 |     870    24824    74817 |        1   338622     31 |  0.000 % |
332.88/332.95	c |   8256905 |     870    24824    74817 |        1   338724     31 |  0.000 % |
332.88/332.95	c |   8257005 |     870    24824    74817 |        1   338824     31 |  0.000 % |
332.88/332.95	c |   8257105 |     870    24824    74817 |        1   338924     31 |  0.000 % |
332.88/332.95	c |   8257207 |     870    24824    74817 |        1   339026     31 |  0.000 % |
332.88/332.95	c |   8257319 |     870    24824    74817 |        1   339138     31 |  0.000 % |
332.88/332.95	c |   8257420 |     870    24824    74817 |        1   339239     31 |  0.000 % |
332.88/332.95	c |   8257520 |     870    24824    74817 |        1   339339     31 |  0.000 % |
332.88/332.95	c |   8257620 |     870    24824    74817 |        1   339439     31 |  0.000 % |
332.88/332.95	c |   8257720 |     870    24824    74817 |        1   339539     31 |  0.000 % |
332.88/332.95	c |   8257821 |     870    24824    74817 |        1   339640     31 |  0.000 % |
332.88/332.95	c |   8257921 |     870    24824    74817 |        1   339740     31 |  0.000 % |
332.88/332.95	c |   8258021 |     870    24824    74817 |        1   339840     31 |  0.000 % |
332.88/332.95	c |   8258121 |     870    24824    74817 |        1   339940     31 |  0.000 % |
332.88/332.95	c |   8258222 |     870    24824    74817 |        1   340041     31 |  0.000 % |
332.88/332.95	c |   8258323 |     870    24824    74817 |        1   340142     31 |  0.000 % |
332.88/332.95	c |   8258424 |     870    24824    74817 |        1   340243     31 |  0.000 % |
332.88/332.95	c |   8259661 |     870    24824    74817 |        1   341480     31 |  0.000 % |
332.88/332.95	c |   8259761 |     870    24824    74817 |        1   341580     31 |  0.000 % |
332.88/332.95	c |   8260819 |     870    24824    74817 |        1   342638     32 |  0.000 % |
332.88/332.95	c |   8260927 |     870    24824    74817 |        1   342746     32 |  0.000 % |
332.88/332.95	c |   8262652 |     870    24824    74817 |        1   344471     32 |  0.000 % |
332.88/332.95	c |   8262872 |     870    24824    74817 |        1   344691     32 |  0.000 % |
332.88/332.95	c |   8263022 |     870    24824    74817 |        1   344841     32 |  0.000 % |
332.88/332.95	c |   8263138 |     870    24824    74817 |        1   344957     32 |  0.000 % |
332.88/332.95	c |   8263238 |     870    24824    74817 |        1   345057     32 |  0.000 % |
332.88/332.95	c |   8263338 |     870    24824    74817 |        1   345157     32 |  0.000 % |
332.88/332.95	c |   8263522 |     870    24824    74817 |        1   345341     32 |  0.000 % |
332.88/332.95	c |   8263622 |     870    24824    74817 |        1   345441     32 |  0.000 % |
332.88/332.95	c |   8263722 |     870    24824    74817 |        1   345541     32 |  0.000 % |
332.88/332.95	c |   8263822 |     870    24824    74817 |        1   345641     32 |  0.000 % |
332.88/332.95	c |   8263922 |     870    24824    74817 |        1   345741     32 |  0.000 % |
332.88/332.95	c |   8264317 |     870    24824    74817 |        1   346136     32 |  0.000 % |
332.88/332.95	c |   8264418 |     870    24824    74817 |        1   346237     32 |  0.000 % |
332.88/332.95	c |   8264635 |     870    24824    74817 |        1   346454     32 |  0.000 % |
333.58/333.67	c |   8264849 |     870    24824    74817 |        1   346668     32 |  0.000 % |
333.58/333.67	c |   8265201 |     870    24824    74817 |        1   347020     32 |  0.000 % |
333.58/333.67	c |   8265302 |     870    24824    74817 |        1   347121     32 |  0.000 % |
333.58/333.67	c |   8265415 |     870    24824    74817 |        1   347234     32 |  0.000 % |
333.58/333.67	c |   8265516 |     870    24824    74817 |        1   347335     32 |  0.000 % |
333.58/333.67	c |   8265723 |     870    24824    74817 |        1   347542     32 |  0.000 % |
333.58/333.67	c |   8265911 |     870    24824    74817 |        1   347730     32 |  0.000 % |
333.58/333.67	c |   8266011 |     870    24824    74817 |        1   347830     32 |  0.000 % |
333.58/333.67	c |   8266113 |     870    24824    74817 |        1   347932     32 |  0.000 % |
333.58/333.67	c |   8266215 |     870    24824    74817 |        1   348034     32 |  0.000 % |
333.58/333.67	c |   8266355 |     870    24824    74817 |        1   348174     32 |  0.000 % |
333.58/333.67	c |   8266457 |     870    24824    74817 |        1   348276     32 |  0.000 % |
333.58/333.67	c |   8266559 |     870    24824    74817 |        1   348378     32 |  0.000 % |
333.58/333.67	c |   8266659 |     870    24824    74817 |        1   348478     32 |  0.000 % |
333.58/333.67	c |   8266761 |     870    24824    74817 |        1   348580     32 |  0.000 % |
333.58/333.67	c |   8266990 |     870    24824    74817 |        1   348809     32 |  0.000 % |
333.58/333.67	c |   8267090 |     870    24824    74817 |        1   348909     32 |  0.000 % |
333.58/333.67	c |   8267190 |     870    24824    74817 |        1   349009     32 |  0.000 % |
333.58/333.67	c |   8267290 |     870    24824    74817 |        1   349109     32 |  0.000 % |
333.58/333.67	c |   8267390 |     870    24824    74817 |        1   349209     32 |  0.000 % |
333.58/333.67	c |   8267490 |     870    24824    74817 |        1   349309     32 |  0.000 % |
333.58/333.67	c |   8267590 |     870    24824    74817 |        1   349409     32 |  0.000 % |
333.58/333.67	c |   8267691 |     870    24824    74817 |        1   349510     32 |  0.000 % |
333.58/333.67	c |   8267791 |     870    24824    74817 |        1   349610     32 |  0.000 % |
333.58/333.67	c |   8267892 |     870    24824    74817 |        1   349711     32 |  0.000 % |
333.58/333.67	c |   8267993 |     870    24824    74817 |        1   349812     32 |  0.000 % |
333.58/333.67	c |   8268094 |     870    24824    74817 |        1   349913     32 |  0.000 % |
333.58/333.67	c |   8268197 |     870    24824    74817 |        1   350016     32 |  0.000 % |
333.58/333.67	c |   8268297 |     870    24824    74817 |        1   350116     32 |  0.000 % |
333.58/333.67	c |   8268397 |     870    24824    74817 |        1   350216     32 |  0.000 % |
333.58/333.67	c |   8268537 |     870    24824    74817 |        1   350356     32 |  0.000 % |
333.58/333.67	c |   8268693 |     870    24824    74817 |        1   350512     32 |  0.000 % |
333.58/333.67	c |   8268959 |     870    24824    74817 |        1   350778     32 |  0.000 % |
333.58/333.67	c |   8269059 |     870    24824    74817 |        1   350878     32 |  0.000 % |
333.58/333.67	c |   8269159 |     870    24824    74817 |        1   350978     32 |  0.000 % |
333.58/333.67	c |   8269259 |     870    24824    74817 |        1   351078     32 |  0.000 % |
333.58/333.67	c |   8269359 |     870    24824    74817 |        1   351178     32 |  0.000 % |
333.58/333.67	c |   8269511 |     870    24824    74817 |        1   351330     32 |  0.000 % |
333.58/333.67	c |   8269612 |     870    24824    74817 |        1   351431     32 |  0.000 % |
333.58/333.67	c |   8269713 |     870    24824    74817 |        1   351532     32 |  0.000 % |
333.58/333.67	c |   8269814 |     870    24824    74817 |        1   351633     32 |  0.000 % |
333.58/333.67	c |   8269914 |     870    24824    74817 |        1   351733     32 |  0.000 % |
333.58/333.67	c |   8270017 |     870    24824    74817 |        1   351836     32 |  0.000 % |
333.58/333.67	c |   8270549 |     870    24824    74817 |        1   352368     32 |  0.000 % |
333.58/333.67	c |   8270649 |     870    24824    74817 |        1   352468     32 |  0.000 % |
333.58/333.67	c |   8270750 |     870    24824    74817 |        1   352569     32 |  0.000 % |
333.58/333.67	c |   8270851 |     870    24824    74817 |        1   352670     32 |  0.000 % |
333.58/333.67	c |   8279341 |     870    24824    74817 |        1   361160     32 |  0.000 % |
333.58/333.67	c |   8283217 |     870    24824    74817 |        1   365036     32 |  0.000 % |
333.58/333.67	c |   8283515 |     870    24824    74817 |        1   365334     32 |  0.000 % |
335.98/336.04	c |   8283943 |     870    24824    74817 |        1   365762     32 |  0.000 % |
335.98/336.04	c |   8286551 |     870    24824    74817 |        1   368370     32 |  0.000 % |
335.98/336.04	c |   8295498 |     870    24824    74817 |        1   377317     32 |  0.000 % |
335.98/336.04	c |   8295599 |     870    24824    74817 |        1   377418     32 |  0.000 % |
335.98/336.04	c |   8295872 |     870    24824    74817 |        1   377691     32 |  0.000 % |
335.98/336.04	c |   8308917 |     870    24824    74817 |        1   390736     32 |  0.000 % |
335.98/336.04	c |   8310363 |     870    24824    74817 |        1   392182     32 |  0.000 % |
335.98/336.04	c |   8310464 |     870    24824    74817 |        1   392283     32 |  0.000 % |
335.98/336.04	c |   8310565 |     870    24824    74817 |        1   392384     32 |  0.000 % |
335.98/336.04	c |   8310666 |     870    24824    74817 |        1   392485     32 |  0.000 % |
335.98/336.04	c |   8310766 |     870    24824    74817 |        1   392585     32 |  0.000 % |
335.98/336.04	c |   8310874 |     870    24824    74817 |        1   392693     32 |  0.000 % |
335.98/336.04	c |   8311109 |     870    24824    74817 |        1   392928     32 |  0.000 % |
335.98/336.04	c |   8311209 |     870    24824    74817 |        1   393028     32 |  0.000 % |
335.98/336.04	c |   8311310 |     870    24824    74817 |        1   393129     32 |  0.000 % |
335.98/336.04	c |   8311746 |     870    24824    74817 |        1   393565     32 |  0.000 % |
335.98/336.04	c |   8313053 |     870    24824    74817 |        1   394872     32 |  0.000 % |
335.98/336.04	c |   8313320 |     870    24824    74817 |        1   395139     32 |  0.000 % |
335.98/336.04	c |   8313731 |     870    24824    74817 |        1   395550     32 |  0.000 % |
335.98/336.04	c |   8314164 |     870    24824    74817 |        1   395983     32 |  0.000 % |
335.98/336.04	c |   8315920 |     870    24824    74817 |        1   397739     32 |  0.000 % |
335.98/336.04	c |   8316221 |     870    24824    74817 |        1   398040     32 |  0.000 % |
335.98/336.04	c |   8317177 |     870    24824    74817 |        1   398996     32 |  0.000 % |
335.98/336.04	c |   8317628 |     870    24824    74817 |        1   399447     32 |  0.000 % |
335.98/336.04	c |   8317776 |     870    24824    74817 |        1   399595     32 |  0.000 % |
335.98/336.04	c |   8317876 |     870    24824    74817 |        1   399695     32 |  0.000 % |
335.98/336.04	c |   8318049 |     870    24824    74817 |        1   399868     32 |  0.000 % |
335.98/336.04	c |   8318242 |     870    24824    74817 |        1   400061     32 |  0.000 % |
335.98/336.04	c |   8318682 |     870    24824    74817 |        1   400501     32 |  0.000 % |
335.98/336.04	c |   8318782 |     870    24824    74817 |        1   400601     32 |  0.000 % |
335.98/336.04	c |   8319374 |     870    24824    74817 |        1   401193     32 |  0.000 % |
335.98/336.04	c |   8319617 |     870    24824    74817 |        1   401436     32 |  0.000 % |
335.98/336.04	c |   8320671 |     870    24824    74817 |        1   402490     32 |  0.000 % |
335.98/336.04	c |   8333625 |     870    24824    74817 |        1   211241     29 |  0.000 % |
335.98/336.04	c |   8333727 |     870    24824    74817 |        1   211343     29 |  0.000 % |
335.98/336.04	c |   8334048 |     870    24824    74817 |        1   211664     29 |  0.000 % |
335.98/336.04	c |   8334152 |     870    24824    74817 |        1   211768     29 |  0.000 % |
335.98/336.04	c |   8334305 |     870    24824    74817 |        1   211921     29 |  0.000 % |
335.98/336.04	c |   8335947 |     870    24824    74817 |        1   213563     29 |  0.000 % |
335.98/336.04	c |   8336932 |     870    24824    74817 |        1   214548     29 |  0.000 % |
335.98/336.04	c |   8337054 |     870    24824    74817 |        1   214670     29 |  0.000 % |
335.98/336.04	c |   8337157 |     870    24824    74817 |        1   214773     29 |  0.000 % |
335.98/336.04	c |   8337257 |     870    24824    74817 |        1   214873     29 |  0.000 % |
335.98/336.04	c |   8337426 |     870    24824    74817 |        1   215042     29 |  0.000 % |
335.98/336.04	c |   8337526 |     870    24824    74817 |        1   215142     29 |  0.000 % |
335.98/336.04	c |   8337628 |     870    24824    74817 |        1   215244     29 |  0.000 % |
335.98/336.04	c |   8337838 |     870    24824    74817 |        1   215454     29 |  0.000 % |
335.98/336.04	c |   8337938 |     870    24824    74817 |        1   215554     29 |  0.000 % |
335.98/336.04	c |   8338041 |     870    24824    74817 |        1   215657     29 |  0.000 % |
335.98/336.04	c |   8341277 |     870    24824    74817 |        1   218893     30 |  0.000 % |
344.98/345.08	c |   8342235 |     870    24824    74817 |        1   219851     30 |  0.000 % |
344.98/345.08	c |   8342365 |     870    24824    74817 |        1   219981     30 |  0.000 % |
344.98/345.08	c |   8342466 |     870    24824    74817 |        1   220082     30 |  0.000 % |
344.98/345.08	c |   8342615 |     870    24824    74817 |        1   220231     30 |  0.000 % |
344.98/345.08	c |   8362619 |     870    24824    74817 |        1   240235     30 |  0.000 % |
344.98/345.08	c |   8367932 |     870    24824    74817 |        1   245548     30 |  0.000 % |
344.98/345.08	c |   8369362 |     870    24824    74817 |        1   246978     30 |  0.000 % |
344.98/345.08	c |   8371196 |     870    24824    74817 |        1   248812     30 |  0.000 % |
344.98/345.08	c |   8371395 |     870    24824    74817 |        1   249011     30 |  0.000 % |
344.98/345.08	c |   8372061 |     870    24824    74817 |        1   249677     30 |  0.000 % |
344.98/345.08	c |   8372162 |     870    24824    74817 |        1   249778     30 |  0.000 % |
344.98/345.08	c |   8383872 |     870    24824    74817 |        1   261488     30 |  0.000 % |
344.98/345.08	c |   8384742 |     870    24824    74817 |        1   262358     30 |  0.000 % |
344.98/345.08	c |   8385100 |     870    24824    74817 |        1   262716     30 |  0.000 % |
344.98/345.08	c |   8456288 |     870    24824    74817 |        1   333904     30 |  0.000 % |
344.98/345.08	c |   8520408 |     870    24824    74817 |        1   398024     30 |  0.000 % |
344.98/345.08	c |   8522157 |     870    24824    74817 |        1   399773     30 |  0.000 % |
344.98/345.08	c |   8522542 |     870    24824    74817 |        1   400158     30 |  0.000 % |
344.98/345.08	c |   8522930 |     870    24824    74817 |        1   400546     30 |  0.000 % |
344.98/345.08	c |   8523431 |     870    24824    74817 |        1   401047     30 |  0.000 % |
344.98/345.08	c |   8523532 |     870    24824    74817 |        1   401148     30 |  0.000 % |
344.98/345.08	c |   8523678 |     870    24824    74817 |        1   401294     30 |  0.000 % |
344.98/345.08	c |   8523841 |     870    24824    74817 |        1   401457     30 |  0.000 % |
344.98/345.08	c |   8523942 |     870    24824    74817 |        1   401558     30 |  0.000 % |
344.98/345.08	c |   8524077 |     870    24824    74817 |        1   401693     30 |  0.000 % |
344.98/345.08	c |   8524795 |     870    24824    74817 |        1   402411     30 |  0.000 % |
344.98/345.08	c |   8524986 |     870    24824    74817 |        1   402602     30 |  0.000 % |
344.98/345.08	c |   8525863 |     870    24824    74817 |        1   403479     30 |  0.000 % |
344.98/345.08	c |   8525964 |     870    24824    74817 |        1   403580     30 |  0.000 % |
344.98/345.08	c |   8526474 |     870    24824    74817 |        1   404090     30 |  0.000 % |
344.98/345.08	c |   8526792 |     870    24824    74817 |        1   404408     30 |  0.000 % |
344.98/345.08	c |   8526893 |     870    24824    74817 |        1   404509     30 |  0.000 % |
344.98/345.08	c |   8526994 |     870    24824    74817 |        1   404610     30 |  0.000 % |
344.98/345.08	c |   8527094 |     870    24824    74817 |        1   404710     30 |  0.000 % |
344.98/345.08	c |   8527194 |     870    24824    74817 |        1   404810     30 |  0.000 % |
344.98/345.08	c |   8527296 |     870    24824    74817 |        1   404912     30 |  0.000 % |
344.98/345.08	c |   8527397 |     870    24824    74817 |        1   405013     30 |  0.000 % |
344.98/345.08	c |   8527561 |     870    24824    74817 |        1   405177     30 |  0.000 % |
344.98/345.08	c |   8527662 |     870    24824    74817 |        1   405278     30 |  0.000 % |
344.98/345.08	c |   8527762 |     870    24824    74817 |        1   405378     30 |  0.000 % |
344.98/345.08	c |   8527862 |     870    24824    74817 |        1   405478     30 |  0.000 % |
344.98/345.08	c |   8528266 |     870    24824    74817 |        1   405882     30 |  0.000 % |
344.98/345.08	c |   8528846 |     870    24824    74817 |        1   406462     30 |  0.000 % |
344.98/345.08	c |   8528946 |     870    24824    74817 |        1   406562     30 |  0.000 % |
344.98/345.08	c |   8529047 |     870    24824    74817 |        1   406663     30 |  0.000 % |
344.98/345.08	c |   8531222 |     870    24824    74817 |        1   408838     30 |  0.000 % |
344.98/345.08	c |   8531521 |     870    24824    74817 |        1   409137     30 |  0.000 % |
344.98/345.08	c |   8531691 |     870    24824    74817 |        1   409307     30 |  0.000 % |
344.98/345.08	c |   8534461 |     870    24824    74817 |        1   412077     30 |  0.000 % |
360.98/361.08	c |   8537119 |     870    24824    74817 |        1   207936     29 |  0.000 % |
360.98/361.08	c |   8575442 |     870    24824    74817 |        1   246259     29 |  0.000 % |
360.98/361.08	c |   8613694 |     870    24824    74817 |        1   284511     30 |  0.000 % |
360.98/361.08	c |   8613794 |     870    24824    74817 |        1   284611     30 |  0.000 % |
360.98/361.08	c |   8645550 |     870    24824    74817 |        1   316367     30 |  0.000 % |
360.98/361.08	c |   8645910 |     870    24824    74817 |        1   316727     30 |  0.000 % |
360.98/361.08	c |   8646055 |     870    24824    74817 |        1   316872     30 |  0.000 % |
360.98/361.08	c |   8646155 |     870    24824    74817 |        1   316972     30 |  0.000 % |
360.98/361.08	c |   8646257 |     870    24824    74817 |        1   317074     30 |  0.000 % |
360.98/361.08	c |   8646768 |     870    24824    74817 |        1   317585     30 |  0.000 % |
360.98/361.08	c |   8648053 |     870    24824    74817 |        1   318870     30 |  0.000 % |
360.98/361.08	c |   8649295 |     870    24824    74817 |        1   320112     30 |  0.000 % |
360.98/361.08	c |   8649463 |     870    24824    74817 |        1   320280     30 |  0.000 % |
360.98/361.08	c |   8649565 |     870    24824    74817 |        1   320382     30 |  0.000 % |
360.98/361.08	c |   8649666 |     870    24824    74817 |        1   320483     30 |  0.000 % |
360.98/361.08	c |   8649848 |     870    24824    74817 |        1   320665     30 |  0.000 % |
360.98/361.08	c |   8650045 |     870    24824    74817 |        1   320862     30 |  0.000 % |
360.98/361.08	c |   8650147 |     870    24824    74817 |        1   320964     30 |  0.000 % |
360.98/361.08	c |   8651237 |     870    24824    74817 |        1   322054     30 |  0.000 % |
360.98/361.08	c |   8651342 |     870    24824    74817 |        1   322159     30 |  0.000 % |
360.98/361.08	c |   8653915 |     870    24824    74817 |        1   324732     30 |  0.000 % |
360.98/361.08	c |   8654408 |     870    24824    74817 |        1   325225     30 |  0.000 % |
360.98/361.08	c |   8698945 |     870    24824    74817 |        1   369762     30 |  0.000 % |
360.98/361.08	c |   8763381 |     870    24824    74817 |        1   224794     29 |  0.000 % |
360.98/361.08	c |   8767238 |     870    24824    74817 |        1   228651     29 |  0.000 % |
360.98/361.08	c |   8767564 |     870    24824    74817 |        1   228977     29 |  0.000 % |
360.98/361.08	c |   8817093 |     870    24824    74817 |        1   278506     30 |  0.000 % |
360.98/361.08	c |   8862847 |     870    24824    74817 |        1   324260     30 |  0.000 % |
360.98/361.08	c |   8862949 |     870    24824    74817 |        1   324362     30 |  0.000 % |
360.98/361.08	c |   8863351 |     870    24824    74817 |        1   324764     30 |  0.000 % |
360.98/361.08	c |   8863453 |     870    24824    74817 |        1   324866     30 |  0.000 % |
360.98/361.08	c |   8863554 |     870    24824    74817 |        1   324967     30 |  0.000 % |
360.98/361.08	c |   8864061 |     870    24824    74817 |        1   325474     30 |  0.000 % |
360.98/361.08	c |   8864161 |     870    24824    74817 |        1   325574     30 |  0.000 % |
360.98/361.08	c |   8864261 |     870    24824    74817 |        1   325674     30 |  0.000 % |
360.98/361.08	c |   8913066 |     870    24824    74817 |        1   374479     30 |  0.000 % |
360.98/361.08	c |   8913616 |     870    24824    74817 |        1   375029     30 |  0.000 % |
360.98/361.08	c |   8914423 |     870    24824    74817 |        1   375836     30 |  0.000 % |
360.98/361.08	c |   8926806 |     870    24824    74817 |        1   388219     30 |  0.000 % |
360.98/361.08	c |   8926971 |     870    24824    74817 |        1   388384     30 |  0.000 % |
360.98/361.08	c |   8928343 |     870    24824    74817 |        1   389756     30 |  0.000 % |
360.98/361.08	c |   8931500 |     870    24824    74817 |        1   392913     31 |  0.000 % |
360.98/361.08	c |   8931616 |     870    24824    74817 |        1   393029     31 |  0.000 % |
360.98/361.08	c |   8931870 |     870    24824    74817 |        1   393283     31 |  0.000 % |
360.98/361.08	c |   8931974 |     870    24824    74817 |        1   393387     31 |  0.000 % |
360.98/361.08	c |   8933020 |     870    24824    74817 |        1   394433     31 |  0.000 % |
360.98/361.08	c |   8933235 |     870    24824    74817 |        1   394648     31 |  0.000 % |
360.98/361.08	c |   8933535 |     870    24824    74817 |        1   394948     31 |  0.000 % |
360.98/361.08	c |   8934771 |     870    24824    74817 |        1   396184     31 |  0.000 % |
360.98/361.08	c |   8934871 |     870    24824    74817 |        1   396284     31 |  0.000 % |
414.58/414.65	c |   8935445 |     870    24824    74817 |        1   396858     31 |  0.000 % |
414.58/414.65	c |   8935545 |     870    24824    74817 |        1   396958     31 |  0.000 % |
414.58/414.65	c |   8935786 |     870    24824    74817 |        1   397199     31 |  0.000 % |
414.58/414.65	c |   8935977 |     870    24824    74817 |        1   397390     31 |  0.000 % |
414.58/414.65	c |   8936624 |     870    24824    74817 |        1   398037     31 |  0.000 % |
414.58/414.65	c |   8936725 |     870    24824    74817 |        1   398138     31 |  0.000 % |
414.58/414.65	c |   8936825 |     870    24824    74817 |        1   398238     31 |  0.000 % |
414.58/414.65	c |   8937200 |     870    24824    74817 |        1   398613     31 |  0.000 % |
414.58/414.65	c |   8937304 |     870    24824    74817 |        1   398717     31 |  0.000 % |
414.58/414.65	c |   8953014 |     870    24824    74817 |        1   414427     31 |  0.000 % |
414.58/414.65	c |   8953238 |     870    24824    74817 |        1   414651     31 |  0.000 % |
414.58/414.65	c |   8953719 |     870    24824    74817 |        1   415132     31 |  0.000 % |
414.58/414.65	c |   8953843 |     870    24824    74817 |        1   415256     31 |  0.000 % |
414.58/414.65	c |   8954271 |     870    24824    74817 |        1   415684     31 |  0.000 % |
414.58/414.65	c |   8954421 |     870    24824    74817 |        1   415834     31 |  0.000 % |
414.58/414.65	c |   8954568 |     870    24824    74817 |        1   415981     31 |  0.000 % |
414.58/414.65	c |   8954669 |     870    24824    74817 |        1   416082     31 |  0.000 % |
414.58/414.65	c |   8954772 |     870    24824    74817 |        1   416185     31 |  0.000 % |
414.58/414.65	c |   8954872 |     870    24824    74817 |        1   416285     31 |  0.000 % |
414.58/414.65	c |   8954973 |     870    24824    74817 |        1   416386     31 |  0.000 % |
414.58/414.65	c |   8955073 |     870    24824    74817 |        1   416486     31 |  0.000 % |
414.58/414.65	c |   8955175 |     870    24824    74817 |        1   416588     31 |  0.000 % |
414.58/414.65	c |   8955754 |     870    24824    74817 |        1   417167     31 |  0.000 % |
414.58/414.65	c |   8956237 |     870    24824    74817 |        1   417650     31 |  0.000 % |
414.58/414.65	c |   8956548 |     870    24824    74817 |        1   417961     31 |  0.000 % |
414.58/414.65	c |   8972958 |     870    24824    74817 |        1   222369     29 |  0.000 % |
414.58/414.65	c |   8973060 |     870    24824    74817 |        1   222471     29 |  0.000 % |
414.58/414.65	c |   8973162 |     870    24824    74817 |        1   222573     29 |  0.000 % |
414.58/414.65	c |   8997445 |     870    24824    74817 |        1   246856     29 |  0.000 % |
414.58/414.65	c |   8997716 |     870    24824    74817 |        1   247127     29 |  0.000 % |
414.58/414.65	c |   8997816 |     870    24824    74817 |        1   247227     29 |  0.000 % |
414.58/414.65	c |   9541247 |     870    24824    74817 |        1   358859     29 |  0.000 % |
414.58/414.65	c |   9541392 |     870    24824    74817 |        1   359004     29 |  0.000 % |
414.58/414.65	c |   9546484 |     870    24824    74817 |        1   364096     29 |  0.000 % |
414.58/414.65	c |   9649313 |     870    24824    74817 |        1   247125     28 |  0.000 % |
414.58/414.65	c |   9914616 |     870    24824    74817 |        1   290027     29 |  0.000 % |
414.58/414.65	c |  10131605 |     870    24824    74817 |        1   282017     28 |  0.000 % |
414.58/414.65	c |  10133399 |     870    24824    74817 |        1   283811     28 |  0.000 % |
414.58/414.65	c |  10133729 |     870    24824    74817 |        1   284141     28 |  0.000 % |
414.58/414.65	c |  10133829 |     870    24824    74817 |        1   284241     28 |  0.000 % |
414.58/414.65	c |  10134303 |     870    24824    74817 |        1   284715     28 |  0.000 % |
414.58/414.65	c |  10134558 |     870    24824    74817 |        1   284970     28 |  0.000 % |
414.58/414.65	c |  10134659 |     870    24824    74817 |        1   285071     28 |  0.000 % |
414.58/414.65	c |  10134815 |     870    24824    74817 |        1   285227     28 |  0.000 % |
414.58/414.65	c |  10135757 |     870    24824    74817 |        1   286169     28 |  0.000 % |
414.58/414.65	c |  10136234 |     870    24824    74817 |        1   286646     28 |  0.000 % |
414.58/414.65	c |  10136346 |     870    24824    74817 |        1   286758     28 |  0.000 % |
414.58/414.65	c |  10136587 |     870    24824    74817 |        1   286999     28 |  0.000 % |
414.58/414.65	c |  10136689 |     870    24824    74817 |        1   287101     28 |  0.000 % |
414.58/414.65	c |  10147997 |     870    24824    74817 |        1   298409     29 |  0.000 % |
452.08/452.19	c |  10203538 |     870    24824    74817 |        1   353950     29 |  0.000 % |
452.08/452.19	c |  10467878 |     870    24824    74817 |        1   390696     30 |  0.000 % |
452.08/452.19	c |  10800148 |     870    24824    74817 |        1   259963     29 |  0.000 % |
452.08/452.19	c |  10839847 |     870    24824    74817 |        1   299662     29 |  0.000 % |
452.08/452.19	c |  10843771 |     870    24824    74817 |        1   303586     29 |  0.000 % |
452.08/452.19	c |  10843982 |     870    24824    74817 |        1   303797     29 |  0.000 % |
452.08/452.19	c |  10844212 |     870    24824    74817 |        1   304027     29 |  0.000 % |
452.08/452.19	c |  10845863 |     870    24824    74817 |        1   305678     30 |  0.000 % |
452.08/452.19	c |  10887638 |     870    24824    74817 |        1   347453     30 |  0.000 % |
452.08/452.19	c |  10888249 |     870    24824    74817 |        1   348064     30 |  0.000 % |
452.08/452.19	c |  10888463 |     870    24824    74817 |        1   348278     30 |  0.000 % |
452.08/452.19	c |  10888938 |     870    24824    74817 |        1   348753     30 |  0.000 % |
452.08/452.19	c |  10889263 |     870    24824    74817 |        1   349078     30 |  0.000 % |
452.08/452.19	c |  10889452 |     870    24824    74817 |        1   349267     30 |  0.000 % |
452.08/452.19	c |  10890118 |     870    24824    74817 |        1   349933     30 |  0.000 % |
452.08/452.19	c |  10896428 |     870    24824    74817 |        1   356243     30 |  0.000 % |
452.08/452.19	c |  10897556 |     870    24824    74817 |        1   357371     30 |  0.000 % |
452.08/452.19	c |  10897660 |     870    24824    74817 |        1   357475     30 |  0.000 % |
452.08/452.19	c |  10899225 |     870    24824    74817 |        1   359040     30 |  0.000 % |
452.08/452.19	c |  10899837 |     870    24824    74817 |        1   359652     30 |  0.000 % |
452.08/452.19	c |  10900227 |     870    24824    74817 |        1   360042     30 |  0.000 % |
452.08/452.19	c |  10904992 |     870    24824    74817 |        1   364807     31 |  0.000 % |
452.08/452.19	c |  10905205 |     870    24824    74817 |        1   365020     31 |  0.000 % |
452.08/452.19	c |  10905305 |     870    24824    74817 |        1   365120     31 |  0.000 % |
452.08/452.19	c |  10905526 |     870    24824    74817 |        1   365341     31 |  0.000 % |
452.08/452.19	c |  10905626 |     870    24824    74817 |        1   365441     31 |  0.000 % |
452.08/452.19	c |  10905748 |     870    24824    74817 |        1   365563     31 |  0.000 % |
452.08/452.19	c |  10905978 |     870    24824    74817 |        1   365793     31 |  0.000 % |
452.08/452.19	c |  10906078 |     870    24824    74817 |        1   365893     31 |  0.000 % |
452.08/452.19	c |  10906247 |     870    24824    74817 |        1   366062     31 |  0.000 % |
452.08/452.19	c |  10906347 |     870    24824    74817 |        1   366162     31 |  0.000 % |
452.08/452.19	c |  10906451 |     870    24824    74817 |        1   366266     31 |  0.000 % |
452.08/452.19	c |  10906552 |     870    24824    74817 |        1   366367     31 |  0.000 % |
452.08/452.19	c |  10907279 |     870    24824    74817 |        1   367094     31 |  0.000 % |
452.08/452.19	c |  10907380 |     870    24824    74817 |        1   367195     31 |  0.000 % |
452.08/452.19	c |  10907480 |     870    24824    74817 |        1   367295     31 |  0.000 % |
452.08/452.19	c |  10907580 |     870    24824    74817 |        1   367395     31 |  0.000 % |
452.08/452.19	c |  10907680 |     870    24824    74817 |        1   367495     31 |  0.000 % |
452.08/452.19	c |  10907780 |     870    24824    74817 |        1   367595     31 |  0.000 % |
452.08/452.19	c |  10907880 |     870    24824    74817 |        1   367695     31 |  0.000 % |
452.08/452.19	c |  10907980 |     870    24824    74817 |        1   367795     31 |  0.000 % |
452.08/452.19	c |  10908080 |     870    24824    74817 |        1   367895     31 |  0.000 % |
452.08/452.19	c |  10908180 |     870    24824    74817 |        1   367995     31 |  0.000 % |
452.08/452.19	c |  10908282 |     870    24824    74817 |        1   368097     31 |  0.000 % |
452.08/452.19	c |  10908382 |     870    24824    74817 |        1   368197     31 |  0.000 % |
452.08/452.19	c |  10908484 |     870    24824    74817 |        1   368299     31 |  0.000 % |
452.08/452.19	c |  10908584 |     870    24824    74817 |        1   368399     31 |  0.000 % |
452.08/452.19	c |  10908685 |     870    24824    74817 |        1   368500     31 |  0.000 % |
452.08/452.19	c |  10908787 |     870    24824    74817 |        1   368602     31 |  0.000 % |
452.08/452.19	c |  10908889 |     870    24824    74817 |        1   368704     31 |  0.000 % |
453.19/453.28	c |  10908989 |     870    24824    74817 |        1   368804     31 |  0.000 % |
453.19/453.28	c |  10909089 |     870    24824    74817 |        1   368904     31 |  0.000 % |
453.19/453.28	c |  10909189 |     870    24824    74817 |        1   369004     31 |  0.000 % |
453.19/453.28	c |  10909291 |     870    24824    74817 |        1   369106     31 |  0.000 % |
453.19/453.28	c |  10909392 |     870    24824    74817 |        1   369207     31 |  0.000 % |
453.19/453.28	c |  10909492 |     870    24824    74817 |        1   369307     31 |  0.000 % |
453.19/453.28	c |  10909594 |     870    24824    74817 |        1   369409     31 |  0.000 % |
453.19/453.28	c |  10910485 |     870    24824    74817 |        1   370300     31 |  0.000 % |
453.19/453.28	c |  10910585 |     870    24824    74817 |        1   370400     31 |  0.000 % |
453.19/453.28	c |  10910689 |     870    24824    74817 |        1   370504     31 |  0.000 % |
453.19/453.28	c |  10910797 |     870    24824    74817 |        1   370612     31 |  0.000 % |
453.19/453.28	c |  10910897 |     870    24824    74817 |        1   370712     31 |  0.000 % |
453.19/453.28	c |  10912136 |     870    24824    74817 |        1   371951     31 |  0.000 % |
453.19/453.28	c |  10912236 |     870    24824    74817 |        1   372051     31 |  0.000 % |
453.19/453.28	c |  10912418 |     870    24824    74817 |        1   372233     31 |  0.000 % |
453.19/453.28	c |  10912518 |     870    24824    74817 |        1   372333     31 |  0.000 % |
453.19/453.28	c |  10912618 |     870    24824    74817 |        1   372433     31 |  0.000 % |
453.19/453.28	c |  10912720 |     870    24824    74817 |        1   372535     31 |  0.000 % |
453.19/453.28	c |  10913943 |     870    24824    74817 |        1   373758     31 |  0.000 % |
453.19/453.28	c |  10914123 |     870    24824    74817 |        1   373938     31 |  0.000 % |
453.19/453.28	c |  10916144 |     870    24824    74817 |        1   375959     31 |  0.000 % |
453.19/453.28	c |  10916408 |     870    24824    74817 |        1   376223     31 |  0.000 % |
453.19/453.28	c |  10916508 |     870    24824    74817 |        1   376323     31 |  0.000 % |
453.19/453.28	c |  10916609 |     870    24824    74817 |        1   376424     31 |  0.000 % |
453.19/453.28	c |  10916743 |     870    24824    74817 |        1   376558     31 |  0.000 % |
453.19/453.28	c |  10917070 |     870    24824    74817 |        1   376885     31 |  0.000 % |
453.19/453.28	c |  10923792 |     870    24824    74817 |        1   383607     31 |  0.000 % |
453.19/453.28	c |  10923981 |     870    24824    74817 |        1   383796     31 |  0.000 % |
453.19/453.28	c |  10924132 |     870    24824    74817 |        1   383947     31 |  0.000 % |
453.19/453.28	c |  10924232 |     870    24824    74817 |        1   384047     31 |  0.000 % |
453.19/453.28	c |  10924682 |     870    24824    74817 |        1   384497     31 |  0.000 % |
453.19/453.28	c |  10925128 |     870    24824    74817 |        1   384943     31 |  0.000 % |
453.19/453.28	c |  10925906 |     870    24824    74817 |        1   385721     31 |  0.000 % |
453.19/453.28	c |  10926011 |     870    24824    74817 |        1   385826     31 |  0.000 % |
453.19/453.28	c |  10933023 |     870    24824    74817 |        1   392838     31 |  0.000 % |
453.19/453.28	c |  10942397 |     870    24824    74817 |        1   402212     31 |  0.000 % |
453.19/453.28	c |  10943430 |     870    24824    74817 |        1   403245     31 |  0.000 % |
453.19/453.28	c |  10943530 |     870    24824    74817 |        1   403345     31 |  0.000 % |
453.19/453.28	c |  10943631 |     870    24824    74817 |        1   403446     31 |  0.000 % |
453.19/453.28	c |  10943732 |     870    24824    74817 |        1   403547     31 |  0.000 % |
453.19/453.28	c |  10944195 |     870    24824    74817 |        1   404010     31 |  0.000 % |
453.19/453.28	c |  10944295 |     870    24824    74817 |        1   404110     31 |  0.000 % |
453.19/453.28	c |  10946669 |     870    24824    74817 |        1   406484     31 |  0.000 % |
453.19/453.28	c |  10946782 |     870    24824    74817 |        1   406597     31 |  0.000 % |
453.19/453.28	c |  10946883 |     870    24824    74817 |        1   406698     31 |  0.000 % |
453.19/453.28	c |  10946988 |     870    24824    74817 |        1   406803     31 |  0.000 % |
453.19/453.28	c |  10947166 |     870    24824    74817 |        1   406981     31 |  0.000 % |
453.19/453.28	c |  10947354 |     870    24824    74817 |        1   407169     31 |  0.000 % |
453.19/453.28	c |  10947514 |     870    24824    74817 |        1   407329     31 |  0.000 % |
453.19/453.28	c |  10947636 |     870    24824    74817 |        1   407451     31 |  0.000 % |
460.49/460.56	c |  10947736 |     870    24824    74817 |        1   407551     31 |  0.000 % |
460.49/460.56	c |  10947846 |     870    24824    74817 |        1   407661     31 |  0.000 % |
460.49/460.56	c |  10948179 |     870    24824    74817 |        1   407994     31 |  0.000 % |
460.49/460.56	c |  10948281 |     870    24824    74817 |        1   408096     31 |  0.000 % |
460.49/460.56	c |  10948721 |     870    24824    74817 |        1   408536     32 |  0.000 % |
460.49/460.56	c |  10958496 |     870    24824    74817 |        1   418311     32 |  0.000 % |
460.49/460.56	c |  10976278 |     870    24824    74817 |        1   436093     32 |  0.000 % |
460.49/460.56	c |  10976518 |     870    24824    74817 |        1   436333     32 |  0.000 % |
460.49/460.56	c |  10977188 |     870    24824    74817 |        1   437003     32 |  0.000 % |
460.49/460.56	c |  10977288 |     870    24824    74817 |        1   437103     32 |  0.000 % |
460.49/460.56	c |  10977701 |     870    24824    74817 |        1   437516     32 |  0.000 % |
460.49/460.56	c |  10979004 |     870    24824    74817 |        1   438819     32 |  0.000 % |
460.49/460.56	c |  10979106 |     870    24824    74817 |        1   438921     32 |  0.000 % |
460.49/460.56	c |  10979226 |     870    24824    74817 |        1   439041     32 |  0.000 % |
460.49/460.56	c |  10979372 |     870    24824    74817 |        1   439187     32 |  0.000 % |
460.49/460.56	c |  10979680 |     870    24824    74817 |        1   439495     32 |  0.000 % |
460.49/460.56	c |  10979781 |     870    24824    74817 |        1   439596     32 |  0.000 % |
460.49/460.56	c |  10980000 |     870    24824    74817 |        1   439815     32 |  0.000 % |
460.49/460.56	c |  10980100 |     870    24824    74817 |        1   439915     32 |  0.000 % |
460.49/460.56	c |  10980200 |     870    24824    74817 |        1   440015     32 |  0.000 % |
460.49/460.56	c |  10980300 |     870    24824    74817 |        1   440115     32 |  0.000 % |
460.49/460.56	c |  10980400 |     870    24824    74817 |        1   440215     32 |  0.000 % |
460.49/460.56	c |  10980500 |     870    24824    74817 |        1   440315     32 |  0.000 % |
460.49/460.56	c |  10980600 |     870    24824    74817 |        1   440415     32 |  0.000 % |
460.49/460.56	c |  10980700 |     870    24824    74817 |        1   440515     32 |  0.000 % |
460.49/460.56	c |  10980802 |     870    24824    74817 |        1   440617     32 |  0.000 % |
460.49/460.56	c |  10980902 |     870    24824    74817 |        1   440717     32 |  0.000 % |
460.49/460.56	c |  10981002 |     870    24824    74817 |        1   440817     32 |  0.000 % |
460.49/460.56	c |  10981102 |     870    24824    74817 |        1   440917     32 |  0.000 % |
460.49/460.56	c |  10981274 |     870    24824    74817 |        1   441089     32 |  0.000 % |
460.49/460.56	c |  10981377 |     870    24824    74817 |        1   441192     32 |  0.000 % |
460.49/460.56	c |  10981479 |     870    24824    74817 |        1   441294     32 |  0.000 % |
460.49/460.56	c |  10981774 |     870    24824    74817 |        1   441589     32 |  0.000 % |
460.49/460.56	c |  10981874 |     870    24824    74817 |        1   441689     32 |  0.000 % |
460.49/460.56	c |  10982183 |     870    24824    74817 |        1   441998     32 |  0.000 % |
460.49/460.56	c |  10983283 |     870    24824    74817 |        1   443098     32 |  0.000 % |
460.49/460.56	c |  10988194 |     870    24824    74817 |        1   448009     32 |  0.000 % |
460.49/460.56	c |  10988560 |     870    24824    74817 |        1   448375     32 |  0.000 % |
460.49/460.56	c |  10995266 |     870    24824    74817 |        1   455081     32 |  0.000 % |
460.49/460.56	c |  11013204 |     870    24824    74817 |        1   237618     30 |  0.000 % |
460.49/460.56	c |  11013346 |     870    24824    74817 |        1   237760     30 |  0.000 % |
460.49/460.56	c |  11014450 |     870    24824    74817 |        1   238864     30 |  0.000 % |
460.49/460.56	c |  11027061 |     870    24824    74817 |        1   251475     30 |  0.000 % |
460.49/460.56	c |  11044808 |     870    24824    74817 |        1   269222     30 |  0.000 % |
460.49/460.56	c |  11045218 |     870    24824    74817 |        1   269632     30 |  0.000 % |
460.49/460.56	c |  11046657 |     870    24824    74817 |        1   271071     30 |  0.000 % |
460.49/460.56	c |  11140123 |     870    24824    74817 |        1   364537     31 |  0.000 % |
460.49/460.56	c |  11141801 |     870    24824    74817 |        1   366215     31 |  0.000 % |
460.49/460.56	c |  11158155 |     870    24824    74817 |        1   382569     31 |  0.000 % |
460.49/460.56	c |  11163968 |     870    24824    74817 |        1   388382     31 |  0.000 % |
526.49/526.57	c |  11164068 |     870    24824    74817 |        1   388482     31 |  0.000 % |
526.49/526.57	c |  11164193 |     870    24824    74817 |        1   388607     31 |  0.000 % |
526.49/526.57	c |  11165714 |     870    24824    74817 |        1   390128     31 |  0.000 % |
526.49/526.57	c |  11165814 |     870    24824    74817 |        1   390228     31 |  0.000 % |
526.49/526.57	c |  11165914 |     870    24824    74817 |        1   390328     31 |  0.000 % |
526.49/526.57	c |  11166063 |     870    24824    74817 |        1   390477     31 |  0.000 % |
526.49/526.57	c |  11166163 |     870    24824    74817 |        1   390577     31 |  0.000 % |
526.49/526.57	c |  11166265 |     870    24824    74817 |        1   390679     31 |  0.000 % |
526.49/526.57	c |  11166639 |     870    24824    74817 |        1   391053     31 |  0.000 % |
526.49/526.57	c |  11167071 |     870    24824    74817 |        1   391485     31 |  0.000 % |
526.49/526.57	c |  11167507 |     870    24824    74817 |        1   391921     31 |  0.000 % |
526.49/526.57	c |  11168740 |     870    24824    74817 |        1   393154     31 |  0.000 % |
526.49/526.57	c |  11168866 |     870    24824    74817 |        1   393280     31 |  0.000 % |
526.49/526.57	c |  11171670 |     870    24824    74817 |        1   396084     31 |  0.000 % |
526.49/526.57	c |  11260147 |     870    24824    74817 |        1   246559     30 |  0.000 % |
526.49/526.57	c |  11260728 |     870    24824    74817 |        1   247140     30 |  0.000 % |
526.49/526.57	c |  11261616 |     870    24824    74817 |        1   248028     30 |  0.000 % |
526.49/526.57	c |  11261880 |     870    24824    74817 |        1   248292     30 |  0.000 % |
526.49/526.57	c |  11262258 |     870    24824    74817 |        1   248670     30 |  0.000 % |
526.49/526.57	c |  11262358 |     870    24824    74817 |        1   248770     30 |  0.000 % |
526.49/526.57	c |  11263145 |     870    24824    74817 |        1   249557     30 |  0.000 % |
526.49/526.57	c |  11398153 |     870    24824    74817 |        1   384565     30 |  0.000 % |
526.49/526.57	c |  11398618 |     870    24824    74817 |        1   385030     31 |  0.000 % |
526.49/526.57	c |  11402172 |     870    24824    74817 |        1   388584     31 |  0.000 % |
526.49/526.57	c |  11402475 |     870    24824    74817 |        1   388887     31 |  0.000 % |
526.49/526.57	c |  11402575 |     870    24824    74817 |        1   388987     31 |  0.000 % |
526.49/526.57	c |  11402681 |     870    24824    74817 |        1   389093     31 |  0.000 % |
526.49/526.57	c |  11403803 |     870    24824    74817 |        1   390215     31 |  0.000 % |
526.49/526.57	c |  11404469 |     870    24824    74817 |        1   390881     31 |  0.000 % |
526.49/526.57	c |  11418747 |     870    24824    74817 |        1   405159     31 |  0.000 % |
526.49/526.57	c |  11419938 |     870    24824    74817 |        1   406350     31 |  0.000 % |
526.49/526.57	c |  11557517 |     870    24824    74817 |        1   303330     30 |  0.000 % |
526.49/526.57	c |  11558776 |     870    24824    74817 |        1   304589     30 |  0.000 % |
526.49/526.57	c |  11906322 |     870    24824    74817 |        1   408938     32 |  0.000 % |
526.49/526.57	c |  11907256 |     870    24824    74817 |        1   409872     32 |  0.000 % |
526.49/526.57	c |  11945329 |     870    24824    74817 |        1   447945     32 |  0.000 % |
526.49/526.57	c |  11945429 |     870    24824    74817 |        1   448045     32 |  0.000 % |
526.49/526.57	c |  12580066 |     870    24824    74817 |        1   337483     28 |  0.000 % |
526.49/526.57	c |  12580271 |     870    24824    74817 |        1   337688     28 |  0.000 % |
526.49/526.57	c |  12580725 |     870    24824    74817 |        1   338142     28 |  0.000 % |
526.49/526.57	c |  12580825 |     870    24824    74817 |        1   338242     28 |  0.000 % |
526.49/526.57	c |  12580969 |     870    24824    74817 |        1   338386     28 |  0.000 % |
526.49/526.57	c |  12581071 |     870    24824    74817 |        1   338488     28 |  0.000 % |
526.49/526.57	c |  12581870 |     870    24824    74817 |        1   339287     28 |  0.000 % |
526.49/526.57	c |  12581970 |     870    24824    74817 |        1   339387     28 |  0.000 % |
526.49/526.57	c |  12582269 |     870    24824    74817 |        1   339686     28 |  0.000 % |
526.49/526.57	c |  12582767 |     870    24824    74817 |        1   340184     28 |  0.000 % |
526.49/526.57	c |  12582867 |     870    24824    74817 |        1   340284     28 |  0.000 % |
526.49/526.57	c |  12583108 |     870    24824    74817 |        1   340525     28 |  0.000 % |
526.49/526.57	c |  12584778 |     870    24824    74817 |        1   342195     28 |  0.000 % |
528.18/528.25	c |  12585242 |     870    24824    74817 |        1   342659     28 |  0.000 % |
528.18/528.25	c |  12585342 |     870    24824    74817 |        1   342759     28 |  0.000 % |
528.18/528.25	c |  12585446 |     870    24824    74817 |        1   342863     28 |  0.000 % |
528.18/528.25	c |  12585568 |     870    24824    74817 |        1   342985     28 |  0.000 % |
528.18/528.25	c |  12585672 |     870    24824    74817 |        1   343089     28 |  0.000 % |
528.18/528.25	c |  12585772 |     870    24824    74817 |        1   343189     28 |  0.000 % |
528.18/528.25	c |  12585873 |     870    24824    74817 |        1   343290     28 |  0.000 % |
528.18/528.25	c |  12586023 |     870    24824    74817 |        1   343440     28 |  0.000 % |
528.18/528.25	c |  12586127 |     870    24824    74817 |        1   343544     28 |  0.000 % |
528.18/528.25	c |  12586371 |     870    24824    74817 |        1   343788     28 |  0.000 % |
528.18/528.25	c |  12586471 |     870    24824    74817 |        1   343888     28 |  0.000 % |
528.18/528.25	c |  12586571 |     870    24824    74817 |        1   343988     28 |  0.000 % |
528.18/528.25	c |  12586926 |     870    24824    74817 |        1   344343     28 |  0.000 % |
528.18/528.25	c |  12587027 |     870    24824    74817 |        1   344444     28 |  0.000 % |
528.18/528.25	c |  12587129 |     870    24824    74817 |        1   344546     28 |  0.000 % |
528.18/528.25	c |  12587231 |     870    24824    74817 |        1   344648     28 |  0.000 % |
528.18/528.25	c |  12587332 |     870    24824    74817 |        1   344749     28 |  0.000 % |
528.18/528.25	c |  12587433 |     870    24824    74817 |        1   344850     28 |  0.000 % |
528.18/528.25	c |  12587537 |     870    24824    74817 |        1   344954     28 |  0.000 % |
528.18/528.25	c |  12588556 |     870    24824    74817 |        1   345973     28 |  0.000 % |
528.18/528.25	c |  12588656 |     870    24824    74817 |        1   346073     28 |  0.000 % |
528.18/528.25	c |  12588850 |     870    24824    74817 |        1   346267     28 |  0.000 % |
528.18/528.25	c |  12591313 |     870    24824    74817 |        1   348730     28 |  0.000 % |
528.18/528.25	c |  12591509 |     870    24824    74817 |        1   348926     28 |  0.000 % |
528.18/528.25	c |  12592513 |     870    24824    74817 |        1   349930     29 |  0.000 % |
528.18/528.25	c |  12592883 |     870    24824    74817 |        1   350300     29 |  0.000 % |
528.18/528.25	c |  12593336 |     870    24824    74817 |        1   350753     29 |  0.000 % |
528.18/528.25	c |  12594062 |     870    24824    74817 |        1   351479     29 |  0.000 % |
528.18/528.25	c |  12594162 |     870    24824    74817 |        1   351579     29 |  0.000 % |
528.18/528.25	c |  12594263 |     870    24824    74817 |        1   351680     29 |  0.000 % |
528.18/528.25	c |  12594364 |     870    24824    74817 |        1   351781     29 |  0.000 % |
528.18/528.25	c |  12595302 |     870    24824    74817 |        1   352719     29 |  0.000 % |
528.18/528.25	c |  12596270 |     870    24824    74817 |        1   353687     29 |  0.000 % |
528.18/528.25	c |  12596590 |     870    24824    74817 |        1   354007     29 |  0.000 % |
528.18/528.25	c |  12597347 |     870    24824    74817 |        1   354764     29 |  0.000 % |
528.18/528.25	c |  12597447 |     870    24824    74817 |        1   354864     29 |  0.000 % |
528.18/528.25	c |  12599869 |     870    24824    74817 |        1   357286     29 |  0.000 % |
528.18/528.25	c |  12600028 |     870    24824    74817 |        1   357445     29 |  0.000 % |
528.18/528.25	c |  12600179 |     870    24824    74817 |        1   357596     29 |  0.000 % |
528.18/528.25	c |  12600279 |     870    24824    74817 |        1   357696     29 |  0.000 % |
528.18/528.25	c |  12600591 |     870    24824    74817 |        1   358008     29 |  0.000 % |
528.18/528.25	c |  12601082 |     870    24824    74817 |        1   358499     29 |  0.000 % |
528.18/528.25	c |  12601290 |     870    24824    74817 |        1   358707     29 |  0.000 % |
528.18/528.25	c |  12603938 |     870    24824    74817 |        1   361355     29 |  0.000 % |
528.18/528.25	c |  12604039 |     870    24824    74817 |        1   361456     29 |  0.000 % |
528.18/528.25	c |  12605416 |     870    24824    74817 |        1   362833     29 |  0.000 % |
528.18/528.25	c |  12605786 |     870    24824    74817 |        1   363203     29 |  0.000 % |
528.18/528.25	c |  12605978 |     870    24824    74817 |        1   363395     29 |  0.000 % |
528.18/528.25	c |  12606571 |     870    24824    74817 |        1   363988     29 |  0.000 % |
528.18/528.25	c |  12606671 |     870    24824    74817 |

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3265432-1303552404/watcher-3265432-1303552404 -o /tmp/evaluation-result-3265432-1303552404/solver-3265432-1303552404 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3265432-1303552404.cnf 

running on 2 cores: 1,3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.76 3.91 3.70 2/182 8325
/proc/meminfo: memFree=14553016/32951124 swapFree=67111528/67111528
[pid=8325] ppid=8323 vsize=8704 CPUtime=0 cores=1,3
/proc/8325/stat : 8325 (glucose.sh) S 8323 8325 7764 0 -1 4202496 334 0 0 0 0 0 0 0 23 0 1 0 466841328 8912896 252 33554432000 4194304 4922060 140733904573360 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8325/statm: 2176 252 211 178 0 69 0

[startup+0.105196 s]
/proc/loadavg: 3.76 3.91 3.70 2/182 8325
/proc/meminfo: memFree=14553016/32951124 swapFree=67111528/67111528
[pid=8325] ppid=8323 vsize=8704 CPUtime=0.01 cores=1,3
/proc/8325/stat : 8325 (glucose.sh) S 8323 8325 7764 0 -1 4202496 360 532 0 0 0 0 1 0 23 0 1 0 466841328 8912896 254 33554432000 4194304 4922060 140733904573360 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8325/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8704

[startup+0.200178 s]
/proc/loadavg: 3.76 3.91 3.70 2/182 8325
/proc/meminfo: memFree=14553016/32951124 swapFree=67111528/67111528
[pid=8325] ppid=8323 vsize=8704 CPUtime=0.01 cores=1,3
/proc/8325/stat : 8325 (glucose.sh) S 8323 8325 7764 0 -1 4202496 360 532 0 0 0 0 1 0 23 0 1 0 466841328 8912896 254 33554432000 4194304 4922060 140733904573360 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8325/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8704

[startup+0.300161 s]
/proc/loadavg: 3.76 3.91 3.70 2/182 8325
/proc/meminfo: memFree=14553016/32951124 swapFree=67111528/67111528
[pid=8325] ppid=8323 vsize=8704 CPUtime=0.01 cores=1,3
/proc/8325/stat : 8325 (glucose.sh) S 8323 8325 7764 0 -1 4202496 360 532 0 0 0 0 1 0 23 0 1 0 466841328 8912896 254 33554432000 4194304 4922060 140733904573360 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8325/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8704

[startup+0.700092 s]
/proc/loadavg: 3.76 3.91 3.70 2/182 8325
/proc/meminfo: memFree=14553016/32951124 swapFree=67111528/67111528
[pid=8325] ppid=8323 vsize=8704 CPUtime=0.01 cores=1,3
/proc/8325/stat : 8325 (glucose.sh) S 8323 8325 7764 0 -1 4202496 360 532 0 0 0 0 1 0 23 0 1 0 466841328 8912896 254 33554432000 4194304 4922060 140733904573360 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8325/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8704

[startup+1.50099 s]
/proc/loadavg: 3.76 3.91 3.70 4/188 8344
/proc/meminfo: memFree=14506352/32951124 swapFree=67111528/67111528
[pid=8325] ppid=8323 vsize=8704 CPUtime=0.01 cores=1,3
/proc/8325/stat : 8325 (glucose.sh) S 8323 8325 7764 0 -1 4202496 360 532 0 0 0 0 1 0 23 0 1 0 466841328 8912896 254 33554432000 4194304 4922060 140733904573360 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8325/statm: 2176 254 211 178 0 69 0
[pid=8328] ppid=8325 vsize=29436 CPUtime=1.46 cores=1,3
/proc/8328/stat : 8328 (glucose_static) R 8325 8325 7764 0 -1 4202496 5284 0 0 0 145 1 0 0 25 0 1 0 466841330 30142464 4031 33554432000 4194304 4260849 140736893514832 18446744073709551615 4225056 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8328/statm: 7359 4031 249 17 0 4000 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 38140

[startup+3.1007 s]
/proc/loadavg: 3.76 3.91 3.70 5/186 8408
/proc/meminfo: memFree=14498440/32951124 swapFree=67111528/67111528
[pid=8325] ppid=8323 vsize=8704 CPUtime=0.01 cores=1,3
/proc/8325/stat : 8325 (glucose.sh) S 8323 8325 7764 0 -1 4202496 360 532 0 0 0 0 1 0 23 0 1 0 466841328 8912896 254 33554432000 4194304 4922060 140733904573360 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8325/statm: 2176 254 211 178 0 69 0
[pid=8328] ppid=8325 vsize=44380 CPUtime=3.06 cores=1,3
/proc/8328/stat : 8328 (glucose_static) R 8325 8325 7764 0 -1 4202496 8304 0 0 0 305 1 0 0 25 0 1 0 466841330 45445120 5169 33554432000 4194304 4260849 140736893514832 18446744073709551615 4226610 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8328/statm: 11095 5169 249 17 0 7736 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 53084

[startup+6.30115 s]
/proc/loadavg: 3.78 3.91 3.70 5/194 8423
/proc/meminfo: memFree=14282404/32951124 swapFree=67111528/67111528
[pid=8325] ppid=8323 vsize=8704 CPUtime=0.01 cores=1,3
/proc/8325/stat : 8325 (glucose.sh) S 8323 8325 7764 0 -1 4202496 360 532 0 0 0 0 1 0 23 0 1 0 466841328 8912896 254 33554432000 4194304 4922060 140733904573360 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8325/statm: 2176 254 211 178 0 69 0
[pid=8328] ppid=8325 vsize=44380 CPUtime=6.27 cores=1,3
/proc/8328/stat : 8328 (glucose_static) R 8325 8325 7764 0 -1 4202496 10931 0 0 0 625 2 0 0 25 0 1 0 466841330 45445120 7721 33554432000 4194304 4260849 140736893514832 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8328/statm: 11095 7721 249 17 0 7736 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 53084

[startup+12.701 s]
/proc/loadavg: 3.80 3.91 3.70 5/194 8424
/proc/meminfo: memFree=14231696/32951124 swapFree=67111528/67111528
[pid=8325] ppid=8323 vsize=8704 CPUtime=0.01 cores=1,3
/proc/8325/stat : 8325 (glucose.sh) S 8323 8325 7764 0 -1 4202496 360 532 0 0 0 0 1 0 23 0 1 0 466841328 8912896 254 33554432000 4194304 4922060 140733904573360 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8325/statm: 2176 254 211 178 0 69 0
[pid=8328] ppid=8325 vsize=55772 CPUtime=12.66 cores=1,3
/proc/8328/stat : 8328 (glucose_static) R 8325 8325 7764 0 -1 4202496 13917 0 0 0 1264 2 0 0 25 0 1 0 466841330 57110528 10625 33554432000 4194304 4260849 140736893514832 18446744073709551615 4225399 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8328/statm: 13943 10625 249 17 0 10584 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 64476

[startup+25.5007 s]
/proc/loadavg: 3.84 3.92 3.70 5/194 8425
/proc/meminfo: memFree=14205104/32951124 swapFree=67111528/67111528
[pid=8325] ppid=8323 vsize=8704 CPUtime=0.01 cores=1,3
/proc/8325/stat : 8325 (glucose.sh) S 8323 8325 7764 0 -1 4202496 360 532 0 0 0 0 1 0 23 0 1 0 466841328 8912896 254 33554432000 4194304 4922060 140733904573360 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8325/statm: 2176 254 211 178 0 69 0
[pid=8328] ppid=8325 vsize=94952 CPUtime=25.46 cores=1,3
/proc/8328/stat : 8328 (glucose_static) R 8325 8325 7764 0 -1 4202496 26208 0 0 0 2542 4 0 0 25 0 1 0 466841330 97230848 13298 33554432000 4194304 4260849 140736893514832 18446744073709551615 4227429 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8328/statm: 23738 13298 249 17 0 20379 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 103656

[startup+51.1012 s]
/proc/loadavg: 3.89 3.92 3.71 5/194 8425
/proc/meminfo: memFree=14134984/32951124 swapFree=67111528/67111528
[pid=8325] ppid=8323 vsize=8704 CPUtime=0.01 cores=1,3
/proc/8325/stat : 8325 (glucose.sh) S 8323 8325 7764 0 -1 4202496 360 532 0 0 0 0 1 0 23 0 1 0 466841328 8912896 254 33554432000 4194304 4922060 140733904573360 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8325/statm: 2176 254 211 178 0 69 0
[pid=8328] ppid=8325 vsize=125300 CPUtime=51.07 cores=1,3
/proc/8328/stat : 8328 (glucose_static) R 8325 8325 7764 0 -1 4202496 34720 0 0 0 5102 5 0 0 25 0 1 0 466841330 128307200 21543 33554432000 4194304 4260849 140736893514832 18446744073709551615 4226278 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8328/statm: 31325 21543 249 17 0 27966 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 134004

[startup+102.301 s]
/proc/loadavg: 3.95 3.93 3.73 5/194 8427
/proc/meminfo: memFree=14086176/32951124 swapFree=67111528/67111528
[pid=8325] ppid=8323 vsize=8704 CPUtime=0.01 cores=1,3
/proc/8325/stat : 8325 (glucose.sh) S 8323 8325 7764 0 -1 4202496 360 532 0 0 0 0 1 0 23 0 1 0 466841328 8912896 254 33554432000 4194304 4922060 140733904573360 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8325/statm: 2176 254 211 178 0 69 0
[pid=8328] ppid=8325 vsize=134280 CPUtime=102.27 cores=1,3
/proc/8328/stat : 8328 (glucose_static) R 8325 8325 7764 0 -1 4202496 84091 0 0 0 10215 12 0 0 25 0 1 0 466841330 137502720 30253 33554432000 4194304 4260849 140736893514832 18446744073709551615 4225082 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8328/statm: 33570 30253 249 17 0 30211 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 142984

[startup+162.301 s]
/proc/loadavg: 3.98 3.94 3.74 5/194 8428
/proc/meminfo: memFree=14023268/32951124 swapFree=67111528/67111528
[pid=8325] ppid=8323 vsize=8704 CPUtime=0.01 cores=1,3
/proc/8325/stat : 8325 (glucose.sh) S 8323 8325 7764 0 -1 4202496 360 532 0 0 0 0 1 0 23 0 1 0 466841328 8912896 254 33554432000 4194304 4922060 140733904573360 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8325/statm: 2176 254 211 178 0 69 0
[pid=8328] ppid=8325 vsize=183600 CPUtime=162.27 cores=1,3
/proc/8328/stat : 8328 (glucose_static) R 8325 8325 7764 0 -1 4202496 192195 0 0 0 16198 29 0 0 25 0 1 0 466841330 188006400 41175 33554432000 4194304 4260849 140736893514832 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8328/statm: 45900 41175 249 17 0 42541 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 192304

[startup+222.307 s]
/proc/loadavg: 3.99 3.95 3.75 5/194 8430
/proc/meminfo: memFree=13991032/32951124 swapFree=67111528/67111528
[pid=8325] ppid=8323 vsize=8704 CPUtime=0.01 cores=1,3
/proc/8325/stat : 8325 (glucose.sh) S 8323 8325 7764 0 -1 4202496 360 532 0 0 0 0 1 0 23 0 1 0 466841328 8912896 254 33554432000 4194304 4922060 140733904573360 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8325/statm: 2176 254 211 178 0 69 0
[pid=8328] ppid=8325 vsize=155364 CPUtime=222.27 cores=1,3
/proc/8328/stat : 8328 (glucose_static) R 8325 8325 7764 0 -1 4202496 290084 0 0 0 22180 47 0 0 25 0 1 0 466841330 159092736 34898 33554432000 4194304 4260849 140736893514832 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8328/statm: 38841 34898 249 17 0 35482 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 164068

[startup+282.3 s]
/proc/loadavg: 4.05 3.97 3.77 5/194 8431
/proc/meminfo: memFree=13963232/32951124 swapFree=67111528/67111528
[pid=8325] ppid=8323 vsize=8704 CPUtime=0.01 cores=1,3
/proc/8325/stat : 8325 (glucose.sh) S 8323 8325 7764 0 -1 4202496 360 532 0 0 0 0 1 0 23 0 1 0 466841328 8912896 254 33554432000 4194304 4922060 140733904573360 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8325/statm: 2176 254 211 178 0 69 0
[pid=8328] ppid=8325 vsize=267796 CPUtime=282.27 cores=1,3
/proc/8328/stat : 8328 (glucose_static) R 8325 8325 7764 0 -1 4202496 385796 0 0 0 28162 65 0 0 25 0 1 0 466841330 274223104 56009 33554432000 4194304 4260849 140736893514832 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8328/statm: 66949 56009 249 17 0 63590 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 276500

[startup+342.301 s]
/proc/loadavg: 4.02 3.97 3.78 5/194 8433
/proc/meminfo: memFree=13885576/32951124 swapFree=67111528/67111528
[pid=8325] ppid=8323 vsize=8704 CPUtime=0.01 cores=1,3
/proc/8325/stat : 8325 (glucose.sh) S 8323 8325 7764 0 -1 4202496 360 532 0 0 0 0 1 0 23 0 1 0 466841328 8912896 254 33554432000 4194304 4922060 140733904573360 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8325/statm: 2176 254 211 178 0 69 0
[pid=8328] ppid=8325 vsize=236976 CPUtime=342.27 cores=1,3
/proc/8328/stat : 8328 (glucose_static) R 8325 8325 7764 0 -1 4202496 466408 0 0 0 34147 80 0 0 25 0 1 0 466841330 242663424 55764 33554432000 4194304 4260849 140736893514832 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8328/statm: 59244 55764 249 17 0 55885 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 245680

[startup+402.301 s]
/proc/loadavg: 4.04 3.99 3.80 5/194 8435
/proc/meminfo: memFree=13896584/32951124 swapFree=67111528/67111528
[pid=8325] ppid=8323 vsize=8704 CPUtime=0.01 cores=1,3

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

/proc/8328/statm: 87460 76350 249 17 0 84101 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 358544

[startup+702.301 s]
/proc/loadavg: 4.00 3.99 3.84 5/194 8455
/proc/meminfo: memFree=13782092/32951124 swapFree=67111528/67111528
[pid=8325] ppid=8323 vsize=8704 CPUtime=0.01 cores=1,3
/proc/8325/stat : 8325 (glucose.sh) S 8323 8325 7764 0 -1 4202496 360 532 0 0 0 0 1 0 23 0 1 0 466841328 8912896 254 33554432000 4194304 4922060 140733904573360 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8325/statm: 2176 254 211 178 0 69 0
[pid=8328] ppid=8325 vsize=362916 CPUtime=702.28 cores=1,3
/proc/8328/stat : 8328 (glucose_static) R 8325 8325 7764 0 -1 4202496 966169 0 0 0 70046 182 0 0 25 0 1 0 466841330 371625984 79080 33554432000 4194304 4260849 140736893514832 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8328/statm: 90729 79080 249 17 0 87370 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 371620

[startup+762.3 s]
/proc/loadavg: 4.00 3.99 3.84 5/194 8456
/proc/meminfo: memFree=13701704/32951124 swapFree=67111528/67111528
[pid=8325] ppid=8323 vsize=8704 CPUtime=0.01 cores=1,3
/proc/8325/stat : 8325 (glucose.sh) S 8323 8325 7764 0 -1 4202496 360 532 0 0 0 0 1 0 23 0 1 0 466841328 8912896 254 33554432000 4194304 4922060 140733904573360 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8325/statm: 2176 254 211 178 0 69 0
[pid=8328] ppid=8325 vsize=373820 CPUtime=762.28 cores=1,3
/proc/8328/stat : 8328 (glucose_static) R 8325 8325 7764 0 -1 4202496 1044035 0 0 0 76030 198 0 0 25 0 1 0 466841330 382791680 84571 33554432000 4194304 4260849 140736893514832 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8328/statm: 93455 84571 249 17 0 90096 0
Current children cumulated CPU time (s) 762.29
Current children cumulated vsize (KiB) 382524

[startup+822.301 s]
/proc/loadavg: 4.00 3.99 3.85 5/194 8458
/proc/meminfo: memFree=13709848/32951124 swapFree=67111528/67111528
[pid=8325] ppid=8323 vsize=8704 CPUtime=0.01 cores=1,3
/proc/8325/stat : 8325 (glucose.sh) S 8323 8325 7764 0 -1 4202496 360 532 0 0 0 0 1 0 23 0 1 0 466841328 8912896 254 33554432000 4194304 4922060 140733904573360 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8325/statm: 2176 254 211 178 0 69 0
[pid=8328] ppid=8325 vsize=382404 CPUtime=822.28 cores=1,3
/proc/8328/stat : 8328 (glucose_static) R 8325 8325 7764 0 -1 4202496 1108556 0 0 0 82015 213 0 0 25 0 1 0 466841330 391581696 88016 33554432000 4194304 4260849 140736893514832 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8328/statm: 95601 88016 249 17 0 92242 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 391108

[startup+882.307 s]
/proc/loadavg: 4.00 3.99 3.85 5/194 8459
/proc/meminfo: memFree=13736344/32951124 swapFree=67111528/67111528
[pid=8325] ppid=8323 vsize=8704 CPUtime=0.01 cores=1,3
/proc/8325/stat : 8325 (glucose.sh) S 8323 8325 7764 0 -1 4202496 360 532 0 0 0 0 1 0 23 0 1 0 466841328 8912896 254 33554432000 4194304 4922060 140733904573360 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8325/statm: 2176 254 211 178 0 69 0
[pid=8328] ppid=8325 vsize=354624 CPUtime=882.29 cores=1,3
/proc/8328/stat : 8328 (glucose_static) R 8325 8325 7764 0 -1 4202496 1180409 0 0 0 88000 229 0 0 25 0 1 0 466841330 363134976 81130 33554432000 4194304 4260849 140736893514832 18446744073709551615 4224757 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8328/statm: 88656 81130 249 17 0 85297 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 363328

[startup+942.301 s]
/proc/loadavg: 4.06 4.00 3.87 5/194 8461
/proc/meminfo: memFree=13655088/32951124 swapFree=67111528/67111528
[pid=8325] ppid=8323 vsize=8704 CPUtime=0.01 cores=1,3
/proc/8325/stat : 8325 (glucose.sh) S 8323 8325 7764 0 -1 4202496 360 532 0 0 0 0 1 0 23 0 1 0 466841328 8912896 254 33554432000 4194304 4922060 140733904573360 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8325/statm: 2176 254 211 178 0 69 0
[pid=8328] ppid=8325 vsize=396488 CPUtime=942.29 cores=1,3
/proc/8328/stat : 8328 (glucose_static) R 8325 8325 7764 0 -1 4202496 1247932 0 0 0 93984 245 0 0 25 0 1 0 466841330 406003712 88244 33554432000 4194304 4260849 140736893514832 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8328/statm: 99122 88244 249 17 0 95763 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 405192

[startup+1002.3 s]
/proc/loadavg: 4.02 4.00 3.87 5/194 8463
/proc/meminfo: memFree=13665076/32951124 swapFree=67111528/67111528
[pid=8325] ppid=8323 vsize=8704 CPUtime=0.01 cores=1,3
/proc/8325/stat : 8325 (glucose.sh) S 8323 8325 7764 0 -1 4202496 360 532 0 0 0 0 1 0 23 0 1 0 466841328 8912896 254 33554432000 4194304 4922060 140733904573360 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8325/statm: 2176 254 211 178 0 69 0
[pid=8328] ppid=8325 vsize=402976 CPUtime=1002.29 cores=1,3
/proc/8328/stat : 8328 (glucose_static) R 8325 8325 7764 0 -1 4202496 1310266 0 0 0 99970 259 0 0 25 0 1 0 466841330 412647424 89211 33554432000 4194304 4260849 140736893514832 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8328/statm: 100744 89211 249 17 0 97385 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 411680

[startup+1062.3 s]
/proc/loadavg: 4.00 4.00 3.88 5/194 8464
/proc/meminfo: memFree=13679688/32951124 swapFree=67111528/67111528
[pid=8325] ppid=8323 vsize=8704 CPUtime=0.01 cores=1,3
/proc/8325/stat : 8325 (glucose.sh) S 8323 8325 7764 0 -1 4202496 360 532 0 0 0 0 1 0 23 0 1 0 466841328 8912896 254 33554432000 4194304 4922060 140733904573360 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8325/statm: 2176 254 211 178 0 69 0
[pid=8328] ppid=8325 vsize=411128 CPUtime=1062.29 cores=1,3
/proc/8328/stat : 8328 (glucose_static) R 8325 8325 7764 0 -1 4202496 1374311 0 0 0 105955 274 0 0 25 0 1 0 466841330 420995072 93262 33554432000 4194304 4260849 140736893514832 18446744073709551615 4225418 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8328/statm: 102782 93262 249 17 0 99423 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 419832

[startup+1122.3 s]
/proc/loadavg: 4.00 4.00 3.88 5/194 8466
/proc/meminfo: memFree=13687080/32951124 swapFree=67111528/67111528
[pid=8325] ppid=8323 vsize=8704 CPUtime=0.01 cores=1,3
/proc/8325/stat : 8325 (glucose.sh) S 8323 8325 7764 0 -1 4202496 360 532 0 0 0 0 1 0 23 0 1 0 466841328 8912896 254 33554432000 4194304 4922060 140733904573360 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8325/statm: 2176 254 211 178 0 69 0
[pid=8328] ppid=8325 vsize=420408 CPUtime=1122.29 cores=1,3
/proc/8328/stat : 8328 (glucose_static) R 8325 8325 7764 0 -1 4202496 1434713 0 0 0 111942 287 0 0 25 0 1 0 466841330 430497792 94106 33554432000 4194304 4260849 140736893514832 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8328/statm: 105102 94106 249 17 0 101743 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 429112

[startup+1182.3 s]
/proc/loadavg: 4.03 4.01 3.89 6/194 8467
/proc/meminfo: memFree=13630532/32951124 swapFree=67111528/67111528
[pid=8325] ppid=8323 vsize=8704 CPUtime=0.01 cores=1,3
/proc/8325/stat : 8325 (glucose.sh) S 8323 8325 7764 0 -1 4202496 360 532 0 0 0 0 1 0 23 0 1 0 466841328 8912896 254 33554432000 4194304 4922060 140733904573360 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8325/statm: 2176 254 211 178 0 69 0
[pid=8328] ppid=8325 vsize=430900 CPUtime=1182.3 cores=1,3
/proc/8328/stat : 8328 (glucose_static) R 8325 8325 7764 0 -1 4202496 1485499 0 0 0 117930 300 0 0 25 0 1 0 466841330 441241600 99902 33554432000 4194304 4260849 140736893514832 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8328/statm: 107725 99902 249 17 0 104366 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 439604

[startup+1242.3 s]
/proc/loadavg: 4.01 4.01 3.90 5/194 8469
/proc/meminfo: memFree=13565664/32951124 swapFree=67111528/67111528
[pid=8325] ppid=8323 vsize=8704 CPUtime=0.01 cores=1,3
/proc/8325/stat : 8325 (glucose.sh) S 8323 8325 7764 0 -1 4202496 360 532 0 0 0 0 1 0 23 0 1 0 466841328 8912896 254 33554432000 4194304 4922060 140733904573360 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8325/statm: 2176 254 211 178 0 69 0
[pid=8328] ppid=8325 vsize=496404 CPUtime=1242.3 cores=1,3
/proc/8328/stat : 8328 (glucose_static) R 8325 8325 7764 0 -1 4202496 1541300 0 0 0 123914 316 0 0 25 0 1 0 466841330 508317696 105183 33554432000 4194304 4260849 140736893514832 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8328/statm: 124101 105183 249 17 0 120742 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 505108



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.00 4.00 3.91 5/194 8471
/proc/meminfo: memFree=13593680/32951124 swapFree=67111528/67111528
[pid=8325] ppid=8323 vsize=8704 CPUtime=0.01 cores=1,3
/proc/8325/stat : 8325 (glucose.sh) S 8323 8325 7764 0 -1 4202496 360 532 0 0 0 0 1 0 23 0 1 0 466841328 8912896 254 33554432000 4194304 4922060 140733904573360 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8325/statm: 2176 254 211 178 0 69 0
[pid=8328] ppid=8325 vsize=454876 CPUtime=1300 cores=1,3
/proc/8328/stat : 8328 (glucose_static) R 8325 8325 7764 0 -1 4202496 1604701 0 0 0 129670 330 0 0 25 0 1 0 466841330 465793024 98381 33554432000 4194304 4260849 140736893514832 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8328/statm: 113719 98381 249 17 0 110360 0
Current children cumulated CPU time (s) 1300.01
Current children cumulated vsize (KiB) 463580

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

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

[startup+1300 s]
/proc/loadavg: 4.00 4.00 3.91 5/194 8471
/proc/meminfo: memFree=13593680/32951124 swapFree=67111528/67111528
[pid=8325] ppid=8323 vsize=8704 CPUtime=0.01 cores=1,3
/proc/8325/stat : 8325 (glucose.sh) S 8323 8325 7764 0 -1 4202496 360 532 0 0 0 0 1 0 23 0 1 0 466841328 8912896 254 33554432000 4194304 4922060 140733904573360 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8325/statm: 2176 254 211 178 0 69 0
[pid=8328] ppid=8325 vsize=454876 CPUtime=1300 cores=1,3
/proc/8328/stat : 8328 (glucose_static) R 8325 8325 7764 0 -1 4202496 1604701 0 0 0 129670 330 0 0 25 0 1 0 466841330 465793024 98381 33554432000 4194304 4260849 140736893514832 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8328/statm: 113719 98381 249 17 0 110360 0
Current children cumulated CPU time (s) 1300.01
Current children cumulated vsize (KiB) 463580

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1300.01
CPU time (s): 1300.01
CPU user time (s): 1296.71
CPU system time (s): 3.3
CPU usage (%): 99.9998
Max. virtual memory (cumulated for all children) (KiB): 562668

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

runsolver used 1.92571 second user time and 5.17421 second system time

The end

Launcher Data 

Begin job on node108 at 2011-04-23 11:53:24
IDJOB=3265432
IDBENCH=85618
IDSOLVER=1651
FILE ID=node108/3265432-1303552404
RUNJOBID= node108-1303551101-8130
PBS_JOBID= 13143146
Free space on /tmp= 71440 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT05/crafted/sabharwal05/ordering/gt-ordering/sat/gt-030.shuffled-as.sat05-1295.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3265432-1303552404/watcher-3265432-1303552404 -o /tmp/evaluation-result-3265432-1303552404/solver-3265432-1303552404 -C 2400 -W 1300 -M 7680  glucose.sh HOME/instance-3265432-1303552404.cnf 

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= f0614c8232d9b15ffdf32ce3e2c1390b
RANDOM SEED=1097265411

node108.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14553172 kB
Buffers:       2249260 kB
Cached:       15507760 kB
SwapCached:          0 kB
Active:        9856636 kB
Inactive:      7972004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14553172 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3128 kB
Writeback:           0 kB
AnonPages:       70840 kB
Mapped:          15228 kB
Slab:           505072 kB
PageTables:       4604 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   256776 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71360 MiB
End job on node108 at 2011-04-23 12:15:06