Trace number 4093709

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.03 1800.51

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-25-20--soft-0-100-0.wbo
MD5SUM3ef623ad54bc9b8a55f5198a1c4abc02
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark0.373942
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables500
Total number of constraints45
Number of soft constraints45
Number of constraints which are clauses25
Number of constraints which are cardinality constraints (but not clauses)20
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint20
Maximum length of a constraint25
Top cost 1950
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 1949
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 26
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T18:16:48+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-4093709-1466093808.wbo"]
0.00/0.01	c use --random-gen="475257015 272903227 3469435761 300186090 1201014824 2463211968 3415279833 3005841746 1683147966 3084703789 994433854 2541473834 547421070 586888947 2398479259 817335275 3703845583 3418968003 1341656371 1357826146 2228555446 3383074822 2568169514 1813116254 1760510877 2885975269 3137634251 3410635080 3668209799 3797212302 2363844155 2590830043 2273705866 3441442649 3025132532 660341107 1229776397 2475308079 2405748272 3689229082 3953136579 1713939263 3134820868 1948734366 715692653 3397716758 3303293840 249136505 2157811203 1550472625 2684959254 2928384804 3511474950 1965973319 3760846033 1578280153 760757371 1896620359 103298257 242207287 1752541421 507845036 2761030660 3588994008 3401119053 2599337246 2344866523 2184421520 4050889984 3922717488 296995698 1185178154 922670354 2325557868 853248772 2413720144 819112378 1417540646 1572276675 2061240232 1891460468 640416402 4033440474 1031623495 1186264585 3015770622 1509742136 2805072610 3389252420 1515045048 2468694934 529356389 665175076 719897458 2772654129 3833289694 727663543 184603152 1027275527 1323973432 104311902 3181039511 278432127 2257942614 75534468 406824138 3770926762 2590857521 2990407596 1072766206 4120988071 2195422035 231946460 2551159582 3930418066 3732394290 728873915 1831090251 3256511617 1382635193 563149242 1189879138 2382319448 1652943281 2332499680 713274620 2413870530 51186470 1704745926 191082344 2061793706 27995504 3251897759 2815888574 2312878345 2557888561 58872757 1037148497 1813641856 1511319733 1238175199 3619457824 4192242404 1435866957 3057200398 987828951 2616596891 1202427566 1088468462 2009197509 257107976 1452442307 1755552930 3462021965 939121430 3941118842 1955572427 4130683458 3648958026 1601456731 2579209827 3263365539 4265896356 2478514225 341698444 1169867024 3877524305 534948832 3772565622 1878371638 365958869 3023345908 2211476035 306733797 153687231 1047782879 2535349708 2271398994 398447341 1767739779 1901295544 1958279353 256164416 2998407490 43627914 123491030 191615102 1812564220 1963300644 2101703436 3435256599 866246772 614329570 3632022811 1659121525 1777431453 359457782 152388338 357820112 3440849808 3484404941 479344989 3455016182 1268288805 2551350318 3085660735 3008922145 3151952856 861863712 4107947091 2850658366 2825055647 2357570011 3348634694 3547232190 2356858994 1964999280 3398844549 3482278371 3418907515 3911140549 2669286413 1547026280 4001390242 1217943390 696377352 2526813074 1991869996 3273791811 4214055213 976845192 296298333 1526572956 1742624467 2209584856 1787452529 3680911264 3137809630 1192248428 2548505208 626079489 2741640664 1661103207 1406237438 1540210756 1438077662 1738375778 618707736 4241621614 4162568247 732214442 3315631228 3921485651 2864750595 3425297108 3000715705 255 362436" option to reproduce the execution
0.00/0.03	c #vars 500
0.00/0.03	c #constraints 45
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 |      196      0 |        0 |        0
0.00/0.03	c  0.0s |       0 |       65 |        0 |      196      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 = 65
0.00/0.03	c #random_decision = 1
0.00/0.03	c #conflict = 0
0.00/0.03	c #restart = 0
0.00/0.03	o 891
0.00/0.03	c BCD2: updating upper bound: 1949 -> 890
0.00/0.03	c BCD2: 0 <= obj <= 890
0.00/0.03	c BCD2: #cores=0, #unrelaxed=45, #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 |      196      0 |        0 |        0
0.00/0.06	c  0.0s |       1 |      177 |      100 |      196      0 |        0 |        0
0.09/0.10	c  0.1s |       2 |      564 |      250 |      216      0 |        0 |        0
0.19/0.21	c  0.2s |       3 |     1116 |      475 |      238      1 |        0 |        0
0.29/0.38	c  0.3s |       4 |     1764 |      813 |      262      2 |        0 |        0
0.59/0.68	c  0.6s |       5 |     2720 |     1320 |      289      3 |        0 |        0
0.99/1.07	c  1.0s |       6 |     3852 |     2081 |      350      6 |        0 |        0
1.59/1.65	c  1.6s |       7 |     5605 |     3223 |      386      9 |        0 |        0
2.39/2.41	c  2.4s |       8 |     7888 |     4936 |      425     13 |        0 |        0
4.09/4.12	c  4.1s |       9 |    11409 |     7506 |      468     19 |        0 |        0
6.09/6.16	c  6.1s |       9 |    15770 |    10806 |      468     26 |        0 |        0
6.39/6.45	c  6.4s |      10 |    16381 |    11361 |      515     27 |        0 |        0
8.39/8.46	c  8.4s |      10 |    21408 |    15461 |      515     36 |        0 |        0
9.19/9.26	c  9.2s |      11 |    23293 |    17144 |      567     39 |        0 |        0
11.19/11.27	c 11.2s |      11 |    27373 |    20144 |      567     45 |        0 |        0
13.29/13.34	c 13.3s |      11 |    30437 |    22744 |      567     50 |        0 |        0
15.29/15.38	c 15.3s |      11 |    33559 |    25444 |      567     56 |        0 |        0
15.59/15.63	c 15.6s |      12 |    34049 |    25819 |      624     56 |        0 |        0
17.59/17.67	c 17.6s |      12 |    40706 |    31219 |      624     69 |        0 |        0
19.59/19.68	c 19.6s |      12 |    47363 |    37019 |      624     82 |        0 |        0
20.18/20.27	c 20.2s |      13 |    49486 |    38832 |      687     86 |        0 |        0
22.28/22.34	c 22.3s |      13 |    54257 |    42632 |      687     93 |        0 |        0
24.29/24.36	c 24.3s |      13 |    57836 |    45832 |      687     98 |        0 |        0
26.39/26.43	c 26.4s |      13 |    61296 |    48932 |      687    104 |        0 |        0
28.38/28.44	c 28.4s |      13 |    64744 |    52032 |      687    109 |        0 |        0
30.38/30.44	c 30.4s |      13 |    67994 |    54932 |      687    114 |        0 |        0
32.48/32.50	c 32.5s |      13 |    71899 |    58332 |      756    120 |        0 |        0
32.48/32.51	c 32.5s |      14 |    71916 |    58352 |      756    120 |        0 |        0
34.47/34.54	c 34.5s |      14 |    76734 |    62252 |      756    126 |        0 |        0
36.47/36.59	c 36.6s |      14 |    80887 |    65852 |      756    132 |        0 |        0
38.58/38.62	c 38.6s |      14 |    84632 |    69152 |      756    137 |        0 |        0
40.57/40.67	c 40.6s |      14 |    88430 |    72552 |      756    143 |        0 |        0
42.57/42.69	c 42.7s |      14 |    92287 |    75952 |      756    148 |        0 |        0
44.67/44.71	c 44.7s |      14 |    95638 |    78952 |      756    153 |        0 |        0
46.67/46.71	c 46.7s |      14 |    99513 |    82352 |      756    159 |        0 |        0
48.67/48.72	c 48.7s |      14 |   103568 |    85952 |      756    165 |        0 |        0
49.67/49.72	c 49.7s |      15 |   105436 |    87632 |      832    168 |        0 |        0
51.67/51.76	c 51.7s |      15 |   110632 |    91932 |      832    174 |        0 |        0
53.67/53.78	c 53.7s |      15 |   114222 |    95132 |      832    179 |        0 |        0
55.77/55.83	c 55.8s |      15 |   118396 |    98832 |      832    185 |        0 |        0
57.77/57.85	c 57.8s |      15 |   122223 |   102232 |      832    190 |        0 |        0
59.76/59.86	c 59.8s |      15 |   125578 |   105232 |      832    194 |        0 |        0
61.76/61.87	c 61.8s |      15 |   129046 |   108232 |      832    199 |        0 |        0
63.87/63.92	c 63.9s |      15 |   132601 |   111432 |      832    204 |        0 |        0
65.86/65.97	c 65.9s |      15 |   136038 |   114532 |      832    209 |        0 |        0
67.96/68.00	c 68.0s |      15 |   140066 |   118032 |      832    214 |        0 |        0
69.96/70.02	c 70.0s |      15 |   144075 |   121632 |      832    220 |        0 |        0
71.96/72.08	c 72.0s |      15 |   147986 |   125132 |      832    225 |        0 |        0
74.06/74.11	c 74.1s |      15 |   151753 |   128532 |      832    230 |        0 |        0
75.86/75.95	c 75.9s |      16 |   155189 |   131552 |      916    235 |        0 |        0
77.86/77.95	c 77.9s |      16 |   160173 |   135852 |      916    243 |        0 |        0
79.87/79.98	c 80.0s |      16 |   165020 |   140152 |      916    250 |        0 |        0
81.96/82.03	c 82.0s |      16 |   169852 |   144452 |      916    257 |        0 |        0
83.96/84.04	c 84.0s |      16 |   176460 |   150252 |      916    267 |        0 |        0
85.96/86.07	c 86.0s |      16 |   183010 |   156052 |      916    277 |        0 |        0
87.97/88.10	c 88.1s |      16 |   189516 |   161852 |      916    287 |        0 |        0
90.06/90.12	c 90.1s |      16 |   195761 |   167352 |      916    297 |        0 |        0
92.06/92.14	c 92.1s |      16 |   201886 |   172852 |      916    306 |        0 |        0
94.06/94.17	c 94.1s |      16 |   208146 |   178352 |      916    316 |        0 |        0
96.05/96.19	c 96.2s |      16 |   214074 |   183652 |      916    325 |        0 |        0
98.15/98.22	c 98.2s |      16 |   220587 |   189352 |      916    335 |        0 |        0
100.16/100.25	c  100s |      16 |   227180 |   195152 |      916    345 |        0 |        0
100.95/101.04	c  101s |      17 |   229740 |   197432 |     1008    348 |        0 |        0
102.95/103.05	c  103s |      17 |   233544 |   200532 |     1008    352 |        0 |        0
104.95/105.09	c  105s |      17 |   237068 |   203632 |     1008    357 |        0 |        0
107.05/107.18	c  107s |      17 |   240327 |   206532 |     1008    361 |        0 |        0
109.15/109.21	c  109s |      17 |   243083 |   209032 |     1008    364 |        0 |        0
111.15/111.29	c  111s |      17 |   245950 |   211632 |     1008    368 |        0 |        0
113.25/113.31	c  113s |      17 |   248572 |   214032 |     1008    371 |        0 |        0
115.24/115.39	c  115s |      17 |   251333 |   216532 |     1008    374 |        0 |        0
117.24/117.39	c  117s |      17 |   254109 |   219032 |     1008    378 |        0 |        0
119.35/119.42	c  119s |      17 |   257419 |   221932 |     1008    382 |        0 |        0
121.34/121.48	c  121s |      17 |   260856 |   224932 |     1008    386 |        0 |        0
123.44/123.50	c  123s |      17 |   264883 |   228332 |     1008    390 |        0 |        0
125.45/125.54	c  125s |      17 |   268295 |   231332 |     1008    394 |        0 |        0
127.44/127.56	c  127s |      17 |   271653 |   234232 |     1008    398 |        0 |        0
129.44/129.57	c  129s |      17 |   275323 |   237432 |     1008    403 |        0 |        0
131.54/131.60	c  131s |      17 |   278199 |   239932 |     1008    406 |        0 |        0
133.54/133.61	c  133s |      17 |   280928 |   242332 |     1008    409 |        0 |        0
135.54/135.62	c  135s |      17 |   283719 |   244832 |     1008    413 |        0 |        0
137.55/137.67	c  137s |      17 |   286385 |   247132 |     1008    416 |        0 |        0
139.54/139.68	c  139s |      17 |   289751 |   250132 |     1008    420 |        0 |        0
141.64/141.71	c  141s |      17 |   293310 |   253332 |     1008    424 |        0 |        0
143.64/143.75	c  143s |      17 |   296947 |   256632 |     1008    429 |        0 |        0
145.63/145.76	c  145s |      17 |   300640 |   259932 |     1008    433 |        0 |        0
147.63/147.76	c  147s |      17 |   304529 |   263432 |     1008    438 |        0 |        0
149.64/149.78	c  149s |      17 |   308173 |   266732 |     1008    443 |        0 |        0
151.63/151.79	c  151s |      17 |   311655 |   269832 |     1008    447 |        0 |        0
153.73/153.81	c  153s |      17 |   315197 |   273032 |     1008    451 |        0 |        0
155.73/155.85	c  155s |      17 |   318659 |   276132 |     1008    456 |        0 |        0
157.73/157.86	c  157s |      17 |   322000 |   279132 |     1008    460 |        0 |        0
159.73/159.86	c  159s |      17 |   325684 |   282432 |     1008    464 |        0 |        0
161.83/161.92	c  161s |      17 |   329369 |   285732 |     1008    469 |        0 |        0
163.83/163.94	c  163s |      17 |   333020 |   289032 |     1008    473 |        0 |        0
165.82/165.96	c  165s |      17 |   336486 |   292132 |     1008    478 |        0 |        0
167.92/168.03	c  167s |      17 |   339893 |   295232 |     1109    482 |        0 |        0
168.62/168.74	c  168s |      18 |   341018 |   296252 |     1109    483 |        0 |        0
170.62/170.77	c  170s |      18 |   345021 |   299552 |     1109    487 |        0 |        0
172.63/172.79	c  172s |      18 |   348400 |   302552 |     1109    491 |        0 |        0
174.62/174.80	c  174s |      18 |   352305 |   305952 |     1109    495 |        0 |        0
176.72/176.86	c  176s |      18 |   356368 |   309552 |     1109    500 |        0 |        0
178.82/178.92	c  178s |      18 |   360439 |   313152 |     1109    504 |        0 |        0
180.82/180.97	c  180s |      18 |   364460 |   316652 |     1109    509 |        0 |        0
182.81/182.99	c  182s |      18 |   368293 |   319952 |     1109    513 |        0 |        0
184.91/185.03	c  184s |      18 |   371564 |   322952 |     1109    517 |        0 |        0
186.91/187.07	c  187s |      18 |   374872 |   325952 |     1109    520 |        0 |        0
188.91/189.09	c  189s |      18 |   378041 |   328852 |     1109    524 |        0 |        0
191.01/191.15	c  191s |      18 |   380987 |   331552 |     1109    527 |        0 |        0
193.00/193.19	c  193s |      18 |   384052 |   334352 |     1109    531 |        0 |        0
195.10/195.22	c  195s |      18 |   387327 |   337252 |     1109    535 |        0 |        0
197.10/197.25	c  197s |      18 |   390929 |   340452 |     1109    539 |        0 |        0
199.11/199.29	c  199s |      18 |   394143 |   343352 |     1109    543 |        0 |        0
201.21/201.32	c  201s |      18 |   397608 |   346452 |     1109    546 |        0 |        0
203.20/203.38	c  203s |      18 |   400801 |   349352 |     1109    550 |        0 |        0
205.30/205.43	c  205s |      18 |   403871 |   352152 |     1109    554 |        0 |        0
207.30/207.45	c  207s |      18 |   407322 |   355252 |     1109    558 |        0 |        0
209.40/209.51	c  209s |      18 |   410534 |   358152 |     1109    561 |        0 |        0
211.39/211.54	c  211s |      18 |   413997 |   361252 |     1109    565 |        0 |        0
213.41/213.57	c  213s |      18 |   417235 |   364152 |     1109    569 |        0 |        0
215.51/215.61	c  215s |      18 |   420624 |   367152 |     1109    573 |        0 |        0
217.50/217.66	c  217s |      18 |   423940 |   370152 |     1109    577 |        0 |        0
219.50/219.66	c  219s |      18 |   427684 |   373452 |     1109    581 |        0 |        0
221.50/221.67	c  221s |      18 |   431452 |   376852 |     1109    585 |        0 |        0
223.50/223.68	c  223s |      18 |   435340 |   380352 |     1109    590 |        0 |        0
225.50/225.68	c  225s |      18 |   439098 |   383752 |     1109    594 |        0 |        0
227.60/227.73	c  227s |      18 |   442735 |   387052 |     1109    598 |        0 |        0
229.59/229.76	c  229s |      18 |   446532 |   390452 |     1109    602 |        0 |        0
231.69/231.80	c  231s |      18 |   450350 |   393852 |     1109    607 |        0 |        0
233.69/233.81	c  233s |      18 |   453948 |   397152 |     1109    611 |        0 |        0
235.69/235.86	c  235s |      18 |   457339 |   400252 |     1109    615 |        0 |        0
237.79/237.92	c  237s |      18 |   461298 |   403752 |     1109    619 |        0 |        0
239.79/239.93	c  239s |      18 |   464910 |   407052 |     1109    623 |        0 |        0
241.78/241.94	c  241s |      18 |   468422 |   410252 |     1109    628 |        0 |        0
243.78/243.95	c  243s |      18 |   472317 |   413752 |     1109    632 |        0 |        0
245.78/245.97	c  245s |      18 |   475750 |   416852 |     1109    636 |        0 |        0
247.88/248.00	c  247s |      18 |   479735 |   420352 |     1109    640 |        0 |        0
249.88/250.03	c  249s |      18 |   483328 |   423552 |     1109    644 |        0 |        0
251.88/252.08	c  252s |      18 |   486617 |   426552 |     1109    648 |        0 |        0
253.98/254.16	c  254s |      18 |   489968 |   429552 |     1109    652 |        0 |        0
256.08/256.22	c  256s |      18 |   493182 |   432452 |     1109    656 |        0 |        0
258.08/258.25	c  258s |      18 |   496015 |   435052 |     1109    659 |        0 |        0
260.08/260.27	c  260s |      18 |   500125 |   438352 |     1109    663 |        0 |        0
262.07/262.27	c  262s |      18 |   503484 |   441352 |     1220    667 |        0 |        0
263.88/264.06	c  264s |      19 |   507076 |   444482 |     1220    671 |        0 |        0
265.87/266.06	c  266s |      19 |   511594 |   448182 |     1220    675 |        0 |        0
267.97/268.11	c  268s |      19 |   515650 |   451682 |     1220    679 |        0 |        0
269.97/270.15	c  270s |      19 |   519490 |   454982 |     1220    683 |        0 |        0
271.97/272.17	c  272s |      19 |   522843 |   457982 |     1220    687 |        0 |        0
273.97/274.17	c  274s |      19 |   526397 |   461082 |     1220    690 |        0 |        0
275.97/276.19	c  276s |      19 |   529992 |   464282 |     1220    694 |        0 |        0
278.07/278.24	c  278s |      19 |   533547 |   467482 |     1220    698 |        0 |        0
280.07/280.26	c  280s |      19 |   537223 |   470682 |     1220    702 |        0 |        0
282.06/282.29	c  282s |      19 |   540778 |   473882 |     1220    706 |        0 |        0
284.16/284.33	c  284s |      19 |   544587 |   477282 |     1220    710 |        0 |        0
286.16/286.34	c  286s |      19 |   548025 |   480382 |     1220    713 |        0 |        0
288.17/288.39	c  288s |      19 |   551760 |   483682 |     1220    717 |        0 |        0
290.27/290.45	c  290s |      19 |   555318 |   486882 |     1220    721 |        0 |        0
292.36/292.51	c  292s |      19 |   558869 |   490082 |     1220    725 |        0 |        0
294.36/294.54	c  294s |      19 |   562972 |   493682 |     1220    729 |        0 |        0
296.36/296.56	c  296s |      19 |   566495 |   496882 |     1220    733 |        0 |        0
298.36/298.57	c  298s |      19 |   570165 |   500182 |     1220    737 |        0 |        0
300.36/300.59	c  300s |      19 |   573511 |   503182 |     1220    741 |        0 |        0
302.47/302.66	c  302s |      19 |   576725 |   505982 |     1220    744 |        0 |        0
304.57/304.72	c  304s |      19 |   579722 |   508682 |     1220    747 |        0 |        0
306.56/306.78	c  306s |      19 |   582880 |   511482 |     1220    750 |        0 |        0
308.66/308.84	c  308s |      19 |   586014 |   514282 |     1220    754 |        0 |        0
310.75/310.91	c  310s |      19 |   588881 |   516882 |     1220    757 |        0 |        0
312.75/312.92	c  312s |      19 |   591797 |   519482 |     1220    760 |        0 |        0
314.75/314.98	c  314s |      19 |   594908 |   522182 |     1220    763 |        0 |        0
316.76/316.99	c  316s |      19 |   598084 |   525082 |     1220    767 |        0 |        0
318.86/319.01	c  318s |      19 |   601183 |   527882 |     1220    770 |        0 |        0
320.85/321.06	c  321s |      19 |   604730 |   531082 |     1220    774 |        0 |        0
322.85/323.08	c  323s |      19 |   607963 |   533982 |     1220    777 |        0 |        0
324.94/325.13	c  325s |      19 |   611188 |   536882 |     1220    781 |        0 |        0
326.94/327.16	c  327s |      19 |   614256 |   539582 |     1220    784 |        0 |        0
328.94/329.19	c  329s |      19 |   618017 |   542582 |     1220    788 |        0 |        0
331.05/331.24	c  331s |      19 |   622044 |   545982 |     1220    792 |        0 |        0
333.04/333.27	c  333s |      19 |   626075 |   549482 |     1220    796 |        0 |        0
335.14/335.32	c  335s |      19 |   629793 |   552682 |     1220    800 |        0 |        0
337.24/337.40	c  337s |      19 |   633520 |   555882 |     1220    804 |        0 |        0
339.24/339.44	c  339s |      19 |   637674 |   559582 |     1220    808 |        0 |        0
341.24/341.48	c  341s |      19 |   641332 |   562882 |     1220    812 |        0 |        0
343.33/343.53	c  343s |      19 |   645631 |   566682 |     1220    816 |        0 |        0
345.34/345.58	c  345s |      19 |   649770 |   570382 |     1220    821 |        0 |        0
347.44/347.62	c  347s |      19 |   653824 |   573982 |     1220    825 |        0 |        0
349.43/349.63	c  349s |      19 |   657713 |   577482 |     1220    829 |        0 |        0
351.43/351.68	c  351s |      19 |   661518 |   580882 |     1220    833 |        0 |        0
353.43/353.69	c  353s |      19 |   664998 |   583982 |     1220    837 |        0 |        0
355.53/355.71	c  355s |      19 |   668027 |   586682 |     1220    840 |        0 |        0
357.53/357.78	c  357s |      19 |   670860 |   589282 |     1220    843 |        0 |        0
359.53/359.80	c  359s |      19 |   673929 |   591982 |     1220    847 |        0 |        0
361.62/361.83	c  361s |      19 |   677037 |   594782 |     1220    850 |        0 |        0
363.62/363.85	c  363s |      19 |   679954 |   597382 |     1220    853 |        0 |        0
365.72/365.92	c  365s |      19 |   682817 |   599882 |     1220    856 |        0 |        0
367.72/367.94	c  367s |      19 |   685788 |   602582 |     1220    859 |        0 |        0
369.72/369.98	c  369s |      19 |   689160 |   605682 |     1220    863 |        0 |        0
371.72/371.99	c  371s |      19 |   692512 |   608682 |     1220    867 |        0 |        0
373.82/374.02	c  373s |      19 |   695473 |   611382 |     1220    870 |        0 |        0
375.82/376.05	c  376s |      19 |   698606 |   614182 |     1220    873 |        0 |        0
377.92/378.11	c  378s |      19 |   701593 |   616882 |     1220    877 |        0 |        0
379.92/380.13	c  380s |      19 |   704558 |   619482 |     1220    880 |        0 |        0
381.92/382.16	c  382s |      19 |   707659 |   622182 |     1220    883 |        0 |        0
384.02/384.21	c  384s |      19 |   710351 |   624582 |     1220    886 |        0 |        0
386.03/386.23	c  386s |      19 |   712762 |   626782 |     1220    888 |        0 |        0
388.02/388.23	c  388s |      19 |   715452 |   629182 |     1220    891 |        0 |        0
390.02/390.27	c  390s |      19 |   717915 |   631382 |     1220    894 |        0 |        0
392.11/392.33	c  392s |      19 |   720260 |   633482 |     1220    896 |        0 |        0
394.21/394.43	c  394s |      19 |   723122 |   636082 |     1220    900 |        0 |        0
396.31/396.50	c  396s |      19 |   726393 |   638982 |     1220    903 |        0 |        0
398.31/398.50	c  398s |      19 |   729339 |   641582 |     1220    906 |        0 |        0
400.32/400.56	c  400s |      19 |   732541 |   644382 |     1220    909 |        0 |        0
402.31/402.57	c  402s |      19 |   735465 |   646982 |     1220    913 |        0 |        0
404.41/404.60	c  404s |      19 |   738488 |   649682 |     1220    916 |        0 |        0
406.41/406.65	c  406s |      19 |   741305 |   652182 |     1220    919 |        0 |        0
408.41/408.69	c  408s |      19 |   744053 |   654582 |     1220    922 |        0 |        0
410.41/410.69	c  410s |      19 |   746611 |   656882 |     1220    924 |        0 |        0
412.50/412.76	c  412s |      19 |   749560 |   659482 |     1220    928 |        0 |        0
414.51/414.78	c  414s |      19 |   752301 |   661882 |     1220    930 |        0 |        0
416.60/416.86	c  416s |      19 |   755209 |   664282 |     1342    933 |        0 |        0
418.60/418.86	c  418s |      20 |   758051 |   666827 |     1342    936 |        0 |        0
420.60/420.89	c  420s |      20 |   761979 |   669927 |     1342    939 |        0 |        0
422.70/422.94	c  422s |      20 |   765108 |   672727 |     1342    942 |        0 |        0
424.70/424.98	c  424s |      20 |   768098 |   675427 |     1342    945 |        0 |        0
426.70/426.99	c  426s |      20 |   770889 |   677927 |     1342    948 |        0 |        0
428.80/429.03	c  428s |      20 |   773755 |   680527 |     1342    951 |        0 |        0
430.80/431.05	c  431s |      20 |   776495 |   683027 |     1342    954 |        0 |        0
432.89/433.11	c  433s |      20 |   779208 |   685527 |     1342    957 |        0 |        0
434.89/435.15	c  435s |      20 |   782379 |   688227 |     1342    960 |        0 |        0
436.99/437.22	c  437s |      20 |   785028 |   690627 |     1342    962 |        0 |        0
438.99/439.29	c  439s |      20 |   787571 |   692927 |     1342    965 |        0 |        0
441.09/441.32	c  441s |      20 |   790260 |   695327 |     1342    967 |        0 |        0
443.10/443.34	c  443s |      20 |   793023 |   697827 |     1342    970 |        0 |        0
445.19/445.41	c  445s |      20 |   795661 |   700227 |     1342    973 |        0 |        0
447.19/447.48	c  447s |      20 |   798293 |   702627 |     1342    976 |        0 |        0
449.29/449.55	c  449s |      20 |   800922 |   705027 |     1342    978 |        0 |        0
451.29/451.58	c  451s |      20 |   803314 |   707127 |     1342    981 |        0 |        0
453.39/453.66	c  453s |      20 |   805467 |   709027 |     1342    983 |        0 |        0
455.48/455.70	c  455s |      20 |   808816 |   711927 |     1342    986 |        0 |        0
457.49/457.71	c  457s |      20 |   811573 |   714427 |     1342    989 |        0 |        0
459.48/459.75	c  459s |      20 |   814451 |   717027 |     1342    992 |        0 |        0
461.48/461.75	c  461s |      20 |   817262 |   719527 |     1342    994 |        0 |        0
463.48/463.76	c  463s |      20 |   819900 |   721927 |     1342    997 |        0 |        0
465.58/465.80	c  465s |      20 |   823124 |   724627 |     1342   1000 |        0 |        0
467.58/467.82	c  467s |      20 |   826294 |   727227 |     1342   1003 |        0 |        0
469.58/469.87	c  469s |      20 |   829220 |   729827 |     1342   1006 |        0 |        0
471.57/471.88	c  471s |      20 |   831961 |   732327 |     1342   1009 |        0 |        0
473.67/473.91	c  473s |      20 |   834958 |   735027 |     1342   1012 |        0 |        0
475.67/475.96	c  475s |      20 |   837935 |   737727 |     1342   1015 |        0 |        0
477.77/478.01	c  477s |      20 |   840437 |   740027 |     1342   1017 |        0 |        0
479.77/480.06	c  480s |      20 |   843151 |   742427 |     1342   1020 |        0 |        0
481.77/482.07	c  482s |      20 |   846023 |   745027 |     1342   1023 |        0 |        0
483.87/484.14	c  484s |      20 |   848803 |   747527 |     1342   1026 |        0 |        0
485.87/486.14	c  486s |      20 |   851192 |   749727 |     1342   1028 |        0 |        0
487.87/488.17	c  488s |      20 |   853710 |   751927 |     1342   1030 |        0 |        0
489.87/490.17	c  490s |      20 |   855873 |   753927 |     1342   1033 |        0 |        0
491.96/492.22	c  492s |      20 |   858822 |   756527 |     1342   1036 |        0 |        0
494.06/494.31	c  494s |      20 |   861380 |   758827 |     1342   1038 |        0 |        0
496.06/496.33	c  496s |      20 |   863665 |   760927 |     1342   1040 |        0 |        0
498.07/498.37	c  498s |      20 |   866417 |   763227 |     1342   1043 |        0 |        0
500.16/500.44	c  500s |      20 |   869430 |   765827 |     1342   1046 |        0 |        0
502.16/502.48	c  502s |      20 |   872190 |   768227 |     1342   1049 |        0 |        0
504.27/504.53	c  504s |      20 |   874684 |   770427 |     1342   1051 |        0 |        0
506.27/506.53	c  506s |      20 |   876801 |   772327 |     1342   1053 |        0 |        0
508.37/508.62	c  508s |      20 |   879101 |   774427 |     1342   1055 |        0 |        0
510.37/510.69	c  510s |      20 |   881696 |   776727 |     1342   1058 |        0 |        0
512.47/512.78	c  512s |      20 |   884678 |   779327 |     1342   1061 |        0 |        0
514.57/514.82	c  514s |      20 |   887494 |   781827 |     1342   1064 |        0 |        0
516.56/516.87	c  516s |      20 |   890291 |   784327 |     1342   1066 |        0 |        0
518.66/518.93	c  518s |      20 |   892595 |   786327 |     1342   1069 |        0 |        0
520.66/520.97	c  520s |      20 |   895438 |   788827 |     1342   1071 |        0 |        0
522.76/523.04	c  523s |      20 |   898212 |   791327 |     1342   1074 |        0 |        0
524.76/525.07	c  525s |      20 |   900634 |   793527 |     1342   1077 |        0 |        0
526.76/527.07	c  527s |      20 |   903160 |   795827 |     1342   1079 |        0 |        0
528.86/529.14	c  529s |      20 |   905780 |   798127 |     1342   1082 |        0 |        0
530.86/531.16	c  531s |      20 |   908547 |   800627 |     1342   1085 |        0 |        0
532.95/533.26	c  533s |      20 |   911188 |   803027 |     1342   1087 |        0 |        0
534.95/535.28	c  535s |      20 |   914533 |   805927 |     1342   1090 |        0 |        0
536.95/537.28	c  537s |      20 |   917462 |   808627 |     1342   1093 |        0 |        0
539.05/539.31	c  539s |      20 |   920789 |   811527 |     1342   1097 |        0 |        0
541.06/541.38	c  541s |      20 |   923623 |   814127 |     1342   1100 |        0 |        0
543.05/543.40	c  543s |      20 |   926491 |   816627 |     1342   1102 |        0 |        0
545.15/545.41	c  545s |      20 |   929363 |   819227 |     1342   1105 |        0 |        0
547.14/547.49	c  547s |      20 |   932159 |   821727 |     1342   1108 |        0 |        0
549.14/549.49	c  549s |      20 |   934449 |   823827 |     1342   1110 |        0 |        0
551.24/551.56	c  551s |      20 |   936827 |   825927 |     1342   1113 |        0 |        0
553.34/553.61	c  553s |      20 |   940033 |   828727 |     1342   1116 |        0 |        0
555.35/555.61	c  555s |      20 |   942770 |   831227 |     1342   1119 |        0 |        0
557.34/557.62	c  557s |      20 |   945171 |   833427 |     1342   1121 |        0 |        0
559.44/559.73	c  559s |      20 |   947611 |   835627 |     1342   1124 |        0 |        0
561.54/561.81	c  561s |      20 |   950148 |   837927 |     1342   1126 |        0 |        0
563.64/563.92	c  563s |      20 |   952332 |   839927 |     1342   1128 |        0 |        0
565.64/565.97	c  565s |      20 |   955525 |   842727 |     1342   1132 |        0 |        0
567.64/567.99	c  567s |      20 |   958418 |   845327 |     1342   1134 |        0 |        0
569.74/570.06	c  570s |      20 |   961184 |   847827 |     1342   1137 |        0 |        0
571.84/572.14	c  572s |      20 |   963827 |   850227 |     1342   1140 |        0 |        0
573.83/574.16	c  574s |      20 |   966452 |   852627 |     1342   1143 |        0 |        0
575.93/576.25	c  576s |      20 |   968901 |   854827 |     1342   1145 |        0 |        0
577.93/578.26	c  578s |      20 |   973419 |   857827 |     1342   1148 |        0 |        0
579.93/580.29	c  580s |      20 |   976806 |   860727 |     1342   1152 |        0 |        0
582.02/582.34	c  582s |      20 |   985327 |   863827 |     1342   1155 |        0 |        0
584.02/584.38	c  584s |      20 |   988995 |   866427 |     1342   1159 |        0 |        0
586.13/586.42	c  586s |      20 |   994102 |   869027 |     1342   1162 |        0 |        0
588.12/588.43	c  588s |      20 |   999910 |   871827 |     1342   1165 |        0 |        0
590.12/590.43	c  590s |      20 |  1004923 |   874327 |     1342   1168 |        0 |        0
592.22/592.51	c  592s |      20 |  1007493 |   876427 |     1342   1171 |        0 |        0
594.22/594.59	c  594s |      20 |  1010531 |   878827 |     1342   1174 |        0 |        0
596.32/596.63	c  596s |      20 |  1013062 |   880927 |     1342   1177 |        0 |        0
598.32/598.64	c  598s |      20 |  1015537 |   883027 |     1342   1180 |        0 |        0
600.42/600.74	c  600s |      20 |  1018481 |   885427 |     1342   1183 |        0 |        0
602.41/602.77	c  602s |      20 |  1021700 |   887727 |     1342   1186 |        0 |        0
604.41/604.78	c  604s |      20 |  1024363 |   889927 |     1342   1188 |        0 |        0
606.51/606.83	c  606s |      20 |  1027651 |   892527 |     1342   1191 |        0 |        0
608.61/608.95	c  608s |      20 |  1030928 |   895127 |     1342   1195 |        0 |        0
610.71/611.00	c  610s |      20 |  1034286 |   897927 |     1342   1198 |        0 |        0
612.71/613.02	c  612s |      20 |  1037875 |   900627 |     1342   1201 |        0 |        0
614.71/615.03	c  614s |      20 |  1041212 |   903327 |     1342   1205 |        0 |        0
616.71/617.09	c  617s |      20 |  1044380 |   905727 |     1342   1208 |        0 |        0
618.81/619.13	c  619s |      20 |  1048288 |   908327 |     1342   1211 |        0 |        0
620.81/621.16	c  621s |      20 |  1051546 |   910627 |     1342   1214 |        0 |        0
622.90/623.23	c  623s |      20 |  1054366 |   912927 |     1342   1217 |        0 |        0
624.90/625.24	c  625s |      20 |  1057156 |   915327 |     1342   1220 |        0 |        0
626.90/627.29	c  627s |      20 |  1060506 |   918027 |     1342   1223 |        0 |        0
628.91/629.30	c  629s |      20 |  1063614 |   920627 |     1342   1226 |        0 |        0
631.00/631.37	c  631s |      20 |  1066924 |   923327 |     1342   1230 |        0 |        0
633.10/633.41	c  633s |      20 |  1069654 |   925727 |     1342   1233 |        0 |        0
635.10/635.42	c  635s |      20 |  1072607 |   928227 |     1342   1236 |        0 |        0
637.10/637.49	c  637s |      20 |  1075405 |   930427 |     1342   1239 |        0 |        0
639.10/639.49	c  639s |      20 |  1078349 |   932927 |     1342   1242 |        0 |        0
641.20/641.56	c  641s |      20 |  1081541 |   935527 |     1342   1245 |        0 |        0
643.20/643.60	c  643s |      20 |  1084799 |   938327 |     1342   1249 |        0 |        0
645.29/645.61	c  645s |      20 |  1087806 |   940827 |     1342   1252 |        0 |        0
647.39/647.70	c  647s |      20 |  1090513 |   943227 |     1342   1255 |        0 |        0
649.39/649.77	c  649s |      20 |  1092716 |   945027 |     1342   1257 |        0 |        0
651.39/651.78	c  651s |      20 |  1094792 |   946827 |     1342   1260 |        0 |        0
653.49/653.84	c  653s |      20 |  1096986 |   948727 |     1342   1262 |        0 |        0
655.49/655.87	c  655s |      20 |  1099616 |   950927 |     1342   1265 |        0 |        0
657.50/657.88	c  657s |      20 |  1102231 |   953227 |     1342   1268 |        0 |        0
659.59/659.93	c  659s |      20 |  1105254 |   955827 |     1342   1271 |        0 |        0
661.59/661.99	c  661s |      20 |  1108098 |   958327 |     1342   1274 |        0 |        0
663.59/663.99	c  663s |      20 |  1110725 |   960627 |     1342   1277 |        0 |        0
665.69/666.01	c  665s |      20 |  1112762 |   962327 |     1342   1279 |        0 |        0
667.69/668.09	c  668s |      20 |  1114887 |   964227 |     1342   1282 |        0 |        0
669.79/670.17	c  670s |      20 |  1117292 |   966327 |     1342   1284 |        0 |        0
671.89/672.22	c  672s |      20 |  1119682 |   968427 |     1342   1287 |        0 |        0
673.88/674.27	c  674s |      20 |  1121988 |   970427 |     1342   1290 |        0 |        0
675.98/676.31	c  676s |      20 |  1124474 |   972527 |     1342   1292 |        0 |        0
677.98/678.33	c  678s |      20 |  1126529 |   974327 |     1342   1295 |        0 |        0
679.98/680.38	c  680s |      20 |  1128809 |   976327 |     1342   1297 |        0 |        0
681.98/682.39	c  682s |      20 |  1131066 |   978327 |     1342   1300 |        0 |        0
684.08/684.45	c  684s |      20 |  1134077 |   980727 |     1342   1303 |        0 |        0
686.09/686.50	c  686s |      20 |  1137278 |   983527 |     1342   1306 |        0 |        0
688.18/688.55	c  688s |      20 |  1139924 |   985827 |     1342   1309 |        0 |        0
690.18/690.59	c  690s |      20 |  1142629 |   988227 |     1342   1312 |        0 |        0
692.28/692.63	c  692s |      20 |  1145365 |   990627 |     1342   1315 |        0 |        0
694.28/694.65	c  694s |      20 |  1147988 |   992927 |     1342   1318 |        0 |        0
696.28/696.67	c  696s |      20 |  1150888 |   995427 |     1477   1321 |        0 |        0
698.38/698.70	c  698s |      20 |  1153666 |   997927 |     1477   1324 |        0 |        0
700.39/700.78	c  700s |      20 |  1156476 |  1000327 |     1477   1327 |        0 |        0
700.39/700.79	c  700s |      21 |  1156497 |  1000345 |     1477   1327 |        0 |        0
702.48/702.88	c  702s |      21 |  1161611 |  1002745 |     1477   1330 |        0 |        0
704.58/704.92	c  704s |      21 |  1165827 |  1005745 |     1477   1333 |        0 |        0
706.58/706.95	c  706s |      21 |  1169210 |  1008645 |     1477   1336 |        0 |        0
708.68/709.03	c  708s |      21 |  1174180 |  1011445 |     1477   1340 |        0 |        0
710.68/711.07	c  711s |      21 |  1177139 |  1013745 |     1477   1342 |        0 |        0
712.78/713.14	c  713s |      21 |  1179616 |  1015845 |     1477   1345 |        0 |        0
714.88/715.21	c  715s |      21 |  1183066 |  1018445 |     1477   1348 |        0 |        0
716.88/717.27	c  717s |      21 |  1185639 |  1020645 |     1477   1350 |        0 |        0
718.98/719.31	c  719s |      21 |  1188644 |  1022945 |     1477   1353 |        0 |        0
720.98/721.38	c  721s |      21 |  1193041 |  1025845 |     1477   1356 |        0 |        0
723.08/723.44	c  723s |      21 |  1197191 |  1028545 |     1477   1359 |        0 |        0
725.08/725.49	c  725s |      21 |  1201084 |  1031345 |     1477   1362 |        0 |        0
727.18/727.55	c  727s |      21 |  1203829 |  1033645 |     1477   1365 |        0 |        0
729.28/729.64	c  729s |      21 |  1206303 |  1035745 |     1477   1367 |        0 |        0
731.37/731.76	c  731s |      21 |  1208618 |  1037745 |     1477   1370 |        0 |        0
733.48/733.81	c  733s |      21 |  1210747 |  1039545 |     1477   1372 |        0 |        0
735.47/735.88	c  735s |      21 |  1213018 |  1041445 |     1477   1374 |        0 |        0
737.57/737.90	c  737s |      21 |  1214828 |  1043045 |     1477   1376 |        0 |        0
739.67/740.00	c  739s |      21 |  1216762 |  1044745 |     1477   1378 |        0 |        0
741.67/742.03	c  741s |      21 |  1218564 |  1046345 |     1477   1379 |        0 |        0
743.77/744.13	c  744s |      21 |  1221172 |  1048445 |     1477   1382 |        0 |        0
745.77/746.15	c  746s |      21 |  1223695 |  1050645 |     1477   1384 |        0 |        0
747.78/748.19	c  748s |      21 |  1226193 |  1052745 |     1477   1387 |        0 |        0
749.88/750.26	c  750s |      21 |  1228734 |  1054945 |     1477   1389 |        0 |        0
751.88/752.28	c  752s |      21 |  1231523 |  1057345 |     1477   1392 |        0 |        0
753.98/754.31	c  754s |      21 |  1233913 |  1059445 |     1477   1394 |        0 |        0
755.98/756.37	c  756s |      21 |  1236769 |  1061745 |     1477   1397 |        0 |        0
758.08/758.40	c  758s |      21 |  1239307 |  1063945 |     1477   1399 |        0 |        0
760.08/760.47	c  760s |      21 |  1242166 |  1066445 |     1477   1402 |        0 |        0
762.18/762.57	c  762s |      21 |  1245251 |  1068945 |     1477   1405 |        0 |        0
764.18/764.57	c  764s |      21 |  1247867 |  1071245 |     1477   1407 |        0 |        0
766.27/766.63	c  766s |      21 |  1250562 |  1073445 |     1477   1410 |        0 |        0
768.27/768.64	c  768s |      21 |  1253135 |  1075645 |     1477   1412 |        0 |        0
770.37/770.72	c  770s |      21 |  1256191 |  1078245 |     1477   1415 |        0 |        0
772.37/772.78	c  772s |      21 |  1258704 |  1080445 |     1477   1417 |        0 |        0
774.37/774.78	c  774s |      21 |  1261669 |  1082745 |     1477   1420 |        0 |        0
776.38/776.79	c  776s |      21 |  1264938 |  1084945 |     1477   1422 |        0 |        0
778.48/778.85	c  778s |      21 |  1268059 |  1087245 |     1477   1425 |        0 |        0
780.47/780.85	c  780s |      21 |  1271135 |  1089545 |     1477   1428 |        0 |        0
782.47/782.88	c  782s |      21 |  1274189 |  1091945 |     1477   1430 |        0 |        0
784.57/784.93	c  784s |      21 |  1277000 |  1094045 |     1477   1433 |        0 |        0
786.67/787.01	c  786s |      21 |  1280791 |  1096245 |     1477   1435 |        0 |        0
788.67/789.08	c  789s |      21 |  1283701 |  1098645 |     1477   1438 |        0 |        0
790.77/791.14	c  791s |      21 |  1286506 |  1100745 |     1477   1440 |        0 |        0
792.77/793.14	c  793s |      21 |  1288764 |  1102645 |     1477   1443 |        0 |        0
794.87/795.23	c  795s |      21 |  1291714 |  1104945 |     1477   1445 |        0 |        0
796.86/797.23	c  797s |      21 |  1294618 |  1107245 |     1477   1448 |        0 |        0
798.86/799.23	c  799s |      21 |  1297755 |  1109445 |     1477   1450 |        0 |        0
800.86/801.26	c  801s |      21 |  1300819 |  1111845 |     1477   1453 |        0 |        0
802.96/803.34	c  803s |      21 |  1303470 |  1114145 |     1477   1456 |        0 |        0
805.06/805.42	c  805s |      21 |  1306439 |  1116445 |     1477   1458 |        0 |        0
807.07/807.49	c  807s |      21 |  1309696 |  1118845 |     1477   1461 |        0 |        0
809.16/809.55	c  809s |      21 |  1312674 |  1121045 |     1477   1464 |        0 |        0
811.26/811.62	c  811s |      21 |  1315970 |  1123245 |     1477   1466 |        0 |        0
813.26/813.68	c  813s |      21 |  1318669 |  1125345 |     1477   1469 |        0 |        0
815.36/815.73	c  815s |      21 |  1322175 |  1127845 |     1477   1472 |        0 |        0
817.46/817.82	c  817s |      21 |  1325131 |  1130345 |     1477   1474 |        0 |        0
819.46/819.87	c  819s |      21 |  1327650 |  1132445 |     1477   1477 |        0 |        0
821.47/821.87	c  821s |      21 |  1329823 |  1134345 |     1477   1479 |        0 |        0
823.46/823.89	c  823s |      21 |  1332343 |  1136345 |     1477   1481 |        0 |        0
825.56/825.99	c  825s |      21 |  1334861 |  1138445 |     1477   1484 |        0 |        0
827.66/828.03	c  827s |      21 |  1337719 |  1140945 |     1477   1487 |        0 |        0
829.76/830.13	c  830s |      21 |  1340543 |  1143345 |     1477   1490 |        0 |        0
831.76/832.18	c  832s |      21 |  1343591 |  1145745 |     1477   1492 |        0 |        0
833.86/834.20	c  834s |      21 |  1346383 |  1148045 |     1477   1495 |        0 |        0
835.96/836.30	c  836s |      21 |  1348822 |  1150145 |     1477   1498 |        0 |        0
837.96/838.36	c  838s |      21 |  1351072 |  1152145 |     1477   1500 |        0 |        0
840.06/840.46	c  840s |      21 |  1353179 |  1153945 |     1477   1502 |        0 |        0
842.06/842.49	c  842s |      21 |  1355607 |  1156045 |     1477   1504 |        0 |        0
844.15/844.57	c  844s |      21 |  1357785 |  1157945 |     1477   1507 |        0 |        0
846.25/846.68	c  846s |      21 |  1360386 |  1160245 |     1477   1509 |        0 |        0
848.35/848.71	c  848s |      21 |  1362960 |  1162445 |     1477   1512 |        0 |        0
850.35/850.76	c  850s |      21 |  1365419 |  1164645 |     1477   1514 |        0 |        0
852.35/852.76	c  852s |      21 |  1367999 |  1166745 |     1477   1517 |        0 |        0
854.46/854.84	c  854s |      21 |  1370667 |  1169045 |     1477   1520 |        0 |        0
856.45/856.87	c  856s |      21 |  1373410 |  1171345 |     1477   1522 |        0 |        0
858.55/858.91	c  858s |      21 |  1375928 |  1173545 |     1477   1525 |        0 |        0
860.55/860.96	c  860s |      21 |  1378784 |  1175845 |     1477   1528 |        0 |        0
862.55/862.98	c  862s |      21 |  1381622 |  1178145 |     1477   1530 |        0 |        0
864.65/865.03	c  864s |      21 |  1383999 |  1180245 |     1477   1533 |        0 |        0
866.65/867.06	c  867s |      21 |  1386374 |  1182245 |     1477   1535 |        0 |        0
868.76/869.11	c  869s |      21 |  1388979 |  1184445 |     1477   1538 |        0 |        0
870.75/871.11	c  871s |      21 |  1391592 |  1186645 |     1477   1540 |        0 |        0
872.75/873.19	c  873s |      21 |  1394202 |  1188945 |     1477   1543 |        0 |        0
874.96/875.30	c  875s |      21 |  1396433 |  1190945 |     1477   1545 |        0 |        0
876.96/877.35	c  877s |      21 |  1398697 |  1192945 |     1477   1548 |        0 |        0
879.06/879.44	c  879s |      21 |  1401257 |  1195045 |     1477   1550 |        0 |        0
881.16/881.54	c  881s |      21 |  1403492 |  1196945 |     1477   1553 |        0 |        0
883.26/883.64	c  883s |      21 |  1405748 |  1198945 |     1477   1555 |        0 |        0
885.36/885.70	c  885s |      21 |  1408570 |  1201345 |     1477   1558 |        0 |        0
887.36/887.78	c  887s |      21 |  1410964 |  1203545 |     1477   1560 |        0 |        0
889.36/889.79	c  889s |      21 |  1413406 |  1205745 |     1477   1563 |        0 |        0
891.46/891.87	c  891s |      21 |  1415731 |  1207845 |     1477   1565 |        0 |        0
893.56/893.90	c  893s |      21 |  1418550 |  1210245 |     1477   1568 |        0 |        0
895.55/895.97	c  895s |      21 |  1421488 |  1212745 |     1477   1571 |        0 |        0
897.65/898.06	c  898s |      21 |  1424055 |  1214945 |     1477   1574 |        0 |        0
899.75/900.11	c  900s |      21 |  1426802 |  1217345 |     1477   1577 |        0 |        0
901.76/902.14	c  902s |      21 |  1429218 |  1219445 |     1477   1579 |        0 |        0
903.86/904.20	c  904s |      21 |  1431557 |  1221545 |     1477   1581 |        0 |        0
905.85/906.25	c  906s |      21 |  1433780 |  1223545 |     1477   1584 |        0 |        0
907.85/908.29	c  908s |      21 |  1436262 |  1225745 |     1477   1586 |        0 |        0
909.95/910.30	c  910s |      21 |  1439179 |  1228245 |     1477   1589 |        0 |        0
911.95/912.37	c  912s |      21 |  1442251 |  1230945 |     1477   1593 |        0 |        0
913.95/914.39	c  914s |      21 |  1445101 |  1233445 |     1477   1595 |        0 |        0
916.06/916.42	c  916s |      21 |  1447536 |  1235445 |     1477   1598 |        0 |        0
918.16/918.52	c  918s |      21 |  1450006 |  1237445 |     1477   1600 |        0 |        0
920.25/920.62	c  920s |      21 |  1452358 |  1239445 |     1477   1603 |        0 |        0
922.35/922.71	c  922s |      21 |  1454939 |  1241645 |     1477   1605 |        0 |        0
924.35/924.77	c  924s |      21 |  1457732 |  1243845 |     1477   1608 |        0 |        0
926.45/926.82	c  926s |      21 |  1459980 |  1245745 |     1477   1610 |        0 |        0
928.45/928.83	c  928s |      21 |  1462018 |  1247445 |     1477   1612 |        0 |        0
930.45/930.89	c  930s |      21 |  1463930 |  1249145 |     1477   1614 |        0 |        0
932.56/932.97	c  932s |      21 |  1465967 |  1250945 |     1477   1616 |        0 |        0
934.55/935.00	c  934s |      21 |  1468021 |  1252745 |     1477   1618 |        0 |        0
936.65/937.05	c  937s |      21 |  1470088 |  1254545 |     1477   1620 |        0 |        0
938.65/939.06	c  939s |      21 |  1472051 |  1256245 |     1477   1622 |        0 |        0
940.75/941.13	c  941s |      21 |  1474150 |  1258045 |     1477   1625 |        0 |        0
942.85/943.20	c  943s |      21 |  1476275 |  1259845 |     1477   1627 |        0 |        0
944.85/945.27	c  945s |      21 |  1478335 |  1261645 |     1477   1629 |        0 |        0
946.95/947.36	c  947s |      21 |  1480519 |  1263445 |     1477   1631 |        0 |        0
948.95/949.36	c  949s |      21 |  1482489 |  1265045 |     1477   1633 |        0 |        0
951.04/951.42	c  951s |      21 |  1484671 |  1266745 |     1477   1635 |        0 |        0
953.04/953.46	c  953s |      21 |  1486606 |  1268345 |     1477   1637 |        0 |        0
955.14/955.54	c  955s |      21 |  1488400 |  1269945 |     1477   1639 |        0 |        0
957.14/957.57	c  957s |      21 |  1490241 |  1271545 |     1477   1641 |        0 |        0
959.24/959.66	c  959s |      21 |  1492408 |  1273145 |     1477   1643 |        0 |        0
961.34/961.73	c  961s |      21 |  1495271 |  1275245 |     1477   1645 |        0 |        0
963.35/963.77	c  963s |      21 |  1497914 |  1277245 |     1477   1647 |        0 |        0
965.45/965.85	c  965s |      21 |  1500922 |  1279645 |     1477   1650 |        0 |        0
967.44/967.87	c  967s |      21 |  1503614 |  1281845 |     1477   1653 |        0 |        0
969.54/969.90	c  969s |      21 |  1506043 |  1283845 |     1477   1655 |        0 |        0
971.64/972.01	c  971s |      21 |  1508560 |  1285945 |     1477   1658 |        0 |        0
973.64/974.07	c  974s |      21 |  1511603 |  1288345 |     1477   1660 |        0 |        0
975.74/976.15	c  976s |      21 |  1514425 |  1290545 |     1477   1663 |        0 |        0
977.84/978.22	c  978s |      21 |  1517257 |  1292745 |     1477   1665 |        0 |        0
979.84/980.23	c  980s |      21 |  1520252 |  1295145 |     1477   1668 |        0 |        0
981.84/982.30	c  982s |      21 |  1523139 |  1297645 |     1477   1671 |        0 |        0
983.94/984.32	c  984s |      21 |  1525618 |  1299845 |     1477   1674 |        0 |        0
985.94/986.36	c  986s |      21 |  1528039 |  1302045 |     1477   1676 |        0 |        0
988.03/988.41	c  988s |      21 |  1531128 |  1304745 |     1477   1679 |        0 |        0
990.03/990.43	c  990s |      21 |  1534203 |  1307345 |     1477   1682 |        0 |        0
992.03/992.48	c  992s |      21 |  1536874 |  1309645 |     1477   1685 |        0 |        0
994.14/994.53	c  994s |      21 |  1539524 |  1311945 |     1477   1688 |        0 |        0
996.24/996.62	c  996s |      21 |  1542242 |  1314345 |     1477   1691 |        0 |        0
998.23/998.69	c  998s |      21 |  1544667 |  1316445 |     1477   1693 |        0 |        0
1000.33/1000.70	c 1000s |      21 |  1546629 |  1318145 |     1477   1695 |        0 |        0
1002.33/1002.74	c 1002s |      21 |  1548500 |  1319845 |     1477   1697 |        0 |        0
1004.43/1004.83	c 1004s |      21 |  1550445 |  1321645 |     1477   1699 |        0 |        0
1006.43/1006.86	c 1006s |      21 |  1552515 |  1323445 |     1477   1701 |        0 |        0
1008.53/1008.92	c 1008s |      21 |  1554462 |  1325145 |     1477   1703 |        0 |        0
1010.54/1011.00	c 1010s |      21 |  1556273 |  1326745 |     1477   1705 |        0 |        0
1012.63/1013.10	c 1013s |      21 |  1558229 |  1328445 |     1477   1707 |        0 |        0
1014.73/1015.16	c 1015s |      21 |  1560482 |  1330245 |     1477   1709 |        0 |        0
1016.83/1017.25	c 1017s |      21 |  1562271 |  1331845 |     1477   1711 |        0 |        0
1018.83/1019.29	c 1019s |      21 |  1564040 |  1333445 |     1477   1713 |        0 |        0
1020.93/1021.34	c 1021s |      21 |  1565830 |  1335045 |     1477   1715 |        0 |        0
1022.93/1023.38	c 1023s |      21 |  1567736 |  1336745 |     1477   1716 |        0 |        0
1025.03/1025.49	c 1025s |      21 |  1569521 |  1338345 |     1477   1718 |        0 |        0
1027.13/1027.51	c 1027s |      21 |  1572003 |  1340545 |     1477   1721 |        0 |        0
1029.13/1029.56	c 1029s |      21 |  1575455 |  1343545 |     1477   1724 |        0 |        0
1031.23/1031.61	c 1031s |      21 |  1578696 |  1346245 |     1477   1728 |        0 |        0
1033.23/1033.62	c 1033s |      21 |  1581594 |  1348845 |     1477   1731 |        0 |        0
1035.23/1035.67	c 1035s |      21 |  1584485 |  1351345 |     1477   1733 |        0 |        0
1037.33/1037.70	c 1037s |      21 |  1586785 |  1353345 |     1477   1736 |        0 |        0
1039.43/1039.82	c 1039s |      21 |  1589108 |  1355345 |     1477   1738 |        0 |        0
1041.53/1041.91	c 1041s |      21 |  1591089 |  1357045 |     1477   1740 |        0 |        0
1043.63/1044.01	c 1043s |      21 |  1593116 |  1358745 |     1477   1742 |        0 |        0
1045.63/1046.07	c 1046s |      21 |  1595300 |  1360545 |     1477   1744 |        0 |        0
1047.72/1048.17	c 1048s |      21 |  1597570 |  1362345 |     1477   1746 |        0 |        0
1049.82/1050.20	c 1050s |      21 |  1599577 |  1363945 |     1477   1748 |        0 |        0
1051.82/1052.20	c 1052s |      21 |  1601628 |  1365745 |     1477   1750 |        0 |        0
1053.92/1054.30	c 1054s |      21 |  1603805 |  1367645 |     1477   1752 |        0 |        0
1055.92/1056.37	c 1056s |      21 |  1605925 |  1369445 |     1477   1755 |        0 |        0
1058.02/1058.49	c 1058s |      21 |  1607841 |  1371145 |     1477   1757 |        0 |        0
1060.03/1060.49	c 1060s |      21 |  1610099 |  1373145 |     1477   1759 |        0 |        0
1062.12/1062.56	c 1062s |      21 |  1611886 |  1374745 |     1477   1761 |        0 |        0
1064.12/1064.57	c 1064s |      21 |  1613532 |  1376145 |     1477   1762 |        0 |        0
1066.22/1066.67	c 1066s |      21 |  1615322 |  1377745 |     1477   1764 |        0 |        0
1068.22/1068.69	c 1068s |      21 |  1616916 |  1379145 |     1477   1766 |        0 |        0
1070.32/1070.72	c 1070s |      21 |  1620275 |  1382045 |     1477   1769 |        0 |        0
1072.33/1072.78	c 1072s |      21 |  1623784 |  1385145 |     1477   1773 |        0 |        0
1074.34/1074.79	c 1074s |      21 |  1626996 |  1388045 |     1477   1776 |        0 |        0
1076.43/1076.83	c 1076s |      21 |  1630608 |  1391245 |     1477   1780 |        0 |        0
1078.43/1078.89	c 1078s |      21 |  1634092 |  1394245 |     1477   1783 |        0 |        0
1080.53/1080.92	c 1080s |      21 |  1637511 |  1397045 |     1477   1787 |        0 |        0
1082.53/1082.98	c 1082s |      21 |  1640997 |  1399945 |     1477   1790 |        0 |        0
1084.63/1085.04	c 1085s |      21 |  1644272 |  1402845 |     1477   1793 |        0 |        0
1086.63/1087.09	c 1087s |      21 |  1647387 |  1405545 |     1477   1796 |        0 |        0
1088.73/1089.17	c 1089s |      21 |  1650626 |  1408445 |     1477   1800 |        0 |        0
1090.83/1091.23	c 1091s |      21 |  1653885 |  1411345 |     1477   1803 |        0 |        0
1092.92/1093.31	c 1093s |      21 |  1656581 |  1413745 |     1477   1806 |        0 |        0
1094.92/1095.37	c 1095s |      21 |  1659581 |  1416445 |     1477   1809 |        0 |        0
1096.92/1097.39	c 1097s |      21 |  1662823 |  1419245 |     1477   1812 |        0 |        0
1099.02/1099.43	c 1099s |      21 |  1665506 |  1421445 |     1477   1814 |        0 |        0
1101.02/1101.45	c 1101s |      21 |  1667838 |  1423545 |     1477   1817 |        0 |        0
1103.12/1103.51	c 1103s |      21 |  1671301 |  1426545 |     1477   1820 |        0 |        0
1105.13/1105.58	c 1105s |      21 |  1674437 |  1429345 |     1477   1823 |        0 |        0
1107.12/1107.59	c 1107s |      21 |  1677340 |  1431945 |     1477   1826 |        0 |        0
1109.22/1109.60	c 1109s |      21 |  1680652 |  1434845 |     1477   1830 |        0 |        0
1111.22/1111.63	c 1111s |      21 |  1683690 |  1437545 |     1477   1833 |        0 |        0
1113.22/1113.67	c 1113s |      21 |  1686617 |  1439845 |     1477   1835 |        0 |        0
1115.32/1115.73	c 1115s |      21 |  1688996 |  1441945 |     1477   1838 |        0 |        0
1117.33/1117.76	c 1117s |      21 |  1691667 |  1444245 |     1477   1841 |        0 |        0
1119.32/1119.79	c 1119s |      21 |  1694963 |  1447045 |     1477   1844 |        0 |        0
1121.42/1121.84	c 1121s |      21 |  1698019 |  1449645 |     1477   1847 |        0 |        0
1123.42/1123.88	c 1123s |      21 |  1701097 |  1452245 |     1477   1850 |        0 |        0
1125.52/1125.93	c 1125s |      21 |  1704201 |  1454745 |     1477   1852 |        0 |        0
1127.62/1128.00	c 1127s |      21 |  1706843 |  1457045 |     1477   1855 |        0 |        0
1129.62/1130.01	c 1129s |      21 |  1709338 |  1459245 |     1477   1858 |        0 |        0
1131.62/1132.01	c 1131s |      21 |  1711922 |  1461445 |     1477   1860 |        0 |        0
1133.72/1134.12	c 1134s |      21 |  1714693 |  1463645 |     1477   1863 |        0 |        0
1135.81/1136.21	c 1136s |      21 |  1716879 |  1465445 |     1477   1865 |        0 |        0
1137.81/1138.26	c 1138s |      21 |  1719072 |  1467245 |     1477   1867 |        0 |        0
1139.91/1140.33	c 1140s |      21 |  1721247 |  1469145 |     1477   1869 |        0 |        0
1142.01/1142.42	c 1142s |      21 |  1723515 |  1471045 |     1477   1871 |        0 |        0
1144.11/1144.50	c 1144s |      21 |  1725908 |  1473145 |     1477   1873 |        0 |        0
1146.11/1146.55	c 1146s |      21 |  1727950 |  1474945 |     1477   1876 |        0 |        0
1148.21/1148.60	c 1148s |      21 |  1730154 |  1476845 |     1477   1878 |        0 |        0
1150.22/1150.65	c 1150s |      21 |  1732272 |  1478745 |     1477   1880 |        0 |        0
1152.22/1152.66	c 1152s |      21 |  1734615 |  1480645 |     1477   1882 |        0 |        0
1154.21/1154.66	c 1154s |      21 |  1737073 |  1482745 |     1477   1884 |        0 |        0
1156.21/1156.66	c 1156s |      21 |  1739130 |  1484545 |     1477   1887 |        0 |        0
1158.21/1158.67	c 1158s |      21 |  1741707 |  1486745 |     1477   1889 |        0 |        0
1160.31/1160.75	c 1160s |      21 |  1743957 |  1488745 |     1477   1891 |        0 |        0
1162.32/1162.75	c 1162s |      21 |  1746134 |  1490645 |     1625   1893 |        0 |        0
1164.41/1164.81	c 1164s |      21 |  1748106 |  1492345 |     1625   1895 |        0 |        0
1166.41/1166.88	c 1166s |      21 |  1749980 |  1494045 |     1625   1897 |        0 |        0
1168.41/1168.89	c 1168s |      21 |  1751857 |  1495645 |     1625   1899 |        0 |        0
1170.51/1170.92	c 1170s |      21 |  1754033 |  1497545 |     1625   1901 |        0 |        0
1172.61/1173.00	c 1172s |      21 |  1756133 |  1499445 |     1625   1903 |        0 |        0
1173.71/1174.18	c 1174s |      22 |  1757505 |  1500622 |     1625   1904 |        0 |        0
1175.81/1176.28	c 1176s |      22 |  1763452 |  1503222 |     1625   1907 |        0 |        0
1177.91/1178.33	c 1178s |      22 |  1766764 |  1505222 |     1625   1909 |        0 |        0
1179.91/1180.38	c 1180s |      22 |  1768945 |  1506922 |     1625   1910 |        0 |        0
1182.00/1182.44	c 1182s |      22 |  1771059 |  1508722 |     1625   1912 |        0 |        0
1184.11/1184.54	c 1184s |      22 |  1773134 |  1510522 |     1625   1914 |        0 |        0
1186.11/1186.54	c 1186s |      22 |  1775502 |  1512022 |     1625   1916 |        0 |        0
1188.21/1188.65	c 1188s |      22 |  1777655 |  1513822 |     1625   1918 |        0 |        0
1190.31/1190.71	c 1190s |      22 |  1779707 |  1515622 |     1625   1919 |        0 |        0
1192.31/1192.78	c 1192s |      22 |  1781698 |  1517322 |     1625   1921 |        0 |        0
1194.41/1194.89	c 1194s |      22 |  1783679 |  1519022 |     1625   1923 |        0 |        0
1196.51/1196.91	c 1196s |      22 |  1785232 |  1520422 |     1625   1924 |        0 |        0
1198.50/1198.92	c 1198s |      22 |  1786935 |  1521922 |     1625   1926 |        0 |        0
1200.50/1200.96	c 1200s |      22 |  1788596 |  1523422 |     1625   1927 |        0 |        0
1202.70/1203.10	c 1203s |      22 |  1790234 |  1524922 |     1625   1929 |        0 |        0
1204.80/1205.20	c 1205s |      22 |  1792734 |  1526522 |     1625   1931 |        0 |        0
1206.80/1207.22	c 1207s |      22 |  1794682 |  1528122 |     1625   1932 |        0 |        0
1208.90/1209.30	c 1209s |      22 |  1796118 |  1529422 |     1625   1933 |        0 |        0
1210.90/1211.32	c 1211s |      22 |  1797446 |  1530622 |     1625   1935 |        0 |        0
1213.01/1213.42	c 1213s |      22 |  1798882 |  1531922 |     1625   1936 |        0 |        0
1215.11/1215.51	c 1215s |      22 |  1801500 |  1533522 |     1625   1938 |        0 |        0
1217.10/1217.52	c 1217s |      22 |  1803302 |  1535122 |     1625   1939 |        0 |        0
1219.10/1219.54	c 1219s |      22 |  1805103 |  1536622 |     1625   1941 |        0 |        0
1221.10/1221.56	c 1221s |      22 |  1806388 |  1537722 |     1625   1942 |        0 |        0
1223.20/1223.60	c 1223s |      22 |  1807412 |  1538622 |     1625   1943 |        0 |        0
1225.20/1225.69	c 1225s |      22 |  1809241 |  1539822 |     1625   1944 |        0 |        0
1227.31/1227.71	c 1227s |      22 |  1810678 |  1541122 |     1625   1945 |        0 |        0
1229.41/1229.83	c 1229s |      22 |  1812107 |  1542422 |     1625   1947 |        0 |        0
1231.40/1231.85	c 1231s |      22 |  1813472 |  1543622 |     1625   1948 |        0 |        0
1233.50/1233.90	c 1233s |      22 |  1815461 |  1545022 |     1625   1949 |        0 |        0
1235.50/1235.99	c 1235s |      22 |  1817252 |  1546622 |     1625   1951 |        0 |        0
1237.60/1238.01	c 1237s |      22 |  1818909 |  1548122 |     1625   1953 |        0 |        0
1239.60/1240.01	c 1239s |      22 |  1821397 |  1549622 |     1625   1954 |        0 |        0
1241.70/1242.19	c 1242s |      22 |  1823090 |  1551022 |     1625   1956 |        0 |        0
1243.80/1244.27	c 1244s |      22 |  1825080 |  1552722 |     1625   1957 |        0 |        0
1245.90/1246.38	c 1246s |      22 |  1827018 |  1554422 |     1625   1959 |        0 |        0
1248.00/1248.45	c 1248s |      22 |  1828692 |  1555922 |     1625   1961 |        0 |        0
1250.00/1250.48	c 1250s |      22 |  1831083 |  1557522 |     1625   1962 |        0 |        0
1252.09/1252.51	c 1252s |      22 |  1833800 |  1559922 |     1625   1964 |        0 |        0
1254.09/1254.54	c 1254s |      22 |  1838068 |  1562622 |     1625   1967 |        0 |        0
1256.09/1256.55	c 1256s |      22 |  1841586 |  1565322 |     1625   1970 |        0 |        0
1258.19/1258.60	c 1258s |      22 |  1844682 |  1567922 |     1625   1972 |        0 |        0
1260.20/1260.65	c 1260s |      22 |  1848166 |  1570422 |     1625   1975 |        0 |        0
1262.19/1262.67	c 1262s |      22 |  1851109 |  1572822 |     1625   1977 |        0 |        0
1264.29/1264.72	c 1264s |      22 |  1853553 |  1574922 |     1625   1979 |        0 |        0
1266.29/1266.79	c 1266s |      22 |  1856533 |  1577522 |     1625   1982 |        0 |        0
1268.39/1268.84	c 1268s |      22 |  1859335 |  1579722 |     1625   1984 |        0 |        0
1270.39/1270.88	c 1270s |      22 |  1862570 |  1582022 |     1625   1986 |        0 |        0
1272.40/1272.89	c 1272s |      22 |  1865689 |  1584322 |     1625   1989 |        0 |        0
1274.50/1274.91	c 1274s |      22 |  1869013 |  1587022 |     1625   1991 |        0 |        0
1276.49/1276.93	c 1276s |      22 |  1871782 |  1589422 |     1625   1994 |        0 |        0
1278.49/1278.97	c 1278s |      22 |  1874381 |  1591622 |     1625   1996 |        0 |        0
1280.59/1281.05	c 1281s |      22 |  1877410 |  1594122 |     1625   1998 |        0 |        0
1282.69/1283.13	c 1283s |      22 |  1880141 |  1596322 |     1625   2001 |        0 |        0
1284.69/1285.16	c 1285s |      22 |  1882810 |  1598322 |     1625   2002 |        0 |        0
1286.70/1287.19	c 1287s |      22 |  1885137 |  1600022 |     1625   2004 |        0 |        0
1288.90/1289.31	c 1289s |      22 |  1888073 |  1601922 |     1625   2006 |        0 |        0
1290.89/1291.32	c 1291s |      22 |  1891319 |  1603922 |     1625   2008 |        0 |        0
1292.89/1293.39	c 1293s |      22 |  1895356 |  1606322 |     1625   2010 |        0 |        0
1294.99/1295.41	c 1295s |      22 |  1900141 |  1608622 |     1625   2013 |        0 |        0
1296.99/1297.46	c 1297s |      22 |  1904765 |  1611222 |     1625   2015 |        0 |        0
1298.99/1299.49	c 1299s |      22 |  1907780 |  1613422 |     1625   2017 |        0 |        0
1301.09/1301.50	c 1301s |      22 |  1910458 |  1615622 |     1625   2020 |        0 |        0
1303.10/1303.53	c 1303s |      22 |  1913257 |  1617822 |     1625   2022 |        0 |        0
1305.09/1305.55	c 1305s |      22 |  1915971 |  1619922 |     1625   2024 |        0 |        0
1307.19/1307.60	c 1307s |      22 |  1920257 |  1622722 |     1625   2027 |        0 |        0
1309.19/1309.60	c 1309s |      22 |  1923017 |  1624822 |     1625   2029 |        0 |        0
1311.19/1311.60	c 1311s |      22 |  1925714 |  1626822 |     1625   2031 |        0 |        0
1313.19/1313.63	c 1313s |      22 |  1928258 |  1628922 |     1625   2033 |        0 |        0
1315.20/1315.65	c 1315s |      22 |  1931168 |  1630922 |     1625   2035 |        0 |        0
1317.29/1317.70	c 1317s |      22 |  1933958 |  1633122 |     1625   2037 |        0 |        0
1319.29/1319.71	c 1319s |      22 |  1937183 |  1634922 |     1625   2039 |        0 |        0
1321.39/1321.80	c 1321s |      22 |  1943504 |  1636922 |     1625   2041 |        0 |        0
1323.39/1323.87	c 1323s |      22 |  1948139 |  1639522 |     1625   2044 |        0 |        0
1325.39/1325.90	c 1325s |      22 |  1951068 |  1641622 |     1625   2046 |        0 |        0
1327.49/1327.91	c 1327s |      22 |  1954357 |  1643822 |     1625   2048 |        0 |        0
1329.49/1329.93	c 1329s |      22 |  1958046 |  1646022 |     1625   2050 |        0 |        0
1331.49/1331.96	c 1331s |      22 |  1961626 |  1648422 |     1625   2053 |        0 |        0
1333.59/1334.02	c 1333s |      22 |  1964705 |  1650722 |     1625   2055 |        0 |        0
1335.69/1336.10	c 1336s |      22 |  1967942 |  1652622 |     1625   2057 |        0 |        0
1337.69/1338.16	c 1338s |      22 |  1971406 |  1655022 |     1625   2059 |        0 |        0
1339.69/1340.17	c 1340s |      22 |  1974995 |  1657422 |     1625   2062 |        0 |        0
1341.69/1342.19	c 1342s |      22 |  1977939 |  1659422 |     1625   2064 |        0 |        0
1343.79/1344.26	c 1344s |      22 |  1980803 |  1661422 |     1625   2066 |        0 |        0
1345.88/1346.34	c 1346s |      22 |  1982948 |  1663122 |     1625   2068 |        0 |        0
1347.88/1348.35	c 1348s |      22 |  1985784 |  1665122 |     1625   2070 |        0 |        0
1349.98/1350.44	c 1350s |      22 |  1988336 |  1667022 |     1625   2072 |        0 |        0
1352.08/1352.57	c 1352s |      22 |  1990409 |  1668822 |     1625   2074 |        0 |        0
1354.18/1354.66	c 1354s |      22 |  1992632 |  1670622 |     1625   2076 |        0 |        0
1356.38/1356.80	c 1356s |      22 |  1994702 |  1672322 |     1625   2077 |        0 |        0
1358.38/1358.82	c 1358s |      22 |  1996991 |  1674222 |     1625   2079 |        0 |        0
1360.39/1360.88	c 1360s |      22 |  1999200 |  1676122 |     1625   2081 |        0 |        0
1362.38/1362.88	c 1362s |      22 |  2002486 |  1678022 |     1625   2083 |        0 |        0
1364.48/1364.90	c 1364s |      22 |  2005927 |  1680222 |     1625   2086 |        0 |        0
1366.48/1366.96	c 1366s |      22 |  2008476 |  1682322 |     1625   2088 |        0 |        0
1368.58/1369.07	c 1369s |      22 |  2011066 |  1684322 |     1625   2090 |        0 |        0
1370.58/1371.08	c 1371s |      22 |  2013315 |  1686122 |     1625   2092 |        0 |        0
1372.58/1373.09	c 1373s |      22 |  2016510 |  1688322 |     1625   2094 |        0 |        0
1374.68/1375.17	c 1375s |      22 |  2019093 |  1690422 |     1625   2096 |        0 |        0
1376.78/1377.24	c 1377s |      22 |  2021571 |  1692322 |     1625   2098 |        0 |        0
1378.77/1379.26	c 1379s |      22 |  2023314 |  1693822 |     1625   2099 |        0 |        0
1380.77/1381.26	c 1381s |      22 |  2025888 |  1695422 |     1625   2101 |        0 |        0
1382.87/1383.35	c 1383s |      22 |  2028630 |  1697522 |     1625   2103 |        0 |        0
1384.97/1385.40	c 1385s |      22 |  2030875 |  1699422 |     1625   2105 |        0 |        0
1386.97/1387.47	c 1387s |      22 |  2033181 |  1701222 |     1625   2107 |        0 |        0
1388.98/1389.49	c 1389s |      22 |  2035635 |  1703222 |     1625   2109 |        0 |        0
1391.08/1391.51	c 1391s |      22 |  2038045 |  1705222 |     1625   2111 |        0 |        0
1393.07/1393.58	c 1393s |      22 |  2040403 |  1707122 |     1625   2113 |        0 |        0
1395.17/1395.62	c 1395s |      22 |  2042720 |  1708922 |     1625   2115 |        0 |        0
1397.17/1397.62	c 1397s |      22 |  2045182 |  1710722 |     1625   2117 |        0 |        0
1399.17/1399.66	c 1399s |      22 |  2047467 |  1712522 |     1625   2119 |        0 |        0
1401.17/1401.67	c 1401s |      22 |  2049378 |  1714122 |     1625   2120 |        0 |        0
1403.28/1403.74	c 1403s |      22 |  2051285 |  1715722 |     1625   2122 |        0 |        0
1405.27/1405.79	c 1405s |      22 |  2053109 |  1717322 |     1625   2123 |        0 |        0
1407.37/1407.87	c 1407s |      22 |  2055182 |  1718822 |     1625   2125 |        0 |        0
1409.37/1409.89	c 1409s |      22 |  2056848 |  1720222 |     1625   2127 |        0 |        0
1411.47/1411.90	c 1411s |      22 |  2058478 |  1721622 |     1625   2128 |        0 |        0
1413.57/1414.07	c 1414s |      22 |  2060243 |  1723122 |     1625   2130 |        0 |        0
1415.57/1416.09	c 1416s |      22 |  2061618 |  1724322 |     1625   2131 |        0 |        0
1417.68/1418.17	c 1418s |      22 |  2065308 |  1726422 |     1625   2133 |        0 |        0
1419.68/1420.20	c 1420s |      22 |  2067352 |  1728122 |     1625   2135 |        0 |        0
1421.77/1422.26	c 1422s |      22 |  2069550 |  1729922 |     1625   2137 |        0 |        0
1423.87/1424.33	c 1424s |      22 |  2072122 |  1731722 |     1625   2138 |        0 |        0
1425.87/1426.37	c 1426s |      22 |  2074398 |  1733522 |     1625   2140 |        0 |        0
1427.97/1428.40	c 1428s |      22 |  2076274 |  1735022 |     1625   2142 |        0 |        0
1429.97/1430.48	c 1430s |      22 |  2078135 |  1736622 |     1625   2143 |        0 |        0
1432.17/1432.61	c 1432s |      22 |  2079800 |  1738122 |     1625   2145 |        0 |        0
1434.27/1434.75	c 1434s |      22 |  2081969 |  1739622 |     1625   2147 |        0 |        0
1436.37/1436.83	c 1436s |      22 |  2083597 |  1741022 |     1625   2148 |        0 |        0
1438.48/1438.97	c 1438s |      22 |  2085644 |  1742522 |     1625   2150 |        0 |        0
1440.58/1441.09	c 1441s |      22 |  2087459 |  1744022 |     1625   2151 |        0 |        0
1442.78/1443.22	c 1443s |      22 |  2089380 |  1745622 |     1625   2153 |        0 |        0
1444.87/1445.35	c 1445s |      22 |  2091214 |  1747122 |     1625   2154 |        0 |        0
1446.97/1447.49	c 1447s |      22 |  2093774 |  1748722 |     1625   2156 |        0 |        0
1449.07/1449.52	c 1449s |      22 |  2095702 |  1750322 |     1625   2158 |        0 |        0
1451.07/1451.58	c 1451s |      22 |  2098758 |  1752522 |     1625   2160 |        0 |        0
1453.07/1453.58	c 1453s |      22 |  2102020 |  1754422 |     1625   2162 |        0 |        0
1455.17/1455.62	c 1455s |      22 |  2105877 |  1757122 |     1625   2165 |        0 |        0
1457.18/1457.65	c 1457s |      22 |  2109825 |  1759922 |     1625   2168 |        0 |        0
1459.17/1459.65	c 1459s |      22 |  2113707 |  1762522 |     1625   2170 |        0 |        0
1461.17/1461.69	c 1461s |      22 |  2117801 |  1765022 |     1625   2173 |        0 |        0
1463.27/1463.75	c 1463s |      22 |  2120938 |  1767122 |     1625   2175 |        0 |        0
1465.37/1465.83	c 1465s |      22 |  2126146 |  1770422 |     1625   2178 |        0 |        0
1467.37/1467.85	c 1467s |      22 |  2129226 |  1773022 |     1625   2181 |        0 |        0
1469.37/1469.87	c 1469s |      22 |  2133098 |  1775622 |     1625   2184 |        0 |        0
1471.47/1471.93	c 1471s |      22 |  2137119 |  1778322 |     1625   2186 |        0 |        0
1473.47/1473.95	c 1473s |      22 |  2140639 |  1780422 |     1625   2189 |        0 |        0
1475.47/1475.96	c 1475s |      22 |  2144521 |  1782822 |     1625   2191 |        0 |        0
1477.47/1477.99	c 1477s |      22 |  2147811 |  1785222 |     1625   2194 |        0 |        0
1479.57/1480.00	c 1479s |      22 |  2150743 |  1787422 |     1625   2196 |        0 |        0
1481.56/1482.04	c 1482s |      22 |  2154926 |  1790122 |     1625   2199 |        0 |        0
1483.57/1484.08	c 1484s |      22 |  2158022 |  1792722 |     1625   2201 |        0 |        0
1485.67/1486.15	c 1486s |      22 |  2161701 |  1795322 |     1625   2204 |        0 |        0
1487.66/1488.16	c 1488s |      22 |  2165865 |  1797722 |     1625   2206 |        0 |        0
1489.76/1490.21	c 1490s |      22 |  2169318 |  1799722 |     1625   2209 |        0 |        0
1491.76/1492.26	c 1492s |      22 |  2173794 |  1802022 |     1625   2211 |        0 |        0
1493.86/1494.30	c 1494s |      22 |  2177249 |  1804222 |     1625   2213 |        0 |        0
1495.86/1496.36	c 1496s |      22 |  2181263 |  1807022 |     1625   2216 |        0 |        0
1497.96/1498.42	c 1498s |      22 |  2184874 |  1809522 |     1625   2219 |        0 |        0
1499.97/1500.47	c 1500s |      22 |  2190676 |  1812522 |     1625   2222 |        0 |        0
1501.96/1502.49	c 1502s |      22 |  2194081 |  1814922 |     1625   2224 |        0 |        0
1504.06/1504.53	c 1504s |      22 |  2196178 |  1816622 |     1625   2226 |        0 |        0
1506.06/1506.59	c 1506s |      22 |  2200404 |  1819222 |     1625   2229 |        0 |        0
1508.16/1508.61	c 1508s |      22 |  2204119 |  1821422 |     1625   2231 |        0 |        0
1510.16/1510.61	c 1510s |      22 |  2208700 |  1823722 |     1625   2233 |        0 |        0
1512.17/1512.62	c 1512s |      22 |  2213896 |  1826422 |     1625   2236 |        0 |        0
1514.16/1514.65	c 1514s |      22 |  2217155 |  1828722 |     1625   2238 |        0 |        0
1516.16/1516.69	c 1516s |      22 |  2219710 |  1830822 |     1625   2241 |        0 |        0
1518.26/1518.70	c 1518s |      22 |  2221958 |  1832722 |     1625   2242 |        0 |        0
1520.26/1520.73	c 1520s |      22 |  2224514 |  1834822 |     1625   2245 |        0 |        0
1522.36/1522.81	c 1522s |      22 |  2226869 |  1836922 |     1625   2247 |        0 |        0
1524.36/1524.85	c 1524s |      22 |  2229365 |  1839022 |     1625   2249 |        0 |        0
1526.36/1526.89	c 1526s |      22 |  2231984 |  1841022 |     1625   2251 |        0 |        0
1528.46/1528.95	c 1528s |      22 |  2234486 |  1843022 |     1625   2253 |        0 |        0
1530.45/1530.99	c 1530s |      22 |  2236977 |  1845022 |     1625   2255 |        0 |        0
1532.55/1533.09	c 1533s |      22 |  2239380 |  1847022 |     1625   2257 |        0 |        0
1534.65/1535.10	c 1535s |      22 |  2241715 |  1848822 |     1625   2259 |        0 |        0
1536.65/1537.14	c 1537s |      22 |  2244317 |  1850722 |     1625   2261 |        0 |        0
1538.75/1539.20	c 1539s |      22 |  2246607 |  1852522 |     1625   2263 |        0 |        0
1540.76/1541.26	c 1541s |      22 |  2249146 |  1854622 |     1625   2265 |        0 |        0
1542.86/1543.34	c 1543s |      22 |  2251623 |  1856722 |     1625   2267 |        0 |        0
1544.95/1545.44	c 1545s |      22 |  2254566 |  1859022 |     1625   2269 |        0 |        0
1546.95/1547.45	c 1547s |      22 |  2257399 |  1861022 |     1625   2271 |        0 |        0
1549.05/1549.54	c 1549s |      22 |  2260187 |  1863122 |     1625   2274 |        0 |        0
1551.05/1551.54	c 1551s |      22 |  2262467 |  1864922 |     1625   2275 |        0 |        0
1553.05/1553.57	c 1553s |      22 |  2265926 |  1867222 |     1625   2278 |        0 |        0
1555.15/1555.64	c 1555s |      22 |  2269390 |  1869822 |     1625   2280 |        0 |        0
1557.15/1557.68	c 1557s |      22 |  2272577 |  1872022 |     1625   2283 |        0 |        0
1559.25/1559.71	c 1559s |      22 |  2276705 |  1874222 |     1625   2285 |        0 |        0
1561.25/1561.75	c 1561s |      22 |  2279829 |  1876222 |     1625   2287 |        0 |        0
1563.35/1563.80	c 1563s |      22 |  2283159 |  1878722 |     1625   2289 |        0 |        0
1565.35/1565.82	c 1565s |      22 |  2286314 |  1880822 |     1625   2291 |        0 |        0
1567.34/1567.84	c 1567s |      22 |  2289509 |  1882822 |     1625   2294 |        0 |        0
1569.35/1569.86	c 1569s |      22 |  2292740 |  1884822 |     1625   2296 |        0 |        0
1571.34/1571.86	c 1571s |      22 |  2295363 |  1886622 |     1625   2297 |        0 |        0
1573.44/1573.91	c 1573s |      22 |  2298265 |  1888622 |     1625   2299 |        0 |        0
1575.44/1575.93	c 1575s |      22 |  2300933 |  1890522 |     1625   2301 |        0 |        0
1577.44/1577.96	c 1577s |      22 |  2303481 |  1892422 |     1625   2303 |        0 |        0
1579.54/1580.02	c 1579s |      22 |  2307257 |  1895022 |     1625   2306 |        0 |        0
1581.54/1582.08	c 1582s |      22 |  2310756 |  1897922 |     1625   2309 |        0 |        0
1583.65/1584.16	c 1584s |      22 |  2316199 |  1900322 |     1625   2311 |        0 |        0
1585.64/1586.18	c 1586s |      22 |  2318967 |  1902522 |     1625   2314 |        0 |        0
1587.74/1588.20	c 1588s |      22 |  2322554 |  1905022 |     1625   2316 |        0 |        0
1589.74/1590.23	c 1590s |      22 |  2327063 |  1907122 |     1625   2318 |        0 |        0
1591.84/1592.30	c 1592s |      22 |  2329319 |  1908922 |     1625   2320 |        0 |        0
1593.84/1594.36	c 1594s |      22 |  2331666 |  1910922 |     1625   2322 |        0 |        0
1595.94/1596.42	c 1596s |      22 |  2335368 |  1913022 |     1625   2324 |        0 |        0
1597.95/1598.48	c 1598s |      22 |  2338128 |  1914622 |     1625   2326 |        0 |        0
1600.05/1600.58	c 1600s |      22 |  2344186 |  1916822 |     1625   2328 |        0 |        0
1602.14/1602.61	c 1602s |      22 |  2349906 |  1919022 |     1625   2330 |        0 |        0
1604.14/1604.67	c 1604s |      22 |  2352686 |  1921222 |     1625   2333 |        0 |        0
1606.24/1606.72	c 1606s |      22 |  2355355 |  1923422 |     1625   2335 |        0 |        0
1608.24/1608.76	c 1608s |      22 |  2358078 |  1925722 |     1625   2338 |        0 |        0
1610.34/1610.84	c 1610s |      22 |  2361433 |  1927922 |     1625   2340 |        0 |        0
1612.44/1612.92	c 1612s |      22 |  2363606 |  1929722 |     1625   2342 |        0 |        0
1614.44/1614.99	c 1614s |      22 |  2365651 |  1931522 |     1625   2343 |        0 |        0
1616.54/1617.01	c 1616s |      22 |  2367661 |  1933222 |     1625   2345 |        0 |        0
1618.54/1619.09	c 1619s |      22 |  2370041 |  1935022 |     1625   2347 |        0 |        0
1620.64/1621.14	c 1621s |      22 |  2373260 |  1936522 |     1625   2349 |        0 |        0
1622.64/1623.17	c 1623s |      22 |  2375009 |  1937922 |     1625   2350 |        0 |        0
1624.74/1625.20	c 1625s |      22 |  2380132 |  1941322 |     1625   2353 |        0 |        0
1626.73/1627.22	c 1627s |      22 |  2383542 |  1944422 |     1625   2356 |        0 |        0
1628.74/1629.27	c 1629s |      22 |  2386964 |  1947522 |     1625   2360 |        0 |        0
1630.84/1631.33	c 1631s |      22 |  2390417 |  1950622 |     1625   2363 |        0 |        0
1632.83/1633.39	c 1633s |      22 |  2393646 |  1953522 |     1625   2365 |        0 |        0
1634.93/1635.40	c 1635s |      22 |  2397351 |  1956422 |     1625   2368 |        0 |        0
1636.93/1637.41	c 1637s |      22 |  2400422 |  1959122 |     1625   2371 |        0 |        0
1638.93/1639.46	c 1639s |      22 |  2403618 |  1961922 |     1625   2374 |        0 |        0
1640.93/1641.49	c 1641s |      22 |  2406669 |  1964622 |     1625   2376 |        0 |        0
1643.04/1643.51	c 1643s |      22 |  2409955 |  1967522 |     1625   2379 |        0 |        0
1645.03/1645.55	c 1645s |      22 |  2413077 |  1970322 |     1625   2382 |        0 |        0
1647.03/1647.57	c 1647s |      22 |  2416675 |  1972822 |     1625   2385 |        0 |        0
1649.13/1649.62	c 1649s |      22 |  2422555 |  1975722 |     1625   2388 |        0 |        0
1651.23/1651.72	c 1651s |      22 |  2426514 |  1977922 |     1625   2390 |        0 |        0
1653.33/1653.80	c 1653s |      22 |  2431059 |  1980722 |     1625   2393 |        0 |        0
1655.33/1655.81	c 1655s |      22 |  2435035 |  1983722 |     1625   2396 |        0 |        0
1657.34/1657.89	c 1657s |      22 |  2438955 |  1986522 |     1625   2398 |        0 |        0
1659.44/1659.94	c 1659s |      22 |  2442404 |  1989022 |     1625   2401 |        0 |        0
1661.43/1661.94	c 1661s |      22 |  2445767 |  1991522 |     1625   2404 |        0 |        0
1663.43/1663.99	c 1663s |      22 |  2449818 |  1994322 |     1625   2406 |        0 |        0
1665.53/1666.05	c 1666s |      22 |  2453834 |  1997222 |     1625   2409 |        0 |        0
1667.53/1668.07	c 1668s |      22 |  2457968 |  2000222 |     1625   2412 |        0 |        0
1669.63/1670.11	c 1670s |      22 |  2462141 |  2002722 |     1625   2415 |        0 |        0
1671.63/1672.13	c 1672s |      22 |  2466365 |  2005622 |     1625   2418 |        0 |        0
1673.63/1674.13	c 1674s |      22 |  2469977 |  2008122 |     1625   2420 |        0 |        0
1675.73/1676.20	c 1676s |      22 |  2474091 |  2010922 |     1625   2423 |        0 |        0
1677.74/1678.24	c 1678s |      22 |  2478495 |  2012922 |     1625   2425 |        0 |        0
1679.83/1680.34	c 1680s |      22 |  2484007 |  2015922 |     1625   2428 |        0 |        0
1681.93/1682.41	c 1682s |      22 |  2487385 |  2018622 |     1625   2431 |        0 |        0
1683.93/1684.47	c 1684s |      22 |  2491017 |  2021022 |     1625   2434 |        0 |        0
1686.03/1686.53	c 1686s |      22 |  2494451 |  2023622 |     1625   2436 |        0 |        0
1688.04/1688.54	c 1688s |      22 |  2497378 |  2026122 |     1625   2439 |        0 |        0
1690.03/1690.55	c 1690s |      22 |  2500569 |  2028622 |     1625   2441 |        0 |        0
1692.13/1692.61	c 1692s |      22 |  2503169 |  2030822 |     1625   2444 |        0 |        0
1694.13/1694.62	c 1694s |      22 |  2506983 |  2033422 |     1625   2446 |        0 |        0
1696.13/1696.69	c 1696s |      22 |  2511461 |  2036522 |     1625   2450 |        0 |        0
1698.23/1698.75	c 1698s |      22 |  2516671 |  2039722 |     1625   2453 |        0 |        0
1700.24/1700.76	c 1700s |      22 |  2521247 |  2042822 |     1625   2456 |        0 |        0
1702.23/1702.77	c 1702s |      22 |  2525533 |  2045722 |     1625   2459 |        0 |        0
1704.23/1704.78	c 1704s |      22 |  2529115 |  2048622 |     1625   2462 |        0 |        0
1706.33/1706.80	c 1706s |      22 |  2532900 |  2051322 |     1625   2465 |        0 |        0
1708.33/1708.85	c 1708s |      22 |  2537588 |  2054522 |     1625   2468 |        0 |        0
1710.43/1710.90	c 1710s |      22 |  2541747 |  2058122 |     1625   2472 |        0 |        0
1712.43/1712.90	c 1712s |      22 |  2545433 |  2061122 |     1625   2475 |        0 |        0
1714.43/1714.97	c 1714s |      22 |  2549893 |  2064022 |     1625   2478 |        0 |        0
1716.53/1717.04	c 1717s |      22 |  2553225 |  2066422 |     1625   2481 |        0 |        0
1718.62/1719.11	c 1719s |      22 |  2556405 |  2068822 |     1625   2483 |        0 |        0
1720.62/1721.16	c 1721s |      22 |  2560003 |  2071422 |     1625   2486 |        0 |        0
1722.62/1723.16	c 1723s |      22 |  2563262 |  2073822 |     1625   2488 |        0 |        0
1724.62/1725.17	c 1725s |      22 |  2566302 |  2076422 |     1625   2491 |        0 |        0
1726.63/1727.18	c 1727s |      22 |  2568946 |  2078722 |     1625   2493 |        0 |        0
1728.73/1729.22	c 1729s |      22 |  2572408 |  2081322 |     1625   2496 |        0 |        0
1730.72/1731.26	c 1731s |      22 |  2575789 |  2083822 |     1625   2499 |        0 |        0
1732.72/1733.29	c 1733s |      22 |  2578792 |  2086122 |     1625   2501 |        0 |        0
1734.82/1735.30	c 1735s |      22 |  2582636 |  2088422 |     1625   2503 |        0 |        0
1736.82/1737.33	c 1737s |      22 |  2586256 |  2091222 |     1625   2506 |        0 |        0
1738.82/1739.35	c 1739s |      22 |  2590017 |  2094222 |     1625   2509 |        0 |        0
1740.83/1741.36	c 1741s |      22 |  2593783 |  2097022 |     1625   2512 |        0 |        0
1742.92/1743.42	c 1743s |      22 |  2597155 |  2099522 |     1625   2515 |        0 |        0
1744.92/1745.43	c 1745s |      22 |  2600662 |  2102322 |     1625   2518 |        0 |        0
1747.02/1747.51	c 1747s |      22 |  2604061 |  2105022 |     1625   2520 |        0 |        0
1749.02/1749.57	c 1749s |      22 |  2607148 |  2107722 |     1625   2523 |        0 |        0
1751.12/1751.61	c 1751s |      22 |  2610255 |  2110122 |     1625   2526 |        0 |        0
1753.12/1753.62	c 1753s |      22 |  2613384 |  2112422 |     1625   2528 |        0 |        0
1755.12/1755.65	c 1755s |      22 |  2616906 |  2115022 |     1625   2531 |        0 |        0
1757.21/1757.72	c 1757s |      22 |  2621572 |  2118122 |     1625   2534 |        0 |        0
1759.21/1759.74	c 1759s |      22 |  2625640 |  2120922 |     1625   2537 |        0 |        0
1761.22/1761.76	c 1761s |      22 |  2629309 |  2123722 |     1625   2540 |        0 |        0
1763.32/1763.82	c 1763s |      22 |  2632675 |  2126622 |     1625   2543 |        0 |        0
1765.32/1765.89	c 1765s |      22 |  2637945 |  2129322 |     1625   2545 |        0 |        0
1767.42/1767.92	c 1767s |      22 |  2641332 |  2131922 |     1625   2548 |        0 |        0
1769.43/1770.00	c 1769s |      22 |  2644513 |  2134222 |     1625   2551 |        0 |        0
1771.52/1772.08	c 1772s |      22 |  2647483 |  2136522 |     1625   2553 |        0 |        0
1773.62/1774.12	c 1774s |      22 |  2650181 |  2138622 |     1625   2555 |        0 |        0
1775.62/1776.14	c 1776s |      22 |  2653190 |  2140622 |     1625   2557 |        0 |        0
1777.72/1778.21	c 1778s |      22 |  2656388 |  2142822 |     1625   2559 |        0 |        0
1779.72/1780.29	c 1780s |      22 |  2659614 |  2145022 |     1625   2562 |        0 |        0
1781.82/1782.31	c 1782s |      22 |  2662194 |  2147022 |     1625   2564 |        0 |        0
1783.92/1784.40	c 1784s |      22 |  2665488 |  2149322 |     1625   2566 |        0 |        0
1785.92/1786.43	c 1786s |      22 |  2668479 |  2151322 |     1625   2568 |        0 |        0
1788.02/1788.53	c 1788s |      22 |  2671603 |  2153522 |     1625   2571 |        0 |        0
1790.12/1790.60	c 1790s |      22 |  2674228 |  2155522 |     1625   2573 |        0 |        0
1792.12/1792.63	c 1792s |      22 |  2676765 |  2157522 |     1625   2575 |        0 |        0
1794.22/1794.71	c 1794s |      22 |  2679595 |  2159722 |     1625   2577 |        0 |        0
1796.32/1796.80	c 1796s |      22 |  2682904 |  2162122 |     1625   2579 |        0 |        0
1798.32/1798.81	c 1798s |      22 |  2686035 |  2164422 |     1625   2582 |        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-4093709-1466093808/watcher-4093709-1466093808 -o /tmp/evaluation-result-4093709-1466093808/solver-4093709-1466093808 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466093808-27437 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093709-1466093808.wbo 

