Trace number 4106232

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.08 1800.61

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=257-P1=53-P2=163-P3=163-P4=251-P5=269-P6=479-P7=113-B.opb
MD5SUM61ecac306f245a9bac818667ce91a2bc
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.170973
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables189
Total number of constraints15
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints15
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)567
Sum of products size (including duplicates)1134
Number of different products567
Sum of products size1134

Solver Data 

0.00/0.00	c 2016-06-18T18:42:00+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4106232-1466268120.opb"]
0.00/0.01	c use --random-gen="22685447 2448294657 2023015096 675270392 2986789638 1556759793 1412671781 800710352 1358462426 1915857992 2353930580 2831782649 1582764237 3051216554 3417829999 1348392802 2452264012 3105829638 2253983648 2075160005 1228649924 1321447256 1360168122 1747279570 137172811 1255593180 1155736707 2694617129 2281311003 2964979047 676625695 2657548873 2858862485 2050109561 2696656715 1440334451 1935434260 545077991 3960277009 493377045 1748531460 3200399319 2417617305 1356417159 52613972 177502892 1408019162 2158366777 1059338336 3244290543 2952803336 1128099455 2700997268 1705584518 506028968 2589456433 355879 2293552886 3818291536 2534876036 2396887905 1625864343 978360335 1082872017 1661619684 314639323 1356619139 893577721 3512129015 2643861543 2562224760 2128673608 244236732 3137930697 2470194189 1842402251 1670986973 2721033055 4058355965 990508315 1210570905 2748975184 867033785 2381016193 2875374167 1380382113 1410344642 3706601003 792554258 1752253515 270390486 2271495883 3947056218 1630663044 766834421 2758183265 2673888101 1859579157 2437222144 90058946 2613260854 508887304 2368914314 1402255982 2100249398 1480749028 1036046452 1788597965 1876677821 3113333211 181285984 3926442524 2770115861 658339243 2437349016 820616416 851261502 69895780 1920139019 3426597323 1889558671 3840640166 3479397049 1115792882 2042367398 2478212011 2103621089 485705763 231689149 412153581 2062113181 3795076931 3965129960 206160472 2087998344 1950438760 3889450100 966424174 1557658433 3822724773 1796228692 3462726222 3113392816 3304173544 76118946 2171567102 2626649548 2970044198 3528280327 4148336970 3328207147 1325081036 1155367969 4108082362 3151301722 2390812276 3326691643 3846461751 1244874099 1344301381 1583351165 2800998164 2012571593 2740435728 3979820458 1515325017 3618432698 1663293814 646866065 1404957443 3153561373 3614215540 3432619262 3684361194 2870965549 661861046 4236085140 1156819006 2462947710 2467017270 62409592 3685058981 380465346 323522111 2782541451 1060576738 1764055846 2868900859 1922632196 3142994919 647502328 4054590268 1813262236 310865297 527633557 2469994414 952873098 3711171999 1646956537 1456603590 2494588977 653233306 2368292268 1879253842 2059191343 3211667727 3008683648 3467815451 3543369933 595419277 850474885 888597201 2892790311 2981549330 2998482420 1263695947 4246932885 1146072082 2081998991 2316888056 3216799994 3394132782 2263760838 831051684 1794584344 2932092806 2511646550 1939697377 1707938025 1318579481 3845742383 3363698552 2814774880 4025935230 3571154038 1924515087 160527972 1391998011 1690081182 3941135596 1328755253 3737718569 555863414 1006114324 1963247086 3989158826 3924845494 2083002138 39049467 2240057001 1115164639 1105258947 3619906382 2388494003 4220163747 1051043603 255 362436" option to reproduce the execution
0.00/0.01	c #vars 189
0.00/0.01	c #constraints 15
0.00/0.03	c BCD2: Hardening is enabled.
0.00/0.03	c BCD2: BiasedSearch is enabled.
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      826      0 |        0 |        0
0.00/0.06	c  0.0s |       1 |      112 |      100 |      826      0 |        0 |        0
0.00/0.10	c  0.1s |       2 |      280 |      250 |      909      0 |        0 |        0
0.09/0.16	c  0.1s |       3 |      523 |      475 |     1000      0 |        0 |        0
0.19/0.25	c  0.2s |       4 |      884 |      813 |     1100      0 |        0 |        0
0.39/0.41	c  0.4s |       5 |     1404 |     1320 |     1210      1 |        0 |        0
0.59/0.65	c  0.6s |       6 |     2223 |     2081 |     1465      1 |        0 |        0
0.99/1.05	c  1.0s |       7 |     3464 |     3223 |     1612      2 |        0 |        0
1.49/1.57	c  1.5s |       8 |     5448 |     4936 |     1774      4 |        0 |        0
2.09/2.14	c  2.1s |       8 |     7373 |     6681 |     1774      5 |        0 |        0
2.09/2.14	c #cpu_time = 2.103s
2.09/2.14	c #wall_clock_time = 2.109s
2.09/2.14	c #decision = 7373
2.09/2.14	c #random_decision = 24
2.38/2.41	c #conflict = 6681
2.38/2.41	c #restart = 8
2.38/2.41	o 347
2.38/2.41	c BCD2: updating upper bound: 511 -> 346
2.38/2.41	c BCD2: 0 <= obj <= 346
2.38/2.41	c BCD2: #cores=0, #unrelaxed=9, #relaxed=0, #hardened=0
2.38/2.41	c BCD2: #sat=1 #unsat=1 bias=1/2
2.38/2.41	c Solving starts ...
2.38/2.41	c ============================[ Search Statistics ]============================
2.38/2.41	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.38/2.41	c       |         |          |          |    Limit     GC | Var      | Constra 
2.38/2.41	c =============================================================================
2.38/2.41	c  0.0s |       0 |        0 |        0 |     1774      0 |        0 |        0
2.38/2.41	c  0.0s |       0 |        7 |        0 |     1774      1 |        0 |        0
2.38/2.41	c #cpu_time = 0.012s
2.38/2.41	c #wall_clock_time = 0.012s
2.38/2.41	c #decision = 7
2.38/2.41	c #random_decision = 0
2.38/2.41	c #conflict = 0
2.38/2.41	c #restart = 0
2.38/2.41	c BCD2: found a new core of size 8: cost of the new core is >=2
2.38/2.41	c lower bound updated to 2
2.38/2.41	c BCD2: 2 <= obj <= 346
2.38/2.41	c BCD2: #cores=1, #unrelaxed=1, #relaxed=8, #hardened=0
2.38/2.41	c BCD2: #sat=1 #unsat=2 bias=2/3
2.38/2.41	c Solving starts ...
2.38/2.42	c ============================[ Search Statistics ]============================
2.38/2.42	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.38/2.42	c       |         |          |          |    Limit     GC | Var      | Constra 
2.38/2.42	c =============================================================================
2.38/2.42	c  0.0s |       0 |        0 |        0 |     1774      0 |        0 |        0
2.38/2.42	c  0.1s |       1 |      179 |      100 |     1774      0 |        0 |        0
2.38/2.42	c  0.2s |       2 |      370 |      250 |     1774      0 |        0 |        0
2.38/2.49	c  0.3s |       3 |      711 |      475 |     1774      0 |        0 |        0
2.48/2.59	c  0.4s |       4 |     1405 |      813 |     1952      0 |        0 |        0
2.58/2.69	c  0.5s |       5 |     1927 |     1320 |     1952      1 |        0 |        0
2.78/2.87	c  0.7s |       6 |     2795 |     2081 |     1952      1 |        0 |        0
3.49/3.53	c  1.4s |       7 |     4917 |     3223 |     1952      3 |        0 |        0
3.89/3.91	c  1.8s |       8 |     6823 |     4936 |     2148      4 |        0 |        0
5.89/5.99	c  3.8s |       8 |     9442 |     6536 |     2148      5 |        0 |        0
7.19/7.26	c  5.1s |       9 |    10950 |     7506 |     2148      6 |        0 |        0
8.80/8.84	c  6.7s |      10 |    15186 |    11361 |     2363      9 |        0 |        0
10.79/10.88	c  8.7s |      10 |    19933 |    15661 |     2363     12 |        0 |        0
11.39/11.45	c  9.3s |      11 |    21473 |    17144 |     2363     13 |        0 |        0
13.39/13.46	c 11.3s |      11 |    28448 |    23644 |     2600     17 |        0 |        0
14.09/14.16	c 12.0s |      12 |    30664 |    25819 |     2600     18 |        0 |        0
16.09/16.18	c 14.0s |      12 |    37469 |    31619 |     2600     22 |        0 |        0
18.09/18.18	c 16.0s |      12 |    43128 |    37019 |     2861     25 |        0 |        0
18.80/18.82	c 16.7s |      13 |    45067 |    38832 |     2861     27 |        0 |        0
20.79/20.83	c 18.7s |      13 |    52124 |    45432 |     2861     30 |        0 |        0
22.79/22.83	c 20.7s |      13 |    59176 |    51932 |     3148     34 |        0 |        0
24.79/24.85	c 22.7s |      13 |    65942 |    58132 |     3148     37 |        0 |        0
24.89/24.92	c 22.8s |      14 |    66182 |    58352 |     3148     37 |        0 |        0
26.89/26.93	c 24.8s |      14 |    73040 |    64952 |     3148     41 |        0 |        0
28.89/28.94	c 26.8s |      14 |    79362 |    71152 |     3148     45 |        0 |        0
30.89/30.95	c 28.8s |      14 |    84984 |    76352 |     3148     48 |        0 |        0
32.89/32.97	c 30.8s |      14 |    92390 |    83552 |     3463     51 |        0 |        0
34.19/34.26	c 32.1s |      15 |    96581 |    87632 |     3463     53 |        0 |        0
36.18/36.28	c 34.1s |      15 |   103771 |    94532 |     3463     57 |        0 |        0
38.28/38.31	c 36.2s |      15 |   110796 |   101132 |     3463     60 |        0 |        0
40.28/40.31	c 38.2s |      15 |   117508 |   107732 |     3463     64 |        0 |        0
42.28/42.31	c 40.2s |      15 |   123841 |   113732 |     3463     67 |        0 |        0
44.28/44.33	c 42.2s |      15 |   130362 |   119932 |     3463     70 |        0 |        0
46.29/46.36	c 44.2s |      15 |   137090 |   126232 |     3810     73 |        0 |        0
48.28/48.38	c 46.2s |      15 |   142345 |   131032 |     3810     75 |        0 |        0
48.49/48.58	c 46.4s |      16 |   142890 |   131552 |     3810     75 |        0 |        0
50.48/50.58	c 48.4s |      16 |   149130 |   137352 |     3810     78 |        0 |        0
52.58/52.61	c 50.5s |      16 |   155166 |   143152 |     3810     81 |        0 |        0
54.58/54.66	c 52.5s |      16 |   160789 |   148552 |     3810     83 |        0 |        0
56.58/56.66	c 54.5s |      16 |   166575 |   154052 |     3810     86 |        0 |        0
58.58/58.69	c 56.5s |      16 |   172290 |   159552 |     3810     89 |        0 |        0
60.68/60.70	c 58.5s |      16 |   178237 |   165252 |     3810     91 |        0 |        0
62.69/62.70	c 60.6s |      16 |   184121 |   170952 |     3810     94 |        0 |        0
64.68/64.73	c 62.6s |      16 |   190061 |   176652 |     3810     97 |        0 |        0
66.68/66.73	c 64.6s |      16 |   195861 |   182252 |     3810     99 |        0 |        0
68.68/68.73	c 66.6s |      16 |   201803 |   187952 |     3810    102 |        0 |        0
70.68/70.76	c 68.6s |      16 |   207528 |   193452 |     4191    104 |        0 |        0
72.08/72.13	c 70.0s |      17 |   211621 |   197432 |     4191    106 |        0 |        0
74.08/74.16	c 72.0s |      17 |   218890 |   204532 |     4191    109 |        0 |        0
76.08/76.18	c 74.0s |      17 |   225230 |   210732 |     4191    112 |        0 |        0
78.08/78.19	c 76.0s |      17 |   230364 |   215232 |     4191    114 |        0 |        0
80.17/80.25	c 78.1s |      17 |   234945 |   219332 |     4191    116 |        0 |        0
82.17/82.26	c 80.1s |      17 |   238863 |   223132 |     4191    117 |        0 |        0
84.17/84.27	c 82.1s |      17 |   243454 |   227432 |     4191    119 |        0 |        0
86.17/86.29	c 84.1s |      17 |   249009 |   232532 |     4191    121 |        0 |        0
88.27/88.32	c 86.2s |      17 |   254700 |   238132 |     4191    123 |        0 |        0
90.28/90.36	c 88.2s |      17 |   259190 |   242532 |     4191    125 |        0 |        0
92.27/92.39	c 90.2s |      17 |   263991 |   247132 |     4191    127 |        0 |        0
94.38/94.42	c 92.3s |      17 |   267728 |   250732 |     4191    129 |        0 |        0
96.38/96.44	c 94.3s |      17 |   272619 |   255132 |     4191    130 |        0 |        0
98.38/98.46	c 96.3s |      17 |   276990 |   259432 |     4191    132 |        0 |        0
100.38/100.48	c 98.3s |      17 |   281901 |   264032 |     4191    134 |        0 |        0
102.48/102.52	c  100s |      17 |   286968 |   268932 |     4191    136 |        0 |        0
104.48/104.56	c  102s |      17 |   290874 |   272132 |     4191    137 |        0 |        0
106.58/106.61	c  104s |      17 |   295838 |   276532 |     4191    139 |        0 |        0
108.58/108.66	c  106s |      17 |   299720 |   280232 |     4191    141 |        0 |        0
110.58/110.68	c  108s |      17 |   304559 |   284632 |     4191    143 |        0 |        0
112.68/112.71	c  110s |      17 |   309353 |   289332 |     4611    144 |        0 |        0
114.67/114.72	c  112s |      17 |   314097 |   294032 |     4611    146 |        0 |        0
115.77/115.83	c  113s |      18 |   316499 |   296252 |     4611    147 |        0 |        0
117.78/117.85	c  115s |      18 |   323304 |   302652 |     4611    150 |        0 |        0
119.77/119.87	c  117s |      18 |   328764 |   307852 |     4611    152 |        0 |        0
121.77/121.89	c  119s |      18 |   334399 |   313152 |     4611    154 |        0 |        0
123.87/123.91	c  121s |      18 |   339705 |   318252 |     4611    156 |        0 |        0
125.87/125.93	c  123s |      18 |   345528 |   323952 |     4611    158 |        0 |        0
127.87/127.95	c  125s |      18 |   350775 |   329152 |     4611    160 |        0 |        0
129.87/129.98	c  127s |      18 |   355481 |   333752 |     4611    161 |        0 |        0
131.97/132.00	c  129s |      18 |   360735 |   338852 |     4611    163 |        0 |        0
133.97/134.02	c  131s |      18 |   365999 |   344052 |     4611    165 |        0 |        0
135.97/136.04	c  133s |      18 |   371657 |   349652 |     4611    167 |        0 |        0
137.97/138.08	c  135s |      18 |   377054 |   354952 |     4611    170 |        0 |        0
140.06/140.11	c  137s |      18 |   382753 |   360552 |     4611    172 |        0 |        0
142.07/142.12	c  139s |      18 |   387908 |   365552 |     4611    174 |        0 |        0
144.07/144.14	c  141s |      18 |   393387 |   370952 |     4611    176 |        0 |        0
146.06/146.16	c  144s |      18 |   398415 |   375852 |     4611    178 |        0 |        0
148.06/148.18	c  146s |      18 |   404522 |   381852 |     4611    180 |        0 |        0
150.16/150.20	c  148s |      18 |   409995 |   387252 |     4611    182 |        0 |        0
152.16/152.24	c  150s |      18 |   415571 |   392752 |     4611    184 |        0 |        0
154.16/154.28	c  152s |      18 |   420808 |   397952 |     4611    186 |        0 |        0
156.27/156.32	c  154s |      18 |   426947 |   403952 |     4611    188 |        0 |        0
158.26/158.34	c  156s |      18 |   432008 |   408952 |     4611    190 |        0 |        0
160.26/160.36	c  158s |      18 |   437870 |   414552 |     4611    192 |        0 |        0
162.26/162.40	c  160s |      18 |   443634 |   420152 |     4611    194 |        0 |        0
164.36/164.43	c  162s |      18 |   448991 |   425452 |     4611    197 |        0 |        0
166.36/166.45	c  164s |      18 |   453865 |   430252 |     4611    198 |        0 |        0
168.37/168.46	c  166s |      18 |   459874 |   436052 |     5073    200 |        0 |        0
170.36/170.48	c  168s |      18 |   465843 |   441752 |     5073    202 |        0 |        0
171.66/171.73	c  169s |      19 |   468742 |   444482 |     5073    203 |        0 |        0
173.66/173.73	c  171s |      19 |   472323 |   447782 |     5073    205 |        0 |        0
175.66/175.73	c  173s |      19 |   476831 |   452182 |     5073    206 |        0 |        0
177.76/177.81	c  175s |      19 |   480702 |   455982 |     5073    207 |        0 |        0
179.76/179.83	c  177s |      19 |   486249 |   461382 |     5073    209 |        0 |        0
181.77/181.86	c  179s |      19 |   491449 |   466482 |     5073    211 |        0 |        0
183.77/183.89	c  181s |      19 |   496346 |   471282 |     5073    213 |        0 |        0
185.76/185.90	c  183s |      19 |   501195 |   475982 |     5073    214 |        0 |        0
187.86/187.91	c  185s |      19 |   505197 |   479782 |     5073    216 |        0 |        0
189.86/189.92	c  187s |      19 |   509399 |   483682 |     5073    217 |        0 |        0
191.86/191.94	c  189s |      19 |   514889 |   489082 |     5073    219 |        0 |        0
193.86/193.96	c  191s |      19 |   519054 |   492982 |     5073    220 |        0 |        0
195.87/195.96	c  193s |      19 |   523842 |   497682 |     5073    222 |        0 |        0
197.86/198.00	c  195s |      19 |   528299 |   501882 |     5073    223 |        0 |        0
199.96/200.03	c  197s |      19 |   531868 |   505282 |     5073    225 |        0 |        0
201.96/202.06	c  199s |      19 |   536079 |   509282 |     5073    226 |        0 |        0
203.96/204.09	c  201s |      19 |   540144 |   513182 |     5073    227 |        0 |        0
206.06/206.12	c  203s |      19 |   544161 |   516982 |     5073    229 |        0 |        0
208.06/208.16	c  206s |      19 |   548507 |   521082 |     5073    230 |        0 |        0
210.07/210.17	c  208s |      19 |   552829 |   525282 |     5073    232 |        0 |        0
212.16/212.22	c  210s |      19 |   557336 |   529682 |     5073    233 |        0 |        0
214.16/214.22	c  212s |      19 |   562947 |   535082 |     5073    235 |        0 |        0
216.16/216.22	c  214s |      19 |   568383 |   540382 |     5073    237 |        0 |        0
218.16/218.27	c  216s |      19 |   573513 |   545382 |     5073    239 |        0 |        0
220.16/220.28	c  218s |      19 |   578041 |   549782 |     5073    240 |        0 |        0
222.16/222.29	c  220s |      19 |   581764 |   553382 |     5073    241 |        0 |        0
224.26/224.32	c  222s |      19 |   585536 |   557082 |     5073    243 |        0 |        0
226.26/226.36	c  224s |      19 |   588762 |   560082 |     5073    244 |        0 |        0
228.26/228.40	c  226s |      19 |   593581 |   564682 |     5073    245 |        0 |        0
230.36/230.41	c  228s |      19 |   598080 |   568982 |     5073    247 |        0 |        0
232.35/232.41	c  230s |      19 |   602204 |   572982 |     5073    248 |        0 |        0
234.36/234.42	c  232s |      19 |   606359 |   576882 |     5073    250 |        0 |        0
236.35/236.43	c  234s |      19 |   610806 |   581182 |     5073    251 |        0 |        0
238.45/238.51	c  236s |      19 |   615291 |   585582 |     5073    253 |        0 |        0
240.45/240.54	c  238s |      19 |   620008 |   589982 |     5073    254 |        0 |        0
242.45/242.55	c  240s |      19 |   623871 |   593682 |     5073    255 |        0 |        0
244.45/244.58	c  242s |      19 |   628672 |   598182 |     5073    257 |        0 |        0
246.55/246.62	c  244s |      19 |   633388 |   602582 |     5073    258 |        0 |        0
248.56/248.67	c  246s |      19 |   637854 |   606782 |     5073    260 |        0 |        0
250.65/250.72	c  248s |      19 |   642181 |   610782 |     5073    261 |        0 |        0
252.65/252.73	c  250s |      19 |   646083 |   614482 |     5073    263 |        0 |        0
254.65/254.74	c  252s |      19 |   651763 |   620082 |     5073    265 |        0 |        0
256.65/256.76	c  254s |      19 |   656541 |   624782 |     5073    266 |        0 |        0
258.75/258.81	c  256s |      19 |   661208 |   629282 |     5073    268 |        0 |        0
260.75/260.83	c  258s |      19 |   665227 |   633082 |     5073    269 |        0 |        0
262.75/262.86	c  260s |      19 |   669915 |   637582 |     5073    271 |        0 |        0
264.75/264.87	c  262s |      19 |   674815 |   642282 |     5073    272 |        0 |        0
266.75/266.89	c  264s |      19 |   680389 |   647782 |     5073    274 |        0 |        0
268.85/268.93	c  266s |      19 |   685383 |   652682 |     5073    276 |        0 |        0
270.84/270.95	c  268s |      19 |   689767 |   656982 |     5581    277 |        0 |        0
272.85/272.99	c  270s |      19 |   694907 |   661982 |     5581    279 |        0 |        0
274.95/275.04	c  272s |      19 |   699681 |   666682 |     5581    280 |        0 |        0
275.05/275.10	c  272s |      20 |   699824 |   666827 |     5581    280 |        0 |        0
277.04/277.14	c  274s |      20 |   705397 |   672027 |     5581    282 |        0 |        0
279.04/279.17	c  277s |      20 |   709663 |   675927 |     5581    283 |        0 |        0
281.14/281.20	c  279s |      20 |   714180 |   680127 |     5581    285 |        0 |        0
283.14/283.20	c  281s |      20 |   718888 |   684727 |     5581    286 |        0 |        0
285.14/285.22	c  283s |      20 |   723699 |   689327 |     5581    288 |        0 |        0
287.15/287.24	c  285s |      20 |   728660 |   694127 |     5581    289 |        0 |        0
289.14/289.26	c  287s |      20 |   733997 |   699127 |     5581    291 |        0 |        0
291.14/291.29	c  289s |      20 |   738425 |   703327 |     5581    292 |        0 |        0
293.24/293.33	c  291s |      20 |   743189 |   707927 |     5581    294 |        0 |        0
295.24/295.35	c  293s |      20 |   747208 |   711727 |     5581    295 |        0 |        0
297.24/297.35	c  295s |      20 |   751823 |   716027 |     5581    297 |        0 |        0
299.34/299.41	c  297s |      20 |   756555 |   720427 |     5581    298 |        0 |        0
301.35/301.43	c  299s |      20 |   761115 |   724627 |     5581    300 |        0 |        0
303.34/303.48	c  301s |      20 |   765696 |   728927 |     5581    301 |        0 |        0
305.44/305.54	c  303s |      20 |   770086 |   733027 |     5581    302 |        0 |        0
307.44/307.57	c  305s |      20 |   774658 |   737227 |     5581    304 |        0 |        0
309.44/309.59	c  307s |      20 |   779416 |   741527 |     5581    305 |        0 |        0
311.54/311.61	c  309s |      20 |   783676 |   745527 |     5581    306 |        0 |        0
313.54/313.67	c  311s |      20 |   787993 |   749527 |     5581    308 |        0 |        0
315.54/315.69	c  313s |      20 |   791947 |   753327 |     5581    309 |        0 |        0
317.64/317.72	c  315s |      20 |   796638 |   757827 |     5581    310 |        0 |        0
319.64/319.75	c  317s |      20 |   801160 |   762127 |     5581    312 |        0 |        0
321.64/321.77	c  319s |      20 |   805346 |   766127 |     5581    313 |        0 |        0
323.63/323.79	c  321s |      20 |   810202 |   770727 |     5581    315 |        0 |        0
325.73/325.83	c  323s |      20 |   814807 |   775127 |     5581    316 |        0 |        0
327.74/327.86	c  325s |      20 |   818677 |   778927 |     5581    317 |        0 |        0
329.73/329.89	c  327s |      20 |   823097 |   783227 |     5581    319 |        0 |        0
331.83/331.90	c  329s |      20 |   828009 |   787927 |     5581    320 |        0 |        0
333.83/333.91	c  331s |      20 |   832504 |   792327 |     5581    322 |        0 |        0
335.83/335.94	c  333s |      20 |   837217 |   796827 |     5581    323 |        0 |        0
337.83/337.97	c  335s |      20 |   841691 |   801127 |     5581    325 |        0 |        0
339.84/339.99	c  337s |      20 |   845616 |   804927 |     5581    326 |        0 |        0
341.93/342.02	c  339s |      20 |   850005 |   809227 |     5581    327 |        0 |        0
343.93/344.04	c  341s |      20 |   854423 |   813527 |     5581    329 |        0 |        0
345.93/346.09	c  343s |      20 |   859097 |   818027 |     5581    330 |        0 |        0
348.03/348.12	c  345s |      20 |   863510 |   822327 |     5581    332 |        0 |        0
350.03/350.13	c  347s |      20 |   867490 |   826227 |     5581    333 |        0 |        0
352.04/352.16	c  350s |      20 |   871741 |   830327 |     5581    334 |        0 |        0
354.03/354.18	c  352s |      20 |   875303 |   833727 |     5581    336 |        0 |        0
356.13/356.22	c  354s |      20 |   879137 |   837427 |     5581    337 |        0 |        0
358.13/358.23	c  356s |      20 |   883793 |   841927 |     5581    338 |        0 |        0
360.13/360.23	c  358s |      20 |   888328 |   846327 |     5581    340 |        0 |        0
362.13/362.25	c  360s |      20 |   892655 |   850427 |     5581    341 |        0 |        0
364.14/364.29	c  362s |      20 |   896929 |   854527 |     5581    342 |        0 |        0
366.24/366.32	c  364s |      20 |   901342 |   858727 |     5581    344 |        0 |        0
368.23/368.33	c  366s |      20 |   905498 |   862727 |     5581    345 |        0 |        0
370.23/370.39	c  368s |      20 |   909493 |   866527 |     5581    346 |        0 |        0
372.33/372.40	c  370s |      20 |   912888 |   869827 |     5581    347 |        0 |        0
374.33/374.40	c  372s |      20 |   916920 |   873727 |     5581    349 |        0 |        0
376.33/376.44	c  374s |      20 |   921217 |   877927 |     5581    350 |        0 |        0
378.33/378.46	c  376s |      20 |   924830 |   881427 |     5581    351 |        0 |        0
380.33/380.48	c  378s |      20 |   929179 |   885627 |     5581    353 |        0 |        0
382.33/382.49	c  380s |      20 |   932527 |   888827 |     5581    354 |        0 |        0
384.43/384.51	c  382s |      20 |   935924 |   892127 |     5581    355 |        0 |        0
386.43/386.53	c  384s |      20 |   939469 |   895627 |     5581    356 |        0 |        0
388.44/388.55	c  386s |      20 |   943349 |   899427 |     5581    357 |        0 |        0
390.44/390.59	c  388s |      20 |   947261 |   903227 |     5581    359 |        0 |        0
392.53/392.61	c  390s |      20 |   950926 |   906627 |     5581    360 |        0 |        0
394.53/394.64	c  392s |      20 |   954643 |   910127 |     5581    361 |        0 |        0
396.53/396.65	c  394s |      20 |   958003 |   913127 |     5581    362 |        0 |        0
398.63/398.70	c  396s |      20 |   961414 |   916427 |     5581    363 |        0 |        0
400.63/400.73	c  398s |      20 |   964958 |   919827 |     5581    364 |        0 |        0
402.64/402.75	c  400s |      20 |   968645 |   923327 |     5581    365 |        0 |        0
404.63/404.77	c  402s |      20 |   973581 |   928027 |     5581    367 |        0 |        0
406.73/406.81	c  404s |      20 |   977317 |   931527 |     5581    368 |        0 |        0
408.73/408.82	c  406s |      20 |   982134 |   936127 |     5581    369 |        0 |        0
410.73/410.86	c  408s |      20 |   986743 |   940527 |     5581    371 |        0 |        0
412.73/412.88	c  410s |      20 |   991307 |   944827 |     5581    372 |        0 |        0
414.83/414.91	c  412s |      20 |   995377 |   948727 |     5581    374 |        0 |        0
416.84/416.92	c  414s |      20 |   999459 |   952527 |     5581    375 |        0 |        0
418.83/418.96	c  416s |      20 |  1003409 |   956327 |     5581    376 |        0 |        0
420.83/420.96	c  418s |      20 |  1007431 |   960227 |     5581    377 |        0 |        0
422.83/422.97	c  420s |      20 |  1012061 |   964427 |     5581    379 |        0 |        0
424.83/424.97	c  422s |      20 |  1016875 |   968927 |     5581    380 |        0 |        0
426.84/426.97	c  424s |      20 |  1021496 |   973227 |     5581    382 |        0 |        0
428.83/428.98	c  426s |      20 |  1025728 |   977227 |     5581    383 |        0 |        0
430.93/431.02	c  428s |      20 |  1030160 |   981527 |     5581    384 |        0 |        0
432.93/433.05	c  430s |      20 |  1034431 |   985627 |     5581    386 |        0 |        0
434.93/435.07	c  432s |      20 |  1038581 |   989627 |     6140    387 |        0 |        0
437.03/437.13	c  434s |      20 |  1042814 |   993727 |     6140    388 |        0 |        0
439.03/439.14	c  436s |      20 |  1047518 |   998227 |     6140    390 |        0 |        0
439.93/440.08	c  437s |      21 |  1049732 |  1000345 |     6140    390 |        0 |        0
441.92/442.09	c  439s |      21 |  1057179 |  1007545 |     6140    392 |        0 |        0
444.02/444.10	c  441s |      21 |  1062722 |  1012945 |     6140    394 |        0 |        0
446.02/446.14	c  443s |      21 |  1068220 |  1018345 |     6140    396 |        0 |        0
448.02/448.16	c  446s |      21 |  1074709 |  1024745 |     6140    398 |        0 |        0
450.02/450.18	c  448s |      21 |  1080800 |  1030745 |     6140    399 |        0 |        0
452.03/452.20	c  450s |      21 |  1087113 |  1036945 |     6140    401 |        0 |        0
454.12/454.21	c  452s |      21 |  1092700 |  1042445 |     6140    403 |        0 |        0
456.12/456.22	c  454s |      21 |  1097999 |  1047645 |     6140    404 |        0 |        0
458.12/458.22	c  456s |      21 |  1103288 |  1052845 |     6140    406 |        0 |        0
460.12/460.25	c  458s |      21 |  1108251 |  1057745 |     6140    408 |        0 |        0
462.12/462.26	c  460s |      21 |  1114080 |  1063445 |     6140    409 |        0 |        0
464.13/464.27	c  462s |      21 |  1118866 |  1068145 |     6140    411 |        0 |        0
466.12/466.28	c  464s |      21 |  1124760 |  1073945 |     6140    412 |        0 |        0
468.22/468.31	c  466s |      21 |  1129612 |  1078745 |     6140    414 |        0 |        0
470.32/470.40	c  468s |      21 |  1134943 |  1083945 |     6140    416 |        0 |        0
472.32/472.42	c  470s |      21 |  1140344 |  1089245 |     6140    417 |        0 |        0
474.32/474.43	c  472s |      21 |  1145773 |  1094545 |     6140    419 |        0 |        0
476.33/476.44	c  474s |      21 |  1150666 |  1099345 |     6140    420 |        0 |        0
478.32/478.45	c  476s |      21 |  1156133 |  1104645 |     6140    422 |        0 |        0
480.32/480.47	c  478s |      21 |  1161056 |  1109445 |     6140    423 |        0 |        0
482.42/482.50	c  480s |      21 |  1165964 |  1114245 |     6140    425 |        0 |        0
484.42/484.52	c  482s |      21 |  1171712 |  1119845 |     6140    426 |        0 |        0
486.42/486.55	c  484s |      21 |  1176747 |  1124845 |     6140    428 |        0 |        0
488.42/488.59	c  486s |      21 |  1181671 |  1129745 |     6140    429 |        0 |        0
490.41/490.60	c  488s |      21 |  1186768 |  1134745 |     6140    431 |        0 |        0
492.51/492.63	c  490s |      21 |  1191257 |  1139145 |     6140    432 |        0 |        0
494.51/494.66	c  492s |      21 |  1196494 |  1144245 |     6140    434 |        0 |        0
496.51/496.67	c  494s |      21 |  1201426 |  1149145 |     6140    435 |        0 |        0
498.51/498.69	c  496s |      21 |  1206467 |  1154145 |     6140    437 |        0 |        0
500.61/500.72	c  498s |      21 |  1212703 |  1160245 |     6140    439 |        0 |        0
502.62/502.72	c  500s |      21 |  1217786 |  1165245 |     6140    440 |        0 |        0
504.61/504.75	c  502s |      21 |  1222893 |  1170245 |     6140    442 |        0 |        0
506.61/506.76	c  504s |      21 |  1228231 |  1175445 |     6140    443 |        0 |        0
508.61/508.77	c  506s |      21 |  1233074 |  1180145 |     6140    445 |        0 |        0
510.61/510.79	c  508s |      21 |  1238290 |  1185245 |     6140    446 |        0 |        0
512.71/512.80	c  510s |      21 |  1242848 |  1189545 |     6140    448 |        0 |        0
514.71/514.80	c  512s |      21 |  1247395 |  1193845 |     6140    449 |        0 |        0
516.71/516.85	c  514s |      21 |  1252118 |  1198345 |     6140    450 |        0 |        0
518.71/518.88	c  516s |      21 |  1256667 |  1202545 |     6140    451 |        0 |        0
520.71/520.89	c  518s |      21 |  1261906 |  1207345 |     6140    453 |        0 |        0
522.81/522.90	c  520s |      21 |  1266362 |  1211545 |     6140    454 |        0 |        0
524.81/524.91	c  522s |      21 |  1270982 |  1215945 |     6140    456 |        0 |        0
526.81/526.93	c  524s |      21 |  1275396 |  1220245 |     6140    457 |        0 |        0
528.80/528.93	c  526s |      21 |  1279906 |  1224645 |     6140    458 |        0 |        0
530.80/530.96	c  528s |      21 |  1284720 |  1229245 |     6140    460 |        0 |        0
532.80/532.99	c  530s |      21 |  1290461 |  1234745 |     6140    461 |        0 |        0
534.91/535.03	c  532s |      21 |  1295095 |  1239145 |     6140    463 |        0 |        0
536.91/537.07	c  534s |      21 |  1299142 |  1243145 |     6140    464 |        0 |        0
538.92/539.10	c  536s |      21 |  1304207 |  1247945 |     6140    465 |        0 |        0
541.01/541.15	c  538s |      21 |  1309053 |  1252445 |     6140    467 |        0 |        0
543.01/543.16	c  541s |      21 |  1313802 |  1256845 |     6140    468 |        0 |        0
545.11/545.20	c  543s |      21 |  1318248 |  1261045 |     6140    469 |        0 |        0
547.11/547.25	c  545s |      21 |  1322696 |  1265245 |     6140    471 |        0 |        0
549.11/549.29	c  547s |      21 |  1327680 |  1269945 |     6140    472 |        0 |        0
551.21/551.33	c  549s |      21 |  1332503 |  1274345 |     6140    473 |        0 |        0
553.21/553.36	c  551s |      21 |  1337078 |  1278745 |     6140    475 |        0 |        0
555.21/555.39	c  553s |      21 |  1341705 |  1283145 |     6140    476 |        0 |        0
557.31/557.42	c  555s |      21 |  1346404 |  1287445 |     6140    477 |        0 |        0
559.31/559.43	c  557s |      21 |  1350439 |  1291245 |     6140    478 |        0 |        0
561.30/561.46	c  559s |      21 |  1355612 |  1295945 |     6140    480 |        0 |        0
563.30/563.49	c  561s |      21 |  1360152 |  1300245 |     6140    481 |        0 |        0
565.41/565.53	c  563s |      21 |  1364616 |  1304545 |     6140    482 |        0 |        0
567.40/567.55	c  565s |      21 |  1368677 |  1308345 |     6140    484 |        0 |        0
569.40/569.56	c  567s |      21 |  1373208 |  1312545 |     6140    485 |        0 |        0
571.50/571.60	c  569s |      21 |  1377933 |  1316645 |     6140    486 |        0 |        0
573.50/573.63	c  571s |      21 |  1383006 |  1321145 |     6140    487 |        0 |        0
575.50/575.66	c  573s |      21 |  1387453 |  1325345 |     6140    489 |        0 |        0
577.51/577.67	c  575s |      21 |  1392156 |  1329745 |     6140    490 |        0 |        0
579.50/579.69	c  577s |      21 |  1396773 |  1334045 |     6140    491 |        0 |        0
581.60/581.75	c  579s |      21 |  1400978 |  1337845 |     6140    493 |        0 |        0
583.60/583.77	c  581s |      21 |  1405471 |  1342145 |     6140    494 |        0 |        0
585.70/585.80	c  583s |      21 |  1410163 |  1346545 |     6140    495 |        0 |        0
587.70/587.82	c  585s |      21 |  1414341 |  1350545 |     6140    496 |        0 |        0
589.70/589.85	c  587s |      21 |  1418945 |  1354845 |     6140    498 |        0 |        0
591.71/591.89	c  589s |      21 |  1423532 |  1358945 |     6140    499 |        0 |        0
593.80/593.93	c  591s |      21 |  1427966 |  1363145 |     6140    500 |        0 |        0
595.80/595.94	c  593s |      21 |  1432453 |  1367445 |     6140    502 |        0 |        0
597.80/597.97	c  595s |      21 |  1436976 |  1371845 |     6140    503 |        0 |        0
599.79/599.98	c  597s |      21 |  1441197 |  1375845 |     6140    504 |        0 |        0
601.89/602.01	c  599s |      21 |  1445379 |  1379745 |     6140    505 |        0 |        0
603.90/604.03	c  601s |      21 |  1449552 |  1383645 |     6140    506 |        0 |        0
605.89/606.06	c  603s |      21 |  1453788 |  1387545 |     6140    508 |        0 |        0
607.99/608.10	c  605s |      21 |  1458684 |  1392145 |     6140    509 |        0 |        0
609.99/610.14	c  607s |      21 |  1463125 |  1396345 |     6140    510 |        0 |        0
611.99/612.18	c  610s |      21 |  1467581 |  1400545 |     6140    512 |        0 |        0
614.10/614.22	c  612s |      21 |  1472347 |  1405045 |     6140    513 |        0 |        0
616.10/616.26	c  614s |      21 |  1477091 |  1409645 |     6140    514 |        0 |        0
618.11/618.28	c  616s |      21 |  1481857 |  1414145 |     6140    516 |        0 |        0
620.20/620.33	c  618s |      21 |  1486260 |  1418345 |     6140    517 |        0 |        0
622.20/622.35	c  620s |      21 |  1490604 |  1422445 |     6140    518 |        0 |        0
624.20/624.35	c  622s |      21 |  1494928 |  1426445 |     6140    519 |        0 |        0
626.29/626.41	c  624s |      21 |  1499478 |  1430745 |     6140    521 |        0 |        0
628.29/628.43	c  626s |      21 |  1503663 |  1434845 |     6140    522 |        0 |        0
630.30/630.45	c  628s |      21 |  1508080 |  1439045 |     6140    523 |        0 |        0
632.29/632.49	c  630s |      21 |  1512229 |  1442945 |     6140    525 |        0 |        0
634.39/634.52	c  632s |      21 |  1516831 |  1447345 |     6140    526 |        0 |        0
636.39/636.53	c  634s |      21 |  1520828 |  1451145 |     6140    527 |        0 |        0
638.39/638.54	c  636s |      21 |  1525564 |  1455545 |     6140    528 |        0 |        0
640.39/640.58	c  638s |      21 |  1529973 |  1459645 |     6140    530 |        0 |        0
642.40/642.59	c  640s |      21 |  1533990 |  1463545 |     6140    531 |        0 |        0
644.50/644.61	c  642s |      21 |  1538624 |  1468045 |     6140    532 |        0 |        0
646.49/646.65	c  644s |      21 |  1543050 |  1472245 |     6140    533 |        0 |        0
648.49/648.67	c  646s |      21 |  1547707 |  1476645 |     6140    535 |        0 |        0
650.49/650.68	c  648s |      21 |  1552456 |  1481145 |     6140    536 |        0 |        0
652.59/652.70	c  650s |      21 |  1556312 |  1484745 |     6755    537 |        0 |        0
654.59/654.71	c  652s |      21 |  1560496 |  1488645 |     6755    538 |        0 |        0
656.60/656.72	c  654s |      21 |  1564546 |  1492445 |     6755    539 |        0 |        0
658.59/658.74	c  656s |      21 |  1570096 |  1497845 |     6755    541 |        0 |        0
659.79/659.91	c  657s |      22 |  1572979 |  1500622 |     6755    541 |        0 |        0
661.79/661.93	c  659s |      22 |  1579314 |  1506822 |     6755    543 |        0 |        0
663.79/663.97	c  661s |      22 |  1585230 |  1512622 |     6755    545 |        0 |        0
665.79/665.98	c  663s |      22 |  1590674 |  1517822 |     6755    546 |        0 |        0
667.89/668.06	c  665s |      22 |  1594959 |  1521922 |     6755    547 |        0 |        0
669.89/670.06	c  667s |      22 |  1599787 |  1526622 |     6755    549 |        0 |        0
671.99/672.12	c  669s |      22 |  1604294 |  1530922 |     6755    550 |        0 |        0
673.99/674.16	c  672s |      22 |  1608575 |  1535022 |     6755    551 |        0 |        0
676.09/676.21	c  674s |      22 |  1613677 |  1539922 |     6755    552 |        0 |        0
678.08/678.22	c  676s |      22 |  1617685 |  1543822 |     6755    553 |        0 |        0
680.08/680.23	c  678s |      22 |  1621288 |  1547322 |     6755    554 |        0 |        0
682.08/682.24	c  680s |      22 |  1625071 |  1550922 |     6755    555 |        0 |        0
684.09/684.27	c  682s |      22 |  1628795 |  1554522 |     6755    556 |        0 |        0
686.08/686.28	c  684s |      22 |  1632408 |  1557922 |     6755    557 |        0 |        0
688.18/688.32	c  686s |      22 |  1636580 |  1562022 |     6755    558 |        0 |        0
690.18/690.33	c  688s |      22 |  1640782 |  1566122 |     6755    559 |        0 |        0
692.18/692.34	c  690s |      22 |  1645041 |  1570322 |     6755    561 |        0 |        0
694.18/694.35	c  692s |      22 |  1649299 |  1574522 |     6755    562 |        0 |        0
696.19/696.37	c  694s |      22 |  1653115 |  1578222 |     6755    563 |        0 |        0
698.28/698.40	c  696s |      22 |  1657674 |  1582722 |     6755    564 |        0 |        0
700.28/700.44	c  698s |      22 |  1661381 |  1586322 |     6755    565 |        0 |        0
702.28/702.49	c  700s |      22 |  1665741 |  1590622 |     6755    566 |        0 |        0
704.38/704.55	c  702s |      22 |  1669866 |  1594622 |     6755    567 |        0 |        0
706.48/706.62	c  704s |      22 |  1674593 |  1599222 |     6755    569 |        0 |        0
708.48/708.66	c  706s |      22 |  1679295 |  1603722 |     6755    570 |        0 |        0
710.49/710.70	c  708s |      22 |  1682960 |  1607222 |     6755    571 |        0 |        0
712.58/712.72	c  710s |      22 |  1687924 |  1612022 |     6755    572 |        0 |        0
714.58/714.75	c  712s |      22 |  1691939 |  1615822 |     6755    573 |        0 |        0
716.58/716.78	c  714s |      22 |  1696041 |  1619722 |     6755    574 |        0 |        0
718.58/718.78	c  716s |      22 |  1700621 |  1624222 |     6755    575 |        0 |        0
720.68/720.83	c  718s |      22 |  1704664 |  1628222 |     6755    576 |        0 |        0
722.68/722.86	c  720s |      22 |  1708869 |  1632222 |     6755    578 |        0 |        0
724.68/724.88	c  722s |      22 |  1712251 |  1635422 |     6755    578 |        0 |        0
726.78/726.92	c  724s |      22 |  1715728 |  1638722 |     6755    579 |        0 |        0
728.78/728.94	c  726s |      22 |  1719623 |  1642322 |     6755    580 |        0 |        0
730.77/730.99	c  728s |      22 |  1723178 |  1645622 |     6755    581 |        0 |        0
732.87/733.02	c  730s |      22 |  1727454 |  1649722 |     6755    582 |        0 |        0
734.87/735.06	c  732s |      22 |  1731414 |  1653522 |     6755    583 |        0 |        0
736.98/737.13	c  734s |      22 |  1735156 |  1657022 |     6755    584 |        0 |        0
738.97/739.18	c  737s |      22 |  1739223 |  1660922 |     6755    585 |        0 |        0
741.07/741.20	c  739s |      22 |  1742396 |  1663922 |     6755    586 |        0 |        0
743.07/743.21	c  741s |      22 |  1747529 |  1668922 |     6755    587 |        0 |        0
745.07/745.25	c  743s |      22 |  1752205 |  1673522 |     6755    589 |        0 |        0
747.07/747.28	c  745s |      22 |  1756980 |  1678222 |     6755    590 |        0 |        0
749.08/749.29	c  747s |      22 |  1761679 |  1682822 |     6755    591 |        0 |        0
751.18/751.32	c  749s |      22 |  1765746 |  1686822 |     6755    592 |        0 |        0
753.17/753.36	c  751s |      22 |  1769553 |  1690522 |     6755    593 |        0 |        0
755.27/755.40	c  753s |      22 |  1773358 |  1694122 |     6755    594 |        0 |        0
757.27/757.42	c  755s |      22 |  1777581 |  1698122 |     6755    595 |        0 |        0
759.27/759.43	c  757s |      22 |  1781261 |  1701622 |     6755    596 |        0 |        0
761.27/761.48	c  759s |      22 |  1784628 |  1704722 |     6755    597 |        0 |        0
763.28/763.50	c  761s |      22 |  1788444 |  1708322 |     6755    598 |        0 |        0
765.37/765.58	c  763s |      22 |  1793359 |  1713122 |     6755    599 |        0 |        0
767.47/767.63	c  765s |      22 |  1797413 |  1717022 |     6755    601 |        0 |        0
769.47/769.67	c  767s |      22 |  1801486 |  1720922 |     6755    602 |        0 |        0
771.57/771.73	c  769s |      22 |  1805115 |  1724322 |     6755    603 |        0 |        0
773.57/773.73	c  771s |      22 |  1809216 |  1728322 |     6755    604 |        0 |        0
775.57/775.74	c  773s |      22 |  1812628 |  1731622 |     6755    605 |        0 |        0
777.57/777.74	c  775s |      22 |  1816052 |  1734922 |     6755    605 |        0 |        0
779.57/779.78	c  777s |      22 |  1819518 |  1738222 |     6755    606 |        0 |        0
781.57/781.79	c  779s |      22 |  1823229 |  1741622 |     6755    607 |        0 |        0
783.67/783.81	c  781s |      22 |  1826796 |  1745022 |     6755    608 |        0 |        0
785.66/785.85	c  783s |      22 |  1830866 |  1748822 |     6755    609 |        0 |        0
787.66/787.88	c  785s |      22 |  1834371 |  1752122 |     6755    610 |        0 |        0
789.77/789.92	c  787s |      22 |  1838552 |  1755922 |     6755    611 |        0 |        0
791.76/791.94	c  789s |      22 |  1842466 |  1759522 |     6755    612 |        0 |        0
793.76/793.98	c  791s |      22 |  1846624 |  1763322 |     6755    613 |        0 |        0
795.86/796.00	c  793s |      22 |  1850258 |  1766722 |     6755    614 |        0 |        0
797.86/798.01	c  795s |      22 |  1854203 |  1770322 |     6755    615 |        0 |        0
799.87/800.07	c  797s |      22 |  1858264 |  1774022 |     6755    616 |        0 |        0
801.88/802.09	c  799s |      22 |  1861817 |  1777322 |     6755    617 |        0 |        0
803.98/804.13	c  801s |      22 |  1865688 |  1780722 |     6755    618 |        0 |        0
805.97/806.18	c  804s |      22 |  1869807 |  1784322 |     6755    619 |        0 |        0
807.97/808.19	c  806s |      22 |  1873831 |  1787922 |     6755    620 |        0 |        0
810.07/810.23	c  808s |      22 |  1877771 |  1791422 |     6755    621 |        0 |        0
812.07/812.24	c  810s |      22 |  1881555 |  1794722 |     6755    622 |        0 |        0
814.07/814.28	c  812s |      22 |  1885550 |  1798222 |     6755    623 |        0 |        0
816.08/816.28	c  814s |      22 |  1889323 |  1801522 |     6755    624 |        0 |        0
818.07/818.29	c  816s |      22 |  1893145 |  1804722 |     6755    624 |        0 |        0
820.17/820.31	c  818s |      22 |  1897228 |  1808322 |     6755    625 |        0 |        0
822.17/822.36	c  820s |      22 |  1901288 |  1812022 |     6755    626 |        0 |        0
824.17/824.39	c  822s |      22 |  1905108 |  1815522 |     6755    627 |        0 |        0
826.27/826.43	c  824s |      22 |  1908798 |  1818922 |     6755    628 |        0 |        0
828.27/828.43	c  826s |      22 |  1912779 |  1822522 |     6755    629 |        0 |        0
830.26/830.44	c  828s |      22 |  1916118 |  1825522 |     6755    630 |        0 |        0
832.26/832.46	c  830s |      22 |  1920123 |  1829122 |     6755    631 |        0 |        0
834.36/834.50	c  832s |      22 |  1923690 |  1832422 |     6755    632 |        0 |        0
836.36/836.55	c  834s |      22 |  1927096 |  1835622 |     6755    633 |        0 |        0
838.35/838.57	c  836s |      22 |  1930836 |  1839022 |     6755    634 |        0 |        0
840.36/840.59	c  838s |      22 |  1934506 |  1842322 |     6755    635 |        0 |        0
842.46/842.65	c  840s |      22 |  1938075 |  1845322 |     6755    636 |        0 |        0
844.55/844.71	c  842s |      22 |  1942147 |  1848822 |     6755    636 |        0 |        0
846.55/846.74	c  844s |      22 |  1945969 |  1852122 |     6755    637 |        0 |        0
848.55/848.78	c  846s |      22 |  1949917 |  1855422 |     6755    638 |        0 |        0
850.65/850.82	c  848s |      22 |  1953363 |  1858522 |     6755    639 |        0 |        0
852.65/852.88	c  850s |      22 |  1956630 |  1861422 |     6755    640 |        0 |        0
854.75/854.94	c  852s |      22 |  1960013 |  1864522 |     6755    641 |        0 |        0
856.75/856.94	c  854s |      22 |  1963874 |  1868022 |     6755    642 |        0 |        0
858.74/858.96	c  856s |      22 |  1969956 |  1873922 |     6755    643 |        0 |        0
860.84/861.02	c  858s |      22 |  1974392 |  1877922 |     6755    644 |        0 |        0
862.84/863.04	c  860s |      22 |  1978504 |  1881622 |     6755    645 |        0 |        0
864.84/865.09	c  862s |      22 |  1982440 |  1885022 |     6755    646 |        0 |        0
866.84/867.09	c  864s |      22 |  1985708 |  1888022 |     6755    647 |        0 |        0
868.94/869.13	c  866s |      22 |  1989815 |  1891822 |     6755    648 |        0 |        0
870.93/871.17	c  869s |      22 |  1994189 |  1895722 |     6755    649 |        0 |        0
872.93/873.19	c  871s |      22 |  1997957 |  1899222 |     6755    650 |        0 |        0
875.03/875.23	c  873s |      22 |  2002146 |  1902922 |     6755    651 |        0 |        0
877.03/877.25	c  875s |      22 |  2005942 |  1906322 |     6755    652 |        0 |        0
879.03/879.26	c  877s |      22 |  2009507 |  1909522 |     6755    653 |        0 |        0
881.04/881.28	c  879s |      22 |  2013420 |  1913122 |     6755    654 |        0 |        0
883.13/883.33	c  881s |      22 |  2017500 |  1916822 |     6755    655 |        0 |        0
885.13/885.35	c  883s |      22 |  2021592 |  1920522 |     6755    656 |        0 |        0
887.13/887.37	c  885s |      22 |  2025442 |  1924022 |     6755    657 |        0 |        0
889.22/889.45	c  887s |      22 |  2029723 |  1927822 |     6755    658 |        0 |        0
891.22/891.47	c  889s |      22 |  2033577 |  1931122 |     6755    659 |        0 |        0
893.22/893.47	c  891s |      22 |  2037047 |  1934222 |     6755    660 |        0 |        0
895.23/895.50	c  893s |      22 |  2040913 |  1937922 |     6755    661 |        0 |        0
897.32/897.52	c  895s |      22 |  2044441 |  1941222 |     6755    662 |        0 |        0
899.32/899.56	c  897s |      22 |  2048309 |  1944822 |     6755    663 |        0 |        0
901.32/901.56	c  899s |      22 |  2052113 |  1948222 |     6755    664 |        0 |        0
903.32/903.58	c  901s |      22 |  2055923 |  1951822 |     6755    665 |        0 |        0
905.42/905.63	c  903s |      22 |  2059675 |  1955122 |     6755    666 |        0 |        0
907.42/907.66	c  905s |      22 |  2063471 |  1958422 |     6755    667 |        0 |        0
909.41/909.68	c  907s |      22 |  2067576 |  1962022 |     6755    667 |        0 |        0
911.51/911.73	c  909s |      22 |  2071636 |  1965622 |     6755    668 |        0 |        0
913.51/913.75	c  911s |      22 |  2075496 |  1969222 |     6755    669 |        0 |        0
915.61/915.81	c  913s |      22 |  2079412 |  1972722 |     6755    670 |        0 |        0
917.61/917.83	c  915s |      22 |  2083142 |  1976122 |     6755    671 |        0 |        0
919.61/919.89	c  917s |      22 |  2087046 |  1979622 |     6755    672 |        0 |        0
921.61/921.90	c  919s |      22 |  2090713 |  1983022 |     6755    673 |        0 |        0
923.71/923.93	c  921s |      22 |  2094550 |  1986622 |     6755    674 |        0 |        0
925.71/925.99	c  923s |      22 |  2098286 |  1990122 |     6755    675 |        0 |        0
927.81/928.00	c  925s |      22 |  2101581 |  1993322 |     6755    676 |        0 |        0
929.80/930.00	c  927s |      22 |  2104851 |  1996322 |     6755    677 |        0 |        0
931.80/932.02	c  929s |      22 |  2108663 |  1999922 |     6755    678 |        0 |        0
933.81/934.05	c  931s |      22 |  2112733 |  2003722 |     6755    679 |        0 |        0
935.80/936.09	c  933s |      22 |  2116323 |  2007022 |     6755    680 |        0 |        0
937.90/938.15	c  936s |      22 |  2119927 |  2010222 |     6755    681 |        0 |        0
939.90/940.19	c  938s |      22 |  2123541 |  2013422 |     6755    682 |        0 |        0
942.00/942.21	c  940s |      22 |  2127606 |  2017122 |     6755    683 |        0 |        0
944.00/944.26	c  942s |      22 |  2130884 |  2020122 |     6755    683 |        0 |        0
946.00/946.29	c  944s |      22 |  2136037 |  2024922 |     6755    685 |        0 |        0
948.10/948.32	c  946s |      22 |  2140142 |  2028722 |     6755    686 |        0 |        0
950.10/950.37	c  948s |      22 |  2144365 |  2032622 |     6755    687 |        0 |        0
952.10/952.38	c  950s |      22 |  2148069 |  2036022 |     6755    688 |        0 |        0
954.20/954.42	c  952s |      22 |  2152034 |  2039822 |     6755    689 |        0 |        0
956.19/956.48	c  954s |      22 |  2156299 |  2043822 |     6755    690 |        0 |        0
958.29/958.50	c  956s |      22 |  2160148 |  2047322 |     6755    691 |        0 |        0
960.29/960.53	c  958s |      22 |  2164311 |  2051222 |     6755    692 |        0 |        0
962.30/962.56	c  960s |      22 |  2168352 |  2055122 |     6755    693 |        0 |        0
964.29/964.58	c  962s |      22 |  2172019 |  2058522 |     6755    694 |        0 |        0
966.39/966.60	c  964s |      22 |  2176641 |  2063022 |     6755    695 |        0 |        0
968.38/968.63	c  966s |      22 |  2180934 |  2067122 |     6755    696 |        0 |        0
970.38/970.65	c  968s |      22 |  2185058 |  2071122 |     6755    697 |        0 |        0
972.38/972.68	c  970s |      22 |  2188953 |  2074922 |     6755    698 |        0 |        0
974.39/974.69	c  972s |      22 |  2194045 |  2079722 |     6755    700 |        0 |        0
976.49/976.71	c  974s |      22 |  2197605 |  2083222 |     6755    701 |        0 |        0
978.48/978.75	c  976s |      22 |  2202011 |  2087322 |     6755    702 |        0 |        0
980.48/980.77	c  978s |      22 |  2206038 |  2091222 |     6755    703 |        0 |        0
982.58/982.81	c  980s |      22 |  2210420 |  2095422 |     6755    704 |        0 |        0
984.58/984.87	c  982s |      22 |  2214616 |  2099222 |     6755    705 |        0 |        0
986.59/986.88	c  984s |      22 |  2218749 |  2102922 |     6755    706 |        0 |        0
988.68/988.93	c  986s |      22 |  2223036 |  2106822 |     6755    707 |        0 |        0
990.67/990.94	c  988s |      22 |  2226866 |  2110122 |     6755    708 |        0 |        0
992.67/992.94	c  990s |      22 |  2230678 |  2113622 |     6755    709 |        0 |        0
994.67/994.99	c  992s |      22 |  2234967 |  2117522 |     6755    710 |        0 |        0
996.77/997.04	c  994s |      22 |  2238473 |  2120822 |     6755    711 |        0 |        0
998.77/999.08	c  996s |      22 |  2242337 |  2124522 |     6755    712 |        0 |        0
1000.88/1001.11	c  998s |      22 |  2246178 |  2128122 |     6755    713 |        0 |        0
1002.87/1003.15	c 1000s |      22 |  2250378 |  2132122 |     6755    714 |        0 |        0
1004.97/1005.21	c 1003s |      22 |  2254529 |  2135922 |     6755    715 |        0 |        0
1006.97/1007.24	c 1005s |      22 |  2258736 |  2139822 |     6755    716 |        0 |        0
1008.96/1009.26	c 1007s |      22 |  2262443 |  2143222 |     6755    717 |        0 |        0
1010.96/1011.26	c 1009s |      22 |  2266688 |  2147122 |     6755    718 |        0 |        0
1013.06/1013.30	c 1011s |      22 |  2270713 |  2150922 |     6755    719 |        0 |        0
1015.07/1015.32	c 1013s |      22 |  2274702 |  2154622 |     6755    720 |        0 |        0
1017.06/1017.38	c 1015s |      22 |  2279080 |  2158722 |     6755    721 |        0 |        0
1019.16/1019.40	c 1017s |      22 |  2283080 |  2162322 |     6755    722 |        0 |        0
1021.16/1021.43	c 1019s |      22 |  2286420 |  2165522 |     6755    723 |        0 |        0
1023.16/1023.49	c 1021s |      22 |  2290600 |  2169422 |     6755    724 |        0 |        0
1025.26/1025.50	c 1023s |      22 |  2294726 |  2173222 |     6755    725 |        0 |        0
1027.26/1027.55	c 1025s |      22 |  2298793 |  2176922 |     6755    726 |        0 |        0
1029.25/1029.59	c 1027s |      22 |  2302698 |  2180622 |     6755    727 |        0 |        0
1031.35/1031.65	c 1029s |      22 |  2306954 |  2184622 |     6755    728 |        0 |        0
1033.35/1033.68	c 1031s |      22 |  2310896 |  2188322 |     6755    729 |        0 |        0
1035.35/1035.68	c 1033s |      22 |  2314938 |  2192022 |     6755    730 |        0 |        0
1037.45/1037.73	c 1035s |      22 |  2319166 |  2195922 |     6755    731 |        0 |        0
1039.45/1039.77	c 1037s |      22 |  2323053 |  2199322 |     6755    732 |        0 |        0
1041.56/1041.81	c 1039s |      22 |  2326791 |  2202722 |     6755    733 |        0 |        0
1043.55/1043.83	c 1041s |      22 |  2330605 |  2206022 |     6755    734 |        0 |        0
1045.55/1045.86	c 1043s |      22 |  2334514 |  2209522 |     6755    735 |        0 |        0
1047.65/1047.90	c 1045s |      22 |  2338308 |  2212922 |     6755    736 |        0 |        0
1049.64/1049.94	c 1047s |      22 |  2342330 |  2216622 |     6755    737 |        0 |        0
1051.64/1051.97	c 1049s |      22 |  2346157 |  2220122 |     6755    738 |        0 |        0
1053.65/1053.98	c 1051s |      22 |  2349688 |  2223322 |     6755    739 |        0 |        0
1055.75/1056.01	c 1053s |      22 |  2353450 |  2226822 |     6755    740 |        0 |        0
1057.74/1058.01	c 1055s |      22 |  2356695 |  2229922 |     7431    741 |        0 |        0
1059.74/1060.01	c 1057s |      22 |  2360585 |  2233522 |     7431    741 |        0 |        0
1061.74/1062.07	c 1059s |      22 |  2364491 |  2237222 |     7431    742 |        0 |        0
1063.84/1064.13	c 1061s |      22 |  2368191 |  2240522 |     7431    743 |        0 |        0
1065.84/1066.13	c 1063s |      22 |  2371440 |  2243322 |     7431    744 |        0 |        0
1067.84/1068.15	c 1065s |      22 |  2374731 |  2246322 |     7431    745 |        0 |        0
1069.93/1070.20	c 1068s |      22 |  2378202 |  2249522 |     7431    745 |        0 |        0
1070.73/1071.07	c 1068s |      23 |  2379937 |  2251038 |     7431    746 |        0 |        0
1072.83/1073.10	c 1070s |      23 |  2384761 |  2255638 |     7431    747 |        0 |        0
1074.84/1075.14	c 1072s |      23 |  2389617 |  2260138 |     7431    748 |        0 |        0
1076.84/1077.19	c 1075s |      23 |  2393619 |  2264038 |     7431    749 |        0 |        0
1078.84/1079.20	c 1077s |      23 |  2398013 |  2268138 |     7431    750 |        0 |        0
1080.94/1081.20	c 1079s |      23 |  2402509 |  2272438 |     7431    751 |        0 |        0
1082.94/1083.24	c 1081s |      23 |  2406809 |  2276638 |     7431    752 |        0 |        0
1084.94/1085.27	c 1083s |      23 |  2411045 |  2280738 |     7431    754 |        0 |        0
1086.93/1087.29	c 1085s |      23 |  2416241 |  2285538 |     7431    755 |        0 |        0
1089.03/1089.32	c 1087s |      23 |  2420903 |  2290038 |     7431    756 |        0 |        0
1091.04/1091.35	c 1089s |      23 |  2425423 |  2294438 |     7431    757 |        0 |        0
1093.03/1093.35	c 1091s |      23 |  2430336 |  2299238 |     7431    758 |        0 |        0
1095.03/1095.39	c 1093s |      23 |  2435010 |  2303738 |     7431    760 |        0 |        0
1097.13/1097.43	c 1095s |      23 |  2439429 |  2308038 |     7431    761 |        0 |        0
1099.12/1099.45	c 1097s |      23 |  2443146 |  2311638 |     7431    762 |        0 |        0
1101.12/1101.50	c 1099s |      23 |  2447960 |  2316238 |     7431    763 |        0 |        0
1103.23/1103.52	c 1101s |      23 |  2452095 |  2320138 |     7431    764 |        0 |        0
1105.23/1105.55	c 1103s |      23 |  2456600 |  2324538 |     7431    765 |        0 |        0
1107.32/1107.62	c 1105s |      23 |  2460741 |  2328638 |     7431    766 |        0 |        0
1109.31/1109.63	c 1107s |      23 |  2465830 |  2333638 |     7431    767 |        0 |        0
1111.31/1111.64	c 1109s |      23 |  2470250 |  2337838 |     7431    768 |        0 |        0
1113.31/1113.67	c 1111s |      23 |  2474855 |  2342338 |     7431    770 |        0 |        0
1115.41/1115.74	c 1113s |      23 |  2479470 |  2346738 |     7431    771 |        0 |        0
1117.42/1117.74	c 1115s |      23 |  2483836 |  2350838 |     7431    772 |        0 |        0
1119.41/1119.78	c 1117s |      23 |  2488201 |  2355138 |     7431    773 |        0 |        0
1121.51/1121.83	c 1119s |      23 |  2492654 |  2359538 |     7431    774 |        0 |        0
1123.61/1123.90	c 1121s |      23 |  2496538 |  2363338 |     7431    775 |        0 |        0
1125.61/1125.90	c 1123s |      23 |  2500771 |  2367338 |     7431    776 |        0 |        0
1127.60/1127.93	c 1125s |      23 |  2505546 |  2371738 |     7431    777 |        0 |        0
1129.70/1130.00	c 1127s |      23 |  2510598 |  2376538 |     7431    778 |        0 |        0
1131.71/1132.00	c 1129s |      23 |  2514971 |  2380738 |     7431    779 |        0 |        0
1133.70/1134.03	c 1131s |      23 |  2519374 |  2384938 |     7431    781 |        0 |        0
1135.80/1136.10	c 1133s |      23 |  2523994 |  2389238 |     7431    782 |        0 |        0
1137.80/1138.18	c 1136s |      23 |  2527583 |  2392238 |     7431    782 |        0 |        0
1139.80/1140.18	c 1138s |      23 |  2530275 |  2394638 |     7431    783 |        0 |        0
1141.90/1142.21	c 1140s |      23 |  2532710 |  2396938 |     7431    784 |        0 |        0
1143.90/1144.23	c 1142s |      23 |  2535399 |  2399538 |     7431    784 |        0 |        0
1145.90/1146.27	c 1144s |      23 |  2538763 |  2402738 |     7431    785 |        0 |        0
1147.90/1148.29	c 1146s |      23 |  2541797 |  2405638 |     7431    786 |        0 |        0
1149.90/1150.30	c 1148s |      23 |  2545580 |  2409238 |     7431    787 |        0 |        0
1152.00/1152.31	c 1150s |      23 |  2549228 |  2412738 |     7431    788 |        0 |        0
1154.00/1154.32	c 1152s |      23 |  2553953 |  2417238 |     7431    789 |        0 |        0
1156.00/1156.35	c 1154s |      23 |  2557441 |  2420538 |     7431    790 |        0 |        0
1158.01/1158.37	c 1156s |      23 |  2562035 |  2424938 |     7431    791 |        0 |        0
1159.99/1160.38	c 1158s |      23 |  2566657 |  2429338 |     7431    792 |        0 |        0
1162.09/1162.41	c 1160s |      23 |  2570558 |  2432938 |     7431    793 |        0 |        0
1164.09/1164.42	c 1162s |      23 |  2573914 |  2436038 |     7431    794 |        0 |        0
1166.09/1166.43	c 1164s |      23 |  2578706 |  2440738 |     7431    795 |        0 |        0
1168.09/1168.47	c 1166s |      23 |  2581747 |  2443638 |     7431    796 |        0 |        0
1170.10/1170.49	c 1168s |      23 |  2585914 |  2447638 |     7431    797 |        0 |        0
1172.19/1172.51	c 1170s |      23 |  2590113 |  2451638 |     7431    798 |        0 |        0
1174.19/1174.54	c 1172s |      23 |  2593853 |  2455038 |     7431    799 |        0 |        0
1176.19/1176.57	c 1174s |      23 |  2597464 |  2458438 |     7431    800 |        0 |        0
1178.19/1178.58	c 1176s |      23 |  2601664 |  2462538 |     7431    801 |        0 |        0
1180.29/1180.60	c 1178s |      23 |  2606156 |  2466938 |     7431    802 |        0 |        0
1182.29/1182.60	c 1180s |      23 |  2609940 |  2470638 |     7431    803 |        0 |        0
1184.29/1184.61	c 1182s |      23 |  2613915 |  2474538 |     7431    804 |        0 |        0
1186.38/1186.72	c 1184s |      23 |  2616782 |  2477338 |     7431    805 |        0 |        0
1188.38/1188.72	c 1186s |      23 |  2619433 |  2479838 |     7431    805 |        0 |        0
1190.38/1190.76	c 1188s |      23 |  2622809 |  2483138 |     7431    806 |        0 |        0
1192.48/1192.82	c 1190s |      23 |  2626117 |  2486338 |     7431    807 |        0 |        0
1194.48/1194.88	c 1192s |      23 |  2629094 |  2489238 |     7431    808 |        0 |        0
1196.58/1196.94	c 1194s |      23 |  2631902 |  2491938 |     7431    808 |        0 |        0
1198.57/1198.99	c 1196s |      23 |  2634331 |  2494238 |     7431    809 |        0 |        0
1200.67/1201.03	c 1198s |      23 |  2637590 |  2497438 |     7431    810 |        0 |        0
1202.67/1203.04	c 1200s |      23 |  2640611 |  2500238 |     7431    811 |        0 |        0
1204.67/1205.06	c 1202s |      23 |  2644562 |  2504038 |     7431    812 |        0 |        0
1206.67/1207.07	c 1204s |      23 |  2649536 |  2508938 |     7431    813 |        0 |        0
1208.76/1209.12	c 1206s |      23 |  2653890 |  2513238 |     7431    814 |        0 |        0
1210.77/1211.12	c 1208s |      23 |  2657864 |  2517138 |     7431    815 |        0 |        0
1212.76/1213.14	c 1210s |      23 |  2661951 |  2521138 |     7431    816 |        0 |        0
1214.76/1215.16	c 1213s |      23 |  2666028 |  2525138 |     7431    817 |        0 |        0
1216.86/1217.21	c 1215s |      23 |  2669541 |  2528538 |     7431    818 |        0 |        0
1218.86/1219.25	c 1217s |      23 |  2674207 |  2533038 |     7431    819 |        0 |        0
1220.86/1221.26	c 1219s |      23 |  2678745 |  2537338 |     7431    820 |        0 |        0
1222.96/1223.33	c 1221s |      23 |  2682908 |  2541238 |     7431    821 |        0 |        0
1224.95/1225.36	c 1223s |      23 |  2686713 |  2544838 |     7431    822 |        0 |        0
1227.05/1227.41	c 1225s |      23 |  2690978 |  2548738 |     7431    823 |        0 |        0
1229.05/1229.43	c 1227s |      23 |  2695560 |  2553238 |     7431    824 |        0 |        0
1231.05/1231.45	c 1229s |      23 |  2700146 |  2557738 |     7431    826 |        0 |        0
1233.05/1233.46	c 1231s |      23 |  2704187 |  2561638 |     7431    827 |        0 |        0
1235.05/1235.48	c 1233s |      23 |  2708050 |  2565438 |     7431    828 |        0 |        0
1237.15/1237.53	c 1235s |      23 |  2711858 |  2569138 |     7431    828 |        0 |        0
1239.14/1239.55	c 1237s |      23 |  2716876 |  2573938 |     7431    830 |        0 |        0
1241.14/1241.55	c 1239s |      23 |  2721255 |  2578238 |     7431    831 |        0 |        0
1243.14/1243.57	c 1241s |      23 |  2725474 |  2582338 |     7431    832 |        0 |        0
1245.24/1245.61	c 1243s |      23 |  2729433 |  2586238 |     7431    833 |        0 |        0
1247.24/1247.62	c 1245s |      23 |  2734098 |  2590638 |     7431    834 |        0 |        0
1249.24/1249.65	c 1247s |      23 |  2738816 |  2595138 |     7431    835 |        0 |        0
1251.24/1251.65	c 1249s |      23 |  2743253 |  2599338 |     7431    836 |        0 |        0
1253.24/1253.69	c 1251s |      23 |  2747436 |  2603338 |     7431    837 |        0 |        0
1255.23/1255.69	c 1253s |      23 |  2751815 |  2607438 |     7431    838 |        0 |        0
1257.33/1257.71	c 1255s |      23 |  2755560 |  2610938 |     7431    839 |        0 |        0
1259.33/1259.72	c 1257s |      23 |  2759337 |  2614438 |     7431    840 |        0 |        0
1261.33/1261.72	c 1259s |      23 |  2764330 |  2619338 |     7431    842 |        0 |        0
1263.33/1263.76	c 1261s |      23 |  2769216 |  2624038 |     7431    843 |        0 |        0
1265.33/1265.79	c 1263s |      23 |  2774125 |  2628638 |     7431    844 |        0 |        0
1267.43/1267.82	c 1265s |      23 |  2778400 |  2632738 |     7431    845 |        0 |        0
1269.42/1269.85	c 1267s |      23 |  2782940 |  2637138 |     7431    846 |        0 |        0
1271.42/1271.87	c 1269s |      23 |  2788158 |  2642238 |     7431    847 |        0 |        0
1273.53/1273.93	c 1271s |      23 |  2792976 |  2646938 |     7431    849 |        0 |        0
1275.52/1275.98	c 1273s |      23 |  2797350 |  2651238 |     7431    850 |        0 |        0
1277.63/1278.00	c 1275s |      23 |  2801812 |  2655338 |     7431    851 |        0 |        0
1279.63/1280.01	c 1277s |      23 |  2806014 |  2659338 |     7431    852 |        0 |        0
1281.63/1282.03	c 1279s |      23 |  2809983 |  2663138 |     7431    853 |        0 |        0
1283.62/1284.07	c 1281s |      23 |  2815084 |  2668038 |     7431    854 |        0 |        0
1285.63/1286.08	c 1283s |      23 |  2819155 |  2671838 |     7431    855 |        0 |        0
1287.73/1288.13	c 1285s |      23 |  2823850 |  2676338 |     7431    856 |        0 |        0
1289.72/1290.17	c 1288s |      23 |  2828748 |  2681038 |     7431    858 |        0 |        0
1291.72/1292.19	c 1290s |      23 |  2833526 |  2685638 |     7431    859 |        0 |        0
1293.82/1294.20	c 1292s |      23 |  2837652 |  2689638 |     7431    860 |        0 |        0
1295.82/1296.23	c 1294s |      23 |  2841147 |  2693038 |     7431    861 |        0 |        0
1297.82/1298.27	c 1296s |      23 |  2846318 |  2698038 |     7431    862 |        0 |        0
1299.82/1300.29	c 1298s |      23 |  2851023 |  2702538 |     7431    863 |        0 |        0
1301.92/1302.31	c 1300s |      23 |  2856160 |  2707538 |     7431    864 |        0 |        0
1303.91/1304.34	c 1302s |      23 |  2860792 |  2711738 |     7431    866 |        0 |        0
1305.91/1306.36	c 1304s |      23 |  2865147 |  2715938 |     7431    867 |        0 |        0
1307.91/1308.38	c 1306s |      23 |  2869263 |  2719938 |     7431    868 |        0 |        0
1310.01/1310.40	c 1308s |      23 |  2873326 |  2723838 |     7431    869 |        0 |        0
1312.01/1312.43	c 1310s |      23 |  2878326 |  2728738 |     7431    870 |        0 |        0
1314.00/1314.47	c 1312s |      23 |  2883358 |  2733638 |     7431    871 |        0 |        0
1316.00/1316.48	c 1314s |      23 |  2887742 |  2737938 |     7431    872 |        0 |        0
1318.10/1318.50	c 1316s |      23 |  2892377 |  2742438 |     7431    874 |        0 |        0
1320.10/1320.52	c 1318s |      23 |  2897210 |  2747138 |     7431    875 |        0 |        0
1322.10/1322.54	c 1320s |      23 |  2901642 |  2751438 |     7431    876 |        0 |        0
1324.10/1324.55	c 1322s |      23 |  2905896 |  2755538 |     7431    877 |        0 |        0
1326.10/1326.58	c 1324s |      23 |  2910108 |  2759638 |     7431    878 |        0 |        0
1328.20/1328.60	c 1326s |      23 |  2914684 |  2764038 |     7431    879 |        0 |        0
1330.19/1330.64	c 1328s |      23 |  2919941 |  2769138 |     7431    880 |        0 |        0
1332.19/1332.66	c 1330s |      23 |  2924257 |  2773238 |     7431    882 |        0 |        0
1334.19/1334.66	c 1332s |      23 |  2928474 |  2777238 |     7431    883 |        0 |        0
1336.20/1336.68	c 1334s |      23 |  2932848 |  2781238 |     7431    884 |        0 |        0
1338.19/1338.70	c 1336s |      23 |  2936539 |  2784638 |     7431    884 |        0 |        0
1340.29/1340.72	c 1338s |      23 |  2940938 |  2788938 |     7431    886 |        0 |        0
1342.29/1342.74	c 1340s |      23 |  2945341 |  2793138 |     7431    887 |        0 |        0
1344.28/1344.77	c 1342s |      23 |  2949327 |  2796938 |     7431    888 |        0 |        0
1346.28/1346.79	c 1344s |      23 |  2954044 |  2801438 |     7431    889 |        0 |        0
1348.38/1348.86	c 1346s |      23 |  2958459 |  2805638 |     7431    890 |        0 |        0
1350.39/1350.86	c 1348s |      23 |  2962090 |  2809138 |     7431    891 |        0 |        0
1352.39/1352.87	c 1350s |      23 |  2967120 |  2813938 |     7431    892 |        0 |        0
1354.39/1354.89	c 1352s |      23 |  2971013 |  2817738 |     7431    893 |        0 |        0
1356.49/1356.94	c 1354s |      23 |  2976221 |  2822838 |     7431    894 |        0 |        0
1358.48/1358.94	c 1356s |      23 |  2980190 |  2826738 |     7431    895 |        0 |        0
1360.48/1360.99	c 1358s |      23 |  2984848 |  2831238 |     7431    897 |        0 |        0
1362.48/1363.00	c 1360s |      23 |  2988816 |  2835138 |     7431    898 |        0 |        0
1364.57/1365.03	c 1362s |      23 |  2994021 |  2839938 |     7431    899 |        0 |        0
1366.57/1367.04	c 1364s |      23 |  2998387 |  2844138 |     7431    900 |        0 |        0
1368.57/1369.07	c 1366s |      23 |  3003154 |  2848738 |     7431    901 |        0 |        0
1370.57/1371.08	c 1368s |      23 |  3008299 |  2853738 |     7431    902 |        0 |        0
1372.57/1373.09	c 1370s |      23 |  3013371 |  2858638 |     7431    904 |        0 |        0
1374.68/1375.11	c 1372s |      23 |  3017971 |  2863138 |     7431    905 |        0 |        0
1376.67/1377.12	c 1374s |      23 |  3022523 |  2867438 |     7431    906 |        0 |        0
1378.66/1379.12	c 1376s |      23 |  3027094 |  2871738 |     7431    907 |        0 |        0
1380.66/1381.17	c 1379s |      23 |  3031592 |  2876138 |     7431    908 |        0 |        0
1382.66/1383.17	c 1381s |      23 |  3035779 |  2880238 |     7431    909 |        0 |        0
1384.76/1385.20	c 1383s |      23 |  3040445 |  2884738 |     7431    911 |        0 |        0
1386.77/1387.20	c 1385s |      23 |  3045336 |  2889338 |     7431    912 |        0 |        0
1388.76/1389.24	c 1387s |      23 |  3049489 |  2893238 |     7431    913 |        0 |        0
1390.76/1391.25	c 1389s |      23 |  3054519 |  2898138 |     7431    914 |        0 |        0
1392.76/1393.26	c 1391s |      23 |  3059146 |  2902538 |     7431    915 |        0 |        0
1394.86/1395.30	c 1393s |      23 |  3063670 |  2906838 |     7431    916 |        0 |        0
1396.86/1397.30	c 1395s |      23 |  3068544 |  2911538 |     7431    918 |        0 |        0
1398.86/1399.30	c 1397s |      23 |  3073943 |  2916738 |     7431    919 |        0 |        0
1400.85/1401.34	c 1399s |      23 |  3078940 |  2921638 |     7431    920 |        0 |        0
1402.85/1403.36	c 1401s |      23 |  3083474 |  2926038 |     7431    921 |        0 |        0
1404.85/1405.38	c 1403s |      23 |  3087713 |  2930138 |     7431    922 |        0 |        0
1406.95/1407.41	c 1405s |      23 |  3091971 |  2934238 |     7431    923 |        0 |        0
1408.95/1409.47	c 1407s |      23 |  3095954 |  2938038 |     7431    924 |        0 |        0
1411.05/1411.50	c 1409s |      23 |  3100598 |  2942538 |     7431    926 |        0 |        0
1413.05/1413.51	c 1411s |      23 |  3104712 |  2946538 |     7431    927 |        0 |        0
1415.05/1415.53	c 1413s |      23 |  3108716 |  2950438 |     7431    928 |        0 |        0
1417.05/1417.55	c 1415s |      23 |  3112709 |  2954238 |     7431    929 |        0 |        0
1419.04/1419.56	c 1417s |      23 |  3116694 |  2958038 |     7431    930 |        0 |        0
1421.14/1421.61	c 1419s |      23 |  3121776 |  2962938 |     7431    931 |        0 |        0
1423.14/1423.64	c 1421s |      23 |  3126915 |  2967838 |     7431    932 |        0 |        0
1425.15/1425.65	c 1423s |      23 |  3131388 |  2972138 |     7431    933 |        0 |        0
1427.14/1427.65	c 1425s |      23 |  3135788 |  2976438 |     7431    934 |        0 |        0
1429.14/1429.68	c 1427s |      23 |  3140718 |  2981238 |     7431    936 |        0 |        0
1431.14/1431.69	c 1429s |      23 |  3145659 |  2986038 |     7431    937 |        0 |        0
1433.24/1433.71	c 1431s |      23 |  3150097 |  2990238 |     7431    938 |        0 |        0
1435.23/1435.71	c 1433s |      23 |  3155075 |  2995038 |     7431    939 |        0 |        0
1437.24/1437.72	c 1435s |      23 |  3160231 |  3000038 |     7431    941 |        0 |        0
1439.23/1439.73	c 1437s |      23 |  3164855 |  3004538 |     7431    942 |        0 |        0
1441.23/1441.76	c 1439s |      23 |  3169269 |  3008738 |     7431    943 |        0 |        0
1443.33/1443.80	c 1441s |      23 |  3174566 |  3013838 |     7431    944 |        0 |        0
1445.34/1445.81	c 1443s |      23 |  3179400 |  3018538 |     7431    945 |        0 |        0
1447.34/1447.81	c 1445s |      23 |  3184221 |  3023138 |     7431    947 |        0 |        0
1449.34/1449.86	c 1447s |      23 |  3188712 |  3027438 |     7431    948 |        0 |        0
1451.33/1451.87	c 1449s |      23 |  3193106 |  3031638 |     7431    949 |        0 |        0
1453.33/1453.89	c 1451s |      23 |  3198236 |  3036538 |     7431    950 |        0 |        0
1455.43/1455.90	c 1453s |      23 |  3202420 |  3040538 |     7431    951 |        0 |        0
1457.43/1457.92	c 1455s |      23 |  3207199 |  3045038 |     7431    952 |        0 |        0
1459.42/1459.97	c 1457s |      23 |  3212197 |  3049438 |     7431    953 |        0 |        0
1461.43/1461.98	c 1459s |      23 |  3217082 |  3054138 |     7431    955 |        0 |        0
1463.42/1463.99	c 1461s |      23 |  3221862 |  3058838 |     7431    956 |        0 |        0
1465.52/1466.02	c 1463s |      23 |  3226557 |  3063338 |     7431    957 |        0 |        0
1467.52/1468.05	c 1465s |      23 |  3230987 |  3067638 |     7431    958 |        0 |        0
1469.62/1470.13	c 1467s |      23 |  3235163 |  3071638 |     7431    959 |        0 |        0
1471.62/1472.15	c 1470s |      23 |  3239254 |  3075638 |     7431    960 |        0 |        0
1473.63/1474.19	c 1472s |      23 |  3243712 |  3079938 |     7431    961 |        0 |        0
1475.62/1476.19	c 1474s |      23 |  3247871 |  3084038 |     7431    962 |        0 |        0
1477.72/1478.22	c 1476s |      23 |  3252188 |  3088238 |     7431    964 |        0 |        0
1479.72/1480.26	c 1478s |      23 |  3256906 |  3092738 |     7431    965 |        0 |        0
1481.72/1482.27	c 1480s |      23 |  3261050 |  3096738 |     7431    966 |        0 |        0
1483.82/1484.34	c 1482s |      23 |  3265365 |  3100838 |     7431    967 |        0 |        0
1485.82/1486.35	c 1484s |      23 |  3269755 |  3104938 |     7431    968 |        0 |        0
1487.82/1488.38	c 1486s |      23 |  3274117 |  3109138 |     7431    969 |        0 |        0
1489.81/1490.38	c 1488s |      23 |  3279455 |  3114238 |     7431    970 |        0 |        0
1491.91/1492.40	c 1490s |      23 |  3284381 |  3118838 |     7431    972 |        0 |        0
1493.91/1494.41	c 1492s |      23 |  3288435 |  3122738 |     7431    973 |        0 |        0
1495.91/1496.44	c 1494s |      23 |  3293303 |  3127538 |     7431    974 |        0 |        0
1497.91/1498.46	c 1496s |      23 |  3297545 |  3131638 |     7431    975 |        0 |        0
1499.92/1500.47	c 1498s |      23 |  3302216 |  3136138 |     7431    976 |        0 |        0
1502.01/1502.52	c 1500s |      23 |  3306182 |  3140038 |     7431    977 |        0 |        0
1504.01/1504.56	c 1502s |      23 |  3311196 |  3144638 |     7431    978 |        0 |        0
1506.01/1506.57	c 1504s |      23 |  3315505 |  3148738 |     7431    979 |        0 |        0
1508.01/1508.58	c 1506s |      23 |  3320163 |  3153238 |     7431    980 |        0 |        0
1510.11/1510.61	c 1508s |      23 |  3325047 |  3157638 |     7431    982 |        0 |        0
1512.11/1512.62	c 1510s |      23 |  3330330 |  3162638 |     7431    983 |        0 |        0
1514.11/1514.66	c 1512s |      23 |  3335113 |  3167138 |     7431    984 |        0 |        0
1516.11/1516.68	c 1514s |      23 |  3339980 |  3171738 |     7431    985 |        0 |        0
1518.21/1518.72	c 1516s |      23 |  3344337 |  3175938 |     7431    986 |        0 |        0
1520.20/1520.73	c 1518s |      23 |  3348392 |  3179938 |     7431    987 |        0 |        0
1522.20/1522.74	c 1520s |      23 |  3352818 |  3184238 |     7431    989 |        0 |        0
1524.21/1524.76	c 1522s |      23 |  3357362 |  3188638 |     7431    990 |        0 |        0
1526.31/1526.82	c 1524s |      23 |  3361914 |  3193038 |     7431    991 |        0 |        0
1528.30/1528.84	c 1526s |      23 |  3365887 |  3196838 |     7431    992 |        0 |        0
1530.30/1530.85	c 1528s |      23 |  3369848 |  3200538 |     7431    993 |        0 |        0
1532.30/1532.87	c 1530s |      23 |  3374071 |  3204638 |     7431    994 |        0 |        0
1534.30/1534.87	c 1532s |      23 |  3377710 |  3208138 |     7431    995 |        0 |        0
1536.31/1536.89	c 1534s |      23 |  3381777 |  3212038 |     7431    996 |        0 |        0
1538.41/1538.91	c 1536s |      23 |  3385885 |  3215938 |     7431    997 |        0 |        0
1540.40/1540.91	c 1538s |      23 |  3389859 |  3219738 |     7431    998 |        0 |        0
1542.40/1542.92	c 1540s |      23 |  3394591 |  3224338 |     7431    999 |        0 |        0
1544.40/1544.93	c 1542s |      23 |  3399495 |  3229038 |     7431   1000 |        0 |        0
1546.50/1547.00	c 1544s |      23 |  3404575 |  3233938 |     7431   1002 |        0 |        0
1548.50/1549.04	c 1546s |      23 |  3408980 |  3238038 |     7431   1003 |        0 |        0
1550.51/1551.04	c 1548s |      23 |  3413452 |  3242338 |     7431   1004 |        0 |        0
1552.50/1553.08	c 1550s |      23 |  3417887 |  3246638 |     7431   1005 |        0 |        0
1554.50/1555.08	c 1552s |      23 |  3422559 |  3250938 |     7431   1006 |        0 |        0
1556.60/1557.11	c 1554s |      23 |  3426801 |  3254938 |     7431   1007 |        0 |        0
1558.60/1559.13	c 1556s |      23 |  3431474 |  3259438 |     7431   1008 |        0 |        0
1560.60/1561.14	c 1558s |      23 |  3435763 |  3263538 |     7431   1009 |        0 |        0
1562.60/1563.18	c 1561s |      23 |  3439569 |  3267238 |     7431   1010 |        0 |        0
1564.70/1565.24	c 1563s |      23 |  3443644 |  3271038 |     7431   1011 |        0 |        0
1566.70/1567.29	c 1565s |      23 |  3448968 |  3276138 |     7431   1013 |        0 |        0
1568.80/1569.31	c 1567s |      23 |  3453927 |  3280938 |     7431   1014 |        0 |        0
1570.80/1571.34	c 1569s |      23 |  3458836 |  3285738 |     7431   1015 |        0 |        0
1572.79/1573.35	c 1571s |      23 |  3463830 |  3290538 |     7431   1016 |        0 |        0
1574.80/1575.36	c 1573s |      23 |  3468657 |  3295138 |     7431   1017 |        0 |        0
1576.91/1577.42	c 1575s |      23 |  3473205 |  3299438 |     7431   1019 |        0 |        0
1578.90/1579.44	c 1577s |      23 |  3477530 |  3303638 |     7431   1020 |        0 |        0
1580.90/1581.44	c 1579s |      23 |  3482009 |  3307938 |     7431   1021 |        0 |        0
1582.90/1583.48	c 1581s |      23 |  3486543 |  3312238 |     7431   1022 |        0 |        0
1585.00/1585.50	c 1583s |      23 |  3489697 |  3315138 |     7431   1023 |        0 |        0
1587.00/1587.51	c 1585s |      23 |  3494378 |  3319638 |     7431   1024 |        0 |        0
1589.01/1589.56	c 1587s |      23 |  3498750 |  3323938 |     7431   1025 |        0 |        0
1591.10/1591.66	c 1589s |      23 |  3502828 |  3327838 |     7431   1026 |        0 |        0
1593.10/1593.68	c 1591s |      23 |  3507714 |  3332538 |     7431   1027 |        0 |        0
1595.20/1595.72	c 1593s |      23 |  3512066 |  3336738 |     7431   1028 |        0 |        0
1597.20/1597.72	c 1595s |      23 |  3515929 |  3340438 |     7431   1029 |        0 |        0
1599.20/1599.75	c 1597s |      23 |  3519236 |  3343538 |     7431   1030 |        0 |        0
1601.20/1601.76	c 1599s |      23 |  3523297 |  3347338 |     8175   1031 |        0 |        0
1603.20/1603.78	c 1601s |      23 |  3526955 |  3350838 |     8175   1031 |        0 |        0
1605.20/1605.79	c 1603s |      23 |  3531162 |  3354938 |     8175   1032 |        0 |        0
1607.30/1607.82	c 1605s |      23 |  3535185 |  3358738 |     8175   1033 |        0 |        0
1609.29/1609.82	c 1607s |      23 |  3539258 |  3362638 |     8175   1034 |        0 |        0
1611.29/1611.83	c 1609s |      23 |  3543331 |  3366538 |     8175   1035 |        0 |        0
1613.30/1613.83	c 1611s |      23 |  3547151 |  3370238 |     8175   1036 |        0 |        0
1615.29/1615.87	c 1613s |      23 |  3551643 |  3374638 |     8175   1037 |        0 |        0
1616.39/1616.95	c 1614s |      24 |  3553760 |  3376662 |     8175   1037 |        0 |        0
1618.39/1618.97	c 1616s |      24 |  3557780 |  3380462 |     8175   1038 |        0 |        0
1620.39/1620.98	c 1618s |      24 |  3562028 |  3384662 |     8175   1039 |        0 |        0
1622.49/1623.02	c 1620s |      24 |  3566494 |  3389062 |     8175   1040 |        0 |        0
1624.49/1625.02	c 1622s |      24 |  3571565 |  3394062 |     8175   1042 |        0 |        0
1626.50/1627.05	c 1624s |      24 |  3575697 |  3398162 |     8175   1043 |        0 |        0
1628.49/1629.08	c 1626s |      24 |  3580252 |  3402662 |     8175   1044 |        0 |        0
1630.59/1631.11	c 1628s |      24 |  3586164 |  3408262 |     8175   1045 |        0 |        0
1632.59/1633.13	c 1630s |      24 |  3592247 |  3413962 |     8175   1046 |        0 |        0
1634.59/1635.15	c 1632s |      24 |  3597384 |  3418762 |     8175   1048 |        0 |        0
1636.59/1637.17	c 1635s |      24 |  3601443 |  3422662 |     8175   1048 |        0 |        0
1638.59/1639.18	c 1637s |      24 |  3605708 |  3426762 |     8175   1049 |        0 |        0
1640.69/1641.21	c 1639s |      24 |  3609808 |  3430662 |     8175   1050 |        0 |        0
1642.69/1643.21	c 1641s |      24 |  3613945 |  3434662 |     8175   1051 |        0 |        0
1644.69/1645.25	c 1643s |      24 |  3618060 |  3438562 |     8175   1052 |        0 |        0
1646.69/1647.28	c 1645s |      24 |  3622429 |  3442762 |     8175   1053 |        0 |        0
1648.79/1649.30	c 1647s |      24 |  3626859 |  3447062 |     8175   1054 |        0 |        0
1650.79/1651.34	c 1649s |      24 |  3631200 |  3451162 |     8175   1055 |        0 |        0
1652.79/1653.38	c 1651s |      24 |  3635913 |  3455662 |     8175   1056 |        0 |        0
1654.88/1655.41	c 1653s |      24 |  3640012 |  3459662 |     8175   1057 |        0 |        0
1656.88/1657.42	c 1655s |      24 |  3644123 |  3463662 |     8175   1058 |        0 |        0
1658.88/1659.45	c 1657s |      24 |  3648662 |  3468162 |     8175   1059 |        0 |        0
1660.88/1661.45	c 1659s |      24 |  3653236 |  3472262 |     8175   1060 |        0 |        0
1662.98/1663.51	c 1661s |      24 |  3657262 |  3476162 |     8175   1061 |        0 |        0
1664.99/1665.51	c 1663s |      24 |  3661260 |  3479962 |     8175   1062 |        0 |        0
1666.99/1667.55	c 1665s |      24 |  3665660 |  3484062 |     8175   1063 |        0 |        0
1668.99/1669.55	c 1667s |      24 |  3669700 |  3487862 |     8175   1064 |        0 |        0
1670.99/1671.59	c 1669s |      24 |  3674306 |  3492262 |     8175   1065 |        0 |        0
1673.09/1673.60	c 1671s |      24 |  3678210 |  3496062 |     8175   1066 |        0 |        0
1675.09/1675.62	c 1673s |      24 |  3682679 |  3500262 |     8175   1067 |        0 |        0
1677.09/1677.65	c 1675s |      24 |  3687057 |  3504462 |     8175   1068 |        0 |        0
1679.09/1679.69	c 1677s |      24 |  3690984 |  3508262 |     8175   1069 |        0 |        0
1681.19/1681.71	c 1679s |      24 |  3695218 |  3512362 |     8175   1070 |        0 |        0
1683.19/1683.73	c 1681s |      24 |  3699315 |  3516162 |     8175   1070 |        0 |        0
1685.19/1685.74	c 1683s |      24 |  3703779 |  3520362 |     8175   1071 |        0 |        0
1687.19/1687.77	c 1685s |      24 |  3707952 |  3524462 |     8175   1072 |        0 |        0
1689.29/1689.82	c 1687s |      24 |  3712390 |  3528662 |     8175   1073 |        0 |        0
1691.29/1691.85	c 1689s |      24 |  3716668 |  3532762 |     8175   1074 |        0 |        0
1693.28/1693.88	c 1691s |      24 |  3720959 |  3536962 |     8175   1075 |        0 |        0
1695.38/1695.90	c 1693s |      24 |  3725154 |  3540962 |     8175   1076 |        0 |        0
1697.38/1697.92	c 1695s |      24 |  3728795 |  3544462 |     8175   1077 |        0 |        0
1699.38/1699.95	c 1697s |      24 |  3733815 |  3548862 |     8175   1078 |        0 |        0
1701.48/1702.00	c 1699s |      24 |  3737971 |  3552662 |     8175   1079 |        0 |        0
1703.49/1704.02	c 1701s |      24 |  3741947 |  3556562 |     8175   1080 |        0 |        0
1705.48/1706.03	c 1703s |      24 |  3746759 |  3561262 |     8175   1081 |        0 |        0
1707.48/1708.04	c 1705s |      24 |  3751712 |  3566062 |     8175   1082 |        0 |        0
1709.48/1710.05	c 1707s |      24 |  3756590 |  3570662 |     8175   1083 |        0 |        0
1711.48/1712.08	c 1709s |      24 |  3760992 |  3574762 |     8175   1084 |        0 |        0
1713.58/1714.10	c 1711s |      24 |  3765400 |  3578962 |     8175   1085 |        0 |        0
1715.59/1716.14	c 1713s |      24 |  3769845 |  3583062 |     8175   1086 |        0 |        0
1717.58/1718.18	c 1716s |      24 |  3774395 |  3587462 |     8175   1087 |        0 |        0
1719.68/1720.23	c 1718s |      24 |  3778878 |  3591862 |     8175   1088 |        0 |        0
1721.68/1722.28	c 1720s |      24 |  3783481 |  3596262 |     8175   1089 |        0 |        0
1723.78/1724.30	c 1722s |      24 |  3787768 |  3600262 |     8175   1090 |        0 |        0
1725.78/1726.30	c 1724s |      24 |  3791702 |  3603962 |     8175   1091 |        0 |        0
1727.78/1728.31	c 1726s |      24 |  3795898 |  3607762 |     8175   1092 |        0 |        0
1729.79/1730.36	c 1728s |      24 |  3800844 |  3612062 |     8175   1093 |        0 |        0
1731.78/1732.37	c 1730s |      24 |  3805323 |  3616362 |     8175   1094 |        0 |        0
1733.88/1734.41	c 1732s |      24 |  3809455 |  3620262 |     8175   1095 |        0 |        0
1735.88/1736.43	c 1734s |      24 |  3813812 |  3624162 |     8175   1096 |        0 |        0
1737.88/1738.46	c 1736s |      24 |  3817773 |  3627762 |     8175   1097 |        0 |        0
1739.88/1740.49	c 1738s |      24 |  3822575 |  3632462 |     8175   1098 |        0 |        0
1741.98/1742.52	c 1740s |      24 |  3827048 |  3636762 |     8175   1099 |        0 |        0
1743.98/1744.54	c 1742s |      24 |  3831403 |  3640962 |     8175   1100 |        0 |        0
1745.98/1746.57	c 1744s |      24 |  3835544 |  3644962 |     8175   1101 |        0 |        0
1748.08/1748.60	c 1746s |      24 |  3839639 |  3648862 |     8175   1102 |        0 |        0
1750.08/1750.63	c 1748s |      24 |  3843801 |  3652762 |     8175   1103 |        0 |        0
1752.07/1752.64	c 1750s |      24 |  3848499 |  3657262 |     8175   1104 |        0 |        0
1754.08/1754.68	c 1752s |      24 |  3852735 |  3661362 |     8175   1105 |        0 |        0
1756.07/1756.70	c 1754s |      24 |  3857145 |  3665562 |     8175   1106 |        0 |        0
1758.17/1758.72	c 1756s |      24 |  3861328 |  3669562 |     8175   1106 |        0 |        0
1760.17/1760.73	c 1758s |      24 |  3865720 |  3673762 |     8175   1107 |        0 |        0
1762.17/1762.74	c 1760s |      24 |  3869970 |  3677862 |     8175   1108 |        0 |        0
1764.17/1764.74	c 1762s |      24 |  3874165 |  3681862 |     8175   1109 |        0 |        0
1766.18/1766.78	c 1764s |      24 |  3878485 |  3685962 |     8175   1110 |        0 |        0
1768.17/1768.80	c 1766s |      24 |  3882766 |  3690062 |     8175   1111 |        0 |        0
1770.27/1770.82	c 1768s |      24 |  3887188 |  3694262 |     8175   1112 |        0 |        0
1772.27/1772.82	c 1770s |      24 |  3891985 |  3698862 |     8175   1113 |        0 |        0
1774.27/1774.85	c 1772s |      24 |  3896101 |  3702762 |     8175   1114 |        0 |        0
1776.27/1776.89	c 1774s |      24 |  3900087 |  3706662 |     8175   1115 |        0 |        0
1778.37/1778.92	c 1776s |      24 |  3904112 |  3710562 |     8175   1116 |        0 |        0
1780.38/1780.92	c 1778s |      24 |  3907895 |  3714262 |     8175   1117 |        0 |        0
1782.37/1782.93	c 1780s |      24 |  3912281 |  3718562 |     8175   1118 |        0 |        0
1784.37/1784.96	c 1782s |      24 |  3916654 |  3722762 |     8175   1119 |        0 |        0
1786.37/1786.96	c 1784s |      24 |  3920353 |  3726362 |     8175   1120 |        0 |        0
1788.37/1788.98	c 1786s |      24 |  3924615 |  3730462 |     8175   1121 |        0 |        0
1790.47/1791.02	c 1788s |      24 |  3928628 |  3734362 |     8175   1122 |        0 |        0
1792.47/1793.03	c 1790s |      24 |  3932656 |  3738262 |     8175   1123 |        0 |        0
1794.46/1795.03	c 1792s |      24 |  3936713 |  3742162 |     8175   1124 |        0 |        0
1796.46/1797.05	c 1794s |      24 |  3940459 |  3745862 |     8175   1124 |        0 |        0
1798.46/1799.09	c 1796s |      24 |  3944709 |  3749962 |     8175   1125 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4106232-1466268120/watcher-4106232-1466268120 -o /tmp/evaluation-result-4106232-1466268120/solver-4106232-1466268120 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28915 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106232-1466268120.opb 

