Trace number 4093309

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.05 1800.61

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_25_pb.cnf.cr--soft-33-100-0.wbo
MD5SUM4fda08e2dc650152cad1c676f7fa8f96
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark1800.02
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables750
Total number of constraints80
Number of soft constraints54
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint15
Maximum length of a constraint25
Top cost 2808
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 2807
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 26
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T14:28:39+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","--wbo","--search=bcd2","HOME/instance-4093309-1466080119.wbo"]
0.00/0.01	c use --random-gen="4249200951 871133008 2097944558 3373442392 4023427363 3640745927 2298257524 1356116653 94785854 2695868356 1588030986 1572907428 3886092987 2862285883 251334431 1142417665 399954754 2659073896 2073949657 1445713724 3757059213 1070568717 1234184571 94174195 1846989017 1790540832 2181141546 2896425329 3045583218 3758893786 2187989331 3919601049 3922343871 3351607046 923580544 1806106808 1899330541 2677131843 4086177410 487927003 3370500685 3871407833 2356167797 4175316612 2327699457 4096633209 468905371 3027438826 2087572950 2998583507 1838467055 3644021088 2982957739 647330113 3261973608 3244077074 1732178095 3516906775 2109701940 1620647262 1203809111 687162027 1678573727 2499126430 2049361507 2788061942 1607926569 1443598795 2876219655 3111938663 3891057069 1933019647 1429133392 2242232428 761242070 2181145155 2947354991 2919636005 1934607276 3963839101 2280285038 368526757 860255249 1304152503 2398801865 1356339672 2190160318 3925352036 1770476201 4225511528 2877436038 950305836 3971486746 2110158979 2670400530 2802715442 3610793070 2514920433 1494899309 497043134 61427548 2109618715 3216412454 450421796 1306326257 885505317 674685520 3293334273 17984300 1665237475 3942450054 1758468919 1079981435 1006247292 3036203378 3744625994 3700689748 1097659996 2417476106 1636274214 3719026112 1865347664 2004259548 97332501 3082899764 828308368 2675290940 1071908204 1320637541 2171743491 1047669718 656218507 3582373110 2057191533 3503501797 3703297667 3626879945 2214067906 2537086690 394881725 2033882879 1291473756 1014325994 3112407399 1122823416 3765055698 3567846022 4284069965 3852255392 1283001818 1186750539 734449230 634291942 168256560 320110942 3256823492 3638361527 4196137777 2387442854 3179259103 1936121053 2140559485 1199633861 707645041 3220856330 3130141006 757661782 2966168501 1538467165 574862747 4272977826 2353383401 2824036550 324427522 1078725681 3325939792 2094657882 1262847793 1609505375 3599756029 523664495 537970074 3617989464 216807442 603000147 2596698165 1615098219 4026061479 4240743015 3946527136 404383515 3452250673 3788359261 3290893591 183468660 1897304451 547391870 4066967187 2409809793 774346766 3664071822 1436233979 387976618 2990009432 162811634 1028297725 3861014556 3974033063 4229911509 864999825 4269950490 1272449366 4151087124 2641710794 3332565657 3743561224 3892530833 1483383003 1270637667 1574881490 1146278656 48071494 1191063014 1430720849 2893100214 3218390281 662720070 522092892 1388922602 336246651 3242828953 1536512916 868958440 356403221 3887020940 2496401190 2854654294 3442502727 3959361561 3033004928 1249660002 1350971841 2582946728 2969962376 3970547345 117697807 1152193910 3305275956 3556971038 895838088 2665981839 1599868737 1338889734 1467855368 2339562919 3358569045 255 362436" option to reproduce the execution
0.00/0.04	c #vars 750
0.00/0.04	c #constraints 80
0.00/0.04	c BCD2: Hardening is enabled.
0.00/0.04	c BCD2: BiasedSearch is enabled.
0.00/0.04	c Solving starts ...
0.00/0.04	c ============================[ Search Statistics ]============================
0.00/0.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.04	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.04	c =============================================================================
0.00/0.04	c  0.0s |       0 |        0 |        0 |      294      0 |        0 |        0
0.00/0.06	c  0.0s |       1 |      181 |      100 |      294      0 |        0 |        0
0.00/0.06	c  0.0s |       1 |      664 |      103 |      324      0 |        0 |        0
0.00/0.06	c #cpu_time = 0.020s
0.00/0.06	c #wall_clock_time = 0.020s
0.00/0.06	c #decision = 664
0.00/0.06	c #random_decision = 0
0.00/0.06	c #conflict = 103
0.00/0.06	c #restart = 1
0.00/0.06	o 1112
0.00/0.06	c BCD2: updating upper bound: 2807 -> 1111
0.00/0.06	c BCD2: 0 <= obj <= 1111
0.00/0.06	c BCD2: #cores=0, #unrelaxed=54, #relaxed=0, #hardened=0
0.00/0.06	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.06	c Solving starts ...
0.00/0.06	c ============================[ Search Statistics ]============================
0.00/0.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.06	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.06	c =============================================================================
0.00/0.06	c  0.0s |       0 |        0 |        0 |      324      0 |        0 |        0
0.00/0.09	c  0.0s |       1 |      275 |      100 |      324      0 |        0 |        0
0.09/0.15	c  0.1s |       2 |      668 |      250 |      357      0 |        0 |        0
0.19/0.23	c  0.2s |       3 |     1106 |      475 |      393      0 |        0 |        0
0.29/0.36	c  0.3s |       4 |     1878 |      813 |      433      1 |        0 |        0
0.59/0.68	c  0.6s |       5 |     2634 |     1320 |      477      2 |        0 |        0
0.89/0.97	c  0.9s |       6 |     3775 |     2081 |      525      4 |        0 |        0
1.29/1.34	c  1.3s |       7 |     6347 |     3223 |      578      7 |        0 |        0
1.99/2.05	c  2.0s |       8 |    11303 |     4936 |      636     12 |        0 |        0
2.99/3.02	c  3.0s |       9 |    14551 |     7506 |      700     18 |        0 |        0
4.40/4.50	c  4.4s |      10 |    20118 |    11361 |      771     27 |        0 |        0
6.49/6.50	c  6.4s |      11 |    28401 |    17144 |      849     38 |        0 |        0
8.49/8.52	c  8.5s |      11 |    35796 |    22344 |      849     47 |        0 |        0
9.79/9.83	c  9.8s |      12 |    39929 |    25819 |      934     54 |        0 |        0
11.79/11.84	c 11.8s |      12 |    46494 |    30819 |      934     63 |        0 |        0
13.79/13.84	c 13.8s |      12 |    52670 |    35819 |      934     72 |        0 |        0
14.89/14.98	c 14.9s |      13 |    56669 |    38832 |     1028     77 |        0 |        0
16.99/17.00	c 16.9s |      13 |    63373 |    43932 |     1028     85 |        0 |        0
18.99/19.01	c 18.9s |      13 |    70505 |    49432 |     1028     95 |        0 |        0
20.99/21.03	c 21.0s |      13 |    76927 |    54532 |     1028    103 |        0 |        0
22.59/22.65	c 22.6s |      14 |    81729 |    58352 |     1131    110 |        0 |        0
24.59/24.67	c 24.6s |      14 |    88301 |    63452 |     1131    117 |        0 |        0
26.59/26.69	c 26.6s |      14 |    95570 |    68552 |     1131    125 |        0 |        0
28.69/28.71	c 28.6s |      14 |   101274 |    72752 |     1131    132 |        0 |        0
30.69/30.75	c 30.7s |      14 |   107145 |    77052 |     1131    138 |        0 |        0
32.68/32.78	c 32.7s |      14 |   112348 |    81152 |     1131    145 |        0 |        0
34.78/34.82	c 34.8s |      14 |   117611 |    85352 |     1131    151 |        0 |        0
35.78/35.84	c 35.8s |      15 |   121064 |    87632 |     1245    155 |        0 |        0
37.78/37.90	c 37.8s |      15 |   126144 |    91732 |     1245    161 |        0 |        0
39.88/39.92	c 39.9s |      15 |   131115 |    95832 |     1245    166 |        0 |        0
41.89/41.93	c 41.9s |      15 |   136012 |   100032 |     1245    172 |        0 |        0
43.88/43.95	c 43.9s |      15 |   141747 |   104732 |     1245    179 |        0 |        0
45.88/45.98	c 45.9s |      15 |   147179 |   109232 |     1245    185 |        0 |        0
47.98/48.00	c 47.9s |      15 |   152698 |   113732 |     1245    192 |        0 |        0
49.98/50.02	c 50.0s |      15 |   158538 |   118632 |     1245    199 |        0 |        0
51.98/52.05	c 52.0s |      15 |   164069 |   123332 |     1245    206 |        0 |        0
53.99/54.08	c 54.0s |      15 |   169087 |   127632 |     1245    212 |        0 |        0
55.78/55.84	c 55.8s |      16 |   173702 |   131552 |     1370    217 |        0 |        0
57.78/57.87	c 57.8s |      16 |   180843 |   136052 |     1370    223 |        0 |        0
59.88/59.91	c 59.8s |      16 |   185818 |   140152 |     1370    229 |        0 |        0
61.88/61.92	c 61.9s |      16 |   191427 |   144552 |     1370    234 |        0 |        0
63.88/63.92	c 63.9s |      16 |   197213 |   149252 |     1370    241 |        0 |        0
65.88/65.95	c 65.9s |      16 |   202672 |   153752 |     1370    247 |        0 |        0
67.88/67.98	c 67.9s |      16 |   207788 |   158152 |     1370    253 |        0 |        0
69.98/70.01	c 69.9s |      16 |   213523 |   162752 |     1370    259 |        0 |        0
71.98/72.02	c 72.0s |      16 |   218694 |   167352 |     1370    265 |        0 |        0
73.98/74.03	c 74.0s |      16 |   223598 |   171652 |     1370    270 |        0 |        0
75.98/76.07	c 76.0s |      16 |   228339 |   175652 |     1370    276 |        0 |        0
77.98/78.10	c 78.0s |      16 |   232914 |   179652 |     1370    281 |        0 |        0
80.07/80.10	c 80.0s |      16 |   237246 |   183452 |     1370    286 |        0 |        0
82.07/82.10	c 82.0s |      16 |   241717 |   187452 |     1370    292 |        0 |        0
84.07/84.13	c 84.1s |      16 |   246489 |   191652 |     1370    297 |        0 |        0
86.07/86.15	c 86.1s |      16 |   251292 |   195952 |     1508    303 |        0 |        0
86.88/86.94	c 86.9s |      17 |   252928 |   197432 |     1508    305 |        0 |        0
88.87/88.95	c 88.9s |      17 |   258972 |   202232 |     1508    310 |        0 |        0
90.87/90.97	c 90.9s |      17 |   264756 |   207132 |     1508    316 |        0 |        0
92.87/92.98	c 92.9s |      17 |   270920 |   212132 |     1508    322 |        0 |        0
94.97/95.00	c 94.9s |      17 |   276724 |   216832 |     1508    327 |        0 |        0
96.97/97.03	c 97.0s |      17 |   282221 |   221032 |     1508    332 |        0 |        0
98.98/99.06	c 99.0s |      17 |   286293 |   224532 |     1508    336 |        0 |        0
101.07/101.11	c  101s |      17 |   290058 |   227732 |     1508    339 |        0 |        0
103.07/103.14	c  103s |      17 |   293795 |   230832 |     1508    343 |        0 |        0
105.07/105.15	c  105s |      17 |   297686 |   233932 |     1508    346 |        0 |        0
107.07/107.15	c  107s |      17 |   301369 |   237132 |     1508    350 |        0 |        0
109.07/109.18	c  109s |      17 |   305365 |   240332 |     1508    353 |        0 |        0
111.18/111.22	c  111s |      17 |   309535 |   243632 |     1508    357 |        0 |        0
113.18/113.25	c  113s |      17 |   312859 |   246432 |     1508    360 |        0 |        0
115.28/115.31	c  115s |      17 |   316939 |   249832 |     1508    364 |        0 |        0
117.28/117.32	c  117s |      17 |   320990 |   252732 |     1508    367 |        0 |        0
119.28/119.37	c  119s |      17 |   324726 |   255932 |     1508    371 |        0 |        0
121.28/121.39	c  121s |      17 |   329011 |   258932 |     1508    374 |        0 |        0
123.38/123.40	c  123s |      17 |   332432 |   261732 |     1508    377 |        0 |        0
125.38/125.43	c  125s |      17 |   337140 |   265132 |     1508    381 |        0 |        0
127.37/127.43	c  127s |      17 |   341074 |   268032 |     1508    384 |        0 |        0
129.47/129.50	c  129s |      17 |   345268 |   270332 |     1508    387 |        0 |        0
131.47/131.52	c  131s |      17 |   349725 |   273432 |     1508    391 |        0 |        0
133.47/133.54	c  133s |      17 |   353455 |   276132 |     1508    394 |        0 |        0
135.47/135.57	c  135s |      17 |   358621 |   278932 |     1508    397 |        0 |        0
137.58/137.62	c  137s |      17 |   362750 |   281632 |     1508    400 |        0 |        0
139.57/139.63	c  139s |      17 |   365815 |   284032 |     1508    403 |        0 |        0
141.67/141.71	c  141s |      17 |   369229 |   286432 |     1508    405 |        0 |        0
143.67/143.77	c  143s |      17 |   373686 |   289132 |     1508    408 |        0 |        0
145.77/145.81	c  145s |      17 |   377294 |   291832 |     1508    411 |        0 |        0
147.77/147.87	c  147s |      17 |   380832 |   294432 |     1659    414 |        0 |        0
149.47/149.50	c  149s |      18 |   384115 |   296252 |     1659    416 |        0 |        0
151.47/151.50	c  151s |      18 |   393383 |   301552 |     1659    422 |        0 |        0
153.47/153.53	c  153s |      18 |   402904 |   305952 |     1659    427 |        0 |        0
155.47/155.53	c  155s |      18 |   410018 |   310052 |     1659    431 |        0 |        0
157.47/157.53	c  157s |      18 |   416516 |   314552 |     1659    436 |        0 |        0
159.48/159.54	c  159s |      18 |   422887 |   318552 |     1659    440 |        0 |        0
161.47/161.57	c  161s |      18 |   429972 |   322852 |     1659    444 |        0 |        0
163.47/163.59	c  163s |      18 |   435586 |   326152 |     1659    448 |        0 |        0
165.57/165.63	c  165s |      18 |   441849 |   330052 |     1659    452 |        0 |        0
167.57/167.64	c  167s |      18 |   447767 |   334052 |     1659    456 |        0 |        0
169.57/169.68	c  169s |      18 |   455452 |   338152 |     1659    461 |        0 |        0
171.57/171.70	c  171s |      18 |   461561 |   341952 |     1659    465 |        0 |        0
173.67/173.71	c  173s |      18 |   466784 |   345252 |     1659    468 |        0 |        0
175.67/175.73	c  175s |      18 |   473645 |   349452 |     1659    473 |        0 |        0
177.67/177.73	c  177s |      18 |   479603 |   353352 |     1659    477 |        0 |        0
179.67/179.73	c  179s |      18 |   485818 |   356952 |     1659    481 |        0 |        0
181.67/181.77	c  181s |      18 |   491993 |   361752 |     1659    486 |        0 |        0
183.67/183.80	c  183s |      18 |   497246 |   366152 |     1659    490 |        0 |        0
185.76/185.86	c  185s |      18 |   501649 |   369952 |     1659    494 |        0 |        0
187.76/187.88	c  187s |      18 |   505951 |   373752 |     1659    498 |        0 |        0
189.76/189.89	c  189s |      18 |   510797 |   378052 |     1659    503 |        0 |        0
191.86/191.92	c  191s |      18 |   515571 |   382252 |     1659    507 |        0 |        0
193.86/193.96	c  193s |      18 |   520073 |   386252 |     1659    511 |        0 |        0
195.87/195.99	c  195s |      18 |   524348 |   390052 |     1659    515 |        0 |        0
197.97/198.01	c  197s |      18 |   528819 |   394052 |     1659    520 |        0 |        0
199.96/200.05	c  199s |      18 |   533481 |   398052 |     1659    524 |        0 |        0
201.96/202.08	c  202s |      18 |   539116 |   401852 |     1659    528 |        0 |        0
203.96/204.08	c  204s |      18 |   544242 |   405552 |     1659    532 |        0 |        0
206.06/206.11	c  206s |      18 |   549171 |   408952 |     1659    535 |        0 |        0
208.06/208.13	c  208s |      18 |   557982 |   412552 |     1659    539 |        0 |        0
210.07/210.15	c  210s |      18 |   564608 |   417552 |     1659    544 |        0 |        0
212.06/212.18	c  212s |      18 |   571207 |   421952 |     1659    549 |        0 |        0
214.16/214.20	c  214s |      18 |   578361 |   426252 |     1659    554 |        0 |        0
216.16/216.20	c  216s |      18 |   584086 |   430252 |     1659    558 |        0 |        0
218.16/218.25	c  218s |      18 |   591392 |   434552 |     1659    562 |        0 |        0
220.26/220.31	c  220s |      18 |   597917 |   438452 |     1659    567 |        0 |        0
222.26/222.31	c  222s |      18 |   603039 |   442152 |     1825    570 |        0 |        0
223.56/223.66	c  223s |      19 |   605920 |   444482 |     1825    572 |        0 |        0
225.56/225.68	c  225s |      19 |   613462 |   449382 |     1825    577 |        0 |        0
227.55/227.68	c  227s |      19 |   619343 |   453582 |     1825    581 |        0 |        0
229.55/229.69	c  229s |      19 |   628343 |   457782 |     1825    586 |        0 |        0
231.55/231.70	c  231s |      19 |   633392 |   462082 |     1825    590 |        0 |        0
233.65/233.71	c  233s |      19 |   638596 |   466582 |     1825    595 |        0 |        0
235.65/235.72	c  235s |      19 |   643447 |   470882 |     1825    599 |        0 |        0
237.66/237.74	c  237s |      19 |   648712 |   475582 |     1825    604 |        0 |        0
239.65/239.76	c  239s |      19 |   653352 |   479582 |     1825    607 |        0 |        0
241.75/241.80	c  241s |      19 |   657758 |   483382 |     1825    610 |        0 |        0
243.75/243.83	c  243s |      19 |   662236 |   487382 |     1825    614 |        0 |        0
245.75/245.87	c  245s |      19 |   667682 |   492082 |     1825    618 |        0 |        0
247.85/247.91	c  247s |      19 |   673786 |   496782 |     1825    622 |        0 |        0
249.85/249.91	c  249s |      19 |   678415 |   500982 |     1825    626 |        0 |        0
251.85/251.95	c  251s |      19 |   682996 |   505082 |     1825    630 |        0 |        0
253.85/253.96	c  253s |      19 |   687385 |   509082 |     1825    633 |        0 |        0
255.85/255.98	c  255s |      19 |   691619 |   512882 |     1825    637 |        0 |        0
257.96/258.02	c  257s |      19 |   696967 |   516782 |     1825    640 |        0 |        0
259.95/260.03	c  259s |      19 |   702542 |   521682 |     1825    645 |        0 |        0
261.95/262.03	c  261s |      19 |   707758 |   526182 |     1825    649 |        0 |        0
263.96/264.04	c  263s |      19 |   713081 |   530282 |     1825    653 |        0 |        0
265.95/266.09	c  266s |      19 |   717752 |   534482 |     1825    657 |        0 |        0
268.05/268.11	c  268s |      19 |   722080 |   538382 |     1825    660 |        0 |        0
270.05/270.15	c  270s |      19 |   726061 |   541982 |     1825    663 |        0 |        0
272.15/272.20	c  272s |      19 |   730041 |   545582 |     1825    667 |        0 |        0
274.15/274.23	c  274s |      19 |   734274 |   549382 |     1825    670 |        0 |        0
276.15/276.24	c  276s |      19 |   738351 |   553082 |     1825    673 |        0 |        0
278.15/278.25	c  278s |      19 |   742264 |   556582 |     1825    676 |        0 |        0
280.15/280.28	c  280s |      19 |   746103 |   560082 |     1825    680 |        0 |        0
282.15/282.28	c  282s |      19 |   749692 |   563382 |     1825    683 |        0 |        0
284.24/284.34	c  284s |      19 |   753735 |   567082 |     1825    686 |        0 |        0
286.24/286.36	c  286s |      19 |   757563 |   570582 |     1825    689 |        0 |        0
288.34/288.41	c  288s |      19 |   761313 |   573982 |     1825    692 |        0 |        0
290.35/290.46	c  290s |      19 |   765036 |   577082 |     1825    695 |        0 |        0
292.44/292.51	c  292s |      19 |   768476 |   580182 |     1825    698 |        0 |        0
294.43/294.56	c  294s |      19 |   771858 |   583282 |     1825    701 |        0 |        0
296.43/296.59	c  296s |      19 |   775216 |   586382 |     1825    703 |        0 |        0
298.53/298.62	c  298s |      19 |   778530 |   589382 |     1825    706 |        0 |        0
300.53/300.66	c  300s |      19 |   781939 |   592482 |     1825    709 |        0 |        0
302.54/302.67	c  302s |      19 |   785183 |   595482 |     1825    712 |        0 |        0
304.53/304.69	c  304s |      19 |   788483 |   598482 |     1825    714 |        0 |        0
306.63/306.70	c  306s |      19 |   791793 |   601482 |     1825    717 |        0 |        0
308.63/308.72	c  308s |      19 |   795332 |   604682 |     1825    720 |        0 |        0
310.63/310.76	c  310s |      19 |   800322 |   608682 |     1825    723 |        0 |        0
312.63/312.78	c  312s |      19 |   804375 |   612182 |     1825    727 |        0 |        0
314.72/314.83	c  314s |      19 |   807777 |   615282 |     1825    729 |        0 |        0
316.73/316.84	c  316s |      19 |   810785 |   617982 |     1825    732 |        0 |        0
318.72/318.85	c  318s |      19 |   814282 |   620482 |     1825    734 |        0 |        0
320.72/320.88	c  320s |      19 |   818432 |   624082 |     1825    738 |        0 |        0
322.82/322.93	c  322s |      19 |   822988 |   627482 |     1825    741 |        0 |        0
324.81/324.93	c  324s |      19 |   827168 |   630982 |     1825    744 |        0 |        0
326.81/326.98	c  326s |      19 |   830529 |   633982 |     1825    747 |        0 |        0
328.92/329.01	c  328s |      19 |   834010 |   636682 |     1825    749 |        0 |        0
330.91/331.02	c  330s |      19 |   838357 |   639882 |     1825    752 |        0 |        0
332.91/333.07	c  333s |      19 |   841496 |   642782 |     1825    755 |        0 |        0
335.01/335.10	c  335s |      19 |   844886 |   645582 |     1825    757 |        0 |        0
337.01/337.11	c  337s |      19 |   847753 |   648182 |     1825    759 |        0 |        0
339.01/339.13	c  339s |      19 |   851294 |   651082 |     1825    762 |        0 |        0
341.01/341.18	c  341s |      19 |   854757 |   654082 |     1825    765 |        0 |        0
343.00/343.19	c  343s |      19 |   858713 |   656782 |     1825    767 |        0 |        0
345.10/345.22	c  345s |      19 |   862979 |   659682 |     1825    770 |        0 |        0
347.10/347.22	c  347s |      19 |   866668 |   662382 |     2008    772 |        0 |        0
349.10/349.28	c  349s |      19 |   871680 |   666482 |     2008    776 |        0 |        0
349.30/349.48	c  349s |      20 |   872066 |   666827 |     2008    776 |        0 |        0
351.40/351.51	c  351s |      20 |   879082 |   670727 |     2008    780 |        0 |        0
353.39/353.52	c  353s |      20 |   883916 |   674727 |     2008    784 |        0 |        0
355.39/355.55	c  355s |      20 |   888898 |   679027 |     2008    788 |        0 |        0
357.40/357.56	c  357s |      20 |   893615 |   683227 |     2008    791 |        0 |        0
359.49/359.60	c  359s |      20 |   898305 |   687127 |     2008    795 |        0 |        0
361.49/361.68	c  361s |      20 |   902712 |   690927 |     2008    799 |        0 |        0
363.49/363.68	c  363s |      20 |   906904 |   694127 |     2008    801 |        0 |        0
365.49/365.69	c  365s |      20 |   911171 |   697927 |     2008    805 |        0 |        0
367.49/367.69	c  367s |      20 |   915861 |   702027 |     2008    809 |        0 |        0
369.59/369.72	c  369s |      20 |   920889 |   706127 |     2008    813 |        0 |        0
371.59/371.73	c  371s |      20 |   925191 |   709627 |     2008    816 |        0 |        0
373.58/373.76	c  373s |      20 |   929462 |   713227 |     2008    819 |        0 |        0
375.68/375.81	c  375s |      20 |   934120 |   717227 |     2008    823 |        0 |        0
377.68/377.86	c  377s |      20 |   937957 |   720527 |     2008    826 |        0 |        0
379.68/379.89	c  379s |      20 |   942583 |   724327 |     2008    829 |        0 |        0
381.78/381.90	c  381s |      20 |   947043 |   728027 |     2008    833 |        0 |        0
383.79/383.91	c  383s |      20 |   951604 |   731827 |     2008    836 |        0 |        0
385.78/385.97	c  385s |      20 |   955747 |   735327 |     2008    840 |        0 |        0
387.88/388.01	c  387s |      20 |   959988 |   738727 |     2008    843 |        0 |        0
389.88/390.06	c  389s |      20 |   964628 |   742327 |     2008    846 |        0 |        0
391.98/392.10	c  392s |      20 |   969070 |   745627 |     2008    849 |        0 |        0
393.98/394.12	c  394s |      20 |   973489 |   749427 |     2008    852 |        0 |        0
395.98/396.14	c  396s |      20 |   978276 |   753627 |     2008    856 |        0 |        0
397.98/398.15	c  398s |      20 |   982925 |   757727 |     2008    860 |        0 |        0
399.98/400.18	c  400s |      20 |   987785 |   761827 |     2008    864 |        0 |        0
401.97/402.19	c  402s |      20 |   992209 |   765727 |     2008    867 |        0 |        0
404.07/404.21	c  404s |      20 |   996573 |   769627 |     2008    871 |        0 |        0
406.07/406.24	c  406s |      20 |  1000955 |   773327 |     2008    874 |        0 |        0
408.08/408.26	c  408s |      20 |  1005425 |   777227 |     2008    878 |        0 |        0
410.07/410.26	c  410s |      20 |  1009952 |   781227 |     2008    882 |        0 |        0
412.07/412.26	c  412s |      20 |  1014226 |   785027 |     2008    885 |        0 |        0
414.16/414.30	c  414s |      20 |  1019078 |   789127 |     2008    889 |        0 |        0
416.16/416.34	c  416s |      20 |  1023593 |   792927 |     2008    892 |        0 |        0
418.16/418.37	c  418s |      20 |  1027941 |   796727 |     2008    896 |        0 |        0
420.17/420.39	c  420s |      20 |  1032136 |   800327 |     2008    899 |        0 |        0
422.27/422.45	c  422s |      20 |  1036601 |   804127 |     2008    903 |        0 |        0
424.26/424.48	c  424s |      20 |  1040575 |   807627 |     2008    906 |        0 |        0
426.26/426.49	c  426s |      20 |  1044606 |   811227 |     2008    909 |        0 |        0
428.35/428.50	c  428s |      20 |  1048406 |   814627 |     2008    913 |        0 |        0
430.35/430.50	c  430s |      20 |  1052447 |   818227 |     2008    916 |        0 |        0
432.35/432.51	c  432s |      20 |  1057222 |   822227 |     2008    920 |        0 |        0
434.35/434.56	c  434s |      20 |  1061612 |   826127 |     2008    923 |        0 |        0
436.44/436.62	c  436s |      20 |  1065998 |   830027 |     2008    927 |        0 |        0
438.44/438.62	c  438s |      20 |  1070465 |   833927 |     2008    931 |        0 |        0
440.44/440.65	c  440s |      20 |  1075390 |   838127 |     2008    934 |        0 |        0
442.44/442.66	c  442s |      20 |  1080081 |   842127 |     2008    938 |        0 |        0
444.44/444.70	c  444s |      20 |  1084628 |   845927 |     2008    942 |        0 |        0
446.55/446.71	c  446s |      20 |  1088915 |   849727 |     2008    945 |        0 |        0
448.54/448.74	c  448s |      20 |  1093062 |   853227 |     2008    949 |        0 |        0
450.54/450.78	c  450s |      20 |  1097410 |   857027 |     2008    952 |        0 |        0
452.64/452.82	c  452s |      20 |  1101900 |   860927 |     2008    956 |        0 |        0
454.63/454.83	c  454s |      20 |  1106092 |   864627 |     2008    959 |        0 |        0
456.64/456.83	c  456s |      20 |  1110168 |   868227 |     2008    963 |        0 |        0
458.65/458.85	c  458s |      20 |  1114283 |   871827 |     2008    966 |        0 |        0
460.64/460.86	c  460s |      20 |  1117797 |   874927 |     2008    969 |        0 |        0
462.64/462.89	c  462s |      20 |  1121775 |   878327 |     2008    972 |        0 |        0
464.73/464.90	c  464s |      20 |  1125909 |   881927 |     2008    975 |        0 |        0
466.73/466.93	c  466s |      20 |  1129966 |   885427 |     2008    979 |        0 |        0
468.73/468.93	c  468s |      20 |  1134885 |   889427 |     2008    982 |        0 |        0
470.74/470.95	c  470s |      20 |  1139011 |   892927 |     2008    986 |        0 |        0
472.73/472.97	c  472s |      20 |  1143929 |   897227 |     2008    990 |        0 |        0
474.83/475.00	c  474s |      20 |  1148465 |   901227 |     2008    993 |        0 |        0
476.83/477.02	c  476s |      20 |  1152499 |   904727 |     2008    997 |        0 |        0
478.83/479.09	c  479s |      20 |  1157220 |   908727 |     2008   1001 |        0 |        0
480.93/481.10	c  481s |      20 |  1162060 |   912827 |     2008   1004 |        0 |        0
482.92/483.11	c  483s |      20 |  1166595 |   916827 |     2008   1008 |        0 |        0
484.93/485.14	c  485s |      20 |  1170854 |   920527 |     2008   1012 |        0 |        0
486.92/487.14	c  487s |      20 |  1175972 |   924727 |     2008   1016 |        0 |        0
488.92/489.16	c  489s |      20 |  1180870 |   928927 |     2008   1019 |        0 |        0
491.02/491.21	c  491s |      20 |  1185366 |   932927 |     2008   1023 |        0 |        0
493.01/493.24	c  493s |      20 |  1189997 |   937027 |     2008   1027 |        0 |        0
495.01/495.29	c  495s |      20 |  1194358 |   940927 |     2008   1031 |        0 |        0
497.12/497.31	c  497s |      20 |  1199111 |   945127 |     2008   1035 |        0 |        0
499.11/499.35	c  499s |      20 |  1203443 |   948927 |     2008   1038 |        0 |        0
501.21/501.40	c  501s |      20 |  1208045 |   952827 |     2008   1042 |        0 |        0
503.21/503.41	c  503s |      20 |  1212413 |   956727 |     2008   1046 |        0 |        0
505.21/505.42	c  505s |      20 |  1216801 |   960627 |     2008   1049 |        0 |        0
507.21/507.46	c  507s |      20 |  1220928 |   964327 |     2008   1053 |        0 |        0
509.21/509.46	c  509s |      20 |  1225169 |   968127 |     2008   1056 |        0 |        0
511.21/511.49	c  511s |      20 |  1229261 |   971727 |     2008   1060 |        0 |        0
513.30/513.50	c  513s |      20 |  1233687 |   975627 |     2008   1063 |        0 |        0
515.30/515.54	c  515s |      20 |  1238331 |   979627 |     2008   1067 |        0 |        0
517.30/517.59	c  517s |      20 |  1242701 |   983527 |     2008   1071 |        0 |        0
519.30/519.59	c  519s |      20 |  1247122 |   987427 |     2008   1074 |        0 |        0
521.31/521.60	c  521s |      20 |  1251425 |   991227 |     2008   1078 |        0 |        0
523.40/523.62	c  523s |      20 |  1257025 |   996127 |     2209   1082 |        0 |        0
525.40/525.67	c  525s |      20 |  1261541 |  1000127 |     2209   1086 |        0 |        0
525.50/525.77	c  525s |      21 |  1261789 |  1000345 |     2209   1086 |        0 |        0
527.49/527.78	c  527s |      21 |  1267234 |  1004045 |     2209   1089 |        0 |        0
529.59/529.80	c  529s |      21 |  1272112 |  1007745 |     2209   1092 |        0 |        0
531.59/531.86	c  531s |      21 |  1278042 |  1011945 |     2209   1096 |        0 |        0
533.69/533.94	c  533s |      21 |  1283003 |  1015545 |     2209   1099 |        0 |        0
535.69/535.97	c  535s |      21 |  1288332 |  1019045 |     2209   1101 |        0 |        0
537.80/538.02	c  537s |      21 |  1293516 |  1022645 |     2209   1104 |        0 |        0
539.79/540.03	c  539s |      21 |  1297575 |  1025445 |     2209   1107 |        0 |        0
541.89/542.10	c  542s |      21 |  1302111 |  1028245 |     2209   1109 |        0 |        0
543.89/544.17	c  544s |      21 |  1306670 |  1030845 |     2209   1111 |        0 |        0
545.89/546.17	c  546s |      21 |  1312827 |  1033645 |     2209   1114 |        0 |        0
547.99/548.23	c  548s |      21 |  1317076 |  1036445 |     2209   1116 |        0 |        0
549.99/550.27	c  550s |      21 |  1321688 |  1039445 |     2209   1118 |        0 |        0
552.09/552.32	c  552s |      21 |  1326817 |  1042545 |     2209   1121 |        0 |        0
554.08/554.38	c  554s |      21 |  1331240 |  1045345 |     2209   1123 |        0 |        0
556.18/556.42	c  556s |      21 |  1335975 |  1048245 |     2209   1126 |        0 |        0
558.18/558.45	c  558s |      21 |  1340307 |  1051445 |     2209   1128 |        0 |        0
560.28/560.55	c  560s |      21 |  1343950 |  1054345 |     2209   1131 |        0 |        0
562.28/562.57	c  562s |      21 |  1348331 |  1057345 |     2209   1133 |        0 |        0
564.38/564.65	c  564s |      21 |  1352899 |  1060245 |     2209   1135 |        0 |        0
566.47/566.71	c  566s |      21 |  1357103 |  1063045 |     2209   1138 |        0 |        0
568.48/568.79	c  568s |      21 |  1360810 |  1065345 |     2209   1140 |        0 |        0
570.57/570.86	c  570s |      21 |  1365762 |  1068045 |     2209   1142 |        0 |        0
572.57/572.89	c  572s |      21 |  1370142 |  1070445 |     2209   1144 |        0 |        0
574.67/574.94	c  574s |      21 |  1373725 |  1072845 |     2209   1146 |        0 |        0
576.67/576.95	c  576s |      21 |  1377109 |  1075145 |     2209   1148 |        0 |        0
578.67/578.98	c  578s |      21 |  1382021 |  1078545 |     2209   1150 |        0 |        0
580.77/581.00	c  580s |      21 |  1388550 |  1081445 |     2209   1153 |        0 |        0
582.78/583.01	c  582s |      21 |  1395663 |  1084645 |     2209   1155 |        0 |        0
584.77/585.01	c  584s |      21 |  1399434 |  1087145 |     2209   1157 |        0 |        0
586.77/587.06	c  586s |      21 |  1402920 |  1089445 |     2209   1159 |        0 |        0
588.87/589.13	c  589s |      21 |  1407418 |  1092245 |     2209   1161 |        0 |        0
590.86/591.15	c  591s |      21 |  1410123 |  1094345 |     2209   1163 |        0 |        0
592.86/593.17	c  593s |      21 |  1413370 |  1096545 |     2209   1165 |        0 |        0
594.87/595.18	c  595s |      21 |  1417919 |  1098945 |     2209   1167 |        0 |        0
596.96/597.21	c  597s |      21 |  1422100 |  1101545 |     2209   1169 |        0 |        0
598.96/599.26	c  599s |      21 |  1425997 |  1104045 |     2209   1171 |        0 |        0
600.96/601.26	c  601s |      21 |  1429319 |  1106345 |     2209   1173 |        0 |        0
603.05/603.32	c  603s |      21 |  1434354 |  1110245 |     2209   1176 |        0 |        0
605.05/605.37	c  605s |      21 |  1438978 |  1114245 |     2209   1179 |        0 |        0
607.06/607.38	c  607s |      21 |  1443332 |  1118045 |     2209   1182 |        0 |        0
609.05/609.39	c  609s |      21 |  1447401 |  1121545 |     2209   1185 |        0 |        0
611.15/611.40	c  611s |      21 |  1451646 |  1125145 |     2209   1188 |        0 |        0
613.14/613.42	c  613s |      21 |  1455530 |  1128445 |     2209   1191 |        0 |        0
615.14/615.46	c  615s |      21 |  1458924 |  1131445 |     2209   1193 |        0 |        0
617.14/617.48	c  617s |      21 |  1462248 |  1134445 |     2209   1196 |        0 |        0
619.24/619.52	c  619s |      21 |  1465716 |  1137545 |     2209   1198 |        0 |        0
621.25/621.53	c  621s |      21 |  1469109 |  1140545 |     2209   1200 |        0 |        0
623.24/623.53	c  623s |      21 |  1471919 |  1143045 |     2209   1202 |        0 |        0
625.24/625.57	c  625s |      21 |  1475099 |  1145845 |     2209   1205 |        0 |        0
627.34/627.62	c  627s |      21 |  1479048 |  1149045 |     2209   1207 |        0 |        0
629.34/629.63	c  629s |      21 |  1483315 |  1152545 |     2209   1210 |        0 |        0
631.34/631.66	c  631s |      21 |  1487488 |  1155745 |     2209   1213 |        0 |        0
633.34/633.67	c  633s |      21 |  1491392 |  1158645 |     2209   1215 |        0 |        0
635.33/635.68	c  635s |      21 |  1494757 |  1161345 |     2209   1217 |        0 |        0
637.44/637.73	c  637s |      21 |  1497648 |  1163845 |     2209   1219 |        0 |        0
639.44/639.76	c  639s |      21 |  1501414 |  1166445 |     2209   1221 |        0 |        0
641.54/641.83	c  641s |      21 |  1505121 |  1169045 |     2209   1223 |        0 |        0
643.53/643.89	c  643s |      21 |  1508494 |  1171645 |     2209   1226 |        0 |        0
645.63/645.90	c  645s |      21 |  1511529 |  1174145 |     2209   1228 |        0 |        0
647.64/647.93	c  647s |      21 |  1514934 |  1176845 |     2209   1230 |        0 |        0
649.63/649.93	c  649s |      21 |  1518501 |  1179645 |     2209   1232 |        0 |        0
651.63/651.99	c  651s |      21 |  1521445 |  1182145 |     2209   1234 |        0 |        0
653.72/654.06	c  653s |      21 |  1524449 |  1184445 |     2209   1236 |        0 |        0
655.72/656.06	c  655s |      21 |  1526742 |  1186345 |     2209   1237 |        0 |        0
657.72/658.07	c  658s |      21 |  1529288 |  1188445 |     2209   1239 |        0 |        0
659.83/660.13	c  660s |      21 |  1534219 |  1191145 |     2209   1241 |        0 |        0
661.82/662.16	c  662s |      21 |  1537868 |  1193645 |     2209   1243 |        0 |        0
663.82/664.18	c  664s |      21 |  1541030 |  1195945 |     2209   1245 |        0 |        0
665.92/666.21	c  666s |      21 |  1543667 |  1198045 |     2209   1247 |        0 |        0
668.02/668.30	c  668s |      21 |  1546921 |  1200245 |     2209   1249 |        0 |        0
670.02/670.35	c  670s |      21 |  1549710 |  1202045 |     2209   1250 |        0 |        0
672.12/672.49	c  672s |      21 |  1551816 |  1203745 |     2209   1252 |        0 |        0
674.21/674.51	c  674s |      21 |  1555736 |  1205945 |     2209   1253 |        0 |        0
676.22/676.58	c  676s |      21 |  1558992 |  1208245 |     2209   1255 |        0 |        0
678.31/678.66	c  678s |      21 |  1562969 |  1210845 |     2209   1257 |        0 |        0
680.41/680.71	c  680s |      21 |  1567254 |  1213145 |     2209   1259 |        0 |        0
682.41/682.76	c  682s |      21 |  1571658 |  1215645 |     2209   1261 |        0 |        0
684.41/684.78	c  684s |      21 |  1574941 |  1217945 |     2209   1263 |        0 |        0
686.61/686.91	c  686s |      21 |  1578287 |  1220145 |     2209   1265 |        0 |        0
688.61/688.94	c  688s |      21 |  1580989 |  1222245 |     2209   1267 |        0 |        0
690.62/690.99	c  690s |      21 |  1584949 |  1224445 |     2209   1268 |        0 |        0
692.72/693.07	c  693s |      21 |  1588334 |  1226445 |     2209   1270 |        0 |        0
694.80/695.14	c  695s |      21 |  1590783 |  1228245 |     2209   1272 |        0 |        0
696.80/697.17	c  697s |      21 |  1593255 |  1230145 |     2209   1273 |        0 |        0
698.90/699.20	c  699s |      21 |  1598243 |  1233545 |     2209   1275 |        0 |        0
700.90/701.21	c  701s |      21 |  1604410 |  1236445 |     2209   1278 |        0 |        0
702.90/703.26	c  703s |      21 |  1608011 |  1239245 |     2209   1280 |        0 |        0
704.90/705.29	c  705s |      21 |  1611165 |  1241545 |     2209   1281 |        0 |        0
707.00/707.32	c  707s |      21 |  1614570 |  1243845 |     2209   1283 |        0 |        0
709.10/709.41	c  709s |      21 |  1618025 |  1246045 |     2209   1284 |        0 |        0
711.10/711.43	c  711s |      21 |  1621363 |  1248745 |     2209   1286 |        0 |        0
713.09/713.49	c  713s |      21 |  1624366 |  1251445 |     2209   1288 |        0 |        0
715.19/715.52	c  715s |      21 |  1627580 |  1254045 |     2209   1290 |        0 |        0
717.19/717.56	c  717s |      21 |  1630579 |  1256445 |     2209   1292 |        0 |        0
719.29/719.64	c  719s |      21 |  1634486 |  1259045 |     2209   1294 |        0 |        0
721.30/721.67	c  721s |      21 |  1638251 |  1261645 |     2209   1296 |        0 |        0
723.39/723.75	c  723s |      21 |  1641290 |  1263945 |     2209   1297 |        0 |        0
725.38/725.75	c  725s |      21 |  1643749 |  1265945 |     2209   1299 |        0 |        0
727.38/727.79	c  727s |      21 |  1646639 |  1268445 |     2209   1300 |        0 |        0
729.48/729.87	c  729s |      21 |  1649060 |  1270645 |     2209   1302 |        0 |        0
731.58/731.95	c  731s |      21 |  1651600 |  1272745 |     2209   1304 |        0 |        0
733.58/733.96	c  733s |      21 |  1654154 |  1274945 |     2209   1305 |        0 |        0
735.68/736.06	c  735s |      21 |  1656536 |  1277045 |     2209   1307 |        0 |        0
737.78/738.13	c  738s |      21 |  1658877 |  1279145 |     2209   1308 |        0 |        0
739.88/740.21	c  740s |      21 |  1661002 |  1281045 |     2209   1309 |        0 |        0
741.88/742.24	c  742s |      21 |  1663415 |  1283145 |     2209   1311 |        0 |        0
743.87/744.25	c  744s |      21 |  1666539 |  1285645 |     2209   1313 |        0 |        0
745.87/746.29	c  746s |      21 |  1669823 |  1288145 |     2209   1315 |        0 |        0
747.97/748.36	c  748s |      21 |  1673005 |  1290745 |     2209   1316 |        0 |        0
749.98/750.37	c  750s |      21 |  1676082 |  1292945 |     2209   1318 |        0 |        0
752.08/752.49	c  752s |      21 |  1678764 |  1295145 |     2209   1320 |        0 |        0
754.27/754.61	c  754s |      21 |  1681751 |  1297145 |     2209   1321 |        0 |        0
756.36/756.75	c  756s |      21 |  1684836 |  1299445 |     2209   1323 |        0 |        0
758.46/758.83	c  758s |      21 |  1687666 |  1301545 |     2209   1324 |        0 |        0
760.46/760.89	c  760s |      21 |  1690061 |  1303645 |     2209   1326 |        0 |        0
762.56/762.91	c  762s |      21 |  1692966 |  1305945 |     2209   1327 |        0 |        0
764.66/765.04	c  764s |      21 |  1695120 |  1307845 |     2209   1329 |        0 |        0
766.66/767.05	c  766s |      21 |  1697015 |  1309545 |     2209   1330 |        0 |        0
768.66/769.09	c  769s |      21 |  1699842 |  1311945 |     2209   1331 |        0 |        0
770.66/771.09	c  771s |      21 |  1702096 |  1313945 |     2209   1333 |        0 |        0
772.76/773.13	c  773s |      21 |  1704723 |  1315845 |     2209   1334 |        0 |        0
774.75/775.16	c  775s |      21 |  1707231 |  1318045 |     2209   1336 |        0 |        0
776.85/777.22	c  777s |      21 |  1709643 |  1320145 |     2209   1337 |        0 |        0
778.85/779.25	c  779s |      21 |  1711936 |  1322245 |     2209   1339 |        0 |        0
780.95/781.31	c  781s |      21 |  1714424 |  1324345 |     2209   1340 |        0 |        0
782.95/783.37	c  783s |      21 |  1716589 |  1326145 |     2209   1342 |        0 |        0
784.95/785.37	c  785s |      21 |  1718384 |  1327745 |     2209   1343 |        0 |        0
787.05/787.42	c  787s |      21 |  1721035 |  1329845 |     2209   1344 |        0 |        0
789.05/789.43	c  789s |      21 |  1724114 |  1332245 |     2209   1346 |        0 |        0
791.05/791.46	c  791s |      21 |  1727007 |  1334445 |     2209   1347 |        0 |        0
793.04/793.46	c  793s |      21 |  1730403 |  1336645 |     2209   1349 |        0 |        0
795.14/795.54	c  795s |      21 |  1733205 |  1338745 |     2209   1351 |        0 |        0
797.25/797.64	c  797s |      21 |  1737218 |  1341545 |     2209   1353 |        0 |        0
799.35/799.74	c  799s |      21 |  1739928 |  1343845 |     2209   1354 |        0 |        0
801.34/801.75	c  801s |      21 |  1742295 |  1345645 |     2209   1355 |        0 |        0
803.43/803.88	c  803s |      21 |  1744547 |  1347345 |     2209   1357 |        0 |        0
805.53/805.94	c  805s |      21 |  1747168 |  1349545 |     2209   1358 |        0 |        0
807.53/807.97	c  807s |      21 |  1750149 |  1351945 |     2209   1360 |        0 |        0
809.73/810.11	c  810s |      21 |  1752762 |  1354145 |     2209   1362 |        0 |        0
811.73/812.16	c  812s |      21 |  1755562 |  1356345 |     2209   1363 |        0 |        0
813.73/814.19	c  814s |      21 |  1758368 |  1358745 |     2209   1365 |        0 |        0
815.93/816.31	c  816s |      21 |  1761928 |  1360745 |     2209   1366 |        0 |        0
817.93/818.39	c  818s |      21 |  1765676 |  1363145 |     2209   1368 |        0 |        0
820.03/820.43	c  820s |      21 |  1768093 |  1365145 |     2209   1369 |        0 |        0
822.13/822.52	c  822s |      21 |  1770680 |  1367145 |     2209   1371 |        0 |        0
824.13/824.58	c  824s |      21 |  1774381 |  1369745 |     2209   1373 |        0 |        0
826.23/826.61	c  826s |      21 |  1778456 |  1372245 |     2209   1375 |        0 |        0
828.23/828.61	c  828s |      21 |  1781247 |  1374345 |     2209   1376 |        0 |        0
830.33/830.75	c  830s |      21 |  1783143 |  1376045 |     2209   1377 |        0 |        0
832.34/832.75	c  832s |      21 |  1786199 |  1378245 |     2209   1379 |        0 |        0
834.42/834.86	c  834s |      21 |  1788999 |  1380245 |     2209   1380 |        0 |        0
836.52/836.91	c  836s |      21 |  1791582 |  1382345 |     2209   1382 |        0 |        0
838.62/839.01	c  838s |      21 |  1794410 |  1384045 |     2209   1383 |        0 |        0
840.62/841.09	c  841s |      21 |  1796800 |  1385845 |     2209   1384 |        0 |        0
842.72/843.17	c  843s |      21 |  1799216 |  1387845 |     2209   1386 |        0 |        0
844.82/845.22	c  845s |      21 |  1801470 |  1389845 |     2209   1387 |        0 |        0
846.92/847.37	c  847s |      21 |  1803240 |  1391445 |     2209   1388 |        0 |        0
848.92/849.38	c  849s |      21 |  1805356 |  1393045 |     2209   1389 |        0 |        0
851.02/851.45	c  851s |      21 |  1807644 |  1394945 |     2209   1391 |        0 |        0
853.01/853.49	c  853s |      21 |  1810337 |  1397345 |     2209   1392 |        0 |        0
855.21/855.60	c  855s |      21 |  1812567 |  1399345 |     2209   1394 |        0 |        0
857.21/857.66	c  857s |      21 |  1814913 |  1401445 |     2209   1395 |        0 |        0
859.31/859.72	c  859s |      21 |  1817024 |  1403345 |     2209   1397 |        0 |        0
861.31/861.75	c  861s |      21 |  1819231 |  1405345 |     2209   1398 |        0 |        0
863.40/863.85	c  863s |      21 |  1821584 |  1407445 |     2209   1400 |        0 |        0
865.50/865.92	c  865s |      21 |  1823669 |  1409345 |     2209   1401 |        0 |        0
867.51/867.93	c  867s |      21 |  1825849 |  1411245 |     2209   1402 |        0 |        0
869.60/870.07	c  870s |      21 |  1827858 |  1413045 |     2209   1404 |        0 |        0
871.70/872.16	c  872s |      21 |  1829703 |  1414745 |     2209   1405 |        0 |        0
873.80/874.24	c  874s |      21 |  1831489 |  1416345 |     2209   1406 |        0 |        0
875.80/876.28	c  876s |      21 |  1833612 |  1418245 |     2209   1407 |        0 |        0
877.90/878.30	c  878s |      21 |  1835787 |  1420245 |     2209   1409 |        0 |        0
879.90/880.31	c  880s |      21 |  1837784 |  1422045 |     2209   1410 |        0 |        0
881.90/882.35	c  882s |      21 |  1840240 |  1424145 |     2209   1411 |        0 |        0
883.89/884.38	c  884s |      21 |  1842989 |  1426545 |     2209   1413 |        0 |        0
885.89/886.38	c  886s |      21 |  1845398 |  1428545 |     2209   1415 |        0 |        0
887.99/888.42	c  888s |      21 |  1847776 |  1430645 |     2209   1416 |        0 |        0
890.08/890.51	c  890s |      21 |  1850087 |  1432645 |     2209   1418 |        0 |        0
892.08/892.51	c  892s |      21 |  1852897 |  1434945 |     2209   1419 |        0 |        0
894.08/894.53	c  894s |      21 |  1855379 |  1437045 |     2209   1421 |        0 |        0
896.08/896.60	c  896s |      21 |  1857926 |  1439245 |     2209   1422 |        0 |        0
898.18/898.63	c  898s |      21 |  1860686 |  1441645 |     2209   1424 |        0 |        0
900.18/900.69	c  900s |      21 |  1863081 |  1443745 |     2209   1425 |        0 |        0
902.28/902.72	c  902s |      21 |  1865699 |  1445945 |     2209   1427 |        0 |        0
904.27/904.77	c  904s |      21 |  1868105 |  1448045 |     2209   1428 |        0 |        0
906.37/906.85	c  906s |      21 |  1870930 |  1450545 |     2209   1430 |        0 |        0
908.47/908.90	c  908s |      21 |  1873233 |  1452645 |     2209   1432 |        0 |        0
910.48/910.99	c  910s |      21 |  1875638 |  1454745 |     2209   1433 |        0 |        0
912.58/913.04	c  912s |      21 |  1878155 |  1456945 |     2209   1435 |        0 |        0
914.57/915.05	c  914s |      21 |  1880869 |  1459345 |     2209   1437 |        0 |        0
916.57/917.06	c  916s |      21 |  1883415 |  1461545 |     2209   1438 |        0 |        0
918.67/919.15	c  919s |      21 |  1885641 |  1463545 |     2209   1440 |        0 |        0
920.67/921.19	c  921s |      21 |  1888100 |  1465745 |     2209   1441 |        0 |        0
922.77/923.26	c  923s |      21 |  1890454 |  1467845 |     2209   1443 |        0 |        0
924.77/925.26	c  925s |      21 |  1892787 |  1469945 |     2209   1444 |        0 |        0
926.76/927.30	c  927s |      21 |  1895281 |  1472045 |     2209   1446 |        0 |        0
928.86/929.37	c  929s |      21 |  1897687 |  1474145 |     2209   1447 |        0 |        0
930.96/931.40	c  931s |      21 |  1900048 |  1476145 |     2209   1448 |        0 |        0
932.96/933.43	c  933s |      21 |  1902252 |  1478045 |     2209   1450 |        0 |        0
934.96/935.48	c  935s |      21 |  1904760 |  1480245 |     2209   1451 |        0 |        0
937.06/937.50	c  937s |      21 |  1906932 |  1482145 |     2209   1453 |        0 |        0
939.07/939.53	c  939s |      21 |  1909213 |  1484145 |     2209   1454 |        0 |        0
941.06/941.60	c  941s |      21 |  1911407 |  1486045 |     2209   1456 |        0 |        0
943.16/943.63	c  943s |      21 |  1913695 |  1488045 |     2209   1457 |        0 |        0
945.26/945.74	c  945s |      21 |  1915599 |  1489745 |     2209   1458 |        0 |        0
947.36/947.84	c  947s |      21 |  1917535 |  1491445 |     2430   1459 |        0 |        0
949.46/949.91	c  949s |      21 |  1919576 |  1493245 |     2430   1460 |        0 |        0
951.46/951.93	c  951s |      21 |  1922213 |  1495045 |     2430   1462 |        0 |        0
953.46/953.96	c  953s |      21 |  1924754 |  1497245 |     2430   1463 |        0 |        0
955.47/956.00	c  955s |      21 |  1927392 |  1499345 |     2430   1464 |        0 |        0
956.86/957.34	c  957s |      22 |  1928976 |  1500622 |     2430   1465 |        0 |        0
958.87/959.37	c  959s |      22 |  1932940 |  1503822 |     2430   1468 |        0 |        0
960.86/961.40	c  961s |      22 |  1937682 |  1506422 |     2430   1470 |        0 |        0
962.96/963.42	c  963s |      22 |  1942443 |  1509922 |     2430   1472 |        0 |        0
964.96/965.43	c  965s |      22 |  1945874 |  1513022 |     2430   1475 |        0 |        0
966.96/967.46	c  967s |      22 |  1948953 |  1515822 |     2430   1477 |        0 |        0
969.06/969.55	c  969s |      22 |  1951912 |  1518522 |     2430   1479 |        0 |        0
971.06/971.56	c  971s |      22 |  1954764 |  1521122 |     2430   1480 |        0 |        0
973.07/973.59	c  973s |      22 |  1957465 |  1523622 |     2430   1482 |        0 |        0
975.16/975.62	c  975s |      22 |  1960096 |  1526022 |     2430   1484 |        0 |        0
977.16/977.64	c  977s |      22 |  1964000 |  1528922 |     2430   1486 |        0 |        0
979.16/979.68	c  979s |      22 |  1967853 |  1531722 |     2430   1488 |        0 |        0
981.26/981.73	c  981s |      22 |  1972692 |  1535422 |     2430   1491 |        0 |        0
983.26/983.74	c  983s |      22 |  1976748 |  1539022 |     2430   1494 |        0 |        0
985.27/985.79	c  985s |      22 |  1980712 |  1542522 |     2430   1496 |        0 |        0
987.37/987.82	c  987s |      22 |  1984210 |  1545722 |     2430   1499 |        0 |        0
989.36/989.87	c  989s |      22 |  1988793 |  1549222 |     2430   1501 |        0 |        0
991.46/991.93	c  991s |      22 |  1992186 |  1552322 |     2430   1504 |        0 |        0
993.46/993.96	c  993s |      22 |  1995575 |  1555422 |     2430   1506 |        0 |        0
995.46/995.98	c  995s |      22 |  1998777 |  1558222 |     2430   1508 |        0 |        0
997.56/998.03	c  997s |      22 |  2001801 |  1560922 |     2430   1510 |        0 |        0
999.57/1000.08	c 1000s |      22 |  2004328 |  1563222 |     2430   1511 |        0 |        0
1001.67/1002.12	c 1002s |      22 |  2008371 |  1566422 |     2430   1514 |        0 |        0
1003.66/1004.18	c 1004s |      22 |  2012033 |  1569722 |     2430   1516 |        0 |        0
1005.66/1006.19	c 1006s |      22 |  2015759 |  1572622 |     2430   1518 |        0 |        0
1007.76/1008.22	c 1008s |      22 |  2019355 |  1575322 |     2430   1520 |        0 |        0
1009.76/1010.24	c 1010s |      22 |  2022173 |  1577722 |     2430   1522 |        0 |        0
1011.76/1012.24	c 1012s |      22 |  2025228 |  1580122 |     2430   1524 |        0 |        0
1013.76/1014.28	c 1014s |      22 |  2029541 |  1582422 |     2430   1526 |        0 |        0
1015.96/1016.42	c 1016s |      22 |  2032625 |  1585022 |     2430   1528 |        0 |        0
1017.96/1018.43	c 1018s |      22 |  2035793 |  1587422 |     2430   1529 |        0 |        0
1019.96/1020.44	c 1020s |      22 |  2039683 |  1590922 |     2430   1532 |        0 |        0
1021.96/1022.48	c 1022s |      22 |  2043059 |  1593922 |     2430   1534 |        0 |        0
1024.06/1024.54	c 1024s |      22 |  2046089 |  1596322 |     2430   1536 |        0 |        0
1026.06/1026.55	c 1026s |      22 |  2048970 |  1598522 |     2430   1537 |        0 |        0
1028.06/1028.60	c 1028s |      22 |  2051980 |  1600522 |     2430   1539 |        0 |        0
1030.16/1030.65	c 1030s |      22 |  2055955 |  1603122 |     2430   1541 |        0 |        0
1032.16/1032.68	c 1032s |      22 |  2058751 |  1605722 |     2430   1543 |        0 |        0
1034.25/1034.73	c 1034s |      22 |  2062213 |  1608522 |     2430   1545 |        0 |        0
1036.25/1036.80	c 1036s |      22 |  2065449 |  1611022 |     2430   1547 |        0 |        0
1038.35/1038.80	c 1038s |      22 |  2068455 |  1613322 |     2430   1548 |        0 |        0
1040.35/1040.86	c 1040s |      22 |  2071086 |  1615522 |     2430   1550 |        0 |        0
1042.36/1042.90	c 1042s |      22 |  2075594 |  1618622 |     2430   1552 |        0 |        0
1044.45/1044.94	c 1044s |      22 |  2079473 |  1621822 |     2430   1555 |        0 |        0
1046.55/1047.02	c 1046s |      22 |  2083277 |  1625122 |     2430   1557 |        0 |        0
1048.55/1049.03	c 1048s |      22 |  2086574 |  1627922 |     2430   1559 |        0 |        0
1050.55/1051.06	c 1050s |      22 |  2089759 |  1630722 |     2430   1561 |        0 |        0
1052.65/1053.10	c 1053s |      22 |  2092621 |  1633322 |     2430   1563 |        0 |        0
1054.65/1055.14	c 1055s |      22 |  2096093 |  1636122 |     2430   1565 |        0 |        0
1056.66/1057.18	c 1057s |      22 |  2099132 |  1638722 |     2430   1567 |        0 |        0
1058.75/1059.23	c 1059s |      22 |  2101918 |  1641222 |     2430   1569 |        0 |        0
1060.75/1061.24	c 1061s |      22 |  2105174 |  1643622 |     2430   1571 |        0 |        0
1062.75/1063.29	c 1063s |      22 |  2108291 |  1646322 |     2430   1573 |        0 |        0
1064.85/1065.34	c 1065s |      22 |  2111796 |  1649322 |     2430   1575 |        0 |        0
1066.85/1067.38	c 1067s |      22 |  2115085 |  1652222 |     2430   1577 |        0 |        0
1068.95/1069.40	c 1069s |      22 |  2118032 |  1654822 |     2430   1579 |        0 |        0
1070.96/1071.41	c 1071s |      22 |  2121014 |  1657522 |     2430   1581 |        0 |        0
1072.95/1073.45	c 1073s |      22 |  2123860 |  1659922 |     2430   1583 |        0 |        0
1075.05/1075.52	c 1075s |      22 |  2127463 |  1663022 |     2430   1585 |        0 |        0
1077.05/1077.57	c 1077s |      22 |  2130729 |  1665922 |     2430   1588 |        0 |        0
1079.15/1079.62	c 1079s |      22 |  2135320 |  1668922 |     2430   1590 |        0 |        0
1081.15/1081.65	c 1081s |      22 |  2139152 |  1672022 |     2430   1592 |        0 |        0
1083.25/1083.72	c 1083s |      22 |  2142549 |  1674922 |     2430   1594 |        0 |        0
1085.25/1085.74	c 1085s |      22 |  2145631 |  1677622 |     2430   1596 |        0 |        0
1087.25/1087.78	c 1087s |      22 |  2148503 |  1680222 |     2430   1598 |        0 |        0
1089.35/1089.84	c 1089s |      22 |  2151652 |  1682522 |     2430   1600 |        0 |        0
1091.35/1091.88	c 1091s |      22 |  2154739 |  1685122 |     2430   1602 |        0 |        0
1093.44/1093.93	c 1093s |      22 |  2158827 |  1687822 |     2430   1604 |        0 |        0
1095.44/1095.97	c 1095s |      22 |  2161606 |  1690122 |     2430   1605 |        0 |        0
1097.45/1097.98	c 1097s |      22 |  2164629 |  1692522 |     2430   1607 |        0 |        0
1099.55/1100.06	c 1099s |      22 |  2167567 |  1695022 |     2430   1609 |        0 |        0
1101.64/1102.10	c 1102s |      22 |  2171001 |  1697122 |     2430   1611 |        0 |        0
1103.64/1104.17	c 1104s |      22 |  2174351 |  1699822 |     2430   1613 |        0 |        0
1105.74/1106.21	c 1106s |      22 |  2177273 |  1702322 |     2430   1614 |        0 |        0
1107.74/1108.26	c 1108s |      22 |  2180001 |  1704722 |     2430   1616 |        0 |        0
1109.74/1110.29	c 1110s |      22 |  2183168 |  1706922 |     2430   1618 |        0 |        0
1111.84/1112.37	c 1112s |      22 |  2185889 |  1709022 |     2430   1619 |        0 |        0
1113.84/1114.38	c 1114s |      22 |  2190359 |  1712122 |     2430   1622 |        0 |        0
1115.94/1116.43	c 1116s |      22 |  2194068 |  1715422 |     2430   1624 |        0 |        0
1118.04/1118.50	c 1118s |      22 |  2197727 |  1718222 |     2430   1626 |        0 |        0
1120.04/1120.55	c 1120s |      22 |  2201657 |  1721122 |     2430   1628 |        0 |        0
1122.14/1122.61	c 1122s |      22 |  2204758 |  1723622 |     2430   1630 |        0 |        0
1124.14/1124.69	c 1124s |      22 |  2209046 |  1726722 |     2430   1633 |        0 |        0
1126.23/1126.76	c 1126s |      22 |  2214212 |  1729922 |     2430   1635 |        0 |        0
1128.24/1128.78	c 1128s |      22 |  2217790 |  1733022 |     2430   1637 |        0 |        0
1130.34/1130.80	c 1130s |      22 |  2220907 |  1735622 |     2430   1639 |        0 |        0
1132.33/1132.82	c 1132s |      22 |  2224190 |  1738522 |     2430   1641 |        0 |        0
1134.33/1134.87	c 1134s |      22 |  2227382 |  1741422 |     2430   1643 |        0 |        0
1136.43/1136.91	c 1136s |      22 |  2230968 |  1744222 |     2430   1646 |        0 |        0
1138.43/1138.93	c 1138s |      22 |  2236811 |  1747722 |     2430   1648 |        0 |        0
1140.43/1140.95	c 1140s |      22 |  2242483 |  1751722 |     2430   1651 |        0 |        0
1142.54/1143.00	c 1142s |      22 |  2247641 |  1755622 |     2430   1654 |        0 |        0
1144.53/1145.01	c 1144s |      22 |  2252354 |  1759322 |     2430   1657 |        0 |        0
1146.53/1147.03	c 1146s |      22 |  2256641 |  1762822 |     2430   1659 |        0 |        0
1148.54/1149.07	c 1149s |      22 |  2261569 |  1766822 |     2430   1662 |        0 |        0
1150.54/1151.08	c 1151s |      22 |  2266269 |  1770622 |     2430   1665 |        0 |        0
1152.54/1153.09	c 1153s |      22 |  2271173 |  1774722 |     2430   1668 |        0 |        0
1154.64/1155.12	c 1155s |      22 |  2275464 |  1778622 |     2430   1671 |        0 |        0
1156.64/1157.13	c 1157s |      22 |  2279506 |  1782322 |     2430   1674 |        0 |        0
1158.63/1159.17	c 1159s |      22 |  2284272 |  1786322 |     2430   1676 |        0 |        0
1160.73/1161.20	c 1161s |      22 |  2288135 |  1789622 |     2430   1679 |        0 |        0
1162.73/1163.23	c 1163s |      22 |  2292249 |  1793022 |     2430   1681 |        0 |        0
1164.73/1165.23	c 1165s |      22 |  2296816 |  1796922 |     2430   1684 |        0 |        0
1166.74/1167.27	c 1167s |      22 |  2301462 |  1800822 |     2430   1687 |        0 |        0
1168.73/1169.30	c 1169s |      22 |  2306272 |  1804622 |     2430   1690 |        0 |        0
1170.83/1171.32	c 1171s |      22 |  2310851 |  1808322 |     2430   1693 |        0 |        0
1172.83/1173.34	c 1173s |      22 |  2314926 |  1811722 |     2430   1695 |        0 |        0
1174.83/1175.34	c 1175s |      22 |  2319224 |  1815322 |     2430   1698 |        0 |        0
1176.83/1177.36	c 1177s |      22 |  2323411 |  1819022 |     2430   1701 |        0 |        0
1178.83/1179.38	c 1179s |      22 |  2327494 |  1822022 |     2430   1703 |        0 |        0
1180.83/1181.38	c 1181s |      22 |  2332800 |  1826322 |     2430   1706 |        0 |        0
1182.93/1183.40	c 1183s |      22 |  2337370 |  1830222 |     2430   1709 |        0 |        0
1184.93/1185.42	c 1185s |      22 |  2341963 |  1833922 |     2430   1712 |        0 |        0
1186.93/1187.43	c 1187s |      22 |  2345864 |  1837322 |     2430   1715 |        0 |        0
1188.93/1189.46	c 1189s |      22 |  2349940 |  1840722 |     2430   1717 |        0 |        0
1190.93/1191.46	c 1191s |      22 |  2353982 |  1844122 |     2430   1720 |        0 |        0
1192.92/1193.49	c 1193s |      22 |  2358013 |  1847722 |     2430   1722 |        0 |        0
1194.92/1195.49	c 1195s |      22 |  2361810 |  1851122 |     2430   1725 |        0 |        0
1197.02/1197.56	c 1197s |      22 |  2365339 |  1854022 |     2430   1727 |        0 |        0
1199.02/1199.57	c 1199s |      22 |  2369306 |  1857222 |     2430   1729 |        0 |        0
1201.02/1201.59	c 1201s |      22 |  2373150 |  1860622 |     2430   1732 |        0 |        0
1203.12/1203.61	c 1203s |      22 |  2376593 |  1863722 |     2430   1734 |        0 |        0
1205.13/1205.69	c 1205s |      22 |  2380169 |  1866822 |     2430   1737 |        0 |        0
1207.22/1207.74	c 1207s |      22 |  2383343 |  1869422 |     2430   1739 |        0 |        0
1209.22/1209.76	c 1209s |      22 |  2386762 |  1872322 |     2430   1741 |        0 |        0
1211.32/1211.81	c 1211s |      22 |  2390161 |  1875322 |     2430   1743 |        0 |        0
1213.32/1213.85	c 1213s |      22 |  2393740 |  1878422 |     2430   1745 |        0 |        0
1215.32/1215.90	c 1215s |      22 |  2396736 |  1881122 |     2430   1747 |        0 |        0
1217.42/1217.93	c 1217s |      22 |  2400048 |  1884022 |     2430   1749 |        0 |        0
1219.53/1220.01	c 1219s |      22 |  2403179 |  1886822 |     2430   1751 |        0 |        0
1221.52/1222.01	c 1221s |      22 |  2407062 |  1889922 |     2430   1754 |        0 |        0
1223.52/1224.06	c 1223s |      22 |  2411415 |  1893622 |     2430   1757 |        0 |        0
1225.52/1226.08	c 1226s |      22 |  2415327 |  1897022 |     2430   1759 |        0 |        0
1227.62/1228.14	c 1228s |      22 |  2418856 |  1900122 |     2430   1761 |        0 |        0
1229.62/1230.18	c 1230s |      22 |  2422526 |  1903322 |     2430   1764 |        0 |        0
1231.62/1232.19	c 1232s |      22 |  2425910 |  1906322 |     2430   1766 |        0 |        0
1233.72/1234.22	c 1234s |      22 |  2429420 |  1909422 |     2430   1768 |        0 |        0
1235.72/1236.25	c 1236s |      22 |  2433194 |  1912522 |     2430   1771 |        0 |        0
1237.72/1238.25	c 1238s |      22 |  2436022 |  1915022 |     2430   1772 |        0 |        0
1239.72/1240.26	c 1240s |      22 |  2439767 |  1918222 |     2430   1775 |        0 |        0
1241.72/1242.26	c 1242s |      22 |  2443485 |  1921522 |     2430   1777 |        0 |        0
1243.73/1244.27	c 1244s |      22 |  2446727 |  1924422 |     2430   1780 |        0 |        0
1245.72/1246.27	c 1246s |      22 |  2449982 |  1927322 |     2430   1782 |        0 |        0
1247.82/1248.30	c 1248s |      22 |  2453552 |  1930422 |     2430   1784 |        0 |        0
1249.82/1250.33	c 1250s |      22 |  2457503 |  1933622 |     2430   1786 |        0 |        0
1251.82/1252.37	c 1252s |      22 |  2461514 |  1937122 |     2430   1789 |        0 |        0
1253.92/1254.43	c 1254s |      22 |  2464982 |  1940222 |     2430   1791 |        0 |        0
1255.92/1256.44	c 1256s |      22 |  2468587 |  1943422 |     2430   1794 |        0 |        0
1257.93/1258.46	c 1258s |      22 |  2472259 |  1946622 |     2430   1796 |        0 |        0
1260.02/1260.51	c 1260s |      22 |  2476096 |  1949722 |     2430   1798 |        0 |        0
1262.02/1262.52	c 1262s |      22 |  2478718 |  1951922 |     2430   1800 |        0 |        0
1264.02/1264.55	c 1264s |      22 |  2482415 |  1955022 |     2430   1802 |        0 |        0
1266.02/1266.58	c 1266s |      22 |  2485683 |  1957922 |     2430   1804 |        0 |        0
1268.12/1268.64	c 1268s |      22 |  2489154 |  1960922 |     2430   1807 |        0 |        0
1270.12/1270.65	c 1270s |      22 |  2492381 |  1963822 |     2430   1809 |        0 |        0
1272.12/1272.69	c 1272s |      22 |  2495712 |  1966722 |     2430   1811 |        0 |        0
1274.22/1274.70	c 1274s |      22 |  2498460 |  1969122 |     2430   1813 |        0 |        0
1276.22/1276.72	c 1276s |      22 |  2501801 |  1971822 |     2430   1815 |        0 |        0
1278.21/1278.75	c 1278s |      22 |  2504660 |  1974322 |     2430   1817 |        0 |        0
1280.21/1280.78	c 1280s |      22 |  2507432 |  1976722 |     2430   1818 |        0 |        0
1282.31/1282.83	c 1282s |      22 |  2510051 |  1979022 |     2430   1820 |        0 |        0
1284.32/1284.87	c 1284s |      22 |  2513202 |  1981722 |     2430   1822 |        0 |        0
1286.31/1286.89	c 1286s |      22 |  2516309 |  1984422 |     2430   1824 |        0 |        0
1288.41/1288.92	c 1288s |      22 |  2519959 |  1987622 |     2430   1826 |        0 |        0
1290.41/1290.94	c 1290s |      22 |  2523873 |  1990822 |     2430   1829 |        0 |        0
1292.41/1292.95	c 1292s |      22 |  2527170 |  1993722 |     2430   1831 |        0 |        0
1294.41/1294.95	c 1294s |      22 |  2530146 |  1996222 |     2430   1833 |        0 |        0
1296.52/1297.01	c 1296s |      22 |  2533730 |  1999222 |     2430   1835 |        0 |        0
1298.51/1299.05	c 1298s |      22 |  2536985 |  2002122 |     2430   1837 |        0 |        0
1300.61/1301.12	c 1301s |      22 |  2540264 |  2004922 |     2430   1839 |        0 |        0
1302.61/1303.17	c 1303s |      22 |  2544032 |  2007822 |     2430   1842 |        0 |        0
1304.71/1305.21	c 1305s |      22 |  2547193 |  2010522 |     2430   1844 |        0 |        0
1306.71/1307.21	c 1307s |      22 |  2551162 |  2013722 |     2430   1846 |        0 |        0
1308.71/1309.26	c 1309s |      22 |  2554658 |  2016622 |     2430   1848 |        0 |        0
1310.71/1311.29	c 1311s |      22 |  2557852 |  2019322 |     2430   1850 |        0 |        0
1312.70/1313.29	c 1313s |      22 |  2560956 |  2021922 |     2430   1852 |        0 |        0
1314.80/1315.30	c 1315s |      22 |  2564439 |  2025022 |     2430   1854 |        0 |        0
1316.80/1317.34	c 1317s |      22 |  2568151 |  2027922 |     2430   1856 |        0 |        0
1318.80/1319.39	c 1319s |      22 |  2571218 |  2030522 |     2430   1858 |        0 |        0
1320.90/1321.40	c 1321s |      22 |  2575735 |  2034222 |     2430   1861 |        0 |        0
1322.91/1323.43	c 1323s |      22 |  2580258 |  2037622 |     2430   1864 |        0 |        0
1324.90/1325.47	c 1325s |      22 |  2584385 |  2041222 |     2430   1866 |        0 |        0
1327.00/1327.50	c 1327s |      22 |  2588140 |  2044622 |     2430   1869 |        0 |        0
1329.00/1329.58	c 1329s |      22 |  2592308 |  2048122 |     2430   1872 |        0 |        0
1331.10/1331.63	c 1331s |      22 |  2595987 |  2051222 |     2430   1874 |        0 |        0
1333.20/1333.70	c 1333s |      22 |  2599722 |  2054222 |     2430   1876 |        0 |        0
1335.20/1335.70	c 1335s |      22 |  2603154 |  2057122 |     2430   1878 |        0 |        0
1337.21/1337.78	c 1337s |      22 |  2606284 |  2059922 |     2430   1880 |        0 |        0
1339.21/1339.79	c 1339s |      22 |  2609199 |  2062522 |     2430   1882 |        0 |        0
1341.31/1341.81	c 1341s |      22 |  2612166 |  2064922 |     2430   1884 |        0 |        0
1343.31/1343.82	c 1343s |      22 |  2615968 |  2068022 |     2430   1886 |        0 |        0
1345.31/1345.86	c 1345s |      22 |  2619285 |  2070822 |     2430   1888 |        0 |        0
1347.31/1347.89	c 1347s |      22 |  2622540 |  2073622 |     2430   1891 |        0 |        0
1349.41/1349.94	c 1349s |      22 |  2625551 |  2076222 |     2430   1892 |        0 |        0
1351.41/1351.96	c 1351s |      22 |  2628885 |  2078922 |     2430   1894 |        0 |        0
1353.41/1353.99	c 1353s |      22 |  2632325 |  2081822 |     2430   1897 |        0 |        0
1355.50/1356.01	c 1355s |      22 |  2635690 |  2084822 |     2430   1899 |        0 |        0
1357.50/1358.05	c 1357s |      22 |  2639119 |  2087822 |     2430   1901 |        0 |        0
1359.60/1360.10	c 1360s |      22 |  2642738 |  2091022 |     2430   1904 |        0 |        0
1361.60/1362.15	c 1362s |      22 |  2646692 |  2094222 |     2430   1906 |        0 |        0
1363.61/1364.19	c 1364s |      22 |  2650494 |  2097522 |     2430   1908 |        0 |        0
1365.71/1366.22	c 1366s |      22 |  2654039 |  2100522 |     2430   1911 |        0 |        0
1367.70/1368.26	c 1368s |      22 |  2657959 |  2103922 |     2430   1913 |        0 |        0
1369.70/1370.27	c 1370s |      22 |  2661703 |  2107122 |     2430   1916 |        0 |        0
1371.80/1372.30	c 1372s |      22 |  2665612 |  2110522 |     2430   1918 |        0 |        0
1373.80/1374.33	c 1374s |      22 |  2669177 |  2113722 |     2430   1920 |        0 |        0
1375.80/1376.36	c 1376s |      22 |  2673086 |  2116922 |     2430   1923 |        0 |        0
1377.81/1378.40	c 1378s |      22 |  2676619 |  2119822 |     2430   1925 |        0 |        0
1379.90/1380.43	c 1380s |      22 |  2679501 |  2122322 |     2430   1927 |        0 |        0
1381.90/1382.44	c 1382s |      22 |  2682831 |  2125122 |     2430   1929 |        0 |        0
1383.90/1384.47	c 1384s |      22 |  2686224 |  2128122 |     2430   1931 |        0 |        0
1386.00/1386.50	c 1386s |      22 |  2689441 |  2131022 |     2430   1933 |        0 |        0
1388.00/1388.56	c 1388s |      22 |  2693354 |  2134322 |     2430   1936 |        0 |        0
1390.00/1390.59	c 1390s |      22 |  2697175 |  2137622 |     2430   1938 |        0 |        0
1392.00/1392.59	c 1392s |      22 |  2700664 |  2140622 |     2430   1940 |        0 |        0
1394.00/1394.59	c 1394s |      22 |  2704274 |  2143622 |     2430   1943 |        0 |        0
1396.10/1396.65	c 1396s |      22 |  2708358 |  2147122 |     2430   1945 |        0 |        0
1398.20/1398.70	c 1398s |      22 |  2712240 |  2150522 |     2430   1948 |        0 |        0
1400.20/1400.72	c 1400s |      22 |  2715917 |  2153722 |     2430   1950 |        0 |        0
1402.19/1402.76	c 1402s |      22 |  2719296 |  2156622 |     2430   1952 |        0 |        0
1404.20/1404.79	c 1404s |      22 |  2722804 |  2159622 |     2430   1955 |        0 |        0
1406.29/1406.84	c 1406s |      22 |  2726001 |  2162422 |     2430   1957 |        0 |        0
1408.39/1408.90	c 1408s |      22 |  2729214 |  2165222 |     2430   1959 |        0 |        0
1410.39/1410.91	c 1410s |      22 |  2732322 |  2167922 |     2430   1961 |        0 |        0
1412.39/1412.93	c 1412s |      22 |  2734797 |  2170122 |     2430   1962 |        0 |        0
1414.39/1414.93	c 1414s |      22 |  2739249 |  2173822 |     2430   1965 |        0 |        0
1416.40/1416.96	c 1416s |      22 |  2743189 |  2177222 |     2430   1968 |        0 |        0
1418.39/1419.00	c 1418s |      22 |  2747135 |  2180622 |     2430   1970 |        0 |        0
1420.49/1421.02	c 1420s |      22 |  2750757 |  2183722 |     2430   1973 |        0 |        0
1422.49/1423.05	c 1422s |      22 |  2754562 |  2187022 |     2430   1975 |        0 |        0
1424.49/1425.10	c 1425s |      22 |  2758222 |  2190222 |     2430   1977 |        0 |        0
1426.59/1427.14	c 1427s |      22 |  2762191 |  2193722 |     2430   1980 |        0 |        0
1428.59/1429.17	c 1429s |      22 |  2765988 |  2196922 |     2430   1982 |        0 |        0
1430.70/1431.24	c 1431s |      22 |  2769217 |  2199722 |     2430   1984 |        0 |        0
1432.80/1433.32	c 1433s |      22 |  2772469 |  2202522 |     2430   1987 |        0 |        0
1434.89/1435.40	c 1435s |      22 |  2775907 |  2205422 |     2430   1989 |        0 |        0
1436.89/1437.43	c 1437s |      22 |  2779047 |  2208122 |     2430   1991 |        0 |        0
1438.89/1439.48	c 1439s |      22 |  2782889 |  2211422 |     2430   1993 |        0 |        0
1440.99/1441.52	c 1441s |      22 |  2786132 |  2214322 |     2430   1995 |        0 |        0
1442.99/1443.57	c 1443s |      22 |  2789522 |  2217322 |     2430   1998 |        0 |        0
1445.09/1445.61	c 1445s |      22 |  2792749 |  2220222 |     2430   2000 |        0 |        0
1447.09/1447.69	c 1447s |      22 |  2796039 |  2223022 |     2430   2002 |        0 |        0
1449.18/1449.70	c 1449s |      22 |  2799016 |  2225622 |     2430   2004 |        0 |        0
1451.18/1451.72	c 1451s |      22 |  2802118 |  2228322 |     2430   2006 |        0 |        0
1453.18/1453.74	c 1453s |      22 |  2805778 |  2231422 |     2430   2008 |        0 |        0
1455.18/1455.78	c 1455s |      22 |  2808796 |  2234122 |     2430   2010 |        0 |        0
1457.28/1457.87	c 1457s |      22 |  2811502 |  2236522 |     2673   2011 |        0 |        0
1459.29/1459.87	c 1459s |      22 |  2814143 |  2238822 |     2673   2013 |        0 |        0
1461.28/1461.89	c 1461s |      22 |  2817494 |  2241722 |     2673   2015 |        0 |        0
1463.28/1463.90	c 1463s |      22 |  2820832 |  2244722 |     2673   2017 |        0 |        0
1465.38/1465.93	c 1465s |      22 |  2824198 |  2247722 |     2673   2019 |        0 |        0
1467.48/1468.00	c 1467s |      22 |  2827444 |  2250622 |     2673   2021 |        0 |        0
1467.68/1468.29	c 1468s |      23 |  2827901 |  2251038 |     2673   2021 |        0 |        0
1469.78/1470.33	c 1470s |      23 |  2834454 |  2254138 |     2673   2024 |        0 |        0
1471.78/1472.34	c 1472s |      23 |  2838694 |  2257938 |     2673   2026 |        0 |        0
1473.78/1474.39	c 1474s |      23 |  2842957 |  2261738 |     2673   2029 |        0 |        0
1475.88/1476.41	c 1476s |      23 |  2846854 |  2265238 |     2673   2031 |        0 |        0
1477.89/1478.42	c 1478s |      23 |  2851524 |  2268438 |     2673   2034 |        0 |        0
1479.88/1480.46	c 1480s |      23 |  2855900 |  2271638 |     2673   2036 |        0 |        0
1481.88/1482.47	c 1482s |      23 |  2859752 |  2274838 |     2673   2038 |        0 |        0
1483.98/1484.54	c 1484s |      23 |  2863389 |  2277938 |     2673   2040 |        0 |        0
1485.98/1486.57	c 1486s |      23 |  2867818 |  2281538 |     2673   2043 |        0 |        0
1488.08/1488.62	c 1488s |      23 |  2872684 |  2284938 |     2673   2045 |        0 |        0
1490.08/1490.69	c 1490s |      23 |  2877029 |  2288738 |     2673   2048 |        0 |        0
1492.18/1492.73	c 1492s |      23 |  2880567 |  2291838 |     2673   2050 |        0 |        0
1494.18/1494.79	c 1494s |      23 |  2884265 |  2295138 |     2673   2052 |        0 |        0
1496.28/1496.84	c 1496s |      23 |  2888529 |  2298238 |     2673   2055 |        0 |        0
1498.28/1498.88	c 1498s |      23 |  2892753 |  2301738 |     2673   2057 |        0 |        0
1500.27/1500.89	c 1500s |      23 |  2896777 |  2305238 |     2673   2060 |        0 |        0
1502.27/1502.89	c 1502s |      23 |  2900794 |  2308738 |     2673   2062 |        0 |        0
1504.39/1504.95	c 1504s |      23 |  2904489 |  2312038 |     2673   2064 |        0 |        0
1506.38/1506.97	c 1506s |      23 |  2908503 |  2315538 |     2673   2067 |        0 |        0
1508.48/1509.01	c 1508s |      23 |  2912651 |  2319138 |     2673   2069 |        0 |        0
1510.48/1511.02	c 1510s |      23 |  2915988 |  2321738 |     2673   2071 |        0 |        0
1512.48/1513.09	c 1513s |      23 |  2918992 |  2324438 |     2673   2073 |        0 |        0
1514.58/1515.13	c 1515s |      23 |  2922544 |  2327438 |     2673   2075 |        0 |        0
1516.58/1517.19	c 1517s |      23 |  2926371 |  2330738 |     2673   2078 |        0 |        0
1518.59/1519.20	c 1519s |      23 |  2930063 |  2333938 |     2673   2080 |        0 |        0
1520.68/1521.22	c 1521s |      23 |  2933571 |  2336838 |     2673   2082 |        0 |        0
1522.68/1523.27	c 1523s |      23 |  2937790 |  2339938 |     2673   2084 |        0 |        0
1524.78/1525.34	c 1525s |      23 |  2941449 |  2342738 |     2673   2086 |        0 |        0
1526.78/1527.39	c 1527s |      23 |  2945581 |  2345838 |     2673   2088 |        0 |        0
1528.88/1529.46	c 1529s |      23 |  2949269 |  2349038 |     2673   2091 |        0 |        0
1530.88/1531.49	c 1531s |      23 |  2953208 |  2352438 |     2673   2093 |        0 |        0
1532.88/1533.49	c 1533s |      23 |  2957039 |  2355738 |     2673   2095 |        0 |        0
1534.98/1535.54	c 1535s |      23 |  2960760 |  2359038 |     2673   2098 |        0 |        0
1537.08/1537.60	c 1537s |      23 |  2964560 |  2362438 |     2673   2100 |        0 |        0
1539.08/1539.64	c 1539s |      23 |  2969773 |  2365738 |     2673   2102 |        0 |        0
1541.07/1541.69	c 1541s |      23 |  2975822 |  2369738 |     2673   2105 |        0 |        0
1543.17/1543.72	c 1543s |      23 |  2980371 |  2373238 |     2673   2108 |        0 |        0
1545.17/1545.77	c 1545s |      23 |  2984357 |  2376338 |     2673   2110 |        0 |        0
1547.18/1547.80	c 1547s |      23 |  2988223 |  2379438 |     2673   2112 |        0 |        0
1549.27/1549.80	c 1549s |      23 |  2992345 |  2382638 |     2673   2114 |        0 |        0
1551.27/1551.82	c 1551s |      23 |  2996077 |  2385738 |     2673   2116 |        0 |        0
1553.27/1553.87	c 1553s |      23 |  2999851 |  2388838 |     2673   2119 |        0 |        0
1555.27/1555.89	c 1555s |      23 |  3003529 |  2391838 |     2673   2121 |        0 |        0
1557.37/1557.91	c 1557s |      23 |  3007813 |  2395238 |     2673   2123 |        0 |        0
1559.38/1559.97	c 1559s |      23 |  3011446 |  2398338 |     2673   2125 |        0 |        0
1561.48/1562.04	c 1561s |      23 |  3014486 |  2401038 |     2673   2127 |        0 |        0
1563.47/1564.10	c 1564s |      23 |  3018368 |  2404238 |     2673   2129 |        0 |        0
1565.57/1566.12	c 1566s |      23 |  3022792 |  2407738 |     2673   2132 |        0 |        0
1567.57/1568.16	c 1568s |      23 |  3031513 |  2411538 |     2673   2134 |        0 |        0
1569.67/1570.25	c 1570s |      23 |  3036085 |  2414838 |     2673   2136 |        0 |        0
1571.67/1572.26	c 1572s |      23 |  3040751 |  2418138 |     2673   2138 |        0 |        0
1573.67/1574.28	c 1574s |      23 |  3044463 |  2421338 |     2673   2140 |        0 |        0
1575.77/1576.31	c 1576s |      23 |  3049100 |  2425238 |     2673   2143 |        0 |        0
1577.77/1578.31	c 1578s |      23 |  3053788 |  2429138 |     2673   2146 |        0 |        0
1579.76/1580.36	c 1580s |      23 |  3059276 |  2433438 |     2673   2149 |        0 |        0
1581.76/1582.38	c 1582s |      23 |  3064202 |  2437138 |     2673   2151 |        0 |        0
1583.86/1584.40	c 1584s |      23 |  3069020 |  2440938 |     2673   2154 |        0 |        0
1585.86/1586.43	c 1586s |      23 |  3073498 |  2444638 |     2673   2156 |        0 |        0
1587.87/1588.47	c 1588s |      23 |  3077869 |  2448238 |     2673   2159 |        0 |        0
1589.96/1590.50	c 1590s |      23 |  3082393 |  2451838 |     2673   2162 |        0 |        0
1591.96/1592.55	c 1592s |      23 |  3086532 |  2455338 |     2673   2164 |        0 |        0
1594.06/1594.61	c 1594s |      23 |  3090566 |  2458738 |     2673   2166 |        0 |        0
1596.06/1596.63	c 1596s |      23 |  3094483 |  2462038 |     2673   2169 |        0 |        0
1598.06/1598.65	c 1598s |      23 |  3098546 |  2465338 |     2673   2171 |        0 |        0
1600.07/1600.67	c 1600s |      23 |  3102307 |  2468538 |     2673   2173 |        0 |        0
1602.17/1602.74	c 1602s |      23 |  3106052 |  2471638 |     2673   2176 |        0 |        0
1604.16/1604.76	c 1604s |      23 |  3109901 |  2474738 |     2673   2178 |        0 |        0
1606.17/1606.77	c 1606s |      23 |  3113471 |  2477738 |     2673   2180 |        0 |        0
1608.17/1608.78	c 1608s |      23 |  3117132 |  2480738 |     2673   2182 |        0 |        0
1610.27/1610.82	c 1610s |      23 |  3120222 |  2483438 |     2673   2184 |        0 |        0
1612.26/1612.88	c 1612s |      23 |  3123225 |  2486038 |     2673   2186 |        0 |        0
1614.27/1614.89	c 1614s |      23 |  3127759 |  2489738 |     2673   2188 |        0 |        0
1616.36/1616.91	c 1616s |      23 |  3132108 |  2493238 |     2673   2191 |        0 |        0
1618.36/1618.97	c 1618s |      23 |  3136136 |  2496538 |     2673   2193 |        0 |        0
1620.36/1621.00	c 1620s |      23 |  3139935 |  2499838 |     2673   2195 |        0 |        0
1622.46/1623.03	c 1622s |      23 |  3144493 |  2503538 |     2673   2198 |        0 |        0
1624.46/1625.08	c 1625s |      23 |  3148405 |  2506738 |     2673   2200 |        0 |        0
1626.56/1627.10	c 1627s |      23 |  3152417 |  2509938 |     2673   2203 |        0 |        0
1628.57/1629.14	c 1629s |      23 |  3156463 |  2513538 |     2673   2205 |        0 |        0
1630.56/1631.16	c 1631s |      23 |  3161027 |  2517338 |     2673   2208 |        0 |        0
1632.56/1633.19	c 1633s |      23 |  3165272 |  2520938 |     2673   2210 |        0 |        0
1634.66/1635.24	c 1635s |      23 |  3169413 |  2524438 |     2673   2213 |        0 |        0
1636.76/1637.30	c 1637s |      23 |  3173368 |  2527838 |     2673   2215 |        0 |        0
1638.76/1639.34	c 1639s |      23 |  3177498 |  2531238 |     2673   2218 |        0 |        0
1640.77/1641.38	c 1641s |      23 |  3181767 |  2534838 |     2673   2220 |        0 |        0
1642.87/1643.42	c 1643s |      23 |  3185602 |  2538038 |     2673   2222 |        0 |        0
1644.86/1645.44	c 1645s |      23 |  3189087 |  2541038 |     2673   2224 |        0 |        0
1646.86/1647.46	c 1647s |      23 |  3193227 |  2544438 |     2673   2227 |        0 |        0
1648.96/1649.53	c 1649s |      23 |  3196836 |  2547538 |     2673   2229 |        0 |        0
1650.96/1651.59	c 1651s |      23 |  3200705 |  2550738 |     2673   2231 |        0 |        0
1653.06/1653.60	c 1653s |      23 |  3204232 |  2553738 |     2673   2233 |        0 |        0
1654.96/1655.60	c 1655s |      23 |  3208144 |  2557038 |     2673   2236 |        0 |        0
1657.06/1657.60	c 1657s |      23 |  3211858 |  2560338 |     2673   2238 |        0 |        0
1659.05/1659.66	c 1659s |      23 |  3215592 |  2563638 |     2673   2240 |        0 |        0
1661.15/1661.72	c 1661s |      23 |  3219113 |  2566738 |     2673   2243 |        0 |        0
1663.15/1663.76	c 1663s |      23 |  3222524 |  2569738 |     2673   2245 |        0 |        0
1665.25/1665.80	c 1665s |      23 |  3225973 |  2572638 |     2673   2247 |        0 |        0
1667.25/1667.82	c 1667s |      23 |  3229804 |  2575838 |     2673   2249 |        0 |        0
1669.26/1669.88	c 1669s |      23 |  3233577 |  2579038 |     2673   2251 |        0 |        0
1671.35/1671.91	c 1671s |      23 |  3237410 |  2582338 |     2673   2253 |        0 |        0
1673.35/1673.96	c 1673s |      23 |  3241311 |  2585838 |     2673   2256 |        0 |        0
1675.35/1675.99	c 1675s |      23 |  3245224 |  2589238 |     2673   2258 |        0 |        0
1677.45/1678.01	c 1677s |      23 |  3248701 |  2592338 |     2673   2261 |        0 |        0
1679.45/1680.02	c 1679s |      23 |  3252503 |  2595738 |     2673   2263 |        0 |        0
1681.46/1682.05	c 1681s |      23 |  3255997 |  2598938 |     2673   2265 |        0 |        0
1683.45/1684.08	c 1684s |      23 |  3259393 |  2602038 |     2673   2267 |        0 |        0
1685.55/1686.11	c 1686s |      23 |  3263034 |  2605238 |     2673   2270 |        0 |        0
1687.55/1688.16	c 1688s |      23 |  3266643 |  2608438 |     2673   2272 |        0 |        0
1689.65/1690.20	c 1690s |      23 |  3270290 |  2611738 |     2673   2274 |        0 |        0
1691.65/1692.22	c 1692s |      23 |  3274285 |  2615038 |     2673   2277 |        0 |        0
1693.65/1694.22	c 1694s |      23 |  3277773 |  2618138 |     2673   2279 |        0 |        0
1695.66/1696.24	c 1696s |      23 |  3281577 |  2621438 |     2673   2281 |        0 |        0
1697.75/1698.30	c 1698s |      23 |  3285475 |  2624738 |     2673   2284 |        0 |        0
1699.75/1700.32	c 1700s |      23 |  3288753 |  2627638 |     2673   2286 |        0 |        0
1701.75/1702.36	c 1702s |      23 |  3292362 |  2630838 |     2673   2288 |        0 |        0
1703.75/1704.37	c 1704s |      23 |  3295857 |  2633938 |     2673   2290 |        0 |        0
1705.85/1706.44	c 1706s |      23 |  3299856 |  2637438 |     2673   2293 |        0 |        0
1707.85/1708.47	c 1708s |      23 |  3303753 |  2640838 |     2673   2295 |        0 |        0
1709.85/1710.50	c 1710s |      23 |  3307659 |  2644138 |     2673   2297 |        0 |        0
1711.94/1712.54	c 1712s |      23 |  3311350 |  2647338 |     2673   2300 |        0 |        0
1713.94/1714.58	c 1714s |      23 |  3315512 |  2650738 |     2673   2302 |        0 |        0
1715.94/1716.59	c 1716s |      23 |  3318824 |  2653638 |     2673   2304 |        0 |        0
1718.04/1718.61	c 1718s |      23 |  3322300 |  2656738 |     2673   2306 |        0 |        0
1720.04/1720.62	c 1720s |      23 |  3325591 |  2659638 |     2673   2308 |        0 |        0
1722.05/1722.67	c 1722s |      23 |  3329934 |  2663038 |     2673   2311 |        0 |        0
1724.04/1724.68	c 1724s |      23 |  3333293 |  2665938 |     2673   2313 |        0 |        0
1726.14/1726.72	c 1726s |      23 |  3336390 |  2668638 |     2673   2315 |        0 |        0
1728.14/1728.76	c 1728s |      23 |  3339967 |  2671738 |     2673   2317 |        0 |        0
1730.24/1730.81	c 1730s |      23 |  3343452 |  2674838 |     2673   2319 |        0 |        0
1732.24/1732.82	c 1732s |      23 |  3347142 |  2678038 |     2673   2321 |        0 |        0
1734.25/1734.87	c 1734s |      23 |  3351340 |  2681738 |     2673   2324 |        0 |        0
1736.24/1736.88	c 1736s |      23 |  3355208 |  2685138 |     2673   2326 |        0 |        0
1738.34/1738.93	c 1738s |      23 |  3358678 |  2688238 |     2673   2328 |        0 |        0
1740.34/1740.94	c 1740s |      23 |  3362738 |  2691838 |     2673   2331 |        0 |        0
1742.35/1742.97	c 1742s |      23 |  3366653 |  2695338 |     2673   2333 |        0 |        0
1744.35/1744.97	c 1744s |      23 |  3370516 |  2698638 |     2673   2336 |        0 |        0
1746.45/1747.04	c 1746s |      23 |  3374404 |  2702038 |     2673   2338 |        0 |        0
1748.45/1749.07	c 1749s |      23 |  3378224 |  2705438 |     2673   2341 |        0 |        0
1750.44/1751.09	c 1751s |      23 |  3382052 |  2708838 |     2673   2343 |        0 |        0
1752.54/1753.14	c 1753s |      23 |  3386049 |  2712338 |     2673   2346 |        0 |        0
1754.54/1755.16	c 1755s |      23 |  3390046 |  2715838 |     2673   2348 |        0 |        0
1756.64/1757.24	c 1757s |      23 |  3393842 |  2719238 |     2673   2351 |        0 |        0
1758.64/1759.27	c 1759s |      23 |  3398110 |  2722838 |     2673   2353 |        0 |        0
1760.74/1761.30	c 1761s |      23 |  3402087 |  2726338 |     2673   2356 |        0 |        0
1762.75/1763.35	c 1763s |      23 |  3405930 |  2729638 |     2673   2358 |        0 |        0
1764.84/1765.40	c 1765s |      23 |  3409994 |  2733238 |     2673   2361 |        0 |        0
1766.84/1767.44	c 1767s |      23 |  3413784 |  2736638 |     2673   2363 |        0 |        0
1768.84/1769.48	c 1769s |      23 |  3417479 |  2739938 |     2673   2365 |        0 |        0
1770.84/1771.49	c 1771s |      23 |  3421279 |  2743338 |     2673   2368 |        0 |        0
1772.94/1773.52	c 1773s |      23 |  3425131 |  2746838 |     2673   2370 |        0 |        0
1774.95/1775.57	c 1775s |      23 |  3428672 |  2750038 |     2673   2372 |        0 |        0
1777.05/1777.62	c 1777s |      23 |  3432194 |  2753238 |     2673   2375 |        0 |        0
1779.04/1779.65	c 1779s |      23 |  3436860 |  2756638 |     2673   2377 |        0 |        0
1781.14/1781.70	c 1781s |      23 |  3441347 |  2759938 |     2673   2379 |        0 |        0
1783.14/1783.72	c 1783s |      23 |  3446010 |  2763238 |     2673   2382 |        0 |        0
1785.14/1785.75	c 1785s |      23 |  3450519 |  2766638 |     2673   2384 |        0 |        0
1787.14/1787.77	c 1787s |      23 |  3454658 |  2770138 |     2673   2387 |        0 |        0
1789.14/1789.79	c 1789s |      23 |  3458434 |  2773438 |     2673   2389 |        0 |        0
1791.24/1791.81	c 1791s |      23 |  3461952 |  2776538 |     2673   2391 |        0 |        0
1793.24/1793.87	c 1793s |      23 |  3465291 |  2779438 |     2673   2393 |        0 |        0
1795.34/1795.91	c 1795s |      23 |  3468757 |  2782438 |     2673   2395 |        0 |        0
1797.34/1797.94	c 1797s |      23 |  3471754 |  2785038 |     2673   2397 |        0 |        0
1799.34/1799.95	c 1799s |      23 |  3475787 |  2788438 |     2673   2399 |        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-4093309-1466080119/watcher-4093309-1466080119 -o /tmp/evaluation-result-4093309-1466080119/solver-4093309-1466080119 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466074715-9714 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093309-1466080119.wbo 

