Trace number 4093626

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.07 1800.61

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_16_pb.cnf.cr--soft-0-100-0.wbo
MD5SUMbec517e59b6734cb4022e119f1959006
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark0.902862
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables480
Total number of constraints62
Number of soft constraints62
Number of constraints which are clauses32
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 constraint16
Top cost 2961
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 2960
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 17
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-16T17:18:02+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-4093626-1466090282.wbo"]
0.00/0.01	c use --random-gen="99201197 2812147098 4001817974 1129918443 2918649520 4258949319 3384195521 2014037091 2075072272 2600737322 2331447354 3715887271 3676068563 3852433200 2352537338 586400274 2022694290 2341094427 1334003285 2897706044 2834821214 1332721443 2597123538 2776121814 319243125 2779629302 3037623069 881011938 1686100753 1062238899 1743776356 542651030 3027012451 1230597514 3724649018 1224785951 4229082888 2154738340 2602385360 735317727 3328699578 3181568338 1533491273 1624206923 3354142924 1040276591 1425866302 4227427274 1773101541 629881283 1448854057 829637794 4048206758 627139378 2720482790 2321859722 1233357692 3336865612 551233674 3469290358 4017378894 2959692380 1212731976 1086051109 679279251 2924185890 3500552489 3613876897 3769968530 3183795650 3877775919 697484775 1232491919 1833098795 1813685191 1498788093 1529594076 1819285145 109436512 2910198182 2747593017 673806752 4099967179 349309616 816768492 952748433 2093485441 1617222524 3337819884 1119854546 3965840365 591002288 522879594 1552299270 814117051 2704234658 1521648893 866027020 3868967221 2031556914 3781072788 2417792107 1572367338 1675523385 2015073418 2924972226 2034762894 2499671487 3914818883 1892007134 2051043225 2626994518 3006934125 1723194176 1653241605 1219691855 2540398137 2082936086 3284656162 202574846 4182513433 1750194426 693048709 1451977469 4052010331 4047294926 3279060330 2203509956 793283175 1733873420 1301539862 1043148375 3581764979 3999015154 4020517945 3537654442 465217419 3247901493 1060637837 3872880075 2930262634 623928694 2733176993 3715410642 943230658 1872601809 242091655 915903720 4055896108 1903256247 3639024942 1271540187 2971955573 233078105 2407580703 358821150 1521446916 712086134 322346975 229985584 3622682849 2826499360 471386067 861613894 3168368677 2234006391 3316802220 2806772354 388499854 1992232671 610221937 3844533085 2250974653 634209656 1634788553 2443367517 3747557042 1871146159 2479984291 3807706218 508647044 4225465868 2008816126 1646235500 56124087 3586377325 351910424 2165615891 3958924734 1507051257 1577139557 794640958 2712091488 1548335665 1737296701 3372331622 3076562305 3601241444 1953527632 229211956 3041689123 1287125664 3285356452 3791277372 2453302332 252373532 1135763876 4086811612 3346056815 1003180684 788450285 3920543027 2811241241 4234858026 327541506 1926411630 3309410777 2411594552 2423142758 4262914054 1836199914 1606105291 4027990965 3978995157 2353478385 2620665266 2176385281 2135547922 1905178955 801515406 1792801448 2002203071 1562261983 3317684746 4102583040 3250154197 1840584739 1389020077 3625938074 4119778669 2773176987 305672617 3185229367 88431216 2475984514 2244898010 3574182488 1498999373 2060930552 2984472694 1949974571 2800898550 1318699493 621760931 985575317 468902139 255 362436" option to reproduce the execution
0.00/0.03	c #vars 480
0.00/0.03	c #constraints 62
0.00/0.03	c BCD2: Hardening is enabled.
0.00/0.03	c BCD2: BiasedSearch is enabled.
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      201      0 |        0 |        0
0.00/0.03	c  0.0s |       0 |       92 |        0 |      201      0 |        0 |        0
0.00/0.03	c #cpu_time = 0.001s
0.00/0.03	c #wall_clock_time = 0.001s
0.00/0.03	c #decision = 92
0.00/0.03	c #random_decision = 0
0.00/0.03	c #conflict = 0
0.00/0.03	c #restart = 0
0.00/0.03	o 1552
0.00/0.03	c BCD2: updating upper bound: 2960 -> 1551
0.00/0.03	c BCD2: 0 <= obj <= 1551
0.00/0.03	c BCD2: #cores=0, #unrelaxed=62, #relaxed=0, #hardened=0
0.00/0.03	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      201      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      190 |      100 |      201      0 |        0 |        0
0.00/0.08	c  0.0s |       2 |      557 |      250 |      222      0 |        0 |        0
0.09/0.16	c  0.1s |       3 |     1097 |      475 |      245      1 |        0 |        0
0.19/0.27	c  0.2s |       4 |     1688 |      813 |      270      2 |        0 |        0
0.39/0.47	c  0.4s |       5 |     2480 |     1320 |      297      4 |        0 |        0
0.69/0.75	c  0.7s |       6 |     3518 |     2081 |      360      7 |        0 |        0
0.99/1.04	c  1.0s |       7 |     5046 |     3223 |      397     11 |        0 |        0
1.39/1.48	c  1.5s |       8 |     7190 |     4936 |      437     16 |        0 |        0
2.20/2.22	c  2.2s |       9 |    10351 |     7506 |      481     24 |        0 |        0
3.19/3.26	c  3.2s |      10 |    15219 |    11361 |      530     34 |        0 |        0
4.99/5.07	c  5.0s |      11 |    23251 |    17144 |      583     50 |        0 |        0
7.09/7.10	c  7.1s |      11 |    31456 |    22744 |      583     65 |        0 |        0
8.19/8.26	c  8.2s |      12 |    34968 |    25819 |      642     73 |        0 |        0
10.19/10.27	c 10.2s |      12 |    41851 |    31119 |      642     86 |        0 |        0
12.19/12.27	c 12.2s |      12 |    49762 |    37319 |      642    101 |        0 |        0
12.69/12.73	c 12.7s |      13 |    51882 |    38832 |      707    105 |        0 |        0
14.69/14.76	c 14.7s |      13 |    60096 |    44532 |      707    118 |        0 |        0
16.69/16.79	c 16.8s |      13 |    67365 |    50232 |      707    132 |        0 |        0
18.79/18.82	c 18.8s |      13 |    74277 |    55632 |      707    144 |        0 |        0
19.89/19.99	c 20.0s |      14 |    77680 |    58352 |      778    151 |        0 |        0
21.99/22.01	c 22.0s |      14 |    84083 |    63652 |      778    162 |        0 |        0
23.99/24.03	c 24.0s |      14 |    90611 |    69252 |      778    174 |        0 |        0
25.99/26.03	c 26.0s |      14 |    96757 |    74452 |      778    186 |        0 |        0
27.98/28.04	c 28.0s |      14 |   102995 |    79952 |      778    198 |        0 |        0
29.98/30.07	c 30.0s |      14 |   109002 |    85152 |      778    209 |        0 |        0
30.89/30.95	c 30.9s |      15 |   111883 |    87632 |      856    214 |        0 |        0
32.88/32.96	c 32.9s |      15 |   119044 |    92832 |      856    225 |        0 |        0
34.98/35.00	c 35.0s |      15 |   125379 |    98432 |      856    236 |        0 |        0
36.98/37.04	c 37.0s |      15 |   131780 |   104032 |      856    247 |        0 |        0
38.98/39.06	c 39.0s |      15 |   138158 |   109732 |      856    258 |        0 |        0
40.98/41.07	c 41.0s |      15 |   144248 |   115132 |      856    269 |        0 |        0
42.99/43.07	c 43.0s |      15 |   150398 |   120532 |      856    279 |        0 |        0
44.98/45.08	c 45.1s |      15 |   156515 |   125932 |      856    290 |        0 |        0
47.08/47.10	c 47.1s |      15 |   162954 |   131432 |      942    300 |        0 |        0
47.08/47.13	c 47.1s |      16 |   163095 |   131552 |      942    300 |        0 |        0
49.08/49.14	c 49.1s |      16 |   170434 |   137452 |      942    310 |        0 |        0
51.08/51.17	c 51.1s |      16 |   176350 |   142652 |      942    319 |        0 |        0
53.08/53.18	c 53.1s |      16 |   185267 |   148652 |      942    329 |        0 |        0
55.08/55.19	c 55.2s |      16 |   194525 |   155252 |      942    341 |        0 |        0
57.18/57.22	c 57.2s |      16 |   204413 |   162452 |      942    353 |        0 |        0
59.18/59.24	c 59.2s |      16 |   212077 |   168852 |      942    364 |        0 |        0
61.18/61.27	c 61.2s |      16 |   219813 |   174752 |      942    374 |        0 |        0
63.28/63.30	c 63.3s |      16 |   229117 |   181452 |      942    386 |        0 |        0
65.28/65.33	c 65.3s |      16 |   236298 |   187152 |      942    396 |        0 |        0
67.27/67.36	c 67.3s |      16 |   244380 |   193552 |      942    407 |        0 |        0
68.57/68.60	c 68.6s |      17 |   248871 |   197432 |     1037    413 |        0 |        0
70.57/70.64	c 70.6s |      17 |   255754 |   202532 |     1037    421 |        0 |        0
72.59/72.65	c 72.6s |      17 |   262591 |   208232 |     1037    430 |        0 |        0
74.58/74.65	c 74.6s |      17 |   269201 |   213832 |     1037    439 |        0 |        0
76.58/76.67	c 76.6s |      17 |   275663 |   219132 |     1037    448 |        0 |        0
78.58/78.69	c 78.7s |      17 |   281485 |   224232 |     1037    456 |        0 |        0
80.68/80.72	c 80.7s |      17 |   288206 |   229332 |     1037    464 |        0 |        0
82.68/82.72	c 82.7s |      17 |   294731 |   234532 |     1037    472 |        0 |        0
84.69/84.75	c 84.7s |      17 |   300284 |   239332 |     1037    480 |        0 |        0
86.68/86.77	c 86.7s |      17 |   305879 |   244032 |     1037    487 |        0 |        0
88.68/88.78	c 88.8s |      17 |   313803 |   249832 |     1037    497 |        0 |        0
90.78/90.81	c 90.8s |      17 |   320943 |   255632 |     1037    506 |        0 |        0
92.78/92.84	c 92.8s |      17 |   328694 |   261232 |     1037    515 |        0 |        0
94.78/94.86	c 94.8s |      17 |   335688 |   266432 |     1037    523 |        0 |        0
96.79/96.88	c 96.8s |      17 |   342096 |   271332 |     1037    531 |        0 |        0
98.78/98.88	c 98.8s |      17 |   348554 |   276432 |     1037    539 |        0 |        0
100.88/100.91	c  100s |      17 |   355284 |   281632 |     1037    547 |        0 |        0
102.88/102.95	c  102s |      17 |   362098 |   286632 |     1037    556 |        0 |        0
104.88/104.98	c  104s |      17 |   367777 |   291232 |     1037    563 |        0 |        0
106.98/107.02	c  106s |      17 |   372968 |   295732 |     1141    570 |        0 |        0
107.18/107.26	c  107s |      18 |   373556 |   296252 |     1141    571 |        0 |        0
109.18/109.28	c  109s |      18 |   379952 |   300952 |     1141    578 |        0 |        0
111.18/111.29	c  111s |      18 |   385238 |   305452 |     1141    585 |        0 |        0
113.17/113.29	c  113s |      18 |   390069 |   309752 |     1141    591 |        0 |        0
115.17/115.29	c  115s |      18 |   395956 |   314652 |     1141    599 |        0 |        0
117.27/117.31	c  117s |      18 |   401739 |   319652 |     1141    606 |        0 |        0
119.27/119.32	c  119s |      18 |   407537 |   324652 |     1141    614 |        0 |        0
121.27/121.34	c  121s |      18 |   412953 |   329452 |     1141    622 |        0 |        0
123.28/123.37	c  123s |      18 |   418975 |   334552 |     1141    629 |        0 |        0
125.27/125.38	c  125s |      18 |   424945 |   339752 |     1141    638 |        0 |        0
127.37/127.43	c  127s |      18 |   431360 |   345252 |     1141    646 |        0 |        0
129.37/129.44	c  129s |      18 |   437119 |   350052 |     1141    654 |        0 |        0
131.37/131.46	c  131s |      18 |   442449 |   354652 |     1141    661 |        0 |        0
133.37/133.48	c  133s |      18 |   448187 |   359352 |     1141    668 |        0 |        0
135.38/135.48	c  135s |      18 |   454347 |   364452 |     1141    676 |        0 |        0
137.37/137.50	c  137s |      18 |   460747 |   369852 |     1141    684 |        0 |        0
139.47/139.52	c  139s |      18 |   466656 |   374952 |     1141    692 |        0 |        0
141.47/141.55	c  141s |      18 |   473032 |   380152 |     1141    700 |        0 |        0
143.47/143.59	c  143s |      18 |   478822 |   385152 |     1141    708 |        0 |        0
145.57/145.62	c  145s |      18 |   484440 |   390052 |     1141    715 |        0 |        0
147.57/147.65	c  147s |      18 |   489733 |   394552 |     1141    722 |        0 |        0
149.57/149.68	c  149s |      18 |   495824 |   399152 |     1141    729 |        0 |        0
151.67/151.71	c  151s |      18 |   501109 |   403552 |     1141    736 |        0 |        0
153.67/153.74	c  153s |      18 |   506663 |   408252 |     1141    744 |        0 |        0
155.67/155.76	c  155s |      18 |   512161 |   412452 |     1141    750 |        0 |        0
157.67/157.76	c  157s |      18 |   518078 |   417352 |     1141    758 |        0 |        0
159.67/159.79	c  159s |      18 |   523636 |   422152 |     1141    765 |        0 |        0
161.77/161.81	c  161s |      18 |   528561 |   426352 |     1141    772 |        0 |        0
163.76/163.81	c  163s |      18 |   534902 |   430952 |     1141    779 |        0 |        0
165.76/165.85	c  165s |      18 |   541487 |   435652 |     1141    786 |        0 |        0
167.76/167.85	c  167s |      18 |   546821 |   440152 |     1141    793 |        0 |        0
169.66/169.73	c  169s |      19 |   551880 |   444482 |     1256    800 |        0 |        0
171.67/171.76	c  171s |      19 |   558314 |   449282 |     1256    806 |        0 |        0
173.66/173.76	c  173s |      19 |   563612 |   453682 |     1256    813 |        0 |        0
175.66/175.76	c  175s |      19 |   572211 |   458782 |     1256    820 |        0 |        0
177.76/177.81	c  177s |      19 |   581574 |   463482 |     1256    827 |        0 |        0
179.76/179.84	c  179s |      19 |   587422 |   467782 |     1256    832 |        0 |        0
181.76/181.86	c  181s |      19 |   592527 |   471582 |     1256    838 |        0 |        0
183.77/183.87	c  183s |      19 |   597820 |   475782 |     1256    844 |        0 |        0
185.87/185.91	c  185s |      19 |   602498 |   479682 |     1256    849 |        0 |        0
187.86/187.94	c  187s |      19 |   607538 |   483882 |     1256    855 |        0 |        0
189.96/190.00	c  189s |      19 |   612122 |   487882 |     1256    861 |        0 |        0
191.96/192.03	c  191s |      19 |   617330 |   492482 |     1256    867 |        0 |        0
193.96/194.04	c  194s |      19 |   621905 |   496482 |     1256    873 |        0 |        0
195.96/196.07	c  196s |      19 |   626203 |   500182 |     1256    878 |        0 |        0
198.06/198.11	c  198s |      19 |   630532 |   503882 |     1256    883 |        0 |        0
200.05/200.15	c  200s |      19 |   637095 |   508182 |     1256    889 |        0 |        0
202.05/202.20	c  202s |      19 |   643448 |   512482 |     1256    895 |        0 |        0
204.15/204.25	c  204s |      19 |   647922 |   516282 |     1256    900 |        0 |        0
206.25/206.30	c  206s |      19 |   652482 |   519582 |     1256    905 |        0 |        0
208.25/208.34	c  208s |      19 |   656454 |   522882 |     1256    910 |        0 |        0
210.25/210.39	c  210s |      19 |   659632 |   525682 |     1256    914 |        0 |        0
212.37/212.41	c  212s |      19 |   662643 |   528382 |     1256    918 |        0 |        0
214.36/214.45	c  214s |      19 |   667260 |   531882 |     1256    923 |        0 |        0
216.36/216.47	c  216s |      19 |   673788 |   536882 |     1256    929 |        0 |        0
218.46/218.51	c  218s |      19 |   680136 |   541482 |     1256    936 |        0 |        0
220.46/220.55	c  220s |      19 |   685956 |   545982 |     1256    942 |        0 |        0
222.46/222.56	c  222s |      19 |   692195 |   550782 |     1256    948 |        0 |        0
224.47/224.58	c  224s |      19 |   698279 |   555082 |     1256    954 |        0 |        0
226.46/226.60	c  226s |      19 |   704526 |   559382 |     1256    960 |        0 |        0
228.56/228.61	c  228s |      19 |   710452 |   563582 |     1256    966 |        0 |        0
230.56/230.61	c  230s |      19 |   716125 |   567782 |     1256    971 |        0 |        0
232.56/232.64	c  232s |      19 |   723081 |   573182 |     1256    978 |        0 |        0
234.56/234.66	c  234s |      19 |   729147 |   578182 |     1256    985 |        0 |        0
236.66/236.71	c  236s |      19 |   735403 |   582782 |     1256    991 |        0 |        0
238.66/238.73	c  238s |      19 |   741962 |   587282 |     1256    998 |        0 |        0
240.66/240.78	c  240s |      19 |   747651 |   591582 |     1256   1004 |        0 |        0
242.76/242.82	c  242s |      19 |   753137 |   595682 |     1256   1009 |        0 |        0
244.75/244.84	c  244s |      19 |   760176 |   600182 |     1256   1015 |        0 |        0
246.75/246.86	c  246s |      19 |   766179 |   604482 |     1256   1021 |        0 |        0
248.85/248.90	c  248s |      19 |   771724 |   608682 |     1256   1027 |        0 |        0
250.86/250.93	c  250s |      19 |   775879 |   612282 |     1256   1032 |        0 |        0
252.85/252.96	c  252s |      19 |   781696 |   616782 |     1256   1038 |        0 |        0
254.95/255.00	c  254s |      19 |   788101 |   621082 |     1256   1044 |        0 |        0
256.95/257.03	c  257s |      19 |   794252 |   625182 |     1256   1049 |        0 |        0
258.95/259.05	c  259s |      19 |   800256 |   629182 |     1256   1055 |        0 |        0
260.95/261.07	c  261s |      19 |   806716 |   633782 |     1256   1061 |        0 |        0
262.95/263.07	c  263s |      19 |   811913 |   638382 |     1256   1067 |        0 |        0
265.05/265.14	c  265s |      19 |   817504 |   642882 |     1256   1074 |        0 |        0
267.04/267.15	c  267s |      19 |   823461 |   647482 |     1256   1080 |        0 |        0
269.04/269.18	c  269s |      19 |   829626 |   651982 |     1256   1086 |        0 |        0
271.04/271.19	c  271s |      19 |   836167 |   656382 |     1256   1092 |        0 |        0
273.14/273.22	c  273s |      19 |   840506 |   660182 |     1256   1097 |        0 |        0
275.14/275.25	c  275s |      19 |   845770 |   664582 |     1382   1103 |        0 |        0
276.15/276.26	c  276s |      20 |   848611 |   666827 |     1382   1106 |        0 |        0
278.14/278.30	c  278s |      20 |   855003 |   671427 |     1382   1112 |        0 |        0
280.24/280.34	c  280s |      20 |   860648 |   675927 |     1382   1117 |        0 |        0
282.24/282.38	c  282s |      20 |   866050 |   680427 |     1382   1123 |        0 |        0
284.34/284.41	c  284s |      20 |   872453 |   684927 |     1382   1129 |        0 |        0
286.34/286.42	c  286s |      20 |   877841 |   689727 |     1382   1135 |        0 |        0
288.34/288.43	c  288s |      20 |   883635 |   694727 |     1382   1141 |        0 |        0
290.35/290.46	c  290s |      20 |   889629 |   699927 |     1382   1148 |        0 |        0
292.34/292.48	c  292s |      20 |   896384 |   705027 |     1382   1154 |        0 |        0
294.44/294.50	c  294s |      20 |   901892 |   709927 |     1382   1161 |        0 |        0
296.44/296.51	c  296s |      20 |   907122 |   714527 |     1382   1167 |        0 |        0
298.44/298.55	c  298s |      20 |   912257 |   719127 |     1382   1173 |        0 |        0
300.44/300.59	c  300s |      20 |   916689 |   723127 |     1382   1178 |        0 |        0
302.45/302.60	c  302s |      20 |   922912 |   727427 |     1382   1183 |        0 |        0
304.54/304.64	c  304s |      20 |   928195 |   732027 |     1382   1190 |        0 |        0
306.54/306.64	c  306s |      20 |   933569 |   736627 |     1382   1196 |        0 |        0
308.54/308.65	c  308s |      20 |   938474 |   741027 |     1382   1202 |        0 |        0
310.54/310.69	c  310s |      20 |   943395 |   745427 |     1382   1207 |        0 |        0
312.64/312.72	c  312s |      20 |   949141 |   750227 |     1382   1214 |        0 |        0
314.64/314.73	c  314s |      20 |   955485 |   755327 |     1382   1220 |        0 |        0
316.64/316.75	c  316s |      20 |   962018 |   760327 |     1382   1227 |        0 |        0
318.64/318.79	c  318s |      20 |   968365 |   765327 |     1382   1234 |        0 |        0
320.64/320.80	c  320s |      20 |   974048 |   769927 |     1382   1240 |        0 |        0
322.73/322.80	c  322s |      20 |   979965 |   774627 |     1382   1246 |        0 |        0
324.73/324.83	c  324s |      20 |   986080 |   779127 |     1382   1252 |        0 |        0
326.74/326.84	c  326s |      20 |   992118 |   783927 |     1382   1258 |        0 |        0
328.73/328.84	c  328s |      20 |   998016 |   788627 |     1382   1264 |        0 |        0
330.73/330.87	c  330s |      20 |  1004296 |   793527 |     1382   1271 |        0 |        0
332.73/332.87	c  332s |      20 |  1009836 |   798027 |     1382   1277 |        0 |        0
334.73/334.88	c  334s |      20 |  1015952 |   802727 |     1382   1283 |        0 |        0
336.83/336.92	c  336s |      20 |  1021784 |   807327 |     1382   1289 |        0 |        0
338.84/338.96	c  338s |      20 |  1027166 |   811727 |     1382   1295 |        0 |        0
340.83/340.99	c  340s |      20 |  1032632 |   816227 |     1382   1301 |        0 |        0
342.93/343.02	c  342s |      20 |  1038622 |   820927 |     1382   1307 |        0 |        0
344.93/345.03	c  344s |      20 |  1044110 |   825427 |     1382   1313 |        0 |        0
346.93/347.05	c  347s |      20 |  1049815 |   830027 |     1382   1319 |        0 |        0
348.93/349.05	c  349s |      20 |  1055656 |   834727 |     1382   1325 |        0 |        0
350.94/351.06	c  351s |      20 |  1061640 |   839427 |     1382   1331 |        0 |        0
352.94/353.08	c  353s |      20 |  1067629 |   844227 |     1382   1338 |        0 |        0
355.04/355.14	c  355s |      20 |  1072890 |   848527 |     1382   1343 |        0 |        0
357.04/357.14	c  357s |      20 |  1077899 |   852827 |     1382   1349 |        0 |        0
359.04/359.16	c  359s |      20 |  1082838 |   857127 |     1382   1355 |        0 |        0
361.04/361.18	c  361s |      20 |  1087741 |   861327 |     1382   1360 |        0 |        0
363.04/363.18	c  363s |      20 |  1092328 |   865327 |     1382   1366 |        0 |        0
365.04/365.20	c  365s |      20 |  1096748 |   869227 |     1382   1371 |        0 |        0
367.14/367.23	c  367s |      20 |  1101453 |   873427 |     1382   1376 |        0 |        0
369.14/369.25	c  369s |      20 |  1105671 |   877127 |     1382   1381 |        0 |        0
371.14/371.26	c  371s |      20 |  1110328 |   881127 |     1382   1386 |        0 |        0
373.14/373.29	c  373s |      20 |  1114727 |   885027 |     1382   1392 |        0 |        0
375.24/375.31	c  375s |      20 |  1118927 |   888727 |     1382   1396 |        0 |        0
377.24/377.35	c  377s |      20 |  1123741 |   892827 |     1382   1402 |        0 |        0
379.24/379.38	c  379s |      20 |  1129075 |   897327 |     1382   1408 |        0 |        0
381.24/381.40	c  381s |      20 |  1133959 |   901427 |     1382   1413 |        0 |        0
383.33/383.43	c  383s |      20 |  1138950 |   905627 |     1382   1419 |        0 |        0
385.33/385.46	c  385s |      20 |  1144465 |   910427 |     1382   1425 |        0 |        0
387.43/387.50	c  387s |      20 |  1150280 |   915427 |     1382   1432 |        0 |        0
389.44/389.51	c  389s |      20 |  1155692 |   920127 |     1382   1438 |        0 |        0
391.43/391.52	c  391s |      20 |  1160851 |   924627 |     1382   1444 |        0 |        0
393.43/393.53	c  393s |      20 |  1165404 |   928627 |     1382   1449 |        0 |        0
395.43/395.57	c  395s |      20 |  1171005 |   933427 |     1382   1456 |        0 |        0
397.43/397.59	c  397s |      20 |  1176599 |   938427 |     1382   1462 |        0 |        0
399.43/399.59	c  399s |      20 |  1181044 |   942427 |     1382   1467 |        0 |        0
401.54/401.61	c  401s |      20 |  1187681 |   947427 |     1382   1474 |        0 |        0
403.53/403.64	c  403s |      20 |  1193617 |   952027 |     1382   1480 |        0 |        0
405.53/405.66	c  405s |      20 |  1199757 |   956927 |     1382   1487 |        0 |        0
407.53/407.69	c  407s |      20 |  1206453 |   961827 |     1382   1493 |        0 |        0
409.63/409.71	c  409s |      20 |  1212469 |   966327 |     1382   1499 |        0 |        0
411.63/411.74	c  411s |      20 |  1219102 |   971327 |     1382   1506 |        0 |        0
413.63/413.76	c  413s |      20 |  1225018 |   976127 |     1382   1512 |        0 |        0
415.63/415.76	c  415s |      20 |  1230399 |   980327 |     1382   1518 |        0 |        0
417.63/417.78	c  417s |      20 |  1235939 |   984627 |     1382   1523 |        0 |        0
419.63/419.79	c  419s |      20 |  1241821 |   989327 |     1382   1529 |        0 |        0
421.72/421.83	c  421s |      20 |  1246848 |   993427 |     1521   1535 |        0 |        0
423.72/423.88	c  423s |      20 |  1251421 |   997227 |     1521   1539 |        0 |        0
425.52/425.60	c  425s |      21 |  1255262 |  1000345 |     1521   1543 |        0 |        0
427.52/427.61	c  427s |      21 |  1262051 |  1005245 |     1521   1549 |        0 |        0
429.52/429.62	c  429s |      21 |  1267978 |  1009945 |     1521   1554 |        0 |        0
431.52/431.62	c  431s |      21 |  1273614 |  1014645 |     1521   1560 |        0 |        0
433.52/433.62	c  433s |      21 |  1278634 |  1018845 |     1521   1564 |        0 |        0
435.53/435.62	c  435s |      21 |  1283866 |  1023245 |     1521   1570 |        0 |        0
437.52/437.67	c  437s |      21 |  1289086 |  1027745 |     1521   1575 |        0 |        0
439.62/439.71	c  439s |      21 |  1294034 |  1031845 |     1521   1579 |        0 |        0
441.62/441.75	c  441s |      21 |  1299471 |  1036245 |     1521   1585 |        0 |        0
443.62/443.77	c  443s |      21 |  1305470 |  1040545 |     1521   1590 |        0 |        0
445.72/445.81	c  445s |      21 |  1310495 |  1044845 |     1521   1594 |        0 |        0
447.73/447.83	c  447s |      21 |  1315730 |  1049345 |     1521   1600 |        0 |        0
449.72/449.85	c  449s |      21 |  1321140 |  1054045 |     1521   1605 |        0 |        0
451.72/451.87	c  451s |      21 |  1326305 |  1058445 |     1521   1610 |        0 |        0
453.82/453.92	c  453s |      21 |  1331818 |  1063045 |     1521   1616 |        0 |        0
455.82/455.95	c  455s |      21 |  1336769 |  1067445 |     1521   1621 |        0 |        0
457.82/457.96	c  457s |      21 |  1341828 |  1071845 |     1521   1626 |        0 |        0
459.82/459.97	c  459s |      21 |  1346828 |  1076245 |     1521   1631 |        0 |        0
461.82/461.97	c  461s |      21 |  1351813 |  1080645 |     1521   1636 |        0 |        0
463.82/463.98	c  463s |      21 |  1356724 |  1084945 |     1521   1641 |        0 |        0
465.92/466.01	c  465s |      21 |  1361266 |  1089045 |     1521   1646 |        0 |        0
467.92/468.01	c  467s |      21 |  1366125 |  1093345 |     1521   1651 |        0 |        0
469.92/470.03	c  470s |      21 |  1370784 |  1097445 |     1521   1656 |        0 |        0
471.92/472.06	c  472s |      21 |  1376251 |  1102245 |     1521   1661 |        0 |        0
473.92/474.06	c  474s |      21 |  1381513 |  1106845 |     1521   1667 |        0 |        0
475.91/476.09	c  476s |      21 |  1386853 |  1111545 |     1521   1672 |        0 |        0
477.91/478.09	c  478s |      21 |  1391970 |  1116045 |     1521   1677 |        0 |        0
480.01/480.12	c  480s |      21 |  1396872 |  1120345 |     1521   1682 |        0 |        0
482.01/482.17	c  482s |      21 |  1401955 |  1124745 |     1521   1688 |        0 |        0
484.02/484.17	c  484s |      21 |  1407231 |  1129345 |     1521   1693 |        0 |        0
486.12/486.21	c  486s |      21 |  1413548 |  1133945 |     1521   1698 |        0 |        0
488.11/488.23	c  488s |      21 |  1418748 |  1138245 |     1521   1703 |        0 |        0
490.11/490.26	c  490s |      21 |  1423836 |  1142645 |     1521   1708 |        0 |        0
492.11/492.28	c  492s |      21 |  1428498 |  1146845 |     1521   1713 |        0 |        0
494.21/494.31	c  494s |      21 |  1433774 |  1151345 |     1521   1719 |        0 |        0
496.21/496.34	c  496s |      21 |  1438423 |  1155545 |     1521   1724 |        0 |        0
498.22/498.35	c  498s |      21 |  1443529 |  1160045 |     1521   1729 |        0 |        0
500.21/500.36	c  500s |      21 |  1448763 |  1164545 |     1521   1734 |        0 |        0
502.31/502.40	c  502s |      21 |  1454208 |  1169245 |     1521   1740 |        0 |        0
504.31/504.45	c  504s |      21 |  1459575 |  1174045 |     1521   1745 |        0 |        0
506.31/506.48	c  506s |      21 |  1464950 |  1178745 |     1521   1751 |        0 |        0
508.41/508.52	c  508s |      21 |  1470078 |  1183245 |     1521   1756 |        0 |        0
510.41/510.54	c  510s |      21 |  1474951 |  1187445 |     1521   1761 |        0 |        0
512.42/512.58	c  512s |      21 |  1480344 |  1191945 |     1521   1766 |        0 |        0
514.41/514.59	c  514s |      21 |  1485078 |  1196145 |     1521   1771 |        0 |        0
516.51/516.62	c  516s |      21 |  1490234 |  1200645 |     1521   1776 |        0 |        0
518.51/518.63	c  518s |      21 |  1494979 |  1204845 |     1521   1781 |        0 |        0
520.51/520.66	c  520s |      21 |  1500132 |  1209445 |     1521   1787 |        0 |        0
522.61/522.71	c  522s |      21 |  1505760 |  1214445 |     1521   1793 |        0 |        0
524.62/524.74	c  524s |      21 |  1510867 |  1218545 |     1521   1797 |        0 |        0
526.61/526.78	c  526s |      21 |  1515732 |  1222645 |     1521   1802 |        0 |        0
528.71/528.81	c  528s |      21 |  1519957 |  1226445 |     1521   1806 |        0 |        0
530.71/530.83	c  530s |      21 |  1524113 |  1230145 |     1521   1811 |        0 |        0
532.71/532.84	c  532s |      21 |  1530472 |  1234745 |     1521   1816 |        0 |        0
534.71/534.85	c  534s |      21 |  1536558 |  1239345 |     1521   1822 |        0 |        0
536.72/536.86	c  536s |      21 |  1542964 |  1244245 |     1521   1827 |        0 |        0
538.81/538.90	c  538s |      21 |  1548416 |  1248645 |     1521   1833 |        0 |        0
540.81/540.91	c  540s |      21 |  1554207 |  1253645 |     1521   1838 |        0 |        0
542.81/542.93	c  542s |      21 |  1559590 |  1258445 |     1521   1844 |        0 |        0
544.81/544.94	c  544s |      21 |  1564703 |  1262945 |     1521   1849 |        0 |        0
546.81/546.97	c  546s |      21 |  1569894 |  1267445 |     1521   1855 |        0 |        0
548.82/548.97	c  548s |      21 |  1575036 |  1272045 |     1521   1860 |        0 |        0
550.81/550.99	c  550s |      21 |  1580058 |  1276445 |     1521   1865 |        0 |        0
552.91/553.00	c  552s |      21 |  1584731 |  1280645 |     1521   1870 |        0 |        0
554.91/555.03	c  555s |      21 |  1589738 |  1285045 |     1521   1876 |        0 |        0
556.91/557.07	c  557s |      21 |  1594593 |  1289245 |     1521   1881 |        0 |        0
558.91/559.09	c  559s |      21 |  1599749 |  1293645 |     1521   1886 |        0 |        0
561.01/561.12	c  561s |      21 |  1605350 |  1298245 |     1521   1891 |        0 |        0
563.01/563.12	c  563s |      21 |  1610366 |  1302445 |     1521   1896 |        0 |        0
565.01/565.18	c  565s |      21 |  1615427 |  1306945 |     1521   1902 |        0 |        0
567.00/567.19	c  567s |      21 |  1620163 |  1311245 |     1521   1907 |        0 |        0
569.10/569.20	c  569s |      21 |  1625312 |  1315845 |     1521   1912 |        0 |        0
571.10/571.21	c  571s |      21 |  1630411 |  1320245 |     1521   1917 |        0 |        0
573.11/573.22	c  573s |      21 |  1635867 |  1325145 |     1521   1923 |        0 |        0
575.10/575.28	c  575s |      21 |  1640928 |  1329645 |     1521   1929 |        0 |        0
577.10/577.29	c  577s |      21 |  1647164 |  1334745 |     1521   1935 |        0 |        0
579.20/579.32	c  579s |      21 |  1652254 |  1339045 |     1521   1940 |        0 |        0
581.20/581.33	c  581s |      21 |  1656872 |  1342945 |     1521   1944 |        0 |        0
583.20/583.37	c  583s |      21 |  1661438 |  1346945 |     1521   1949 |        0 |        0
585.30/585.40	c  585s |      21 |  1666500 |  1351245 |     1521   1954 |        0 |        0
587.31/587.45	c  587s |      21 |  1671368 |  1355545 |     1521   1959 |        0 |        0
589.30/589.49	c  589s |      21 |  1676637 |  1360045 |     1521   1965 |        0 |        0
591.40/591.51	c  591s |      21 |  1681630 |  1364345 |     1521   1970 |        0 |        0
593.40/593.55	c  593s |      21 |  1686448 |  1368545 |     1521   1975 |        0 |        0
595.40/595.58	c  595s |      21 |  1691426 |  1372945 |     1521   1980 |        0 |        0
597.50/597.61	c  597s |      21 |  1696568 |  1377545 |     1521   1985 |        0 |        0
599.50/599.63	c  599s |      21 |  1702628 |  1382645 |     1521   1991 |        0 |        0
601.50/601.65	c  601s |      21 |  1707678 |  1387145 |     1521   1997 |        0 |        0
603.60/603.70	c  603s |      21 |  1713099 |  1391945 |     1521   2002 |        0 |        0
605.59/605.72	c  605s |      21 |  1718385 |  1396645 |     1521   2008 |        0 |        0
607.59/607.75	c  607s |      21 |  1724194 |  1401545 |     1521   2014 |        0 |        0
609.59/609.76	c  609s |      21 |  1729788 |  1406445 |     1521   2020 |        0 |        0
611.60/611.79	c  611s |      21 |  1735419 |  1411445 |     1521   2025 |        0 |        0
613.70/613.82	c  613s |      21 |  1740859 |  1416245 |     1521   2031 |        0 |        0
615.69/615.85	c  615s |      21 |  1746189 |  1420945 |     1521   2037 |        0 |        0
617.69/617.89	c  617s |      21 |  1751216 |  1425345 |     1521   2042 |        0 |        0
619.79/619.91	c  619s |      21 |  1756236 |  1429745 |     1521   2047 |        0 |        0
621.79/621.94	c  621s |      21 |  1761058 |  1434045 |     1521   2052 |        0 |        0
623.79/623.98	c  623s |      21 |  1765576 |  1437945 |     1521   2057 |        0 |        0
625.90/626.05	c  626s |      21 |  1769937 |  1441845 |     1521   2062 |        0 |        0
627.89/628.08	c  628s |      21 |  1774281 |  1445645 |     1521   2066 |        0 |        0
629.99/630.13	c  630s |      21 |  1779336 |  1449845 |     1521   2071 |        0 |        0
631.99/632.13	c  632s |      21 |  1783778 |  1453745 |     1521   2076 |        0 |        0
633.99/634.14	c  634s |      21 |  1788344 |  1457745 |     1521   2081 |        0 |        0
635.99/636.15	c  636s |      21 |  1792812 |  1461645 |     1521   2085 |        0 |        0
637.99/638.18	c  638s |      21 |  1796694 |  1465145 |     1521   2089 |        0 |        0
639.99/640.18	c  640s |      21 |  1802406 |  1470145 |     1521   2095 |        0 |        0
642.09/642.21	c  642s |      21 |  1808135 |  1475145 |     1521   2101 |        0 |        0
644.09/644.22	c  644s |      21 |  1813467 |  1479845 |     1521   2107 |        0 |        0
646.09/646.24	c  646s |      21 |  1818561 |  1484445 |     1521   2112 |        0 |        0
648.09/648.25	c  648s |      21 |  1824091 |  1489245 |     1521   2118 |        0 |        0
650.10/650.27	c  650s |      21 |  1829121 |  1493645 |     1674   2123 |        0 |        0
652.09/652.30	c  652s |      21 |  1834823 |  1498645 |     1674   2128 |        0 |        0
652.99/653.19	c  653s |      22 |  1837038 |  1500622 |     1674   2130 |        0 |        0
654.99/655.19	c  655s |      22 |  1842023 |  1504422 |     1674   2134 |        0 |        0
657.09/657.20	c  657s |      22 |  1846580 |  1507922 |     1674   2138 |        0 |        0
659.09/659.24	c  659s |      22 |  1851517 |  1511822 |     1674   2142 |        0 |        0
661.10/661.24	c  661s |      22 |  1856967 |  1515822 |     1674   2147 |        0 |        0
663.09/663.24	c  663s |      22 |  1861827 |  1519722 |     1674   2151 |        0 |        0
665.09/665.28	c  665s |      22 |  1867208 |  1523922 |     1674   2155 |        0 |        0
667.19/667.33	c  667s |      22 |  1872261 |  1527922 |     1674   2160 |        0 |        0
669.19/669.33	c  669s |      22 |  1878688 |  1532322 |     1674   2164 |        0 |        0
671.19/671.35	c  671s |      22 |  1883810 |  1536622 |     1674   2169 |        0 |        0
673.19/673.39	c  673s |      22 |  1888331 |  1540522 |     1674   2173 |        0 |        0
675.29/675.43	c  675s |      22 |  1893151 |  1544622 |     1674   2177 |        0 |        0
677.29/677.43	c  677s |      22 |  1897705 |  1548522 |     1674   2182 |        0 |        0
679.28/679.46	c  679s |      22 |  1902154 |  1552322 |     1674   2186 |        0 |        0
681.28/681.48	c  681s |      22 |  1907407 |  1556222 |     1674   2190 |        0 |        0
683.38/683.53	c  683s |      22 |  1911763 |  1560022 |     1674   2194 |        0 |        0
685.38/685.57	c  685s |      22 |  1915987 |  1563722 |     1674   2198 |        0 |        0
687.39/687.60	c  687s |      22 |  1920747 |  1567522 |     1674   2202 |        0 |        0
689.48/689.64	c  689s |      22 |  1925710 |  1571322 |     1674   2206 |        0 |        0
691.48/691.67	c  691s |      22 |  1929921 |  1574922 |     1674   2210 |        0 |        0
693.58/693.72	c  693s |      22 |  1934531 |  1578822 |     1674   2214 |        0 |        0
695.58/695.72	c  695s |      22 |  1938607 |  1582322 |     1674   2218 |        0 |        0
697.58/697.74	c  697s |      22 |  1942742 |  1585922 |     1674   2222 |        0 |        0
699.59/699.76	c  699s |      22 |  1946891 |  1589522 |     1674   2226 |        0 |        0
701.58/701.78	c  701s |      22 |  1950822 |  1593022 |     1674   2229 |        0 |        0
703.58/703.79	c  703s |      22 |  1954840 |  1596322 |     1674   2233 |        0 |        0
705.68/705.82	c  705s |      22 |  1958987 |  1599922 |     1674   2237 |        0 |        0
707.68/707.88	c  707s |      22 |  1963155 |  1603522 |     1674   2241 |        0 |        0
709.78/709.92	c  709s |      22 |  1967241 |  1607122 |     1674   2244 |        0 |        0
711.77/711.95	c  711s |      22 |  1971282 |  1610622 |     1674   2248 |        0 |        0
713.78/713.99	c  713s |      22 |  1975584 |  1614222 |     1674   2252 |        0 |        0
715.87/716.02	c  715s |      22 |  1979931 |  1617822 |     1674   2256 |        0 |        0
717.87/718.04	c  718s |      22 |  1984763 |  1621622 |     1674   2260 |        0 |        0
719.87/720.06	c  720s |      22 |  1990031 |  1626122 |     1674   2265 |        0 |        0
721.97/722.11	c  722s |      22 |  1995293 |  1630422 |     1674   2270 |        0 |        0
723.97/724.12	c  724s |      22 |  2001383 |  1635022 |     1674   2274 |        0 |        0
725.97/726.15	c  726s |      22 |  2006655 |  1639322 |     1674   2279 |        0 |        0
727.97/728.17	c  728s |      22 |  2012837 |  1644222 |     1674   2284 |        0 |        0
729.97/730.17	c  730s |      22 |  2018266 |  1648722 |     1674   2289 |        0 |        0
732.06/732.20	c  732s |      22 |  2023178 |  1652822 |     1674   2294 |        0 |        0
734.06/734.20	c  734s |      22 |  2028765 |  1657222 |     1674   2298 |        0 |        0
736.06/736.23	c  736s |      22 |  2035314 |  1661822 |     1674   2303 |        0 |        0
738.07/738.27	c  738s |      22 |  2042916 |  1666922 |     1674   2309 |        0 |        0
740.06/740.28	c  740s |      22 |  2049160 |  1671522 |     1674   2314 |        0 |        0
742.15/742.32	c  742s |      22 |  2054868 |  1675922 |     1674   2319 |        0 |        0
744.15/744.36	c  744s |      22 |  2059823 |  1680222 |     1674   2323 |        0 |        0
746.15/746.37	c  746s |      22 |  2064628 |  1684422 |     1674   2328 |        0 |        0
748.15/748.38	c  748s |      22 |  2069778 |  1688622 |     1674   2332 |        0 |        0
750.25/750.40	c  750s |      22 |  2075940 |  1693222 |     1674   2337 |        0 |        0
752.26/752.41	c  752s |      22 |  2083223 |  1697622 |     1674   2342 |        0 |        0
754.25/754.45	c  754s |      22 |  2088310 |  1701922 |     1674   2347 |        0 |        0
756.26/756.48	c  756s |      22 |  2093510 |  1706222 |     1674   2351 |        0 |        0
758.36/758.52	c  758s |      22 |  2098592 |  1710322 |     1674   2356 |        0 |        0
760.36/760.55	c  760s |      22 |  2104658 |  1714722 |     1674   2361 |        0 |        0
762.35/762.58	c  762s |      22 |  2111270 |  1719522 |     1674   2366 |        0 |        0
764.46/764.62	c  764s |      22 |  2117912 |  1724422 |     1674   2371 |        0 |        0
766.45/766.64	c  766s |      22 |  2125326 |  1729022 |     1674   2376 |        0 |        0
768.45/768.69	c  768s |      22 |  2129906 |  1732922 |     1674   2380 |        0 |        0
770.55/770.70	c  770s |      22 |  2134584 |  1737022 |     1674   2385 |        0 |        0
772.55/772.73	c  772s |      22 |  2139098 |  1741022 |     1674   2389 |        0 |        0
774.55/774.76	c  774s |      22 |  2144330 |  1745522 |     1674   2394 |        0 |        0
776.56/776.77	c  776s |      22 |  2149236 |  1749922 |     1674   2399 |        0 |        0
778.55/778.77	c  778s |      22 |  2155090 |  1754522 |     1674   2404 |        0 |        0
780.55/780.78	c  780s |      22 |  2160503 |  1758722 |     1674   2409 |        0 |        0
782.64/782.80	c  782s |      22 |  2167079 |  1763222 |     1674   2414 |        0 |        0
784.64/784.81	c  784s |      22 |  2172734 |  1767622 |     1674   2418 |        0 |        0
786.64/786.82	c  786s |      22 |  2178892 |  1771922 |     1674   2423 |        0 |        0
788.65/788.88	c  788s |      22 |  2184903 |  1776122 |     1674   2428 |        0 |        0
790.75/790.92	c  790s |      22 |  2189637 |  1779722 |     1674   2432 |        0 |        0
792.73/792.97	c  792s |      22 |  2194703 |  1783422 |     1674   2436 |        0 |        0
794.73/794.98	c  794s |      22 |  2201559 |  1788122 |     1674   2441 |        0 |        0
796.73/796.98	c  796s |      22 |  2207662 |  1792922 |     1674   2446 |        0 |        0
798.73/798.98	c  798s |      22 |  2213373 |  1797422 |     1674   2451 |        0 |        0
800.83/801.01	c  800s |      22 |  2218976 |  1801922 |     1674   2456 |        0 |        0
802.84/803.05	c  803s |      22 |  2223872 |  1805922 |     1674   2460 |        0 |        0
804.83/805.05	c  805s |      22 |  2228907 |  1809822 |     1674   2464 |        0 |        0
806.83/807.09	c  807s |      22 |  2235602 |  1814022 |     1674   2469 |        0 |        0
808.93/809.12	c  809s |      22 |  2241760 |  1818522 |     1674   2474 |        0 |        0
810.92/811.14	c  811s |      22 |  2247579 |  1822922 |     1674   2478 |        0 |        0
812.92/813.16	c  813s |      22 |  2252745 |  1826922 |     1674   2483 |        0 |        0
814.93/815.18	c  815s |      22 |  2259015 |  1831522 |     1674   2488 |        0 |        0
816.92/817.20	c  817s |      22 |  2264913 |  1835822 |     1674   2492 |        0 |        0
819.02/819.22	c  819s |      22 |  2270545 |  1840422 |     1674   2497 |        0 |        0
821.01/821.23	c  821s |      22 |  2275272 |  1844222 |     1674   2502 |        0 |        0
823.01/823.24	c  823s |      22 |  2280693 |  1848122 |     1674   2506 |        0 |        0
825.01/825.27	c  825s |      22 |  2285374 |  1852022 |     1674   2510 |        0 |        0
827.02/827.29	c  827s |      22 |  2289569 |  1855522 |     1674   2514 |        0 |        0
829.11/829.34	c  829s |      22 |  2294121 |  1859222 |     1674   2518 |        0 |        0
831.11/831.38	c  831s |      22 |  2298078 |  1862522 |     1674   2521 |        0 |        0
833.21/833.44	c  833s |      22 |  2302683 |  1865822 |     1674   2525 |        0 |        0
835.21/835.45	c  835s |      22 |  2306869 |  1869222 |     1674   2529 |        0 |        0
837.31/837.53	c  837s |      22 |  2311817 |  1872622 |     1674   2533 |        0 |        0
839.31/839.58	c  839s |      22 |  2317523 |  1876422 |     1674   2537 |        0 |        0
841.31/841.58	c  841s |      22 |  2322032 |  1879722 |     1674   2540 |        0 |        0
843.40/843.61	c  843s |      22 |  2325043 |  1882222 |     1674   2543 |        0 |        0
845.40/845.62	c  845s |      22 |  2328480 |  1885122 |     1674   2546 |        0 |        0
847.40/847.64	c  847s |      22 |  2333396 |  1889022 |     1674   2550 |        0 |        0
849.40/849.65	c  849s |      22 |  2340580 |  1894022 |     1674   2556 |        0 |        0
851.40/851.67	c  851s |      22 |  2347390 |  1898622 |     1674   2561 |        0 |        0
853.40/853.68	c  853s |      22 |  2353803 |  1903522 |     1674   2566 |        0 |        0
855.50/855.73	c  855s |      22 |  2359308 |  1907922 |     1674   2571 |        0 |        0
857.49/857.75	c  857s |      22 |  2364327 |  1912322 |     1674   2576 |        0 |        0
859.59/859.80	c  859s |      22 |  2370470 |  1916722 |     1674   2581 |        0 |        0
861.59/861.83	c  861s |      22 |  2376222 |  1920922 |     1674   2585 |        0 |        0
863.59/863.88	c  863s |      22 |  2382417 |  1925322 |     1674   2590 |        0 |        0
865.69/865.92	c  865s |      22 |  2389226 |  1930022 |     1674   2595 |        0 |        0
867.70/867.94	c  867s |      22 |  2395366 |  1934822 |     1674   2600 |        0 |        0
869.69/869.97	c  869s |      22 |  2401500 |  1939222 |     1674   2605 |        0 |        0
871.68/871.99	c  871s |      22 |  2407892 |  1943522 |     1674   2610 |        0 |        0
873.78/874.02	c  873s |      22 |  2412029 |  1947122 |     1674   2614 |        0 |        0
875.78/876.04	c  876s |      22 |  2417434 |  1951522 |     1674   2618 |        0 |        0
877.78/878.07	c  878s |      22 |  2423164 |  1955922 |     1674   2623 |        0 |        0
879.79/880.08	c  880s |      22 |  2427995 |  1959922 |     1674   2628 |        0 |        0
881.88/882.13	c  882s |      22 |  2433262 |  1964322 |     1674   2632 |        0 |        0
883.88/884.16	c  884s |      22 |  2438428 |  1968222 |     1674   2637 |        0 |        0
885.88/886.17	c  886s |      22 |  2442886 |  1971922 |     1674   2641 |        0 |        0
887.98/888.24	c  888s |      22 |  2448400 |  1976322 |     1674   2646 |        0 |        0
889.98/890.25	c  890s |      22 |  2453594 |  1980422 |     1674   2650 |        0 |        0
891.98/892.29	c  892s |      22 |  2458820 |  1984122 |     1674   2654 |        0 |        0
894.08/894.32	c  894s |      22 |  2463930 |  1987922 |     1674   2658 |        0 |        0
896.07/896.36	c  896s |      22 |  2469414 |  1991622 |     1674   2662 |        0 |        0
898.17/898.40	c  898s |      22 |  2476432 |  1996322 |     1674   2667 |        0 |        0
900.17/900.41	c  900s |      22 |  2481660 |  2000722 |     1674   2672 |        0 |        0
902.16/902.43	c  902s |      22 |  2487167 |  2005222 |     1674   2677 |        0 |        0
904.16/904.43	c  904s |      22 |  2492492 |  2009522 |     1674   2682 |        0 |        0
906.17/906.45	c  906s |      22 |  2498156 |  2013922 |     1674   2686 |        0 |        0
908.16/908.46	c  908s |      22 |  2503956 |  2018222 |     1674   2691 |        0 |        0
910.16/910.47	c  910s |      22 |  2509195 |  2022322 |     1674   2696 |        0 |        0
912.16/912.48	c  912s |      22 |  2514241 |  2026322 |     1674   2700 |        0 |        0
914.16/914.48	c  914s |      22 |  2519959 |  2030522 |     1674   2705 |        0 |        0
916.16/916.49	c  916s |      22 |  2526461 |  2035222 |     1674   2710 |        0 |        0
918.26/918.52	c  918s |      22 |  2533874 |  2040122 |     1674   2715 |        0 |        0
920.26/920.55	c  920s |      22 |  2540012 |  2044722 |     1674   2720 |        0 |        0
922.35/922.60	c  922s |      22 |  2545448 |  2049022 |     1674   2725 |        0 |        0
924.35/924.61	c  924s |      22 |  2551406 |  2053222 |     1674   2729 |        0 |        0
926.35/926.67	c  926s |      22 |  2558307 |  2058322 |     1674   2735 |        0 |        0
928.35/928.68	c  928s |      22 |  2564093 |  2062622 |     1674   2740 |        0 |        0
930.36/930.70	c  930s |      22 |  2570091 |  2067122 |     1674   2745 |        0 |        0
932.45/932.70	c  932s |      22 |  2577121 |  2071522 |     1674   2749 |        0 |        0
934.45/934.71	c  934s |      22 |  2583604 |  2075922 |     1674   2754 |        0 |        0
936.45/936.71	c  936s |      22 |  2589686 |  2080122 |     1674   2759 |        0 |        0
938.45/938.72	c  938s |      22 |  2594806 |  2084322 |     1674   2763 |        0 |        0
940.45/940.73	c  940s |      22 |  2599345 |  2088322 |     1674   2768 |        0 |        0
942.45/942.78	c  942s |      22 |  2605184 |  2092622 |     1674   2773 |        0 |        0
944.54/944.83	c  944s |      22 |  2610153 |  2096822 |     1674   2777 |        0 |        0
946.54/946.87	c  946s |      22 |  2616318 |  2101322 |     1674   2782 |        0 |        0
948.64/948.90	c  948s |      22 |  2621874 |  2105822 |     1674   2787 |        0 |        0
950.64/950.93	c  950s |      22 |  2627692 |  2110122 |     1674   2792 |        0 |        0
952.65/952.95	c  952s |      22 |  2633841 |  2114722 |     1674   2797 |        0 |        0
954.65/954.96	c  954s |      22 |  2639769 |  2119322 |     1674   2802 |        0 |        0
956.65/956.97	c  956s |      22 |  2647017 |  2124122 |     1674   2807 |        0 |        0
958.65/958.97	c  958s |      22 |  2653214 |  2128622 |     1674   2812 |        0 |        0
960.75/961.00	c  960s |      22 |  2660035 |  2132822 |     1674   2816 |        0 |        0
962.74/963.05	c  963s |      22 |  2666128 |  2137222 |     1674   2821 |        0 |        0
964.74/965.05	c  965s |      22 |  2671071 |  2141622 |     1674   2826 |        0 |        0
966.75/967.06	c  967s |      22 |  2675989 |  2146022 |     1674   2831 |        0 |        0
968.74/969.06	c  969s |      22 |  2680758 |  2150222 |     1674   2836 |        0 |        0
970.83/971.12	c  971s |      22 |  2686718 |  2155022 |     1674   2841 |        0 |        0
972.83/973.13	c  973s |      22 |  2691667 |  2159222 |     1674   2845 |        0 |        0
974.83/975.17	c  975s |      22 |  2696467 |  2163222 |     1674   2849 |        0 |        0
976.93/977.22	c  977s |      22 |  2701663 |  2167422 |     1674   2854 |        0 |        0
978.93/979.26	c  979s |      22 |  2706337 |  2171222 |     1674   2858 |        0 |        0
980.94/981.29	c  981s |      22 |  2711015 |  2175222 |     1674   2862 |        0 |        0
983.03/983.31	c  983s |      22 |  2714966 |  2178622 |     1674   2865 |        0 |        0
985.03/985.35	c  985s |      22 |  2720137 |  2182822 |     1674   2870 |        0 |        0
987.03/987.35	c  987s |      22 |  2725185 |  2187022 |     1674   2874 |        0 |        0
989.13/989.41	c  989s |      22 |  2730036 |  2191122 |     1674   2879 |        0 |        0
991.12/991.44	c  991s |      22 |  2734493 |  2194922 |     1674   2883 |        0 |        0
993.13/993.46	c  993s |      22 |  2738999 |  2198722 |     1674   2887 |        0 |        0
995.12/995.47	c  995s |      22 |  2744377 |  2202622 |     1674   2891 |        0 |        0
997.22/997.50	c  997s |      22 |  2749862 |  2206722 |     1674   2895 |        0 |        0
999.22/999.52	c  999s |      22 |  2756113 |  2211022 |     1674   2900 |        0 |        0
1001.22/1001.53	c 1001s |      22 |  2761119 |  2215222 |     1674   2904 |        0 |        0
1003.22/1003.57	c 1003s |      22 |  2766618 |  2219422 |     1674   2909 |        0 |        0
1005.32/1005.60	c 1005s |      22 |  2771597 |  2223222 |     1674   2913 |        0 |        0
1007.21/1007.60	c 1007s |      22 |  2776884 |  2227222 |     1674   2917 |        0 |        0
1009.31/1009.65	c 1009s |      22 |  2781179 |  2230622 |     1674   2920 |        0 |        0
1011.31/1011.66	c 1011s |      22 |  2785087 |  2233722 |     1674   2924 |        0 |        0
1013.31/1013.68	c 1013s |      22 |  2788895 |  2236722 |     1842   2927 |        0 |        0
1015.31/1015.68	c 1015s |      22 |  2792482 |  2239722 |     1842   2929 |        0 |        0
1017.41/1017.72	c 1017s |      22 |  2796404 |  2243022 |     1842   2933 |        0 |        0
1019.41/1019.76	c 1019s |      22 |  2800388 |  2246422 |     1842   2936 |        0 |        0
1021.40/1021.78	c 1021s |      22 |  2804689 |  2249822 |     1842   2939 |        0 |        0
1022.10/1022.46	c 1022s |      23 |  2806158 |  2251038 |     1842   2941 |        0 |        0
1024.20/1024.50	c 1024s |      23 |  2813669 |  2255138 |     1842   2945 |        0 |        0
1026.20/1026.53	c 1026s |      23 |  2821001 |  2259638 |     1842   2949 |        0 |        0
1028.20/1028.56	c 1028s |      23 |  2826727 |  2263838 |     1842   2953 |        0 |        0
1030.20/1030.58	c 1030s |      23 |  2831785 |  2267738 |     1842   2957 |        0 |        0
1032.29/1032.63	c 1032s |      23 |  2836850 |  2271138 |     1842   2960 |        0 |        0
1034.39/1034.71	c 1034s |      23 |  2842215 |  2274638 |     1842   2964 |        0 |        0
1036.39/1036.73	c 1036s |      23 |  2847804 |  2277938 |     1842   2967 |        0 |        0
1038.39/1038.79	c 1038s |      23 |  2853381 |  2282238 |     1842   2971 |        0 |        0
1040.49/1040.84	c 1040s |      23 |  2859849 |  2286938 |     1842   2975 |        0 |        0
1042.49/1042.87	c 1042s |      23 |  2865448 |  2290838 |     1842   2979 |        0 |        0
1044.49/1044.89	c 1044s |      23 |  2871870 |  2295138 |     1842   2983 |        0 |        0
1046.58/1046.95	c 1046s |      23 |  2877519 |  2299238 |     1842   2988 |        0 |        0
1048.58/1048.97	c 1048s |      23 |  2883229 |  2303338 |     1842   2992 |        0 |        0
1050.58/1050.98	c 1050s |      23 |  2888549 |  2307238 |     1842   2995 |        0 |        0
1052.68/1053.02	c 1052s |      23 |  2893993 |  2311038 |     1842   2999 |        0 |        0
1054.69/1055.04	c 1055s |      23 |  2899345 |  2315038 |     1842   3003 |        0 |        0
1056.68/1057.06	c 1057s |      23 |  2903784 |  2318538 |     1842   3006 |        0 |        0
1058.68/1059.06	c 1059s |      23 |  2907215 |  2321338 |     1842   3009 |        0 |        0
1060.68/1061.09	c 1061s |      23 |  2912772 |  2325038 |     1842   3013 |        0 |        0
1062.78/1063.10	c 1063s |      23 |  2917482 |  2328438 |     1842   3016 |        0 |        0
1064.78/1065.14	c 1065s |      23 |  2921527 |  2331738 |     1842   3019 |        0 |        0
1066.78/1067.15	c 1067s |      23 |  2926758 |  2335038 |     1842   3022 |        0 |        0
1068.78/1069.17	c 1069s |      23 |  2933619 |  2339838 |     1842   3027 |        0 |        0
1070.87/1071.22	c 1071s |      23 |  2939518 |  2344438 |     1842   3032 |        0 |        0
1072.88/1073.25	c 1073s |      23 |  2945716 |  2349038 |     1842   3036 |        0 |        0
1074.88/1075.29	c 1075s |      23 |  2951388 |  2353438 |     1842   3040 |        0 |        0
1076.98/1077.31	c 1077s |      23 |  2957284 |  2357938 |     1842   3045 |        0 |        0
1078.98/1079.35	c 1079s |      23 |  2962717 |  2361838 |     1842   3048 |        0 |        0
1080.98/1081.37	c 1081s |      23 |  2968648 |  2365938 |     1842   3052 |        0 |        0
1082.98/1083.39	c 1083s |      23 |  2974416 |  2370338 |     1842   3057 |        0 |        0
1085.08/1085.41	c 1085s |      23 |  2980041 |  2374538 |     1842   3061 |        0 |        0
1087.07/1087.44	c 1087s |      23 |  2985591 |  2378638 |     1842   3065 |        0 |        0
1089.07/1089.48	c 1089s |      23 |  2992097 |  2383038 |     1842   3069 |        0 |        0
1091.17/1091.52	c 1091s |      23 |  2998066 |  2387038 |     1842   3073 |        0 |        0
1093.18/1093.54	c 1093s |      23 |  3003062 |  2391038 |     1842   3077 |        0 |        0
1095.17/1095.58	c 1095s |      23 |  3008034 |  2395138 |     1842   3081 |        0 |        0
1097.27/1097.61	c 1097s |      23 |  3013291 |  2399438 |     1842   3085 |        0 |        0
1099.27/1099.64	c 1099s |      23 |  3018136 |  2403138 |     1842   3089 |        0 |        0
1101.27/1101.67	c 1101s |      23 |  3022987 |  2407338 |     1842   3093 |        0 |        0
1103.37/1103.70	c 1103s |      23 |  3027637 |  2410838 |     1842   3096 |        0 |        0
1105.37/1105.72	c 1105s |      23 |  3032501 |  2414638 |     1842   3100 |        0 |        0
1107.37/1107.76	c 1107s |      23 |  3037323 |  2418138 |     1842   3103 |        0 |        0
1109.36/1109.78	c 1109s |      23 |  3041384 |  2421438 |     1842   3106 |        0 |        0
1111.46/1111.82	c 1111s |      23 |  3044637 |  2424338 |     1842   3109 |        0 |        0
1113.46/1113.82	c 1113s |      23 |  3047724 |  2427138 |     1842   3112 |        0 |        0
1115.46/1115.84	c 1115s |      23 |  3051945 |  2430838 |     1842   3116 |        0 |        0
1117.46/1117.88	c 1117s |      23 |  3057834 |  2435538 |     1842   3120 |        0 |        0
1119.47/1119.89	c 1119s |      23 |  3062843 |  2439638 |     1842   3124 |        0 |        0
1121.56/1121.96	c 1121s |      23 |  3067968 |  2444038 |     1842   3128 |        0 |        0
1123.56/1123.96	c 1123s |      23 |  3072895 |  2448038 |     1842   3132 |        0 |        0
1125.55/1125.97	c 1125s |      23 |  3078608 |  2452638 |     1842   3137 |        0 |        0
1127.55/1127.97	c 1127s |      23 |  3083811 |  2456738 |     1842   3141 |        0 |        0
1129.65/1130.02	c 1129s |      23 |  3089208 |  2460838 |     1842   3145 |        0 |        0
1131.66/1132.06	c 1132s |      23 |  3095135 |  2465638 |     1842   3149 |        0 |        0
1133.65/1134.08	c 1134s |      23 |  3100216 |  2469738 |     1842   3153 |        0 |        0
1135.65/1136.09	c 1136s |      23 |  3105466 |  2473738 |     1842   3157 |        0 |        0
1137.75/1138.12	c 1138s |      23 |  3110756 |  2477938 |     1842   3161 |        0 |        0
1139.75/1140.16	c 1140s |      23 |  3115578 |  2481838 |     1842   3165 |        0 |        0
1141.74/1142.17	c 1142s |      23 |  3120974 |  2485838 |     1842   3169 |        0 |        0
1143.84/1144.20	c 1144s |      23 |  3127166 |  2490038 |     1842   3173 |        0 |        0
1145.85/1146.21	c 1146s |      23 |  3133383 |  2494738 |     1842   3178 |        0 |        0
1147.84/1148.23	c 1148s |      23 |  3139455 |  2499138 |     1842   3182 |        0 |        0
1149.84/1150.24	c 1150s |      23 |  3144688 |  2503438 |     1842   3186 |        0 |        0
1151.83/1152.28	c 1152s |      23 |  3148778 |  2507038 |     1842   3190 |        0 |        0
1153.93/1154.32	c 1154s |      23 |  3154058 |  2511538 |     1842   3194 |        0 |        0
1155.93/1156.34	c 1156s |      23 |  3158953 |  2515538 |     1842   3198 |        0 |        0
1157.94/1158.34	c 1158s |      23 |  3164255 |  2519538 |     1842   3202 |        0 |        0
1159.93/1160.37	c 1160s |      23 |  3169621 |  2523638 |     1842   3206 |        0 |        0
1161.93/1162.39	c 1162s |      23 |  3175607 |  2527938 |     1842   3210 |        0 |        0
1164.03/1164.46	c 1164s |      23 |  3180526 |  2532038 |     1842   3214 |        0 |        0
1166.13/1166.50	c 1166s |      23 |  3185950 |  2536138 |     1842   3218 |        0 |        0
1168.13/1168.54	c 1168s |      23 |  3190636 |  2540038 |     1842   3222 |        0 |        0
1170.14/1170.59	c 1170s |      23 |  3195673 |  2543938 |     1842   3225 |        0 |        0
1172.23/1172.65	c 1172s |      23 |  3199927 |  2547438 |     1842   3229 |        0 |        0
1174.23/1174.69	c 1174s |      23 |  3205714 |  2552438 |     1842   3234 |        0 |        0
1176.33/1176.71	c 1176s |      23 |  3210894 |  2556838 |     1842   3238 |        0 |        0
1178.32/1178.74	c 1178s |      23 |  3215900 |  2561138 |     1842   3242 |        0 |        0
1180.32/1180.77	c 1180s |      23 |  3221211 |  2565638 |     1842   3246 |        0 |        0
1182.32/1182.78	c 1182s |      23 |  3226553 |  2570138 |     1842   3251 |        0 |        0
1184.33/1184.78	c 1184s |      23 |  3232092 |  2574538 |     1842   3255 |        0 |        0
1186.42/1186.81	c 1186s |      23 |  3237585 |  2578838 |     1842   3259 |        0 |        0
1188.42/1188.82	c 1188s |      23 |  3241994 |  2582438 |     1842   3263 |        0 |        0
1190.42/1190.82	c 1190s |      23 |  3247248 |  2586738 |     1842   3267 |        0 |        0
1192.41/1192.83	c 1192s |      23 |  3252042 |  2590738 |     1842   3271 |        0 |        0
1194.41/1194.87	c 1194s |      23 |  3256741 |  2594738 |     1842   3274 |        0 |        0
1196.52/1196.92	c 1196s |      23 |  3261544 |  2598738 |     1842   3278 |        0 |        0
1198.51/1198.93	c 1198s |      23 |  3266439 |  2602838 |     1842   3282 |        0 |        0
1200.51/1200.96	c 1200s |      23 |  3271215 |  2606838 |     1842   3286 |        0 |        0
1202.61/1203.01	c 1202s |      23 |  3275542 |  2610538 |     1842   3290 |        0 |        0
1204.61/1205.06	c 1205s |      23 |  3279711 |  2614038 |     1842   3293 |        0 |        0
1206.61/1207.08	c 1207s |      23 |  3284225 |  2617938 |     1842   3297 |        0 |        0
1208.71/1209.11	c 1209s |      23 |  3288582 |  2621538 |     1842   3300 |        0 |        0
1210.71/1211.11	c 1211s |      23 |  3292864 |  2624938 |     1842   3304 |        0 |        0
1212.70/1213.14	c 1213s |      23 |  3297197 |  2628738 |     1842   3307 |        0 |        0
1214.70/1215.17	c 1215s |      23 |  3301901 |  2632738 |     1842   3311 |        0 |        0
1216.80/1217.20	c 1217s |      23 |  3306435 |  2636638 |     1842   3315 |        0 |        0
1218.80/1219.21	c 1219s |      23 |  3310819 |  2640538 |     1842   3319 |        0 |        0
1220.80/1221.22	c 1221s |      23 |  3315138 |  2644338 |     1842   3322 |        0 |        0
1222.80/1223.26	c 1223s |      23 |  3319493 |  2648138 |     1842   3326 |        0 |        0
1224.79/1225.27	c 1225s |      23 |  3323738 |  2651838 |     1842   3330 |        0 |        0
1226.79/1227.28	c 1227s |      23 |  3327817 |  2655438 |     1842   3333 |        0 |        0
1228.79/1229.29	c 1229s |      23 |  3332183 |  2659238 |     1842   3337 |        0 |        0
1230.89/1231.31	c 1231s |      23 |  3336236 |  2662738 |     1842   3340 |        0 |        0
1232.89/1233.37	c 1233s |      23 |  3340142 |  2666138 |     1842   3344 |        0 |        0
1234.99/1235.41	c 1235s |      23 |  3344700 |  2670138 |     1842   3347 |        0 |        0
1236.98/1237.46	c 1237s |      23 |  3349126 |  2674038 |     1842   3351 |        0 |        0
1238.98/1239.49	c 1239s |      23 |  3353215 |  2677738 |     1842   3355 |        0 |        0
1241.08/1241.52	c 1241s |      23 |  3357451 |  2681538 |     1842   3358 |        0 |        0
1243.08/1243.53	c 1243s |      23 |  3361324 |  2685038 |     1842   3362 |        0 |        0
1245.08/1245.59	c 1245s |      23 |  3365267 |  2688538 |     1842   3365 |        0 |        0
1247.18/1247.64	c 1247s |      23 |  3369350 |  2692238 |     1842   3369 |        0 |        0
1249.18/1249.69	c 1249s |      23 |  3373180 |  2695638 |     1842   3372 |        0 |        0
1251.29/1251.73	c 1251s |      23 |  3377067 |  2699038 |     1842   3375 |        0 |        0
1253.29/1253.73	c 1253s |      23 |  3380891 |  2702438 |     1842   3379 |        0 |        0
1255.28/1255.77	c 1255s |      23 |  3384507 |  2705638 |     1842   3382 |        0 |        0
1257.38/1257.85	c 1257s |      23 |  3387910 |  2708638 |     1842   3385 |        0 |        0
1259.48/1259.91	c 1259s |      23 |  3392193 |  2712338 |     1842   3388 |        0 |        0
1261.48/1261.94	c 1261s |      23 |  3395879 |  2715638 |     1842   3391 |        0 |        0
1263.48/1264.00	c 1263s |      23 |  3399505 |  2718738 |     1842   3394 |        0 |        0
1265.58/1266.03	c 1266s |      23 |  3403019 |  2721738 |     1842   3397 |        0 |        0
1267.58/1268.07	c 1268s |      23 |  3406212 |  2724538 |     1842   3400 |        0 |        0
1269.68/1270.11	c 1270s |      23 |  3409288 |  2727238 |     1842   3403 |        0 |        0
1271.67/1272.15	c 1272s |      23 |  3412195 |  2729738 |     1842   3405 |        0 |        0
1273.67/1274.19	c 1274s |      23 |  3416248 |  2733238 |     1842   3408 |        0 |        0
1275.77/1276.24	c 1276s |      23 |  3420433 |  2736938 |     1842   3412 |        0 |        0
1277.78/1278.28	c 1278s |      23 |  3424899 |  2740738 |     1842   3416 |        0 |        0
1279.87/1280.31	c 1280s |      23 |  3428716 |  2744138 |     1842   3419 |        0 |        0
1281.87/1282.31	c 1282s |      23 |  3432355 |  2747338 |     1842   3422 |        0 |        0
1283.86/1284.35	c 1284s |      23 |  3435719 |  2750338 |     1842   3425 |        0 |        0
1285.86/1286.38	c 1286s |      23 |  3439356 |  2753438 |     1842   3428 |        0 |        0
1287.96/1288.41	c 1288s |      23 |  3443625 |  2757238 |     1842   3432 |        0 |        0
1289.97/1290.45	c 1290s |      23 |  3447908 |  2761038 |     1842   3435 |        0 |        0
1291.96/1292.47	c 1292s |      23 |  3451828 |  2764538 |     1842   3439 |        0 |        0
1293.96/1294.48	c 1294s |      23 |  3456134 |  2768338 |     1842   3442 |        0 |        0
1296.06/1296.52	c 1296s |      23 |  3460016 |  2771738 |     1842   3446 |        0 |        0
1298.05/1298.57	c 1298s |      23 |  3464221 |  2775438 |     1842   3449 |        0 |        0
1300.05/1300.59	c 1300s |      23 |  3468068 |  2778838 |     1842   3453 |        0 |        0
1302.06/1302.59	c 1302s |      23 |  3471888 |  2782238 |     1842   3456 |        0 |        0
1304.16/1304.60	c 1304s |      23 |  3475419 |  2785438 |     1842   3459 |        0 |        0
1306.15/1306.62	c 1306s |      23 |  3479466 |  2788938 |     1842   3462 |        0 |        0
1308.15/1308.64	c 1308s |      23 |  3482931 |  2792038 |     1842   3465 |        0 |        0
1310.15/1310.65	c 1310s |      23 |  3487137 |  2795738 |     1842   3469 |        0 |        0
1312.14/1312.68	c 1312s |      23 |  3491555 |  2799438 |     1842   3472 |        0 |        0
1314.24/1314.72	c 1314s |      23 |  3496369 |  2803438 |     1842   3476 |        0 |        0
1316.25/1316.74	c 1316s |      23 |  3501345 |  2807738 |     1842   3481 |        0 |        0
1318.24/1318.77	c 1318s |      23 |  3505971 |  2811738 |     1842   3484 |        0 |        0
1320.34/1320.80	c 1320s |      23 |  3510294 |  2815538 |     1842   3488 |        0 |        0
1322.34/1322.82	c 1322s |      23 |  3514189 |  2819038 |     1842   3491 |        0 |        0
1324.34/1324.85	c 1324s |      23 |  3518644 |  2822938 |     1842   3495 |        0 |        0
1326.34/1326.85	c 1326s |      23 |  3522032 |  2826038 |     1842   3498 |        0 |        0
1328.34/1328.86	c 1328s |      23 |  3526912 |  2830238 |     1842   3502 |        0 |        0
1330.34/1330.89	c 1330s |      23 |  3530751 |  2833638 |     1842   3506 |        0 |        0
1332.43/1332.92	c 1332s |      23 |  3534185 |  2836638 |     1842   3508 |        0 |        0
1334.43/1334.94	c 1334s |      23 |  3538902 |  2840638 |     1842   3512 |        0 |        0
1336.43/1336.96	c 1336s |      23 |  3542941 |  2844038 |     1842   3516 |        0 |        0
1338.43/1338.96	c 1338s |      23 |  3547522 |  2847938 |     1842   3519 |        0 |        0
1340.54/1341.00	c 1340s |      23 |  3551469 |  2851338 |     1842   3523 |        0 |        0
1342.52/1343.02	c 1342s |      23 |  3556441 |  2855438 |     1842   3527 |        0 |        0
1344.52/1345.06	c 1345s |      23 |  3561378 |  2859338 |     1842   3531 |        0 |        0
1346.52/1347.07	c 1347s |      23 |  3566073 |  2863238 |     1842   3534 |        0 |        0
1348.52/1349.08	c 1349s |      23 |  3570476 |  2866838 |     1842   3538 |        0 |        0
1350.62/1351.11	c 1351s |      23 |  3574271 |  2870138 |     1842   3541 |        0 |        0
1352.62/1353.13	c 1353s |      23 |  3579278 |  2874238 |     1842   3545 |        0 |        0
1354.62/1355.15	c 1355s |      23 |  3583601 |  2878038 |     1842   3549 |        0 |        0
1356.62/1357.19	c 1357s |      23 |  3587646 |  2881638 |     1842   3552 |        0 |        0
1358.72/1359.21	c 1359s |      23 |  3592145 |  2885438 |     1842   3556 |        0 |        0
1360.72/1361.27	c 1361s |      23 |  3596378 |  2889138 |     1842   3559 |        0 |        0
1362.82/1363.33	c 1363s |      23 |  3600010 |  2892438 |     1842   3563 |        0 |        0
1364.82/1365.36	c 1365s |      23 |  3604518 |  2896238 |     1842   3566 |        0 |        0
1366.82/1367.37	c 1367s |      23 |  3610074 |  2900738 |     1842   3571 |        0 |        0
1368.91/1369.40	c 1369s |      23 |  3614689 |  2904738 |     1842   3575 |        0 |        0
1370.91/1371.42	c 1371s |      23 |  3618609 |  2908238 |     1842   3578 |        0 |        0
1372.91/1373.47	c 1373s |      23 |  3622334 |  2911538 |     1842   3581 |        0 |        0
1374.91/1375.47	c 1375s |      23 |  3626405 |  2915038 |     1842   3585 |        0 |        0
1377.01/1377.50	c 1377s |      23 |  3632287 |  2919138 |     1842   3589 |        0 |        0
1379.02/1379.54	c 1379s |      23 |  3636427 |  2922638 |     1842   3592 |        0 |        0
1381.12/1381.61	c 1381s |      23 |  3640083 |  2925838 |     1842   3595 |        0 |        0
1383.12/1383.67	c 1383s |      23 |  3643810 |  2929138 |     1842   3598 |        0 |        0
1385.12/1385.68	c 1385s |      23 |  3647208 |  2932238 |     1842   3601 |        0 |        0
1387.22/1387.71	c 1387s |      23 |  3650430 |  2935138 |     1842   3604 |        0 |        0
1389.22/1389.73	c 1389s |      23 |  3654834 |  2938838 |     1842   3608 |        0 |        0
1391.22/1391.76	c 1391s |      23 |  3658949 |  2942438 |     1842   3611 |        0 |        0
1393.23/1393.78	c 1393s |      23 |  3663140 |  2946038 |     1842   3615 |        0 |        0
1395.32/1395.80	c 1395s |      23 |  3667933 |  2950038 |     1842   3618 |        0 |        0
1397.32/1397.85	c 1397s |      23 |  3672142 |  2953738 |     1842   3622 |        0 |        0
1399.32/1399.87	c 1399s |      23 |  3677253 |  2957638 |     1842   3626 |        0 |        0
1401.32/1401.88	c 1401s |      23 |  3681695 |  2961438 |     1842   3630 |        0 |        0
1403.32/1403.89	c 1403s |      23 |  3686445 |  2965338 |     1842   3633 |        0 |        0
1405.43/1405.92	c 1405s |      23 |  3690393 |  2968638 |     1842   3637 |        0 |        0
1407.42/1407.96	c 1407s |      23 |  3694674 |  2972138 |     1842   3640 |        0 |        0
1409.42/1409.97	c 1409s |      23 |  3698173 |  2975038 |     1842   3643 |        0 |        0
1411.52/1412.00	c 1411s |      23 |  3701392 |  2977838 |     1842   3646 |        0 |        0
1413.52/1414.01	c 1413s |      23 |  3705874 |  2981638 |     1842   3649 |        0 |        0
1415.52/1416.02	c 1415s |      23 |  3709613 |  2984938 |     1842   3652 |        0 |        0
1417.52/1418.03	c 1417s |      23 |  3714403 |  2988638 |     1842   3656 |        0 |        0
1419.51/1420.05	c 1420s |      23 |  3719440 |  2992438 |     1842   3660 |        0 |        0
1421.51/1422.06	c 1422s |      23 |  3723994 |  2996038 |     1842   3663 |        0 |        0
1423.61/1424.10	c 1424s |      23 |  3728123 |  2999538 |     1842   3667 |        0 |        0
1425.61/1426.11	c 1426s |      23 |  3731345 |  3002438 |     1842   3669 |        0 |        0
1427.61/1428.14	c 1428s |      23 |  3734666 |  3005338 |     1842   3672 |        0 |        0
1429.62/1430.17	c 1430s |      23 |  3738776 |  3008638 |     1842   3675 |        0 |        0
1431.61/1432.18	c 1432s |      23 |  3743085 |  3012138 |     1842   3679 |        0 |        0
1433.71/1434.24	c 1434s |      23 |  3747559 |  3015738 |     1842   3682 |        0 |        0
1435.71/1436.26	c 1436s |      23 |  3751532 |  3019038 |     1842   3686 |        0 |        0
1437.81/1438.32	c 1438s |      23 |  3755172 |  3022138 |     1842   3689 |        0 |        0
1439.81/1440.36	c 1440s |      23 |  3760199 |  3025938 |     1842   3692 |        0 |        0
1441.91/1442.40	c 1442s |      23 |  3764424 |  3029438 |     1842   3696 |        0 |        0
1443.92/1444.40	c 1444s |      23 |  3768620 |  3032938 |     1842   3699 |        0 |        0
1445.91/1446.46	c 1446s |      23 |  3772046 |  3035938 |     1842   3702 |        0 |        0
1448.01/1448.51	c 1448s |      23 |  3775173 |  3038738 |     1842   3705 |        0 |        0
1450.01/1450.56	c 1450s |      23 |  3779086 |  3042138 |     1842   3708 |        0 |        0
1452.01/1452.57	c 1452s |      23 |  3782749 |  3045238 |     1842   3711 |        0 |        0
1454.11/1454.61	c 1454s |      23 |  3786521 |  3048438 |     1842   3714 |        0 |        0
1456.11/1456.69	c 1456s |      23 |  3790235 |  3051538 |     1842   3717 |        0 |        0
1458.21/1458.76	c 1458s |      23 |  3794358 |  3054538 |     1842   3720 |        0 |        0
1460.31/1460.81	c 1460s |      23 |  3797649 |  3057438 |     1842   3723 |        0 |        0
1462.31/1462.83	c 1462s |      23 |  3801152 |  3060438 |     1842   3726 |        0 |        0
1464.41/1464.94	c 1464s |      23 |  3804409 |  3063138 |     1842   3729 |        0 |        0
1466.40/1466.97	c 1466s |      23 |  3807722 |  3065938 |     1842   3731 |        0 |        0
1468.50/1469.01	c 1468s |      23 |  3812006 |  3069338 |     1842   3735 |        0 |        0
1470.50/1471.05	c 1471s |      23 |  3816368 |  3072838 |     1842   3738 |        0 |        0
1472.51/1473.07	c 1473s |      23 |  3821242 |  3076438 |     1842   3742 |        0 |        0
1474.50/1475.07	c 1475s |      23 |  3825924 |  3079738 |     1842   3745 |        0 |        0
1476.60/1477.14	c 1477s |      23 |  3830654 |  3083138 |     1842   3748 |        0 |        0
1478.60/1479.14	c 1479s |      23 |  3834610 |  3086138 |     1842   3751 |        0 |        0
1480.60/1481.18	c 1481s |      23 |  3839170 |  3089738 |     1842   3754 |        0 |        0
1482.70/1483.24	c 1483s |      23 |  3842941 |  3092638 |     1842   3757 |        0 |        0
1484.80/1485.31	c 1485s |      23 |  3846511 |  3095338 |     1842   3760 |        0 |        0
1486.81/1487.35	c 1487s |      23 |  3850094 |  3098238 |     1842   3763 |        0 |        0
1488.91/1489.45	c 1489s |      23 |  3854082 |  3101138 |     1842   3766 |        0 |        0
1491.00/1491.52	c 1491s |      23 |  3858839 |  3104538 |     1842   3769 |        0 |        0
1493.00/1493.55	c 1493s |      23 |  3862808 |  3107438 |     1842   3772 |        0 |        0
1495.00/1495.59	c 1495s |      23 |  3866466 |  3110538 |     1842   3775 |        0 |        0
1497.10/1497.62	c 1497s |      23 |  3870697 |  3113838 |     1842   3778 |        0 |        0
1499.10/1499.63	c 1499s |      23 |  3874479 |  3116638 |     1842   3781 |        0 |        0
1501.10/1501.66	c 1501s |      23 |  3878747 |  3120138 |     1842   3784 |        0 |        0
1503.10/1503.66	c 1503s |      23 |  3883522 |  3124138 |     1842   3788 |        0 |        0
1505.20/1505.72	c 1505s |      23 |  3887878 |  3127938 |     1842   3792 |        0 |        0
1507.20/1507.75	c 1507s |      23 |  3892433 |  3131638 |     1842   3795 |        0 |        0
1509.20/1509.78	c 1509s |      23 |  3897038 |  3135438 |     1842   3799 |        0 |        0
1511.30/1511.80	c 1511s |      23 |  3901442 |  3139238 |     1842   3803 |        0 |        0
1513.30/1513.80	c 1513s |      23 |  3906179 |  3143238 |     1842   3806 |        0 |        0
1515.30/1515.84	c 1515s |      23 |  3911188 |  3147538 |     1842   3811 |        0 |        0
1517.29/1517.89	c 1517s |      23 |  3915895 |  3151538 |     1842   3814 |        0 |        0
1519.39/1519.92	c 1519s |      23 |  3920260 |  3155338 |     1842   3818 |        0 |        0
1521.39/1521.94	c 1521s |      23 |  3924705 |  3159238 |     1842   3822 |        0 |        0
1523.39/1523.99	c 1523s |      23 |  3928973 |  3162938 |     1842   3826 |        0 |        0
1525.49/1526.01	c 1525s |      23 |  3933261 |  3166638 |     1842   3829 |        0 |        0
1527.50/1528.02	c 1527s |      23 |  3937756 |  3170338 |     1842   3833 |        0 |        0
1529.49/1530.03	c 1529s |      23 |  3941799 |  3173938 |     1842   3836 |        0 |        0
1531.49/1532.03	c 1531s |      23 |  3945937 |  3177538 |     1842   3840 |        0 |        0
1533.49/1534.04	c 1534s |      23 |  3951871 |  3181438 |     1842   3843 |        0 |        0
1535.49/1536.06	c 1536s |      23 |  3957004 |  3185438 |     1842   3847 |        0 |        0
1537.49/1538.08	c 1538s |      23 |  3962439 |  3189338 |     1842   3851 |        0 |        0
1539.60/1540.14	c 1540s |      23 |  3967235 |  3193138 |     1842   3855 |        0 |        0
1541.59/1542.17	c 1542s |      23 |  3972668 |  3197338 |     1842   3859 |        0 |        0
1543.59/1544.19	c 1544s |      23 |  3978347 |  3201438 |     1842   3863 |        0 |        0
1545.69/1546.24	c 1546s |      23 |  3983254 |  3205238 |     1842   3867 |        0 |        0
1547.69/1548.24	c 1548s |      23 |  3987568 |  3208638 |     1842   3870 |        0 |        0
1549.69/1550.26	c 1550s |      23 |  3992651 |  3212738 |     1842   3874 |        0 |        0
1551.70/1552.29	c 1552s |      23 |  3996229 |  3215938 |     1842   3877 |        0 |        0
1553.79/1554.35	c 1554s |      23 |  4000518 |  3219438 |     1842   3880 |        0 |        0
1555.79/1556.37	c 1556s |      23 |  4004735 |  3223038 |     1842   3884 |        0 |        0
1557.79/1558.39	c 1558s |      23 |  4008994 |  3226538 |     1842   3887 |        0 |        0
1559.89/1560.41	c 1560s |      23 |  4013342 |  3230138 |     1842   3891 |        0 |        0
1561.89/1562.41	c 1562s |      23 |  4018608 |  3234238 |     1842   3895 |        0 |        0
1563.89/1564.44	c 1564s |      23 |  4022554 |  3237538 |     1842   3898 |        0 |        0
1565.89/1566.49	c 1566s |      23 |  4027280 |  3241238 |     1842   3902 |        0 |        0
1567.98/1568.51	c 1568s |      23 |  4031596 |  3244838 |     1842   3905 |        0 |        0
1569.98/1570.53	c 1570s |      23 |  4035410 |  3248038 |     1842   3908 |        0 |        0
1571.98/1572.56	c 1572s |      23 |  4039709 |  3251738 |     1842   3912 |        0 |        0
1574.08/1574.62	c 1574s |      23 |  4043905 |  3255538 |     1842   3916 |        0 |        0
1576.08/1576.66	c 1576s |      23 |  4048641 |  3259038 |     1842   3919 |        0 |        0
1578.09/1578.66	c 1578s |      23 |  4052632 |  3262338 |     1842   3922 |        0 |        0
1580.08/1580.69	c 1580s |      23 |  4057848 |  3266138 |     1842   3926 |        0 |        0
1582.18/1582.72	c 1582s |      23 |  4062470 |  3269738 |     1842   3929 |        0 |        0
1584.18/1584.73	c 1584s |      23 |  4068096 |  3273738 |     1842   3933 |        0 |        0
1586.18/1586.79	c 1586s |      23 |  4072816 |  3277438 |     1842   3937 |        0 |        0
1588.28/1588.86	c 1588s |      23 |  4077059 |  3280838 |     1842   3940 |        0 |        0
1590.38/1590.92	c 1590s |      23 |  4080910 |  3284138 |     1842   3943 |        0 |        0
1592.39/1592.93	c 1592s |      23 |  4085014 |  3287438 |     1842   3947 |        0 |        0
1594.38/1594.96	c 1594s |      23 |  4090022 |  3291238 |     1842   3950 |        0 |        0
1596.38/1596.97	c 1596s |      23 |  4094381 |  3294638 |     1842   3954 |        0 |        0
1598.48/1599.00	c 1598s |      23 |  4099320 |  3298638 |     1842   3957 |        0 |        0
1600.48/1601.05	c 1601s |      23 |  4103992 |  3302538 |     1842   3961 |        0 |        0
1602.49/1603.06	c 1603s |      23 |  4108306 |  3306138 |     1842   3965 |        0 |        0
1604.50/1605.07	c 1605s |      23 |  4112893 |  3310038 |     1842   3969 |        0 |        0
1606.49/1607.09	c 1607s |      23 |  4117287 |  3313838 |     1842   3972 |        0 |        0
1608.59/1609.17	c 1609s |      23 |  4121256 |  3317238 |     1842   3976 |        0 |        0
1610.59/1611.18	c 1611s |      23 |  4125054 |  3320438 |     1842   3979 |        0 |        0
1612.69/1613.20	c 1613s |      23 |  4128952 |  3323738 |     1842   3982 |        0 |        0
1614.69/1615.23	c 1615s |      23 |  4133596 |  3327438 |     1842   3986 |        0 |        0
1616.69/1617.25	c 1617s |      23 |  4137773 |  3330538 |     1842   3989 |        0 |        0
1618.69/1619.27	c 1619s |      23 |  4141051 |  3333238 |     1842   3991 |        0 |        0
1620.68/1621.29	c 1621s |      23 |  4145985 |  3337438 |     1842   3995 |        0 |        0
1622.78/1623.33	c 1623s |      23 |  4150435 |  3341338 |     1842   3999 |        0 |        0
1624.78/1625.36	c 1625s |      23 |  4154791 |  3345238 |     1842   4003 |        0 |        0
1626.88/1627.41	c 1627s |      23 |  4159620 |  3349238 |     1842   4007 |        0 |        0
1628.88/1629.47	c 1629s |      23 |  4164249 |  3353338 |     2027   4010 |        0 |        0
1630.89/1631.48	c 1631s |      23 |  4168643 |  3356938 |     2027   4014 |        0 |        0
1632.88/1633.49	c 1633s |      23 |  4172577 |  3360338 |     2027   4017 |        0 |        0
1634.98/1635.51	c 1635s |      23 |  4176600 |  3363738 |     2027   4020 |        0 |        0
1636.98/1637.54	c 1637s |      23 |  4180974 |  3367438 |     2027   4023 |        0 |        0
1638.98/1639.54	c 1639s |      23 |  4185187 |  3371038 |     2027   4026 |        0 |        0
1640.98/1641.59	c 1641s |      23 |  4189167 |  3374538 |     2027   4029 |        0 |        0
1642.18/1642.72	c 1642s |      24 |  4191766 |  3376662 |     2027   4031 |        0 |        0
1644.18/1644.76	c 1644s |      24 |  4202380 |  3380862 |     2027   4035 |        0 |        0
1646.19/1646.77	c 1646s |      24 |  4209799 |  3384362 |     2027   4038 |        0 |        0
1648.28/1648.83	c 1648s |      24 |  4215668 |  3388062 |     2027   4041 |        0 |        0
1650.28/1650.84	c 1650s |      24 |  4220868 |  3391362 |     2027   4044 |        0 |        0
1652.38/1652.90	c 1652s |      24 |  4226928 |  3395562 |     2027   4048 |        0 |        0
1654.38/1654.90	c 1654s |      24 |  4231978 |  3399162 |     2027   4051 |        0 |        0
1656.38/1656.92	c 1656s |      24 |  4237268 |  3402762 |     2027   4055 |        0 |        0
1658.38/1658.94	c 1658s |      24 |  4243627 |  3406562 |     2027   4058 |        0 |        0
1660.38/1660.97	c 1660s |      24 |  4248235 |  3410262 |     2027   4061 |        0 |        0
1662.48/1663.02	c 1662s |      24 |  4253311 |  3413862 |     2027   4064 |        0 |        0
1664.48/1665.08	c 1665s |      24 |  4259089 |  3417562 |     2027   4068 |        0 |        0
1666.57/1667.11	c 1667s |      24 |  4264576 |  3421162 |     2027   4071 |        0 |        0
1668.57/1669.15	c 1669s |      24 |  4269732 |  3424662 |     2027   4074 |        0 |        0
1670.58/1671.15	c 1671s |      24 |  4274593 |  3428262 |     2027   4077 |        0 |        0
1672.58/1673.17	c 1673s |      24 |  4279682 |  3431862 |     2027   4081 |        0 |        0
1674.67/1675.22	c 1675s |      24 |  4285080 |  3435262 |     2027   4084 |        0 |        0
1676.67/1677.22	c 1677s |      24 |  4289443 |  3438362 |     2027   4086 |        0 |        0
1678.67/1679.26	c 1679s |      24 |  4294108 |  3441562 |     2027   4089 |        0 |        0
1680.77/1681.31	c 1681s |      24 |  4298719 |  3444862 |     2027   4092 |        0 |        0
1682.77/1683.34	c 1683s |      24 |  4303335 |  3448362 |     2027   4095 |        0 |        0
1684.78/1685.38	c 1685s |      24 |  4308031 |  3451362 |     2027   4098 |        0 |        0
1686.88/1687.42	c 1687s |      24 |  4312797 |  3454862 |     2027   4101 |        0 |        0
1688.87/1689.47	c 1689s |      24 |  4317937 |  3458462 |     2027   4104 |        0 |        0
1690.87/1691.49	c 1691s |      24 |  4323121 |  3461962 |     2027   4108 |        0 |        0
1692.87/1693.49	c 1693s |      24 |  4328571 |  3465662 |     2027   4111 |        0 |        0
1694.87/1695.49	c 1695s |      24 |  4332731 |  3469062 |     2027   4114 |        0 |        0
1696.97/1697.53	c 1697s |      24 |  4337929 |  3472862 |     2027   4117 |        0 |        0
1698.98/1699.57	c 1699s |      24 |  4343104 |  3476562 |     2027   4121 |        0 |        0
1700.97/1701.59	c 1701s |      24 |  4348456 |  3480162 |     2027   4124 |        0 |        0
1703.07/1703.60	c 1703s |      24 |  4353222 |  3483762 |     2027   4127 |        0 |        0
1705.07/1705.66	c 1705s |      24 |  4357677 |  3487362 |     2027   4130 |        0 |        0
1707.17/1707.70	c 1707s |      24 |  4361644 |  3490462 |     2027   4133 |        0 |        0
1709.17/1709.74	c 1709s |      24 |  4365612 |  3493362 |     2027   4136 |        0 |        0
1711.27/1711.80	c 1711s |      24 |  4369407 |  3496462 |     2027   4138 |        0 |        0
1713.27/1713.83	c 1713s |      24 |  4373163 |  3499462 |     2027   4141 |        0 |        0
1715.27/1715.84	c 1715s |      24 |  4376661 |  3502162 |     2027   4144 |        0 |        0
1717.27/1717.87	c 1717s |      24 |  4380287 |  3505162 |     2027   4146 |        0 |        0
1719.36/1719.93	c 1719s |      24 |  4383950 |  3508062 |     2027   4149 |        0 |        0
1721.36/1721.95	c 1721s |      24 |  4387589 |  3511062 |     2027   4151 |        0 |        0
1723.36/1723.97	c 1723s |      24 |  4390913 |  3513762 |     2027   4154 |        0 |        0
1725.47/1726.02	c 1725s |      24 |  4394383 |  3516462 |     2027   4156 |        0 |        0
1727.46/1728.05	c 1728s |      24 |  4397884 |  3519262 |     2027   4159 |        0 |        0
1729.46/1730.06	c 1730s |      24 |  4401640 |  3522062 |     2027   4161 |        0 |        0
1731.56/1732.10	c 1732s |      24 |  4405337 |  3525062 |     2027   4164 |        0 |        0
1733.56/1734.11	c 1734s |      24 |  4408674 |  3527962 |     2027   4167 |        0 |        0
1735.56/1736.18	c 1736s |      24 |  4412089 |  3530662 |     2027   4169 |        0 |        0
1737.66/1738.21	c 1738s |      24 |  4415442 |  3533362 |     2027   4171 |        0 |        0
1739.67/1740.23	c 1740s |      24 |  4420254 |  3536662 |     2027   4174 |        0 |        0
1741.66/1742.23	c 1742s |      24 |  4425513 |  3540862 |     2027   4178 |        0 |        0
1743.66/1744.23	c 1744s |      24 |  4429866 |  3544462 |     2027   4181 |        0 |        0
1745.66/1746.27	c 1746s |      24 |  4435012 |  3548062 |     2027   4184 |        0 |        0
1747.66/1748.28	c 1748s |      24 |  4441305 |  3552562 |     2027   4188 |        0 |        0
1749.67/1750.29	c 1750s |      24 |  4446112 |  3556762 |     2027   4192 |        0 |        0
1751.76/1752.33	c 1752s |      24 |  4450070 |  3560262 |     2027   4195 |        0 |        0
1753.76/1754.36	c 1754s |      24 |  4454795 |  3563962 |     2027   4198 |        0 |        0
1755.76/1756.39	c 1756s |      24 |  4459018 |  3567562 |     2027   4202 |        0 |        0
1757.86/1758.44	c 1758s |      24 |  4463416 |  3571062 |     2027   4205 |        0 |        0
1759.86/1760.45	c 1760s |      24 |  4467384 |  3574462 |     2027   4208 |        0 |        0
1761.86/1762.49	c 1762s |      24 |  4471501 |  3577962 |     2027   4211 |        0 |        0
1763.96/1764.53	c 1764s |      24 |  4475927 |  3581762 |     2027   4214 |        0 |        0
1765.95/1766.55	c 1766s |      24 |  4480589 |  3585662 |     2027   4218 |        0 |        0
1767.95/1768.59	c 1768s |      24 |  4484645 |  3589162 |     2027   4221 |        0 |        0
1770.05/1770.63	c 1770s |      24 |  4488118 |  3592262 |     2027   4224 |        0 |        0
1772.05/1772.67	c 1772s |      24 |  4492089 |  3595662 |     2027   4227 |        0 |        0
1774.15/1774.73	c 1774s |      24 |  4496104 |  3598962 |     2027   4230 |        0 |        0
1776.15/1776.77	c 1776s |      24 |  4499832 |  3602062 |     2027   4232 |        0 |        0
1778.27/1778.81	c 1778s |      24 |  4504905 |  3605262 |     2027   4235 |        0 |        0
1780.26/1780.84	c 1780s |      24 |  4509070 |  3608762 |     2027   4238 |        0 |        0
1782.36/1782.91	c 1782s |      24 |  4512972 |  3612062 |     2027   4241 |        0 |        0
1784.36/1784.91	c 1784s |      24 |  4516646 |  3614962 |     2027   4244 |        0 |        0
1786.36/1786.92	c 1786s |      24 |  4522263 |  3618962 |     2027   4247 |        0 |        0
1788.36/1788.94	c 1788s |      24 |  4527100 |  3622762 |     2027   4251 |        0 |        0
1790.37/1790.99	c 1790s |      24 |  4532072 |  3626862 |     2027   4255 |        0 |        0
1792.47/1793.04	c 1793s |      24 |  4536817 |  3630862 |     2027   4258 |        0 |        0
1794.46/1795.05	c 1795s |      24 |  4541220 |  3634062 |     2027   4261 |        0 |        0
1796.46/1797.08	c 1797s |      24 |  4545233 |  3637362 |     2027   4264 |        0 |        0
1798.56/1799.14	c 1799s |      24 |  4549314 |  3640862 |     2027   4267 |        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-4093626-1466090282/watcher-4093626-1466090282 -o /tmp/evaluation-result-4093626-1466090282/solver-4093626-1466090282 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466075286-21602 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093626-1466090282.wbo 

