Trace number 3258480

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

NameCRAFTED/rbsat/random/
forced/rbsat-v2400c266431gyes6.cnf
MD5SUMe23fefb786281285c1d045e8bc698d74
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2400
Number of clauses266431
Sum of the clauses size535112
Maximum clause length32
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2266356
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 575

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.07	c ==============================================================================
0.00/0.07	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.07	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.07	c ==============================================================================
0.00/0.07	c |         0 |  266431   535112 |   79929       0        0     nan |  0.000 % |
0.00/0.85	c |         0 |  263277   882842 |      --       0       --      -- |     --   | -3154/347730
0.00/0.85	c ==============================================================================
0.00/0.85	c Result  :   #vars: 2325   #clauses: 263277   #literals: 882842
0.00/0.85	c CPU time:   0.841872 s
0.00/0.85	c ==============================================================================
0.00/0.99	c
0.00/0.99	c Starting glucose
0.00/0.99	c
65.98/66.08	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
65.98/66.08	c WARNING: for repeatability, setting FPU to use double precision
65.98/66.08	c ============================[ Problem Statistics ]=============================
65.98/66.08	c |                                                                             |
65.98/66.08	c |  Number of variables:          2325                                         |
65.98/66.08	c |  Number of clauses:          263277                                         |
65.98/66.08	c |  Parse time:                   0.05 s                                       |
65.98/66.08	c |                                                                             |
65.98/66.08	c ============================[ Search Statistics ]==============================
65.98/66.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
65.98/66.08	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
65.98/66.08	c ===============================================================================
65.98/66.08	c |       549 |    2325   263277   882842 |        1      549    191 |  0.000 % |
65.98/66.08	c |      5292 |    2325   263277   882842 |        1     3298    100 |  0.000 % |
65.98/66.08	c |      9737 |    2325   263277   882842 |        1     7743    106 |  0.000 % |
65.98/66.08	c |     18681 |    2325   263277   882842 |        1    12391     93 |  0.000 % |
65.98/66.08	c |     18965 |    2325   263277   882842 |        1    12675     94 |  0.000 % |
65.98/66.08	c |    146676 |    2325   263277   882842 |        1    39297     68 |  0.000 % |
65.98/66.08	c |    167128 |    2325   263277   882842 |        1    34942     64 |  0.000 % |
65.98/66.08	c |    176219 |    2325   263277   882842 |        1    44033     66 |  0.000 % |
65.98/66.08	c |    195842 |    2325   263277   882842 |        1    36264     61 |  0.000 % |
65.98/66.08	c |    198167 |    2325   263277   882842 |        1    38589     62 |  0.000 % |
65.98/66.08	c |    201690 |    2325   263277   882842 |        1    42112     65 |  0.000 % |
65.98/66.08	c |    203247 |    2325   263277   882842 |        1    43669     67 |  0.000 % |
65.98/66.08	c |    206425 |    2325   263277   882842 |        1    46847     69 |  0.000 % |
65.98/66.08	c |    212054 |    2325   263277   882842 |        1    52476     74 |  0.000 % |
65.98/66.08	c |    317341 |    2325   263277   882842 |        1    59963     59 |  0.000 % |
65.98/66.08	c |    320175 |    2325   263277   882842 |        1    62797     60 |  0.000 % |
65.98/66.08	c |    325641 |    2325   263277   882842 |        1    68263     63 |  0.000 % |
65.98/66.08	c |    338249 |    2325   263277   882842 |        1    43064     53 |  0.000 % |
65.98/66.08	c |    349665 |    2325   263277   882842 |        1    54480     60 |  0.000 % |
65.98/66.08	c |    352349 |    2325   263277   882842 |        1    57164     62 |  0.000 % |
65.98/66.08	c |    355419 |    2325   263277   882842 |        1    60234     63 |  0.000 % |
65.98/66.08	c |    355828 |    2325   263277   882842 |        1    60643     64 |  0.000 % |
65.98/66.08	c |    370434 |    2325   263277   882842 |        1    75249     70 |  0.000 % |
65.98/66.08	c |    375772 |    2325   263277   882842 |        1    80587     72 |  0.000 % |
65.98/66.08	c |    403968 |    2325   263277   882842 |        1    68381     65 |  0.000 % |
65.98/66.08	c |    435300 |    2325   263277   882842 |        1    56729     60 |  0.000 % |
65.98/66.08	c |    438269 |    2325   263277   882842 |        1    59698     61 |  0.000 % |
65.98/66.08	c |    446165 |    2325   263277   882842 |        1    67594     64 |  0.000 % |
65.98/66.08	c |    456964 |    2325   263277   882842 |        1    78393     70 |  0.000 % |
65.98/66.08	c |    460075 |    2325   263277   882842 |        1    81504     71 |  0.000 % |
65.98/66.08	c |    463668 |    2325   263277   882842 |        1    85097     72 |  0.000 % |
65.98/66.08	c |    465928 |    2325   263277   882842 |        1    87357     73 |  0.000 % |
65.98/66.08	c |    467750 |    2325   263277   882842 |        1    89179     73 |  0.000 % |
65.98/66.08	c |    470885 |    2325   263277   882842 |        1    46712     47 |  0.000 % |
65.98/66.08	c |    471068 |    2325   263277   882842 |        1    46895     47 |  0.000 % |
65.98/66.08	c |    473996 |    2325   263277   882842 |        1    49823     50 |  0.000 % |
65.98/66.08	c |    474259 |    2325   263277   882842 |        1    50086     50 |  0.000 % |
65.98/66.08	c |    474360 |    2325   263277   882842 |        1    50187     51 |  0.000 % |
65.98/66.08	c |    478811 |    2325   263277   882842 |        1    54638     54 |  0.000 % |
174.58/174.66	c |    482243 |    2325   263277   882842 |        1    58070     56 |  0.000 % |
174.58/174.66	c |    490557 |    2325   263277   882842 |        1    66384     61 |  0.000 % |
174.58/174.66	c |    496901 |    2325   263277   882842 |        1    72728     64 |  0.000 % |
174.58/174.66	c |    499831 |    2325   263277   882842 |        1    75658     65 |  0.000 % |
174.58/174.66	c |    501694 |    2325   263277   882842 |        1    77521     66 |  0.000 % |
174.58/174.66	c |    507036 |    2325   263277   882842 |        1    82863     68 |  0.000 % |
174.58/174.66	c |    507137 |    2325   263277   882842 |        1    82964     68 |  0.000 % |
174.58/174.66	c |    529067 |    2325   263277   882842 |        1    56694     51 |  0.000 % |
174.58/174.66	c |    532275 |    2325   263277   882842 |        1    59902     52 |  0.000 % |
174.58/174.66	c |    533353 |    2325   263277   882842 |        1    60980     53 |  0.000 % |
174.58/174.66	c |    567830 |    2325   263277   882842 |        1    95457     67 |  0.000 % |
174.58/174.66	c |    567930 |    2325   263277   882842 |        1    95557     67 |  0.000 % |
174.58/174.66	c |    568186 |    2325   263277   882842 |        1    95813     67 |  0.000 % |
174.58/174.66	c |    568286 |    2325   263277   882842 |        1    95913     67 |  0.000 % |
174.58/174.66	c |    568430 |    2325   263277   882842 |        1    96057     67 |  0.000 % |
174.58/174.66	c |    576851 |    2325   263277   882842 |        1    53670     49 |  0.000 % |
174.58/174.66	c |    596373 |    2325   263277   882842 |        1    73192     61 |  0.000 % |
174.58/174.66	c |    604358 |    2325   263277   882842 |        1    81177     64 |  0.000 % |
174.58/174.66	c |    659594 |    2325   263277   882842 |        1    83020     59 |  0.000 % |
174.58/174.66	c |    664495 |    2325   263277   882842 |        1    87921     60 |  0.000 % |
174.58/174.66	c |    678845 |    2325   263277   882842 |        1   102271     64 |  0.000 % |
174.58/174.66	c |    693529 |    2325   263277   882842 |        1    60952     45 |  0.000 % |
174.58/174.66	c |    694284 |    2325   263277   882842 |        1    61707     45 |  0.000 % |
174.58/174.66	c |    701003 |    2325   263277   882842 |        1    68426     47 |  0.000 % |
174.58/174.66	c |    701310 |    2325   263277   882842 |        1    68733     48 |  0.000 % |
174.58/174.66	c |    707689 |    2325   263277   882842 |        1    75112     52 |  0.000 % |
174.58/174.66	c |    801427 |    2325   263277   882842 |        1   110248     66 |  0.000 % |
174.58/174.66	c |    806985 |    2325   263277   882842 |        1   115806     67 |  0.000 % |
174.58/174.66	c |    809355 |    2325   263277   882842 |        1   118176     67 |  0.000 % |
174.58/174.66	c |    815464 |    2325   263277   882842 |        1    63078     45 |  0.000 % |
174.58/174.66	c |    841161 |    2325   263277   882842 |        1    88775     54 |  0.000 % |
174.58/174.66	c |    843652 |    2325   263277   882842 |        1    91266     55 |  0.000 % |
174.58/174.66	c |    853893 |    2325   263277   882842 |        1   101507     58 |  0.000 % |
174.58/174.66	c |    854567 |    2325   263277   882842 |        1   102181     59 |  0.000 % |
174.58/174.66	c |    904208 |    2325   263277   882842 |        1    88031     55 |  0.000 % |
174.58/174.66	c |    914715 |    2325   263277   882842 |        1    98538     60 |  0.000 % |
174.58/174.66	c |    915122 |    2325   263277   882842 |        1    98945     61 |  0.000 % |
174.58/174.66	c |    973358 |    2325   263277   882842 |        1    90780     56 |  0.000 % |
174.58/174.66	c |    994012 |    2325   263277   882842 |        1   111434     61 |  0.000 % |
174.58/174.66	c |   1013800 |    2325   263277   882842 |        1   131222     65 |  0.000 % |
174.58/174.66	c |   1032332 |    2325   263277   882842 |        1    80746     49 |  0.000 % |
174.58/174.66	c |   1032432 |    2325   263277   882842 |        1    80846     49 |  0.000 % |
174.58/174.66	c |   1033013 |    2325   263277   882842 |        1    81427     50 |  0.000 % |
174.58/174.66	c |   1034855 |    2325   263277   882842 |        1    83269     51 |  0.000 % |
174.58/174.66	c |   1035563 |    2325   263277   882842 |        1    83977     51 |  0.000 % |
174.58/174.66	c |   1082270 |    2325   263277   882842 |        1   130684     63 |  0.000 % |
174.58/174.66	c |   1085416 |    2325   263277   882842 |        1   133830     63 |  0.000 % |
174.58/174.66	c |   1085520 |    2325   263277   882842 |        1   133934     63 |  0.000 % |
174.58/174.66	c |   1085764 |    2325   263277   882842 |        1   134178     63 |  0.000 % |
174.58/174.66	c |   1095577 |    2325   263277   882842 |        1    72403     43 |  0.000 % |
235.18/235.23	c |   1095678 |    2325   263277   882842 |        1    72504     43 |  0.000 % |
235.18/235.23	c |   1133698 |    2325   263277   882842 |        1   110524     62 |  0.000 % |
235.18/235.23	c |   1133800 |    2325   263277   882842 |        1   110626     62 |  0.000 % |
235.18/235.23	c |   1134286 |    2325   263277   882842 |        1   111112     63 |  0.000 % |
235.18/235.23	c |   1148863 |    2325   263277   882842 |        1   125689     67 |  0.000 % |
235.18/235.23	c |   1151247 |    2325   263277   882842 |        1   128073     68 |  0.000 % |
235.18/235.23	c |   1164572 |    2325   263277   882842 |        1   141398     70 |  0.000 % |
235.18/235.23	c |   1165156 |    2325   263277   882842 |        1   141982     70 |  0.000 % |
235.18/235.23	c |   1172154 |    2325   263277   882842 |        1    74773     44 |  0.000 % |
235.18/235.23	c |   1174230 |    2325   263277   882842 |        1    76849     46 |  0.000 % |
235.18/235.23	c |   1185600 |    2325   263277   882842 |        1    88219     52 |  0.000 % |
235.18/235.23	c |   1185702 |    2325   263277   882842 |        1    88321     52 |  0.000 % |
235.18/235.23	c |   1215615 |    2325   263277   882842 |        1   118234     62 |  0.000 % |
235.18/235.23	c |   1216599 |    2325   263277   882842 |        1   119218     62 |  0.000 % |
235.18/235.23	c |   1228211 |    2325   263277   882842 |        1   130830     66 |  0.000 % |
235.18/235.23	c |   1233009 |    2325   263277   882842 |        1   135628     68 |  0.000 % |
235.18/235.23	c |   1233113 |    2325   263277   882842 |        1   135732     68 |  0.000 % |
235.18/235.23	c |   1233216 |    2325   263277   882842 |        1   135835     68 |  0.000 % |
235.18/235.23	c |   1233323 |    2325   263277   882842 |        1   135942     68 |  0.000 % |
235.18/235.23	c |   1234393 |    2325   263277   882842 |        1   137012     68 |  0.000 % |
235.18/235.23	c |   1241778 |    2325   263277   882842 |        1   144397     70 |  0.000 % |
235.18/235.23	c |   1242138 |    2325   263277   882842 |        1   144757     70 |  0.000 % |
235.18/235.23	c |   1244137 |    2325   263277   882842 |        1   146756     70 |  0.000 % |
235.18/235.23	c |   1255936 |    2325   263277   882842 |        1    81757     47 |  0.000 % |
235.18/235.23	c |   1272435 |    2325   263277   882842 |        1    98256     55 |  0.000 % |
235.18/235.23	c |   1322190 |    2325   263277   882842 |        1   148011     75 |  0.000 % |
235.18/235.23	c |   1323165 |    2325   263277   882842 |        1   148986     75 |  0.000 % |
235.18/235.23	c |   1324548 |    2325   263277   882842 |        1   150369     76 |  0.000 % |
235.18/235.23	c |   1329965 |    2325   263277   882842 |        1   155786     76 |  0.000 % |
235.18/235.23	c |   1342908 |    2325   263277   882842 |        1    89327     51 |  0.000 % |
235.18/235.23	c |   1345485 |    2325   263277   882842 |        1    91904     52 |  0.000 % |
235.18/235.23	c |   1345969 |    2325   263277   882842 |        1    92388     52 |  0.000 % |
235.18/235.23	c |   1346924 |    2325   263277   882842 |        1    93343     53 |  0.000 % |
235.18/235.23	c |   1347752 |    2325   263277   882842 |        1    94171     53 |  0.000 % |
235.18/235.23	c |   1357716 |    2325   263277   882842 |        1   104135     57 |  0.000 % |
235.18/235.23	c |   1357836 |    2325   263277   882842 |        1   104255     57 |  0.000 % |
235.18/235.23	c |   1358072 |    2325   263277   882842 |        1   104491     57 |  0.000 % |
235.18/235.23	c |   1358677 |    2325   263277   882842 |        1   105096     57 |  0.000 % |
235.18/235.23	c |   1379994 |    2325   263277   882842 |        1   126413     65 |  0.000 % |
235.18/235.23	c |   1387791 |    2325   263277   882842 |        1   134210     67 |  0.000 % |
235.18/235.23	c |   1393261 |    2325   263277   882842 |        1   139680     69 |  0.000 % |
235.18/235.23	c |   1397305 |    2325   263277   882842 |        1   143724     70 |  0.000 % |
235.18/235.23	c |   1423593 |    2325   263277   882842 |        1    88010     44 |  0.000 % |
235.18/235.23	c |   1425516 |    2325   263277   882842 |        1    89933     45 |  0.000 % |
235.18/235.23	c |   1428624 |    2325   263277   882842 |        1    93041     47 |  0.000 % |
235.18/235.23	c |   1428817 |    2325   263277   882842 |        1    93234     47 |  0.000 % |
235.18/235.23	c |   1428917 |    2325   263277   882842 |        1    93334     47 |  0.000 % |
235.18/235.23	c |   1429490 |    2325   263277   882842 |        1    93907     47 |  0.000 % |
235.18/235.23	c |   1429795 |    2325   263277   882842 |        1    94212     48 |  0.000 % |
235.18/235.23	c |   1430465 |    2325   263277   882842 |        1    94882     48 |  0.000 % |
305.38/305.43	c |   1436867 |    2325   263277   882842 |        1   101284     53 |  0.000 % |
305.38/305.43	c |   1439840 |    2325   263277   882842 |        1   104257     55 |  0.000 % |
305.38/305.43	c |   1440118 |    2325   263277   882842 |        1   104535     55 |  0.000 % |
305.38/305.43	c |   1441685 |    2325   263277   882842 |        1   106102     55 |  0.000 % |
305.38/305.43	c |   1451789 |    2325   263277   882842 |        1   116206     59 |  0.000 % |
305.38/305.43	c |   1452709 |    2325   263277   882842 |        1   117126     59 |  0.000 % |
305.38/305.43	c |   1456419 |    2325   263277   882842 |        1   120836     61 |  0.000 % |
305.38/305.43	c |   1462696 |    2325   263277   882842 |        1   127113     63 |  0.000 % |
305.38/305.43	c |   1462948 |    2325   263277   882842 |        1   127365     63 |  0.000 % |
305.38/305.43	c |   1473193 |    2325   263277   882842 |        1   137610     65 |  0.000 % |
305.38/305.43	c |   1474855 |    2325   263277   882842 |        1   139272     66 |  0.000 % |
305.38/305.43	c |   1474971 |    2325   263277   882842 |        1   139388     66 |  0.000 % |
305.38/305.43	c |   1501625 |    2325   263277   882842 |        1   166042     73 |  0.000 % |
305.38/305.43	c |   1503901 |    2325   263277   882842 |        1   168318     73 |  0.000 % |
305.38/305.43	c |   1505357 |    2325   263277   882842 |        1    85179     44 |  0.000 % |
305.38/305.43	c |   1505458 |    2325   263277   882842 |        1    85280     44 |  0.000 % |
305.38/305.43	c |   1506473 |    2325   263277   882842 |        1    86295     45 |  0.000 % |
305.38/305.43	c |   1532572 |    2325   263277   882842 |        1   112394     58 |  0.000 % |
305.38/305.43	c |   1594604 |    2325   263277   882842 |        1    87226     41 |  0.000 % |
305.38/305.43	c |   1629570 |    2325   263277   882842 |        1   122192     51 |  0.000 % |
305.38/305.43	c |   1631234 |    2325   263277   882842 |        1   123856     51 |  0.000 % |
305.38/305.43	c |   1632429 |    2325   263277   882842 |        1   125051     52 |  0.000 % |
305.38/305.43	c |   1632532 |    2325   263277   882842 |        1   125154     52 |  0.000 % |
305.38/305.43	c |   1644297 |    2325   263277   882842 |        1   136919     57 |  0.000 % |
305.38/305.43	c |   1691123 |    2325   263277   882842 |        1    93955     45 |  0.000 % |
305.38/305.43	c |   1691224 |    2325   263277   882842 |        1    94056     45 |  0.000 % |
305.38/305.43	c |   1708024 |    2325   263277   882842 |        1   110856     52 |  0.000 % |
305.38/305.43	c |   1714823 |    2325   263277   882842 |        1   117655     55 |  0.000 % |
305.38/305.43	c |   1717047 |    2325   263277   882842 |        1   119879     56 |  0.000 % |
305.38/305.43	c |   1718004 |    2325   263277   882842 |        1   120836     56 |  0.000 % |
305.38/305.43	c |   1718225 |    2325   263277   882842 |        1   121057     56 |  0.000 % |
305.38/305.43	c |   1720224 |    2325   263277   882842 |        1   123056     57 |  0.000 % |
305.38/305.43	c |   1738616 |    2325   263277   882842 |        1   141448     61 |  0.000 % |
305.38/305.43	c |   1750892 |    2325   263277   882842 |        1   153724     64 |  0.000 % |
305.38/305.43	c |   1752053 |    2325   263277   882842 |        1   154885     64 |  0.000 % |
305.38/305.43	c |   1752775 |    2325   263277   882842 |        1   155607     64 |  0.000 % |
305.38/305.43	c |   1766192 |    2325   263277   882842 |        1   169024     67 |  0.000 % |
305.38/305.43	c |   1769306 |    2325   263277   882842 |        1   172138     68 |  0.000 % |
305.38/305.43	c |   1770228 |    2325   263277   882842 |        1   173060     68 |  0.000 % |
305.38/305.43	c |   1770870 |    2325   263277   882842 |        1   173702     68 |  0.000 % |
305.38/305.43	c |   1771425 |    2325   263277   882842 |        1   174257     68 |  0.000 % |
305.38/305.43	c |   1771529 |    2325   263277   882842 |        1   174361     68 |  0.000 % |
305.38/305.43	c |   1771629 |    2325   263277   882842 |        1   174461     68 |  0.000 % |
305.38/305.43	c |   1771729 |    2325   263277   882842 |        1   174561     68 |  0.000 % |
305.38/305.43	c |   1772128 |    2325   263277   882842 |        1   174960     69 |  0.000 % |
305.38/305.43	c |   1772456 |    2325   263277   882842 |        1   175288     69 |  0.000 % |
305.38/305.43	c |   1772873 |    2325   263277   882842 |        1   175705     69 |  0.000 % |
305.38/305.43	c |   1773812 |    2325   263277   882842 |        1   176644     69 |  0.000 % |
305.38/305.43	c |   1774669 |    2325   263277   882842 |        1   177501     69 |  0.000 % |
305.38/305.43	c |   1777065 |    2325   263277   882842 |        1   179897     70 |  0.000 % |
400.88/400.98	c |   1778243 |    2325   263277   882842 |        1   181075     70 |  0.000 % |
400.88/400.98	c |   1778387 |    2325   263277   882842 |        1   181219     70 |  0.000 % |
400.88/400.98	c |   1778487 |    2325   263277   882842 |        1   181319     70 |  0.000 % |
400.88/400.98	c |   1814404 |    2325   263277   882842 |        1   124827     58 |  0.000 % |
400.88/400.98	c |   1823917 |    2325   263277   882842 |        1   134340     61 |  0.000 % |
400.88/400.98	c |   1832190 |    2325   263277   882842 |        1   142613     63 |  0.000 % |
400.88/400.98	c |   1860121 |    2325   263277   882842 |        1   170544     67 |  0.000 % |
400.88/400.98	c |   1870982 |    2325   263277   882842 |        1   181405     68 |  0.000 % |
400.88/400.98	c |   1890941 |    2325   263277   882842 |        1   106370     49 |  0.000 % |
400.88/400.98	c |   1897609 |    2325   263277   882842 |        1   113038     51 |  0.000 % |
400.88/400.98	c |   1898144 |    2325   263277   882842 |        1   113573     51 |  0.000 % |
400.88/400.98	c |   1902212 |    2325   263277   882842 |        1   117641     53 |  0.000 % |
400.88/400.98	c |   1902536 |    2325   263277   882842 |        1   117965     53 |  0.000 % |
400.88/400.98	c |   1917286 |    2325   263277   882842 |        1   132715     58 |  0.000 % |
400.88/400.98	c |   1928323 |    2325   263277   882842 |        1   143752     60 |  0.000 % |
400.88/400.98	c |   1931862 |    2325   263277   882842 |        1   147291     61 |  0.000 % |
400.88/400.98	c |   1934354 |    2325   263277   882842 |        1   149783     61 |  0.000 % |
400.88/400.98	c |   1947877 |    2325   263277   882842 |        1   163306     65 |  0.000 % |
400.88/400.98	c |   1947978 |    2325   263277   882842 |        1   163407     65 |  0.000 % |
400.88/400.98	c |   1949602 |    2325   263277   882842 |        1   165031     65 |  0.000 % |
400.88/400.98	c |   1950083 |    2325   263277   882842 |        1   165512     65 |  0.000 % |
400.88/400.98	c |   1951408 |    2325   263277   882842 |        1   166837     66 |  0.000 % |
400.88/400.98	c |   1952339 |    2325   263277   882842 |        1   167768     66 |  0.000 % |
400.88/400.98	c |   1960084 |    2325   263277   882842 |        1   175513     67 |  0.000 % |
400.88/400.98	c |   1960755 |    2325   263277   882842 |        1   176184     67 |  0.000 % |
400.88/400.98	c |   1982383 |    2325   263277   882842 |        1   100213     43 |  0.000 % |
400.88/400.98	c |   1984848 |    2325   263277   882842 |        1   102678     44 |  0.000 % |
400.88/400.98	c |   1995929 |    2325   263277   882842 |        1   113759     48 |  0.000 % |
400.88/400.98	c |   2028330 |    2325   263277   882842 |        1   146160     55 |  0.000 % |
400.88/400.98	c |   2029127 |    2325   263277   882842 |        1   146957     55 |  0.000 % |
400.88/400.98	c |   2030355 |    2325   263277   882842 |        1   148185     55 |  0.000 % |
400.88/400.98	c |   2031069 |    2325   263277   882842 |        1   148899     56 |  0.000 % |
400.88/400.98	c |   2031169 |    2325   263277   882842 |        1   148999     56 |  0.000 % |
400.88/400.98	c |   2031270 |    2325   263277   882842 |        1   149100     56 |  0.000 % |
400.88/400.98	c |   2045258 |    2325   263277   882842 |        1   163088     60 |  0.000 % |
400.88/400.98	c |   2045622 |    2325   263277   882842 |        1   163452     60 |  0.000 % |
400.88/400.98	c |   2046128 |    2325   263277   882842 |        1   163958     60 |  0.000 % |
400.88/400.98	c |   2050198 |    2325   263277   882842 |        1   168028     60 |  0.000 % |
400.88/400.98	c |   2052624 |    2325   263277   882842 |        1   170454     61 |  0.000 % |
400.88/400.98	c |   2088763 |    2325   263277   882842 |        1   106391     44 |  0.000 % |
400.88/400.98	c |   2092759 |    2325   263277   882842 |        1   110387     46 |  0.000 % |
400.88/400.98	c |   2097752 |    2325   263277   882842 |        1   115380     48 |  0.000 % |
400.88/400.98	c |   2098478 |    2325   263277   882842 |        1   116106     49 |  0.000 % |
400.88/400.98	c |   2114707 |    2325   263277   882842 |        1   132335     53 |  0.000 % |
400.88/400.98	c |   2121241 |    2325   263277   882842 |        1   138869     55 |  0.000 % |
400.88/400.98	c |   2121368 |    2325   263277   882842 |        1   138996     55 |  0.000 % |
400.88/400.98	c |   2167759 |    2325   263277   882842 |        1   185387     62 |  0.000 % |
400.88/400.98	c |   2208934 |    2325   263277   882842 |        1   123760     50 |  0.000 % |
400.88/400.98	c |   2214397 |    2325   263277   882842 |        1   129223     52 |  0.000 % |
400.88/400.98	c |   2220056 |    2325   263277   882842 |        1   134882     54 |  0.000 % |
469.59/469.63	c |   2220294 |    2325   263277   882842 |        1   135120     54 |  0.000 % |
469.59/469.63	c |   2220799 |    2325   263277   882842 |        1   135625     54 |  0.000 % |
469.59/469.63	c |   2220963 |    2325   263277   882842 |        1   135789     54 |  0.000 % |
469.59/469.63	c |   2221463 |    2325   263277   882842 |        1   136289     54 |  0.000 % |
469.59/469.63	c |   2221635 |    2325   263277   882842 |        1   136461     54 |  0.000 % |
469.59/469.63	c |   2242480 |    2325   263277   882842 |        1   157306     59 |  0.000 % |
469.59/469.63	c |   2242665 |    2325   263277   882842 |        1   157491     59 |  0.000 % |
469.59/469.63	c |   2243718 |    2325   263277   882842 |        1   158544     59 |  0.000 % |
469.59/469.63	c |   2245903 |    2325   263277   882842 |        1   160729     60 |  0.000 % |
469.59/469.63	c |   2247161 |    2325   263277   882842 |        1   161987     60 |  0.000 % |
469.59/469.63	c |   2252349 |    2325   263277   882842 |        1   167175     61 |  0.000 % |
469.59/469.63	c |   2253619 |    2325   263277   882842 |        1   168445     62 |  0.000 % |
469.59/469.63	c |   2253833 |    2325   263277   882842 |        1   168659     62 |  0.000 % |
469.59/469.63	c |   2255285 |    2325   263277   882842 |        1   170111     62 |  0.000 % |
469.59/469.63	c |   2255489 |    2325   263277   882842 |        1   170315     62 |  0.000 % |
469.59/469.63	c |   2266716 |    2325   263277   882842 |        1   181542     64 |  0.000 % |
469.59/469.63	c |   2270874 |    2325   263277   882842 |        1   185700     65 |  0.000 % |
469.59/469.63	c |   2271161 |    2325   263277   882842 |        1   185987     65 |  0.000 % |
469.59/469.63	c |   2293250 |    2325   263277   882842 |        1   208076     67 |  0.000 % |
469.59/469.63	c |   2311435 |    2325   263277   882842 |        1   120859     48 |  0.000 % |
469.59/469.63	c |   2319292 |    2325   263277   882842 |        1   128716     50 |  0.000 % |
469.59/469.63	c |   2319780 |    2325   263277   882842 |        1   129204     51 |  0.000 % |
469.59/469.63	c |   2319884 |    2325   263277   882842 |        1   129308     51 |  0.000 % |
469.59/469.63	c |   2320464 |    2325   263277   882842 |        1   129888     51 |  0.000 % |
469.59/469.63	c |   2326438 |    2325   263277   882842 |        1   135862     53 |  0.000 % |
469.59/469.63	c |   2326538 |    2325   263277   882842 |        1   135962     54 |  0.000 % |
469.59/469.63	c |   2327750 |    2325   263277   882842 |        1   137174     54 |  0.000 % |
469.59/469.63	c |   2328578 |    2325   263277   882842 |        1   138002     54 |  0.000 % |
469.59/469.63	c |   2328678 |    2325   263277   882842 |        1   138102     54 |  0.000 % |
469.59/469.63	c |   2329038 |    2325   263277   882842 |        1   138462     55 |  0.000 % |
469.59/469.63	c |   2344978 |    2325   263277   882842 |        1   154402     59 |  0.000 % |
469.59/469.63	c |   2345242 |    2325   263277   882842 |        1   154666     60 |  0.000 % |
469.59/469.63	c |   2429110 |    2325   263277   882842 |        1   130556     50 |  0.000 % |
469.59/469.63	c |   2442214 |    2325   263277   882842 |        1   143660     53 |  0.000 % |
469.59/469.63	c |   2442944 |    2325   263277   882842 |        1   144390     53 |  0.000 % |
469.59/469.63	c |   2443146 |    2325   263277   882842 |        1   144592     53 |  0.000 % |
469.59/469.63	c |   2443905 |    2325   263277   882842 |        1   145351     53 |  0.000 % |
469.59/469.63	c |   2445884 |    2325   263277   882842 |        1   147330     54 |  0.000 % |
469.59/469.63	c |   2458662 |    2325   263277   882842 |        1   160108     58 |  0.000 % |
469.59/469.63	c |   2459147 |    2325   263277   882842 |        1   160593     58 |  0.000 % |
469.59/469.63	c |   2463657 |    2325   263277   882842 |        1   165103     59 |  0.000 % |
469.59/469.63	c |   2465221 |    2325   263277   882842 |        1   166667     59 |  0.000 % |
469.59/469.63	c |   2470765 |    2325   263277   882842 |        1   172211     60 |  0.000 % |
469.59/469.63	c |   2471368 |    2325   263277   882842 |        1   172814     60 |  0.000 % |
469.59/469.63	c |   2473551 |    2325   263277   882842 |        1   174997     61 |  0.000 % |
469.59/469.63	c |   2475732 |    2325   263277   882842 |        1   177178     61 |  0.000 % |
469.59/469.63	c |   2496576 |    2325   263277   882842 |        1   198022     64 |  0.000 % |
469.59/469.63	c |   2511281 |    2325   263277   882842 |        1   212727     66 |  0.000 % |
469.59/469.63	c |   2519439 |    2325   263277   882842 |        1   220885     66 |  0.000 % |
469.59/469.63	c |   2542660 |    2325   263277   882842 |        1   133493     49 |  0.000 % |
539.39/539.46	c |   2547209 |    2325   263277   882842 |        1   138042     50 |  0.000 % |
539.39/539.46	c |   2553101 |    2325   263277   882842 |        1   143934     52 |  0.000 % |
539.39/539.46	c |   2553201 |    2325   263277   882842 |        1   144034     52 |  0.000 % |
539.39/539.46	c |   2554048 |    2325   263277   882842 |        1   144881     52 |  0.000 % |
539.39/539.46	c |   2554996 |    2325   263277   882842 |        1   145829     52 |  0.000 % |
539.39/539.46	c |   2570542 |    2325   263277   882842 |        1   161375     56 |  0.000 % |
539.39/539.46	c |   2570727 |    2325   263277   882842 |        1   161560     56 |  0.000 % |
539.39/539.46	c |   2576978 |    2325   263277   882842 |        1   167811     58 |  0.000 % |
539.39/539.46	c |   2591896 |    2325   263277   882842 |        1   182729     62 |  0.000 % |
539.39/539.46	c |   2592224 |    2325   263277   882842 |        1   183057     62 |  0.000 % |
539.39/539.46	c |   2598521 |    2325   263277   882842 |        1   189354     63 |  0.000 % |
539.39/539.46	c |   2601433 |    2325   263277   882842 |        1   192266     64 |  0.000 % |
539.39/539.46	c |   2603422 |    2325   263277   882842 |        1   194255     65 |  0.000 % |
539.39/539.46	c |   2605477 |    2325   263277   882842 |        1   196310     65 |  0.000 % |
539.39/539.46	c |   2636044 |    2325   263277   882842 |        1   113676     42 |  0.000 % |
539.39/539.46	c |   2647248 |    2325   263277   882842 |        1   124880     46 |  0.000 % |
539.39/539.46	c |   2654013 |    2325   263277   882842 |        1   131645     48 |  0.000 % |
539.39/539.46	c |   2654115 |    2325   263277   882842 |        1   131747     48 |  0.000 % |
539.39/539.46	c |   2656511 |    2325   263277   882842 |        1   134143     49 |  0.000 % |
539.39/539.46	c |   2664263 |    2325   263277   882842 |        1   141895     51 |  0.000 % |
539.39/539.46	c |   2665278 |    2325   263277   882842 |        1   142910     52 |  0.000 % |
539.39/539.46	c |   2666467 |    2325   263277   882842 |        1   144099     52 |  0.000 % |
539.39/539.46	c |   2680136 |    2325   263277   882842 |        1   157768     57 |  0.000 % |
539.39/539.46	c |   2709196 |    2325   263277   882842 |        1   186828     62 |  0.000 % |
539.39/539.46	c |   2717420 |    2325   263277   882842 |        1   195052     64 |  0.000 % |
539.39/539.46	c |   2719118 |    2325   263277   882842 |        1   196750     64 |  0.000 % |
539.39/539.46	c |   2721461 |    2325   263277   882842 |        1   199093     64 |  0.000 % |
539.39/539.46	c |   2721809 |    2325   263277   882842 |        1   199441     64 |  0.000 % |
539.39/539.46	c |   2722358 |    2325   263277   882842 |        1   199990     65 |  0.000 % |
539.39/539.46	c |   2722935 |    2325   263277   882842 |        1   200567     65 |  0.000 % |
539.39/539.46	c |   2731211 |    2325   263277   882842 |        1   208843     66 |  0.000 % |
539.39/539.46	c |   2732147 |    2325   263277   882842 |        1   209779     66 |  0.000 % |
539.39/539.46	c |   2736944 |    2325   263277   882842 |        1   214576     67 |  0.000 % |
539.39/539.46	c |   2737190 |    2325   263277   882842 |        1   214822     67 |  0.000 % |
539.39/539.46	c |   2738068 |    2325   263277   882842 |        1   215700     67 |  0.000 % |
539.39/539.46	c |   2751443 |    2325   263277   882842 |        1   229075     68 |  0.000 % |
539.39/539.46	c |   2753485 |    2325   263277   882842 |        1   231117     68 |  0.000 % |
539.39/539.46	c |   2762402 |    2325   263277   882842 |        1   124238     46 |  0.000 % |
539.39/539.46	c |   2762658 |    2325   263277   882842 |        1   124494     46 |  0.000 % |
539.39/539.46	c |   2764457 |    2325   263277   882842 |        1   126293     47 |  0.000 % |
539.39/539.46	c |   2802787 |    2325   263277   882842 |        1   164623     59 |  0.000 % |
539.39/539.46	c |   2804592 |    2325   263277   882842 |        1   166428     60 |  0.000 % |
539.39/539.46	c |   2806050 |    2325   263277   882842 |        1   167886     60 |  0.000 % |
539.39/539.46	c |   2823740 |    2325   263277   882842 |        1   185576     63 |  0.000 % |
539.39/539.46	c |   2824428 |    2325   263277   882842 |        1   186264     64 |  0.000 % |
539.39/539.46	c |   2830242 |    2325   263277   882842 |        1   192078     64 |  0.000 % |
539.39/539.46	c |   2832754 |    2325   263277   882842 |        1   194590     65 |  0.000 % |
539.39/539.46	c |   2836167 |    2325   263277   882842 |        1   198003     65 |  0.000 % |
539.39/539.46	c |   2841583 |    2325   263277   882842 |        1   203419     66 |  0.000 % |
650.79/650.87	c |   2843885 |    2325   263277   882842 |        1   205721     66 |  0.000 % |
650.79/650.87	c |   2853135 |    2325   263277   882842 |        1   214971     67 |  0.000 % |
650.79/650.87	c |   2854744 |    2325   263277   882842 |        1   216580     67 |  0.000 % |
650.79/650.87	c |   2862092 |    2325   263277   882842 |        1   223928     68 |  0.000 % |
650.79/650.87	c |   2873332 |    2325   263277   882842 |        1   235168     70 |  0.000 % |
650.79/650.87	c |   2881692 |    2325   263277   882842 |        1   125117     45 |  0.000 % |
650.79/650.87	c |   2881984 |    2325   263277   882842 |        1   125409     45 |  0.000 % |
650.79/650.87	c |   2884316 |    2325   263277   882842 |        1   127741     46 |  0.000 % |
650.79/650.87	c |   2905372 |    2325   263277   882842 |        1   148797     52 |  0.000 % |
650.79/650.87	c |   2911606 |    2325   263277   882842 |        1   155031     54 |  0.000 % |
650.79/650.87	c |   2959513 |    2325   263277   882842 |        1   202938     64 |  0.000 % |
650.79/650.87	c |   2959836 |    2325   263277   882842 |        1   203261     64 |  0.000 % |
650.79/650.87	c |   2960188 |    2325   263277   882842 |        1   203613     64 |  0.000 % |
650.79/650.87	c |   2963518 |    2325   263277   882842 |        1   206943     65 |  0.000 % |
650.79/650.87	c |   2963845 |    2325   263277   882842 |        1   207270     65 |  0.000 % |
650.79/650.87	c |   2965146 |    2325   263277   882842 |        1   208571     65 |  0.000 % |
650.79/650.87	c |   2965331 |    2325   263277   882842 |        1   208756     65 |  0.000 % |
650.79/650.87	c |   2974777 |    2325   263277   882842 |        1   218202     66 |  0.000 % |
650.79/650.87	c |   2983499 |    2325   263277   882842 |        1   226924     67 |  0.000 % |
650.79/650.87	c |   2983870 |    2325   263277   882842 |        1   227295     67 |  0.000 % |
650.79/650.87	c |   3094286 |    2325   263277   882842 |        1   216710     66 |  0.000 % |
650.79/650.87	c |   3097990 |    2325   263277   882842 |        1   220414     66 |  0.000 % |
650.79/650.87	c |   3110937 |    2325   263277   882842 |        1   233361     69 |  0.000 % |
650.79/650.87	c |   3111488 |    2325   263277   882842 |        1   233912     69 |  0.000 % |
650.79/650.87	c |   3112276 |    2325   263277   882842 |        1   234700     69 |  0.000 % |
650.79/650.87	c |   3116534 |    2325   263277   882842 |        1   238958     69 |  0.000 % |
650.79/650.87	c |   3122187 |    2325   263277   882842 |        1   244611     71 |  0.000 % |
650.79/650.87	c |   3122287 |    2325   263277   882842 |        1   244711     71 |  0.000 % |
650.79/650.87	c |   3124782 |    2325   263277   882842 |        1   247206     71 |  0.000 % |
650.79/650.87	c |   3126929 |    2325   263277   882842 |        1   125746     44 |  0.000 % |
650.79/650.87	c |   3127091 |    2325   263277   882842 |        1   125908     44 |  0.000 % |
650.79/650.87	c |   3135136 |    2325   263277   882842 |        1   133953     48 |  0.000 % |
650.79/650.87	c |   3135271 |    2325   263277   882842 |        1   134088     48 |  0.000 % |
650.79/650.87	c |   3135376 |    2325   263277   882842 |        1   134193     48 |  0.000 % |
650.79/650.87	c |   3135627 |    2325   263277   882842 |        1   134444     48 |  0.000 % |
650.79/650.87	c |   3136869 |    2325   263277   882842 |        1   135686     49 |  0.000 % |
650.79/650.87	c |   3136984 |    2325   263277   882842 |        1   135801     49 |  0.000 % |
650.79/650.87	c |   3137811 |    2325   263277   882842 |        1   136628     49 |  0.000 % |
650.79/650.87	c |   3165800 |    2325   263277   882842 |        1   164617     58 |  0.000 % |
650.79/650.87	c |   3198435 |    2325   263277   882842 |        1   197252     63 |  0.000 % |
650.79/650.87	c |   3201648 |    2325   263277   882842 |        1   200465     64 |  0.000 % |
650.79/650.87	c |   3203809 |    2325   263277   882842 |        1   202626     64 |  0.000 % |
650.79/650.87	c |   3210434 |    2325   263277   882842 |        1   209251     65 |  0.000 % |
650.79/650.87	c |   3219462 |    2325   263277   882842 |        1   218279     67 |  0.000 % |
650.79/650.87	c |   3219838 |    2325   263277   882842 |        1   218655     67 |  0.000 % |
650.79/650.87	c |   3219959 |    2325   263277   882842 |        1   218776     67 |  0.000 % |
650.79/650.87	c |   3220061 |    2325   263277   882842 |        1   218878     67 |  0.000 % |
650.79/650.87	c |   3220365 |    2325   263277   882842 |        1   219182     67 |  0.000 % |
650.79/650.87	c |   3274686 |    2325   263277   882842 |        1   147314     53 |  0.000 % |
650.79/650.87	c |   3283742 |    2325   263277   882842 |        1   156370     55 |  0.000 % |
733.99/734.05	c |   3283951 |    2325   263277   882842 |        1   156579     56 |  0.000 % |
733.99/734.05	c |   3291071 |    2325   263277   882842 |        1   163699     58 |  0.000 % |
733.99/734.05	c |   3294996 |    2325   263277   882842 |        1   167624     58 |  0.000 % |
733.99/734.05	c |   3300084 |    2325   263277   882842 |        1   172712     59 |  0.000 % |
733.99/734.05	c |   3301868 |    2325   263277   882842 |        1   174496     60 |  0.000 % |
733.99/734.05	c |   3302988 |    2325   263277   882842 |        1   175616     60 |  0.000 % |
733.99/734.05	c |   3305931 |    2325   263277   882842 |        1   178559     61 |  0.000 % |
733.99/734.05	c |   3306032 |    2325   263277   882842 |        1   178660     61 |  0.000 % |
733.99/734.05	c |   3306489 |    2325   263277   882842 |        1   179117     61 |  0.000 % |
733.99/734.05	c |   3308117 |    2325   263277   882842 |        1   180745     62 |  0.000 % |
733.99/734.05	c |   3308412 |    2325   263277   882842 |        1   181040     62 |  0.000 % |
733.99/734.05	c |   3311521 |    2325   263277   882842 |        1   184149     63 |  0.000 % |
733.99/734.05	c |   3312353 |    2325   263277   882842 |        1   184981     63 |  0.000 % |
733.99/734.05	c |   3312736 |    2325   263277   882842 |        1   185364     63 |  0.000 % |
733.99/734.05	c |   3381504 |    2325   263277   882842 |        1   254132     69 |  0.000 % |
733.99/734.05	c |   3403941 |    2325   263277   882842 |        1   147774     50 |  0.000 % |
733.99/734.05	c |   3412831 |    2325   263277   882842 |        1   156664     53 |  0.000 % |
733.99/734.05	c |   3424511 |    2325   263277   882842 |        1   168344     55 |  0.000 % |
733.99/734.05	c |   3424612 |    2325   263277   882842 |        1   168445     55 |  0.000 % |
733.99/734.05	c |   3426043 |    2325   263277   882842 |        1   169876     55 |  0.000 % |
733.99/734.05	c |   3426697 |    2325   263277   882842 |        1   170530     56 |  0.000 % |
733.99/734.05	c |   3432204 |    2325   263277   882842 |        1   176037     57 |  0.000 % |
733.99/734.05	c |   3432744 |    2325   263277   882842 |        1   176577     57 |  0.000 % |
733.99/734.05	c |   3440014 |    2325   263277   882842 |        1   183847     59 |  0.000 % |
733.99/734.05	c |   3441328 |    2325   263277   882842 |        1   185161     59 |  0.000 % |
733.99/734.06	c |   3454126 |    2325   263277   882842 |        1   197959     62 |  0.000 % |
733.99/734.06	c |   3474797 |    2325   263277   882842 |        1   218630     64 |  0.000 % |
733.99/734.06	c |   3487681 |    2325   263277   882842 |        1   231514     65 |  0.000 % |
733.99/734.06	c |   3488615 |    2325   263277   882842 |        1   232448     65 |  0.000 % |
733.99/734.06	c |   3496126 |    2325   263277   882842 |        1   239959     66 |  0.000 % |
733.99/734.06	c |   3514680 |    2325   263277   882842 |        1   258513     68 |  0.000 % |
733.99/734.06	c |   3547449 |    2325   263277   882842 |        1   159885     49 |  0.000 % |
733.99/734.06	c |   3547552 |    2325   263277   882842 |        1   159988     49 |  0.000 % |
733.99/734.06	c |   3548461 |    2325   263277   882842 |        1   160897     49 |  0.000 % |
733.99/734.06	c |   3559850 |    2325   263277   882842 |        1   172286     52 |  0.000 % |
733.99/734.06	c |   3561138 |    2325   263277   882842 |        1   173574     53 |  0.000 % |
733.99/734.06	c |   3567284 |    2325   263277   882842 |        1   179720     54 |  0.000 % |
733.99/734.06	c |   3576772 |    2325   263277   882842 |        1   189208     56 |  0.000 % |
733.99/734.06	c |   3578716 |    2325   263277   882842 |        1   191152     56 |  0.000 % |
733.99/734.06	c |   3579735 |    2325   263277   882842 |        1   192171     56 |  0.000 % |
733.99/734.06	c |   3581220 |    2325   263277   882842 |        1   193656     57 |  0.000 % |
733.99/734.06	c |   3581320 |    2325   263277   882842 |        1   193756     57 |  0.000 % |
733.99/734.06	c |   3581528 |    2325   263277   882842 |        1   193964     57 |  0.000 % |
733.99/734.06	c |   3585278 |    2325   263277   882842 |        1   197714     58 |  0.000 % |
733.99/734.06	c |   3606770 |    2325   263277   882842 |        1   219206     62 |  0.000 % |
733.99/734.06	c |   3615162 |    2325   263277   882842 |        1   227598     64 |  0.000 % |
733.99/734.06	c |   3631098 |    2325   263277   882842 |        1   243534     65 |  0.000 % |
733.99/734.06	c |   3633528 |    2325   263277   882842 |        1   245964     65 |  0.000 % |
733.99/734.06	c |   3642915 |    2325   263277   882842 |        1   255351     66 |  0.000 % |
733.99/734.06	c |   3663038 |    2325   263277   882842 |        1   141474     43 |  0.000 % |
837.19/837.28	c |   3677724 |    2325   263277   882842 |        1   156160     48 |  0.000 % |
837.19/837.28	c |   3692988 |    2325   263277   882842 |        1   171424     52 |  0.000 % |
837.19/837.28	c |   3703062 |    2325   263277   882842 |        1   181498     54 |  0.000 % |
837.19/837.28	c |   3703346 |    2325   263277   882842 |        1   181782     54 |  0.000 % |
837.19/837.28	c |   3703783 |    2325   263277   882842 |        1   182219     55 |  0.000 % |
837.19/837.28	c |   3724466 |    2325   263277   882842 |        1   202902     58 |  0.000 % |
837.19/837.28	c |   3803406 |    2325   263277   882842 |        1   145247     44 |  0.000 % |
837.19/837.28	c |   3803506 |    2325   263277   882842 |        1   145347     44 |  0.000 % |
837.19/837.28	c |   3804094 |    2325   263277   882842 |        1   145935     45 |  0.000 % |
837.19/837.28	c |   3805205 |    2325   263277   882842 |        1   147046     45 |  0.000 % |
837.19/837.28	c |   3809785 |    2325   263277   882842 |        1   151626     47 |  0.000 % |
837.19/837.28	c |   3815232 |    2325   263277   882842 |        1   157073     49 |  0.000 % |
837.19/837.28	c |   3815605 |    2325   263277   882842 |        1   157446     49 |  0.000 % |
837.19/837.28	c |   3818350 |    2325   263277   882842 |        1   160191     50 |  0.000 % |
837.19/837.28	c |   3827967 |    2325   263277   882842 |        1   169808     52 |  0.000 % |
837.19/837.28	c |   3828067 |    2325   263277   882842 |        1   169908     52 |  0.000 % |
837.19/837.28	c |   3837775 |    2325   263277   882842 |        1   179616     53 |  0.000 % |
837.19/837.28	c |   3841208 |    2325   263277   882842 |        1   183049     54 |  0.000 % |
837.19/837.28	c |   3849738 |    2325   263277   882842 |        1   191579     56 |  0.000 % |
837.19/837.28	c |   3851634 |    2325   263277   882842 |        1   193475     57 |  0.000 % |
837.19/837.28	c |   3864093 |    2325   263277   882842 |        1   205934     59 |  0.000 % |
837.19/837.28	c |   3865090 |    2325   263277   882842 |        1   206931     59 |  0.000 % |
837.19/837.28	c |   3921324 |    2325   263277   882842 |        1   263165     63 |  0.000 % |
837.19/837.28	c |   3932201 |    2325   263277   882842 |        1   274042     64 |  0.000 % |
837.19/837.28	c |   3932398 |    2325   263277   882842 |        1   274239     64 |  0.000 % |
837.19/837.28	c |   3960115 |    2325   263277   882842 |        1   162741     47 |  0.000 % |
837.19/837.28	c |   3961326 |    2325   263277   882842 |        1   163952     48 |  0.000 % |
837.19/837.28	c |   3970958 |    2325   263277   882842 |        1   173584     50 |  0.000 % |
837.19/837.28	c |   3971058 |    2325   263277   882842 |        1   173684     50 |  0.000 % |
837.19/837.28	c |   3993824 |    2325   263277   882842 |        1   196450     56 |  0.000 % |
837.19/837.28	c |   3993924 |    2325   263277   882842 |        1   196550     56 |  0.000 % |
837.19/837.28	c |   3995558 |    2325   263277   882842 |        1   198184     56 |  0.000 % |
837.19/837.28	c |   3997076 |    2325   263277   882842 |        1   199702     56 |  0.000 % |
837.19/837.28	c |   4001236 |    2325   263277   882842 |        1   203862     57 |  0.000 % |
837.19/837.28	c |   4013468 |    2325   263277   882842 |        1   216094     59 |  0.000 % |
837.19/837.28	c |   4016452 |    2325   263277   882842 |        1   219078     59 |  0.000 % |
837.19/837.28	c |   4030973 |    2325   263277   882842 |        1   233599     62 |  0.000 % |
837.19/837.28	c |   4031300 |    2325   263277   882842 |        1   233926     62 |  0.000 % |
837.19/837.28	c |   4035649 |    2325   263277   882842 |        1   238275     62 |  0.000 % |
837.19/837.28	c |   4046052 |    2325   263277   882842 |        1   248678     64 |  0.000 % |
837.19/837.28	c |   4061763 |    2325   263277   882842 |        1   264389     66 |  0.000 % |
837.19/837.28	c |   4061947 |    2325   263277   882842 |        1   264573     66 |  0.000 % |
837.19/837.28	c |   4062049 |    2325   263277   882842 |        1   264675     66 |  0.000 % |
837.19/837.28	c |   4062647 |    2325   263277   882842 |        1   265273     66 |  0.000 % |
837.19/837.28	c |   4064101 |    2325   263277   882842 |        1   266727     66 |  0.000 % |
837.19/837.28	c |   4065477 |    2325   263277   882842 |        1   268103     66 |  0.000 % |
837.19/837.28	c |   4066316 |    2325   263277   882842 |        1   268942     66 |  0.000 % |
837.19/837.28	c |   4066607 |    2325   263277   882842 |        1   269233     66 |  0.000 % |
837.19/837.28	c |   4082872 |    2325   263277   882842 |        1   143700     42 |  0.000 % |
837.19/837.28	c |   4082974 |    2325   263277   882842 |        1   143802     42 |  0.000 % |
929.69/929.74	c |   4087737 |    2325   263277   882842 |        1   148565     44 |  0.000 % |
929.69/929.74	c |   4087970 |    2325   263277   882842 |        1   148798     44 |  0.000 % |
929.69/929.74	c |   4094466 |    2325   263277   882842 |        1   155294     46 |  0.000 % |
929.69/929.74	c |   4094628 |    2325   263277   882842 |        1   155456     46 |  0.000 % |
929.69/929.74	c |   4096042 |    2325   263277   882842 |        1   156870     46 |  0.000 % |
929.69/929.74	c |   4105048 |    2325   263277   882842 |        1   165876     48 |  0.000 % |
929.69/929.74	c |   4109634 |    2325   263277   882842 |        1   170462     50 |  0.000 % |
929.69/929.74	c |   4113278 |    2325   263277   882842 |        1   174106     51 |  0.000 % |
929.69/929.74	c |   4116360 |    2325   263277   882842 |        1   177188     52 |  0.000 % |
929.69/929.74	c |   4130406 |    2325   263277   882842 |        1   191234     55 |  0.000 % |
929.69/929.74	c |   4131619 |    2325   263277   882842 |        1   192447     55 |  0.000 % |
929.69/929.74	c |   4147462 |    2325   263277   882842 |        1   208290     60 |  0.000 % |
929.69/929.74	c |   4147705 |    2325   263277   882842 |        1   208533     60 |  0.000 % |
929.69/929.74	c |   4148051 |    2325   263277   882842 |        1   208879     60 |  0.000 % |
929.69/929.74	c |   4150203 |    2325   263277   882842 |        1   211031     60 |  0.000 % |
929.69/929.74	c |   4150304 |    2325   263277   882842 |        1   211132     60 |  0.000 % |
929.69/929.74	c |   4150569 |    2325   263277   882842 |        1   211397     60 |  0.000 % |
929.69/929.74	c |   4150669 |    2325   263277   882842 |        1   211497     60 |  0.000 % |
929.69/929.74	c |   4163787 |    2325   263277   882842 |        1   224615     63 |  0.000 % |
929.69/929.74	c |   4164533 |    2325   263277   882842 |        1   225361     63 |  0.000 % |
929.69/929.74	c |   4185651 |    2325   263277   882842 |        1   246479     67 |  0.000 % |
929.69/929.74	c |   4196844 |    2325   263277   882842 |        1   257672     68 |  0.000 % |
929.69/929.74	c |   4197511 |    2325   263277   882842 |        1   258339     68 |  0.000 % |
929.69/929.74	c |   4198805 |    2325   263277   882842 |        1   259633     68 |  0.000 % |
929.69/929.74	c |   4211565 |    2325   263277   882842 |        1   272393     70 |  0.000 % |
929.69/929.74	c |   4221604 |    2325   263277   882842 |        1   282432     71 |  0.000 % |
929.69/929.74	c |   4230044 |    2325   263277   882842 |        1   146474     43 |  0.000 % |
929.69/929.74	c |   4230753 |    2325   263277   882842 |        1   147183     43 |  0.000 % |
929.69/929.74	c |   4243898 |    2325   263277   882842 |        1   160328     46 |  0.000 % |
929.69/929.74	c |   4252329 |    2325   263277   882842 |        1   168759     48 |  0.000 % |
929.69/929.74	c |   4258028 |    2325   263277   882842 |        1   174458     50 |  0.000 % |
929.69/929.74	c |   4292772 |    2325   263277   882842 |        1   209202     55 |  0.000 % |
929.69/929.74	c |   4293229 |    2325   263277   882842 |        1   209659     55 |  0.000 % |
929.69/929.74	c |   4295250 |    2325   263277   882842 |        1   211680     55 |  0.000 % |
929.69/929.74	c |   4351955 |    2325   263277   882842 |        1   268385     65 |  0.000 % |
929.69/929.74	c |   4356639 |    2325   263277   882842 |        1   273069     65 |  0.000 % |
929.69/929.74	c |   4361682 |    2325   263277   882842 |        1   278112     66 |  0.000 % |
929.69/929.74	c |   4362449 |    2325   263277   882842 |        1   278879     66 |  0.000 % |
929.69/929.74	c |   4371791 |    2325   263277   882842 |        1   288221     67 |  0.000 % |
929.69/929.74	c |   4372510 |    2325   263277   882842 |        1   288940     67 |  0.000 % |
929.69/929.74	c |   4376810 |    2325   263277   882842 |        1   293240     68 |  0.000 % |
929.69/929.74	c |   4384807 |    2325   263277   882842 |        1   154241     45 |  0.000 % |
929.69/929.74	c |   4402695 |    2325   263277   882842 |        1   172129     50 |  0.000 % |
929.69/929.74	c |   4403696 |    2325   263277   882842 |        1   173130     50 |  0.000 % |
929.69/929.74	c |   4405933 |    2325   263277   882842 |        1   175367     51 |  0.000 % |
929.69/929.74	c |   4416669 |    2325   263277   882842 |        1   186103     54 |  0.000 % |
929.69/929.74	c |   4424148 |    2325   263277   882842 |        1   193582     55 |  0.000 % |
929.69/929.74	c |   4425810 |    2325   263277   882842 |        1   195244     55 |  0.000 % |
929.69/929.74	c |   4426097 |    2325   263277   882842 |        1   195531     55 |  0.000 % |
929.69/929.74	c |   4433844 |    2325   263277   882842 |        1   203278     57 |  0.000 % |
1051.30/1051.35	c |   4436291 |    2325   263277   882842 |        1   205725     58 |  0.000 % |
1051.30/1051.35	c |   4444599 |    2325   263277   882842 |        1   214033     59 |  0.000 % |
1051.30/1051.35	c |   4527587 |    2325   263277   882842 |        1   297021     66 |  0.000 % |
1051.30/1051.35	c |   4530768 |    2325   263277   882842 |        1   150599     40 |  0.000 % |
1051.30/1051.35	c |   4537481 |    2325   263277   882842 |        1   157312     42 |  0.000 % |
1051.30/1051.35	c |   4550287 |    2325   263277   882842 |        1   170118     47 |  0.000 % |
1051.30/1051.35	c |   4569472 |    2325   263277   882842 |        1   189303     51 |  0.000 % |
1051.30/1051.35	c |   4578067 |    2325   263277   882842 |        1   197898     52 |  0.000 % |
1051.30/1051.35	c |   4594394 |    2325   263277   882842 |        1   214225     56 |  0.000 % |
1051.30/1051.35	c |   4595209 |    2325   263277   882842 |        1   215040     56 |  0.000 % |
1051.30/1051.35	c |   4618458 |    2325   263277   882842 |        1   238289     60 |  0.000 % |
1051.30/1051.35	c |   4634993 |    2325   263277   882842 |        1   254824     62 |  0.000 % |
1051.30/1051.35	c |   4650198 |    2325   263277   882842 |        1   270029     64 |  0.000 % |
1051.30/1051.35	c |   4656397 |    2325   263277   882842 |        1   276228     65 |  0.000 % |
1051.30/1051.35	c |   4662011 |    2325   263277   882842 |        1   281842     65 |  0.000 % |
1051.30/1051.35	c |   4668776 |    2325   263277   882842 |        1   288607     66 |  0.000 % |
1051.30/1051.35	c |   4676796 |    2325   263277   882842 |        1   296627     68 |  0.000 % |
1051.30/1051.35	c |   4678791 |    2325   263277   882842 |        1   298622     68 |  0.000 % |
1051.30/1051.35	c |   4694520 |    2325   263277   882842 |        1   162150     46 |  0.000 % |
1051.30/1051.35	c |   4694620 |    2325   263277   882842 |        1   162250     46 |  0.000 % |
1051.30/1051.35	c |   4694950 |    2325   263277   882842 |        1   162580     46 |  0.000 % |
1051.30/1051.35	c |   4695457 |    2325   263277   882842 |        1   163087     46 |  0.000 % |
1051.30/1051.35	c |   4700893 |    2325   263277   882842 |        1   168523     49 |  0.000 % |
1051.30/1051.35	c |   4757072 |    2325   263277   882842 |        1   224702     63 |  0.000 % |
1051.30/1051.35	c |   4757172 |    2325   263277   882842 |        1   224802     63 |  0.000 % |
1051.30/1051.35	c |   4761152 |    2325   263277   882842 |        1   228782     64 |  0.000 % |
1051.30/1051.35	c |   4761325 |    2325   263277   882842 |        1   228955     64 |  0.000 % |
1051.30/1051.35	c |   4761766 |    2325   263277   882842 |        1   229396     65 |  0.000 % |
1051.30/1051.35	c |   4763123 |    2325   263277   882842 |        1   230753     65 |  0.000 % |
1051.30/1051.35	c |   4763271 |    2325   263277   882842 |        1   230901     65 |  0.000 % |
1051.30/1051.35	c |   4764974 |    2325   263277   882842 |        1   232604     65 |  0.000 % |
1051.30/1051.35	c |   4786959 |    2325   263277   882842 |        1   254589     68 |  0.000 % |
1051.30/1051.35	c |   4787062 |    2325   263277   882842 |        1   254692     68 |  0.000 % |
1051.30/1051.35	c |   4824714 |    2325   263277   882842 |        1   292344     72 |  0.000 % |
1051.30/1051.35	c |   4824991 |    2325   263277   882842 |        1   292621     72 |  0.000 % |
1051.30/1051.35	c |   4827709 |    2325   263277   882842 |        1   295339     72 |  0.000 % |
1051.30/1051.35	c |   4829537 |    2325   263277   882842 |        1   297167     72 |  0.000 % |
1051.30/1051.35	c |   4841147 |    2325   263277   882842 |        1   308777     73 |  0.000 % |
1051.30/1051.35	c |   4845463 |    2325   263277   882842 |        1   158295     45 |  0.000 % |
1051.30/1051.35	c |   4863045 |    2325   263277   882842 |        1   175877     50 |  0.000 % |
1051.30/1051.35	c |   4865555 |    2325   263277   882842 |        1   178387     51 |  0.000 % |
1051.30/1051.35	c |   4883795 |    2325   263277   882842 |        1   196627     55 |  0.000 % |
1051.30/1051.35	c |   4898614 |    2325   263277   882842 |        1   211446     58 |  0.000 % |
1051.30/1051.35	c |   4917793 |    2325   263277   882842 |        1   230625     61 |  0.000 % |
1051.30/1051.35	c |   4926238 |    2325   263277   882842 |        1   239070     63 |  0.000 % |
1051.30/1051.35	c |   4926600 |    2325   263277   882842 |        1   239432     63 |  0.000 % |
1051.30/1051.35	c |   4927897 |    2325   263277   882842 |        1   240729     63 |  0.000 % |
1051.30/1051.35	c |   4928140 |    2325   263277   882842 |        1   240972     63 |  0.000 % |
1051.30/1051.35	c |   4929771 |    2325   263277   882842 |        1   242603     63 |  0.000 % |
1051.30/1051.35	c |   4929893 |    2325   263277   882842 |        1   242725     63 |  0.000 % |
1105.20/1105.23	c |   4930875 |    2325   263277   882842 |        1   243707     64 |  0.000 % |
1105.20/1105.23	c |   4938630 |    2325   263277   882842 |        1   251462     65 |  0.000 % |
1105.20/1105.23	c |   4940615 |    2325   263277   882842 |        1   253447     66 |  0.000 % |
1105.20/1105.23	c |   4946580 |    2325   263277   882842 |        1   259412     67 |  0.000 % |
1105.20/1105.23	c |   4961115 |    2325   263277   882842 |        1   273947     68 |  0.000 % |
1105.20/1105.23	c |   4962256 |    2325   263277   882842 |        1   275088     68 |  0.000 % |
1105.20/1105.23	c |   4962421 |    2325   263277   882842 |        1   275253     68 |  0.000 % |
1105.20/1105.23	c |   4965005 |    2325   263277   882842 |        1   277837     69 |  0.000 % |
1105.20/1105.23	c |   4965546 |    2325   263277   882842 |        1   278378     69 |  0.000 % |
1105.20/1105.23	c |   4965689 |    2325   263277   882842 |        1   278521     69 |  0.000 % |
1105.20/1105.23	c |   4973531 |    2325   263277   882842 |        1   286363     70 |  0.000 % |
1105.20/1105.23	c |   4990006 |    2325   263277   882842 |        1   302838     72 |  0.000 % |
1105.20/1105.23	c |   4990143 |    2325   263277   882842 |        1   302975     72 |  0.000 % |
1105.20/1105.23	c |   4990244 |    2325   263277   882842 |        1   303076     72 |  0.000 % |
1105.20/1105.23	c |   4990349 |    2325   263277   882842 |        1   303181     72 |  0.000 % |
1105.20/1105.23	c |   4992390 |    2325   263277   882842 |        1   305222     72 |  0.000 % |
1105.20/1105.23	c |   5004186 |    2325   263277   882842 |        1   159614     43 |  0.000 % |
1105.20/1105.23	c |   5028142 |    2325   263277   882842 |        1   183570     49 |  0.000 % |
1105.20/1105.23	c |   5073872 |    2325   263277   882842 |        1   229300     57 |  0.000 % |
1105.20/1105.23	c |   5073972 |    2325   263277   882842 |        1   229400     57 |  0.000 % |
1105.20/1105.23	c |   5074072 |    2325   263277   882842 |        1   229500     57 |  0.000 % |
1105.20/1105.23	c |   5074175 |    2325   263277   882842 |        1   229603     57 |  0.000 % |
1105.20/1105.23	c |   5074294 |    2325   263277   882842 |        1   229722     57 |  0.000 % |
1105.20/1105.23	c |   5075921 |    2325   263277   882842 |        1   231349     58 |  0.000 % |
1105.20/1105.23	c |   5076021 |    2325   263277   882842 |        1   231449     58 |  0.000 % |
1105.20/1105.23	c |   5082212 |    2325   263277   882842 |        1   237640     58 |  0.000 % |
1105.20/1105.23	c |   5089517 |    2325   263277   882842 |        1   244945     59 |  0.000 % |
1105.20/1105.23	c |   5089681 |    2325   263277   882842 |        1   245109     59 |  0.000 % |
1105.20/1105.23	c |   5089798 |    2325   263277   882842 |        1   245226     59 |  0.000 % |
1105.20/1105.23	c |   5090219 |    2325   263277   882842 |        1   245647     60 |  0.000 % |
1105.20/1105.23	c |   5090396 |    2325   263277   882842 |        1   245824     60 |  0.000 % |
1105.20/1105.23	c |   5090554 |    2325   263277   882842 |        1   245982     60 |  0.000 % |
1105.20/1105.23	c |   5090974 |    2325   263277   882842 |        1   246402     60 |  0.000 % |
1105.20/1105.23	c |   5091156 |    2325   263277   882842 |        1   246584     60 |  0.000 % |
1105.20/1105.23	c |   5093432 |    2325   263277   882842 |        1   248860     60 |  0.000 % |
1105.20/1105.23	c |   5093532 |    2325   263277   882842 |        1   248960     60 |  0.000 % |
1105.20/1105.23	c |   5093765 |    2325   263277   882842 |        1   249193     60 |  0.000 % |
1105.20/1105.23	c |   5094783 |    2325   263277   882842 |        1   250211     61 |  0.000 % |
1105.20/1105.23	c |   5097189 |    2325   263277   882842 |        1   252617     61 |  0.000 % |
1105.20/1105.23	c |   5106447 |    2325   263277   882842 |        1   261875     62 |  0.000 % |
1105.20/1105.23	c |   5106797 |    2325   263277   882842 |        1   262225     62 |  0.000 % |
1105.20/1105.23	c |   5112787 |    2325   263277   882842 |        1   268215     63 |  0.000 % |
1105.20/1105.23	c |   5112959 |    2325   263277   882842 |        1   268387     63 |  0.000 % |
1105.20/1105.23	c |   5115719 |    2325   263277   882842 |        1   271147     64 |  0.000 % |
1105.20/1105.23	c |   5130110 |    2325   263277   882842 |        1   285538     65 |  0.000 % |
1105.20/1105.23	c |   5130210 |    2325   263277   882842 |        1   285638     65 |  0.000 % |
1105.20/1105.23	c |   5135157 |    2325   263277   882842 |        1   290585     66 |  0.000 % |
1105.20/1105.23	c |   5135422 |    2325   263277   882842 |        1   290850     66 |  0.000 % |
1105.20/1105.23	c |   5135586 |    2325   263277   882842 |        1   291014     66 |  0.000 % |
1105.20/1105.23	c |   5135692 |    2325   263277   882842 |        1   291120     66 |  0.000 % |
1198.40/1198.41	c |   5136555 |    2325   263277   882842 |        1   291983     67 |  0.000 % |
1198.40/1198.41	c |   5159494 |    2325   263277   882842 |        1   314922     70 |  0.000 % |
1198.40/1198.41	c |   5165661 |    2325   263277   882842 |        1   161095     41 |  0.000 % |
1198.40/1198.41	c |   5190137 |    2325   263277   882842 |        1   185571     49 |  0.000 % |
1198.40/1198.41	c |   5190291 |    2325   263277   882842 |        1   185725     49 |  0.000 % |
1198.40/1198.41	c |   5190538 |    2325   263277   882842 |        1   185972     49 |  0.000 % |
1198.40/1198.41	c |   5192260 |    2325   263277   882842 |        1   187694     50 |  0.000 % |
1198.40/1198.41	c |   5192816 |    2325   263277   882842 |        1   188250     50 |  0.000 % |
1198.40/1198.41	c |   5192986 |    2325   263277   882842 |        1   188420     50 |  0.000 % |
1198.40/1198.41	c |   5193086 |    2325   263277   882842 |        1   188520     50 |  0.000 % |
1198.40/1198.41	c |   5206873 |    2325   263277   882842 |        1   202307     54 |  0.000 % |
1198.40/1198.41	c |   5207557 |    2325   263277   882842 |        1   202991     54 |  0.000 % |
1198.40/1198.41	c |   5215935 |    2325   263277   882842 |        1   211369     56 |  0.000 % |
1198.40/1198.41	c |   5223050 |    2325   263277   882842 |        1   218484     58 |  0.000 % |
1198.40/1198.41	c |   5224696 |    2325   263277   882842 |        1   220130     59 |  0.000 % |
1198.40/1198.41	c |   5224902 |    2325   263277   882842 |        1   220336     59 |  0.000 % |
1198.40/1198.41	c |   5225003 |    2325   263277   882842 |        1   220437     59 |  0.000 % |
1198.40/1198.41	c |   5227715 |    2325   263277   882842 |        1   223149     59 |  0.000 % |
1198.40/1198.41	c |   5230882 |    2325   263277   882842 |        1   226316     60 |  0.000 % |
1198.40/1198.41	c |   5242683 |    2325   263277   882842 |        1   238117     62 |  0.000 % |
1198.40/1198.41	c |   5249007 |    2325   263277   882842 |        1   244441     63 |  0.000 % |
1198.40/1198.41	c |   5268943 |    2325   263277   882842 |        1   264377     65 |  0.000 % |
1198.40/1198.41	c |   5281262 |    2325   263277   882842 |        1   276696     67 |  0.000 % |
1198.40/1198.41	c |   5281941 |    2325   263277   882842 |        1   277375     67 |  0.000 % |
1198.40/1198.41	c |   5283955 |    2325   263277   882842 |        1   279389     67 |  0.000 % |
1198.40/1198.41	c |   5289167 |    2325   263277   882842 |        1   284601     68 |  0.000 % |
1198.40/1198.41	c |   5330435 |    2325   263277   882842 |        1   163259     43 |  0.000 % |
1198.40/1198.41	c |   5355669 |    2325   263277   882842 |        1   188493     50 |  0.000 % |
1198.40/1198.41	c |   5356541 |    2325   263277   882842 |        1   189365     50 |  0.000 % |
1198.40/1198.41	c |   5356643 |    2325   263277   882842 |        1   189467     50 |  0.000 % |
1198.40/1198.41	c |   5360993 |    2325   263277   882842 |        1   193817     51 |  0.000 % |
1198.40/1198.41	c |   5363796 |    2325   263277   882842 |        1   196620     52 |  0.000 % |
1198.40/1198.41	c |   5376132 |    2325   263277   882842 |        1   208956     55 |  0.000 % |
1198.40/1198.41	c |   5377806 |    2325   263277   882842 |        1   210630     55 |  0.000 % |
1198.40/1198.41	c |   5384529 |    2325   263277   882842 |        1   217353     57 |  0.000 % |
1198.40/1198.41	c |   5385253 |    2325   263277   882842 |        1   218077     57 |  0.000 % |
1198.40/1198.41	c |   5389481 |    2325   263277   882842 |        1   222305     58 |  0.000 % |
1198.40/1198.41	c |   5392811 |    2325   263277   882842 |        1   225635     58 |  0.000 % |
1198.40/1198.41	c |   5418209 |    2325   263277   882842 |        1   251033     61 |  0.000 % |
1198.40/1198.41	c |   5436050 |    2325   263277   882842 |        1   268874     63 |  0.000 % |
1198.40/1198.41	c |   5436256 |    2325   263277   882842 |        1   269080     63 |  0.000 % |
1198.40/1198.41	c |   5446760 |    2325   263277   882842 |        1   279584     64 |  0.000 % |
1198.40/1198.41	c |   5446860 |    2325   263277   882842 |        1   279684     64 |  0.000 % |
1198.40/1198.41	c |   5447102 |    2325   263277   882842 |        1   279926     64 |  0.000 % |
1198.40/1198.41	c |   5447446 |    2325   263277   882842 |        1   280270     64 |  0.000 % |
1198.40/1198.41	c |   5453722 |    2325   263277   882842 |        1   286546     65 |  0.000 % |
1198.40/1198.41	c |   5456980 |    2325   263277   882842 |        1   289804     65 |  0.000 % |
1198.40/1198.41	c |   5458389 |    2325   263277   882842 |        1   291213     65 |  0.000 % |
1198.40/1198.41	c |   5488090 |    2325   263277   882842 |        1   320914     67 |  0.000 % |
1198.40/1198.41	c |   5488199 |    2325   263277   882842 |        1   321023     67 |  0.000 % |
1296.30/1296.36	c |   5491475 |    2325   263277   882842 |        1   324299     67 |  0.000 % |
1296.30/1296.36	c |   5494052 |    2325   263277   882842 |        1   326876     67 |  0.000 % |
1296.30/1296.36	c |   5494300 |    2325   263277   882842 |        1   327124     67 |  0.000 % |
1296.30/1296.36	c |   5501485 |    2325   263277   882842 |        1   169113     42 |  0.000 % |
1296.30/1296.36	c |   5502823 |    2325   263277   882842 |        1   170451     42 |  0.000 % |
1296.30/1296.36	c |   5507582 |    2325   263277   882842 |        1   175210     44 |  0.000 % |
1296.30/1296.36	c |   5507683 |    2325   263277   882842 |        1   175311     44 |  0.000 % |
1296.30/1296.36	c |   5510684 |    2325   263277   882842 |        1   178312     45 |  0.000 % |
1296.30/1296.36	c |   5529297 |    2325   263277   882842 |        1   196925     50 |  0.000 % |
1296.30/1296.36	c |   5529397 |    2325   263277   882842 |        1   197025     50 |  0.000 % |
1296.30/1296.36	c |   5538238 |    2325   263277   882842 |        1   205866     52 |  0.000 % |
1296.30/1296.36	c |   5540371 |    2325   263277   882842 |        1   207999     53 |  0.000 % |
1296.30/1296.36	c |   5540513 |    2325   263277   882842 |        1   208141     53 |  0.000 % |
1296.30/1296.36	c |   5541983 |    2325   263277   882842 |        1   209611     53 |  0.000 % |
1296.30/1296.36	c |   5542286 |    2325   263277   882842 |        1   209914     53 |  0.000 % |
1296.30/1296.36	c |   5542387 |    2325   263277   882842 |        1   210015     53 |  0.000 % |
1296.30/1296.36	c |   5543139 |    2325   263277   882842 |        1   210767     53 |  0.000 % |
1296.30/1296.36	c |   5543465 |    2325   263277   882842 |        1   211093     53 |  0.000 % |
1296.30/1296.36	c |   5543600 |    2325   263277   882842 |        1   211228     54 |  0.000 % |
1296.30/1296.36	c |   5543992 |    2325   263277   882842 |        1   211620     54 |  0.000 % |
1296.30/1296.36	c |   5585949 |    2325   263277   882842 |        1   253577     60 |  0.000 % |
1296.30/1296.36	c |   5589292 |    2325   263277   882842 |        1   256920     61 |  0.000 % |
1296.30/1296.36	c |   5589392 |    2325   263277   882842 |        1   257020     61 |  0.000 % |
1296.30/1296.36	c |   5590634 |    2325   263277   882842 |        1   258262     61 |  0.000 % |
1296.30/1296.36	c |   5604022 |    2325   263277   882842 |        1   271650     62 |  0.000 % |
1296.30/1296.36	c |   5608276 |    2325   263277   882842 |        1   275904     63 |  0.000 % |
1296.30/1296.36	c |   5608376 |    2325   263277   882842 |        1   276004     63 |  0.000 % |
1296.30/1296.36	c |   5611129 |    2325   263277   882842 |        1   278757     63 |  0.000 % |
1296.30/1296.36	c |   5611276 |    2325   263277   882842 |        1   278904     63 |  0.000 % |
1296.30/1296.36	c |   5611376 |    2325   263277   882842 |        1   279004     63 |  0.000 % |
1296.30/1296.36	c |   5615877 |    2325   263277   882842 |        1   283505     64 |  0.000 % |
1296.30/1296.36	c |   5618100 |    2325   263277   882842 |        1   285728     64 |  0.000 % |
1296.30/1296.36	c |   5646452 |    2325   263277   882842 |        1   314080     68 |  0.000 % |
1296.30/1296.36	c |   5652889 |    2325   263277   882842 |        1   320517     69 |  0.000 % |
1296.30/1296.36	c |   5652990 |    2325   263277   882842 |        1   320618     69 |  0.000 % |
1296.30/1296.36	c |   5653094 |    2325   263277   882842 |        1   320722     69 |  0.000 % |
1296.30/1296.36	c |   5674724 |    2325   263277   882842 |        1   174549     43 |  0.000 % |
1296.30/1296.36	c |   5697799 |    2325   263277   882842 |        1   197624     49 |  0.000 % |
1296.30/1296.36	c |   5701637 |    2325   263277   882842 |        1   201462     50 |  0.000 % |
1296.30/1296.36	c |   5701737 |    2325   263277   882842 |        1   201562     50 |  0.000 % |
1296.30/1296.36	c |   5702954 |    2325   263277   882842 |        1   202779     50 |  0.000 % |
1296.30/1296.36	c |   5725072 |    2325   263277   882842 |        1   224897     54 |  0.000 % |
1296.30/1296.36	c |   5725373 |    2325   263277   882842 |        1   225198     54 |  0.000 % |
1296.30/1296.36	c |   5763987 |    2325   263277   882842 |        1   263812     60 |  0.000 % |
1296.30/1296.36	c |   5764087 |    2325   263277   882842 |        1   263912     60 |  0.000 % |
1296.30/1296.36	c |   5784893 |    2325   263277   882842 |        1   284718     63 |  0.000 % |
1296.30/1296.36	c |   5786722 |    2325   263277   882842 |        1   286547     63 |  0.000 % |
1296.30/1296.36	c |   5786863 |    2325   263277   882842 |        1   286688     63 |  0.000 % |
1296.30/1296.36	c |   5807525 |    2325   263277   882842 |        1   307350     66 |  0.000 % |
1296.30/1296.36	c |   5808042 |    2325   263277   882842 |

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-3258480-1303475680/watcher-3258480-1303475680 -o /tmp/evaluation-result-3258480-1303475680/solver-3258480-1303475680 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3258480-1303475680.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: 4.00 3.96 3.59 4/189 24055
/proc/meminfo: memFree=13681968/32950928 swapFree=67111528/67111528
[pid=24055] ppid=24053 vsize=8704 CPUtime=0 cores=1,3
/proc/24055/stat : 24055 (glucose.sh) R 24053 24055 23003 0 -1 4202496 317 0 0 0 0 0 0 0 25 0 1 0 459166852 8912896 253 33554432000 4194304 4922060 140734395864432 18446744073709551615 268272509333 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/24055/statm: 2176 253 211 178 0 69 0