pid=10263
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.01 2.03 2.00 3/179 10266
/proc/meminfo: memFree=30655000/32872528 swapFree=240572/273276
[pid=10266] ppid=10263 vsize=741820 CPUtime=0 cores=1,3,5,7
/proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 2768 0 0 0 0 0 0 0 20 0 4 0 10061912 759623680 3129 33554432000 4194304 16246674 140737393400480 140737393399904 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10266/statm: 186223 3139 441 2943 0 183117 0
[pid=10266/tid=10267] ppid=10263 vsize=759228 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 777449472 3199 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10266/tid=10268] ppid=10263 vsize=763324 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 781643776 3215 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10266/tid=10269] ppid=10263 vsize=768444 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10061912 786886656 3233 33554432000 4194304 16246674 140737393400480 140330825403568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100154 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 10266
/proc/meminfo: memFree=30655000/32872528 swapFree=240572/273276
[pid=10266] ppid=10263 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 26314 0 0 0 5 4 0 0 20 0 4 0 10061912 1247350784 26662 33554432000 4194304 16246674 140737393400480 140737393399904 5532301 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10266/statm: 304529 26676 806 2943 0 301423 0
[pid=10266/tid=10267] ppid=10263 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1247350784 26686 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10266/tid=10268] ppid=10263 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1247350784 26696 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10266/tid=10269] ppid=10263 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10061912 1247350784 26705 33554432000 4194304 16246674 140737393400480 140330825403568 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.20049 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 10266
/proc/meminfo: memFree=30655000/32872528 swapFree=240572/273276
[pid=10266] ppid=10263 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 54522 0 0 0 11 8 0 0 20 0 4 0 10061912 1247350784 54870 33554432000 4194304 16246674 140737393400480 140737393399904 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10266/statm: 304529 54888 806 2943 0 301423 0
[pid=10266/tid=10267] ppid=10263 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1247350784 54901 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10266/tid=10268] ppid=10263 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1247350784 54912 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10266/tid=10269] ppid=10263 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10061912 1247350784 54924 33554432000 4194304 16246674 140737393400480 140330825403568 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.01 2.03 2.00 3/179 10266
/proc/meminfo: memFree=30655000/32872528 swapFree=240572/273276
[pid=10266] ppid=10263 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 82519 0 0 0 18 11 0 0 20 0 4 0 10061912 1247350784 82866 33554432000 4194304 16246674 140737393400480 140737393399904 5662075 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10266/statm: 304529 82882 812 2943 0 301423 0
[pid=10266/tid=10267] ppid=10263 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1247350784 82895 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10266/tid=10268] ppid=10263 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1247350784 82906 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10266/tid=10269] ppid=10263 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10061912 1247350784 82919 33554432000 4194304 16246674 140737393400480 140330825403568 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.700412 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 10266
/proc/meminfo: memFree=30655000/32872528 swapFree=240572/273276
[pid=10266] ppid=10263 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 209568 0 0 0 42 27 0 0 20 0 4 0 10061912 1247350784 209915 33554432000 4194304 16246674 140737393400480 140737393382400 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10266/statm: 304529 209923 812 2943 0 301423 0
[pid=10266/tid=10267] ppid=10263 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1247350784 209932 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10266/tid=10268] ppid=10263 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1247350784 209940 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10266/tid=10269] ppid=10263 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10061912 1247350784 209947 33554432000 4194304 16246674 140737393400480 140330825403568 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.50043 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 10270
/proc/meminfo: memFree=29671064/32872528 swapFree=240572/273276
[pid=10266] ppid=10263 vsize=1304132 CPUtime=1.49 cores=1,3,5,7
/proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 266981 0 0 0 114 35 0 0 20 0 4 0 10061912 1335431168 267306 33554432000 4194304 16246674 140737393400480 140737393399792 5723721 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10266/statm: 326033 267306 872 2943 0 322927 0
[pid=10266/tid=10267] ppid=10263 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1335431168 267306 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10266/tid=10268] ppid=10263 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1335431168 267306 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10266/tid=10269] ppid=10263 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10061912 1335431168 267306 33554432000 4194304 16246674 140737393400480 140330825403568 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) 1304132