pid=27459
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.15 2.23 2.84 4/175 27466
/proc/meminfo: memFree=31488140/32872528 swapFree=496356/529060
[pid=27465] ppid=27459 vsize=637372 CPUtime=0 cores=0,2,4,6
/proc/27465/stat : 27465 (toysat) R 27459 27465 11396 0 -1 4202496 2363 0 0 0 0 0 0 0 20 0 4 0 11426232 652668928 2724 33554432000 4194304 16246674 140736047608592 140736047608016 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27465/statm: 160111 2734 441 2943 0 157005 0
[pid=27465/tid=27467] ppid=27459 vsize=661948 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27467/stat : 27467 (toysat) S 27459 27465 11396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11426232 677834752 2819 33554432000 4194304 16246674 140736047608592 139937873636592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27465/tid=27469] ppid=27459 vsize=666044 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27469/stat : 27469 (toysat) S 27459 27465 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11426232 682029056 2836 33554432000 4194304 16246674 140736047608592 139937863146736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27465/tid=27471] ppid=27459 vsize=671164 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27471/stat : 27471 (toysat) S 27459 27465 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11426232 687271936 2853 33554432000 4194304 16246674 140736047608592 139937852673200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.15 2.23 2.84 4/175 27466
/proc/meminfo: memFree=31488140/32872528 swapFree=496356/529060
[pid=27465] ppid=27459 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/27465/stat : 27465 (toysat) R 27459 27465 11396 0 -1 4202496 26548 0 0 0 6 3 0 0 20 0 4 0 11426232 1247350784 26895 33554432000 4194304 16246674 140736047608592 140736047608016 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27465/statm: 304529 26907 809 2943 0 301423 0
[pid=27465/tid=27467] ppid=27459 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27467/stat : 27467 (toysat) S 27459 27465 11396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11426232 1247350784 26917 33554432000 4194304 16246674 140736047608592 139937873636592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27465/tid=27469] ppid=27459 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27469/stat : 27469 (toysat) S 27459 27465 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11426232 1247350784 26925 33554432000 4194304 16246674 140736047608592 139937863146736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27465/tid=27471] ppid=27459 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27471/stat : 27471 (toysat) S 27459 27465 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11426232 1247350784 26937 33554432000 4194304 16246674 140736047608592 139937852673200 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.2005 s]
/proc/loadavg: 2.15 2.23 2.84 4/175 27466
/proc/meminfo: memFree=31488140/32872528 swapFree=496356/529060
[pid=27465] ppid=27459 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/27465/stat : 27465 (toysat) R 27459 27465 11396 0 -1 4202496 55482 0 0 0 11 8 0 0 20 0 4 0 11426232 1247350784 55829 33554432000 4194304 16246674 140736047608592 140736047608016 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27465/statm: 304529 55844 815 2943 0 301423 0
[pid=27465/tid=27467] ppid=27459 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27467/stat : 27467 (toysat) S 27459 27465 11396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11426232 1247350784 55854 33554432000 4194304 16246674 140736047608592 139937873636592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27465/tid=27469] ppid=27459 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27469/stat : 27469 (toysat) S 27459 27465 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11426232 1247350784 55865 33554432000 4194304 16246674 140736047608592 139937863146736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27465/tid=27471] ppid=27459 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27471/stat : 27471 (toysat) S 27459 27465 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11426232 1247350784 55874 33554432000 4194304 16246674 140736047608592 139937852673200 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.300489 s]
/proc/loadavg: 2.15 2.23 2.84 4/175 27466
/proc/meminfo: memFree=31488140/32872528 swapFree=496356/529060
[pid=27465] ppid=27459 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/27465/stat : 27465 (toysat) R 27459 27465 11396 0 -1 4202496 83705 0 0 0 17 12 0 0 20 0 4 0 11426232 1247350784 84053 33554432000 4194304 16246674 140736047608592 140736047608016 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27465/statm: 304529 84068 815 2943 0 301423 0
[pid=27465/tid=27467] ppid=27459 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27467/stat : 27467 (toysat) S 27459 27465 11396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11426232 1247350784 84078 33554432000 4194304 16246674 140736047608592 139937873636592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27465/tid=27469] ppid=27459 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27469/stat : 27469 (toysat) S 27459 27465 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11426232 1247350784 84088 33554432000 4194304 16246674 140736047608592 139937863146736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27465/tid=27471] ppid=27459 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27471/stat : 27471 (toysat) S 27459 27465 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11426232 1247350784 84096 33554432000 4194304 16246674 140736047608592 139937852673200 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.700387 s]
/proc/loadavg: 2.15 2.23 2.84 4/175 27466
/proc/meminfo: memFree=31488140/32872528 swapFree=496356/529060
[pid=27465] ppid=27459 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/27465/stat : 27465 (toysat) R 27459 27465 11396 0 -1 4202496 202161 0 0 0 41 28 0 0 20 0 4 0 11426232 1247350784 202509 33554432000 4194304 16246674 140736047608592 140736047590464 13198569 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27465/statm: 304529 202521 815 2943 0 301423 0
[pid=27465/tid=27467] ppid=27459 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27467/stat : 27467 (toysat) S 27459 27465 11396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11426232 1247350784 202522 33554432000 4194304 16246674 140736047608592 139937873636592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27465/tid=27469] ppid=27459 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27469/stat : 27469 (toysat) S 27459 27465 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11426232 1247350784 202531 33554432000 4194304 16246674 140736047608592 139937863146736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27465/tid=27471] ppid=27459 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27471/stat : 27471 (toysat) S 27459 27465 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11426232 1247350784 202540 33554432000 4194304 16246674 140736047608592 139937852673200 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.50039 s]
/proc/loadavg: 2.13 2.23 2.83 4/183 27474
/proc/meminfo: memFree=29734516/32872528 swapFree=496356/529060
[pid=27465] ppid=27459 vsize=1304132 CPUtime=1.49 cores=0,2,4,6
/proc/27465/stat : 27465 (toysat) R 27459 27465 11396 0 -1 4202496 266937 0 0 0 113 36 0 0 20 0 4 0 11426232 1335431168 267262 33554432000 4194304 16246674 140736047608592 140736047590464 13928602 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27465/statm: 326033 267262 874 2943 0 322927 0
[pid=27465/tid=27467] ppid=27459 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27467/stat : 27467 (toysat) S 27459 27465 11396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11426232 1335431168 267262 33554432000 4194304 16246674 140736047608592 139937873636592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27465/tid=27469] ppid=27459 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27469/stat : 27469 (toysat) S 27459 27465 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11426232 1335431168 267262 33554432000 4194304 16246674 140736047608592 139937863146736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27465/tid=27471] ppid=27459 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27471/stat : 27471 (toysat) S 27459 27465 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11426232 1335431168 267262 33554432000 4194304 16246674 140736047608592 139937852673200 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) 1304132

