Trace number 3303357

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) 5000.03 4999.91

General information on the benchmark

NameCRAFTED/rbsat/random/
forced/rbsat-v1820c171155gyes3.cnf
MD5SUMcd19d9eb9be97e183fa1a1d47d679d01
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 variables1820
Number of clauses171155
Sum of the clauses size344000
Maximum clause length28
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2171090
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 565

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.04	c ==============================================================================
0.00/0.04	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.04	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.04	c ==============================================================================
0.00/0.04	c |         0 |  171155   344000 |   51346       0        0     nan |  0.000 % |
0.00/0.45	c |         0 |  168781   561368 |      --       0       --      -- |     --   | -2374/217368
0.00/0.45	c ==============================================================================
0.00/0.45	c Result  :   #vars: 1755   #clauses: 168781   #literals: 561368
0.00/0.45	c CPU time:   0.447931 s
0.00/0.45	c ==============================================================================
0.00/0.54	c
0.00/0.54	c Starting glucose
0.00/0.54	c
902.71/902.78	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
902.71/902.78	c WARNING: for repeatability, setting FPU to use double precision
902.71/902.78	c ============================[ Problem Statistics ]=============================
902.71/902.78	c |                                                                             |
902.71/902.78	c |  Number of variables:          1755                                         |
902.71/902.78	c |  Number of clauses:          168781                                         |
902.71/902.78	c |  Parse time:                   0.03 s                                       |
902.71/902.78	c |                                                                             |
902.71/902.78	c ============================[ Search Statistics ]==============================
902.71/902.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
902.71/902.78	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
902.71/902.78	c ===============================================================================
902.71/902.78	c |       748 |    1755   168781   561368 |        1      748    151 |  0.000 % |
902.71/902.78	c |      9439 |    1755   168781   561368 |        1     7445    119 |  0.000 % |
902.71/902.78	c |    145959 |    1755   168781   561368 |        1    38608     67 |  0.000 % |
902.71/902.78	c |    314413 |    1755   168781   561368 |        1    57062     63 |  0.000 % |
902.71/902.78	c |    416366 |    1755   168781   561368 |        1    80801     67 |  0.000 % |
902.71/902.78	c |    649065 |    1755   168781   561368 |        1    72494     55 |  0.000 % |
902.71/902.78	c |    668144 |    1755   168781   561368 |        1    91573     61 |  0.000 % |
902.71/902.78	c |    756397 |    1755   168781   561368 |        1    65226     44 |  0.000 % |
902.71/902.78	c |    775006 |    1755   168781   561368 |        1    83835     50 |  0.000 % |
902.71/902.78	c |    925351 |    1755   168781   561368 |        1   109186     53 |  0.000 % |
902.71/902.78	c |   1186924 |    1755   168781   561368 |        1    89560     47 |  0.000 % |
902.71/902.78	c |   1187204 |    1755   168781   561368 |        1    89840     47 |  0.000 % |
902.71/902.78	c |   1828597 |    1755   168781   561368 |        1   139026     51 |  0.000 % |
902.71/902.78	c |   2059996 |    1755   168781   561368 |        1   177833     59 |  0.000 % |
902.71/902.78	c |   2074770 |    1755   168781   561368 |        1   192607     60 |  0.000 % |
902.71/902.78	c |   2149786 |    1755   168781   561368 |        1   167416     51 |  0.000 % |
902.71/902.78	c |   2265538 |    1755   168781   561368 |        1   180371     54 |  0.000 % |
902.71/902.78	c |   2337043 |    1755   168781   561368 |        1   146473     50 |  0.000 % |
902.71/902.78	c |   2359329 |    1755   168781   561368 |        1   168759     53 |  0.000 % |
902.71/902.78	c |   2755828 |    1755   168781   561368 |        1   117659     37 |  0.000 % |
902.71/902.78	c |   2824978 |    1755   168781   561368 |        1   186809     56 |  0.000 % |
902.71/902.78	c |   2848723 |    1755   168781   561368 |        1   210554     58 |  0.000 % |
902.71/902.78	c |   2849010 |    1755   168781   561368 |        1   210841     58 |  0.000 % |
902.71/902.78	c |   2849111 |    1755   168781   561368 |        1   210942     58 |  0.000 % |
902.71/902.78	c |   2857062 |    1755   168781   561368 |        1   218893     59 |  0.000 % |
902.71/902.78	c |   2964961 |    1755   168781   561368 |        1   208397     52 |  0.000 % |
902.71/902.78	c |   3002975 |    1755   168781   561368 |        1   125405     38 |  0.000 % |
902.71/902.78	c |   3084753 |    1755   168781   561368 |        1   207183     51 |  0.000 % |
902.71/902.78	c |   3085555 |    1755   168781   561368 |        1   207985     51 |  0.000 % |
902.71/902.78	c |   3085656 |    1755   168781   561368 |        1   208086     51 |  0.000 % |
902.71/902.78	c |   3087471 |    1755   168781   561368 |        1   209901     52 |  0.000 % |
902.71/902.78	c |   3114013 |    1755   168781   561368 |        1   236443     54 |  0.000 % |
902.71/902.78	c |   3134306 |    1755   168781   561368 |        1   133128     39 |  0.000 % |
902.71/902.78	c |   3139735 |    1755   168781   561368 |        1   138557     41 |  0.000 % |
902.71/902.78	c |   3140540 |    1755   168781   561368 |        1   139362     41 |  0.000 % |
902.71/902.78	c |   3142128 |    1755   168781   561368 |        1   140950     41 |  0.000 % |
902.71/902.78	c |   3337687 |    1755   168781   561368 |        1   210307     50 |  0.000 % |
902.71/902.78	c |   3357611 |    1755   168781   561368 |        1   230231     52 |  0.000 % |
902.71/902.78	c |   3465651 |    1755   168781   561368 |        1   209481     56 |  0.000 % |
1287.62/1287.61	c |   3465752 |    1755   168781   561368 |        1   209582     56 |  0.000 % |
1287.62/1287.61	c |   3473500 |    1755   168781   561368 |        1   217330     57 |  0.000 % |
1287.62/1287.61	c |   3627169 |    1755   168781   561368 |        1   239594     52 |  0.000 % |
1287.62/1287.61	c |   3674038 |    1755   168781   561368 |        1   152463     39 |  0.000 % |
1287.62/1287.61	c |   3680550 |    1755   168781   561368 |        1   158975     41 |  0.000 % |
1287.62/1287.61	c |   3758479 |    1755   168781   561368 |        1   236904     46 |  0.000 % |
1287.62/1287.61	c |   3805916 |    1755   168781   561368 |        1   147743     35 |  0.000 % |
1287.62/1287.61	c |   3806017 |    1755   168781   561368 |        1   147844     35 |  0.000 % |
1287.62/1287.61	c |   3835806 |    1755   168781   561368 |        1   177633     39 |  0.000 % |
1287.62/1287.61	c |   3835974 |    1755   168781   561368 |        1   177801     40 |  0.000 % |
1287.62/1287.61	c |   3884045 |    1755   168781   561368 |        1   225872     44 |  0.000 % |
1287.62/1287.61	c |   3885130 |    1755   168781   561368 |        1   226957     44 |  0.000 % |
1287.62/1287.61	c |   3971365 |    1755   168781   561368 |        1   173989     38 |  0.000 % |
1287.62/1287.61	c |   3981420 |    1755   168781   561368 |        1   184044     40 |  0.000 % |
1287.62/1287.61	c |   3981988 |    1755   168781   561368 |        1   184612     40 |  0.000 % |
1287.62/1287.61	c |   3982102 |    1755   168781   561368 |        1   184726     40 |  0.000 % |
1287.62/1287.61	c |   4055621 |    1755   168781   561368 |        1   258245     45 |  0.000 % |
1287.62/1287.61	c |   4057904 |    1755   168781   561368 |        1   260528     46 |  0.000 % |
1287.62/1287.61	c |   4059713 |    1755   168781   561368 |        1   262337     46 |  0.000 % |
1287.62/1287.61	c |   4077332 |    1755   168781   561368 |        1   279956     48 |  0.000 % |
1287.62/1287.61	c |   4085630 |    1755   168781   561368 |        1   146458     34 |  0.000 % |
1287.62/1287.61	c |   4086647 |    1755   168781   561368 |        1   147475     35 |  0.000 % |
1287.62/1287.61	c |   4099397 |    1755   168781   561368 |        1   160225     37 |  0.000 % |
1287.62/1287.61	c |   4117395 |    1755   168781   561368 |        1   178223     42 |  0.000 % |
1287.62/1287.61	c |   4122448 |    1755   168781   561368 |        1   183276     43 |  0.000 % |
1287.62/1287.61	c |   4124829 |    1755   168781   561368 |        1   185657     43 |  0.000 % |
1287.62/1287.61	c |   4125211 |    1755   168781   561368 |        1   186039     43 |  0.000 % |
1287.62/1287.61	c |   4140937 |    1755   168781   561368 |        1   201765     47 |  0.000 % |
1287.62/1287.61	c |   4175264 |    1755   168781   561368 |        1   236092     52 |  0.000 % |
1287.62/1287.61	c |   4186774 |    1755   168781   561368 |        1   247602     54 |  0.000 % |
1287.62/1287.61	c |   4189634 |    1755   168781   561368 |        1   250462     54 |  0.000 % |
1287.62/1287.61	c |   4199465 |    1755   168781   561368 |        1   260293     55 |  0.000 % |
1287.62/1287.61	c |   4255792 |    1755   168781   561368 |        1   172215     43 |  0.000 % |
1287.62/1287.61	c |   4311266 |    1755   168781   561368 |        1   227689     49 |  0.000 % |
1287.62/1287.61	c |   4379165 |    1755   168781   561368 |        1   148592     36 |  0.000 % |
1287.62/1287.61	c |   4395757 |    1755   168781   561368 |        1   165184     39 |  0.000 % |
1287.62/1287.61	c |   4442095 |    1755   168781   561368 |        1   211522     46 |  0.000 % |
1287.62/1287.61	c |   4458813 |    1755   168781   561368 |        1   228240     48 |  0.000 % |
1287.62/1287.61	c |   4503672 |    1755   168781   561368 |        1   273099     53 |  0.000 % |
1287.62/1287.61	c |   4569090 |    1755   168781   561368 |        1   188919     43 |  0.000 % |
1287.62/1287.61	c |   4580501 |    1755   168781   561368 |        1   200330     45 |  0.000 % |
1287.62/1287.61	c |   4610257 |    1755   168781   561368 |        1   230086     49 |  0.000 % |
1287.62/1287.61	c |   4623886 |    1755   168781   561368 |        1   243715     50 |  0.000 % |
1287.62/1287.61	c |   4638968 |    1755   168781   561368 |        1   258797     52 |  0.000 % |
1287.62/1287.61	c |   4654272 |    1755   168781   561368 |        1   274101     53 |  0.000 % |
1287.62/1287.61	c |   4661616 |    1755   168781   561368 |        1   281445     54 |  0.000 % |
1287.62/1287.61	c |   4795518 |    1755   168781   561368 |        1   263148     52 |  0.000 % |
1287.62/1287.61	c |   4801057 |    1755   168781   561368 |        1   268687     52 |  0.000 % |
1287.62/1287.61	c |   4802997 |    1755   168781   561368 |        1   270627     53 |  0.000 % |
1287.62/1287.61	c |   4817488 |    1755   168781   561368 |        1   285118     54 |  0.000 % |
1599.33/1599.34	c |   4848381 |    1755   168781   561368 |        1   161217     38 |  0.000 % |
1599.33/1599.34	c |   4869686 |    1755   168781   561368 |        1   182522     42 |  0.000 % |
1599.33/1599.34	c |   4869788 |    1755   168781   561368 |        1   182624     42 |  0.000 % |
1599.33/1599.34	c |   4870682 |    1755   168781   561368 |        1   183518     42 |  0.000 % |
1599.33/1599.34	c |   4883941 |    1755   168781   561368 |        1   196777     44 |  0.000 % |
1599.33/1599.34	c |   4896518 |    1755   168781   561368 |        1   209354     47 |  0.000 % |
1599.33/1599.34	c |   4898638 |    1755   168781   561368 |        1   211474     47 |  0.000 % |
1599.33/1599.34	c |   4900624 |    1755   168781   561368 |        1   213460     47 |  0.000 % |
1599.33/1599.34	c |   4914017 |    1755   168781   561368 |        1   226853     49 |  0.000 % |
1599.33/1599.34	c |   4924273 |    1755   168781   561368 |        1   237109     51 |  0.000 % |
1599.33/1599.34	c |   4926059 |    1755   168781   561368 |        1   238895     51 |  0.000 % |
1599.33/1599.34	c |   4926420 |    1755   168781   561368 |        1   239256     51 |  0.000 % |
1599.33/1599.34	c |   4939604 |    1755   168781   561368 |        1   252440     52 |  0.000 % |
1599.33/1599.34	c |   4984898 |    1755   168781   561368 |        1   297734     57 |  0.000 % |
1599.33/1599.34	c |   5042935 |    1755   168781   561368 |        1   198370     46 |  0.000 % |
1599.33/1599.34	c |   5096888 |    1755   168781   561368 |        1   252323     53 |  0.000 % |
1599.33/1599.34	c |   5129546 |    1755   168781   561368 |        1   284981     56 |  0.000 % |
1599.33/1599.34	c |   5129647 |    1755   168781   561368 |        1   285082     56 |  0.000 % |
1599.33/1599.34	c |   5132733 |    1755   168781   561368 |        1   288168     56 |  0.000 % |
1599.33/1599.34	c |   5137854 |    1755   168781   561368 |        1   293289     56 |  0.000 % |
1599.33/1599.34	c |   5137954 |    1755   168781   561368 |        1   293389     56 |  0.000 % |
1599.33/1599.34	c |   5138220 |    1755   168781   561368 |        1   293655     57 |  0.000 % |
1599.33/1599.34	c |   5152433 |    1755   168781   561368 |        1   307868     58 |  0.000 % |
1599.33/1599.34	c |   5197968 |    1755   168781   561368 |        1   193397     46 |  0.000 % |
1599.33/1599.34	c |   5205819 |    1755   168781   561368 |        1   201248     47 |  0.000 % |
1599.33/1599.34	c |   5257930 |    1755   168781   561368 |        1   253359     53 |  0.000 % |
1599.33/1599.34	c |   5261750 |    1755   168781   561368 |        1   257179     53 |  0.000 % |
1599.33/1599.34	c |   5265810 |    1755   168781   561368 |        1   261239     53 |  0.000 % |
1599.33/1599.34	c |   5321859 |    1755   168781   561368 |        1   317288     56 |  0.000 % |
1599.33/1599.34	c |   5324547 |    1755   168781   561368 |        1   319976     56 |  0.000 % |
1599.33/1599.34	c |   5324647 |    1755   168781   561368 |        1   320076     56 |  0.000 % |
1599.33/1599.34	c |   5334525 |    1755   168781   561368 |        1   167352     38 |  0.000 % |
1599.33/1599.34	c |   5353406 |    1755   168781   561368 |        1   186233     42 |  0.000 % |
1599.33/1599.34	c |   5427694 |    1755   168781   561368 |        1   260521     53 |  0.000 % |
1599.33/1599.34	c |   5478390 |    1755   168781   561368 |        1   311217     57 |  0.000 % |
1599.33/1599.34	c |   5512817 |    1755   168781   561368 |        1   180444     40 |  0.000 % |
1599.33/1599.34	c |   5513362 |    1755   168781   561368 |        1   180989     41 |  0.000 % |
1599.33/1599.34	c |   5597192 |    1755   168781   561368 |        1   264819     53 |  0.000 % |
1599.33/1599.34	c |   5597651 |    1755   168781   561368 |        1   265278     53 |  0.000 % |
1599.33/1599.34	c |   5686258 |    1755   168781   561368 |        1   186084     41 |  0.000 % |
1599.33/1599.34	c |   5686361 |    1755   168781   561368 |        1   186187     41 |  0.000 % |
1599.33/1599.34	c |   5686691 |    1755   168781   561368 |        1   186517     41 |  0.000 % |
1599.33/1599.34	c |   5687023 |    1755   168781   561368 |        1   186849     41 |  0.000 % |
1599.33/1599.34	c |   5687800 |    1755   168781   561368 |        1   187626     41 |  0.000 % |
1599.33/1599.34	c |   5689415 |    1755   168781   561368 |        1   189241     42 |  0.000 % |
1599.33/1599.34	c |   5695860 |    1755   168781   561368 |        1   195686     43 |  0.000 % |
1599.33/1599.34	c |   5820595 |    1755   168781   561368 |        1   320421     64 |  0.000 % |
1599.33/1599.34	c |   5838585 |    1755   168781   561368 |        1   338411     65 |  0.000 % |
1599.33/1599.34	c |   5960569 |    1755   168781   561368 |        1   289996     52 |  0.000 % |
1599.33/1599.34	c |   6018445 |    1755   168781   561368 |        1   174884     36 |  0.000 % |
1817.63/1817.61	c |   6018714 |    1755   168781   561368 |        1   175153     36 |  0.000 % |
1817.63/1817.61	c |   6018815 |    1755   168781   561368 |        1   175254     36 |  0.000 % |
1817.63/1817.61	c |   6019263 |    1755   168781   561368 |        1   175702     36 |  0.000 % |
1817.63/1817.61	c |   6020333 |    1755   168781   561368 |        1   176772     37 |  0.000 % |
1817.63/1817.61	c |   6043978 |    1755   168781   561368 |        1   200417     41 |  0.000 % |
1817.63/1817.61	c |   6050983 |    1755   168781   561368 |        1   207422     43 |  0.000 % |
1817.63/1817.61	c |   6072380 |    1755   168781   561368 |        1   228819     46 |  0.000 % |
1817.63/1817.61	c |   6100361 |    1755   168781   561368 |        1   256800     50 |  0.000 % |
1817.63/1817.61	c |   6224780 |    1755   168781   561368 |        1   205607     43 |  0.000 % |
1817.63/1817.61	c |   6238324 |    1755   168781   561368 |        1   219151     45 |  0.000 % |
1817.63/1817.61	c |   6238424 |    1755   168781   561368 |        1   219251     45 |  0.000 % |
1817.63/1817.61	c |   6297402 |    1755   168781   561368 |        1   278229     54 |  0.000 % |
1817.63/1817.61	c |   6307128 |    1755   168781   561368 |        1   287955     55 |  0.000 % |
1817.63/1817.61	c |   6308132 |    1755   168781   561368 |        1   288959     55 |  0.000 % |
1817.63/1817.61	c |   6330795 |    1755   168781   561368 |        1   311622     57 |  0.000 % |
1817.63/1817.61	c |   6335804 |    1755   168781   561368 |        1   316631     58 |  0.000 % |
1817.63/1817.61	c |   6356328 |    1755   168781   561368 |        1   337155     59 |  0.000 % |
1817.63/1817.61	c |   6359370 |    1755   168781   561368 |        1   340197     60 |  0.000 % |
1817.63/1817.61	c |   6374309 |    1755   168781   561368 |        1   355136     61 |  0.000 % |
1817.63/1817.61	c |   6380522 |    1755   168781   561368 |        1   183138     39 |  0.000 % |
1817.63/1817.61	c |   6402220 |    1755   168781   561368 |        1   204836     43 |  0.000 % |
1817.63/1817.61	c |   6420841 |    1755   168781   561368 |        1   223457     46 |  0.000 % |
1817.63/1817.61	c |   6443820 |    1755   168781   561368 |        1   246436     49 |  0.000 % |
1817.63/1817.61	c |   6472642 |    1755   168781   561368 |        1   275258     52 |  0.000 % |
1817.63/1817.61	c |   6516953 |    1755   168781   561368 |        1   319569     55 |  0.000 % |
1817.63/1817.61	c |   6521742 |    1755   168781   561368 |        1   324358     56 |  0.000 % |
1817.63/1817.61	c |   6522065 |    1755   168781   561368 |        1   324681     56 |  0.000 % |
1817.63/1817.61	c |   6609814 |    1755   168781   561368 |        1   231642     42 |  0.000 % |
1817.63/1817.61	c |   6614845 |    1755   168781   561368 |        1   236673     43 |  0.000 % |
1817.63/1817.61	c |   6615485 |    1755   168781   561368 |        1   237313     44 |  0.000 % |
1817.63/1817.61	c |   6616934 |    1755   168781   561368 |        1   238762     44 |  0.000 % |
1817.63/1817.61	c |   6646551 |    1755   168781   561368 |        1   268379     48 |  0.000 % |
1817.63/1817.61	c |   6649581 |    1755   168781   561368 |        1   271409     48 |  0.000 % |
1817.63/1817.61	c |   6650156 |    1755   168781   561368 |        1   271984     48 |  0.000 % |
1817.63/1817.61	c |   6650848 |    1755   168781   561368 |        1   272676     48 |  0.000 % |
1817.63/1817.61	c |   6675868 |    1755   168781   561368 |        1   297696     51 |  0.000 % |
1817.63/1817.61	c |   6705285 |    1755   168781   561368 |        1   327113     54 |  0.000 % |
1817.63/1817.61	c |   6738207 |    1755   168781   561368 |        1   360035     57 |  0.000 % |
1817.63/1817.61	c |   6751781 |    1755   168781   561368 |        1   190204     38 |  0.000 % |
1817.63/1817.61	c |   6752119 |    1755   168781   561368 |        1   190542     39 |  0.000 % |
1817.63/1817.61	c |   6755170 |    1755   168781   561368 |        1   193593     39 |  0.000 % |
1817.63/1817.61	c |   6756019 |    1755   168781   561368 |        1   194442     39 |  0.000 % |
1817.63/1817.61	c |   6777706 |    1755   168781   561368 |        1   216129     44 |  0.000 % |
1817.63/1817.61	c |   6780632 |    1755   168781   561368 |        1   219055     45 |  0.000 % |
1817.63/1817.61	c |   6782495 |    1755   168781   561368 |        1   220918     45 |  0.000 % |
1817.63/1817.61	c |   6816111 |    1755   168781   561368 |        1   254534     51 |  0.000 % |
1817.63/1817.61	c |   6833525 |    1755   168781   561368 |        1   271948     53 |  0.000 % |
1817.63/1817.61	c |   6892321 |    1755   168781   561368 |        1   330744     57 |  0.000 % |
1817.63/1817.61	c |   6895203 |    1755   168781   561368 |        1   333626     57 |  0.000 % |
1817.63/1817.61	c |   6895585 |    1755   168781   561368 |        1   334008     57 |  0.000 % |
2062.74/2062.76	c |   6902952 |    1755   168781   561368 |        1   341375     58 |  0.000 % |
2062.74/2062.76	c |   6957744 |    1755   168781   561368 |        1   210163     43 |  0.000 % |
2062.74/2062.76	c |   6957845 |    1755   168781   561368 |        1   210264     43 |  0.000 % |
2062.74/2062.76	c |   6957947 |    1755   168781   561368 |        1   210366     43 |  0.000 % |
2062.74/2062.76	c |   6958054 |    1755   168781   561368 |        1   210473     43 |  0.000 % |
2062.74/2062.76	c |   6981205 |    1755   168781   561368 |        1   233624     48 |  0.000 % |
2062.74/2062.76	c |   7005400 |    1755   168781   561368 |        1   257819     52 |  0.000 % |
2062.74/2062.76	c |   7046455 |    1755   168781   561368 |        1   298874     55 |  0.000 % |
2062.74/2062.76	c |   7080184 |    1755   168781   561368 |        1   332603     58 |  0.000 % |
2062.74/2062.76	c |   7098221 |    1755   168781   561368 |        1   350640     60 |  0.000 % |
2062.74/2062.76	c |   7098323 |    1755   168781   561368 |        1   350742     60 |  0.000 % |
2062.74/2062.76	c |   7104889 |    1755   168781   561368 |        1   357308     60 |  0.000 % |
2062.74/2062.76	c |   7111495 |    1755   168781   561368 |        1   363914     61 |  0.000 % |
2062.74/2062.76	c |   7119087 |    1755   168781   561368 |        1   371506     61 |  0.000 % |
2062.74/2062.76	c |   7142264 |    1755   168781   561368 |        1   206090     42 |  0.000 % |
2062.74/2062.76	c |   7144900 |    1755   168781   561368 |        1   208726     42 |  0.000 % |
2062.74/2062.76	c |   7153184 |    1755   168781   561368 |        1   217010     43 |  0.000 % |
2062.74/2062.76	c |   7161569 |    1755   168781   561368 |        1   225395     45 |  0.000 % |
2062.74/2062.76	c |   7184268 |    1755   168781   561368 |        1   248094     48 |  0.000 % |
2062.74/2062.76	c |   7227579 |    1755   168781   561368 |        1   291405     51 |  0.000 % |
2062.74/2062.76	c |   7239433 |    1755   168781   561368 |        1   303259     52 |  0.000 % |
2062.74/2062.76	c |   7239847 |    1755   168781   561368 |        1   303673     52 |  0.000 % |
2062.74/2062.76	c |   7253710 |    1755   168781   561368 |        1   317536     54 |  0.000 % |
2062.74/2062.76	c |   7255452 |    1755   168781   561368 |        1   319278     54 |  0.000 % |
2062.74/2062.76	c |   7305732 |    1755   168781   561368 |        1   369558     57 |  0.000 % |
2062.74/2062.76	c |   7309399 |    1755   168781   561368 |        1   373225     57 |  0.000 % |
2062.74/2062.76	c |   7332548 |    1755   168781   561368 |        1   205175     39 |  0.000 % |
2062.74/2062.76	c |   7332757 |    1755   168781   561368 |        1   205384     39 |  0.000 % |
2062.74/2062.76	c |   7334213 |    1755   168781   561368 |        1   206840     39 |  0.000 % |
2062.74/2062.76	c |   7370627 |    1755   168781   561368 |        1   243254     48 |  0.000 % |
2062.74/2062.76	c |   7433655 |    1755   168781   561368 |        1   306282     55 |  0.000 % |
2062.74/2062.76	c |   7478478 |    1755   168781   561368 |        1   351105     57 |  0.000 % |
2062.74/2062.76	c |   7552589 |    1755   168781   561368 |        1   231423     42 |  0.000 % |
2062.74/2062.76	c |   7553753 |    1755   168781   561368 |        1   232587     42 |  0.000 % |
2062.74/2062.76	c |   7603689 |    1755   168781   561368 |        1   282523     47 |  0.000 % |
2062.74/2062.76	c |   7620308 |    1755   168781   561368 |        1   299142     49 |  0.000 % |
2062.74/2062.76	c |   7644505 |    1755   168781   561368 |        1   323339     51 |  0.000 % |
2062.74/2062.76	c |   7738696 |    1755   168781   561368 |        1   221136     39 |  0.000 % |
2062.74/2062.76	c |   7747434 |    1755   168781   561368 |        1   229874     40 |  0.000 % |
2062.74/2062.76	c |   7781766 |    1755   168781   561368 |        1   264206     45 |  0.000 % |
2062.74/2062.76	c |   7793318 |    1755   168781   561368 |        1   275758     46 |  0.000 % |
2062.74/2062.76	c |   7795943 |    1755   168781   561368 |        1   278383     47 |  0.000 % |
2062.74/2062.76	c |   7796144 |    1755   168781   561368 |        1   278584     47 |  0.000 % |
2062.74/2062.76	c |   7797372 |    1755   168781   561368 |        1   279812     47 |  0.000 % |
2062.74/2062.76	c |   7798701 |    1755   168781   561368 |        1   281141     47 |  0.000 % |
2062.74/2062.76	c |   7798994 |    1755   168781   561368 |        1   281434     47 |  0.000 % |
2062.74/2062.76	c |   7832082 |    1755   168781   561368 |        1   314522     50 |  0.000 % |
2062.74/2062.76	c |   7843888 |    1755   168781   561368 |        1   326328     51 |  0.000 % |
2062.74/2062.76	c |   7861701 |    1755   168781   561368 |        1   344141     51 |  0.000 % |
2062.74/2062.76	c |   7865532 |    1755   168781   561368 |        1   347972     52 |  0.000 % |
2476.45/2476.43	c |   7894247 |    1755   168781   561368 |        1   376687     54 |  0.000 % |
2476.45/2476.43	c |   7896529 |    1755   168781   561368 |        1   378969     54 |  0.000 % |
2476.45/2476.43	c |   7904735 |    1755   168781   561368 |        1   387175     55 |  0.000 % |
2476.45/2476.43	c |   7923484 |    1755   168781   561368 |        1   206914     36 |  0.000 % |
2476.45/2476.43	c |   7941726 |    1755   168781   561368 |        1   225156     39 |  0.000 % |
2476.45/2476.43	c |   7987590 |    1755   168781   561368 |        1   271020     48 |  0.000 % |
2476.45/2476.43	c |   8037626 |    1755   168781   561368 |        1   321056     57 |  0.000 % |
2476.45/2476.43	c |   8225926 |    1755   168781   561368 |        1   307750     50 |  0.000 % |
2476.45/2476.43	c |   8247860 |    1755   168781   561368 |        1   329684     52 |  0.000 % |
2476.45/2476.43	c |   8253143 |    1755   168781   561368 |        1   334967     52 |  0.000 % |
2476.45/2476.43	c |   8264144 |    1755   168781   561368 |        1   345968     53 |  0.000 % |
2476.45/2476.43	c |   8264266 |    1755   168781   561368 |        1   346090     53 |  0.000 % |
2476.45/2476.43	c |   8291227 |    1755   168781   561368 |        1   373051     55 |  0.000 % |
2476.45/2476.43	c |   8291327 |    1755   168781   561368 |        1   373151     55 |  0.000 % |
2476.45/2476.43	c |   8336128 |    1755   168781   561368 |        1   213752     36 |  0.000 % |
2476.45/2476.43	c |   8439851 |    1755   168781   561368 |        1   317475     49 |  0.000 % |
2476.45/2476.43	c |   8440269 |    1755   168781   561368 |        1   317893     49 |  0.000 % |
2476.45/2476.43	c |   8515176 |    1755   168781   561368 |        1   392800     53 |  0.000 % |
2476.45/2476.43	c |   8563792 |    1755   168781   561368 |        1   234613     39 |  0.000 % |
2476.45/2476.43	c |   8632818 |    1755   168781   561368 |        1   303639     48 |  0.000 % |
2476.45/2476.43	c |   8632918 |    1755   168781   561368 |        1   303739     48 |  0.000 % |
2476.45/2476.43	c |   8646621 |    1755   168781   561368 |        1   317442     49 |  0.000 % |
2476.45/2476.43	c |   8712805 |    1755   168781   561368 |        1   383626     54 |  0.000 % |
2476.45/2476.43	c |   8712980 |    1755   168781   561368 |        1   383801     54 |  0.000 % |
2476.45/2476.43	c |   8720696 |    1755   168781   561368 |        1   391517     55 |  0.000 % |
2476.45/2476.43	c |   8733046 |    1755   168781   561368 |        1   403867     56 |  0.000 % |
2476.45/2476.43	c |   8771746 |    1755   168781   561368 |        1   233167     41 |  0.000 % |
2476.45/2476.43	c |   8828699 |    1755   168781   561368 |        1   290120     46 |  0.000 % |
2476.45/2476.43	c |   8833440 |    1755   168781   561368 |        1   294861     47 |  0.000 % |
2476.45/2476.43	c |   8864043 |    1755   168781   561368 |        1   325464     50 |  0.000 % |
2476.45/2476.43	c |   8907452 |    1755   168781   561368 |        1   368873     52 |  0.000 % |
2476.45/2476.43	c |   8911402 |    1755   168781   561368 |        1   372823     52 |  0.000 % |
2476.45/2476.43	c |   8913988 |    1755   168781   561368 |        1   375409     53 |  0.000 % |
2476.45/2476.43	c |   8939784 |    1755   168781   561368 |        1   401205     54 |  0.000 % |
2476.45/2476.43	c |   8941031 |    1755   168781   561368 |        1   402452     55 |  0.000 % |
2476.45/2476.43	c |   8960378 |    1755   168781   561368 |        1   421799     56 |  0.000 % |
2476.45/2476.43	c |   8967079 |    1755   168781   561368 |        1   216498     35 |  0.000 % |
2476.45/2476.43	c |   9012651 |    1755   168781   561368 |        1   262070     41 |  0.000 % |
2476.45/2476.43	c |   9014598 |    1755   168781   561368 |        1   264017     41 |  0.000 % |
2476.45/2476.43	c |   9032768 |    1755   168781   561368 |        1   282187     43 |  0.000 % |
2476.45/2476.43	c |   9034079 |    1755   168781   561368 |        1   283498     44 |  0.000 % |
2476.45/2476.43	c |   9061917 |    1755   168781   561368 |        1   311336     46 |  0.000 % |
2476.45/2476.43	c |   9101527 |    1755   168781   561368 |        1   350946     48 |  0.000 % |
2476.45/2476.43	c |   9166249 |    1755   168781   561368 |        1   415668     52 |  0.000 % |
2476.45/2476.43	c |   9181177 |    1755   168781   561368 |        1   215992     33 |  0.000 % |
2476.45/2476.43	c |   9181277 |    1755   168781   561368 |        1   216092     33 |  0.000 % |
2476.45/2476.43	c |   9187709 |    1755   168781   561368 |        1   222524     35 |  0.000 % |
2476.45/2476.43	c |   9189674 |    1755   168781   561368 |        1   224489     35 |  0.000 % |
2476.45/2476.43	c |   9288069 |    1755   168781   561368 |        1   322884     47 |  0.000 % |
2476.45/2476.43	c |   9300846 |    1755   168781   561368 |        1   335661     48 |  0.000 % |
2943.57/2943.57	c |   9301099 |    1755   168781   561368 |        1   335914     48 |  0.000 % |
2943.57/2943.57	c |   9525073 |    1755   168781   561368 |        1   342696     47 |  0.000 % |
2943.57/2943.57	c |   9715458 |    1755   168781   561368 |        1   313276     44 |  0.000 % |
2943.57/2943.57	c |   9742324 |    1755   168781   561368 |        1   340142     46 |  0.000 % |
2943.57/2943.57	c |   9744107 |    1755   168781   561368 |        1   341925     46 |  0.000 % |
2943.57/2943.57	c |   9754426 |    1755   168781   561368 |        1   352244     48 |  0.000 % |
2943.57/2943.57	c |   9754577 |    1755   168781   561368 |        1   352395     48 |  0.000 % |
2943.57/2943.57	c |   9767755 |    1755   168781   561368 |        1   365573     49 |  0.000 % |
2943.57/2943.57	c |   9768881 |    1755   168781   561368 |        1   366699     49 |  0.000 % |
2943.57/2943.57	c |   9794393 |    1755   168781   561368 |        1   392211     51 |  0.000 % |
2943.57/2943.57	c |   9815172 |    1755   168781   561368 |        1   412990     52 |  0.000 % |
2943.57/2943.57	c |   9833841 |    1755   168781   561368 |        1   431659     53 |  0.000 % |
2943.57/2943.57	c |   9848914 |    1755   168781   561368 |        1   224350     35 |  0.000 % |
2943.57/2943.57	c |   9858779 |    1755   168781   561368 |        1   234215     37 |  0.000 % |
2943.57/2943.57	c |   9919373 |    1755   168781   561368 |        1   294809     44 |  0.000 % |
2943.57/2943.57	c |   9919573 |    1755   168781   561368 |        1   295009     44 |  0.000 % |
2943.57/2943.57	c |   9930518 |    1755   168781   561368 |        1   305954     45 |  0.000 % |
2943.57/2943.57	c |   9938707 |    1755   168781   561368 |        1   314143     45 |  0.000 % |
2943.57/2943.57	c |   9998280 |    1755   168781   561368 |        1   373716     50 |  0.000 % |
2943.57/2943.57	c |  10137831 |    1755   168781   561368 |        1   288263     43 |  0.000 % |
2943.57/2943.57	c |  10199201 |    1755   168781   561368 |        1   349633     48 |  0.000 % |
2943.57/2943.57	c |  10199713 |    1755   168781   561368 |        1   350145     48 |  0.000 % |
2943.57/2943.57	c |  10199813 |    1755   168781   561368 |        1   350245     48 |  0.000 % |
2943.57/2943.57	c |  10200335 |    1755   168781   561368 |        1   350767     48 |  0.000 % |
2943.57/2943.57	c |  10208090 |    1755   168781   561368 |        1   358522     48 |  0.000 % |
2943.57/2943.57	c |  10219952 |    1755   168781   561368 |        1   370384     49 |  0.000 % |
2943.57/2943.57	c |  10220752 |    1755   168781   561368 |        1   371184     49 |  0.000 % |
2943.57/2943.57	c |  10229144 |    1755   168781   561368 |        1   379576     50 |  0.000 % |
2943.57/2943.57	c |  10231913 |    1755   168781   561368 |        1   382345     50 |  0.000 % |
2943.57/2943.57	c |  10233533 |    1755   168781   561368 |        1   383965     50 |  0.000 % |
2943.57/2943.57	c |  10243916 |    1755   168781   561368 |        1   394348     51 |  0.000 % |
2943.57/2943.57	c |  10301685 |    1755   168781   561368 |        1   452117     53 |  0.000 % |
2943.57/2943.57	c |  10328022 |    1755   168781   561368 |        1   250847     36 |  0.000 % |
2943.57/2943.57	c |  10336164 |    1755   168781   561368 |        1   258989     38 |  0.000 % |
2943.57/2943.57	c |  10347495 |    1755   168781   561368 |        1   270320     39 |  0.000 % |
2943.57/2943.57	c |  10405223 |    1755   168781   561368 |        1   328048     45 |  0.000 % |
2943.57/2943.57	c |  10406387 |    1755   168781   561368 |        1   329212     45 |  0.000 % |
2943.57/2943.57	c |  10409990 |    1755   168781   561368 |        1   332815     45 |  0.000 % |
2943.57/2943.57	c |  10437965 |    1755   168781   561368 |        1   360790     47 |  0.000 % |
2943.57/2943.57	c |  10439104 |    1755   168781   561368 |        1   361929     47 |  0.000 % |
2943.57/2943.57	c |  10500243 |    1755   168781   561368 |        1   423068     52 |  0.000 % |
2943.57/2943.57	c |  10510177 |    1755   168781   561368 |        1   433002     52 |  0.000 % |
2943.57/2943.57	c |  10516022 |    1755   168781   561368 |        1   438847     53 |  0.000 % |
2943.57/2943.57	c |  10531186 |    1755   168781   561368 |        1   454011     54 |  0.000 % |
2943.57/2943.57	c |  10543349 |    1755   168781   561368 |        1   235969     35 |  0.000 % |
2943.57/2943.57	c |  10545623 |    1755   168781   561368 |        1   238243     35 |  0.000 % |
2943.57/2943.57	c |  10666080 |    1755   168781   561368 |        1   358700     50 |  0.000 % |
2943.57/2943.57	c |  10666780 |    1755   168781   561368 |        1   359400     50 |  0.000 % |
2943.57/2943.57	c |  10688296 |    1755   168781   561368 |        1   380916     52 |  0.000 % |
3421.68/3421.63	c |  10719493 |    1755   168781   561368 |        1   412113     53 |  0.000 % |
3421.68/3421.63	c |  10748571 |    1755   168781   561368 |        1   441191     54 |  0.000 % |
3421.68/3421.63	c |  10752297 |    1755   168781   561368 |        1   444917     55 |  0.000 % |
3421.68/3421.63	c |  10808306 |    1755   168781   561368 |        1   268126     39 |  0.000 % |
3421.68/3421.63	c |  10864412 |    1755   168781   561368 |        1   324232     45 |  0.000 % |
3421.68/3421.63	c |  10914314 |    1755   168781   561368 |        1   374134     48 |  0.000 % |
3421.68/3421.63	c |  10917662 |    1755   168781   561368 |        1   377482     48 |  0.000 % |
3421.68/3421.63	c |  10917762 |    1755   168781   561368 |        1   377582     48 |  0.000 % |
3421.68/3421.63	c |  10936955 |    1755   168781   561368 |        1   396775     50 |  0.000 % |
3421.68/3421.63	c |  10944182 |    1755   168781   561368 |        1   404002     50 |  0.000 % |
3421.68/3421.63	c |  10944283 |    1755   168781   561368 |        1   404103     50 |  0.000 % |
3421.68/3421.63	c |  10944468 |    1755   168781   561368 |        1   404288     50 |  0.000 % |
3421.68/3421.63	c |  10972947 |    1755   168781   561368 |        1   432767     52 |  0.000 % |
3421.68/3421.63	c |  10973407 |    1755   168781   561368 |        1   433227     52 |  0.000 % |
3421.68/3421.63	c |  10988975 |    1755   168781   561368 |        1   448795     52 |  0.000 % |
3421.68/3421.63	c |  10990074 |    1755   168781   561368 |        1   449894     52 |  0.000 % |
3421.68/3421.63	c |  10991564 |    1755   168781   561368 |        1   451384     53 |  0.000 % |
3421.68/3421.63	c |  11096587 |    1755   168781   561368 |        1   321008     42 |  0.000 % |
3421.68/3421.63	c |  11170701 |    1755   168781   561368 |        1   395122     48 |  0.000 % |
3421.68/3421.63	c |  11248850 |    1755   168781   561368 |        1   473271     52 |  0.000 % |
3421.68/3421.63	c |  11273627 |    1755   168781   561368 |        1   260042     36 |  0.000 % |
3421.68/3421.63	c |  11278942 |    1755   168781   561368 |        1   265357     37 |  0.000 % |
3421.68/3421.63	c |  11281523 |    1755   168781   561368 |        1   267938     37 |  0.000 % |
3421.68/3421.63	c |  11287554 |    1755   168781   561368 |        1   273969     38 |  0.000 % |
3421.68/3421.63	c |  11444868 |    1755   168781   561368 |        1   431283     48 |  0.000 % |
3421.68/3421.63	c |  11445789 |    1755   168781   561368 |        1   432204     48 |  0.000 % |
3421.68/3421.63	c |  11461890 |    1755   168781   561368 |        1   448305     49 |  0.000 % |
3421.68/3421.63	c |  11579841 |    1755   168781   561368 |        1   325658     41 |  0.000 % |
3421.68/3421.63	c |  11585997 |    1755   168781   561368 |        1   331814     42 |  0.000 % |
3421.68/3421.63	c |  11586105 |    1755   168781   561368 |        1   331922     42 |  0.000 % |
3421.68/3421.63	c |  11589787 |    1755   168781   561368 |        1   335604     42 |  0.000 % |
3421.68/3421.63	c |  11620490 |    1755   168781   561368 |        1   366307     45 |  0.000 % |
3421.68/3421.63	c |  11620594 |    1755   168781   561368 |        1   366411     45 |  0.000 % |
3421.68/3421.63	c |  11768842 |    1755   168781   561368 |        1   271458     36 |  0.000 % |
3421.68/3421.63	c |  11775052 |    1755   168781   561368 |        1   277668     37 |  0.000 % |
3421.68/3421.63	c |  11775196 |    1755   168781   561368 |        1   277812     37 |  0.000 % |
3421.68/3421.63	c |  11776364 |    1755   168781   561368 |        1   278980     37 |  0.000 % |
3421.68/3421.63	c |  11790851 |    1755   168781   561368 |        1   293467     39 |  0.000 % |
3421.68/3421.63	c |  11791496 |    1755   168781   561368 |        1   294112     39 |  0.000 % |
3421.68/3421.63	c |  11832732 |    1755   168781   561368 |        1   335348     42 |  0.000 % |
3421.68/3421.63	c |  11836420 |    1755   168781   561368 |        1   339036     43 |  0.000 % |
3421.68/3421.63	c |  11841914 |    1755   168781   561368 |        1   344530     43 |  0.000 % |
3421.68/3421.63	c |  11845539 |    1755   168781   561368 |        1   348155     44 |  0.000 % |
3421.68/3421.63	c |  11851173 |    1755   168781   561368 |        1   353789     44 |  0.000 % |
3421.68/3421.63	c |  11872504 |    1755   168781   561368 |        1   375120     45 |  0.000 % |
3421.68/3421.63	c |  11879144 |    1755   168781   561368 |        1   381760     46 |  0.000 % |
3421.68/3421.63	c |  11910907 |    1755   168781   561368 |        1   413523     48 |  0.000 % |
3421.68/3421.63	c |  11930028 |    1755   168781   561368 |        1   432644     49 |  0.000 % |
3421.68/3421.63	c |  11962294 |    1755   168781   561368 |        1   464910     51 |  0.000 % |
3421.68/3421.63	c |  11979266 |    1755   168781   561368 |        1   481882     52 |  0.000 % |
3623.99/3623.98	c |  11985012 |    1755   168781   561368 |        1   487628     52 |  0.000 % |
3623.99/3623.98	c |  11985602 |    1755   168781   561368 |        1   488218     52 |  0.000 % |
3623.99/3623.98	c |  11991929 |    1755   168781   561368 |        1   248744     33 |  0.000 % |
3623.99/3623.98	c |  11992031 |    1755   168781   561368 |        1   248846     33 |  0.000 % |
3623.99/3623.98	c |  12016116 |    1755   168781   561368 |        1   272931     36 |  0.000 % |
3623.99/3623.98	c |  12065513 |    1755   168781   561368 |        1   322328     42 |  0.000 % |
3623.99/3623.98	c |  12067373 |    1755   168781   561368 |        1   324188     43 |  0.000 % |
3623.99/3623.98	c |  12072562 |    1755   168781   561368 |        1   329377     43 |  0.000 % |
3623.99/3623.98	c |  12074914 |    1755   168781   561368 |        1   331729     43 |  0.000 % |
3623.99/3623.98	c |  12077260 |    1755   168781   561368 |        1   334075     44 |  0.000 % |
3623.99/3623.98	c |  12090465 |    1755   168781   561368 |        1   347280     45 |  0.000 % |
3623.99/3623.98	c |  12093913 |    1755   168781   561368 |        1   350728     46 |  0.000 % |
3623.99/3623.98	c |  12095839 |    1755   168781   561368 |        1   352654     46 |  0.000 % |
3623.99/3623.98	c |  12096067 |    1755   168781   561368 |        1   352882     46 |  0.000 % |
3623.99/3623.98	c |  12096171 |    1755   168781   561368 |        1   352986     46 |  0.000 % |
3623.99/3623.98	c |  12158006 |    1755   168781   561368 |        1   414821     49 |  0.000 % |
3623.99/3623.98	c |  12166460 |    1755   168781   561368 |        1   423275     50 |  0.000 % |
3623.99/3623.98	c |  12167127 |    1755   168781   561368 |        1   423942     50 |  0.000 % |
3623.99/3623.98	c |  12170603 |    1755   168781   561368 |        1   427418     50 |  0.000 % |
3623.99/3623.98	c |  12170704 |    1755   168781   561368 |        1   427519     50 |  0.000 % |
3623.99/3623.98	c |  12171496 |    1755   168781   561368 |        1   428311     50 |  0.000 % |
3623.99/3623.98	c |  12186269 |    1755   168781   561368 |        1   443084     50 |  0.000 % |
3623.99/3623.98	c |  12260755 |    1755   168781   561368 |        1   269181     35 |  0.000 % |
3623.99/3623.98	c |  12349310 |    1755   168781   561368 |        1   357736     42 |  0.000 % |
3623.99/3623.98	c |  12350380 |    1755   168781   561368 |        1   358806     43 |  0.000 % |
3623.99/3623.98	c |  12366457 |    1755   168781   561368 |        1   374883     44 |  0.000 % |
3623.99/3623.98	c |  12366560 |    1755   168781   561368 |        1   374986     44 |  0.000 % |
3623.99/3623.98	c |  12369885 |    1755   168781   561368 |        1   378311     44 |  0.000 % |
3623.99/3623.98	c |  12373147 |    1755   168781   561368 |        1   381573     45 |  0.000 % |
3623.99/3623.98	c |  12373263 |    1755   168781   561368 |        1   381689     45 |  0.000 % |
3623.99/3623.98	c |  12373364 |    1755   168781   561368 |        1   381790     45 |  0.000 % |
3623.99/3623.98	c |  12381852 |    1755   168781   561368 |        1   390278     46 |  0.000 % |
3623.99/3623.98	c |  12388876 |    1755   168781   561368 |        1   397302     46 |  0.000 % |
3623.99/3623.98	c |  12390753 |    1755   168781   561368 |        1   399179     46 |  0.000 % |
3623.99/3623.98	c |  12419638 |    1755   168781   561368 |        1   428064     47 |  0.000 % |
3623.99/3623.98	c |  12421531 |    1755   168781   561368 |        1   429957     48 |  0.000 % |
3623.99/3623.98	c |  12440452 |    1755   168781   561368 |        1   448878     48 |  0.000 % |
3623.99/3623.98	c |  12442384 |    1755   168781   561368 |        1   450810     48 |  0.000 % |
3623.99/3623.98	c |  12443078 |    1755   168781   561368 |        1   451504     49 |  0.000 % |
3623.99/3623.98	c |  12447182 |    1755   168781   561368 |        1   455608     49 |  0.000 % |
3623.99/3623.98	c |  12448791 |    1755   168781   561368 |        1   457217     49 |  0.000 % |
3623.99/3623.98	c |  12484223 |    1755   168781   561368 |        1   492649     50 |  0.000 % |
3623.99/3623.98	c |  12490582 |    1755   168781   561368 |        1   499008     50 |  0.000 % |
3623.99/3623.98	c |  12494873 |    1755   168781   561368 |        1   252294     32 |  0.000 % |
3623.99/3623.98	c |  12495556 |    1755   168781   561368 |        1   252977     32 |  0.000 % |
3623.99/3623.98	c |  12496469 |    1755   168781   561368 |        1   253890     32 |  0.000 % |
3623.99/3623.98	c |  12496905 |    1755   168781   561368 |        1   254326     32 |  0.000 % |
3623.99/3623.98	c |  12535121 |    1755   168781   561368 |        1   292542     39 |  0.000 % |
3623.99/3623.98	c |  12535269 |    1755   168781   561368 |        1   292690     39 |  0.000 % |
3623.99/3623.98	c |  12539949 |    1755   168781   561368 |        1   297370     39 |  0.000 % |
3897.49/3897.46	c |  12540049 |    1755   168781   561368 |        1   297470     39 |  0.000 % |
3897.49/3897.46	c |  12540452 |    1755   168781   561368 |        1   297873     39 |  0.000 % |
3897.49/3897.46	c |  12561263 |    1755   168781   561368 |        1   318684     41 |  0.000 % |
3897.49/3897.46	c |  12595599 |    1755   168781   561368 |        1   353020     43 |  0.000 % |
3897.49/3897.46	c |  12610341 |    1755   168781   561368 |        1   367762     45 |  0.000 % |
3897.49/3897.46	c |  12637797 |    1755   168781   561368 |        1   395218     46 |  0.000 % |
3897.49/3897.46	c |  12643847 |    1755   168781   561368 |        1   401268     47 |  0.000 % |
3897.49/3897.46	c |  12655135 |    1755   168781   561368 |        1   412556     47 |  0.000 % |
3897.49/3897.46	c |  12655235 |    1755   168781   561368 |        1   412656     47 |  0.000 % |
3897.49/3897.46	c |  12656515 |    1755   168781   561368 |        1   413936     48 |  0.000 % |
3897.49/3897.46	c |  12656679 |    1755   168781   561368 |        1   414100     48 |  0.000 % |
3897.49/3897.46	c |  12657749 |    1755   168781   561368 |        1   415170     48 |  0.000 % |
3897.49/3897.46	c |  12689038 |    1755   168781   561368 |        1   446459     49 |  0.000 % |
3897.49/3897.46	c |  12691853 |    1755   168781   561368 |        1   449274     49 |  0.000 % |
3897.49/3897.46	c |  12692282 |    1755   168781   561368 |        1   449703     49 |  0.000 % |
3897.49/3897.46	c |  12731269 |    1755   168781   561368 |        1   488690     51 |  0.000 % |
3897.49/3897.46	c |  12732508 |    1755   168781   561368 |        1   489929     51 |  0.000 % |
3897.49/3897.46	c |  12743085 |    1755   168781   561368 |        1   500506     51 |  0.000 % |
3897.49/3897.46	c |  12743187 |    1755   168781   561368 |        1   500608     51 |  0.000 % |
3897.49/3897.46	c |  12743785 |    1755   168781   561368 |        1   501206     51 |  0.000 % |
3897.49/3897.46	c |  12805946 |    1755   168781   561368 |        1   309769     40 |  0.000 % |
3897.49/3897.46	c |  12806473 |    1755   168781   561368 |        1   310296     40 |  0.000 % |
3897.49/3897.46	c |  12811414 |    1755   168781   561368 |        1   315237     41 |  0.000 % |
3897.49/3897.46	c |  12820415 |    1755   168781   561368 |        1   324238     42 |  0.000 % |
3897.49/3897.46	c |  12820717 |    1755   168781   561368 |        1   324540     42 |  0.000 % |
3897.49/3897.46	c |  12848846 |    1755   168781   561368 |        1   352669     44 |  0.000 % |
3897.49/3897.46	c |  12849676 |    1755   168781   561368 |        1   353499     44 |  0.000 % |
3897.49/3897.46	c |  12897756 |    1755   168781   561368 |        1   401579     47 |  0.000 % |
3897.49/3897.46	c |  12898327 |    1755   168781   561368 |        1   402150     47 |  0.000 % |
3897.49/3897.46	c |  12900838 |    1755   168781   561368 |        1   404661     47 |  0.000 % |
3897.49/3897.46	c |  12918412 |    1755   168781   561368 |        1   422235     48 |  0.000 % |
3897.49/3897.46	c |  12919561 |    1755   168781   561368 |        1   423384     48 |  0.000 % |
3897.49/3897.46	c |  12921077 |    1755   168781   561368 |        1   424900     48 |  0.000 % |
3897.49/3897.46	c |  12923295 |    1755   168781   561368 |        1   427118     49 |  0.000 % |
3897.49/3897.46	c |  12934610 |    1755   168781   561368 |        1   438433     49 |  0.000 % |
3897.49/3897.46	c |  12934963 |    1755   168781   561368 |        1   438786     49 |  0.000 % |
3897.49/3897.46	c |  12983572 |    1755   168781   561368 |        1   487395     52 |  0.000 % |
3897.49/3897.46	c |  13000518 |    1755   168781   561368 |        1   504341     52 |  0.000 % |
3897.49/3897.46	c |  13022352 |    1755   168781   561368 |        1   269972     34 |  0.000 % |
3897.49/3897.46	c |  13022453 |    1755   168781   561368 |        1   270073     34 |  0.000 % |
3897.49/3897.46	c |  13025064 |    1755   168781   561368 |        1   272684     34 |  0.000 % |
3897.49/3897.46	c |  13058512 |    1755   168781   561368 |        1   306132     38 |  0.000 % |
3897.49/3897.46	c |  13097408 |    1755   168781   561368 |        1   345028     43 |  0.000 % |
3897.49/3897.46	c |  13120811 |    1755   168781   561368 |        1   368431     45 |  0.000 % |
3897.49/3897.46	c |  13120915 |    1755   168781   561368 |        1   368535     45 |  0.000 % |
3897.49/3897.46	c |  13144387 |    1755   168781   561368 |        1   392007     47 |  0.000 % |
3897.49/3897.46	c |  13146572 |    1755   168781   561368 |        1   394192     47 |  0.000 % |
3897.49/3897.46	c |  13146889 |    1755   168781   561368 |        1   394509     47 |  0.000 % |
3897.49/3897.46	c |  13147013 |    1755   168781   561368 |        1   394633     47 |  0.000 % |
3897.49/3897.46	c |  13159113 |    1755   168781   561368 |        1   406733     48 |  0.000 % |
4156.40/4156.31	c |  13202471 |    1755   168781   561368 |        1   450091     50 |  0.000 % |
4156.40/4156.31	c |  13244995 |    1755   168781   561368 |        1   492615     52 |  0.000 % |
4156.40/4156.31	c |  13299688 |    1755   168781   561368 |        1   288516     36 |  0.000 % |
4156.40/4156.31	c |  13308984 |    1755   168781   561368 |        1   297812     36 |  0.000 % |
4156.40/4156.31	c |  13323434 |    1755   168781   561368 |        1   312262     38 |  0.000 % |
4156.40/4156.31	c |  13323630 |    1755   168781   561368 |        1   312458     38 |  0.000 % |
4156.40/4156.31	c |  13324661 |    1755   168781   561368 |        1   313489     38 |  0.000 % |
4156.40/4156.31	c |  13326858 |    1755   168781   561368 |        1   315686     39 |  0.000 % |
4156.40/4156.31	c |  13334209 |    1755   168781   561368 |        1   323037     39 |  0.000 % |
4156.40/4156.31	c |  13334311 |    1755   168781   561368 |        1   323139     39 |  0.000 % |
4156.40/4156.31	c |  13334448 |    1755   168781   561368 |        1   323276     39 |  0.000 % |
4156.40/4156.31	c |  13351244 |    1755   168781   561368 |        1   340072     41 |  0.000 % |
4156.40/4156.31	c |  13365667 |    1755   168781   561368 |        1   354495     42 |  0.000 % |
4156.40/4156.31	c |  13376907 |    1755   168781   561368 |        1   365735     43 |  0.000 % |
4156.40/4156.31	c |  13380080 |    1755   168781   561368 |        1   368908     43 |  0.000 % |
4156.40/4156.31	c |  13387203 |    1755   168781   561368 |        1   376031     44 |  0.000 % |
4156.40/4156.31	c |  13390984 |    1755   168781   561368 |        1   379812     44 |  0.000 % |
4156.40/4156.31	c |  13391084 |    1755   168781   561368 |        1   379912     44 |  0.000 % |
4156.40/4156.31	c |  13405524 |    1755   168781   561368 |        1   394352     45 |  0.000 % |
4156.40/4156.31	c |  13416015 |    1755   168781   561368 |        1   404843     46 |  0.000 % |
4156.40/4156.31	c |  13420174 |    1755   168781   561368 |        1   409002     46 |  0.000 % |
4156.40/4156.31	c |  13497852 |    1755   168781   561368 |        1   486680     50 |  0.000 % |
4156.40/4156.31	c |  13522718 |    1755   168781   561368 |        1   511546     51 |  0.000 % |
4156.40/4156.31	c |  13529985 |    1755   168781   561368 |        1   518813     52 |  0.000 % |
4156.40/4156.31	c |  13625939 |    1755   168781   561368 |        1   353358     41 |  0.000 % |
4156.40/4156.31	c |  13627753 |    1755   168781   561368 |        1   355172     41 |  0.000 % |
4156.40/4156.31	c |  13634410 |    1755   168781   561368 |        1   361829     42 |  0.000 % |
4156.40/4156.31	c |  13636998 |    1755   168781   561368 |        1   364417     42 |  0.000 % |
4156.40/4156.31	c |  13637274 |    1755   168781   561368 |        1   364693     42 |  0.000 % |
4156.40/4156.31	c |  13640786 |    1755   168781   561368 |        1   368205     43 |  0.000 % |
4156.40/4156.31	c |  13642421 |    1755   168781   561368 |        1   369840     43 |  0.000 % |
4156.40/4156.31	c |  13644958 |    1755   168781   561368 |        1   372377     43 |  0.000 % |
4156.40/4156.31	c |  13653849 |    1755   168781   561368 |        1   381268     44 |  0.000 % |
4156.40/4156.31	c |  13661091 |    1755   168781   561368 |        1   388510     45 |  0.000 % |
4156.40/4156.31	c |  13661338 |    1755   168781   561368 |        1   388757     45 |  0.000 % |
4156.40/4156.31	c |  13667023 |    1755   168781   561368 |        1   394442     45 |  0.000 % |
4156.40/4156.31	c |  13690472 |    1755   168781   561368 |        1   417891     48 |  0.000 % |
4156.40/4156.31	c |  13704293 |    1755   168781   561368 |        1   431712     49 |  0.000 % |
4156.40/4156.31	c |  13788541 |    1755   168781   561368 |        1   515960     54 |  0.000 % |
4156.40/4156.31	c |  13793446 |    1755   168781   561368 |        1   520865     55 |  0.000 % |
4156.40/4156.31	c |  13793549 |    1755   168781   561368 |        1   520968     55 |  0.000 % |
4156.40/4156.31	c |  13793689 |    1755   168781   561368 |        1   521108     55 |  0.000 % |
4156.40/4156.31	c |  13793940 |    1755   168781   561368 |        1   521359     55 |  0.000 % |
4156.40/4156.31	c |  13799766 |    1755   168781   561368 |        1   527185     55 |  0.000 % |
4156.40/4156.31	c |  13801314 |    1755   168781   561368 |        1   264729     34 |  0.000 % |
4156.40/4156.31	c |  13803652 |    1755   168781   561368 |        1   267067     34 |  0.000 % |
4156.40/4156.31	c |  13804165 |    1755   168781   561368 |        1   267580     35 |  0.000 % |
4156.40/4156.31	c |  13805258 |    1755   168781   561368 |        1   268673     35 |  0.000 % |
4156.40/4156.31	c |  13841730 |    1755   168781   561368 |        1   305145     41 |  0.000 % |
4156.40/4156.31	c |  13841947 |    1755   168781   561368 |        1   305362     41 |  0.000 % |
4528.62/4528.58	c |  13842047 |    1755   168781   561368 |        1   305462     41 |  0.000 % |
4528.62/4528.58	c |  13846141 |    1755   168781   561368 |        1   309556     42 |  0.000 % |
4528.62/4528.58	c |  13911950 |    1755   168781   561368 |        1   375365     47 |  0.000 % |
4528.62/4528.58	c |  13915471 |    1755   168781   561368 |        1   378886     47 |  0.000 % |
4528.62/4528.58	c |  13917443 |    1755   168781   561368 |        1   380858     47 |  0.000 % |
4528.62/4528.58	c |  13921560 |    1755   168781   561368 |        1   384975     47 |  0.000 % |
4528.62/4528.58	c |  13933224 |    1755   168781   561368 |        1   396639     48 |  0.000 % |
4528.62/4528.58	c |  13933324 |    1755   168781   561368 |        1   396739     48 |  0.000 % |
4528.62/4528.58	c |  13942805 |    1755   168781   561368 |        1   406220     49 |  0.000 % |
4528.62/4528.58	c |  13962941 |    1755   168781   561368 |        1   426356     50 |  0.000 % |
4528.62/4528.58	c |  13986746 |    1755   168781   561368 |        1   450161     51 |  0.000 % |
4528.62/4528.58	c |  13989714 |    1755   168781   561368 |        1   453129     51 |  0.000 % |
4528.62/4528.58	c |  14016042 |    1755   168781   561368 |        1   479457     51 |  0.000 % |
4528.62/4528.58	c |  14016328 |    1755   168781   561368 |        1   479743     51 |  0.000 % |
4528.62/4528.58	c |  14125374 |    1755   168781   561368 |        1   322194     37 |  0.000 % |
4528.62/4528.58	c |  14129286 |    1755   168781   561368 |        1   326106     38 |  0.000 % |
4528.62/4528.58	c |  14134095 |    1755   168781   561368 |        1   330915     38 |  0.000 % |
4528.62/4528.58	c |  14134918 |    1755   168781   561368 |        1   331738     38 |  0.000 % |
4528.62/4528.58	c |  14161482 |    1755   168781   561368 |        1   358302     41 |  0.000 % |
4528.62/4528.58	c |  14162935 |    1755   168781   561368 |        1   359755     41 |  0.000 % |
4528.62/4528.58	c |  14176820 |    1755   168781   561368 |        1   373640     42 |  0.000 % |
4528.62/4528.58	c |  14178014 |    1755   168781   561368 |        1   374834     42 |  0.000 % |
4528.62/4528.58	c |  14189313 |    1755   168781   561368 |        1   386133     43 |  0.000 % |
4528.62/4528.58	c |  14262763 |    1755   168781   561368 |        1   459583     47 |  0.000 % |
4528.62/4528.58	c |  14264646 |    1755   168781   561368 |        1   461466     47 |  0.000 % |
4528.62/4528.58	c |  14293570 |    1755   168781   561368 |        1   490390     48 |  0.000 % |
4528.62/4528.58	c |  14409413 |    1755   168781   561368 |        1   337046     39 |  0.000 % |
4528.62/4528.58	c |  14410141 |    1755   168781   561368 |        1   337774     39 |  0.000 % |
4528.62/4528.58	c |  14410899 |    1755   168781   561368 |        1   338532     39 |  0.000 % |
4528.62/4528.58	c |  14411785 |    1755   168781   561368 |        1   339418     40 |  0.000 % |
4528.62/4528.58	c |  14418441 |    1755   168781   561368 |        1   346074     40 |  0.000 % |
4528.62/4528.58	c |  14495729 |    1755   168781   561368 |        1   423362     45 |  0.000 % |
4528.62/4528.58	c |  14512568 |    1755   168781   561368 |        1   440201     46 |  0.000 % |
4528.62/4528.58	c |  14540728 |    1755   168781   561368 |        1   468361     48 |  0.000 % |
4528.62/4528.58	c |  14547739 |    1755   168781   561368 |        1   475372     48 |  0.000 % |
4528.62/4528.58	c |  14549756 |    1755   168781   561368 |        1   477389     48 |  0.000 % |
4528.62/4528.58	c |  14581390 |    1755   168781   561368 |        1   509023     49 |  0.000 % |
4528.62/4528.58	c |  14581491 |    1755   168781   561368 |        1   509124     49 |  0.000 % |
4528.62/4528.58	c |  14591200 |    1755   168781   561368 |        1   518833     50 |  0.000 % |
4528.62/4528.58	c |  14647222 |    1755   168781   561368 |        1   303055     37 |  0.000 % |
4528.62/4528.58	c |  14660770 |    1755   168781   561368 |        1   316603     38 |  0.000 % |
4528.62/4528.58	c |  14686419 |    1755   168781   561368 |        1   342252     41 |  0.000 % |
4528.62/4528.58	c |  14687224 |    1755   168781   561368 |        1   343057     41 |  0.000 % |
4528.62/4528.58	c |  14687870 |    1755   168781   561368 |        1   343703     41 |  0.000 % |
4528.62/4528.58	c |  14707841 |    1755   168781   561368 |        1   363674     43 |  0.000 % |
4528.62/4528.58	c |  14710092 |    1755   168781   561368 |        1   365925     43 |  0.000 % |
4528.62/4528.58	c |  14715164 |    1755   168781   561368 |        1   370997     44 |  0.000 % |
4528.62/4528.58	c |  14716120 |    1755   168781   561368 |        1   371953     44 |  0.000 % |
4528.62/4528.58	c |  14718036 |    1755   168781   561368 |        1   373869     44 |  0.000 % |
4528.62/4528.58	c |  14763821 |    1755   168781   561368 |        1   419654     47 |  0.000 % |
4778.52/4778.47	c |  14769408 |    1755   168781   561368 |        1   425241     48 |  0.000 % |
4778.52/4778.47	c |  14802864 |    1755   168781   561368 |        1   458697     50 |  0.000 % |
4778.52/4778.47	c |  14803168 |    1755   168781   561368 |        1   459001     50 |  0.000 % |
4778.52/4778.47	c |  14804819 |    1755   168781   561368 |        1   460652     50 |  0.000 % |
4778.52/4778.47	c |  14806149 |    1755   168781   561368 |        1   461982     50 |  0.000 % |
4778.52/4778.47	c |  14813642 |    1755   168781   561368 |        1   469475     51 |  0.000 % |
4778.52/4778.47	c |  14819838 |    1755   168781   561368 |        1   475671     51 |  0.000 % |
4778.52/4778.47	c |  14944246 |    1755   168781   561368 |        1   325676     38 |  0.000 % |
4778.52/4778.47	c |  14998541 |    1755   168781   561368 |        1   379971     43 |  0.000 % |
4778.52/4778.47	c |  15015257 |    1755   168781   561368 |        1   396687     44 |  0.000 % |
4778.52/4778.47	c |  15033867 |    1755   168781   561368 |        1   415297     46 |  0.000 % |
4778.52/4778.47	c |  15034930 |    1755   168781   561368 |        1   416360     46 |  0.000 % |
4778.52/4778.47	c |  15036220 |    1755   168781   561368 |        1   417650     46 |  0.000 % |
4778.52/4778.48	c |  15060609 |    1755   168781   561368 |        1   442039     48 |  0.000 % |
4778.52/4778.48	c |  15065623 |    1755   168781   561368 |        1   447053     48 |  0.000 % |
4778.52/4778.48	c |  15065799 |    1755   168781   561368 |        1   447229     48 |  0.000 % |
4778.52/4778.48	c |  15102490 |    1755   168781   561368 |        1   483920     51 |  0.000 % |
4778.52/4778.48	c |  15109267 |    1755   168781   561368 |        1   490697     51 |  0.000 % |
4778.52/4778.48	c |  15119936 |    1755   168781   561368 |        1   501366     52 |  0.000 % |
4778.52/4778.48	c |  15124439 |    1755   168781   561368 |        1   505869     52 |  0.000 % |
4778.52/4778.48	c |  15142801 |    1755   168781   561368 |        1   524231     53 |  0.000 % |
4778.52/4778.48	c |  15143060 |    1755   168781   561368 |        1   524490     53 |  0.000 % |
4778.52/4778.48	c |  15143689 |    1755   168781   561368 |        1   525119     53 |  0.000 % |
4778.52/4778.48	c |  15152585 |    1755   168781   561368 |        1   534015     54 |  0.000 % |
4778.52/4778.48	c |  15152686 |    1755   168781   561368 |        1   534116     54 |  0.000 % |
4778.52/4778.48	c |  15181473 |    1755   168781   561368 |        1   285896     35 |  0.000 % |
4778.52/4778.48	c |  15189485 |    1755   168781   561368 |        1   293908     36 |  0.000 % |
4778.52/4778.48	c |  15191345 |    1755   168781   561368 |        1   295768     36 |  0.000 % |
4778.52/4778.48	c |  15193689 |    1755   168781   561368 |        1   298112     36 |  0.000 % |
4778.52/4778.48	c |  15194740 |    1755   168781   561368 |        1   299163     37 |  0.000 % |
4778.52/4778.48	c |  15205673 |    1755   168781   561368 |        1   310096     38 |  0.000 % |
4778.52/4778.48	c |  15209436 |    1755   168781   561368 |        1   313859     39 |  0.000 % |
4778.52/4778.48	c |  15211457 |    1755   168781   561368 |        1   315880     39 |  0.000 % |
4778.52/4778.48	c |  15212745 |    1755   168781   561368 |        1   317168     39 |  0.000 % |
4778.52/4778.48	c |  15296591 |    1755   168781   561368 |        1   401014     45 |  0.000 % |
4778.52/4778.48	c |  15300660 |    1755   168781   561368 |        1   405083     45 |  0.000 % |
4778.52/4778.48	c |  15323163 |    1755   168781   561368 |        1   427586     46 |  0.000 % |
4778.52/4778.48	c |  15353598 |    1755   168781   561368 |        1   458021     48 |  0.000 % |
4778.52/4778.48	c |  15353811 |    1755   168781   561368 |        1   458234     48 |  0.000 % |
4778.52/4778.48	c |  15389905 |    1755   168781   561368 |        1   494328     49 |  0.000 % |
4778.52/4778.48	c |  15395366 |    1755   168781   561368 |        1   499789     50 |  0.000 % |
4778.52/4778.48	c |  15447861 |    1755   168781   561368 |        1   552284     51 |  0.000 % |
4778.52/4778.48	c |  15448258 |    1755   168781   561368 |        1   552681     51 |  0.000 % |
4778.52/4778.48	c |  15448358 |    1755   168781   561368 |        1   552781     51 |  0.000 % |
4778.52/4778.48	c |  15448458 |    1755   168781   561368 |        1   552881     51 |  0.000 % |
4778.52/4778.48	c |  15483134 |    1755   168781   561368 |        1   307958     36 |  0.000 % |
4778.52/4778.48	c |  15493771 |    1755   168781   561368 |        1   318595     38 |  0.000 % |
4778.52/4778.48	c |  15496085 |    1755   168781   561368 |        1   320909     38 |  0.000 % |
4778.52/4778.48	c |  15506089 |    1755   168781   561368 |        1   330913     40 |  0.000 % |
4778.52/4778.48	c |  15512045 |    1755   168781   561368 |        1   336869     40 |  0.000 % |
4914.72/4914.66	c |  15549956 |    1755   168781   561368 |        1   374780     43 |  0.000 % |
4914.72/4914.66	c |  15566216 |    1755   168781   561368 |        1   391040     44 |  0.000 % |
4914.72/4914.66	c |  15582423 |    1755   168781   561368 |        1   407247     45 |  0.000 % |
4914.72/4914.66	c |  15582626 |    1755   168781   561368 |        1   407450     46 |  0.000 % |
4914.72/4914.66	c |  15586333 |    1755   168781   561368 |        1   411157     46 |  0.000 % |
4914.72/4914.66	c |  15606212 |    1755   168781   561368 |        1   431036     47 |  0.000 % |
4914.72/4914.66	c |  15606988 |    1755   168781   561368 |        1   431812     48 |  0.000 % |
4914.72/4914.66	c |  15607883 |    1755   168781   561368 |        1   432707     48 |  0.000 % |
4914.72/4914.66	c |  15609098 |    1755   168781   561368 |        1   433922     48 |  0.000 % |
4914.72/4914.66	c |  15624635 |    1755   168781   561368 |        1   449459     49 |  0.000 % |
4914.72/4914.66	c |  15626357 |    1755   168781   561368 |        1   451181     49 |  0.000 % |
4914.72/4914.66	c |  15637157 |    1755   168781   561368 |        1   461981     49 |  0.000 % |
4914.72/4914.66	c |  15656475 |    1755   168781   561368 |        1   481299     51 |  0.000 % |
4914.72/4914.66	c |  15656997 |    1755   168781   561368 |        1   481821     51 |  0.000 % |
4914.72/4914.66	c |  15659048 |    1755   168781   561368 |        1   483872     51 |  0.000 % |
4914.72/4914.66	c |  15686679 |    1755   168781   561368 |        1   511503     52 |  0.000 % |
4914.72/4914.66	c |  15697981 |    1755   168781   561368 |        1   522805     53 |  0.000 % |
4914.72/4914.66	c |  15700281 |    1755   168781   561368 |        1   525105     53 |  0.000 % |
4914.72/4914.66	c |  15700381 |    1755   168781   561368 |        1   525205     53 |  0.000 % |
4914.72/4914.66	c |  15746495 |    1755   168781   561368 |        1   289118     34 |  0.000 % |
4914.72/4914.66	c |  15747197 |    1755   168781   561368 |        1   289820     35 |  0.000 % |
4914.72/4914.66	c |  15747297 |    1755   168781   561368 |        1   289920     35 |  0.000 % |
4914.72/4914.66	c |  15747397 |    1755   168781   561368 |        1   290020     35 |  0.000 % |
4914.72/4914.66	c |  15747817 |    1755   168781   561368 |        1   290440     35 |  0.000 % |
4914.72/4914.66	c |  15751129 |    1755   168781   561368 |        1   293752     35 |  0.000 % |
4914.72/4914.66	c |  15775666 |    1755   168781   561368 |        1   318289     39 |  0.000 % |
4914.72/4914.66	c |  15795344 |    1755   168781   561368 |        1   337967     41 |  0.000 % |
4914.72/4914.66	c |  15796341 |    1755   168781   561368 |        1   338964     42 |  0.000 % |
4914.72/4914.66	c |  15798084 |    1755   168781   561368 |        1   340707     42 |  0.000 % |
4914.72/4914.66	c |  15806670 |    1755   168781   561368 |        1   349293     43 |  0.000 % |
4914.72/4914.66	c |  15808350 |    1755   168781   561368 |        1   350973     43 |  0.000 % |
4914.72/4914.66	c |  15808450 |    1755   168781   561368 |        1   351073     43 |  0.000 % |
4914.72/4914.66	c |  15808552 |    1755   168781   561368 |        1   351175     43 |  0.000 % |
4914.72/4914.66	c |  15809169 |    1755   168781   561368 |        1   351792     43 |  0.000 % |
4914.72/4914.66	c |  15816587 |    1755   168781   561368 |        1   359210     44 |  0.000 % |
4914.72/4914.66	c |  15843022 |    1755   168781   561368 |        1   385645     46 |  0.000 % |
4914.72/4914.66	c |  15856221 |    1755   168781   561368 |        1   398844     47 |  0.000 % |
4914.72/4914.66	c |  15869759 |    1755   168781   561368 |        1   412382     49 |  0.000 % |
4914.72/4914.66	c |  15892234 |    1755   168781   561368 |        1   434857     50 |  0.000 % |
4914.72/4914.66	c |  15916559 |    1755   168781   561368 |        1   459182     51 |  0.000 % |
4914.72/4914.66	c |  15918539 |    1755   168781   561368 |        1   461162     51 |  0.000 % |
4914.72/4914.66	c |  15921677 |    1755   168781   561368 |        1   464300     51 |  0.000 % |
4914.72/4914.66	c |  15923000 |    1755   168781   561368 |        1   465623     51 |  0.000 % |
4914.72/4914.66	c |  15923392 |    1755   168781   561368 |        1   466015     51 |  0.000 % |
4914.72/4914.66	c |  15925695 |    1755   168781   561368 |        1   468318     51 |  0.000 % |
4914.72/4914.66	c |  15927899 |    1755   168781   561368 |        1   470522     52 |  0.000 % |
4914.72/4914.66	c |  15944675 |    1755   168781   561368 |        1   487298     52 |  0.000 % |
4914.72/4914.66	c |  15958989 |    1755   168781   561368 |        1   501612     53 |  0.000 % |
4914.72/4914.66	c |  15959328 |    1755   168781   561368 |        1   501951     53 |  0.000 % |
4914.72/4914.66	c |  15962198 |    1755   168781   561368 |

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-3303357-1303899334/watcher-3303357-1303899334 -o /tmp/evaluation-result-3303357-1303899334/solver-3303357-1303899334 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303357-1303899334.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 3/178 28745
/proc/meminfo: memFree=21273048/32951124 swapFree=67111352/67111528
[pid=28745] ppid=28743 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/28745/stat : 28745 (glucose.sh) S 28743 28745 28713 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 501531582 8912896 252 33554432000 4194304 4922060 140736769051360 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28745/statm: 2176 252 211 178 0 69 0