[startup+3.10042 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 10270
/proc/meminfo: memFree=29583760/32872528 swapFree=240572/273276
[pid=10266] ppid=10263 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 267566 0 0 0 274 35 0 0 20 0 4 0 10061912 1337528320 267891 33554432000 4194304 16246674 140737393400480 140737393382400 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10266/statm: 326545 267891 872 2943 0 323439 0
[pid=10266/tid=10267] ppid=10263 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1337528320 267891 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10266/tid=10268] ppid=10263 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1337528320 267891 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10266/tid=10269] ppid=10263 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10061912 1337528320 267891 33554432000 4194304 16246674 140737393400480 140330825403568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 10270
/proc/meminfo: memFree=29583520/32872528 swapFree=240572/273276
[pid=10266] ppid=10263 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 267770 0 0 0 594 35 0 0 20 0 4 0 10061912 1338576896 268095 33554432000 4194304 16246674 140737393400480 140737393382400 6842216 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10266/statm: 326801 268095 874 2943 0 323695 0
[pid=10266/tid=10267] ppid=10263 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1338576896 268095 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10266/tid=10268] ppid=10263 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1338576896 268095 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10266/tid=10269] ppid=10263 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10061912 1338576896 268095 33554432000 4194304 16246674 140737393400480 140330825403568 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) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 10270
/proc/meminfo: memFree=29582444/32872528 swapFree=240572/273276
[pid=10266] ppid=10263 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 267919 0 0 0 1234 35 0 0 20 0 4 0 10061912 1338576896 268244 33554432000 4194304 16246674 140737393400480 140737393399656 6021684 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10266/statm: 326801 268244 874 2943 0 323695 0
[pid=10266/tid=10267] ppid=10263 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1338576896 268244 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10266/tid=10268] ppid=10263 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1338576896 268244 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10266/tid=10269] ppid=10263 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10061912 1338576896 268244 33554432000 4194304 16246674 140737393400480 140330825403568 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) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 10270
/proc/meminfo: memFree=29582816/32872528 swapFree=240572/273276
[pid=10266] ppid=10263 vsize=1307204 CPUtime=25.49 cores=1,3,5,7
/proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 267919 0 0 0 2514 35 0 0 20 0 4 0 10061912 1338576896 268244 33554432000 4194304 16246674 140737393400480 140737393382400 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10266/statm: 326801 268244 874 2943 0 323695 0
[pid=10266/tid=10267] ppid=10263 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1338576896 268244 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10266/tid=10268] ppid=10263 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1338576896 268244 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10266/tid=10269] ppid=10263 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10061912 1338576896 268244 33554432000 4194304 16246674 140737393400480 140330825403568 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) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.07 2.04 2.00 3/183 10270
/proc/meminfo: memFree=29582816/32872528 swapFree=240572/273276
[pid=10266] ppid=10263 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 267919 0 0 0 5073 35 0 0 20 0 4 0 10061912 1338576896 268244 33554432000 4194304 16246674 140737393400480 140737393382400 13946543 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10266/statm: 326801 268244 874 2943 0 323695 0
[pid=10266/tid=10267] ppid=10263 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1338576896 268244 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10266/tid=10268] ppid=10263 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1338576896 268244 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10266/tid=10269] ppid=10263 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10061912 1338576896 268244 33554432000 4194304 16246674 140737393400480 140330825403568 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) 1307204