pid=23267
running on 4 cores: 0,2,4,6

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.14 2.20 2.21 3/179 23270
/proc/meminfo: memFree=29248132/32872528 swapFree=1499116/1695340
[pid=23270] ppid=23267 vsize=713148 CPUtime=0 cores=0,2,4,6
/proc/23270/stat : 23270 (toysat) R 23267 23270 17390 0 -1 4202496 2658 0 0 0 0 0 0 0 20 0 4 0 11073945 730263552 3019 33554432000 4194304 16246674 140737210896432 140737210895856 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23270/statm: 179055 3028 441 2943 0 175949 0
[pid=23270/tid=23271] ppid=23267 vsize=731580 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23271/stat : 23271 (toysat) S 23267 23270 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11073945 749137920 3089 33554432000 4194304 16246674 140737210896432 140508579998960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23270/tid=23272] ppid=23267 vsize=735676 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23272/stat : 23272 (toysat) S 23267 23270 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11073945 753332224 3106 33554432000 4194304 16246674 140737210896432 140508569509104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23270/tid=23273] ppid=23267 vsize=740796 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23273/stat : 23273 (toysat) S 23267 23270 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11073945 758575104 3126 33554432000 4194304 16246674 140737210896432 140508559035568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.14 2.20 2.21 3/179 23270
/proc/meminfo: memFree=29248132/32872528 swapFree=1499116/1695340
[pid=23270] ppid=23267 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/23270/stat : 23270 (toysat) R 23267 23270 17390 0 -1 4202496 26480 0 0 0 5 4 0 0 20 0 4 0 11073945 1247350784 26828 33554432000 4194304 16246674 140737210896432 140737210895856 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23270/statm: 304529 26840 813 2943 0 301423 0
[pid=23270/tid=23271] ppid=23267 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23271/stat : 23271 (toysat) S 23267 23270 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11073945 1247350784 26850 33554432000 4194304 16246674 140737210896432 140508579998960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23270/tid=23272] ppid=23267 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23272/stat : 23272 (toysat) S 23267 23270 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11073945 1247350784 26858 33554432000 4194304 16246674 140737210896432 140508569509104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23270/tid=23273] ppid=23267 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23273/stat : 23273 (toysat) S 23267 23270 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11073945 1247350784 26866 33554432000 4194304 16246674 140737210896432 140508559035568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200509 s]
/proc/loadavg: 2.14 2.20 2.21 3/179 23270
/proc/meminfo: memFree=29248132/32872528 swapFree=1499116/1695340
[pid=23270] ppid=23267 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/23270/stat : 23270 (toysat) R 23267 23270 17390 0 -1 4202496 54947 0 0 0 11 8 0 0 20 0 4 0 11073945 1247350784 55294 33554432000 4194304 16246674 140737210896432 140737210895856 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23270/statm: 304529 55303 813 2943 0 301423 0
[pid=23270/tid=23271] ppid=23267 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23271/stat : 23271 (toysat) S 23267 23270 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11073945 1247350784 55310 33554432000 4194304 16246674 140737210896432 140508579998960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23270/tid=23272] ppid=23267 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23272/stat : 23272 (toysat) S 23267 23270 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11073945 1247350784 55318 33554432000 4194304 16246674 140737210896432 140508569509104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23270/tid=23273] ppid=23267 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23273/stat : 23273 (toysat) S 23267 23270 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11073945 1247350784 55329 33554432000 4194304 16246674 140737210896432 140508559035568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300478 s]
/proc/loadavg: 2.14 2.20 2.21 3/179 23270
/proc/meminfo: memFree=29248132/32872528 swapFree=1499116/1695340
[pid=23270] ppid=23267 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/23270/stat : 23270 (toysat) R 23267 23270 17390 0 -1 4202496 82895 0 0 0 17 12 0 0 20 0 4 0 11073945 1247350784 83242 33554432000 4194304 16246674 140737210896432 140737210878336 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23270/statm: 304529 83257 813 2943 0 301423 0
[pid=23270/tid=23271] ppid=23267 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23271/stat : 23271 (toysat) S 23267 23270 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11073945 1247350784 83263 33554432000 4194304 16246674 140737210896432 140508579998960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23270/tid=23272] ppid=23267 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23272/stat : 23272 (toysat) S 23267 23270 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11073945 1247350784 83268 33554432000 4194304 16246674 140737210896432 140508569509104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23270/tid=23273] ppid=23267 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23273/stat : 23273 (toysat) S 23267 23270 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11073945 1247350784 83277 33554432000 4194304 16246674 140737210896432 140508559035568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700408 s]
/proc/loadavg: 2.14 2.20 2.21 3/179 23270
/proc/meminfo: memFree=29248132/32872528 swapFree=1499116/1695340
[pid=23270] ppid=23267 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/23270/stat : 23270 (toysat) R 23267 23270 17390 0 -1 4202496 202488 0 0 0 42 27 0 0 20 0 4 0 11073945 1247350784 202836 33554432000 4194304 16246674 140737210896432 140737210878336 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23270/statm: 304529 202843 813 2943 0 301423 0
[pid=23270/tid=23271] ppid=23267 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23271/stat : 23271 (toysat) S 23267 23270 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11073945 1247350784 202846 33554432000 4194304 16246674 140737210896432 140508579998960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23270/tid=23272] ppid=23267 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23272/stat : 23272 (toysat) S 23267 23270 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11073945 1247350784 202856 33554432000 4194304 16246674 140737210896432 140508569509104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23270/tid=23273] ppid=23267 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23273/stat : 23273 (toysat) S 23267 23270 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11073945 1247350784 202866 33554432000 4194304 16246674 140737210896432 140508559035568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.14 2.20 2.21 3/183 23274
/proc/meminfo: memFree=28264980/32872528 swapFree=1499116/1695340
[pid=23270] ppid=23267 vsize=1305156 CPUtime=1.49 cores=0,2,4,6
/proc/23270/stat : 23270 (toysat) R 23267 23270 17390 0 -1 4202496 267310 0 0 0 113 36 0 0 20 0 4 0 11073945 1336479744 267635 33554432000 4194304 16246674 140737210896432 140737210878336 5600241 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23270/statm: 326289 267635 873 2943 0 323183 0
[pid=23270/tid=23271] ppid=23267 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23271/stat : 23271 (toysat) S 23267 23270 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11073945 1336479744 267635 33554432000 4194304 16246674 140737210896432 140508579998960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23270/tid=23272] ppid=23267 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23272/stat : 23272 (toysat) S 23267 23270 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11073945 1336479744 267635 33554432000 4194304 16246674 140737210896432 140508569509104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23270/tid=23273] ppid=23267 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23273/stat : 23273 (toysat) S 23267 23270 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11073945 1336479744 267635 33554432000 4194304 16246674 140737210896432 140508559035568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10041 s]
/proc/loadavg: 2.14 2.20 2.21 3/183 23274
/proc/meminfo: memFree=28177312/32872528 swapFree=1499116/1695340
[pid=23270] ppid=23267 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/23270/stat : 23270 (toysat) R 23267 23270 17390 0 -1 4202496 267555 0 0 0 273 36 0 0 20 0 4 0 11073945 1337528320 267880 33554432000 4194304 16246674 140737210896432 140737210879432 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23270/statm: 326545 267880 873 2943 0 323439 0
[pid=23270/tid=23271] ppid=23267 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23271/stat : 23271 (toysat) S 23267 23270 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11073945 1337528320 267880 33554432000 4194304 16246674 140737210896432 140508579998960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23270/tid=23272] ppid=23267 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23272/stat : 23272 (toysat) S 23267 23270 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11073945 1337528320 267880 33554432000 4194304 16246674 140737210896432 140508569509104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23270/tid=23273] ppid=23267 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23273/stat : 23273 (toysat) S 23267 23270 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11073945 1337528320 267880 33554432000 4194304 16246674 140737210896432 140508559035568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.13 2.20 2.20 3/183 23274
/proc/meminfo: memFree=28176684/32872528 swapFree=1499116/1695340
[pid=23270] ppid=23267 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/23270/stat : 23270 (toysat) R 23267 23270 17390 0 -1 4202496 267818 0 0 0 593 36 0 0 20 0 4 0 11073945 1338576896 268143 33554432000 4194304 16246674 140737210896432 140737210878336 6075406 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23270/statm: 326801 268143 873 2943 0 323695 0
[pid=23270/tid=23271] ppid=23267 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23271/stat : 23271 (toysat) S 23267 23270 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11073945 1338576896 268143 33554432000 4194304 16246674 140737210896432 140508579998960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23270/tid=23272] ppid=23267 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23272/stat : 23272 (toysat) S 23267 23270 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11073945 1338576896 268143 33554432000 4194304 16246674 140737210896432 140508569509104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23270/tid=23273] ppid=23267 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23273/stat : 23273 (toysat) S 23267 23270 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11073945 1338576896 268143 33554432000 4194304 16246674 140737210896432 140508559035568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.20 2.21 2.21 3/183 23274
/proc/meminfo: memFree=28176072/32872528 swapFree=1499116/1695340
[pid=23270] ppid=23267 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/23270/stat : 23270 (toysat) R 23267 23270 17390 0 -1 4202496 267920 0 0 0 1233 36 0 0 20 0 4 0 11073945 1338576896 268245 33554432000 4194304 16246674 140737210896432 140737210879432 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23270/statm: 326801 268245 873 2943 0 323695 0
[pid=23270/tid=23271] ppid=23267 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23271/stat : 23271 (toysat) S 23267 23270 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11073945 1338576896 268245 33554432000 4194304 16246674 140737210896432 140508579998960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23270/tid=23272] ppid=23267 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23272/stat : 23272 (toysat) S 23267 23270 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11073945 1338576896 268245 33554432000 4194304 16246674 140737210896432 140508569509104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23270/tid=23273] ppid=23267 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23273/stat : 23273 (toysat) S 23267 23270 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11073945 1338576896 268245 33554432000 4194304 16246674 140737210896432 140508559035568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.29 2.23 2.21 3/183 23274
/proc/meminfo: memFree=28175516/32872528 swapFree=1499116/1695340
[pid=23270] ppid=23267 vsize=1307204 CPUtime=25.49 cores=0,2,4,6
/proc/23270/stat : 23270 (toysat) R 23267 23270 17390 0 -1 4202496 267920 0 0 0 2513 36 0 0 20 0 4 0 11073945 1338576896 268245 33554432000 4194304 16246674 140737210896432 140737210878336 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23270/statm: 326801 268245 873 2943 0 323695 0
[pid=23270/tid=23271] ppid=23267 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23271/stat : 23271 (toysat) S 23267 23270 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11073945 1338576896 268245 33554432000 4194304 16246674 140737210896432 140508579998960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23270/tid=23272] ppid=23267 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23272/stat : 23272 (toysat) S 23267 23270 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11073945 1338576896 268245 33554432000 4194304 16246674 140737210896432 140508569509104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23270/tid=23273] ppid=23267 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23273/stat : 23273 (toysat) S 23267 23270 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11073945 1338576896 268245 33554432000 4194304 16246674 140737210896432 140508559035568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.27 2.23 2.21 3/183 23274
/proc/meminfo: memFree=28174888/32872528 swapFree=1499116/1695340
[pid=23270] ppid=23267 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/23270/stat : 23270 (toysat) R 23267 23270 17390 0 -1 4202496 267923 0 0 0 5072 36 0 0 20 0 4 0 11073945 1338576896 268248 33554432000 4194304 16246674 140737210896432 140737210878336 13760056 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23270/statm: 326801 268248 876 2943 0 323695 0
[pid=23270/tid=23271] ppid=23267 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23271/stat : 23271 (toysat) S 23267 23270 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11073945 1338576896 268248 33554432000 4194304 16246674 140737210896432 140508579998960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23270/tid=23272] ppid=23267 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23272/stat : 23272 (toysat) S 23267 23270 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11073945 1338576896 268248 33554432000 4194304 16246674 140737210896432 140508569509104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23270/tid=23273] ppid=23267 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23273/stat : 23273 (toysat) S 23267 23270 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11073945 1338576896 268248 33554432000 4194304 16246674 140737210896432 140508559035568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.42 2.28 2.23 3/183 23275
/proc/meminfo: memFree=28174864/32872528 swapFree=1499116/1695340
[pid=23270] ppid=23267 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/23270/stat : 23270 (toysat) R 23267 23270 17390 0 -1 4202496 267923 0 0 0 10191 37 0 0 20 0 4 0 11073945 1338576896 268248 33554432000 4194304 16246674 140737210896432 140737210879432 5553796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23270/statm: 326801 268248 876 2943 0 323695 0
[pid=23270/tid=23271] ppid=23267 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23271/stat : 23271 (toysat) S 23267 23270 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11073945 1338576896 268248 33554432000 4194304 16246674 140737210896432 140508579998960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23270/tid=23272] ppid=23267 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23272/stat : 23272 (toysat) S 23267 23270 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11073945 1338576896 268248 33554432000 4194304 16246674 140737210896432 140508569509104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23270/tid=23273] ppid=23267 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23273/stat : 23273 (toysat) S 23267 23270 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11073945 1338576896 268248 33554432000 4194304 16246674 140737210896432 140508559035568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/23270/task/23273/stat : 23273 (toysat) S 23267 23270 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11073945 1343819776 269532 33554432000 4194304 16246674 140737210896432 140508559035568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1312324