[startup+0.0187981 s]
/proc/loadavg: 4.00 3.96 3.59 4/189 24055
/proc/meminfo: memFree=13681968/32950928 swapFree=67111528/67111528
[pid=24055] ppid=24053 vsize=8704 CPUtime=0 cores=1,3
/proc/24055/stat : 24055 (glucose.sh) S 24053 24055 23003 0 -1 4202496 335 0 0 0 0 0 0 0 25 0 1 0 459166852 8912896 253 33554432000 4194304 4922060 140734395864432 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24055/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100787 s]
/proc/loadavg: 4.00 3.96 3.59 4/189 24055
/proc/meminfo: memFree=13681968/32950928 swapFree=67111528/67111528
[pid=24055] ppid=24053 vsize=8704 CPUtime=0 cores=1,3
/proc/24055/stat : 24055 (glucose.sh) S 24053 24055 23003 0 -1 4202496 335 0 0 0 0 0 0 0 25 0 1 0 459166852 8912896 253 33554432000 4194304 4922060 140734395864432 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24055/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300747 s]
/proc/loadavg: 4.00 3.96 3.59 4/189 24055
/proc/meminfo: memFree=13681968/32950928 swapFree=67111528/67111528
[pid=24055] ppid=24053 vsize=8704 CPUtime=0 cores=1,3
/proc/24055/stat : 24055 (glucose.sh) S 24053 24055 23003 0 -1 4202496 335 0 0 0 0 0 0 0 25 0 1 0 459166852 8912896 253 33554432000 4194304 4922060 140734395864432 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24055/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.700678 s]
/proc/loadavg: 4.00 3.96 3.59 4/189 24055
/proc/meminfo: memFree=13681968/32950928 swapFree=67111528/67111528
[pid=24055] ppid=24053 vsize=8704 CPUtime=0 cores=1,3
/proc/24055/stat : 24055 (glucose.sh) S 24053 24055 23003 0 -1 4202496 335 0 0 0 0 0 0 0 25 0 1 0 459166852 8912896 253 33554432000 4194304 4922060 140734395864432 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24055/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50053 s]
/proc/loadavg: 4.00 3.96 3.59 5/194 24088
/proc/meminfo: memFree=13648536/32950928 swapFree=67111528/67111528
[pid=24055] ppid=24053 vsize=8704 CPUtime=0.98 cores=1,3
/proc/24055/stat : 24055 (glucose.sh) S 24053 24055 23003 0 -1 4202496 360 5465 0 0 0 0 96 2 18 0 1 0 459166852 8912896 255 33554432000 4194304 4922060 140734395864432 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24055/statm: 2176 255 211 178 0 69 0
[pid=24088] ppid=24055 vsize=29700 CPUtime=0.49 cores=1,3
/proc/24088/stat : 24088 (glucose_static) R 24055 24055 23003 0 -1 4202496 6763 0 0 0 49 0 0 0 20 0 1 0 459166952 30412800 4223 33554432000 4194304 4260849 140734996731984 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24088/statm: 7425 4223 250 17 0 4066 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 38404