[startup+102.301 s]
/proc/loadavg: 2.09 2.04 2.00 3/184 10274
/proc/meminfo: memFree=29581488/32872528 swapFree=240572/273276
[pid=10266] ppid=10263 vsize=1309252 CPUtime=102.28 cores=1,3,5,7
/proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 268220 0 0 0 10193 35 0 0 20 0 4 0 10061912 1340674048 268545 33554432000 4194304 16246674 140737393400480 140737393382400 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10266/statm: 327313 268545 874 2943 0 324207 0
[pid=10266/tid=10267] ppid=10263 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1340674048 268545 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10266/tid=10268] ppid=10263 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1340674048 268545 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10266/tid=10269] ppid=10263 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10061912 1340674048 268545 33554432000 4194304 16246674 140737393400480 140330825403568 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) 1309252


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

/proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10061912 1348014080 270553 33554432000 4194304 16246674 140737393400480 140330825403568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 1316420

[startup+1302.3 s]
/proc/loadavg: 2.19 2.12 2.04 3/184 10353
/proc/meminfo: memFree=29572228/32872528 swapFree=240572/273276
[pid=10266] ppid=10263 vsize=1317444 CPUtime=1301.81 cores=1,3,5,7
/proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 270938 0 0 0 130137 44 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140737393382400 5823250 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10266/statm: 329361 270809 875 2943 0 326255 0
[pid=10266/tid=10267] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10266/tid=10268] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10266/tid=10269] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330825403568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 1317444