[startup+3.10039 s]
/proc/loadavg: 2.13 2.23 2.83 4/183 27474
/proc/meminfo: memFree=29365120/32872528 swapFree=496356/529060
[pid=27465] ppid=27459 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/27465/stat : 27465 (toysat) R 27459 27465 11396 0 -1 4202496 267651 0 0 0 273 36 0 0 20 0 4 0 11426232 1337528320 267976 33554432000 4194304 16246674 140736047608592 140736047590464 5546072 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27465/statm: 326545 267976 875 2943 0 323439 0
[pid=27465/tid=27467] ppid=27459 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27467/stat : 27467 (toysat) S 27459 27465 11396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11426232 1337528320 267976 33554432000 4194304 16246674 140736047608592 139937873636592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27465/tid=27469] ppid=27459 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27469/stat : 27469 (toysat) S 27459 27465 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11426232 1337528320 267976 33554432000 4194304 16246674 140736047608592 139937863146736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27465/tid=27471] ppid=27459 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27471/stat : 27471 (toysat) S 27459 27465 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11426232 1337528320 267976 33554432000 4194304 16246674 140736047608592 139937852673200 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.3004 s]
/proc/loadavg: 2.13 2.23 2.83 4/183 27474
/proc/meminfo: memFree=29343680/32872528 swapFree=496356/529060
[pid=27465] ppid=27459 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/27465/stat : 27465 (toysat) R 27459 27465 11396 0 -1 4202496 267666 0 0 0 593 36 0 0 20 0 4 0 11426232 1337528320 267991 33554432000 4194304 16246674 140736047608592 140736047590464 5546015 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27465/statm: 326545 267991 875 2943 0 323439 0
[pid=27465/tid=27467] ppid=27459 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27467/stat : 27467 (toysat) S 27459 27465 11396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11426232 1337528320 267991 33554432000 4194304 16246674 140736047608592 139937873636592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27465/tid=27469] ppid=27459 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27469/stat : 27469 (toysat) S 27459 27465 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11426232 1337528320 267991 33554432000 4194304 16246674 140736047608592 139937863146736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27465/tid=27471] ppid=27459 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27471/stat : 27471 (toysat) S 27459 27465 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11426232 1337528320 267991 33554432000 4194304 16246674 140736047608592 139937852673200 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) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.19 2.24 2.83 5/183 27474
/proc/meminfo: memFree=29342800/32872528 swapFree=496356/529060
[pid=27465] ppid=27459 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/27465/stat : 27465 (toysat) R 27459 27465 11396 0 -1 4202496 267752 0 0 0 1233 36 0 0 20 0 4 0 11426232 1338576896 268077 33554432000 4194304 16246674 140736047608592 140736047590464 5722975 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27465/statm: 326801 268077 875 2943 0 323695 0
[pid=27465/tid=27467] ppid=27459 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27467/stat : 27467 (toysat) S 27459 27465 11396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11426232 1338576896 268077 33554432000 4194304 16246674 140736047608592 139937873636592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27465/tid=27469] ppid=27459 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27469/stat : 27469 (toysat) S 27459 27465 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11426232 1338576896 268077 33554432000 4194304 16246674 140736047608592 139937863146736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27465/tid=27471] ppid=27459 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27471/stat : 27471 (toysat) S 27459 27465 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11426232 1338576896 268077 33554432000 4194304 16246674 140736047608592 139937852673200 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.24 2.25 2.82 4/183 27474
/proc/meminfo: memFree=29343056/32872528 swapFree=496356/529060
[pid=27465] ppid=27459 vsize=1307204 CPUtime=25.48 cores=0,2,4,6
/proc/27465/stat : 27465 (toysat) R 27459 27465 11396 0 -1 4202496 267924 0 0 0 2512 36 0 0 20 0 4 0 11426232 1338576896 268247 33554432000 4194304 16246674 140736047608592 140736047591592 13966736 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27465/statm: 326801 268247 875 2943 0 323695 0
[pid=27465/tid=27467] ppid=27459 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27467/stat : 27467 (toysat) S 27459 27465 11396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11426232 1338576896 268247 33554432000 4194304 16246674 140736047608592 139937873636592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27465/tid=27469] ppid=27459 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27469/stat : 27469 (toysat) S 27459 27465 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11426232 1338576896 268247 33554432000 4194304 16246674 140736047608592 139937863146736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27465/tid=27471] ppid=27459 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27471/stat : 27471 (toysat) S 27459 27465 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11426232 1338576896 268247 33554432000 4194304 16246674 140736047608592 139937852673200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.21 2.24 2.80 3/183 27523
/proc/meminfo: memFree=29345996/32872528 swapFree=496356/529060
[pid=27465] ppid=27459 vsize=1308228 CPUtime=51.07 cores=0,2,4,6
/proc/27465/stat : 27465 (toysat) R 27459 27465 11396 0 -1 4202496 268085 0 0 0 5071 36 0 0 20 0 4 0 11426232 1339625472 268398 33554432000 4194304 16246674 140736047608592 140736047590464 5711980 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27465/statm: 327057 268398 875 2943 0 323951 0
[pid=27465/tid=27467] ppid=27459 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27467/stat : 27467 (toysat) S 27459 27465 11396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11426232 1339625472 268398 33554432000 4194304 16246674 140736047608592 139937873636592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27465/tid=27469] ppid=27459 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27469/stat : 27469 (toysat) S 27459 27465 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11426232 1339625472 268398 33554432000 4194304 16246674 140736047608592 139937863146736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27465/tid=27471] ppid=27459 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27471/stat : 27471 (toysat) S 27459 27465 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11426232 1339625472 268398 33554432000 4194304 16246674 140736047608592 139937852673200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1308228