[startup+1302.3 s]
/proc/loadavg: 2.26 2.27 2.26 3/183 23305
/proc/meminfo: memFree=28157596/32872528 swapFree=1499116/1695340
[pid=23270] ppid=23267 vsize=1312324 CPUtime=1301.85 cores=0,2,4,6
/proc/23270/stat : 23270 (toysat) R 23267 23270 17390 0 -1 4202496 269634 0 0 0 130140 45 0 0 20 0 4 0 11073945 1343819776 269532 33554432000 4194304 16246674 140737210896432 140737210878336 13759557 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23270/statm: 328081 269532 877 2943 0 324975 0
[pid=23270/tid=23271] ppid=23267 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23271/stat : 23271 (toysat) S 23267 23270 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11073945 1343819776 269532 33554432000 4194304 16246674 140737210896432 140508579998960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23270/tid=23272] ppid=23267 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23272/stat : 23272 (toysat) S 23267 23270 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11073945 1343819776 269532 33554432000 4194304 16246674 140737210896432 140508569509104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23270/tid=23273] ppid=23267 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23273/stat : 23273 (toysat) S 23267 23270 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11073945 1343819776 269532 33554432000 4194304 16246674 140737210896432 140508559035568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1312324

[startup+1362.3 s]
/proc/loadavg: 2.27 2.28 2.27 3/184 23309
/proc/meminfo: memFree=28157424/32872528 swapFree=1499116/1695340
[pid=23270] ppid=23267 vsize=1312324 CPUtime=1361.82 cores=0,2,4,6
/proc/23270/stat : 23270 (toysat) R 23267 23270 17390 0 -1 4202496 269671 0 0 0 136137 45 0 0 20 0 4 0 11073945 1343819776 269532 33554432000 4194304 16246674 140737210896432 140737210878336 5822544 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23270/statm: 328081 269532 877 2943 0 324975 0
[pid=23270/tid=23271] ppid=23267 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23271/stat : 23271 (toysat) S 23267 23270 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11073945 1343819776 269532 33554432000 4194304 16246674 140737210896432 140508579998960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23270/tid=23272] ppid=23267 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23272/stat : 23272 (toysat) S 23267 23270 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11073945 1343819776 269532 33554432000 4194304 16246674 140737210896432 140508569509104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23270/tid=23273] ppid=23267 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23273/stat : 23273 (toysat) S 23267 23270 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11073945 1343819776 269532 33554432000 4194304 16246674 140737210896432 140508559035568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1312324