[startup+3.10025 s]
/proc/loadavg: 4.08 3.98 3.60 5/194 24088
/proc/meminfo: memFree=13609360/32950928 swapFree=67111528/67111528
[pid=24055] ppid=24053 vsize=8704 CPUtime=0.98 cores=1,3
/proc/24055/stat : 24055 (glucose.sh) S 24053 24055 23003 0 -1 4202496 360 5465 0 0 0 0 96 2 18 0 1 0 459166852 8912896 255 33554432000 4194304 4922060 140734395864432 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24055/statm: 2176 255 211 178 0 69 0
[pid=24088] ppid=24055 vsize=53052 CPUtime=2.09 cores=1,3
/proc/24088/stat : 24088 (glucose_static) R 24055 24055 23003 0 -1 4202496 14625 0 0 0 208 1 0 0 25 0 1 0 459166952 54325248 9250 33554432000 4194304 4260849 140734996731984 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24088/statm: 13263 9250 250 17 0 9904 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 61756

[startup+6.30068 s]
/proc/loadavg: 4.08 3.98 3.60 5/194 24088
/proc/meminfo: memFree=13562128/32950928 swapFree=67111528/67111528
[pid=24055] ppid=24053 vsize=8704 CPUtime=0.98 cores=1,3
/proc/24055/stat : 24055 (glucose.sh) S 24053 24055 23003 0 -1 4202496 360 5465 0 0 0 0 96 2 18 0 1 0 459166852 8912896 255 33554432000 4194304 4922060 140734395864432 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24055/statm: 2176 255 211 178 0 69 0
[pid=24088] ppid=24055 vsize=60232 CPUtime=5.29 cores=1,3
/proc/24088/stat : 24088 (glucose_static) R 24055 24055 23003 0 -1 4202496 17246 0 0 0 527 2 0 0 25 0 1 0 459166952 61677568 11733 33554432000 4194304 4260849 140734996731984 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24088/statm: 15058 11733 250 17 0 11699 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 68936