[startup+102.3 s]
/proc/loadavg: 2.09 2.20 2.76 3/183 27621
/proc/meminfo: memFree=29342772/32872528 swapFree=496356/529060
[pid=27465] ppid=27459 vsize=1309252 CPUtime=102.26 cores=0,2,4,6
/proc/27465/stat : 27465 (toysat) R 27459 27465 11396 0 -1 4202496 268230 0 0 0 10189 37 0 0 20 0 4 0 11426232 1340674048 268514 33554432000 4194304 16246674 140736047608592 140736047590464 13195365 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27465/statm: 327313 268514 876 2943 0 324207 0
[pid=27465/tid=27467] ppid=27459 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27467/stat : 27467 (toysat) S 27459 27465 11396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11426232 1340674048 268514 33554432000 4194304 16246674 140736047608592 139937873636592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27465/tid=27469] ppid=27459 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27469/stat : 27469 (toysat) S 27459 27465 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11426232 1340674048 268514 33554432000 4194304 16246674 140736047608592 139937863146736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27465/tid=27471] ppid=27459 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27471/stat : 27471 (toysat) S 27459 27465 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11426232 1340674048 268514 33554432000 4194304 16246674 140736047608592 139937852673200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1309252


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

/proc/27465/task/27471/stat : 27471 (toysat) S 27459 27465 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 139937852673200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1324612