[startup+1422.3 s]
/proc/loadavg: 2.31 2.29 2.27 4/183 23359
/proc/meminfo: memFree=28167172/32872528 swapFree=1499116/1695340
[pid=23270] ppid=23267 vsize=1312324 CPUtime=1421.82 cores=0,2,4,6
/proc/23270/stat : 23270 (toysat) R 23267 23270 17390 0 -1 4202496 269671 0 0 0 142136 46 0 0 20 0 4 0 11073945 1343819776 269532 33554432000 4194304 16246674 140737210896432 140737210878336 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23270/statm: 328081 269532 877 2943 0 324975 0
[pid=23270/tid=23271] ppid=23267 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23271/stat : 23271 (toysat) S 23267 23270 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11073945 1343819776 269532 33554432000 4194304 16246674 140737210896432 140508579998960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23270/tid=23272] ppid=23267 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23272/stat : 23272 (toysat) S 23267 23270 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11073945 1343819776 269532 33554432000 4194304 16246674 140737210896432 140508569509104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23270/tid=23273] ppid=23267 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23273/stat : 23273 (toysat) S 23267 23270 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11073945 1343819776 269532 33554432000 4194304 16246674 140737210896432 140508559035568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1312324

[startup+1482.3 s]
/proc/loadavg: 2.35 2.31 2.28 3/183 23360
/proc/meminfo: memFree=28161988/32872528 swapFree=1499116/1695340
[pid=23270] ppid=23267 vsize=1312324 CPUtime=1481.8 cores=0,2,4,6
/proc/23270/stat : 23270 (toysat) R 23267 23270 17390 0 -1 4202496 269671 0 0 0 148134 46 0 0 20 0 4 0 11073945 1343819776 269532 33554432000 4194304 16246674 140737210896432 140737210878336 5545708 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23270/statm: 328081 269532 877 2943 0 324975 0
[pid=23270/tid=23271] ppid=23267 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23271/stat : 23271 (toysat) S 23267 23270 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11073945 1343819776 269532 33554432000 4194304 16246674 140737210896432 140508579998960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23270/tid=23272] ppid=23267 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23272/stat : 23272 (toysat) S 23267 23270 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11073945 1343819776 269532 33554432000 4194304 16246674 140737210896432 140508569509104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23270/tid=23273] ppid=23267 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23273/stat : 23273 (toysat) S 23267 23270 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11073945 1343819776 269532 33554432000 4194304 16246674 140737210896432 140508559035568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1312324