[startup+1362.3 s]
/proc/loadavg: 2.07 2.09 2.03 3/183 10354
/proc/meminfo: memFree=29572272/32872528 swapFree=240572/273276
[pid=10266] ppid=10263 vsize=1317444 CPUtime=1361.8 cores=1,3,5,7
/proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 270938 0 0 0 136135 45 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140737393382400 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10266/statm: 329361 270809 875 2943 0 326255 0
[pid=10266/tid=10267] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10266/tid=10268] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10266/tid=10269] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330825403568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 1317444

[startup+1422.3 s]
/proc/loadavg: 2.07 2.09 2.03 3/183 10356
/proc/meminfo: memFree=29572052/32872528 swapFree=240572/273276
[pid=10266] ppid=10263 vsize=1317444 CPUtime=1421.8 cores=1,3,5,7
/proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 270938 0 0 0 142135 45 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140737393382400 4220543 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10266/statm: 329361 270809 875 2943 0 326255 0
[pid=10266/tid=10267] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10266/tid=10268] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10266/tid=10269] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330825403568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1317444

[startup+1482.3 s]
/proc/loadavg: 2.06 2.08 2.03 3/183 10357
/proc/meminfo: memFree=29571832/32872528 swapFree=240572/273276
[pid=10266] ppid=10263 vsize=1317444 CPUtime=1481.78 cores=1,3,5,7
/proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 270938 0 0 0 148133 45 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140737393382400 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10266/statm: 329361 270809 875 2943 0 326255 0
[pid=10266/tid=10267] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10266/tid=10268] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10266/tid=10269] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330825403568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1317444