[startup+0.0190799 s]
/proc/loadavg: 0.00 0.00 0.00 3/178 28745
/proc/meminfo: memFree=21273048/32951124 swapFree=67111352/67111528
[pid=28745] ppid=28743 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/28745/stat : 28745 (glucose.sh) S 28743 28745 28713 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 501531582 8912896 252 33554432000 4194304 4922060 140736769051360 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28745/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.101071 s]
/proc/loadavg: 0.00 0.00 0.00 3/178 28745
/proc/meminfo: memFree=21273048/32951124 swapFree=67111352/67111528
[pid=28745] ppid=28743 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/28745/stat : 28745 (glucose.sh) S 28743 28745 28713 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 501531582 8912896 252 33554432000 4194304 4922060 140736769051360 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28745/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.301028 s]
/proc/loadavg: 0.00 0.00 0.00 3/178 28745
/proc/meminfo: memFree=21273048/32951124 swapFree=67111352/67111528
[pid=28745] ppid=28743 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/28745/stat : 28745 (glucose.sh) S 28743 28745 28713 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 501531582 8912896 252 33554432000 4194304 4922060 140736769051360 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28745/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.700957 s]
/proc/loadavg: 0.00 0.00 0.00 3/178 28745
/proc/meminfo: memFree=21273048/32951124 swapFree=67111352/67111528
[pid=28745] ppid=28743 vsize=8704 CPUtime=0.53 cores=1,3,5,7
/proc/28745/stat : 28745 (glucose.sh) S 28743 28745 28713 0 -1 4202496 358 3553 0 0 0 0 53 0 16 0 1 0 501531582 8912896 254 33554432000 4194304 4922060 140736769051360 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28745/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 8704