[startup+1542.31 s]
/proc/loadavg: 2.27 2.29 2.27 3/183 23362
/proc/meminfo: memFree=28150576/32872528 swapFree=1499116/1695340
[pid=23270] ppid=23267 vsize=1312324 CPUtime=1541.8 cores=0,2,4,6
/proc/23270/stat : 23270 (toysat) R 23267 23270 17390 0 -1 4202496 269671 0 0 0 154134 46 0 0 20 0 4 0 11073945 1343819776 269532 33554432000 4194304 16246674 140737210896432 140737210878336 5711496 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23270/statm: 328081 269532 877 2943 0 324975 0
[pid=23270/tid=23271] ppid=23267 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23271/stat : 23271 (toysat) S 23267 23270 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11073945 1343819776 269532 33554432000 4194304 16246674 140737210896432 140508579998960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23270/tid=23272] ppid=23267 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23272/stat : 23272 (toysat) S 23267 23270 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11073945 1343819776 269532 33554432000 4194304 16246674 140737210896432 140508569509104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23270/tid=23273] ppid=23267 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23273/stat : 23273 (toysat) S 23267 23270 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11073945 1343819776 269532 33554432000 4194304 16246674 140737210896432 140508559035568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1312324

[startup+1602.3 s]
/proc/loadavg: 2.41 2.33 2.28 4/183 23363
/proc/meminfo: memFree=28147604/32872528 swapFree=1499116/1695340
[pid=23270] ppid=23267 vsize=1312324 CPUtime=1601.79 cores=0,2,4,6
/proc/23270/stat : 23270 (toysat) R 23267 23270 17390 0 -1 4202496 269671 0 0 0 160132 47 0 0 20 0 4 0 11073945 1343819776 269532 33554432000 4194304 16246674 140737210896432 140737210878336 5523531 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23270/statm: 328081 269532 877 2943 0 324975 0
[pid=23270/tid=23271] ppid=23267 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23271/stat : 23271 (toysat) S 23267 23270 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11073945 1343819776 269532 33554432000 4194304 16246674 140737210896432 140508579998960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23270/tid=23272] ppid=23267 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23272/stat : 23272 (toysat) S 23267 23270 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11073945 1343819776 269532 33554432000 4194304 16246674 140737210896432 140508569509104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23270/tid=23273] ppid=23267 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23273/stat : 23273 (toysat) S 23267 23270 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11073945 1343819776 269532 33554432000 4194304 16246674 140737210896432 140508559035568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1312324