[startup+1362.3 s]
/proc/loadavg: 2.11 2.14 2.28 4/183 28479
/proc/meminfo: memFree=29645020/32872528 swapFree=496356/529060
[pid=27465] ppid=27459 vsize=1324612 CPUtime=1361.88 cores=0,2,4,6
/proc/27465/stat : 27465 (toysat) R 27459 27465 11396 0 -1 4202496 272513 0 0 0 136139 49 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 140736047590464 5545752 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27465/statm: 331153 272451 877 2943 0 328047 0
[pid=27465/tid=27467] ppid=27459 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27467/stat : 27467 (toysat) S 27459 27465 11396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 139937873636592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27465/tid=27469] ppid=27459 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27469/stat : 27469 (toysat) S 27459 27465 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 139937863146736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27465/tid=27471] ppid=27459 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27471/stat : 27471 (toysat) S 27459 27465 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 139937852673200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1324612

[startup+1422.3 s]
/proc/loadavg: 2.12 2.12 2.27 3/184 28483
/proc/meminfo: memFree=29548564/32872528 swapFree=496356/529060
[pid=27465] ppid=27459 vsize=1324612 CPUtime=1421.88 cores=0,2,4,6
/proc/27465/stat : 27465 (toysat) R 27459 27465 11396 0 -1 4202496 272513 0 0 0 142138 50 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 140736047590464 13191575 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27465/statm: 331153 272451 877 2943 0 328047 0
[pid=27465/tid=27467] ppid=27459 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27467/stat : 27467 (toysat) S 27459 27465 11396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 139937873636592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27465/tid=27469] ppid=27459 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27469/stat : 27469 (toysat) S 27459 27465 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 139937863146736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27465/tid=27471] ppid=27459 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27471/stat : 27471 (toysat) S 27459 27465 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 139937852673200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1324612