[startup+1.50081 s]
/proc/loadavg: 0.00 0.00 0.00 3/184 28755
/proc/meminfo: memFree=21233948/32951124 swapFree=67111352/67111528
[pid=28745] ppid=28743 vsize=8704 CPUtime=0.53 cores=1,3,5,7
/proc/28745/stat : 28745 (glucose.sh) S 28743 28745 28713 0 -1 4202496 358 3553 0 0 0 0 53 0 16 0 1 0 501531582 8912896 254 33554432000 4194304 4922060 140736769051360 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28745/statm: 2176 254 211 178 0 69 0
[pid=28755] ppid=28745 vsize=27432 CPUtime=0.95 cores=1,3,5,7
/proc/28755/stat : 28755 (glucose_static) R 28745 28745 28713 0 -1 4202496 7063 0 0 0 95 0 0 0 19 0 1 0 501531636 28090368 3236 33554432000 4194304 4260849 140735248513120 18446744073709551615 4224797 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28755/statm: 6858 3236 251 17 0 3499 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 36136

[startup+3.10052 s]
/proc/loadavg: 0.16 0.03 0.01 3/184 28756
/proc/meminfo: memFree=21220928/32951124 swapFree=67111352/67111528
[pid=28745] ppid=28743 vsize=8704 CPUtime=0.53 cores=1,3,5,7
/proc/28745/stat : 28745 (glucose.sh) S 28743 28745 28713 0 -1 4202496 358 3553 0 0 0 0 53 0 16 0 1 0 501531582 8912896 254 33554432000 4194304 4922060 140736769051360 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28745/statm: 2176 254 211 178 0 69 0
[pid=28755] ppid=28745 vsize=46304 CPUtime=2.54 cores=1,3,5,7
/proc/28755/stat : 28755 (glucose_static) R 28745 28745 28713 0 -1 4202496 11886 0 0 0 254 0 0 0 22 0 1 0 501531636 47415296 7873 33554432000 4194304 4260849 140735248513120 18446744073709551615 4224431 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28755/statm: 11576 7873 251 17 0 8217 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 55008