[startup+1662.3 s]
/proc/loadavg: 2.33 2.31 2.27 3/183 23364
/proc/meminfo: memFree=28147112/32872528 swapFree=1499116/1695340
[pid=23270] ppid=23267 vsize=1312324 CPUtime=1661.78 cores=0,2,4,6
/proc/23270/stat : 23270 (toysat) R 23267 23270 17390 0 -1 4202496 269671 0 0 0 166131 47 0 0 20 0 4 0 11073945 1343819776 269532 33554432000 4194304 16246674 140737210896432 140737210878336 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23270/statm: 328081 269532 877 2943 0 324975 0
[pid=23270/tid=23271] ppid=23267 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23271/stat : 23271 (toysat) S 23267 23270 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11073945 1343819776 269532 33554432000 4194304 16246674 140737210896432 140508579998960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23270/tid=23272] ppid=23267 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23272/stat : 23272 (toysat) S 23267 23270 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11073945 1343819776 269532 33554432000 4194304 16246674 140737210896432 140508569509104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23270/tid=23273] ppid=23267 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23273/stat : 23273 (toysat) S 23267 23270 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11073945 1343819776 269532 33554432000 4194304 16246674 140737210896432 140508559035568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1312324

[startup+1722.3 s]
/proc/loadavg: 2.38 2.33 2.28 3/183 23365
/proc/meminfo: memFree=28146880/32872528 swapFree=1499116/1695340
[pid=23270] ppid=23267 vsize=1312324 CPUtime=1721.76 cores=0,2,4,6
/proc/23270/stat : 23270 (toysat) R 23267 23270 17390 0 -1 4202496 269671 0 0 0 172129 47 0 0 20 0 4 0 11073945 1343819776 269532 33554432000 4194304 16246674 140737210896432 140737210878336 5546271 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23270/statm: 328081 269532 877 2943 0 324975 0
[pid=23270/tid=23271] ppid=23267 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23271/stat : 23271 (toysat) S 23267 23270 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11073945 1343819776 269532 33554432000 4194304 16246674 140737210896432 140508579998960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23270/tid=23272] ppid=23267 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23272/stat : 23272 (toysat) S 23267 23270 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11073945 1343819776 269532 33554432000 4194304 16246674 140737210896432 140508569509104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23270/tid=23273] ppid=23267 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23273/stat : 23273 (toysat) S 23267 23270 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11073945 1343819776 269532 33554432000 4194304 16246674 140737210896432 140508559035568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1312324