pid=8990
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 2.30 2.25 2.15 3/179 8993
/proc/meminfo: memFree=30178692/32872528 swapFree=526336/559040
[pid=8993] ppid=8990 vsize=637372 CPUtime=0 cores=1,3,5,7
/proc/8993/stat : 8993 (toysat) R 8990 8993 28898 0 -1 4202496 2363 0 0 0 0 0 0 0 20 0 4 0 28862129 652668928 3234 33554432000 4194304 16246674 140735155385648 140735155385072 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8993/statm: 160111 3243 441 2943 0 157005 0
[pid=8993/tid=8994] ppid=8990 vsize=680380 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8994/stat : 8994 (toysat) S 8990 8993 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28862129 696709120 3401 33554432000 4194304 16246674 140735155385648 140385970007280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8993/tid=8995] ppid=8990 vsize=684476 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8995/stat : 8995 (toysat) S 8990 8993 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28862129 700903424 3419 33554432000 4194304 16246674 140735155385648 140385959517424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8993/tid=8996] ppid=8990 vsize=688572 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8996/stat : 8996 (toysat) S 8990 8993 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28862129 705097728 3435 33554432000 4194304 16246674 140735155385648 140385837903024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.30 2.25 2.15 3/179 8993
/proc/meminfo: memFree=30178692/32872528 swapFree=526336/559040
[pid=8993] ppid=8990 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/8993/stat : 8993 (toysat) R 8990 8993 28898 0 -1 4202496 22047 0 0 0 5 4 0 0 20 0 4 0 28862129 1247350784 22906 33554432000 4194304 16246674 140735155385648 140735155385072 5532301 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8993/statm: 304529 22908 758 2943 0 301423 0
[pid=8993/tid=8994] ppid=8990 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8994/stat : 8994 (toysat) S 8990 8993 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28862129 1247350784 22910 33554432000 4194304 16246674 140735155385648 140385970007280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8993/tid=8995] ppid=8990 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8995/stat : 8995 (toysat) S 8990 8993 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28862129 1247350784 22914 33554432000 4194304 16246674 140735155385648 140385959517424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8993/tid=8996] ppid=8990 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8996/stat : 8996 (toysat) S 8990 8993 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28862129 1247350784 22918 33554432000 4194304 16246674 140735155385648 140385837903024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200504 s]
/proc/loadavg: 2.30 2.25 2.15 3/179 8993
/proc/meminfo: memFree=30178692/32872528 swapFree=526336/559040
[pid=8993] ppid=8990 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/8993/stat : 8993 (toysat) R 8990 8993 28898 0 -1 4202496 39145 0 0 0 13 6 0 0 20 0 4 0 28862129 1247350784 40004 33554432000 4194304 16246674 140735155385648 140735155385072 5711636 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8993/statm: 304529 40015 758 2943 0 301423 0
[pid=8993/tid=8994] ppid=8990 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8994/stat : 8994 (toysat) S 8990 8993 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28862129 1247350784 40020 33554432000 4194304 16246674 140735155385648 140385970007280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8993/tid=8995] ppid=8990 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8995/stat : 8995 (toysat) S 8990 8993 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28862129 1247350784 40021 33554432000 4194304 16246674 140735155385648 140385959517424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8993/tid=8996] ppid=8990 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8996/stat : 8996 (toysat) S 8990 8993 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28862129 1247350784 40026 33554432000 4194304 16246674 140735155385648 140385837903024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300496 s]
/proc/loadavg: 2.30 2.25 2.15 3/179 8993
/proc/meminfo: memFree=30178692/32872528 swapFree=526336/559040
[pid=8993] ppid=8990 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/8993/stat : 8993 (toysat) R 8990 8993 28898 0 -1 4202496 56031 0 0 0 20 9 0 0 20 0 4 0 28862129 1247350784 56891 33554432000 4194304 16246674 140735155385648 140735155385072 5712452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8993/statm: 304529 56903 758 2943 0 301423 0
[pid=8993/tid=8994] ppid=8990 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8994/stat : 8994 (toysat) S 8990 8993 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28862129 1247350784 56909 33554432000 4194304 16246674 140735155385648 140385970007280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8993/tid=8995] ppid=8990 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8995/stat : 8995 (toysat) S 8990 8993 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28862129 1247350784 56918 33554432000 4194304 16246674 140735155385648 140385959517424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8993/tid=8996] ppid=8990 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8996/stat : 8996 (toysat) S 8990 8993 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28862129 1247350784 56920 33554432000 4194304 16246674 140735155385648 140385837903024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700406 s]
/proc/loadavg: 2.30 2.25 2.15 3/179 8993
/proc/meminfo: memFree=30178692/32872528 swapFree=526336/559040
[pid=8993] ppid=8990 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/8993/stat : 8993 (toysat) R 8990 8993 28898 0 -1 4202496 127475 0 0 0 49 20 0 0 20 0 4 0 28862129 1247350784 128335 33554432000 4194304 16246674 140735155385648 140735155367552 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8993/statm: 304529 128343 765 2943 0 301423 0
[pid=8993/tid=8994] ppid=8990 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8994/stat : 8994 (toysat) S 8990 8993 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28862129 1247350784 128349 33554432000 4194304 16246674 140735155385648 140385970007280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8993/tid=8995] ppid=8990 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8995/stat : 8995 (toysat) S 8990 8993 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28862129 1247350784 128354 33554432000 4194304 16246674 140735155385648 140385959517424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8993/tid=8996] ppid=8990 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8996/stat : 8996 (toysat) S 8990 8993 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28862129 1247350784 128363 33554432000 4194304 16246674 140735155385648 140385837903024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50038 s]
/proc/loadavg: 2.30 2.25 2.15 3/183 8997
/proc/meminfo: memFree=29393364/32872528 swapFree=526336/559040
[pid=8993] ppid=8990 vsize=1221188 CPUtime=1.49 cores=1,3,5,7
/proc/8993/stat : 8993 (toysat) R 8990 8993 28898 0 -1 4202496 246322 0 0 0 114 35 0 0 20 0 4 0 28862129 1250496512 247158 33554432000 4194304 16246674 140735155385648 140735155367552 6012046 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8993/statm: 305297 247158 832 2943 0 302191 0
[pid=8993/tid=8994] ppid=8990 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8994/stat : 8994 (toysat) S 8990 8993 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28862129 1250496512 247158 33554432000 4194304 16246674 140735155385648 140385970007280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8993/tid=8995] ppid=8990 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8995/stat : 8995 (toysat) S 8990 8993 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28862129 1250496512 247158 33554432000 4194304 16246674 140735155385648 140385959517424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8993/tid=8996] ppid=8990 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8996/stat : 8996 (toysat) S 8990 8993 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28862129 1250496512 247158 33554432000 4194304 16246674 140735155385648 140385837903024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1221188