[startup+1482.3 s]
/proc/loadavg: 2.09 2.11 2.25 3/183 28484
/proc/meminfo: memFree=29468048/32872528 swapFree=496356/529060
[pid=27465] ppid=27459 vsize=1324612 CPUtime=1481.86 cores=0,2,4,6
/proc/27465/stat : 27465 (toysat) R 27459 27465 11396 0 -1 4202496 272513 0 0 0 148136 50 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 140736047590464 6011058 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27465/statm: 331153 272451 877 2943 0 328047 0
[pid=27465/tid=27467] ppid=27459 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27467/stat : 27467 (toysat) S 27459 27465 11396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 139937873636592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27465/tid=27469] ppid=27459 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27469/stat : 27469 (toysat) S 27459 27465 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 139937863146736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27465/tid=27471] ppid=27459 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27471/stat : 27471 (toysat) S 27459 27465 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 139937852673200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1324612

[startup+1542.31 s]
/proc/loadavg: 2.03 2.09 2.24 4/183 28485
/proc/meminfo: memFree=29354856/32872528 swapFree=496356/529060
[pid=27465] ppid=27459 vsize=1324612 CPUtime=1541.86 cores=0,2,4,6
/proc/27465/stat : 27465 (toysat) R 27459 27465 11396 0 -1 4202496 272513 0 0 0 154136 50 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 140736047590464 5711680 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27465/statm: 331153 272451 877 2943 0 328047 0
[pid=27465/tid=27467] ppid=27459 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27467/stat : 27467 (toysat) S 27459 27465 11396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 139937873636592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27465/tid=27469] ppid=27459 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27469/stat : 27469 (toysat) S 27459 27465 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 139937863146736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27465/tid=27471] ppid=27459 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27471/stat : 27471 (toysat) S 27459 27465 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 139937852673200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1324612