[startup+1782.3 s]
/proc/loadavg: 2.35 2.33 2.28 4/183 23366
/proc/meminfo: memFree=28145380/32872528 swapFree=1499116/1695340
[pid=23270] ppid=23267 vsize=1314372 CPUtime=1781.76 cores=0,2,4,6
/proc/23270/stat : 23270 (toysat) R 23267 23270 17390 0 -1 4202496 269996 0 0 0 178128 48 0 0 20 0 4 0 11073945 1345916928 269857 33554432000 4194304 16246674 140737210896432 140737210878336 5861120 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23270/statm: 328593 269857 877 2943 0 325487 0
[pid=23270/tid=23271] ppid=23267 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23271/stat : 23271 (toysat) S 23267 23270 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11073945 1345916928 269857 33554432000 4194304 16246674 140737210896432 140508579998960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23270/tid=23272] ppid=23267 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23272/stat : 23272 (toysat) S 23267 23270 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11073945 1345916928 269857 33554432000 4194304 16246674 140737210896432 140508569509104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23270/tid=23273] ppid=23267 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23273/stat : 23273 (toysat) S 23267 23270 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11073945 1345916928 269857 33554432000 4194304 16246674 140737210896432 140508559035568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1314372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.25 2.30 2.27 3/183 23366
/proc/meminfo: memFree=28145648/32872528 swapFree=1499116/1695340
[pid=23270] ppid=23267 vsize=1314372 CPUtime=1800.06 cores=0,2,4,6
/proc/23270/stat : 23270 (toysat) R 23267 23270 17390 0 -1 4202496 269996 0 0 0 179958 48 0 0 20 0 4 0 11073945 1345916928 269857 33554432000 4194304 16246674 140737210896432 140737210878336 5722960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23270/statm: 328593 269857 877 2943 0 325487 0
[pid=23270/tid=23271] ppid=23267 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23271/stat : 23271 (toysat) S 23267 23270 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11073945 1345916928 269857 33554432000 4194304 16246674 140737210896432 140508579998960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23270/tid=23272] ppid=23267 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23272/stat : 23272 (toysat) S 23267 23270 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11073945 1345916928 269857 33554432000 4194304 16246674 140737210896432 140508569509104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23270/tid=23273] ppid=23267 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/23270/task/23273/stat : 23273 (toysat) S 23267 23270 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11073945 1345916928 269857 33554432000 4194304 16246674 140737210896432 140508559035568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1314372

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 23270 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.07
CPU user time (s): 1799.59
CPU system time (s): 0.482926
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 1314372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.482926
maximum resident set size= 1079428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269996
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= 480
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.0103 second user time and 13.337 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-16 17:18:02
IDJOB=4093626
IDBENCH=79154
IDSOLVER=2553
FILE ID=node137/4093626-1466090282
RUNJOBID= node137-1466075286-21602
PBS_JOBID= 19904003
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr--soft-0-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-4093626-1466090282/watcher-4093626-1466090282 -o /tmp/evaluation-result-4093626-1466090282/solver-4093626-1466090282 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466075286-21602 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093626-1466090282.wbo

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

MD5SUM BENCH= bec517e59b6734cb4022e119f1959006
RANDOM SEED=116896204

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29248660 kB
Buffers:           41004 kB
Cached:           107092 kB
SwapCached:         2452 kB
Active:          1154432 kB
Inactive:          70304 kB
Active(anon):    1076904 kB
Inactive(anon):     1780 kB
Active(file):      77528 kB
Inactive(file):    68524 kB
Unevictable:     1695340 kB
Mlocked:         1499116 kB
SwapTotal:      67108856 kB
SwapFree:       67099388 kB
Dirty:             16312 kB
Writeback:             0 kB
AnonPages:       2757972 kB
Mapped:            10456 kB
Shmem:                 0 kB
Slab:             568388 kB
SReclaimable:      12668 kB
SUnreclaim:       555720 kB
KernelStack:        1520 kB
PageTables:         9592 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2913012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    186368 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= 71708 MiB
End job on node137 at 2016-06-16 17:48:03