[startup+3.10043 s]
/proc/loadavg: 2.27 2.24 2.15 3/183 8997
/proc/meminfo: memFree=29190128/32872528 swapFree=526336/559040
[pid=8993] ppid=8990 vsize=1302084 CPUtime=3.08 cores=1,3,5,7
/proc/8993/stat : 8993 (toysat) R 8990 8993 28898 0 -1 4202496 266534 0 0 0 271 37 0 0 20 0 4 0 28862129 1333334016 267370 33554432000 4194304 16246674 140735155385648 140735155367552 13950192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8993/statm: 325521 267370 850 2943 0 322415 0
[pid=8993/tid=8994] ppid=8990 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8994/stat : 8994 (toysat) S 8990 8993 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28862129 1333334016 267370 33554432000 4194304 16246674 140735155385648 140385970007280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8993/tid=8995] ppid=8990 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8995/stat : 8995 (toysat) S 8990 8993 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28862129 1333334016 267370 33554432000 4194304 16246674 140735155385648 140385959517424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8993/tid=8996] ppid=8990 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8996/stat : 8996 (toysat) S 8990 8993 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28862129 1333334016 267370 33554432000 4194304 16246674 140735155385648 140385837903024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1302084

[startup+6.30042 s]
/proc/loadavg: 2.27 2.24 2.15 3/183 8997
/proc/meminfo: memFree=29104328/32872528 swapFree=526336/559040
[pid=8993] ppid=8990 vsize=1308228 CPUtime=6.29 cores=1,3,5,7
/proc/8993/stat : 8993 (toysat) R 8990 8993 28898 0 -1 4202496 267977 0 0 0 591 38 0 0 20 0 4 0 28862129 1339625472 268813 33554432000 4194304 16246674 140735155385648 140735155367552 5712494 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8993/statm: 327057 268813 850 2943 0 323951 0
[pid=8993/tid=8994] ppid=8990 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8994/stat : 8994 (toysat) S 8990 8993 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28862129 1339625472 268813 33554432000 4194304 16246674 140735155385648 140385970007280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8993/tid=8995] ppid=8990 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8995/stat : 8995 (toysat) S 8990 8993 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28862129 1339625472 268813 33554432000 4194304 16246674 140735155385648 140385959517424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8993/tid=8996] ppid=8990 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8996/stat : 8996 (toysat) S 8990 8993 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28862129 1339625472 268813 33554432000 4194304 16246674 140735155385648 140385837903024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.23 2.23 2.15 3/183 8997
/proc/meminfo: memFree=29101404/32872528 swapFree=526336/559040
[pid=8993] ppid=8990 vsize=1311300 CPUtime=12.69 cores=1,3,5,7
/proc/8993/stat : 8993 (toysat) R 8990 8993 28898 0 -1 4202496 268672 0 0 0 1231 38 0 0 20 0 4 0 28862129 1342771200 269508 33554432000 4194304 16246674 140735155385648 140735155367552 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8993/statm: 327825 269508 851 2943 0 324719 0
[pid=8993/tid=8994] ppid=8990 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8994/stat : 8994 (toysat) S 8990 8993 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28862129 1342771200 269508 33554432000 4194304 16246674 140735155385648 140385970007280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8993/tid=8995] ppid=8990 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8995/stat : 8995 (toysat) S 8990 8993 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28862129 1342771200 269508 33554432000 4194304 16246674 140735155385648 140385959517424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8993/tid=8996] ppid=8990 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8996/stat : 8996 (toysat) S 8990 8993 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28862129 1342771200 269508 33554432000 4194304 16246674 140735155385648 140385837903024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1311300