[startup+6.30094 s]
/proc/loadavg: 0.16 0.03 0.01 3/184 28756
/proc/meminfo: memFree=21183404/32951124 swapFree=67111352/67111528
[pid=28745] ppid=28743 vsize=8704 CPUtime=0.53 cores=1,3,5,7
/proc/28745/stat : 28745 (glucose.sh) S 28743 28745 28713 0 -1 4202496 358 3553 0 0 0 0 53 0 16 0 1 0 501531582 8912896 254 33554432000 4194304 4922060 140736769051360 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28745/statm: 2176 254 211 178 0 69 0
[pid=28755] ppid=28745 vsize=46304 CPUtime=5.75 cores=1,3,5,7
/proc/28755/stat : 28755 (glucose_static) R 28745 28745 28713 0 -1 4202496 12432 0 0 0 574 1 0 0 25 0 1 0 501531636 47415296 8412 33554432000 4194304 4260849 140735248513120 18446744073709551615 4209374 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28755/statm: 11576 8412 251 17 0 8217 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 55008

[startup+12.7008 s]
/proc/loadavg: 0.44 0.10 0.03 3/184 28757
/proc/meminfo: memFree=21167504/32951124 swapFree=67111352/67111528
[pid=28745] ppid=28743 vsize=8704 CPUtime=0.53 cores=1,3,5,7
/proc/28745/stat : 28745 (glucose.sh) S 28743 28745 28713 0 -1 4202496 358 3553 0 0 0 0 53 0 16 0 1 0 501531582 8912896 254 33554432000 4194304 4922060 140736769051360 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28745/statm: 2176 254 211 178 0 69 0
[pid=28755] ppid=28745 vsize=57884 CPUtime=12.15 cores=1,3,5,7
/proc/28755/stat : 28755 (glucose_static) R 28745 28745 28713 0 -1 4202496 15470 0 0 0 1214 1 0 0 25 0 1 0 501531636 59273216 11262 33554432000 4194304 4260849 140735248513120 18446744073709551615 4209420 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28755/statm: 14471 11262 251 17 0 11112 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 66588

