CPAL Playground

/* Copyright (C) 2015, RealTime-at-Work, All Rights Reserved
 *
 * You may use, copy, reproduce, and distribute this sample cource code for any non-commercial purpose.
 * Some purposes which can be non-commercial are teaching, academic research,
 * public demonstrations and personal experimentation. You may also distribute this Software
 * with books or other teaching materials, or publish the Software on websites,
 * that are intended to teaching for academic or other non-commercial purposes.
 *
 * In return, we simply require that you agree: 
 * 1. That you will not remove any copyright or other notices from the Software.
 * 2. THAT THE SOFTWARE COMES "AS IS", WITH NO WARRANTIES. THIS MEANS NO EXPRESS, 
 *    IMPLIED OR STATUTORY WARRANTY.
 *
 * @keywords random; variable, static; random, exponential distribution
 */ 
include "annotations/hardware/hw_file.cpal"
processdef Pareto_Random_Generator(out uint32: value)
{
  state Main {
    value = uint32.rand_pareto(1000, 0.25);
  }
}

processdef Mean_Calculator(in uint32: value, out uint32: mean)
{
  static var uint32: n = 0;
  static var uint32: sum = 0;
  
  state Main {
    sum = sum + value;
    n = n + 1;
    mean = sum / n;
  }
}

processdef Max_Calculator(in uint32: value, out uint32: max)
{
  static var uint32: current_max = uint32.LAST;
  
  state Main {
    if (current_max < value) {
      current_max = value;
    }
    max = current_max;
  }
}

processdef Min_Calculator(in uint32: value, out uint32: min)
{
  static var uint32: current_min = 0;
  
  state Main {
    if (current_min > value) {
      current_min = value;
    }
    min = current_min;
  }
}

struct Csv_Record {
  uint32: x;
  uint32: y;
};
/*On special board linuxmbed or raspberry it will serialise to CSV file.*/
var queue<Csv_Record>: log_randpareto[5];
@cpal:hardware:log_randpareto
{
  var CPAL_File : logger = {File_Access.WRITE, File_Format.CSV, "randpareto.csv" }; 
}
processdef For_Bitmap(in uint32: value)
{
  static var uint32: last;
  
  state First {
    last = value;
  }
  on (true) to Main;
  
  state Main {
    var Csv_Record: r;
    r.x = last;
    r.y = value;
    log_randpareto.push(r);
    last = value;
  }
}

var uint32: val;
var uint32: mean;
var uint32: max;
var uint32: min;
process Pareto_Random_Generator: p_main[100ms](val);
process Mean_Calculator: p_mean[100ms](val, mean);
process Max_Calculator: p_max[100ms](val, max);
process Min_Calculator: p_min[100ms](val, min);
process For_Bitmap: p_bitmap[100ms](val);

processdef Runner() {
  state Main {
  }
  after(100000 * self.period) {
    IO.println("Min: %u", min);
    IO.println("Mean: %u", mean);
    IO.println("Max: %u", max);
    exit(0);
  } to Main;
}
process Runner: runner[100ms]();

for ms or try the desktop editor with advanced diagram views

Simulation
Tasks diagram