[startup+25.5005 s]
/proc/loadavg: 2.19 2.22 2.15 3/183 8997
/proc/meminfo: memFree=29098848/32872528 swapFree=526336/559040
[pid=8993] ppid=8990 vsize=1313348 CPUtime=25.49 cores=1,3,5,7
/proc/8993/stat : 8993 (toysat) R 8990 8993 28898 0 -1 4202496 269434 0 0 0 2511 38 0 0 20 0 4 0 28862129 1344868352 270270 33554432000 4194304 16246674 140735155385648 140735155367552 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8993/statm: 328337 270270 853 2943 0 325231 0
[pid=8993/tid=8994] ppid=8990 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8994/stat : 8994 (toysat) S 8990 8993 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28862129 1344868352 270270 33554432000 4194304 16246674 140735155385648 140385970007280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8993/tid=8995] ppid=8990 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8995/stat : 8995 (toysat) S 8990 8993 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28862129 1344868352 270270 33554432000 4194304 16246674 140735155385648 140385959517424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8993/tid=8996] ppid=8990 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8996/stat : 8996 (toysat) S 8990 8993 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28862129 1344868352 270270 33554432000 4194304 16246674 140735155385648 140385837903024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.18 2.22 2.15 3/183 8997
/proc/meminfo: memFree=29098356/32872528 swapFree=526336/559040
[pid=8993] ppid=8990 vsize=1314372 CPUtime=51.08 cores=1,3,5,7
/proc/8993/stat : 8993 (toysat) R 8990 8993 28898 0 -1 4202496 269560 0 0 0 5070 38 0 0 20 0 4 0 28862129 1345916928 270396 33554432000 4194304 16246674 140735155385648 140735155367552 12483337 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8993/statm: 328593 270396 853 2943 0 325487 0
[pid=8993/tid=8994] ppid=8990 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8994/stat : 8994 (toysat) S 8990 8993 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28862129 1345916928 270396 33554432000 4194304 16246674 140735155385648 140385970007280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8993/tid=8995] ppid=8990 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8995/stat : 8995 (toysat) S 8990 8993 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28862129 1345916928 270396 33554432000 4194304 16246674 140735155385648 140385959517424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8993/tid=8996] ppid=8990 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8996/stat : 8996 (toysat) S 8990 8993 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28862129 1345916928 270396 33554432000 4194304 16246674 140735155385648 140385837903024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1314372