[startup+25.5004 s]
/proc/loadavg: 0.68 0.16 0.05 3/184 28757
/proc/meminfo: memFree=21158112/32951124 swapFree=67111352/67111528
[pid=28745] ppid=28743 vsize=8704 CPUtime=0.53 cores=1,3,5,7
/proc/28745/stat : 28745 (glucose.sh) S 28743 28745 28713 0 -1 4202496 358 3553 0 0 0 0 53 0 16 0 1 0 501531582 8912896 254 33554432000 4194304 4922060 140736769051360 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28745/statm: 2176 254 211 178 0 69 0
[pid=28755] ppid=28745 vsize=57884 CPUtime=24.94 cores=1,3,5,7
/proc/28755/stat : 28755 (glucose_static) R 28745 28745 28713 0 -1 4202496 29671 0 0 0 2491 3 0 0 25 0 1 0 501531636 59273216 8434 33554432000 4194304 4260849 140735248513120 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28755/statm: 14471 8434 251 17 0 11112 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 66588

[startup+51.1008 s]
/proc/loadavg: 1.13 0.31 0.10 3/184 28758
/proc/meminfo: memFree=21097388/32951124 swapFree=67111352/67111528
[pid=28745] ppid=28743 vsize=8704 CPUtime=0.53 cores=1,3,5,7
/proc/28745/stat : 28745 (glucose.sh) S 28743 28745 28713 0 -1 4202496 358 3553 0 0 0 0 53 0 16 0 1 0 501531582 8912896 254 33554432000 4194304 4922060 140736769051360 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28745/statm: 2176 254 211 178 0 69 0
[pid=28755] ppid=28745 vsize=88616 CPUtime=50.55 cores=1,3,5,7
/proc/28755/stat : 28755 (glucose_static) R 28745 28745 28713 0 -1 4202496 37281 0 0 0 5050 5 0 0 25 0 1 0 501531636 90742784 15807 33554432000 4194304 4260849 140735248513120 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28755/statm: 22154 15807 251 17 0 18795 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 97320