Quiet mode disabled
[0.000000000000:ASSIGN] Assign cpal_system new value: Scheduling_Policy.FIFO
[0.000000000000:rand-pareto:STARTING_TASK] 'p_main'
[0.000000000000:STATE] process "Pareto_Random_Generator", instance "p_main", state "Main"
[0.000000000000:ASSIGN] Assign val new value: 484196
[0.000000000000:rand-pareto:TASK_FINISHED] 'p_main'
[0.000000000000:rand-pareto:STARTING_TASK] 'p_mean'
[0.000000000000:STATE] process "Mean_Calculator", instance "p_mean", state "Main"
[0.000000000000:ASSIGN] Assign mean new value: 484196
[0.000000000000:rand-pareto:TASK_FINISHED] 'p_mean'
[0.000000000000:rand-pareto:STARTING_TASK] 'p_max'
[0.000000000000:STATE] process "Max_Calculator", instance "p_max", state "Main"
[0.000000000000:ASSIGN] Assign max new value: 4294967295
[0.000000000000:rand-pareto:TASK_FINISHED] 'p_max'
[0.000000000000:rand-pareto:STARTING_TASK] 'p_min'
[0.000000000000:STATE] process "Min_Calculator", instance "p_min", state "Main"
[0.000000000000:ASSIGN] Assign min new value: 0
[0.000000000000:rand-pareto:TASK_FINISHED] 'p_min'
[0.000000000000:rand-pareto:STARTING_TASK] 'p_bitmap'
[0.000000000000:STATE] process "For_Bitmap", instance "p_bitmap", state "First"
[0.000000000000:rand-pareto:TASK_FINISHED] 'p_bitmap'
[0.000000000000:rand-pareto:STARTING_TASK] 'runner'
[0.000000000000:STATE] process "Runner", instance "runner", state "Main"
[0.000000000000:rand-pareto:TASK_FINISHED] 'runner'
[0.100000000000:rand-pareto:STARTING_TASK] 'p_main'
[0.100000000000:ASSIGN] Assign val new value: 3168
[0.100000000000:rand-pareto:TASK_FINISHED] 'p_main'
[0.100000000000:rand-pareto:STARTING_TASK] 'p_mean'
[0.100000000000:ASSIGN] Assign mean new value: 243682
[0.100000000000:rand-pareto:TASK_FINISHED] 'p_mean'
[0.100000000000:rand-pareto:STARTING_TASK] 'p_max'
[0.100000000000:ASSIGN] Assign max new value: 4294967295
[0.100000000000:rand-pareto:TASK_FINISHED] 'p_max'
[0.100000000000:rand-pareto:STARTING_TASK] 'p_min'
[0.100000000000:ASSIGN] Assign min new value: 0
[0.100000000000:rand-pareto:TASK_FINISHED] 'p_min'
[0.100000000000:rand-pareto:STARTING_TASK] 'p_bitmap'
[0.100000000000:STATE] process "For_Bitmap", instance "p_bitmap", state "Main"
[0.100000000000:ASSIGN][0.100000000000] Pushed log_randpareto new value: {484196,3168}
[0.100000000000:rand-pareto:TASK_FINISHED] 'p_bitmap'
[0.100000000000:rand-pareto:STARTING_TASK] 'runner'
[0.100000000000:rand-pareto:TASK_FINISHED] 'runner'
[0.200000000000:rand-pareto:STARTING_TASK] 'p_main'
[0.200000000000:ASSIGN] Assign val new value: 142703
[0.200000000000:rand-pareto:TASK_FINISHED] 'p_main'
[0.200000000000:rand-pareto:STARTING_TASK] 'p_mean'
[0.200000000000:ASSIGN] Assign mean new value: 210022
[0.200000000000:rand-pareto:TASK_FINISHED] 'p_mean'
[0.200000000000:rand-pareto:STARTING_TASK] 'p_max'
[0.200000000000:ASSIGN] Assign max new value: 4294967295
[0.200000000000:rand-pareto:TASK_FINISHED] 'p_max'
[0.200000000000:rand-pareto:STARTING_TASK] 'p_min'
[0.200000000000:ASSIGN] Assign min new value: 0
[0.200000000000:rand-pareto:TASK_FINISHED] 'p_min'
[0.200000000000:rand-pareto:STARTING_TASK] 'p_bitmap'
[0.200000000000:ASSIGN][0.200000000000] Pushed log_randpareto new value: {3168,142703}
[0.200000000000:rand-pareto:TASK_FINISHED] 'p_bitmap'
[0.200000000000:rand-pareto:STARTING_TASK] 'runner'
[0.200000000000:rand-pareto:TASK_FINISHED] 'runner'
[0.300000000000:rand-pareto:STARTING_TASK] 'p_main'
[0.300000000000:ASSIGN] Assign val new value: 123606600
[0.300000000000:rand-pareto:TASK_FINISHED] 'p_main'
[0.300000000000:rand-pareto:STARTING_TASK] 'p_mean'
[0.300000000000:ASSIGN] Assign mean new value: 31059166
[0.300000000000:rand-pareto:TASK_FINISHED] 'p_mean'
[0.300000000000:rand-pareto:STARTING_TASK] 'p_max'
[0.300000000000:ASSIGN] Assign max new value: 4294967295
[0.300000000000:rand-pareto:TASK_FINISHED] 'p_max'
[0.300000000000:rand-pareto:STARTING_TASK] 'p_min'
[0.300000000000:ASSIGN] Assign min new value: 0
[0.300000000000:rand-pareto:TASK_FINISHED] 'p_min'
[0.300000000000:rand-pareto:STARTING_TASK] 'p_bitmap'
[0.300000000000:ASSIGN][0.300000000000] Pushed log_randpareto new value: {142703,123606600}
[0.300000000000:rand-pareto:TASK_FINISHED] 'p_bitmap'
[0.300000000000:rand-pareto:STARTING_TASK] 'runner'
[0.300000000000:rand-pareto:TASK_FINISHED] 'runner'
[0.400000000000:rand-pareto:STARTING_TASK] 'p_main'
[0.400000000000:ASSIGN] Assign val new value: 1080
[0.400000000000:rand-pareto:TASK_FINISHED] 'p_main'
[0.400000000000:rand-pareto:STARTING_TASK] 'p_mean'
[0.400000000000:ASSIGN] Assign mean new value: 24847549
[0.400000000000:rand-pareto:TASK_FINISHED] 'p_mean'
[0.400000000000:rand-pareto:STARTING_TASK] 'p_max'
[0.400000000000:ASSIGN] Assign max new value: 4294967295
[0.400000000000:rand-pareto:TASK_FINISHED] 'p_max'
[0.400000000000:rand-pareto:STARTING_TASK] 'p_min'
[0.400000000000:ASSIGN] Assign min new value: 0
[0.400000000000:rand-pareto:TASK_FINISHED] 'p_min'
[0.400000000000:rand-pareto:STARTING_TASK] 'p_bitmap'
[0.400000000000:ASSIGN][0.400000000000] Pushed log_randpareto new value: {123606600,1080}
[0.400000000000:rand-pareto:TASK_FINISHED] 'p_bitmap'
[0.400000000000:rand-pareto:STARTING_TASK] 'runner'
[0.400000000000:rand-pareto:TASK_FINISHED] 'runner'
[0.500000000000:rand-pareto:STARTING_TASK] 'p_main'
[0.500000000000:ASSIGN] Assign val new value: 7973
[0.500000000000:rand-pareto:TASK_FINISHED] 'p_main'
[0.500000000000:rand-pareto:STARTING_TASK] 'p_mean'
[0.500000000000:ASSIGN] Assign mean new value: 20707620
[0.500000000000:rand-pareto:TASK_FINISHED] 'p_mean'
[0.500000000000:rand-pareto:STARTING_TASK] 'p_max'
[0.500000000000:ASSIGN] Assign max new value: 4294967295
[0.500000000000:rand-pareto:TASK_FINISHED] 'p_max'
[0.500000000000:rand-pareto:STARTING_TASK] 'p_min'
[0.500000000000:ASSIGN] Assign min new value: 0
[0.500000000000:rand-pareto:TASK_FINISHED] 'p_min'
[0.500000000000:rand-pareto:STARTING_TASK] 'p_bitmap'
[0.500000000000:ASSIGN][0.500000000000] Pushed log_randpareto new value: {1080,7973}
[0.500000000000:rand-pareto:TASK_FINISHED] 'p_bitmap'
[0.500000000000:rand-pareto:STARTING_TASK] 'runner'
[0.500000000000:rand-pareto:TASK_FINISHED] 'runner'
[0.600000000000:rand-pareto:STARTING_TASK] 'p_main'
[0.600000000000:ASSIGN] Assign val new value: 3182
[0.600000000000:rand-pareto:TASK_FINISHED] 'p_main'
[0.600000000000:rand-pareto:STARTING_TASK] 'p_mean'
[0.600000000000:ASSIGN] Assign mean new value: 17749843
[0.600000000000:rand-pareto:TASK_FINISHED] 'p_mean'
[0.600000000000:rand-pareto:STARTING_TASK] 'p_max'
[0.600000000000:ASSIGN] Assign max new value: 4294967295
[0.600000000000:rand-pareto:TASK_FINISHED] 'p_max'
[0.600000000000:rand-pareto:STARTING_TASK] 'p_min'
[0.600000000000:ASSIGN] Assign min new value: 0
[0.600000000000:rand-pareto:TASK_FINISHED] 'p_min'
[0.600000000000:rand-pareto:STARTING_TASK] 'p_bitmap'
[0.600000000000:ASSIGN][0.600000000000] Pushed log_randpareto new value: {7973,3182}
[0.600000000000:rand-pareto:TASK_FINISHED] 'p_bitmap'
[0.600000000000:rand-pareto:STARTING_TASK] 'runner'
[0.600000000000:rand-pareto:TASK_FINISHED] 'runner'
[0.700000000000:rand-pareto:STARTING_TASK] 'p_main'
[0.700000000000:ASSIGN] Assign val new value: 1096
[0.700000000000:rand-pareto:TASK_FINISHED] 'p_main'
[0.700000000000:rand-pareto:STARTING_TASK] 'p_mean'
[0.700000000000:ASSIGN] Assign mean new value: 15531249
[0.700000000000:rand-pareto:TASK_FINISHED] 'p_mean'
[0.700000000000:rand-pareto:STARTING_TASK] 'p_max'
[0.700000000000:ASSIGN] Assign max new value: 4294967295
[0.700000000000:rand-pareto:TASK_FINISHED] 'p_max'
[0.700000000000:rand-pareto:STARTING_TASK] 'p_min'
[0.700000000000:ASSIGN] Assign min new value: 0
[0.700000000000:rand-pareto:TASK_FINISHED] 'p_min'
[0.700000000000:rand-pareto:STARTING_TASK] 'p_bitmap'
[0.700000000000:ASSIGN][0.700000000000] Pushed log_randpareto new value: {3182,1096}
[0.700000000000:rand-pareto:TASK_FINISHED] 'p_bitmap'
[0.700000000000:rand-pareto:STARTING_TASK] 'runner'
[0.700000000000:rand-pareto:TASK_FINISHED] 'runner'
[0.800000000000:rand-pareto:STARTING_TASK] 'p_main'
[0.800000000000:ASSIGN] Assign val new value: 18939
[0.800000000000:rand-pareto:TASK_FINISHED] 'p_main'
[0.800000000000:rand-pareto:STARTING_TASK] 'p_mean'
[0.800000000000:ASSIGN] Assign mean new value: 13807659
[0.800000000000:rand-pareto:TASK_FINISHED] 'p_mean'
[0.800000000000:rand-pareto:STARTING_TASK] 'p_max'
[0.800000000000:ASSIGN] Assign max new value: 4294967295
[0.800000000000:rand-pareto:TASK_FINISHED] 'p_max'
[0.800000000000:rand-pareto:STARTING_TASK] 'p_min'
[0.800000000000:ASSIGN] Assign min new value: 0
[0.800000000000:rand-pareto:TASK_FINISHED] 'p_min'
[0.800000000000:rand-pareto:STARTING_TASK] 'p_bitmap'
[0.800000000000:ASSIGN][0.800000000000] Pushed log_randpareto new value: {1096,18939}
[0.800000000000:rand-pareto:TASK_FINISHED] 'p_bitmap'
[0.800000000000:rand-pareto:STARTING_TASK] 'runner'
[0.800000000000:rand-pareto:TASK_FINISHED] 'runner'
[0.900000000000:rand-pareto:STARTING_TASK] 'p_main'
[0.900000000000:ASSIGN] Assign val new value: 5422
[0.900000000000:rand-pareto:TASK_FINISHED] 'p_main'
[0.900000000000:rand-pareto:STARTING_TASK] 'p_mean'
[0.900000000000:ASSIGN] Assign mean new value: 12427435
[0.900000000000:rand-pareto:TASK_FINISHED] 'p_mean'
[0.900000000000:rand-pareto:STARTING_TASK] 'p_max'
[0.900000000000:ASSIGN] Assign max new value: 4294967295
[0.900000000000:rand-pareto:TASK_FINISHED] 'p_max'
[0.900000000000:rand-pareto:STARTING_TASK] 'p_min'
[0.900000000000:ASSIGN] Assign min new value: 0
[0.900000000000:rand-pareto:TASK_FINISHED] 'p_min'
[0.900000000000:rand-pareto:STARTING_TASK] 'p_bitmap'
[0.900000000000:ASSIGN][0.900000000000] Pushed log_randpareto new value: {18939,5422}
[0.900000000000:rand-pareto:TASK_FINISHED] 'p_bitmap'
[0.900000000000:rand-pareto:STARTING_TASK] 'runner'
[0.900000000000:rand-pareto:TASK_FINISHED] 'runner'
[1.000000000000:rand-pareto:STARTING_TASK] 'p_main'
[1.000000000000:ASSIGN] Assign val new value: 3603
[1.000000000000:rand-pareto:TASK_FINISHED] 'p_main'
[1.000000000000:rand-pareto:STARTING_TASK] 'p_mean'
[1.000000000000:ASSIGN] Assign mean new value: 11297996
[1.000000000000:rand-pareto:TASK_FINISHED] 'p_mean'
[1.000000000000:rand-pareto:STARTING_TASK] 'p_max'
[1.000000000000:ASSIGN] Assign max new value: 4294967295
[1.000000000000:rand-pareto:TASK_FINISHED] 'p_max'
[1.000000000000:rand-pareto:STARTING_TASK] 'p_min'
[1.000000000000:ASSIGN] Assign min new value: 0
[1.000000000000:rand-pareto:TASK_FINISHED] 'p_min'
[1.000000000000:rand-pareto:STARTING_TASK] 'p_bitmap'
[1.000000000000:ASSIGN][1.000000000000] Pushed log_randpareto new value: {5422,3603}
[1.000000000000:rand-pareto:TASK_FINISHED] 'p_bitmap'
[1.000000000000:rand-pareto:STARTING_TASK] 'runner'
[1.000000000000:rand-pareto:TASK_FINISHED] 'runner'
[1.100000000000:rand-pareto:STARTING_TASK] 'p_main'
[1.100000000000:ASSIGN] Assign val new value: 26932
[1.100000000000:rand-pareto:TASK_FINISHED] 'p_main'
[1.100000000000:rand-pareto:STARTING_TASK] 'p_mean'
[1.100000000000:ASSIGN] Assign mean new value: 10358741
[1.100000000000:rand-pareto:TASK_FINISHED] 'p_mean'
[1.100000000000:rand-pareto:STARTING_TASK] 'p_max'
[1.100000000000:ASSIGN] Assign max new value: 4294967295
[1.100000000000:rand-pareto:TASK_FINISHED] 'p_max'
[1.100000000000:rand-pareto:STARTING_TASK] 'p_min'
[1.100000000000:ASSIGN] Assign min new value: 0
[1.100000000000:rand-pareto:TASK_FINISHED] 'p_min'
[1.100000000000:rand-pareto:STARTING_TASK] 'p_bitmap'
[1.100000000000:ASSIGN][1.100000000000] Pushed log_randpareto new value: {3603,26932}
[1.100000000000:rand-pareto:TASK_FINISHED] 'p_bitmap'
[1.100000000000:rand-pareto:STARTING_TASK] 'runner'
[1.100000000000:rand-pareto:TASK_FINISHED] 'runner'
[1.200000000000:rand-pareto:STARTING_TASK] 'p_main'
[1.200000000000:ASSIGN] Assign val new value: 1828
[1.200000000000:rand-pareto:TASK_FINISHED] 'p_main'
[1.200000000000:rand-pareto:STARTING_TASK] 'p_mean'
[1.200000000000:ASSIGN] Assign mean new value: 9562055
[1.200000000000:rand-pareto:TASK_FINISHED] 'p_mean'
[1.200000000000:rand-pareto:STARTING_TASK] 'p_max'
[1.200000000000:ASSIGN] Assign max new value: 4294967295
[1.200000000000:rand-pareto:TASK_FINISHED] 'p_max'
[1.200000000000:rand-pareto:STARTING_TASK] 'p_min'
[1.200000000000:ASSIGN] Assign min new value: 0
[1.200000000000:rand-pareto:TASK_FINISHED] 'p_min'
[1.200000000000:rand-pareto:STARTING_TASK] 'p_bitmap'
[1.200000000000:ASSIGN][1.200000000000] Pushed log_randpareto new value: {26932,1828}
[1.200000000000:rand-pareto:TASK_FINISHED] 'p_bitmap'
[1.200000000000:rand-pareto:STARTING_TASK] 'runner'
[1.200000000000:rand-pareto:TASK_FINISHED] 'runner'
[1.300000000000:rand-pareto:STARTING_TASK] 'p_main'
[1.300000000000:ASSIGN] Assign val new value: 23098
[1.300000000000:rand-pareto:TASK_FINISHED] 'p_main'
[1.300000000000:rand-pareto:STARTING_TASK] 'p_mean'
[1.300000000000:ASSIGN] Assign mean new value: 8880701
[1.300000000000:rand-pareto:TASK_FINISHED] 'p_mean'
[1.300000000000:rand-pareto:STARTING_TASK] 'p_max'
[1.300000000000:ASSIGN] Assign max new value: 4294967295
[1.300000000000:rand-pareto:TASK_FINISHED] 'p_max'
[1.300000000000:rand-pareto:STARTING_TASK] 'p_min'
[1.300000000000:ASSIGN] Assign min new value: 0
[1.300000000000:rand-pareto:TASK_FINISHED] 'p_min'
[1.300000000000:rand-pareto:STARTING_TASK] 'p_bitmap'
[1.300000000000:ASSIGN][1.300000000000] Pushed log_randpareto new value: {1828,23098}
[1.300000000000:rand-pareto:TASK_FINISHED] 'p_bitmap'
[1.300000000000:rand-pareto:STARTING_TASK] 'runner'
[1.300000000000:rand-pareto:TASK_FINISHED] 'runner'
[1.400000000000:rand-pareto:STARTING_TASK] 'p_main'
[1.400000000000:ASSIGN] Assign val new value: 19141
[1.400000000000:rand-pareto:TASK_FINISHED] 'p_main'
[1.400000000000:rand-pareto:STARTING_TASK] 'p_mean'
[1.400000000000:ASSIGN] Assign mean new value: 8289930
[1.400000000000:rand-pareto:TASK_FINISHED] 'p_mean'
[1.400000000000:rand-pareto:STARTING_TASK] 'p_max'
[1.400000000000:ASSIGN] Assign max new value: 4294967295
[1.400000000000:rand-pareto:TASK_FINISHED] 'p_max'
[1.400000000000:rand-pareto:STARTING_TASK] 'p_min'
[1.400000000000:ASSIGN] Assign min new value: 0
[1.400000000000:rand-pareto:TASK_FINISHED] 'p_min'
[1.400000000000:rand-pareto:STARTING_TASK] 'p_bitmap'
[1.400000000000:ASSIGN][1.400000000000] Pushed log_randpareto new value: {23098,19141}
[1.400000000000:rand-pareto:TASK_FINISHED] 'p_bitmap'
[1.400000000000:rand-pareto:STARTING_TASK] 'runner'
[1.400000000000:rand-pareto:TASK_FINISHED] 'runner'
[1.500000000000:rand-pareto:STARTING_TASK] 'p_main'
[1.500000000000:ASSIGN] Assign val new value: 2396597
[1.500000000000:rand-pareto:TASK_FINISHED] 'p_main'
[1.500000000000:rand-pareto:STARTING_TASK] 'p_mean'
[1.500000000000:ASSIGN] Assign mean new value: 7921597
[1.500000000000:rand-pareto:TASK_FINISHED] 'p_mean'
[1.500000000000:rand-pareto:STARTING_TASK] 'p_max'
[1.500000000000:ASSIGN] Assign max new value: 4294967295
[1.500000000000:rand-pareto:TASK_FINISHED] 'p_max'
[1.500000000000:rand-pareto:STARTING_TASK] 'p_min'
[1.500000000000:ASSIGN] Assign min new value: 0
[1.500000000000:rand-pareto:TASK_FINISHED] 'p_min'
[1.500000000000:rand-pareto:STARTING_TASK] 'p_bitmap'
[1.500000000000:ASSIGN][1.500000000000] Pushed log_randpareto new value: {19141,2396597}
[1.500000000000:rand-pareto:TASK_FINISHED] 'p_bitmap'
[1.500000000000:rand-pareto:STARTING_TASK] 'runner'
[1.500000000000:rand-pareto:TASK_FINISHED] 'runner'
[1.600000000000:rand-pareto:STARTING_TASK] 'p_main'
[1.600000000000:ASSIGN] Assign val new value: 15971
[1.600000000000:rand-pareto:TASK_FINISHED] 'p_main'
[1.600000000000:rand-pareto:STARTING_TASK] 'p_mean'
[1.600000000000:ASSIGN] Assign mean new value: 7456560
[1.600000000000:rand-pareto:TASK_FINISHED] 'p_mean'
[1.600000000000:rand-pareto:STARTING_TASK] 'p_max'
[1.600000000000:ASSIGN] Assign max new value: 4294967295
[1.600000000000:rand-pareto:TASK_FINISHED] 'p_max'
[1.600000000000:rand-pareto:STARTING_TASK] 'p_min'
[1.600000000000:ASSIGN] Assign min new value: 0
[1.600000000000:rand-pareto:TASK_FINISHED] 'p_min'
[1.600000000000:rand-pareto:STARTING_TASK] 'p_bitmap'
[1.600000000000:ASSIGN][1.600000000000] Pushed log_randpareto new value: {2396597,15971}
[1.600000000000:rand-pareto:TASK_FINISHED] 'p_bitmap'
[1.600000000000:rand-pareto:STARTING_TASK] 'runner'
[1.600000000000:rand-pareto:TASK_FINISHED] 'runner'
[1.700000000000:rand-pareto:STARTING_TASK] 'p_main'
[1.700000000000:ASSIGN] Assign val new value: 8798
[1.700000000000:rand-pareto:TASK_FINISHED] 'p_main'
[1.700000000000:rand-pareto:STARTING_TASK] 'p_mean'
[1.700000000000:ASSIGN] Assign mean new value: 7042795
[1.700000000000:rand-pareto:TASK_FINISHED] 'p_mean'
[1.700000000000:rand-pareto:STARTING_TASK] 'p_max'
[1.700000000000:ASSIGN] Assign max new value: 4294967295
[1.700000000000:rand-pareto:TASK_FINISHED] 'p_max'
[1.700000000000:rand-pareto:STARTING_TASK] 'p_min'
[1.700000000000:ASSIGN] Assign min new value: 0
[1.700000000000:rand-pareto:TASK_FINISHED] 'p_min'
[1.700000000000:rand-pareto:STARTING_TASK] 'p_bitmap'
[1.700000000000:ASSIGN][1.700000000000] Pushed log_randpareto new value: {15971,8798}
[1.700000000000:rand-pareto:TASK_FINISHED] 'p_bitmap'
[1.700000000000:rand-pareto:STARTING_TASK] 'runner'
[1.700000000000:rand-pareto:TASK_FINISHED] 'runner'
[1.800000000000:rand-pareto:STARTING_TASK] 'p_main'
[1.800000000000:ASSIGN] Assign val new value: 233853
[1.800000000000:rand-pareto:TASK_FINISHED] 'p_main'
[1.800000000000:rand-pareto:STARTING_TASK] 'p_mean'
[1.800000000000:ASSIGN] Assign mean new value: 6684430
[1.800000000000:rand-pareto:TASK_FINISHED] 'p_mean'
[1.800000000000:rand-pareto:STARTING_TASK] 'p_max'
[1.800000000000:ASSIGN] Assign max new value: 4294967295
[1.800000000000:rand-pareto:TASK_FINISHED] 'p_max'
[1.800000000000:rand-pareto:STARTING_TASK] 'p_min'
[1.800000000000:ASSIGN] Assign min new value: 0
[1.800000000000:rand-pareto:TASK_FINISHED] 'p_min'
[1.800000000000:rand-pareto:STARTING_TASK] 'p_bitmap'
[1.800000000000:ASSIGN][1.800000000000] Pushed log_randpareto new value: {8798,233853}
[1.800000000000:rand-pareto:TASK_FINISHED] 'p_bitmap'
[1.800000000000:rand-pareto:STARTING_TASK] 'runner'
[1.800000000000:rand-pareto:TASK_FINISHED] 'runner'
[1.900000000000:rand-pareto:STARTING_TASK] 'p_main'
[1.900000000000:ASSIGN] Assign val new value: 3146
[1.900000000000:rand-pareto:TASK_FINISHED] 'p_main'
[1.900000000000:rand-pareto:STARTING_TASK] 'p_mean'
[1.900000000000:ASSIGN] Assign mean new value: 6350366
[1.900000000000:rand-pareto:TASK_FINISHED] 'p_mean'
[1.900000000000:rand-pareto:STARTING_TASK] 'p_max'
[1.900000000000:ASSIGN] Assign max new value: 4294967295
[1.900000000000:rand-pareto:TASK_FINISHED] 'p_max'
[1.900000000000:rand-pareto:STARTING_TASK] 'p_min'
[1.900000000000:ASSIGN] Assign min new value: 0
[1.900000000000:rand-pareto:TASK_FINISHED] 'p_min'
[1.900000000000:rand-pareto:STARTING_TASK] 'p_bitmap'
[1.900000000000:ASSIGN][1.900000000000] Pushed log_randpareto new value: {233853,3146}
[1.900000000000:rand-pareto:TASK_FINISHED] 'p_bitmap'
[1.900000000000:rand-pareto:STARTING_TASK] 'runner'
[1.900000000000:rand-pareto:TASK_FINISHED] 'runner'
[2.000000000000:rand-pareto:STARTING_TASK] 'p_main'
[2.000000000000:ASSIGN] Assign val new value: 2986
[2.000000000000:rand-pareto:TASK_FINISHED] 'p_main'
[2.000000000000:rand-pareto:STARTING_TASK] 'p_mean'
[2.000000000000:ASSIGN] Assign mean new value: 6048110
[2.000000000000:rand-pareto:TASK_FINISHED] 'p_mean'
[2.000000000000:rand-pareto:STARTING_TASK] 'p_max'
[2.000000000000:ASSIGN] Assign max new value: 4294967295
[2.000000000000:rand-pareto:TASK_FINISHED] 'p_max'
[2.000000000000:rand-pareto:STARTING_TASK] 'p_min'
[2.000000000000:ASSIGN] Assign min new value: 0
[2.000000000000:rand-pareto:TASK_FINISHED] 'p_min'
[2.000000000000:rand-pareto:STARTING_TASK] 'p_bitmap'
[2.000000000000:ASSIGN][2.000000000000] Pushed log_randpareto new value: {3146,2986}
[2.000000000000:rand-pareto:TASK_FINISHED] 'p_bitmap'
[2.000000000000:rand-pareto:STARTING_TASK] 'runner'
[2.000000000000:rand-pareto:TASK_FINISHED] 'runner'
[2.100000000000:rand-pareto:STARTING_TASK] 'p_main'
[2.100000000000:ASSIGN] Assign val new value: 4678
[2.100000000000:rand-pareto:TASK_FINISHED] 'p_main'
[2.100000000000:rand-pareto:STARTING_TASK] 'p_mean'
[2.100000000000:ASSIGN] Assign mean new value: 5773408
[2.100000000000:rand-pareto:TASK_FINISHED] 'p_mean'
[2.100000000000:rand-pareto:STARTING_TASK] 'p_max'
[2.100000000000:ASSIGN] Assign max new value: 4294967295
[2.100000000000:rand-pareto:TASK_FINISHED] 'p_max'
[2.100000000000:rand-pareto:STARTING_TASK] 'p_min'
[2.100000000000:ASSIGN] Assign min new value: 0
[2.100000000000:rand-pareto:TASK_FINISHED] 'p_min'
[2.100000000000:rand-pareto:STARTING_TASK] 'p_bitmap'
[2.100000000000:ASSIGN][2.100000000000] Pushed log_randpareto new value: {2986,4678}
[2.100000000000:rand-pareto:TASK_FINISHED] 'p_bitmap'
[2.100000000000:rand-pareto:STARTING_TASK] 'runner'
[2.100000000000:rand-pareto:TASK_FINISHED] 'runner'
[2.200000000000:rand-pareto:STARTING_TASK] 'p_main'
[2.200000000000:ASSIGN] Assign val new value: 15585611
[2.200000000000:rand-pareto:TASK_FINISHED] 'p_main'
[2.200000000000:rand-pareto:STARTING_TASK] 'p_mean'
[2.200000000000:ASSIGN] Assign mean new value: 6200026
[2.200000000000:rand-pareto:TASK_FINISHED] 'p_mean'
[2.200000000000:rand-pareto:STARTING_TASK] 'p_max'
[2.200000000000:ASSIGN] Assign max new value: 4294967295
[2.200000000000:rand-pareto:TASK_FINISHED] 'p_max'
[2.200000000000:rand-pareto:STARTING_TASK] 'p_min'
[2.200000000000:ASSIGN] Assign min new value: 0
[2.200000000000:rand-pareto:TASK_FINISHED] 'p_min'
[2.200000000000:rand-pareto:STARTING_TASK] 'p_bitmap'
[2.200000000000:ASSIGN][2.200000000000] Pushed log_randpareto new value: {4678,15585611}
[2.200000000000:rand-pareto:TASK_FINISHED] 'p_bitmap'
[2.200000000000:rand-pareto:STARTING_TASK] 'runner'
[2.200000000000:rand-pareto:TASK_FINISHED] 'runner'
[2.300000000000:rand-pareto:STARTING_TASK] 'p_main'
[2.300000000000:ASSIGN] Assign val new value: 2055
[2.300000000000:rand-pareto:TASK_FINISHED] 'p_main'
[2.300000000000:rand-pareto:STARTING_TASK] 'p_mean'
[2.300000000000:ASSIGN] Assign mean new value: 5941777
[2.300000000000:rand-pareto:TASK_FINISHED] 'p_mean'
[2.300000000000:rand-pareto:STARTING_TASK] 'p_max'
[2.300000000000:ASSIGN] Assign max new value: 4294967295
[2.300000000000:rand-pareto:TASK_FINISHED] 'p_max'
[2.300000000000:rand-pareto:STARTING_TASK] 'p_min'
[2.300000000000:ASSIGN] Assign min new value: 0
[2.300000000000:rand-pareto:TASK_FINISHED] 'p_min'
[2.300000000000:rand-pareto:STARTING_TASK] 'p_bitmap'
[2.300000000000:ASSIGN][2.300000000000] Pushed log_randpareto new value: {15585611,2055}
[2.300000000000:rand-pareto:TASK_FINISHED] 'p_bitmap'
[2.300000000000:rand-pareto:STARTING_TASK] 'runner'
[2.300000000000:rand-pareto:TASK_FINISHED] 'runner'
[2.400000000000:rand-pareto:STARTING_TASK] 'p_main'
[2.400000000000:ASSIGN] Assign val new value: 3086
[2.400000000000:rand-pareto:TASK_FINISHED] 'p_main'
[2.400000000000:rand-pareto:STARTING_TASK] 'p_mean'
[2.400000000000:ASSIGN] Assign mean new value: 5704229
[2.400000000000:rand-pareto:TASK_FINISHED] 'p_mean'
[2.400000000000:rand-pareto:STARTING_TASK] 'p_max'
[2.400000000000:ASSIGN] Assign max new value: 4294967295
[2.400000000000:rand-pareto:TASK_FINISHED] 'p_max'
[2.400000000000:rand-pareto:STARTING_TASK] 'p_min'
[2.400000000000:ASSIGN] Assign min new value: 0
[2.400000000000:rand-pareto:TASK_FINISHED] 'p_min'
[2.400000000000:rand-pareto:STARTING_TASK] 'p_bitmap'
[2.400000000000:ASSIGN][2.400000000000] Pushed log_randpareto new value: {2055,3086}
[2.400000000000:rand-pareto:TASK_FINISHED] 'p_bitmap'
[2.400000000000:rand-pareto:STARTING_TASK] 'runner'
[2.400000000000:rand-pareto:TASK_FINISHED] 'runner'
[2.500000000000:rand-pareto:STARTING_TASK] 'p_main'
[2.500000000000:ASSIGN] Assign val new value: 2421
[2.500000000000:rand-pareto:TASK_FINISHED] 'p_main'
[2.500000000000:rand-pareto:STARTING_TASK] 'p_mean'
[2.500000000000:ASSIGN] Assign mean new value: 5484929
[2.500000000000:rand-pareto:TASK_FINISHED] 'p_mean'
[2.500000000000:rand-pareto:STARTING_TASK] 'p_max'
[2.500000000000:ASSIGN] Assign max new value: 4294967295
[2.500000000000:rand-pareto:TASK_FINISHED] 'p_max'
[2.500000000000:rand-pareto:STARTING_TASK] 'p_min'
[2.500000000000:ASSIGN] Assign min new value: 0
[2.500000000000:rand-pareto:TASK_FINISHED] 'p_min'
[2.500000000000:rand-pareto:STARTING_TASK] 'p_bitmap'
[2.500000000000:ASSIGN][2.500000000000] Pushed log_randpareto new value: {3086,2421}
[2.500000000000:rand-pareto:TASK_FINISHED] 'p_bitmap'
[2.500000000000:rand-pareto:STARTING_TASK] 'runner'
[2.500000000000:rand-pareto:TASK_FINISHED] 'runner'
[2.600000000000:rand-pareto:STARTING_TASK] 'p_main'
[2.600000000000:ASSIGN] Assign val new value: 153486
[2.600000000000:rand-pareto:TASK_FINISHED] 'p_main'
[2.600000000000:rand-pareto:STARTING_TASK] 'p_mean'
[2.600000000000:ASSIGN] Assign mean new value: 5287468
[2.600000000000:rand-pareto:TASK_FINISHED] 'p_mean'
[2.600000000000:rand-pareto:STARTING_TASK] 'p_max'
[2.600000000000:ASSIGN] Assign max new value: 4294967295
[2.600000000000:rand-pareto:TASK_FINISHED] 'p_max'
[2.600000000000:rand-pareto:STARTING_TASK] 'p_min'
[2.600000000000:ASSIGN] Assign min new value: 0
[2.600000000000:rand-pareto:TASK_FINISHED] 'p_min'
[2.600000000000:rand-pareto:STARTING_TASK] 'p_bitmap'
[2.600000000000:ASSIGN][2.600000000000] Pushed log_randpareto new value: {2421,153486}
[2.600000000000:rand-pareto:TASK_FINISHED] 'p_bitmap'
[2.600000000000:rand-pareto:STARTING_TASK] 'runner'
[2.600000000000:rand-pareto:TASK_FINISHED] 'runner'
[2.700000000000:rand-pareto:STARTING_TASK] 'p_main'
[2.700000000000:ASSIGN] Assign val new value: 933066624
[2.700000000000:rand-pareto:TASK_FINISHED] 'p_main'
[2.700000000000:rand-pareto:STARTING_TASK] 'p_mean'
[2.700000000000:ASSIGN] Assign mean new value: 38422438
[2.700000000000:rand-pareto:TASK_FINISHED] 'p_mean'
[2.700000000000:rand-pareto:STARTING_TASK] 'p_max'
[2.700000000000:ASSIGN] Assign max new value: 4294967295
[2.700000000000:rand-pareto:TASK_FINISHED] 'p_max'
[2.700000000000:rand-pareto:STARTING_TASK] 'p_min'
[2.700000000000:ASSIGN] Assign min new value: 0
[2.700000000000:rand-pareto:TASK_FINISHED] 'p_min'
[2.700000000000:rand-pareto:STARTING_TASK] 'p_bitmap'
[2.700000000000:ASSIGN][2.700000000000] Pushed log_randpareto new value: {153486,933066624}
[2.700000000000:rand-pareto:TASK_FINISHED] 'p_bitmap'
[2.700000000000:rand-pareto:STARTING_TASK] 'runner'
[2.700000000000:rand-pareto:TASK_FINISHED] 'runner'
[2.800000000000:rand-pareto:STARTING_TASK] 'p_main'
[2.800000000000:ASSIGN] Assign val new value: 353835
[2.800000000000:rand-pareto:TASK_FINISHED] 'p_main'
[2.800000000000:rand-pareto:STARTING_TASK] 'p_mean'
[2.800000000000:ASSIGN] Assign mean new value: 37109727
[2.800000000000:rand-pareto:TASK_FINISHED] 'p_mean'
[2.800000000000:rand-pareto:STARTING_TASK] 'p_max'
[2.800000000000:ASSIGN] Assign max new value: 4294967295
[2.800000000000:rand-pareto:TASK_FINISHED] 'p_max'
[2.800000000000:rand-pareto:STARTING_TASK] 'p_min'
[2.800000000000:ASSIGN] Assign min new value: 0
[2.800000000000:rand-pareto:TASK_FINISHED] 'p_min'
[2.800000000000:rand-pareto:STARTING_TASK] 'p_bitmap'
[2.800000000000:ASSIGN][2.800000000000] Pushed log_randpareto new value: {933066624,353835}
[2.800000000000:rand-pareto:TASK_FINISHED] 'p_bitmap'
[2.800000000000:rand-pareto:STARTING_TASK] 'runner'
[2.800000000000:rand-pareto:TASK_FINISHED] 'runner'
[2.900000000000:rand-pareto:STARTING_TASK] 'p_main'
[2.900000000000:ASSIGN] Assign val new value: 1400
[2.900000000000:rand-pareto:TASK_FINISHED] 'p_main'
[2.900000000000:rand-pareto:STARTING_TASK] 'p_mean'
[2.900000000000:ASSIGN] Assign mean new value: 35872783
[2.900000000000:rand-pareto:TASK_FINISHED] 'p_mean'
[2.900000000000:rand-pareto:STARTING_TASK] 'p_max'
[2.900000000000:ASSIGN] Assign max new value: 4294967295
[2.900000000000:rand-pareto:TASK_FINISHED] 'p_max'
[2.900000000000:rand-pareto:STARTING_TASK] 'p_min'
[2.900000000000:ASSIGN] Assign min new value: 0
[2.900000000000:rand-pareto:TASK_FINISHED] 'p_min'
[2.900000000000:rand-pareto:STARTING_TASK] 'p_bitmap'
[2.900000000000:ASSIGN][2.900000000000] Pushed log_randpareto new value: {353835,1400}
[2.900000000000:rand-pareto:TASK_FINISHED] 'p_bitmap'
[2.900000000000:rand-pareto:STARTING_TASK] 'runner'
[2.900000000000:rand-pareto:TASK_FINISHED] 'runner'
[3.000000000000:rand-pareto:STARTING_TASK] 'p_main'
[3.000000000000:ASSIGN] Assign val new value: 11753
[3.000000000000:rand-pareto:TASK_FINISHED] 'p_main'
[3.000000000000:rand-pareto:STARTING_TASK] 'p_mean'
[3.000000000000:ASSIGN] Assign mean new value: 34715976
[3.000000000000:rand-pareto:TASK_FINISHED] 'p_mean'
[3.000000000000:rand-pareto:STARTING_TASK] 'p_max'
[3.000000000000:ASSIGN] Assign max new value: 4294967295
[3.000000000000:rand-pareto:TASK_FINISHED] 'p_max'
[3.000000000000:rand-pareto:STARTING_TASK] 'p_min'
[3.000000000000:ASSIGN] Assign min new value: 0
[3.000000000000:rand-pareto:TASK_FINISHED] 'p_min'
[3.000000000000:rand-pareto:STARTING_TASK] 'p_bitmap'
[3.000000000000:ASSIGN][3.000000000000] Pushed log_randpareto new value: {1400,11753}
[3.000000000000:rand-pareto:TASK_FINISHED] 'p_bitmap'
[3.000000000000:rand-pareto:STARTING_TASK] 'runner'
[3.000000000000:rand-pareto:TASK_FINISHED] 'runner'
EXIT (SUCCESS) AT 3s (3000000000000)