[startup+102.301 s]
/proc/loadavg: 2.23 2.23 2.15 3/183 8999
/proc/meminfo: memFree=29090288/32872528 swapFree=526336/559040
[pid=8993] ppid=8990 vsize=1321540 CPUtime=102.28 cores=1,3,5,7
/proc/8993/stat : 8993 (toysat) R 8990 8993 28898 0 -1 4202496 271482 0 0 0 10189 39 0 0 20 0 4 0 28862129 1353256960 272318 33554432000 4194304 16246674 140735155385648 140735155367552 5722816 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8993/statm: 330385 272318 853 2943 0 327279 0
[pid=8993/tid=8994] ppid=8990 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8994/stat : 8994 (toysat) S 8990 8993 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28862129 1353256960 272318 33554432000 4194304 16246674 140735155385648 140385970007280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8993/tid=8995] ppid=8990 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8995/stat : 8995 (toysat) S 8990 8993 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28862129 1353256960 272318 33554432000 4194304 16246674 140735155385648 140385959517424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8993/tid=8996] ppid=8990 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8996/stat : 8996 (toysat) S 8990 8993 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28862129 1353256960 272318 33554432000 4194304 16246674 140735155385648 140385837903024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1321540


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

/proc/8993/task/8996/stat : 8996 (toysat) S 8990 8993 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28862129 1363742720 274882 33554432000 4194304 16246674 140735155385648 140385837903024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1331780