[startup+12.7005 s]
/proc/loadavg: 4.07 3.98 3.60 5/194 24089
/proc/meminfo: memFree=13528548/32950928 swapFree=67111528/67111528
[pid=24055] ppid=24053 vsize=8704 CPUtime=0.98 cores=1,3
/proc/24055/stat : 24055 (glucose.sh) S 24053 24055 23003 0 -1 4202496 360 5465 0 0 0 0 96 2 18 0 1 0 459166852 8912896 255 33554432000 4194304 4922060 140734395864432 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24055/statm: 2176 255 211 178 0 69 0
[pid=24088] ppid=24055 vsize=60232 CPUtime=11.69 cores=1,3
/proc/24088/stat : 24088 (glucose_static) R 24055 24055 23003 0 -1 4202496 17416 0 0 0 1167 2 0 0 25 0 1 0 459166952 61677568 11903 33554432000 4194304 4260849 140734996731984 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24088/statm: 15058 11903 250 17 0 11699 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 68936

[startup+25.5003 s]
/proc/loadavg: 4.06 3.98 3.61 5/194 24089
/proc/meminfo: memFree=13522952/32950928 swapFree=67111528/67111528
[pid=24055] ppid=24053 vsize=8704 CPUtime=0.98 cores=1,3
/proc/24055/stat : 24055 (glucose.sh) S 24053 24055 23003 0 -1 4202496 360 5465 0 0 0 0 96 2 18 0 1 0 459166852 8912896 255 33554432000 4194304 4922060 140734395864432 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24055/statm: 2176 255 211 178 0 69 0
[pid=24088] ppid=24055 vsize=79088 CPUtime=24.49 cores=1,3
/proc/24088/stat : 24088 (glucose_static) R 24055 24055 23003 0 -1 4202496 31154 0 0 0 2444 5 0 0 25 0 1 0 459166952 80986112 12531 33554432000 4194304 4260849 140734996731984 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24088/statm: 19772 12531 251 17 0 16413 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 87792