[startup+1602.3 s]
/proc/loadavg: 2.01 2.07 2.22 3/183 28486
/proc/meminfo: memFree=29315740/32872528 swapFree=496356/529060
[pid=27465] ppid=27459 vsize=1324612 CPUtime=1601.84 cores=0,2,4,6
/proc/27465/stat : 27465 (toysat) R 27459 27465 11396 0 -1 4202496 272513 0 0 0 160134 50 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 140736047590464 5546214 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27465/statm: 331153 272451 877 2943 0 328047 0
[pid=27465/tid=27467] ppid=27459 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27467/stat : 27467 (toysat) S 27459 27465 11396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 139937873636592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27465/tid=27469] ppid=27459 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27469/stat : 27469 (toysat) S 27459 27465 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 139937863146736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27465/tid=27471] ppid=27459 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27471/stat : 27471 (toysat) S 27459 27465 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 139937852673200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1324612

[startup+1662.3 s]
/proc/loadavg: 2.00 2.06 2.20 3/183 28488
/proc/meminfo: memFree=29314548/32872528 swapFree=496356/529060
[pid=27465] ppid=27459 vsize=1324612 CPUtime=1661.83 cores=0,2,4,6
/proc/27465/stat : 27465 (toysat) R 27459 27465 11396 0 -1 4202496 272513 0 0 0 166133 50 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 140736047590464 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27465/statm: 331153 272451 877 2943 0 328047 0
[pid=27465/tid=27467] ppid=27459 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27467/stat : 27467 (toysat) S 27459 27465 11396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 139937873636592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27465/tid=27469] ppid=27459 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27469/stat : 27469 (toysat) S 27459 27465 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 139937863146736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27465/tid=27471] ppid=27459 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27471/stat : 27471 (toysat) S 27459 27465 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 139937852673200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1324612