[startup+1542.31 s]
/proc/loadavg: 2.05 2.08 2.03 3/183 10358
/proc/meminfo: memFree=29571860/32872528 swapFree=240572/273276
[pid=10266] ppid=10263 vsize=1317444 CPUtime=1541.78 cores=1,3,5,7
/proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 270938 0 0 0 154132 46 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140737393382400 5546001 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10266/statm: 329361 270809 875 2943 0 326255 0
[pid=10266/tid=10267] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10266/tid=10268] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10266/tid=10269] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330825403568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1317444

[startup+1602.3 s]
/proc/loadavg: 2.11 2.09 2.04 3/183 10359
/proc/meminfo: memFree=29566552/32872528 swapFree=240572/273276
[pid=10266] ppid=10263 vsize=1317444 CPUtime=1601.76 cores=1,3,5,7
/proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 270938 0 0 0 160130 46 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140737393382400 13906976 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10266/statm: 329361 270809 875 2943 0 326255 0
[pid=10266/tid=10267] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10266/tid=10268] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10266/tid=10269] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330825403568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 1317444

[startup+1662.3 s]
/proc/loadavg: 2.15 2.10 2.04 3/183 10360
/proc/meminfo: memFree=29566580/32872528 swapFree=240572/273276
[pid=10266] ppid=10263 vsize=1317444 CPUtime=1661.75 cores=1,3,5,7
/proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 270938 0 0 0 166128 47 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140737393382400 12477787 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10266/statm: 329361 270809 875 2943 0 326255 0
[pid=10266/tid=10267] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10266/tid=10268] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10266/tid=10269] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330825403568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1317444