[startup+51.1007 s]
/proc/loadavg: 4.04 3.98 3.62 5/194 24090
/proc/meminfo: memFree=13453308/32950928 swapFree=67111528/67111528
[pid=24055] ppid=24053 vsize=8704 CPUtime=0.98 cores=1,3
/proc/24055/stat : 24055 (glucose.sh) S 24053 24055 23003 0 -1 4202496 360 5465 0 0 0 0 96 2 18 0 1 0 459166852 8912896 255 33554432000 4194304 4922060 140734395864432 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24055/statm: 2176 255 211 178 0 69 0
[pid=24088] ppid=24055 vsize=109672 CPUtime=50.09 cores=1,3
/proc/24088/stat : 24088 (glucose_static) R 24055 24055 23003 0 -1 4202496 35630 0 0 0 5003 6 0 0 25 0 1 0 459166952 112304128 16958 33554432000 4194304 4260849 140734996731984 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24088/statm: 27418 16958 252 17 0 24059 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 118376

[startup+102.307 s]
/proc/loadavg: 4.01 3.98 3.64 5/194 24091
/proc/meminfo: memFree=13377432/32950928 swapFree=67111528/67111528
[pid=24055] ppid=24053 vsize=8704 CPUtime=0.98 cores=1,3
/proc/24055/stat : 24055 (glucose.sh) S 24053 24055 23003 0 -1 4202496 360 5465 0 0 0 0 96 2 18 0 1 0 459166852 8912896 255 33554432000 4194304 4922060 140734395864432 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24055/statm: 2176 255 211 178 0 69 0
[pid=24088] ppid=24055 vsize=109672 CPUtime=101.3 cores=1,3
/proc/24088/stat : 24088 (glucose_static) R 24055 24055 23003 0 -1 4202496 88069 0 0 0 10116 14 0 0 25 0 1 0 459166952 112304128 18611 33554432000 4194304 4260849 140734996731984 18446744073709551615 4224834 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24088/statm: 27418 18611 252 17 0 24059 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 118376