[startup+102.306 s]
/proc/loadavg: 1.65 0.59 0.21 3/184 28759
/proc/meminfo: memFree=21109412/32951124 swapFree=67111352/67111528
[pid=28745] ppid=28743 vsize=8704 CPUtime=0.53 cores=1,3,5,7
/proc/28745/stat : 28745 (glucose.sh) S 28743 28745 28713 0 -1 4202496 358 3553 0 0 0 0 53 0 16 0 1 0 501531582 8912896 254 33554432000 4194304 4922060 140736769051360 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28745/statm: 2176 254 211 178 0 69 0
[pid=28755] ppid=28745 vsize=88616 CPUtime=101.76 cores=1,3,5,7
/proc/28755/stat : 28755 (glucose_static) R 28745 28745 28713 0 -1 4202496 46532 0 0 0 10169 7 0 0 25 0 1 0 501531636 90742784 17403 33554432000 4194304 4260849 140735248513120 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28755/statm: 22154 17403 251 17 0 18795 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 97320

[startup+162.301 s]
/proc/loadavg: 1.92 0.84 0.31 3/184 28761
/proc/meminfo: memFree=21067116/32951124 swapFree=67111352/67111528
[pid=28745] ppid=28743 vsize=8704 CPUtime=0.53 cores=1,3,5,7
/proc/28745/stat : 28745 (glucose.sh) S 28743 28745 28713 0 -1 4202496 358 3553 0 0 0 0 53 0 16 0 1 0 501531582 8912896 254 33554432000 4194304 4922060 140736769051360 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28745/statm: 2176 254 211 178 0 69 0
[pid=28755] ppid=28745 vsize=88616 CPUtime=161.75 cores=1,3,5,7
/proc/28755/stat : 28755 (glucose_static) R 28745 28745 28713 0 -1 4202496 89002 0 0 0 16163 12 0 0 25 0 1 0 501531636 90742784 18697 33554432000 4194304 4260849 140735248513120 18446744073709551615 4225149 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28755/statm: 22154 18697 251 17 0 18795 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 97320