[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.18 3/183 28489
/proc/meminfo: memFree=29314596/32872528 swapFree=496356/529060
[pid=27465] ppid=27459 vsize=1324612 CPUtime=1721.82 cores=0,2,4,6
/proc/27465/stat : 27465 (toysat) R 27459 27465 11396 0 -1 4202496 272513 0 0 0 172131 51 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 140736047590464 5545721 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27465/statm: 331153 272451 877 2943 0 328047 0
[pid=27465/tid=27467] ppid=27459 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27467/stat : 27467 (toysat) S 27459 27465 11396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 139937873636592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27465/tid=27469] ppid=27459 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27469/stat : 27469 (toysat) S 27459 27465 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 139937863146736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27465/tid=27471] ppid=27459 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27471/stat : 27471 (toysat) S 27459 27465 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 139937852673200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1324612

[startup+1782.3 s]
/proc/loadavg: 2.05 2.05 2.18 3/183 28490
/proc/meminfo: memFree=29311548/32872528 swapFree=496356/529060
[pid=27465] ppid=27459 vsize=1324612 CPUtime=1781.82 cores=0,2,4,6
/proc/27465/stat : 27465 (toysat) R 27459 27465 11396 0 -1 4202496 272513 0 0 0 178130 52 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 140736047590464 5721677 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27465/statm: 331153 272451 877 2943 0 328047 0
[pid=27465/tid=27467] ppid=27459 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27467/stat : 27467 (toysat) S 27459 27465 11396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 139937873636592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27465/tid=27469] ppid=27459 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27469/stat : 27469 (toysat) S 27459 27465 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 139937863146736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27465/tid=27471] ppid=27459 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27471/stat : 27471 (toysat) S 27459 27465 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 139937852673200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1324612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.04 2.05 2.17 3/183 28490
/proc/meminfo: memFree=29312128/32872528 swapFree=496356/529060
[pid=27465] ppid=27459 vsize=1324612 CPUtime=1800.02 cores=0,2,4,6
/proc/27465/stat : 27465 (toysat) R 27459 27465 11396 0 -1 4202496 272513 0 0 0 179950 52 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 140736047590464 5545894 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27465/statm: 331153 272451 877 2943 0 328047 0
[pid=27465/tid=27467] ppid=27459 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27467/stat : 27467 (toysat) S 27459 27465 11396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 139937873636592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27465/tid=27469] ppid=27459 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27469/stat : 27469 (toysat) S 27459 27465 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 139937863146736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27465/tid=27471] ppid=27459 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27471/stat : 27471 (toysat) S 27459 27465 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 139937852673200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1324612

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 27465 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.04 2.05 2.17 3/183 28490
/proc/meminfo: memFree=29312128/32872528 swapFree=496356/529060
[pid=27465] ppid=27459 vsize=1324612 CPUtime=1800.02 cores=0,2,4,6
/proc/27465/stat : 27465 (toysat) R 27459 27465 11396 0 -1 4202496 272513 0 0 0 179950 52 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 140736047590464 5545894 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27465/statm: 331153 272451 877 2943 0 328047 0
[pid=27465/tid=27467] ppid=27459 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27467/stat : 27467 (toysat) S 27459 27465 11396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 139937873636592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27465/tid=27469] ppid=27459 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27469/stat : 27469 (toysat) S 27459 27465 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 139937863146736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27465/tid=27471] ppid=27459 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/27465/task/27471/stat : 27471 (toysat) S 27459 27465 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11426232 1356402688 272451 33554432000 4194304 16246674 140736047608592 139937852673200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1324612

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.5
CPU system time (s): 0.52092
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 1324612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.52092
maximum resident set size= 1089804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272513
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= 402
involuntary context switches= 2407

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.31134 second user time and 7.2549 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-16 18:16:48
IDJOB=4093709
IDBENCH=79187
IDSOLVER=2553
FILE ID=node141/4093709-1466093808
RUNJOBID= node141-1466093808-27437
PBS_JOBID= 19903999
Free space on /tmp= 71748 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-25-20--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-4093709-1466093808/watcher-4093709-1466093808 -o /tmp/evaluation-result-4093709-1466093808/solver-4093709-1466093808 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466093808-27437 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093709-1466093808.wbo

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

MD5SUM BENCH= 3ef623ad54bc9b8a55f5198a1c4abc02
RANDOM SEED=1110577530

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.547
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31490336 kB
Buffers:           38332 kB
Cached:           111104 kB
SwapCached:         2880 kB
Active:            85456 kB
Inactive:          66892 kB
Active(anon):       3644 kB
Inactive(anon):     2156 kB
Active(file):      81812 kB
Inactive(file):    64736 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67098996 kB
Dirty:             32640 kB
Writeback:             0 kB
AnonPages:        529108 kB
Mapped:             7004 kB
Shmem:                 0 kB
Slab:             568984 kB
SReclaimable:      12888 kB
SUnreclaim:       556096 kB
KernelStack:        1440 kB
PageTables:         4964 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     625704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 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= 71716 MiB
End job on node141 at 2016-06-16 18:46:49