[startup+162.301 s]
/proc/loadavg: 4.05 3.99 3.66 5/194 24093
/proc/meminfo: memFree=13358036/32950928 swapFree=67111528/67111528
[pid=24055] ppid=24053 vsize=8704 CPUtime=0.98 cores=1,3
/proc/24055/stat : 24055 (glucose.sh) S 24053 24055 23003 0 -1 4202496 360 5465 0 0 0 0 96 2 18 0 1 0 459166852 8912896 255 33554432000 4194304 4922060 140734395864432 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24055/statm: 2176 255 211 178 0 69 0
[pid=24088] ppid=24055 vsize=109672 CPUtime=161.3 cores=1,3
/proc/24088/stat : 24088 (glucose_static) R 24055 24055 23003 0 -1 4202496 139249 0 0 0 16106 24 0 0 25 0 1 0 459166952 112304128 19495 33554432000 4194304 4260849 140734996731984 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24088/statm: 27418 19495 252 17 0 24059 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 118376

[startup+222.3 s]
/proc/loadavg: 4.01 3.99 3.68 5/194 24094
/proc/meminfo: memFree=13383420/32950928 swapFree=67111528/67111528
[pid=24055] ppid=24053 vsize=8704 CPUtime=0.98 cores=1,3
/proc/24055/stat : 24055 (glucose.sh) S 24053 24055 23003 0 -1 4202496 360 5465 0 0 0 0 96 2 18 0 1 0 459166852 8912896 255 33554432000 4194304 4922060 140734395864432 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24055/statm: 2176 255 211 178 0 69 0
[pid=24088] ppid=24055 vsize=109672 CPUtime=221.29 cores=1,3
/proc/24088/stat : 24088 (glucose_static) R 24055 24055 23003 0 -1 4202496 188665 0 0 0 22097 32 0 0 25 0 1 0 459166952 112304128 19517 33554432000 4194304 4260849 140734996731984 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24088/statm: 27418 19517 252 17 0 24059 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 118376