[startup+222.301 s]
/proc/loadavg: 1.97 1.06 0.43 3/184 28762
/proc/meminfo: memFree=21102936/32951124 swapFree=67111352/67111528
[pid=28745] ppid=28743 vsize=8704 CPUtime=0.53 cores=1,3,5,7
/proc/28745/stat : 28745 (glucose.sh) S 28743 28745 28713 0 -1 4202496 358 3553 0 0 0 0 53 0 16 0 1 0 501531582 8912896 254 33554432000 4194304 4922060 140736769051360 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28745/statm: 2176 254 211 178 0 69 0
[pid=28755] ppid=28745 vsize=88616 CPUtime=221.75 cores=1,3,5,7
/proc/28755/stat : 28755 (glucose_static) R 28745 28745 28713 0 -1 4202496 116325 0 0 0 22159 16 0 0 25 0 1 0 501531636 90742784 18861 33554432000 4194304 4260849 140735248513120 18446744073709551615 4224635 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28755/statm: 22154 18861 251 17 0 18795 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 97320

[startup+282.301 s]
/proc/loadavg: 1.99 1.22 0.51 3/184 28764
/proc/meminfo: memFree=21052324/32951124 swapFree=67111352/67111528
[pid=28745] ppid=28743 vsize=8704 CPUtime=0.53 cores=1,3,5,7
/proc/28745/stat : 28745 (glucose.sh) S 28743 28745 28713 0 -1 4202496 358 3553 0 0 0 0 53 0 16 0 1 0 501531582 8912896 254 33554432000 4194304 4922060 140736769051360 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28745/statm: 2176 254 211 178 0 69 0
[pid=28755] ppid=28745 vsize=88616 CPUtime=281.76 cores=1,3,5,7
/proc/28755/stat : 28755 (glucose_static) R 28745 28745 28713 0 -1 4202496 145415 0 0 0 28156 20 0 0 25 0 1 0 501531636 90742784 18878 33554432000 4194304 4260849 140735248513120 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28755/statm: 22154 18878 251 17 0 18795 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 97320

[startup+342.301 s]
/proc/loadavg: 1.99 1.37 0.61 3/184 28765
/proc/meminfo: memFree=21017592/32951124 swapFree=67111352/67111528
[pid=28745] ppid=28743 vsize=8704 CPUtime=0.53 cores=1,3,5,7
/proc/28745/stat : 28745 (glucose.sh) S 28743 28745 28713 0 -1 4202496 358 3553 0 0 0 0 53 0 16 0 1 0 501531582 8912896 254 33554432000 4194304 4922060 140736769051360 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28745/statm: 2176 254 211 178 0 69 0
[pid=28755] ppid=28745 vsize=137936 CPUtime=341.75 cores=1,3,5,7
/proc/28755/stat : 28755 (glucose_static) R 28745 28745 28713 0 -1 4202496 173938 0 0 0 34151 24 0 0 25 0 1 0 501531636 141246464 27446 33554432000 4194304 4260849 140735248513120 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28755/statm: 34484 27446 251 17 0 31125 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 146640

[startup+402.301 s]
/proc/loadavg: 2.05 1.49 0.69 3/184 28767
/proc/meminfo: memFree=21025992/32951124 swapFree=67111352/67111528
[pid=28745] ppid=28743 vsize=8704 CPUtime=0.53 cores=1,3,5,7

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

/proc/28755/statm: 48770 44735 252 17 0 45411 0
Current children cumulated CPU time (s) 4362.41
Current children cumulated vsize (KiB) 203784