[startup+1302.3 s]
/proc/loadavg: 2.11 2.11 2.10 3/183 9150
/proc/meminfo: memFree=29088572/32872528 swapFree=526336/559040
[pid=8993] ppid=8990 vsize=1331780 CPUtime=1301.92 cores=1,3,5,7
/proc/8993/stat : 8993 (toysat) R 8990 8993 28898 0 -1 4202496 274348 0 0 0 130144 48 0 0 20 0 4 0 28862129 1363742720 274882 33554432000 4194304 16246674 140735155385648 140735155367552 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8993/statm: 332945 274882 854 2943 0 329839 0
[pid=8993/tid=8994] ppid=8990 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8994/stat : 8994 (toysat) S 8990 8993 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28862129 1363742720 274882 33554432000 4194304 16246674 140735155385648 140385970007280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8993/tid=8995] ppid=8990 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8995/stat : 8995 (toysat) S 8990 8993 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28862129 1363742720 274882 33554432000 4194304 16246674 140735155385648 140385959517424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8993/tid=8996] ppid=8990 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8996/stat : 8996 (toysat) S 8990 8993 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28862129 1363742720 274882 33554432000 4194304 16246674 140735155385648 140385837903024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1331780

[startup+1362.3 s]
/proc/loadavg: 2.03 2.08 2.09 3/183 9151
/proc/meminfo: memFree=29088348/32872528 swapFree=526336/559040
[pid=8993] ppid=8990 vsize=1331780 CPUtime=1361.88 cores=1,3,5,7
/proc/8993/stat : 8993 (toysat) R 8990 8993 28898 0 -1 4202496 274394 0 0 0 136139 49 0 0 20 0 4 0 28862129 1363742720 274882 33554432000 4194304 16246674 140735155385648 140735155367552 6861779 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8993/statm: 332945 274882 854 2943 0 329839 0
[pid=8993/tid=8994] ppid=8990 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8994/stat : 8994 (toysat) S 8990 8993 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28862129 1363742720 274882 33554432000 4194304 16246674 140735155385648 140385970007280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8993/tid=8995] ppid=8990 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8995/stat : 8995 (toysat) S 8990 8993 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28862129 1363742720 274882 33554432000 4194304 16246674 140735155385648 140385959517424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8993/tid=8996] ppid=8990 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8996/stat : 8996 (toysat) S 8990 8993 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28862129 1363742720 274882 33554432000 4194304 16246674 140735155385648 140385837903024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1331780