PID	start	end	name	state
0	0	0	p_main	Main
1	0	0	p_mean	Main
2	0	0	p_max	Main
3	0	0	p_min	Main
4	0	0	p_bitmap	First
5	0	0	runner	Main
0	100000000000	100000000000	p_main	Main
1	100000000000	100000000000	p_mean	Main
2	100000000000	100000000000	p_max	Main
3	100000000000	100000000000	p_min	Main
4	100000000000	100000000000	p_bitmap	Main
5	100000000000	100000000000	runner	Main
0	200000000000	200000000000	p_main	Main
1	200000000000	200000000000	p_mean	Main
2	200000000000	200000000000	p_max	Main
3	200000000000	200000000000	p_min	Main
4	200000000000	200000000000	p_bitmap	Main
5	200000000000	200000000000	runner	Main
0	300000000000	300000000000	p_main	Main
1	300000000000	300000000000	p_mean	Main
2	300000000000	300000000000	p_max	Main
3	300000000000	300000000000	p_min	Main
4	300000000000	300000000000	p_bitmap	Main
5	300000000000	300000000000	runner	Main
0	400000000000	400000000000	p_main	Main
1	400000000000	400000000000	p_mean	Main
2	400000000000	400000000000	p_max	Main
3	400000000000	400000000000	p_min	Main
4	400000000000	400000000000	p_bitmap	Main
5	400000000000	400000000000	runner	Main
0	500000000000	500000000000	p_main	Main
1	500000000000	500000000000	p_mean	Main
2	500000000000	500000000000	p_max	Main
3	500000000000	500000000000	p_min	Main
4	500000000000	500000000000	p_bitmap	Main
5	500000000000	500000000000	runner	Main
0	600000000000	600000000000	p_main	Main
1	600000000000	600000000000	p_mean	Main
2	600000000000	600000000000	p_max	Main
3	600000000000	600000000000	p_min	Main
4	600000000000	600000000000	p_bitmap	Main
5	600000000000	600000000000	runner	Main
0	700000000000	700000000000	p_main	Main
1	700000000000	700000000000	p_mean	Main
2	700000000000	700000000000	p_max	Main
3	700000000000	700000000000	p_min	Main
4	700000000000	700000000000	p_bitmap	Main
5	700000000000	700000000000	runner	Main
0	800000000000	800000000000	p_main	Main
1	800000000000	800000000000	p_mean	Main
2	800000000000	800000000000	p_max	Main
3	800000000000	800000000000	p_min	Main
4	800000000000	800000000000	p_bitmap	Main
5	800000000000	800000000000	runner	Main
0	900000000000	900000000000	p_main	Main
1	900000000000	900000000000	p_mean	Main
2	900000000000	900000000000	p_max	Main
3	900000000000	900000000000	p_min	Main
4	900000000000	900000000000	p_bitmap	Main
5	900000000000	900000000000	runner	Main
0	1000000000000	1000000000000	p_main	Main
1	1000000000000	1000000000000	p_mean	Main
2	1000000000000	1000000000000	p_max	Main
3	1000000000000	1000000000000	p_min	Main
4	1000000000000	1000000000000	p_bitmap	Main
5	1000000000000	1000000000000	runner	Main
0	1100000000000	1100000000000	p_main	Main
1	1100000000000	1100000000000	p_mean	Main
2	1100000000000	1100000000000	p_max	Main
3	1100000000000	1100000000000	p_min	Main
4	1100000000000	1100000000000	p_bitmap	Main
5	1100000000000	1100000000000	runner	Main
0	1200000000000	1200000000000	p_main	Main
1	1200000000000	1200000000000	p_mean	Main
2	1200000000000	1200000000000	p_max	Main
3	1200000000000	1200000000000	p_min	Main
4	1200000000000	1200000000000	p_bitmap	Main
5	1200000000000	1200000000000	runner	Main
0	1300000000000	1300000000000	p_main	Main
1	1300000000000	1300000000000	p_mean	Main
2	1300000000000	1300000000000	p_max	Main
3	1300000000000	1300000000000	p_min	Main
4	1300000000000	1300000000000	p_bitmap	Main
5	1300000000000	1300000000000	runner	Main
0	1400000000000	1400000000000	p_main	Main
1	1400000000000	1400000000000	p_mean	Main
2	1400000000000	1400000000000	p_max	Main
3	1400000000000	1400000000000	p_min	Main
4	1400000000000	1400000000000	p_bitmap	Main
5	1400000000000	1400000000000	runner	Main
0	1500000000000	1500000000000	p_main	Main
1	1500000000000	1500000000000	p_mean	Main
2	1500000000000	1500000000000	p_max	Main
3	1500000000000	1500000000000	p_min	Main
4	1500000000000	1500000000000	p_bitmap	Main
5	1500000000000	1500000000000	runner	Main
0	1600000000000	1600000000000	p_main	Main
1	1600000000000	1600000000000	p_mean	Main
2	1600000000000	1600000000000	p_max	Main
3	1600000000000	1600000000000	p_min	Main
4	1600000000000	1600000000000	p_bitmap	Main
5	1600000000000	1600000000000	runner	Main
0	1700000000000	1700000000000	p_main	Main
1	1700000000000	1700000000000	p_mean	Main
2	1700000000000	1700000000000	p_max	Main
3	1700000000000	1700000000000	p_min	Main
4	1700000000000	1700000000000	p_bitmap	Main
5	1700000000000	1700000000000	runner	Main
0	1800000000000	1800000000000	p_main	Main
1	1800000000000	1800000000000	p_mean	Main
2	1800000000000	1800000000000	p_max	Main
3	1800000000000	1800000000000	p_min	Main
4	1800000000000	1800000000000	p_bitmap	Main
5	1800000000000	1800000000000	runner	Main
0	1900000000000	1900000000000	p_main	Main
1	1900000000000	1900000000000	p_mean	Main
2	1900000000000	1900000000000	p_max	Main
3	1900000000000	1900000000000	p_min	Main
4	1900000000000	1900000000000	p_bitmap	Main
5	1900000000000	1900000000000	runner	Main
0	2000000000000	2000000000000	p_main	Main
1	2000000000000	2000000000000	p_mean	Main
2	2000000000000	2000000000000	p_max	Main
3	2000000000000	2000000000000	p_min	Main
4	2000000000000	2000000000000	p_bitmap	Main
5	2000000000000	2000000000000	runner	Main
0	2100000000000	2100000000000	p_main	Main
1	2100000000000	2100000000000	p_mean	Main
2	2100000000000	2100000000000	p_max	Main
3	2100000000000	2100000000000	p_min	Main
4	2100000000000	2100000000000	p_bitmap	Main
5	2100000000000	2100000000000	runner	Main
0	2200000000000	2200000000000	p_main	Main
1	2200000000000	2200000000000	p_mean	Main
2	2200000000000	2200000000000	p_max	Main
3	2200000000000	2200000000000	p_min	Main
4	2200000000000	2200000000000	p_bitmap	Main
5	2200000000000	2200000000000	runner	Main
0	2300000000000	2300000000000	p_main	Main
1	2300000000000	2300000000000	p_mean	Main
2	2300000000000	2300000000000	p_max	Main
3	2300000000000	2300000000000	p_min	Main
4	2300000000000	2300000000000	p_bitmap	Main
5	2300000000000	2300000000000	runner	Main
0	2400000000000	2400000000000	p_main	Main
1	2400000000000	2400000000000	p_mean	Main
2	2400000000000	2400000000000	p_max	Main
3	2400000000000	2400000000000	p_min	Main
4	2400000000000	2400000000000	p_bitmap	Main
5	2400000000000	2400000000000	runner	Main
0	2500000000000	2500000000000	p_main	Main
1	2500000000000	2500000000000	p_mean	Main
2	2500000000000	2500000000000	p_max	Main
3	2500000000000	2500000000000	p_min	Main
4	2500000000000	2500000000000	p_bitmap	Main
5	2500000000000	2500000000000	runner	Main
0	2600000000000	2600000000000	p_main	Main
1	2600000000000	2600000000000	p_mean	Main
2	2600000000000	2600000000000	p_max	Main
3	2600000000000	2600000000000	p_min	Main
4	2600000000000	2600000000000	p_bitmap	Main
5	2600000000000	2600000000000	runner	Main
0	2700000000000	2700000000000	p_main	Main
1	2700000000000	2700000000000	p_mean	Main
2	2700000000000	2700000000000	p_max	Main
3	2700000000000	2700000000000	p_min	Main
4	2700000000000	2700000000000	p_bitmap	Main
5	2700000000000	2700000000000	runner	Main
0	2800000000000	2800000000000	p_main	Main
1	2800000000000	2800000000000	p_mean	Main
2	2800000000000	2800000000000	p_max	Main
3	2800000000000	2800000000000	p_min	Main
4	2800000000000	2800000000000	p_bitmap	Main
5	2800000000000	2800000000000	runner	Main
0	2900000000000	2900000000000	p_main	Main
1	2900000000000	2900000000000	p_mean	Main
2	2900000000000	2900000000000	p_max	Main
3	2900000000000	2900000000000	p_min	Main
4	2900000000000	2900000000000	p_bitmap	Main
5	2900000000000	2900000000000	runner	Main
0	3000000000000	3000000000000	p_main	Main
1	3000000000000	3000000000000	p_mean	Main
2	3000000000000	3000000000000	p_max	Main
3	3000000000000	3000000000000	p_min	Main
4	3000000000000	3000000000000	p_bitmap	Main
5	3000000000000	3000000000000	runner	Main