[startup+4422.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/184 28886
/proc/meminfo: memFree=20811596/32951124 swapFree=67111352/67111528
[pid=28745] ppid=28743 vsize=8704 CPUtime=0.53 cores=1,3,5,7
/proc/28745/stat : 28745 (glucose.sh) S 28743 28745 28713 0 -1 4202496 358 3553 0 0 0 0 53 0 16 0 1 0 501531582 8912896 254 33554432000 4194304 4922060 140736769051360 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28745/statm: 2176 254 211 178 0 69 0
[pid=28755] ppid=28745 vsize=277620 CPUtime=4421.88 cores=1,3,5,7
/proc/28755/stat : 28755 (glucose_static) R 28745 28745 28713 0 -1 4202496 1723781 0 0 0 441815 373 0 0 25 0 1 0 501531636 284282880 54448 33554432000 4194304 4260849 140735248513120 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28755/statm: 69405 54448 252 17 0 66046 0
Current children cumulated CPU time (s) 4422.41
Current children cumulated vsize (KiB) 286324

[startup+4482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/184 28888
/proc/meminfo: memFree=20707540/32951124 swapFree=67111352/67111528
[pid=28745] ppid=28743 vsize=8704 CPUtime=0.53 cores=1,3,5,7
/proc/28745/stat : 28745 (glucose.sh) S 28743 28745 28713 0 -1 4202496 358 3553 0 0 0 0 53 0 16 0 1 0 501531582 8912896 254 33554432000 4194304 4922060 140736769051360 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28745/statm: 2176 254 211 178 0 69 0
[pid=28755] ppid=28745 vsize=279000 CPUtime=4481.88 cores=1,3,5,7
/proc/28755/stat : 28755 (glucose_static) R 28745 28745 28713 0 -1 4202496 1732313 0 0 0 447812 376 0 0 25 0 1 0 501531636 285696000 62877 33554432000 4194304 4260849 140735248513120 18446744073709551615 4224484 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28755/statm: 69750 62877 252 17 0 66391 0
Current children cumulated CPU time (s) 4482.41
Current children cumulated vsize (KiB) 287704

[startup+4542.3 s]
/proc/loadavg: 2.10 2.03 1.95 3/184 28889
/proc/meminfo: memFree=20764180/32951124 swapFree=67111352/67111528
[pid=28745] ppid=28743 vsize=8704 CPUtime=0.53 cores=1,3,5,7
/proc/28745/stat : 28745 (glucose.sh) S 28743 28745 28713 0 -1 4202496 358 3553 0 0 0 0 53 0 16 0 1 0 501531582 8912896 254 33554432000 4194304 4922060 140736769051360 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28745/statm: 2176 254 211 178 0 69 0
[pid=28755] ppid=28745 vsize=279464 CPUtime=4541.88 cores=1,3,5,7
/proc/28755/stat : 28755 (glucose_static) R 28745 28745 28713 0 -1 4202496 1758016 0 0 0 453805 383 0 0 25 0 1 0 501531636 286171136 58357 33554432000 4194304 4260849 140735248513120 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28755/statm: 69866 58357 252 17 0 66507 0
Current children cumulated CPU time (s) 4542.41
Current children cumulated vsize (KiB) 288168

[startup+4602.3 s]
/proc/loadavg: 2.21 2.07 1.97 3/184 28891
/proc/meminfo: memFree=20756092/32951124 swapFree=67111352/67111528
[pid=28745] ppid=28743 vsize=8704 CPUtime=0.53 cores=1,3,5,7
/proc/28745/stat : 28745 (glucose.sh) S 28743 28745 28713 0 -1 4202496 358 3553 0 0 0 0 53 0 16 0 1 0 501531582 8912896 254 33554432000 4194304 4922060 140736769051360 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28745/statm: 2176 254 211 178 0 69 0
[pid=28755] ppid=28745 vsize=229892 CPUtime=4601.89 cores=1,3,5,7
/proc/28755/stat : 28755 (glucose_static) R 28745 28745 28713 0 -1 4202496 1781530 0 0 0 459800 389 0 0 25 0 1 0 501531636 235409408 50475 33554432000 4194304 4260849 140735248513120 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28755/statm: 57473 50475 252 17 0 54114 0
Current children cumulated CPU time (s) 4602.42
Current children cumulated vsize (KiB) 238596

[startup+4662.3 s]
/proc/loadavg: 2.08 2.05 1.97 3/184 28893
/proc/meminfo: memFree=20742560/32951124 swapFree=67111352/67111528
[pid=28745] ppid=28743 vsize=8704 CPUtime=0.53 cores=1,3,5,7
/proc/28745/stat : 28745 (glucose.sh) S 28743 28745 28713 0 -1 4202496 358 3553 0 0 0 0 53 0 16 0 1 0 501531582 8912896 254 33554432000 4194304 4922060 140736769051360 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28745/statm: 2176 254 211 178 0 69 0
[pid=28755] ppid=28745 vsize=200564 CPUtime=4661.89 cores=1,3,5,7
/proc/28755/stat : 28755 (glucose_static) R 28745 28745 28713 0 -1 4202496 1808547 0 0 0 465794 395 0 0 25 0 1 0 501531636 205377536 44754 33554432000 4194304 4260849 140735248513120 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28755/statm: 50141 44754 252 17 0 46782 0
Current children cumulated CPU time (s) 4662.42
Current children cumulated vsize (KiB) 209268

[startup+4722.31 s]
/proc/loadavg: 2.06 2.05 1.97 3/184 28894
/proc/meminfo: memFree=20808264/32951124 swapFree=67111352/67111528
[pid=28745] ppid=28743 vsize=8704 CPUtime=0.53 cores=1,3,5,7
/proc/28745/stat : 28745 (glucose.sh) S 28743 28745 28713 0 -1 4202496 358 3553 0 0 0 0 53 0 16 0 1 0 501531582 8912896 254 33554432000 4194304 4922060 140736769051360 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28745/statm: 2176 254 211 178 0 69 0
[pid=28755] ppid=28745 vsize=282136 CPUtime=4721.89 cores=1,3,5,7
/proc/28755/stat : 28755 (glucose_static) R 28745 28745 28713 0 -1 4202496 1821927 0 0 0 471792 397 0 0 25 0 1 0 501531636 288907264 57942 33554432000 4194304 4260849 140735248513120 18446744073709551615 4225072 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28755/statm: 70534 57942 252 17 0 67175 0
Current children cumulated CPU time (s) 4722.42
Current children cumulated vsize (KiB) 290840

[startup+4782.3 s]
/proc/loadavg: 2.02 2.04 1.97 3/184 28896
/proc/meminfo: memFree=20768776/32951124 swapFree=67111352/67111528
[pid=28745] ppid=28743 vsize=8704 CPUtime=0.53 cores=1,3,5,7
/proc/28745/stat : 28745 (glucose.sh) S 28743 28745 28713 0 -1 4202496 358 3553 0 0 0 0 53 0 16 0 1 0 501531582 8912896 254 33554432000 4194304 4922060 140736769051360 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28745/statm: 2176 254 211 178 0 69 0
[pid=28755] ppid=28745 vsize=232572 CPUtime=4781.89 cores=1,3,5,7
/proc/28755/stat : 28755 (glucose_static) R 28745 28745 28713 0 -1 4202496 1845364 0 0 0 477787 402 0 0 25 0 1 0 501531636 238153728 50283 33554432000 4194304 4260849 140735248513120 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28755/statm: 58143 50283 252 17 0 54784 0
Current children cumulated CPU time (s) 4782.42
Current children cumulated vsize (KiB) 241276

[startup+4842.3 s]
/proc/loadavg: 2.00 2.03 1.97 3/184 28897
/proc/meminfo: memFree=20755244/32951124 swapFree=67111352/67111528
[pid=28745] ppid=28743 vsize=8704 CPUtime=0.53 cores=1,3,5,7
/proc/28745/stat : 28745 (glucose.sh) S 28743 28745 28713 0 -1 4202496 358 3553 0 0 0 0 53 0 16 0 1 0 501531582 8912896 254 33554432000 4194304 4922060 140736769051360 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28745/statm: 2176 254 211 178 0 69 0
[pid=28755] ppid=28745 vsize=283036 CPUtime=4841.89 cores=1,3,5,7
/proc/28755/stat : 28755 (glucose_static) R 28745 28745 28713 0 -1 4202496 1860885 0 0 0 483783 406 0 0 25 0 1 0 501531636 289828864 65612 33554432000 4194304 4260849 140735248513120 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28755/statm: 70759 65612 252 17 0 67400 0
Current children cumulated CPU time (s) 4842.42
Current children cumulated vsize (KiB) 291740

[startup+4902.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/184 28899
/proc/meminfo: memFree=20736376/32951124 swapFree=67111352/67111528
[pid=28745] ppid=28743 vsize=8704 CPUtime=0.53 cores=1,3,5,7
/proc/28745/stat : 28745 (glucose.sh) S 28743 28745 28713 0 -1 4202496 358 3553 0 0 0 0 53 0 16 0 1 0 501531582 8912896 254 33554432000 4194304 4922060 140736769051360 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28745/statm: 2176 254 211 178 0 69 0
[pid=28755] ppid=28745 vsize=283036 CPUtime=4901.89 cores=1,3,5,7
/proc/28755/stat : 28755 (glucose_static) R 28745 28745 28713 0 -1 4202496 1888578 0 0 0 489777 412 0 0 25 0 1 0 501531636 289828864 59755 33554432000 4194304 4260849 140735248513120 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28755/statm: 70759 59755 252 17 0 67400 0
Current children cumulated CPU time (s) 4902.42
Current children cumulated vsize (KiB) 291740

[startup+4962.3 s]
/proc/loadavg: 2.03 2.03 1.98 3/184 28901
/proc/meminfo: memFree=20821664/32951124 swapFree=67111352/67111528
[pid=28745] ppid=28743 vsize=8704 CPUtime=0.53 cores=1,3,5,7
/proc/28745/stat : 28745 (glucose.sh) S 28743 28745 28713 0 -1 4202496 358 3553 0 0 0 0 53 0 16 0 1 0 501531582 8912896 254 33554432000 4194304 4922060 140736769051360 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28745/statm: 2176 254 211 178 0 69 0
[pid=28755] ppid=28745 vsize=233128 CPUtime=4961.89 cores=1,3,5,7
/proc/28755/stat : 28755 (glucose_static) R 28745 28745 28713 0 -1 4202496 1915948 0 0 0 495771 418 0 0 25 0 1 0 501531636 238723072 52704 33554432000 4194304 4260849 140735248513120 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28755/statm: 58282 52704 252 17 0 54923 0
Current children cumulated CPU time (s) 4962.42
Current children cumulated vsize (KiB) 241832



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+4999.9 s]
/proc/loadavg: 2.02 2.03 1.98 3/184 28902
/proc/meminfo: memFree=20760900/32951124 swapFree=67111352/67111528
[pid=28745] ppid=28743 vsize=8704 CPUtime=0.53 cores=1,3,5,7
/proc/28745/stat : 28745 (glucose.sh) S 28743 28745 28713 0 -1 4202496 358 3553 0 0 0 0 53 0 16 0 1 0 501531582 8912896 254 33554432000 4194304 4922060 140736769051360 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28745/statm: 2176 254 211 178 0 69 0
[pid=28755] ppid=28745 vsize=283216 CPUtime=4999.5 cores=1,3,5,7
/proc/28755/stat : 28755 (glucose_static) R 28745 28745 28713 0 -1 4202496 1925017 0 0 0 499530 420 0 0 25 0 1 0 501531636 290013184 61678 33554432000 4194304 4260849 140735248513120 18446744073709551615 4225060 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28755/statm: 70804 61678 252 17 0 67445 0
Current children cumulated CPU time (s) 5000.03
Current children cumulated vsize (KiB) 291920

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

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

[startup+4999.9 s]
/proc/loadavg: 2.02 2.03 1.98 3/184 28902
/proc/meminfo: memFree=20760900/32951124 swapFree=67111352/67111528
[pid=28745] ppid=28743 vsize=8704 CPUtime=0.53 cores=1,3,5,7
/proc/28745/stat : 28745 (glucose.sh) S 28743 28745 28713 0 -1 4202496 358 3553 0 0 0 0 53 0 16 0 1 0 501531582 8912896 254 33554432000 4194304 4922060 140736769051360 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28745/statm: 2176 254 211 178 0 69 0
[pid=28755] ppid=28745 vsize=283216 CPUtime=4999.5 cores=1,3,5,7
/proc/28755/stat : 28755 (glucose_static) R 28745 28745 28713 0 -1 4202496 1925017 0 0 0 499530 420 0 0 25 0 1 0 501531636 290013184 61678 33554432000 4194304 4260849 140735248513120 18446744073709551615 4225060 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28755/statm: 70804 61678 252 17 0 67445 0
Current children cumulated CPU time (s) 5000.03
Current children cumulated vsize (KiB) 291920

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 4999.91
CPU time (s): 5000.03
CPU user time (s): 4995.83
CPU system time (s): 4.2
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 422448

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

runsolver used 8.10777 second user time and 19.1741 second system time

The end

Launcher Data 

Begin job on node134 at 2011-04-27 12:15:34
IDJOB=3303357
IDBENCH=71409
IDSOLVER=1687
FILE ID=node134/3303357-1303899334
RUNJOBID= node134-1303899333-28732
PBS_JOBID= 13164514
Free space on /tmp= 71596 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v1820c171155gyes3.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303357-1303899334/watcher-3303357-1303899334 -o /tmp/evaluation-result-3303357-1303899334/solver-3303357-1303899334 -C 5000 -W 5100 -M 15500  glucose.sh HOME/instance-3303357-1303899334.cnf 

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= cd19d9eb9be97e183fa1a1d47d679d01
RANDOM SEED=1818265576

node134.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.831
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.66
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.831
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.67
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.831
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.83
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.831
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	: 7186.06
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.831
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.80
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.831
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.83
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.831
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.831
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21273576 kB
Buffers:       2322080 kB
Cached:        8735012 kB
SwapCached:         64 kB
Active:        4613988 kB
Inactive:      6511168 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21273576 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:            6248 kB
Writeback:           0 kB
AnonPages:       67496 kB
Mapped:          14548 kB
Slab:           489448 kB
PageTables:       4700 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   188460 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71584 MiB
End job on node134 at 2011-04-27 13:38:56