[startup+1422.3 s]
/proc/loadavg: 2.08 2.09 2.09 4/183 9152
/proc/meminfo: memFree=29088252/32872528 swapFree=526336/559040
[pid=8993] ppid=8990 vsize=1331780 CPUtime=1421.85 cores=1,3,5,7
/proc/8993/stat : 8993 (toysat) R 8990 8993 28898 0 -1 4202496 274439 0 0 0 142136 49 0 0 20 0 4 0 28862129 1363742720 274882 33554432000 4194304 16246674 140735155385648 140735155367552 5710083 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8993/statm: 332945 274882 854 2943 0 329839 0
[pid=8993/tid=8994] ppid=8990 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8994/stat : 8994 (toysat) S 8990 8993 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28862129 1363742720 274882 33554432000 4194304 16246674 140735155385648 140385970007280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8993/tid=8995] ppid=8990 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8995/stat : 8995 (toysat) S 8990 8993 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28862129 1363742720 274882 33554432000 4194304 16246674 140735155385648 140385959517424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8993/tid=8996] ppid=8990 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8996/stat : 8996 (toysat) S 8990 8993 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28862129 1363742720 274882 33554432000 4194304 16246674 140735155385648 140385837903024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1331780

[startup+1482.3 s]
/proc/loadavg: 2.16 2.11 2.09 3/183 9153
/proc/meminfo: memFree=29088032/32872528 swapFree=526336/559040
[pid=8993] ppid=8990 vsize=1331780 CPUtime=1481.82 cores=1,3,5,7
/proc/8993/stat : 8993 (toysat) R 8990 8993 28898 0 -1 4202496 274471 0 0 0 148132 50 0 0 20 0 4 0 28862129 1363742720 274882 33554432000 4194304 16246674 140735155385648 140735155367552 5722956 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8993/statm: 332945 274882 854 2943 0 329839 0
[pid=8993/tid=8994] ppid=8990 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8994/stat : 8994 (toysat) S 8990 8993 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28862129 1363742720 274882 33554432000 4194304 16246674 140735155385648 140385970007280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8993/tid=8995] ppid=8990 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8995/stat : 8995 (toysat) S 8990 8993 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28862129 1363742720 274882 33554432000 4194304 16246674 140735155385648 140385959517424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8993/tid=8996] ppid=8990 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8996/stat : 8996 (toysat) S 8990 8993 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28862129 1363742720 274882 33554432000 4194304 16246674 140735155385648 140385837903024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1331780