[startup+1722.3 s]
/proc/loadavg: 2.05 2.08 2.03 3/183 10362
/proc/meminfo: memFree=29566336/32872528 swapFree=240572/273276
[pid=10266] ppid=10263 vsize=1317444 CPUtime=1721.74 cores=1,3,5,7
/proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 270938 0 0 0 172127 47 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140737393382400 5546248 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10266/statm: 329361 270809 875 2943 0 326255 0
[pid=10266/tid=10267] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10266/tid=10268] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10266/tid=10269] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330825403568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1317444

[startup+1782.3 s]
/proc/loadavg: 2.06 2.08 2.03 3/183 10363
/proc/meminfo: memFree=29566212/32872528 swapFree=240572/273276
[pid=10266] ppid=10263 vsize=1317444 CPUtime=1781.74 cores=1,3,5,7
/proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 270938 0 0 0 178126 48 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140737393382400 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10266/statm: 329361 270809 875 2943 0 326255 0
[pid=10266/tid=10267] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10266/tid=10268] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10266/tid=10269] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330825403568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1317444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.05 2.07 2.03 4/183 10363
/proc/meminfo: memFree=29566220/32872528 swapFree=240572/273276
[pid=10266] ppid=10263 vsize=1317444 CPUtime=1800.04 cores=1,3,5,7
/proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 270938 0 0 0 179956 48 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140737393383480 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10266/statm: 329361 270809 875 2943 0 326255 0
[pid=10266/tid=10267] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10266/tid=10268] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10266/tid=10269] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330825403568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1317444

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 10266 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.05
CPU user time (s): 1799.57
CPU system time (s): 0.483926
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 1317444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.483926
maximum resident set size= 1083236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270938
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= 471
involuntary context switches= 1980

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.69728 second user time and 6.84896 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-16 14:28:39
IDJOB=4093309
IDBENCH=78687
IDSOLVER=2553
FILE ID=node107/4093309-1466080119
RUNJOBID= node107-1466074715-9714
PBS_JOBID= 19904025
Free space on /tmp= 71696 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093309-1466080119/watcher-4093309-1466080119 -o /tmp/evaluation-result-4093309-1466080119/solver-4093309-1466080119 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466074715-9714 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093309-1466080119.wbo

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

MD5SUM BENCH= 4fda08e2dc650152cad1c676f7fa8f96
RANDOM SEED=861678004

node107.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		: 2666.953
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	: 5333.90
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		: 2666.953
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		: 2666.953
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.56
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		: 2666.953
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		: 2666.953
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		: 2666.953
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		: 2666.953
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.55
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		: 2666.953
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30655636 kB
Buffers:           24968 kB
Cached:           109648 kB
SwapCached:         2508 kB
Active:          1184416 kB
Inactive:          60272 kB
Active(anon):    1110156 kB
Inactive(anon):     2156 kB
Active(file):      74260 kB
Inactive(file):    58116 kB
Unevictable:      273276 kB
Mlocked:          240572 kB
SwapTotal:      67108856 kB
SwapFree:       67099244 kB
Dirty:             16360 kB
Writeback:            12 kB
AnonPages:       1382212 kB
Mapped:            10556 kB
Shmem:                 0 kB
Slab:             566704 kB
SReclaimable:      10544 kB
SUnreclaim:       556160 kB
KernelStack:        1480 kB
PageTables:         7036 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1525984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1136640 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= 71680 MiB
End job on node107 at 2016-06-16 14:58:40