[startup+282.3 s]
/proc/loadavg: 4.07 4.01 3.70 5/194 24096
/proc/meminfo: memFree=13332404/32950928 swapFree=67111528/67111528
[pid=24055] ppid=24053 vsize=8704 CPUtime=0.98 cores=1,3
/proc/24055/stat : 24055 (glucose.sh) S 24053 24055 23003 0 -1 4202496 360 5465 0 0 0 0 96 2 18 0 1 0 459166852 8912896 255 33554432000 4194304 4922060 140734395864432 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24055/statm: 2176 255 211 178 0 69 0
[pid=24088] ppid=24055 vsize=158992 CPUtime=281.3 cores=1,3
/proc/24088/stat : 24088 (glucose_static) R 24055 24055 23003 0 -1 4202496 240222 0 0 0 28087 43 0 0 25 0 1 0 459166952 162807808 30572 33554432000 4194304 4260849 140734996731984 18446744073709551615 4224635 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24088/statm: 39748 30572 252 17 0 36389 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 167696

[startup+342.301 s]
/proc/loadavg: 4.02 4.00 3.72 5/194 24098
/proc/meminfo: memFree=13249896/32950928 swapFree=67111528/67111528
[pid=24055] ppid=24053 vsize=8704 CPUtime=0.98 cores=1,3
/proc/24055/stat : 24055 (glucose.sh) S 24053 24055 23003 0 -1 4202496 360 5465 0 0 0 0 96 2 18 0 1 0 459166852 8912896 255 33554432000 4194304 4922060 140734395864432 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24055/statm: 2176 255 211 178 0 69 0
[pid=24088] ppid=24055 vsize=189812 CPUtime=341.31 cores=1,3
/proc/24088/stat : 24088 (glucose_static) R 24055 24055 23003 0 -1 4202496 284907 0 0 0 34079 52 0 0 25 0 1 0 459166952 194367488 31910 33554432000 4194304 4260849 140734996731984 18446744073709551615 4225969 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24088/statm: 47453 31910 252 17 0 44094 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 198516