[startup+1542.31 s]
/proc/loadavg: 2.18 2.12 2.09 3/183 9154
/proc/meminfo: memFree=29088132/32872528 swapFree=526336/559040
[pid=8993] ppid=8990 vsize=1331780 CPUtime=1541.81 cores=1,3,5,7
/proc/8993/stat : 8993 (toysat) R 8990 8993 28898 0 -1 4202496 274472 0 0 0 154131 50 0 0 20 0 4 0 28862129 1363742720 274882 33554432000 4194304 16246674 140735155385648 140735155367552 5823496 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8993/statm: 332945 274882 854 2943 0 329839 0
[pid=8993/tid=8994] ppid=8990 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8994/stat : 8994 (toysat) S 8990 8993 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28862129 1363742720 274882 33554432000 4194304 16246674 140735155385648 140385970007280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8993/tid=8995] ppid=8990 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8995/stat : 8995 (toysat) S 8990 8993 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28862129 1363742720 274882 33554432000 4194304 16246674 140735155385648 140385959517424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8993/tid=8996] ppid=8990 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8996/stat : 8996 (toysat) S 8990 8993 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28862129 1363742720 274882 33554432000 4194304 16246674 140735155385648 140385837903024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1331780

[startup+1602.3 s]
/proc/loadavg: 2.32 2.16 2.11 3/183 9156
/proc/meminfo: memFree=29087912/32872528 swapFree=526336/559040
[pid=8993] ppid=8990 vsize=1331780 CPUtime=1601.8 cores=1,3,5,7
/proc/8993/stat : 8993 (toysat) R 8990 8993 28898 0 -1 4202496 274472 0 0 0 160129 51 0 0 20 0 4 0 28862129 1363742720 274882 33554432000 4194304 16246674 140735155385648 140735155367552 5824098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8993/statm: 332945 274882 854 2943 0 329839 0
[pid=8993/tid=8994] ppid=8990 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8994/stat : 8994 (toysat) S 8990 8993 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28862129 1363742720 274882 33554432000 4194304 16246674 140735155385648 140385970007280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8993/tid=8995] ppid=8990 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8995/stat : 8995 (toysat) S 8990 8993 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28862129 1363742720 274882 33554432000 4194304 16246674 140735155385648 140385959517424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8993/tid=8996] ppid=8990 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8996/stat : 8996 (toysat) S 8990 8993 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28862129 1363742720 274882 33554432000 4194304 16246674 140735155385648 140385837903024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1331780

[startup+1662.3 s]
/proc/loadavg: 2.17 2.14 2.10 4/183 9157
/proc/meminfo: memFree=29086952/32872528 swapFree=526336/559040
[pid=8993] ppid=8990 vsize=1331780 CPUtime=1661.78 cores=1,3,5,7
/proc/8993/stat : 8993 (toysat) R 8990 8993 28898 0 -1 4202496 274472 0 0 0 166127 51 0 0 20 0 4 0 28862129 1363742720 274882 33554432000 4194304 16246674 140735155385648 140735155367552 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8993/statm: 332945 274882 854 2943 0 329839 0
[pid=8993/tid=8994] ppid=8990 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8994/stat : 8994 (toysat) S 8990 8993 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28862129 1363742720 274882 33554432000 4194304 16246674 140735155385648 140385970007280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8993/tid=8995] ppid=8990 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8995/stat : 8995 (toysat) S 8990 8993 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28862129 1363742720 274882 33554432000 4194304 16246674 140735155385648 140385959517424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8993/tid=8996] ppid=8990 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8996/stat : 8996 (toysat) S 8990 8993 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28862129 1363742720 274882 33554432000 4194304 16246674 140735155385648 140385837903024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1331780

[startup+1722.3 s]
/proc/loadavg: 2.12 2.13 2.09 3/184 9161
/proc/meminfo: memFree=29086632/32872528 swapFree=526336/559040
[pid=8993] ppid=8990 vsize=1331780 CPUtime=1721.78 cores=1,3,5,7
/proc/8993/stat : 8993 (toysat) R 8990 8993 28898 0 -1 4202496 274472 0 0 0 172126 52 0 0 20 0 4 0 28862129 1363742720 274882 33554432000 4194304 16246674 140735155385648 140735155368648 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8993/statm: 332945 274882 854 2943 0 329839 0
[pid=8993/tid=8994] ppid=8990 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8994/stat : 8994 (toysat) S 8990 8993 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28862129 1363742720 274882 33554432000 4194304 16246674 140735155385648 140385970007280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8993/tid=8995] ppid=8990 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8995/stat : 8995 (toysat) S 8990 8993 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28862129 1363742720 274882 33554432000 4194304 16246674 140735155385648 140385959517424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8993/tid=8996] ppid=8990 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8996/stat : 8996 (toysat) S 8990 8993 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28862129 1363742720 274882 33554432000 4194304 16246674 140735155385648 140385837903024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1331780

[startup+1782.3 s]
/proc/loadavg: 2.08 2.11 2.09 3/183 9162
/proc/meminfo: memFree=29086544/32872528 swapFree=526336/559040
[pid=8993] ppid=8990 vsize=1331780 CPUtime=1781.77 cores=1,3,5,7
/proc/8993/stat : 8993 (toysat) R 8990 8993 28898 0 -1 4202496 274473 0 0 0 178125 52 0 0 20 0 4 0 28862129 1363742720 274883 33554432000 4194304 16246674 140735155385648 140735155367552 12478320 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8993/statm: 332945 274883 855 2943 0 329839 0
[pid=8993/tid=8994] ppid=8990 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8994/stat : 8994 (toysat) S 8990 8993 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28862129 1363742720 274883 33554432000 4194304 16246674 140735155385648 140385970007280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8993/tid=8995] ppid=8990 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8995/stat : 8995 (toysat) S 8990 8993 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28862129 1363742720 274883 33554432000 4194304 16246674 140735155385648 140385959517424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8993/tid=8996] ppid=8990 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8996/stat : 8996 (toysat) S 8990 8993 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28862129 1363742720 274883 33554432000 4194304 16246674 140735155385648 140385837903024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1331780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.06 2.11 2.09 3/183 9162
/proc/meminfo: memFree=29086016/32872528 swapFree=526336/559040
[pid=8993] ppid=8990 vsize=1331780 CPUtime=1800.06 cores=1,3,5,7
/proc/8993/stat : 8993 (toysat) R 8990 8993 28898 0 -1 4202496 274473 0 0 0 179954 52 0 0 20 0 4 0 28862129 1363742720 274883 33554432000 4194304 16246674 140735155385648 140735155367552 5808488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8993/statm: 332945 274883 855 2943 0 329839 0
[pid=8993/tid=8994] ppid=8990 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8994/stat : 8994 (toysat) S 8990 8993 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28862129 1363742720 274883 33554432000 4194304 16246674 140735155385648 140385970007280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8993/tid=8995] ppid=8990 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8995/stat : 8995 (toysat) S 8990 8993 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28862129 1363742720 274883 33554432000 4194304 16246674 140735155385648 140385959517424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8993/tid=8996] ppid=8990 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/8993/task/8996/stat : 8996 (toysat) S 8990 8993 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28862129 1363742720 274883 33554432000 4194304 16246674 140735155385648 140385837903024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1331780

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8993 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1799.55
CPU system time (s): 0.526919
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 1331780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.526919
maximum resident set size= 1099532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274473
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= 441
involuntary context switches= 1862

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8669 second user time and 12.2471 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-18 18:42:00
IDJOB=4106232
IDBENCH=47982
IDSOLVER=2542
FILE ID=node106/4106232-1466268120
RUNJOBID= node106-1466241787-28915
PBS_JOBID= 19918214
Free space on /tmp= 71684 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=257-P1=53-P2=163-P3=163-P4=251-P5=269-P6=479-P7=113-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106232-1466268120/watcher-4106232-1466268120 -o /tmp/evaluation-result-4106232-1466268120/solver-4106232-1466268120 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28915 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106232-1466268120.opb

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

MD5SUM BENCH= 61ecac306f245a9bac818667ce91a2bc
RANDOM SEED=1931450155

node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.073
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30179608 kB
Buffers:           88140 kB
Cached:           196444 kB
SwapCached:         1736 kB
Active:          1199740 kB
Inactive:         188768 kB
Active(anon):    1102292 kB
Inactive(anon):     4000 kB
Active(file):      97448 kB
Inactive(file):   184768 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             16528 kB
Writeback:             0 kB
AnonPages:       1662260 kB
Mapped:            10440 kB
Shmem:                 0 kB
Slab:             613136 kB
SReclaimable:      56700 kB
SUnreclaim:       556436 kB
KernelStack:        1520 kB
PageTables:         7168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1804696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1128448 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71668 MiB
End job on node106 at 2016-06-18 19:12:01