[startup+402.301 s]
/proc/loadavg: 4.01 4.00 3.73 5/194 24099
/proc/meminfo: memFree=13266468/32950928 swapFree=67111528/67111528
[pid=24055] ppid=24053 vsize=8704 CPUtime=0.98 cores=1,3

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

/proc/24088/statm: 27418 19743 252 17 0 24059 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 118376

[startup+642.3 s]
/proc/loadavg: 4.02 4.01 3.79 5/194 24106
/proc/meminfo: memFree=13141572/32950928 swapFree=67111528/67111528
[pid=24055] ppid=24053 vsize=8704 CPUtime=0.98 cores=1,3
/proc/24055/stat : 24055 (glucose.sh) S 24053 24055 23003 0 -1 4202496 360 5465 0 0 0 0 96 2 18 0 1 0 459166852 8912896 255 33554432000 4194304 4922060 140734395864432 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24055/statm: 2176 255 211 178 0 69 0
[pid=24088] ppid=24055 vsize=189812 CPUtime=641.31 cores=1,3
/proc/24088/stat : 24088 (glucose_static) R 24055 24055 23003 0 -1 4202496 477951 0 0 0 64034 97 0 0 25 0 1 0 459166952 194367488 39599 33554432000 4194304 4260849 140734996731984 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24088/statm: 47453 39599 252 17 0 44094 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 198516

[startup+702.301 s]
/proc/loadavg: 4.07 4.02 3.80 5/194 24107
/proc/meminfo: memFree=13089312/32950928 swapFree=67111528/67111528
[pid=24055] ppid=24053 vsize=8704 CPUtime=0.98 cores=1,3
/proc/24055/stat : 24055 (glucose.sh) S 24053 24055 23003 0 -1 4202496 360 5465 0 0 0 0 96 2 18 0 1 0 459166852 8912896 255 33554432000 4194304 4922060 140734395864432 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24055/statm: 2176 255 211 178 0 69 0
[pid=24088] ppid=24055 vsize=109672 CPUtime=701.31 cores=1,3
/proc/24088/stat : 24088 (glucose_static) R 24055 24055 23003 0 -1 4202496 519171 0 0 0 70024 107 0 0 25 0 1 0 459166952 112304128 20809 33554432000 4194304 4260849 140734996731984 18446744073709551615 4225082 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24088/statm: 27418 20809 252 17 0 24059 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 118376

[startup+762.307 s]
/proc/loadavg: 4.02 4.01 3.81 5/194 24109
/proc/meminfo: memFree=13109856/32950928 swapFree=67111528/67111528
[pid=24055] ppid=24053 vsize=8704 CPUtime=0.98 cores=1,3
/proc/24055/stat : 24055 (glucose.sh) S 24053 24055 23003 0 -1 4202496 360 5465 0 0 0 0 96 2 18 0 1 0 459166852 8912896 255 33554432000 4194304 4922060 140734395864432 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24055/statm: 2176 255 211 178 0 69 0
[pid=24088] ppid=24055 vsize=189812 CPUtime=761.32 cores=1,3
/proc/24088/stat : 24088 (glucose_static) R 24055 24055 23003 0 -1 4202496 557638 0 0 0 76016 116 0 0 25 0 1 0 459166952 194367488 39292 33554432000 4194304 4260849 140734996731984 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24088/statm: 47453 39292 252 17 0 44094 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 198516

[startup+822.3 s]
/proc/loadavg: 4.01 4.01 3.82 5/194 24110
/proc/meminfo: memFree=13131756/32950928 swapFree=67111528/67111528
[pid=24055] ppid=24053 vsize=8704 CPUtime=0.98 cores=1,3
/proc/24055/stat : 24055 (glucose.sh) S 24053 24055 23003 0 -1 4202496 360 5465 0 0 0 0 96 2 18 0 1 0 459166852 8912896 255 33554432000 4194304 4922060 140734395864432 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24055/statm: 2176 255 211 178 0 69 0
[pid=24088] ppid=24055 vsize=189812 CPUtime=821.32 cores=1,3
/proc/24088/stat : 24088 (glucose_static) R 24055 24055 23003 0 -1 4202496 594838 0 0 0 82006 126 0 0 25 0 1 0 459166952 194367488 36982 33554432000 4194304 4260849 140734996731984 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24088/statm: 47453 36982 252 17 0 44094 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 198516

[startup+882.301 s]
/proc/loadavg: 4.03 4.02 3.83 5/194 24112
/proc/meminfo: memFree=13075160/32950928 swapFree=67111528/67111528
[pid=24055] ppid=24053 vsize=8704 CPUtime=0.98 cores=1,3
/proc/24055/stat : 24055 (glucose.sh) S 24053 24055 23003 0 -1 4202496 360 5465 0 0 0 0 96 2 18 0 1 0 459166852 8912896 255 33554432000 4194304 4922060 140734395864432 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24055/statm: 2176 255 211 178 0 69 0
[pid=24088] ppid=24055 vsize=158992 CPUtime=881.32 cores=1,3
/proc/24088/stat : 24088 (glucose_static) R 24055 24055 23003 0 -1 4202496 635721 0 0 0 87996 136 0 0 25 0 1 0 459166952 162807808 33680 33554432000 4194304 4260849 140734996731984 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24088/statm: 39748 33680 252 17 0 36389 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 167696

[startup+942.301 s]
/proc/loadavg: 4.01 4.01 3.84 5/194 24114
/proc/meminfo: memFree=13115424/32950928 swapFree=67111528/67111528
[pid=24055] ppid=24053 vsize=8704 CPUtime=0.98 cores=1,3
/proc/24055/stat : 24055 (glucose.sh) S 24053 24055 23003 0 -1 4202496 360 5465 0 0 0 0 96 2 18 0 1 0 459166852 8912896 255 33554432000 4194304 4922060 140734395864432 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24055/statm: 2176 255 211 178 0 69 0
[pid=24088] ppid=24055 vsize=189812 CPUtime=941.32 cores=1,3
/proc/24088/stat : 24088 (glucose_static) R 24055 24055 23003 0 -1 4202496 664241 0 0 0 93987 145 0 0 25 0 1 0 459166952 194367488 39884 33554432000 4194304 4260849 140734996731984 18446744073709551615 4224462 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24088/statm: 47453 39884 252 17 0 44094 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 198516

[startup+1002.3 s]
/proc/loadavg: 4.00 4.01 3.85 5/194 24115
/proc/meminfo: memFree=13081044/32950928 swapFree=67111528/67111528
[pid=24055] ppid=24053 vsize=8704 CPUtime=0.98 cores=1,3
/proc/24055/stat : 24055 (glucose.sh) S 24053 24055 23003 0 -1 4202496 360 5465 0 0 0 0 96 2 18 0 1 0 459166852 8912896 255 33554432000 4194304 4922060 140734395864432 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24055/statm: 2176 255 211 178 0 69 0
[pid=24088] ppid=24055 vsize=158992 CPUtime=1001.32 cores=1,3
/proc/24088/stat : 24088 (glucose_static) R 24055 24055 23003 0 -1 4202496 704471 0 0 0 99977 155 0 0 25 0 1 0 459166952 162807808 34472 33554432000 4194304 4260849 140734996731984 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24088/statm: 39748 34472 252 17 0 36389 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 167696

[startup+1062.3 s]
/proc/loadavg: 4.00 4.00 3.85 5/194 24117
/proc/meminfo: memFree=13087564/32950928 swapFree=67111528/67111528
[pid=24055] ppid=24053 vsize=8704 CPUtime=0.98 cores=1,3
/proc/24055/stat : 24055 (glucose.sh) S 24053 24055 23003 0 -1 4202496 360 5465 0 0 0 0 96 2 18 0 1 0 459166852 8912896 255 33554432000 4194304 4922060 140734395864432 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24055/statm: 2176 255 211 178 0 69 0
[pid=24088] ppid=24055 vsize=239900 CPUtime=1061.32 cores=1,3
/proc/24088/stat : 24088 (glucose_static) R 24055 24055 23003 0 -1 4202496 739279 0 0 0 105967 165 0 0 25 0 1 0 459166952 245657600 44101 33554432000 4194304 4260849 140734996731984 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24088/statm: 59975 44101 252 17 0 56616 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 248604

[startup+1122.3 s]
/proc/loadavg: 4.07 4.02 3.86 5/194 24118
/proc/meminfo: memFree=13071268/32950928 swapFree=67111528/67111528
[pid=24055] ppid=24053 vsize=8704 CPUtime=0.98 cores=1,3
/proc/24055/stat : 24055 (glucose.sh) S 24053 24055 23003 0 -1 4202496 360 5465 0 0 0 0 96 2 18 0 1 0 459166852 8912896 255 33554432000 4194304 4922060 140734395864432 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24055/statm: 2176 255 211 178 0 69 0
[pid=24088] ppid=24055 vsize=189812 CPUtime=1121.32 cores=1,3
/proc/24088/stat : 24088 (glucose_static) R 24055 24055 23003 0 -1 4202496 780093 0 0 0 111955 177 0 0 25 0 1 0 459166952 194367488 34814 33554432000 4194304 4260849 140734996731984 18446744073709551615 4224486 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24088/statm: 47453 34814 252 17 0 44094 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 198516

[startup+1182.3 s]
/proc/loadavg: 4.02 4.01 3.87 5/194 24120
/proc/meminfo: memFree=13057956/32950928 swapFree=67111528/67111528
[pid=24055] ppid=24053 vsize=8704 CPUtime=0.98 cores=1,3
/proc/24055/stat : 24055 (glucose.sh) S 24053 24055 23003 0 -1 4202496 360 5465 0 0 0 0 96 2 18 0 1 0 459166852 8912896 255 33554432000 4194304 4922060 140734395864432 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24055/statm: 2176 255 211 178 0 69 0
[pid=24088] ppid=24055 vsize=189812 CPUtime=1181.33 cores=1,3
/proc/24088/stat : 24088 (glucose_static) R 24055 24055 23003 0 -1 4202496 811420 0 0 0 117947 186 0 0 25 0 1 0 459166952 194367488 40465 33554432000 4194304 4260849 140734996731984 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24088/statm: 47453 40465 252 17 0 44094 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 198516

[startup+1242.3 s]
/proc/loadavg: 4.01 4.00 3.87 5/194 24122
/proc/meminfo: memFree=13041656/32950928 swapFree=67111528/67111528
[pid=24055] ppid=24053 vsize=8704 CPUtime=0.98 cores=1,3
/proc/24055/stat : 24055 (glucose.sh) S 24053 24055 23003 0 -1 4202496 360 5465 0 0 0 0 96 2 18 0 1 0 459166852 8912896 255 33554432000 4194304 4922060 140734395864432 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24055/statm: 2176 255 211 178 0 69 0
[pid=24088] ppid=24055 vsize=239900 CPUtime=1241.33 cores=1,3
/proc/24088/stat : 24088 (glucose_static) R 24055 24055 23003 0 -1 4202496 840437 0 0 0 123938 195 0 0 25 0 1 0 459166952 245657600 44562 33554432000 4194304 4260849 140734996731984 18446744073709551615 4224822 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24088/statm: 59975 44562 252 17 0 56616 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 248604



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.03 4.02 3.88 3/188 24125
/proc/meminfo: memFree=13335664/32950928 swapFree=67111528/67111528
[pid=24055] ppid=24053 vsize=8704 CPUtime=0.98 cores=1,3
/proc/24055/stat : 24055 (glucose.sh) S 24053 24055 23003 0 -1 4202496 360 5465 0 0 0 0 96 2 18 0 1 0 459166852 8912896 255 33554432000 4194304 4922060 140734395864432 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24055/statm: 2176 255 211 178 0 69 0
[pid=24088] ppid=24055 vsize=239900 CPUtime=1299.03 cores=1,3
/proc/24088/stat : 24088 (glucose_static) R 24055 24055 23003 0 -1 4202496 866973 0 0 0 129701 202 0 0 25 0 1 0 459166952 245657600 45406 33554432000 4194304 4260849 140734996731984 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24088/statm: 59975 45406 252 17 0 56616 0
Current children cumulated CPU time (s) 1300.01
Current children cumulated vsize (KiB) 248604

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24055 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=968852
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=22996
# CPU time returned by wait4() is 0.991848
# 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): 1297.97
CPU system time (s): 2.04
CPU usage (%): 99.9998
Max. virtual memory (cumulated for all children) (KiB): 297924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.968852
system time used= 0.022996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5825
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= 6
involuntary context switches= 14

runsolver used 2.16167 second user time and 4.94725 second system time

The end

Launcher Data 

Begin job on node122 at 2011-04-22 14:34:41
IDJOB=3258480
IDBENCH=71366
IDSOLVER=1651
FILE ID=node122/3258480-1303475680
RUNJOBID= node122-1303474378-23885
PBS_JOBID= 13107194
Free space on /tmp= 71108 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v2400c266431gyes6.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3258480-1303475680/watcher-3258480-1303475680 -o /tmp/evaluation-result-3258480-1303475680/solver-3258480-1303475680 -C 2400 -W 1300 -M 7680  glucose.sh HOME/instance-3258480-1303475680.cnf 

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

MD5SUM BENCH= e23fefb786281285c1d045e8bc698d74
RANDOM SEED=214241253

node122.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	: 5332.75
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.75
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.83
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.75
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.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      13682372 kB
Buffers:       1282728 kB
Cached:       17354920 kB
SwapCached:          0 kB
Active:        8732576 kB
Inactive:      9995576 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      13682372 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           12068 kB
Writeback:           0 kB
AnonPages:       90136 kB
Mapped:          15656 kB
Slab:           475300 kB
PageTables:       5140 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   292888 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= 71100 MiB
End job on node122 at 2011-04-22 14:56:23