Trace number 4096071

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
subsetcard/normalized-subsetcard-eq-random4regular-80.opb
MD5SUM59d94da41177a29ab8da7774c6b2954c
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.011997
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables321
Total number of constraints160
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)160
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint5
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 8
Number of bits of the biggest sum of numbers4
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-16T20:29:34+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4096071-1466101774.opb"]
0.00/0.01	c use --random-gen="4063710731 715191431 2345128748 1262007065 3140731368 2417947111 858799623 4282933594 1910995845 3502619657 3544275002 1072100982 4090618025 3868688742 3101949026 1561746098 1671261874 864297594 1873254033 1207022732 3844834740 1209338797 1676433545 35098469 176832505 2899201741 1558466415 839419437 944105619 2261215519 1213771999 2116313728 2899206283 2142757949 2350782544 1557243426 3464024333 3814122613 3771386752 3915392683 2723007812 1762551727 2298312539 2799099098 1301384124 3862833946 2393356017 530196793 369237980 794562883 3773194946 609046751 1033473952 1475797580 108292589 3098729581 3574062175 2247839832 3857387131 1255403326 2676067887 973218568 3139071856 341407134 976953715 3029310560 1350139677 3589496589 2787808424 982898764 1954177597 537772924 3427784051 2637633278 3540177360 3015564236 961853280 1637669378 1257845738 2904708397 2443424381 1948053141 2848658173 3719261516 2331166708 108302262 868600477 45666055 3342068764 522934296 3980685448 3558148457 3653667624 1074300482 1376627197 1278162753 4053542253 2855020070 1320906318 3825612853 198824541 349506621 2016868883 1075065941 565185136 2591827078 1498641163 1033189199 2217864351 1295768024 261620373 3113097939 1316687992 192483721 3884670206 1888827729 958380339 2030888916 2759006811 1880494243 3339735370 3331772954 1222810208 3836311621 269234521 3258077752 4194966831 949881435 3468752249 2021411757 1073565676 60665992 2913374068 4260099935 30990552 2935230458 1568477077 3258034327 223341699 277108410 377413786 1129373008 95189154 1506727453 1440946237 4031038083 1600542090 3931391932 3852992781 3044152587 2759292730 801426791 3351527469 916337527 1281172725 3639318936 2111239096 2922072599 3569768060 1812131925 399765939 348302553 2104394888 3515987351 734453196 2336874422 2915351091 526727851 2293350012 922178667 331666395 167634756 3599928264 2892645629 2236574386 3330876530 1929453817 2642639197 1709442591 1690221526 1001639610 1915672516 1182439859 3504176549 435606796 327663732 1423936252 4002512602 1246549386 2136629203 3871124931 618974892 870918142 535865913 2285677842 449016845 3409381111 2700817434 4078051494 2325045815 2066234534 1938289397 3572682661 749335370 1216295045 2531195064 3891328387 2714990262 2930793582 1222221321 2547734669 1796033752 644515487 3206044598 1874232945 3173604820 2066415048 461925694 1240795832 586214561 3782629948 1208185280 1159060366 1294425572 182084111 32189591 1615585017 1416472685 291191802 161718300 1433393824 3893440161 3831891670 871368523 4184914646 1514916060 3057636136 1177875221 2520409522 3231944005 4120395553 1855974292 470793429 1725373560 282484789 1884489239 3726362645 1241431723 2049769634 2443358139 2317828561 1202529052 1248079012 621839757 4029068173 1102520077 255 362436" option to reproduce the execution
0.00/0.01	c #vars 321
0.00/0.01	c #constraints 160
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      213      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      205 |      100 |      213      0 |        0 |        0
0.00/0.07	c  0.1s |       2 |      551 |      250 |      235      0 |        0 |        0
0.08/0.12	c  0.1s |       3 |     1005 |      475 |      259      1 |        0 |        0
0.08/0.19	c  0.2s |       4 |     1555 |      813 |      285      2 |        0 |        0
0.19/0.29	c  0.3s |       5 |     2212 |     1320 |      314      4 |        0 |        0
0.39/0.45	c  0.4s |       6 |     3232 |     2081 |      381      7 |        0 |        0
0.69/0.70	c  0.7s |       7 |     5055 |     3223 |      420     12 |        0 |        0
0.99/1.07	c  1.1s |       8 |     7804 |     4936 |      463     17 |        0 |        0
1.39/1.47	c  1.5s |       9 |    10884 |     7506 |      510     25 |        0 |        0
1.99/2.09	c  2.1s |      10 |    15898 |    11361 |      561     35 |        0 |        0
3.09/3.10	c  3.1s |      11 |    22495 |    17144 |      618     50 |        0 |        0
4.69/4.73	c  4.7s |      12 |    32663 |    25819 |      680     71 |        0 |        0
6.69/6.73	c  6.7s |      12 |    44493 |    36219 |      680     95 |        0 |        0
7.18/7.21	c  7.2s |      13 |    47431 |    38832 |      749    101 |        0 |        0
9.19/9.23	c  9.2s |      13 |    61311 |    50532 |      749    125 |        0 |        0
10.49/10.56	c 10.5s |      14 |    71617 |    58352 |      824    142 |        0 |        0
12.49/12.57	c 12.6s |      14 |    82850 |    67652 |      824    162 |        0 |        0
14.49/14.59	c 14.6s |      14 |    93775 |    76852 |      824    181 |        0 |        0
16.50/16.60	c 16.6s |      14 |   105324 |    86352 |      824    201 |        0 |        0
16.79/16.87	c 16.9s |      15 |   106833 |    87632 |      907    203 |        0 |        0
18.80/18.88	c 18.9s |      15 |   118609 |    96432 |      907    220 |        0 |        0
20.79/20.88	c 20.9s |      15 |   128679 |   104832 |      907    236 |        0 |        0
22.79/22.89	c 22.9s |      15 |   140495 |   113832 |      907    254 |        0 |        0
24.89/24.90	c 24.9s |      15 |   150565 |   122432 |      907    270 |        0 |        0
26.89/26.92	c 26.9s |      15 |   162198 |   131332 |      998    288 |        0 |        0
26.89/26.96	c 26.9s |      16 |   162440 |   131552 |      998    288 |        0 |        0
28.89/28.96	c 28.9s |      16 |   173793 |   140252 |      998    303 |        0 |        0
30.90/30.97	c 31.0s |      16 |   183953 |   148952 |      998    319 |        0 |        0
32.89/32.99	c 33.0s |      16 |   193671 |   157652 |      998    335 |        0 |        0
34.89/34.99	c 35.0s |      16 |   203802 |   166452 |      998    351 |        0 |        0
36.99/37.00	c 37.0s |      16 |   213884 |   175352 |      998    367 |        0 |        0
38.99/39.01	c 39.0s |      16 |   224129 |   184352 |      998    384 |        0 |        0
40.99/41.02	c 41.0s |      16 |   233965 |   193152 |      998    400 |        0 |        0
41.99/42.03	c 42.0s |      17 |   238941 |   197432 |     1098    408 |        0 |        0
43.99/44.04	c 44.0s |      17 |   250416 |   206232 |     1098    422 |        0 |        0
45.99/46.04	c 46.0s |      17 |   260702 |   214632 |     1098    436 |        0 |        0
47.98/48.05	c 48.0s |      17 |   270881 |   223032 |     1098    450 |        0 |        0
49.98/50.06	c 50.0s |      17 |   281353 |   231432 |     1098    464 |        0 |        0
51.98/52.07	c 52.1s |      17 |   290259 |   239132 |     1098    477 |        0 |        0
53.99/54.08	c 54.1s |      17 |   300480 |   247232 |     1098    490 |        0 |        0
55.98/56.09	c 56.1s |      17 |   311009 |   255832 |     1098    504 |        0 |        0
57.98/58.10	c 58.1s |      17 |   320472 |   264032 |     1098    517 |        0 |        0
60.08/60.11	c 60.1s |      17 |   329848 |   271932 |     1098    530 |        0 |        0
62.08/62.13	c 62.1s |      17 |   339865 |   280132 |     1098    544 |        0 |        0
64.08/64.14	c 64.1s |      17 |   349873 |   288432 |     1098    558 |        0 |        0
65.88/65.95	c 65.9s |      18 |   359799 |   296252 |     1208    570 |        0 |        0
67.88/67.96	c 67.9s |      18 |   370512 |   305852 |     1208    584 |        0 |        0
69.88/69.98	c 70.0s |      18 |   380939 |   314152 |     1208    597 |        0 |        0
71.88/71.99	c 72.0s |      18 |   389825 |   321952 |     1208    609 |        0 |        0
73.97/74.01	c 74.0s |      18 |   399618 |   330152 |     1208    621 |        0 |        0
75.98/76.03	c 76.0s |      18 |   408941 |   338152 |     1208    633 |        0 |        0
77.97/78.05	c 78.0s |      18 |   418313 |   346152 |     1208    646 |        0 |        0
79.97/80.06	c 80.0s |      18 |   426881 |   353752 |     1208    658 |        0 |        0
81.97/82.08	c 82.1s |      18 |   436567 |   362052 |     1208    670 |        0 |        0
83.97/84.09	c 84.1s |      18 |   445684 |   370052 |     1208    683 |        0 |        0
86.08/86.12	c 86.1s |      18 |   454647 |   377852 |     1208    695 |        0 |        0
88.08/88.14	c 88.1s |      18 |   463773 |   385752 |     1208    707 |        0 |        0
90.08/90.15	c 90.1s |      18 |   472894 |   393652 |     1208    719 |        0 |        0
92.08/92.16	c 92.1s |      18 |   482198 |   401852 |     1208    732 |        0 |        0
94.08/94.17	c 94.2s |      18 |   491433 |   410052 |     1208    744 |        0 |        0
96.08/96.18	c 96.2s |      18 |   502256 |   418852 |     1208    758 |        0 |        0
98.08/98.19	c 98.2s |      18 |   513547 |   427852 |     1208    772 |        0 |        0
100.08/100.19	c  100s |      18 |   523094 |   436052 |     1208    784 |        0 |        0
102.18/102.20	c  102s |      19 |   533271 |   444482 |     1329    797 |        0 |        0
104.18/104.20	c  104s |      19 |   550261 |   453582 |     1329    810 |        0 |        0
106.17/106.23	c  106s |      19 |   563734 |   462182 |     1329    822 |        0 |        0
108.17/108.25	c  108s |      19 |   576580 |   470582 |     1329    833 |        0 |        0
110.17/110.28	c  110s |      19 |   585683 |   477982 |     1329    843 |        0 |        0
112.18/112.28	c  112s |      19 |   596628 |   485782 |     1329    854 |        0 |        0
114.17/114.29	c  114s |      19 |   609032 |   494082 |     1329    866 |        0 |        0
116.27/116.31	c  116s |      19 |   621768 |   502082 |     1329    877 |        0 |        0
118.27/118.31	c  118s |      19 |   637249 |   510882 |     1329    889 |        0 |        0
120.27/120.33	c  120s |      19 |   653234 |   519582 |     1329    901 |        0 |        0
122.27/122.34	c  122s |      19 |   663102 |   527182 |     1329    911 |        0 |        0
124.28/124.34	c  124s |      19 |   674531 |   535482 |     1329    923 |        0 |        0
126.27/126.35	c  126s |      19 |   686724 |   543782 |     1329    934 |        0 |        0
128.27/128.36	c  128s |      19 |   696914 |   551482 |     1329    945 |        0 |        0
130.27/130.37	c  130s |      19 |   708690 |   559882 |     1329    957 |        0 |        0
132.27/132.37	c  132s |      19 |   718842 |   567882 |     1329    968 |        0 |        0
134.28/134.38	c  134s |      19 |   728596 |   575282 |     1329    978 |        0 |        0
136.27/136.40	c  136s |      19 |   738714 |   582682 |     1329    988 |        0 |        0
138.37/138.41	c  138s |      19 |   748109 |   590382 |     1329    999 |        0 |        0
140.37/140.42	c  140s |      19 |   758869 |   598082 |     1329   1009 |        0 |        0
142.37/142.45	c  142s |      19 |   769381 |   605782 |     1329   1020 |        0 |        0
144.37/144.46	c  144s |      19 |   779569 |   613482 |     1329   1031 |        0 |        0
146.37/146.46	c  146s |      19 |   789880 |   620882 |     1329   1041 |        0 |        0
148.37/148.48	c  148s |      19 |   800785 |   628182 |     1329   1051 |        0 |        0
150.47/150.51	c  150s |      19 |   811232 |   635082 |     1329   1060 |        0 |        0
152.47/152.52	c  152s |      19 |   822704 |   643382 |     1329   1072 |        0 |        0
154.47/154.54	c  154s |      19 |   833107 |   651382 |     1329   1083 |        0 |        0
156.46/156.57	c  156s |      19 |   843695 |   659282 |     1329   1094 |        0 |        0
158.47/158.55	c  158s |      20 |   854515 |   666827 |     1462   1104 |        0 |        0
160.46/160.55	c  160s |      20 |   865242 |   674027 |     1462   1113 |        0 |        0
162.46/162.58	c  162s |      20 |   877197 |   681827 |     1462   1123 |        0 |        0
164.46/164.58	c  164s |      20 |   889464 |   689627 |     1462   1133 |        0 |        0
166.56/166.60	c  166s |      20 |   902126 |   697327 |     1462   1143 |        0 |        0
168.56/168.61	c  168s |      20 |   913602 |   704827 |     1462   1152 |        0 |        0
170.57/170.61	c  170s |      20 |   929427 |   712927 |     1462   1162 |        0 |        0
172.56/172.63	c  172s |      20 |   939544 |   720627 |     1462   1172 |        0 |        0
174.56/174.63	c  174s |      20 |   953206 |   728527 |     1462   1182 |        0 |        0
176.56/176.63	c  176s |      20 |   966328 |   736427 |     1462   1192 |        0 |        0
178.57/178.66	c  178s |      20 |   977942 |   744227 |     1462   1202 |        0 |        0
180.57/180.69	c  180s |      20 |   988291 |   751827 |     1462   1212 |        0 |        0
182.57/182.70	c  182s |      20 |   998539 |   759227 |     1462   1221 |        0 |        0
184.67/184.71	c  184s |      20 |  1009032 |   767127 |     1462   1231 |        0 |        0
186.67/186.73	c  186s |      20 |  1021850 |   774927 |     1462   1241 |        0 |        0
188.67/188.73	c  188s |      20 |  1033080 |   782327 |     1462   1251 |        0 |        0
190.67/190.73	c  190s |      20 |  1048346 |   790127 |     1462   1261 |        0 |        0
192.66/192.76	c  192s |      20 |  1061286 |   797727 |     1462   1270 |        0 |        0
194.67/194.79	c  194s |      20 |  1071792 |   805027 |     1462   1280 |        0 |        0
196.76/196.81	c  196s |      20 |  1082916 |   812627 |     1462   1289 |        0 |        0
198.76/198.83	c  198s |      20 |  1095736 |   820527 |     1462   1300 |        0 |        0
200.76/200.85	c  200s |      20 |  1108748 |   828527 |     1462   1310 |        0 |        0
202.76/202.85	c  202s |      20 |  1125112 |   837127 |     1462   1321 |        0 |        0
204.76/204.86	c  204s |      20 |  1136846 |   844727 |     1462   1330 |        0 |        0
206.77/206.86	c  206s |      20 |  1148387 |   852427 |     1462   1340 |        0 |        0
208.76/208.89	c  208s |      20 |  1160020 |   860227 |     1462   1350 |        0 |        0
210.86/210.90	c  210s |      20 |  1171696 |   868027 |     1462   1360 |        0 |        0
212.86/212.91	c  212s |      20 |  1184912 |   875827 |     1462   1370 |        0 |        0
214.86/214.91	c  214s |      20 |  1197554 |   883127 |     1462   1379 |        0 |        0
216.86/216.93	c  216s |      20 |  1214425 |   892027 |     1462   1391 |        0 |        0
218.87/218.94	c  218s |      20 |  1230535 |   900527 |     1462   1402 |        0 |        0
220.86/220.96	c  220s |      20 |  1243998 |   908627 |     1462   1412 |        0 |        0
222.86/222.98	c  222s |      20 |  1255004 |   916327 |     1462   1422 |        0 |        0
224.96/225.00	c  224s |      20 |  1268429 |   924327 |     1462   1432 |        0 |        0
226.96/227.01	c  226s |      20 |  1282599 |   932427 |     1462   1443 |        0 |        0
228.96/229.02	c  229s |      20 |  1295018 |   940027 |     1462   1452 |        0 |        0
230.96/231.03	c  231s |      20 |  1308285 |   947927 |     1462   1463 |        0 |        0
232.96/233.05	c  233s |      20 |  1320902 |   955927 |     1462   1473 |        0 |        0
234.96/235.06	c  235s |      20 |  1332312 |   963427 |     1462   1482 |        0 |        0
236.96/237.07	c  237s |      20 |  1342779 |   970827 |     1462   1492 |        0 |        0
238.95/239.09	c  239s |      20 |  1351902 |   977827 |     1462   1501 |        0 |        0
241.05/241.10	c  241s |      20 |  1361864 |   985227 |     1462   1510 |        0 |        0
243.06/243.10	c  243s |      20 |  1373759 |   992527 |     1462   1520 |        0 |        0
245.05/245.11	c  245s |      20 |  1386443 |  1000227 |     1609   1528 |        0 |        0
245.05/245.15	c  245s |      21 |  1386821 |  1000345 |     1609   1529 |        0 |        0
247.05/247.17	c  247s |      21 |  1399594 |  1008545 |     1609   1538 |        0 |        0
249.05/249.18	c  249s |      21 |  1410778 |  1015845 |     1609   1547 |        0 |        0
251.05/251.19	c  251s |      21 |  1423678 |  1023545 |     1609   1556 |        0 |        0
253.15/253.21	c  253s |      21 |  1434833 |  1031445 |     1609   1565 |        0 |        0
255.16/255.22	c  255s |      21 |  1446263 |  1038845 |     1609   1573 |        0 |        0
257.15/257.24	c  257s |      21 |  1459617 |  1046945 |     1609   1583 |        0 |        0
259.15/259.25	c  259s |      21 |  1471767 |  1054945 |     1609   1592 |        0 |        0
261.15/261.26	c  261s |      21 |  1484027 |  1063245 |     1609   1602 |        0 |        0
263.15/263.29	c  263s |      21 |  1494396 |  1071045 |     1609   1611 |        0 |        0
265.25/265.31	c  265s |      21 |  1504267 |  1078845 |     1609   1621 |        0 |        0
267.26/267.33	c  267s |      21 |  1515168 |  1086645 |     1609   1630 |        0 |        0
269.25/269.35	c  269s |      21 |  1524848 |  1094145 |     1609   1638 |        0 |        0
271.25/271.35	c  271s |      21 |  1533679 |  1101045 |     1609   1646 |        0 |        0
273.25/273.37	c  273s |      21 |  1544220 |  1108545 |     1609   1655 |        0 |        0
275.35/275.41	c  275s |      21 |  1554677 |  1116145 |     1609   1664 |        0 |        0
277.35/277.41	c  277s |      21 |  1565076 |  1123545 |     1609   1673 |        0 |        0
279.35/279.42	c  279s |      21 |  1575849 |  1131145 |     1609   1682 |        0 |        0
281.35/281.44	c  281s |      21 |  1587045 |  1138845 |     1609   1691 |        0 |        0
283.35/283.46	c  283s |      21 |  1597068 |  1146345 |     1609   1700 |        0 |        0
285.35/285.49	c  285s |      21 |  1606927 |  1153645 |     1609   1709 |        0 |        0
287.44/287.52	c  287s |      21 |  1618569 |  1161545 |     1609   1718 |        0 |        0
289.44/289.54	c  289s |      21 |  1630411 |  1169145 |     1609   1727 |        0 |        0
291.45/291.56	c  291s |      21 |  1642022 |  1176345 |     1609   1735 |        0 |        0
293.45/293.58	c  293s |      21 |  1654589 |  1184245 |     1609   1744 |        0 |        0
295.45/295.58	c  295s |      21 |  1665529 |  1192145 |     1609   1754 |        0 |        0
297.55/297.60	c  297s |      21 |  1677836 |  1200245 |     1609   1763 |        0 |        0
299.55/299.61	c  299s |      21 |  1689183 |  1208145 |     1609   1772 |        0 |        0
301.55/301.61	c  301s |      21 |  1700590 |  1216245 |     1609   1782 |        0 |        0
303.55/303.62	c  303s |      21 |  1713353 |  1224545 |     1609   1792 |        0 |        0
305.55/305.63	c  305s |      21 |  1727840 |  1232745 |     1609   1801 |        0 |        0
307.55/307.64	c  307s |      21 |  1742328 |  1241045 |     1609   1811 |        0 |        0
309.54/309.66	c  309s |      21 |  1752825 |  1248345 |     1609   1820 |        0 |        0
311.54/311.69	c  311s |      21 |  1763719 |  1256145 |     1609   1829 |        0 |        0
313.64/313.70	c  313s |      21 |  1775702 |  1263845 |     1609   1838 |        0 |        0
315.65/315.70	c  315s |      21 |  1785772 |  1271445 |     1609   1847 |        0 |        0
317.64/317.71	c  317s |      21 |  1795326 |  1279045 |     1609   1856 |        0 |        0
319.64/319.71	c  319s |      21 |  1806669 |  1287245 |     1609   1866 |        0 |        0
321.64/321.74	c  321s |      21 |  1819208 |  1296045 |     1609   1876 |        0 |        0
323.64/323.77	c  323s |      21 |  1828766 |  1303645 |     1609   1885 |        0 |        0
325.65/325.79	c  325s |      21 |  1837965 |  1311245 |     1609   1893 |        0 |        0
327.64/327.80	c  327s |      21 |  1848856 |  1319645 |     1609   1903 |        0 |        0
329.74/329.81	c  329s |      21 |  1859825 |  1327845 |     1609   1913 |        0 |        0
331.74/331.83	c  331s |      21 |  1869026 |  1335445 |     1609   1922 |        0 |        0
333.74/333.85	c  333s |      21 |  1877966 |  1342845 |     1609   1930 |        0 |        0
335.74/335.87	c  335s |      21 |  1891829 |  1351045 |     1609   1940 |        0 |        0
337.74/337.89	c  337s |      21 |  1901243 |  1358245 |     1609   1948 |        0 |        0
339.74/339.90	c  339s |      21 |  1910419 |  1365845 |     1609   1957 |        0 |        0
341.84/341.91	c  341s |      21 |  1918123 |  1372545 |     1609   1965 |        0 |        0
343.84/343.91	c  343s |      21 |  1926363 |  1379345 |     1609   1973 |        0 |        0
345.84/345.93	c  345s |      21 |  1933906 |  1386145 |     1609   1981 |        0 |        0
347.84/347.95	c  347s |      21 |  1943458 |  1394045 |     1609   1990 |        0 |        0
349.84/349.98	c  349s |      21 |  1952336 |  1401545 |     1609   1999 |        0 |        0
351.83/351.99	c  351s |      21 |  1960612 |  1408445 |     1609   2007 |        0 |        0
353.83/353.99	c  353s |      21 |  1967651 |  1414445 |     1609   2014 |        0 |        0
355.93/356.00	c  355s |      21 |  1976099 |  1420945 |     1609   2021 |        0 |        0
357.93/358.00	c  357s |      21 |  1984144 |  1427645 |     1609   2029 |        0 |        0
359.93/360.02	c  360s |      21 |  1992252 |  1434245 |     1609   2037 |        0 |        0
361.94/362.04	c  362s |      21 |  2000417 |  1440945 |     1609   2045 |        0 |        0
363.93/364.05	c  364s |      21 |  2008350 |  1447645 |     1609   2052 |        0 |        0
365.93/366.07	c  366s |      21 |  2017151 |  1454545 |     1609   2061 |        0 |        0
367.93/368.08	c  368s |      21 |  2026197 |  1462045 |     1609   2069 |        0 |        0
369.93/370.08	c  370s |      21 |  2037764 |  1470045 |     1609   2079 |        0 |        0
372.03/372.10	c  372s |      21 |  2048712 |  1478145 |     1609   2088 |        0 |        0
374.04/374.10	c  374s |      21 |  2059464 |  1485545 |     1609   2097 |        0 |        0
376.03/376.13	c  376s |      21 |  2070776 |  1493145 |     1770   2105 |        0 |        0
378.03/378.13	c  378s |      21 |  2080987 |  1500045 |     1770   2113 |        0 |        0
378.13/378.28	c  378s |      22 |  2081691 |  1500622 |     1770   2113 |        0 |        0
380.14/380.29	c  380s |      22 |  2092586 |  1508122 |     1770   2121 |        0 |        0
382.24/382.30	c  382s |      22 |  2103813 |  1515622 |     1770   2129 |        0 |        0
384.24/384.30	c  384s |      22 |  2114723 |  1523022 |     1770   2137 |        0 |        0
386.24/386.31	c  386s |      22 |  2123609 |  1530122 |     1770   2145 |        0 |        0
388.24/388.33	c  388s |      22 |  2133871 |  1537322 |     1770   2152 |        0 |        0
390.23/390.36	c  390s |      22 |  2144900 |  1544622 |     1770   2160 |        0 |        0
392.23/392.38	c  392s |      22 |  2152735 |  1551122 |     1770   2167 |        0 |        0
394.33/394.41	c  394s |      22 |  2162495 |  1558222 |     1770   2175 |        0 |        0
396.33/396.43	c  396s |      22 |  2173181 |  1565722 |     1770   2183 |        0 |        0
398.33/398.43	c  398s |      22 |  2182795 |  1573222 |     1770   2191 |        0 |        0
400.34/400.45	c  400s |      22 |  2192611 |  1580522 |     1770   2199 |        0 |        0
402.33/402.45	c  402s |      22 |  2201480 |  1587222 |     1770   2206 |        0 |        0
404.33/404.46	c  404s |      22 |  2210330 |  1594022 |     1770   2213 |        0 |        0
406.33/406.46	c  406s |      22 |  2218293 |  1600822 |     1770   2221 |        0 |        0
408.33/408.48	c  408s |      22 |  2227192 |  1607822 |     1770   2228 |        0 |        0
410.43/410.50	c  410s |      22 |  2235008 |  1614222 |     1770   2235 |        0 |        0
412.44/412.53	c  412s |      22 |  2245281 |  1621622 |     1770   2243 |        0 |        0
414.43/414.55	c  414s |      22 |  2255173 |  1628322 |     1770   2250 |        0 |        0
416.43/416.55	c  416s |      22 |  2264040 |  1635122 |     1770   2257 |        0 |        0
418.43/418.58	c  418s |      22 |  2275333 |  1642822 |     1770   2265 |        0 |        0
420.43/420.58	c  420s |      22 |  2284395 |  1649722 |     1770   2273 |        0 |        0
422.53/422.60	c  422s |      22 |  2293239 |  1656422 |     1770   2280 |        0 |        0
424.43/424.60	c  424s |      22 |  2302241 |  1663222 |     1770   2287 |        0 |        0
426.53/426.62	c  426s |      22 |  2310312 |  1669722 |     1770   2294 |        0 |        0
428.53/428.65	c  428s |      22 |  2319205 |  1676522 |     1770   2301 |        0 |        0
430.53/430.67	c  430s |      22 |  2327460 |  1683322 |     1770   2308 |        0 |        0
432.63/432.70	c  432s |      22 |  2335881 |  1690222 |     1770   2316 |        0 |        0
434.62/434.72	c  434s |      22 |  2345021 |  1697322 |     1770   2323 |        0 |        0
436.63/436.73	c  436s |      22 |  2354010 |  1704022 |     1770   2330 |        0 |        0
438.62/438.75	c  438s |      22 |  2362416 |  1710622 |     1770   2337 |        0 |        0
440.62/440.77	c  440s |      22 |  2370995 |  1717522 |     1770   2345 |        0 |        0
442.62/442.78	c  442s |      22 |  2379497 |  1724522 |     1770   2352 |        0 |        0
444.72/444.80	c  444s |      22 |  2387206 |  1731222 |     1770   2359 |        0 |        0
446.72/446.83	c  446s |      22 |  2394707 |  1737622 |     1770   2366 |        0 |        0
448.73/448.85	c  448s |      22 |  2402223 |  1743922 |     1770   2373 |        0 |        0
450.72/450.86	c  450s |      22 |  2410587 |  1750622 |     1770   2380 |        0 |        0
452.72/452.87	c  452s |      22 |  2418799 |  1757322 |     1770   2387 |        0 |        0
454.72/454.87	c  454s |      22 |  2426739 |  1763622 |     1770   2393 |        0 |        0
456.82/456.90	c  456s |      22 |  2434542 |  1770122 |     1770   2400 |        0 |        0
458.82/458.90	c  458s |      22 |  2441822 |  1775922 |     1770   2407 |        0 |        0
460.83/460.93	c  460s |      22 |  2449536 |  1781822 |     1770   2413 |        0 |        0
462.82/462.94	c  462s |      22 |  2457541 |  1788322 |     1770   2420 |        0 |        0
464.82/464.97	c  464s |      22 |  2464636 |  1794122 |     1770   2426 |        0 |        0
466.82/466.99	c  466s |      22 |  2471920 |  1799922 |     1770   2432 |        0 |        0
468.92/469.00	c  468s |      22 |  2480957 |  1807022 |     1770   2440 |        0 |        0
470.92/471.01	c  470s |      22 |  2489375 |  1813622 |     1770   2447 |        0 |        0
472.92/473.02	c  473s |      22 |  2498035 |  1820022 |     1770   2454 |        0 |        0
474.91/475.05	c  475s |      22 |  2506909 |  1826422 |     1770   2461 |        0 |        0
476.91/477.06	c  477s |      22 |  2516045 |  1832922 |     1770   2468 |        0 |        0
478.91/479.07	c  479s |      22 |  2523902 |  1839422 |     1770   2474 |        0 |        0
480.91/481.09	c  481s |      22 |  2531017 |  1845322 |     1770   2481 |        0 |        0
483.01/483.11	c  483s |      22 |  2539624 |  1852122 |     1770   2488 |        0 |        0
485.02/485.12	c  485s |      22 |  2548819 |  1859322 |     1770   2496 |        0 |        0
487.01/487.15	c  487s |      22 |  2558155 |  1867022 |     1770   2504 |        0 |        0
489.01/489.17	c  489s |      22 |  2566377 |  1874122 |     1770   2511 |        0 |        0
491.11/491.20	c  491s |      22 |  2575906 |  1881522 |     1770   2519 |        0 |        0
493.11/493.20	c  493s |      22 |  2584100 |  1888122 |     1770   2526 |        0 |        0
495.11/495.24	c  495s |      22 |  2592062 |  1894922 |     1770   2534 |        0 |        0
497.12/497.26	c  497s |      22 |  2601472 |  1901922 |     1770   2541 |        0 |        0
499.21/499.30	c  499s |      22 |  2610246 |  1909022 |     1770   2549 |        0 |        0
501.21/501.31	c  501s |      22 |  2620374 |  1916922 |     1770   2557 |        0 |        0
503.21/503.34	c  503s |      22 |  2630095 |  1924622 |     1770   2565 |        0 |        0
505.21/505.35	c  505s |      22 |  2637861 |  1931122 |     1770   2572 |        0 |        0
507.21/507.36	c  507s |      22 |  2646053 |  1937722 |     1770   2579 |        0 |        0
509.22/509.38	c  509s |      22 |  2654545 |  1944622 |     1770   2586 |        0 |        0
511.31/511.40	c  511s |      22 |  2663198 |  1951722 |     1770   2594 |        0 |        0
513.31/513.42	c  513s |      22 |  2671616 |  1958622 |     1770   2601 |        0 |        0
515.31/515.43	c  515s |      22 |  2679822 |  1965422 |     1770   2608 |        0 |        0
517.31/517.46	c  517s |      22 |  2687641 |  1972122 |     1770   2615 |        0 |        0
519.31/519.47	c  519s |      22 |  2696349 |  1979122 |     1770   2623 |        0 |        0
521.31/521.49	c  521s |      22 |  2703765 |  1985622 |     1770   2630 |        0 |        0
523.41/523.51	c  523s |      22 |  2711430 |  1991922 |     1770   2637 |        0 |        0
525.41/525.53	c  525s |      22 |  2718684 |  1998022 |     1770   2643 |        0 |        0
527.41/527.57	c  527s |      22 |  2726675 |  2004922 |     1770   2651 |        0 |        0
529.51/529.60	c  529s |      22 |  2734282 |  2011422 |     1770   2658 |        0 |        0
531.51/531.60	c  531s |      22 |  2741176 |  2017422 |     1770   2664 |        0 |        0
533.52/533.62	c  533s |      22 |  2748166 |  2023622 |     1770   2670 |        0 |        0
535.51/535.63	c  535s |      22 |  2755362 |  2029922 |     1770   2677 |        0 |        0
537.51/537.65	c  537s |      22 |  2763059 |  2036222 |     1770   2684 |        0 |        0
539.51/539.66	c  539s |      22 |  2770250 |  2042222 |     1770   2690 |        0 |        0
541.51/541.69	c  541s |      22 |  2777083 |  2048022 |     1770   2696 |        0 |        0
543.51/543.69	c  543s |      22 |  2784154 |  2054022 |     1770   2702 |        0 |        0
545.61/545.72	c  545s |      22 |  2790765 |  2059722 |     1770   2708 |        0 |        0
547.61/547.73	c  547s |      22 |  2799992 |  2066722 |     1770   2716 |        0 |        0
549.61/549.73	c  549s |      22 |  2807962 |  2073522 |     1770   2723 |        0 |        0
551.60/551.75	c  551s |      22 |  2816360 |  2080122 |     1770   2730 |        0 |        0
553.60/553.78	c  553s |      22 |  2823409 |  2086322 |     1770   2737 |        0 |        0
555.60/555.79	c  555s |      22 |  2831651 |  2092922 |     1770   2744 |        0 |        0
557.71/557.82	c  557s |      22 |  2839755 |  2099322 |     1770   2751 |        0 |        0
559.70/559.84	c  559s |      22 |  2847104 |  2105522 |     1770   2758 |        0 |        0
561.70/561.85	c  561s |      22 |  2855053 |  2112322 |     1770   2765 |        0 |        0
563.70/563.87	c  563s |      22 |  2862363 |  2118622 |     1770   2772 |        0 |        0
565.70/565.89	c  565s |      22 |  2871341 |  2125922 |     1770   2779 |        0 |        0
567.70/567.89	c  567s |      22 |  2880548 |  2133422 |     1770   2787 |        0 |        0
569.71/569.89	c  569s |      22 |  2889263 |  2140822 |     1770   2795 |        0 |        0
571.80/571.90	c  571s |      22 |  2898590 |  2148322 |     1770   2803 |        0 |        0
573.80/573.90	c  573s |      22 |  2907390 |  2155822 |     1770   2811 |        0 |        0
575.80/575.93	c  575s |      22 |  2917039 |  2163522 |     1770   2820 |        0 |        0
577.80/577.96	c  577s |      22 |  2926153 |  2171022 |     1770   2828 |        0 |        0
579.80/579.96	c  579s |      22 |  2935646 |  2178722 |     1770   2836 |        0 |        0
581.81/581.97	c  581s |      22 |  2944655 |  2186322 |     1770   2844 |        0 |        0
583.81/583.99	c  583s |      22 |  2954018 |  2193822 |     1770   2852 |        0 |        0
585.81/585.99	c  585s |      22 |  2963094 |  2201322 |     1770   2860 |        0 |        0
587.80/587.99	c  587s |      22 |  2971914 |  2208922 |     1770   2868 |        0 |        0
589.90/590.00	c  589s |      22 |  2980925 |  2216522 |     1770   2876 |        0 |        0
591.90/592.01	c  591s |      22 |  2989762 |  2223922 |     1770   2884 |        0 |        0
593.91/594.02	c  594s |      22 |  2998587 |  2231722 |     1770   2892 |        0 |        0
595.90/596.04	c  596s |      22 |  3007752 |  2239022 |     1948   2900 |        0 |        0
597.90/598.07	c  598s |      22 |  3016181 |  2246322 |     1948   2907 |        0 |        0
599.30/599.44	c  599s |      23 |  3021478 |  2251038 |     1948   2911 |        0 |        0
601.30/601.46	c  601s |      23 |  3030499 |  2257638 |     1948   2918 |        0 |        0
603.30/603.47	c  603s |      23 |  3038824 |  2264138 |     1948   2924 |        0 |        0
605.30/605.49	c  605s |      23 |  3047460 |  2270838 |     1948   2930 |        0 |        0
607.30/607.49	c  607s |      23 |  3054748 |  2277138 |     1948   2936 |        0 |        0
609.41/609.50	c  609s |      23 |  3063341 |  2284138 |     1948   2943 |        0 |        0
611.40/611.51	c  611s |      23 |  3071473 |  2290838 |     1948   2949 |        0 |        0
613.40/613.54	c  613s |      23 |  3079193 |  2297238 |     1948   2956 |        0 |        0
615.40/615.54	c  615s |      23 |  3086956 |  2303538 |     1948   2962 |        0 |        0
617.40/617.54	c  617s |      23 |  3095046 |  2310038 |     1948   2968 |        0 |        0
619.40/619.56	c  619s |      23 |  3102740 |  2316538 |     1948   2974 |        0 |        0
621.40/621.57	c  621s |      23 |  3110193 |  2322838 |     1948   2980 |        0 |        0
623.40/623.59	c  623s |      23 |  3118748 |  2329338 |     1948   2986 |        0 |        0
625.50/625.62	c  625s |      23 |  3126921 |  2335838 |     1948   2992 |        0 |        0
627.50/627.64	c  627s |      23 |  3135135 |  2342438 |     1948   2999 |        0 |        0
629.50/629.64	c  629s |      23 |  3143278 |  2348738 |     1948   3005 |        0 |        0
631.50/631.67	c  631s |      23 |  3153163 |  2355838 |     1948   3012 |        0 |        0
633.50/633.68	c  633s |      23 |  3162552 |  2362938 |     1948   3019 |        0 |        0
635.49/635.69	c  635s |      23 |  3171554 |  2369938 |     1948   3025 |        0 |        0
637.59/637.72	c  637s |      23 |  3180756 |  2376738 |     1948   3032 |        0 |        0
639.59/639.72	c  639s |      23 |  3189545 |  2383738 |     1948   3039 |        0 |        0
641.59/641.73	c  641s |      23 |  3199186 |  2390738 |     1948   3045 |        0 |        0
643.59/643.75	c  643s |      23 |  3206683 |  2396838 |     1948   3051 |        0 |        0
645.60/645.76	c  645s |      23 |  3217472 |  2403538 |     1948   3058 |        0 |        0
647.59/647.77	c  647s |      23 |  3225869 |  2409838 |     1948   3064 |        0 |        0
649.69/649.80	c  649s |      23 |  3234875 |  2416238 |     1948   3070 |        0 |        0
651.69/651.81	c  651s |      23 |  3243530 |  2422338 |     1948   3076 |        0 |        0
653.69/653.84	c  653s |      23 |  3252373 |  2428438 |     1948   3082 |        0 |        0
655.69/655.86	c  655s |      23 |  3261930 |  2434638 |     1948   3088 |        0 |        0
657.69/657.88	c  657s |      23 |  3270605 |  2441138 |     1948   3094 |        0 |        0
659.69/659.88	c  659s |      23 |  3279799 |  2448038 |     1948   3101 |        0 |        0
661.69/661.88	c  661s |      23 |  3290702 |  2454738 |     1948   3107 |        0 |        0
663.69/663.88	c  663s |      23 |  3299740 |  2461338 |     1948   3114 |        0 |        0
665.78/665.90	c  665s |      23 |  3310241 |  2468138 |     1948   3120 |        0 |        0
667.78/667.91	c  667s |      23 |  3318962 |  2474738 |     1948   3127 |        0 |        0
669.79/669.92	c  669s |      23 |  3328940 |  2481738 |     1948   3134 |        0 |        0
671.78/671.92	c  671s |      23 |  3336982 |  2488138 |     1948   3140 |        0 |        0
673.78/673.93	c  673s |      23 |  3345468 |  2494838 |     1948   3146 |        0 |        0
675.79/675.94	c  675s |      23 |  3354356 |  2501538 |     1948   3153 |        0 |        0
677.79/677.96	c  677s |      23 |  3362579 |  2508038 |     1948   3159 |        0 |        0
679.80/679.96	c  679s |      23 |  3372540 |  2515038 |     1948   3166 |        0 |        0
681.79/681.99	c  681s |      23 |  3383480 |  2522138 |     1948   3173 |        0 |        0
683.89/684.01	c  683s |      23 |  3391956 |  2528438 |     1948   3179 |        0 |        0
685.89/686.03	c  686s |      23 |  3400571 |  2534738 |     1948   3185 |        0 |        0
687.89/688.05	c  688s |      23 |  3410256 |  2541338 |     1948   3191 |        0 |        0
689.89/690.06	c  690s |      23 |  3419993 |  2548038 |     1948   3198 |        0 |        0
691.89/692.08	c  692s |      23 |  3430798 |  2555038 |     1948   3204 |        0 |        0
693.99/694.12	c  694s |      23 |  3438970 |  2561438 |     1948   3211 |        0 |        0
695.99/696.15	c  696s |      23 |  3446245 |  2567338 |     1948   3216 |        0 |        0
697.99/698.15	c  698s |      23 |  3453453 |  2573338 |     1948   3222 |        0 |        0
699.99/700.18	c  700s |      23 |  3461073 |  2579338 |     1948   3228 |        0 |        0
701.99/702.19	c  702s |      23 |  3469426 |  2585538 |     1948   3234 |        0 |        0
704.09/704.20	c  704s |      23 |  3478606 |  2592238 |     1948   3240 |        0 |        0
706.09/706.22	c  706s |      23 |  3487054 |  2598838 |     1948   3246 |        0 |        0
708.08/708.22	c  708s |      23 |  3495104 |  2605238 |     1948   3253 |        0 |        0
710.08/710.24	c  710s |      23 |  3501922 |  2611038 |     1948   3258 |        0 |        0
712.08/712.28	c  712s |      23 |  3508791 |  2616938 |     1948   3264 |        0 |        0
714.08/714.28	c  714s |      23 |  3516500 |  2623038 |     1948   3270 |        0 |        0
716.09/716.29	c  716s |      23 |  3523521 |  2629038 |     1948   3276 |        0 |        0
718.08/718.30	c  718s |      23 |  3530441 |  2634938 |     1948   3281 |        0 |        0
720.18/720.32	c  720s |      23 |  3538104 |  2640938 |     1948   3287 |        0 |        0
722.18/722.33	c  722s |      23 |  3546082 |  2647238 |     1948   3293 |        0 |        0
724.18/724.35	c  724s |      23 |  3555306 |  2653738 |     1948   3300 |        0 |        0
726.18/726.37	c  726s |      23 |  3564809 |  2660538 |     1948   3306 |        0 |        0
728.18/728.38	c  728s |      23 |  3573500 |  2666738 |     1948   3312 |        0 |        0
730.17/730.39	c  730s |      23 |  3580175 |  2672238 |     1948   3318 |        0 |        0
732.27/732.41	c  732s |      23 |  3586466 |  2677538 |     1948   3323 |        0 |        0
734.27/734.41	c  734s |      23 |  3594227 |  2683938 |     1948   3329 |        0 |        0
736.27/736.42	c  736s |      23 |  3602136 |  2690138 |     1948   3335 |        0 |        0
738.27/738.42	c  738s |      23 |  3608922 |  2695938 |     1948   3341 |        0 |        0
740.27/740.44	c  740s |      23 |  3616190 |  2702038 |     1948   3347 |        0 |        0
742.27/742.47	c  742s |      23 |  3624600 |  2708638 |     1948   3353 |        0 |        0
744.27/744.47	c  744s |      23 |  3633158 |  2715238 |     1948   3359 |        0 |        0
746.27/746.48	c  746s |      23 |  3641862 |  2722138 |     1948   3366 |        0 |        0
748.37/748.50	c  748s |      23 |  3650000 |  2728538 |     1948   3372 |        0 |        0
750.36/750.52	c  750s |      23 |  3658011 |  2734938 |     1948   3378 |        0 |        0
752.37/752.53	c  752s |      23 |  3666704 |  2741538 |     1948   3385 |        0 |        0
754.36/754.54	c  754s |      23 |  3674560 |  2747738 |     1948   3391 |        0 |        0
756.36/756.57	c  756s |      23 |  3682099 |  2753638 |     1948   3396 |        0 |        0
758.36/758.57	c  758s |      23 |  3689563 |  2759638 |     1948   3402 |        0 |        0
760.36/760.58	c  760s |      23 |  3698638 |  2766138 |     1948   3409 |        0 |        0
762.36/762.59	c  762s |      23 |  3707205 |  2772238 |     1948   3414 |        0 |        0
764.36/764.59	c  764s |      23 |  3714829 |  2778038 |     1948   3420 |        0 |        0
766.45/766.62	c  766s |      23 |  3721977 |  2783938 |     1948   3426 |        0 |        0
768.45/768.64	c  768s |      23 |  3729982 |  2790138 |     1948   3432 |        0 |        0
770.45/770.65	c  770s |      23 |  3739026 |  2796538 |     1948   3438 |        0 |        0
772.45/772.68	c  772s |      23 |  3747689 |  2802838 |     1948   3444 |        0 |        0
774.55/774.71	c  774s |      23 |  3756542 |  2809238 |     1948   3450 |        0 |        0
776.56/776.74	c  776s |      23 |  3765131 |  2815638 |     1948   3457 |        0 |        0
778.55/778.77	c  778s |      23 |  3773741 |  2821738 |     1948   3462 |        0 |        0
780.55/780.78	c  780s |      23 |  3782385 |  2827938 |     1948   3468 |        0 |        0
782.65/782.80	c  782s |      23 |  3790809 |  2834138 |     1948   3475 |        0 |        0
784.64/784.81	c  784s |      23 |  3798453 |  2840438 |     1948   3481 |        0 |        0
786.64/786.83	c  786s |      23 |  3806593 |  2847038 |     1948   3487 |        0 |        0
788.65/788.84	c  788s |      23 |  3814176 |  2853238 |     1948   3493 |        0 |        0
790.64/790.84	c  790s |      23 |  3821368 |  2859238 |     1948   3499 |        0 |        0
792.64/792.85	c  792s |      23 |  3829335 |  2865538 |     1948   3505 |        0 |        0
794.64/794.88	c  794s |      23 |  3837251 |  2871938 |     1948   3511 |        0 |        0
796.64/796.88	c  796s |      23 |  3845798 |  2878438 |     1948   3517 |        0 |        0
798.74/798.90	c  798s |      23 |  3854659 |  2885338 |     1948   3524 |        0 |        0
800.74/800.93	c  800s |      23 |  3862705 |  2891838 |     1948   3530 |        0 |        0
802.73/802.95	c  802s |      23 |  3871347 |  2898238 |     1948   3536 |        0 |        0
804.74/804.96	c  804s |      23 |  3879607 |  2904538 |     1948   3543 |        0 |        0
806.74/806.96	c  806s |      23 |  3888048 |  2910938 |     1948   3549 |        0 |        0
808.74/808.97	c  808s |      23 |  3896543 |  2917638 |     1948   3555 |        0 |        0
810.73/810.99	c  810s |      23 |  3906186 |  2924538 |     1948   3562 |        0 |        0
812.74/813.00	c  812s |      23 |  3914689 |  2930638 |     1948   3568 |        0 |        0
814.83/815.03	c  815s |      23 |  3921633 |  2936538 |     1948   3573 |        0 |        0
816.83/817.04	c  817s |      23 |  3928970 |  2942638 |     1948   3579 |        0 |        0
818.83/819.06	c  819s |      23 |  3936022 |  2948938 |     1948   3585 |        0 |        0
820.83/821.07	c  821s |      23 |  3943183 |  2955138 |     1948   3591 |        0 |        0
822.93/823.10	c  823s |      23 |  3950060 |  2961138 |     1948   3597 |        0 |        0
824.83/825.10	c  825s |      23 |  3959242 |  2967838 |     1948   3603 |        0 |        0
826.93/827.12	c  827s |      23 |  3967483 |  2974038 |     1948   3609 |        0 |        0
828.93/829.13	c  829s |      23 |  3975949 |  2980538 |     1948   3616 |        0 |        0
830.92/831.16	c  831s |      23 |  3985595 |  2987638 |     1948   3623 |        0 |        0
832.92/833.18	c  833s |      23 |  3994147 |  2994338 |     1948   3629 |        0 |        0
835.02/835.21	c  835s |      23 |  4002912 |  3001038 |     1948   3635 |        0 |        0
837.03/837.23	c  837s |      23 |  4011654 |  3007938 |     1948   3642 |        0 |        0
839.02/839.26	c  839s |      23 |  4020296 |  3014838 |     1948   3649 |        0 |        0
841.02/841.28	c  841s |      23 |  4028812 |  3021738 |     1948   3655 |        0 |        0
843.12/843.30	c  843s |      23 |  4037627 |  3028638 |     1948   3662 |        0 |        0
845.12/845.33	c  845s |      23 |  4045637 |  3035338 |     1948   3669 |        0 |        0
847.12/847.34	c  847s |      23 |  4054154 |  3042038 |     1948   3675 |        0 |        0
849.12/849.37	c  849s |      23 |  4062958 |  3048838 |     1948   3682 |        0 |        0
851.11/851.37	c  851s |      23 |  4071221 |  3055438 |     1948   3688 |        0 |        0
853.11/853.38	c  853s |      23 |  4080654 |  3062638 |     1948   3695 |        0 |        0
855.21/855.40	c  855s |      23 |  4089550 |  3069438 |     1948   3702 |        0 |        0
857.21/857.42	c  857s |      23 |  4097774 |  3076338 |     1948   3708 |        0 |        0
859.20/859.42	c  859s |      23 |  4106095 |  3083238 |     1948   3715 |        0 |        0
861.21/861.43	c  861s |      23 |  4114474 |  3090138 |     1948   3722 |        0 |        0
863.20/863.46	c  863s |      23 |  4123454 |  3096938 |     1948   3728 |        0 |        0
865.20/865.48	c  865s |      23 |  4131043 |  3103338 |     1948   3734 |        0 |        0
867.20/867.49	c  867s |      23 |  4139061 |  3109638 |     1948   3741 |        0 |        0
869.30/869.51	c  869s |      23 |  4146969 |  3115838 |     1948   3747 |        0 |        0
871.30/871.52	c  871s |      23 |  4154614 |  3121838 |     1948   3752 |        0 |        0
873.30/873.54	c  873s |      23 |  4162245 |  3127738 |     1948   3758 |        0 |        0
875.29/875.54	c  875s |      23 |  4170781 |  3134138 |     1948   3764 |        0 |        0
877.29/877.54	c  877s |      23 |  4179080 |  3140538 |     1948   3770 |        0 |        0
879.29/879.54	c  879s |      23 |  4188335 |  3147238 |     1948   3777 |        0 |        0
881.29/881.57	c  881s |      23 |  4196218 |  3153638 |     1948   3783 |        0 |        0
883.29/883.58	c  883s |      23 |  4204345 |  3160238 |     1948   3790 |        0 |        0
885.30/885.60	c  885s |      23 |  4213168 |  3166838 |     1948   3796 |        0 |        0
887.39/887.61	c  887s |      23 |  4220931 |  3173238 |     1948   3802 |        0 |        0
889.39/889.64	c  889s |      23 |  4228490 |  3179638 |     1948   3808 |        0 |        0
891.39/891.66	c  891s |      23 |  4236544 |  3186038 |     1948   3814 |        0 |        0
893.39/893.67	c  893s |      23 |  4243926 |  3192238 |     1948   3820 |        0 |        0
895.38/895.69	c  895s |      23 |  4251044 |  3198538 |     1948   3827 |        0 |        0
897.39/897.70	c  897s |      23 |  4258492 |  3204938 |     1948   3833 |        0 |        0
899.48/899.72	c  899s |      23 |  4266581 |  3211638 |     1948   3839 |        0 |        0
901.48/901.76	c  901s |      23 |  4274431 |  3218238 |     1948   3846 |        0 |        0
903.48/903.78	c  903s |      23 |  4281868 |  3224638 |     1948   3852 |        0 |        0
905.58/905.81	c  905s |      23 |  4289089 |  3230938 |     1948   3858 |        0 |        0
907.58/907.81	c  907s |      23 |  4297170 |  3237438 |     1948   3864 |        0 |        0
909.58/909.84	c  909s |      23 |  4304485 |  3243838 |     1948   3870 |        0 |        0
911.57/911.84	c  911s |      23 |  4311621 |  3250038 |     1948   3876 |        0 |        0
913.57/913.85	c  913s |      23 |  4319164 |  3256338 |     1948   3882 |        0 |        0
915.57/915.86	c  915s |      23 |  4327262 |  3263138 |     1948   3889 |        0 |        0
917.57/917.88	c  917s |      23 |  4334806 |  3269538 |     1948   3895 |        0 |        0
919.57/919.89	c  919s |      23 |  4341463 |  3275538 |     1948   3901 |        0 |        0
921.67/921.92	c  921s |      23 |  4349237 |  3282238 |     1948   3907 |        0 |        0
923.67/923.93	c  923s |      23 |  4356497 |  3288638 |     1948   3914 |        0 |        0
925.67/925.95	c  925s |      23 |  4365074 |  3295238 |     1948   3920 |        0 |        0
927.67/927.98	c  927s |      23 |  4371858 |  3301138 |     1948   3926 |        0 |        0
929.67/929.98	c  929s |      23 |  4378900 |  3307338 |     1948   3932 |        0 |        0
931.67/931.99	c  931s |      23 |  4386300 |  3313638 |     1948   3938 |        0 |        0
933.78/934.02	c  933s |      23 |  4393738 |  3320238 |     1948   3945 |        0 |        0
935.77/936.03	c  936s |      23 |  4401219 |  3326838 |     1948   3951 |        0 |        0
937.77/938.06	c  938s |      23 |  4409182 |  3333538 |     1948   3958 |        0 |        0
939.76/940.06	c  940s |      23 |  4416189 |  3339738 |     1948   3964 |        0 |        0
941.76/942.08	c  942s |      23 |  4423283 |  3345938 |     1948   3970 |        0 |        0
943.86/944.11	c  944s |      23 |  4431364 |  3352738 |     2143   3976 |        0 |        0
945.87/946.14	c  946s |      23 |  4439201 |  3359338 |     2143   3982 |        0 |        0
947.86/948.16	c  948s |      23 |  4446850 |  3365738 |     2143   3988 |        0 |        0
949.86/950.16	c  950s |      23 |  4455767 |  3372538 |     2143   3994 |        0 |        0
951.16/951.46	c  951s |      24 |  4460626 |  3376662 |     2143   3998 |        0 |        0
953.16/953.48	c  953s |      24 |  4472485 |  3384462 |     2143   4005 |        0 |        0
955.16/955.49	c  955s |      24 |  4481419 |  3391562 |     2143   4011 |        0 |        0
957.26/957.50	c  957s |      24 |  4491115 |  3398762 |     2143   4017 |        0 |        0
959.25/959.51	c  959s |      24 |  4500397 |  3405862 |     2143   4024 |        0 |        0
961.26/961.54	c  961s |      24 |  4510663 |  3412962 |     2143   4030 |        0 |        0
963.25/963.54	c  963s |      24 |  4519974 |  3419762 |     2143   4036 |        0 |        0
965.25/965.54	c  965s |      24 |  4529518 |  3426662 |     2143   4042 |        0 |        0
967.25/967.55	c  967s |      24 |  4539393 |  3433462 |     2143   4048 |        0 |        0
969.25/969.55	c  969s |      24 |  4549653 |  3440662 |     2143   4054 |        0 |        0
971.25/971.58	c  971s |      24 |  4560531 |  3448062 |     2143   4061 |        0 |        0
973.25/973.59	c  973s |      24 |  4570996 |  3455162 |     2143   4067 |        0 |        0
975.34/975.61	c  975s |      24 |  4581671 |  3462262 |     2143   4073 |        0 |        0
977.34/977.63	c  977s |      24 |  4591303 |  3469262 |     2143   4080 |        0 |        0
979.34/979.64	c  979s |      24 |  4600879 |  3476262 |     2143   4086 |        0 |        0
981.34/981.64	c  981s |      24 |  4610065 |  3483262 |     2143   4092 |        0 |        0
983.34/983.64	c  983s |      24 |  4619841 |  3490362 |     2143   4098 |        0 |        0
985.35/985.66	c  985s |      24 |  4629479 |  3497462 |     2143   4104 |        0 |        0
987.34/987.69	c  987s |      24 |  4638078 |  3504462 |     2143   4111 |        0 |        0
989.44/989.70	c  989s |      24 |  4647395 |  3511962 |     2143   4117 |        0 |        0
991.44/991.71	c  991s |      24 |  4655404 |  3518762 |     2143   4123 |        0 |        0
993.44/993.73	c  993s |      24 |  4664091 |  3525462 |     2143   4129 |        0 |        0
995.44/995.75	c  995s |      24 |  4672086 |  3531962 |     2143   4135 |        0 |        0
997.44/997.77	c  997s |      24 |  4679922 |  3538562 |     2143   4140 |        0 |        0
999.43/999.78	c  999s |      24 |  4687817 |  3544962 |     2143   4146 |        0 |        0
1001.53/1001.80	c 1001s |      24 |  4696948 |  3551962 |     2143   4152 |        0 |        0
1003.53/1003.82	c 1003s |      24 |  4705013 |  3558662 |     2143   4158 |        0 |        0
1005.53/1005.83	c 1005s |      24 |  4712704 |  3565062 |     2143   4164 |        0 |        0
1007.53/1007.84	c 1007s |      24 |  4720300 |  3571462 |     2143   4169 |        0 |        0
1009.54/1009.85	c 1009s |      24 |  4727899 |  3577562 |     2143   4175 |        0 |        0
1011.54/1011.85	c 1011s |      24 |  4736178 |  3583862 |     2143   4180 |        0 |        0
1013.53/1013.86	c 1013s |      24 |  4743688 |  3590062 |     2143   4186 |        0 |        0
1015.63/1015.90	c 1015s |      24 |  4752108 |  3596562 |     2143   4191 |        0 |        0
1017.63/1017.90	c 1017s |      24 |  4761511 |  3603662 |     2143   4198 |        0 |        0
1019.63/1019.92	c 1019s |      24 |  4769969 |  3610162 |     2143   4203 |        0 |        0
1021.64/1021.92	c 1021s |      24 |  4778393 |  3616962 |     2143   4209 |        0 |        0
1023.63/1023.95	c 1023s |      24 |  4787391 |  3623662 |     2143   4215 |        0 |        0
1025.63/1025.97	c 1025s |      24 |  4794993 |  3629862 |     2143   4221 |        0 |        0
1027.63/1027.97	c 1027s |      24 |  4803509 |  3636562 |     2143   4227 |        0 |        0
1029.72/1030.00	c 1029s |      24 |  4811644 |  3643262 |     2143   4233 |        0 |        0
1031.72/1032.00	c 1031s |      24 |  4822164 |  3651062 |     2143   4239 |        0 |        0
1033.73/1034.03	c 1034s |      24 |  4830782 |  3657962 |     2143   4246 |        0 |        0
1035.72/1036.06	c 1036s |      24 |  4840092 |  3665162 |     2143   4252 |        0 |        0
1037.72/1038.07	c 1038s |      24 |  4849486 |  3671962 |     2143   4258 |        0 |        0
1039.72/1040.08	c 1040s |      24 |  4858485 |  3678762 |     2143   4264 |        0 |        0
1041.72/1042.08	c 1042s |      24 |  4868531 |  3685762 |     2143   4270 |        0 |        0
1043.72/1044.09	c 1044s |      24 |  4876825 |  3691962 |     2143   4276 |        0 |        0
1045.82/1046.11	c 1046s |      24 |  4885480 |  3698762 |     2143   4282 |        0 |        0
1047.81/1048.14	c 1048s |      24 |  4893744 |  3705462 |     2143   4288 |        0 |        0
1049.81/1050.16	c 1050s |      24 |  4902488 |  3712062 |     2143   4293 |        0 |        0
1051.81/1052.18	c 1052s |      24 |  4910056 |  3718262 |     2143   4299 |        0 |        0
1053.91/1054.21	c 1054s |      24 |  4917706 |  3724462 |     2143   4304 |        0 |        0
1055.91/1056.22	c 1056s |      24 |  4926676 |  3731162 |     2143   4310 |        0 |        0
1057.92/1058.24	c 1058s |      24 |  4934854 |  3737762 |     2143   4316 |        0 |        0
1059.90/1060.25	c 1060s |      24 |  4945300 |  3745562 |     2143   4323 |        0 |        0
1061.90/1062.27	c 1062s |      24 |  4953714 |  3752562 |     2143   4329 |        0 |        0
1063.90/1064.28	c 1064s |      24 |  4962745 |  3759662 |     2143   4335 |        0 |        0
1066.00/1066.30	c 1066s |      24 |  4972771 |  3766962 |     2143   4342 |        0 |        0
1068.00/1068.30	c 1068s |      24 |  4981642 |  3773762 |     2143   4348 |        0 |        0
1070.01/1070.32	c 1070s |      24 |  4990168 |  3780262 |     2143   4353 |        0 |        0
1072.00/1072.34	c 1072s |      24 |  5000589 |  3787462 |     2143   4360 |        0 |        0
1074.00/1074.36	c 1074s |      24 |  5010295 |  3794262 |     2143   4366 |        0 |        0
1076.00/1076.37	c 1076s |      24 |  5019550 |  3801162 |     2143   4372 |        0 |        0
1078.00/1078.38	c 1078s |      24 |  5028162 |  3807562 |     2143   4377 |        0 |        0
1080.00/1080.38	c 1080s |      24 |  5037413 |  3814262 |     2143   4383 |        0 |        0
1081.99/1082.39	c 1082s |      24 |  5046105 |  3820762 |     2143   4389 |        0 |        0
1084.09/1084.40	c 1084s |      24 |  5054582 |  3827362 |     2143   4395 |        0 |        0
1086.09/1086.42	c 1086s |      24 |  5063367 |  3833762 |     2143   4401 |        0 |        0
1088.09/1088.44	c 1088s |      24 |  5073240 |  3840462 |     2143   4406 |        0 |        0
1090.09/1090.47	c 1090s |      24 |  5082683 |  3847062 |     2143   4412 |        0 |        0
1092.19/1092.50	c 1092s |      24 |  5090344 |  3853262 |     2143   4418 |        0 |        0
1094.20/1094.52	c 1094s |      24 |  5098196 |  3859762 |     2143   4423 |        0 |        0
1096.19/1096.55	c 1096s |      24 |  5105819 |  3866362 |     2143   4429 |        0 |        0
1098.19/1098.57	c 1098s |      24 |  5113757 |  3872762 |     2143   4435 |        0 |        0
1100.19/1100.58	c 1100s |      24 |  5122080 |  3879362 |     2143   4441 |        0 |        0
1102.19/1102.59	c 1102s |      24 |  5129618 |  3885962 |     2143   4446 |        0 |        0
1104.29/1104.60	c 1104s |      24 |  5137641 |  3892162 |     2143   4452 |        0 |        0
1106.29/1106.64	c 1106s |      24 |  5145735 |  3898562 |     2143   4458 |        0 |        0
1108.28/1108.65	c 1108s |      24 |  5153773 |  3904962 |     2143   4463 |        0 |        0
1110.28/1110.68	c 1110s |      24 |  5162119 |  3911162 |     2143   4469 |        0 |        0
1112.38/1112.70	c 1112s |      24 |  5171974 |  3918062 |     2143   4475 |        0 |        0
1114.38/1114.73	c 1114s |      24 |  5181303 |  3924962 |     2143   4481 |        0 |        0
1116.38/1116.75	c 1116s |      24 |  5190214 |  3931862 |     2143   4487 |        0 |        0
1118.39/1118.76	c 1118s |      24 |  5199152 |  3938862 |     2143   4493 |        0 |        0
1120.37/1120.78	c 1120s |      24 |  5207751 |  3945862 |     2143   4499 |        0 |        0
1122.37/1122.79	c 1122s |      24 |  5215733 |  3952562 |     2143   4505 |        0 |        0
1124.47/1124.80	c 1124s |      24 |  5223967 |  3959262 |     2143   4511 |        0 |        0
1126.47/1126.81	c 1126s |      24 |  5233228 |  3966362 |     2143   4517 |        0 |        0
1128.47/1128.83	c 1128s |      24 |  5242494 |  3973462 |     2143   4523 |        0 |        0
1130.47/1130.84	c 1130s |      24 |  5252751 |  3980962 |     2143   4530 |        0 |        0
1132.46/1132.86	c 1132s |      24 |  5261494 |  3988062 |     2143   4536 |        0 |        0
1134.46/1134.86	c 1134s |      24 |  5270160 |  3994862 |     2143   4542 |        0 |        0
1136.46/1136.86	c 1136s |      24 |  5278270 |  4001662 |     2143   4548 |        0 |        0
1138.46/1138.87	c 1138s |      24 |  5285703 |  4008162 |     2143   4554 |        0 |        0
1140.56/1140.90	c 1140s |      24 |  5293667 |  4014862 |     2143   4560 |        0 |        0
1142.57/1142.91	c 1142s |      24 |  5300952 |  4021262 |     2143   4566 |        0 |        0
1144.56/1144.91	c 1144s |      24 |  5308684 |  4027762 |     2143   4571 |        0 |        0
1146.56/1146.94	c 1146s |      24 |  5315930 |  4033962 |     2143   4577 |        0 |        0
1148.56/1148.94	c 1148s |      24 |  5324679 |  4040662 |     2143   4583 |        0 |        0
1150.55/1150.95	c 1150s |      24 |  5332610 |  4047062 |     2143   4589 |        0 |        0
1152.56/1152.95	c 1152s |      24 |  5342206 |  4053962 |     2143   4595 |        0 |        0
1154.55/1154.97	c 1154s |      24 |  5351959 |  4061162 |     2143   4601 |        0 |        0
1156.55/1156.97	c 1156s |      24 |  5359926 |  4067362 |     2143   4606 |        0 |        0
1158.56/1158.98	c 1158s |      24 |  5368234 |  4073762 |     2143   4612 |        0 |        0
1160.55/1160.99	c 1160s |      24 |  5376531 |  4080562 |     2143   4618 |        0 |        0
1162.65/1163.00	c 1162s |      24 |  5385551 |  4087862 |     2143   4625 |        0 |        0
1164.66/1165.03	c 1165s |      24 |  5394402 |  4095162 |     2143   4631 |        0 |        0
1166.65/1167.05	c 1167s |      24 |  5403540 |  4102362 |     2143   4637 |        0 |        0
1168.65/1169.06	c 1169s |      24 |  5413250 |  4109762 |     2143   4644 |        0 |        0
1170.65/1171.09	c 1171s |      24 |  5421833 |  4116662 |     2143   4650 |        0 |        0
1172.65/1173.09	c 1173s |      24 |  5430441 |  4123462 |     2143   4656 |        0 |        0
1174.75/1175.12	c 1175s |      24 |  5438929 |  4130362 |     2143   4662 |        0 |        0
1176.76/1177.12	c 1177s |      24 |  5447203 |  4137262 |     2143   4668 |        0 |        0
1178.75/1179.14	c 1179s |      24 |  5454624 |  4143662 |     2143   4674 |        0 |        0
1180.74/1181.15	c 1181s |      24 |  5463000 |  4150562 |     2143   4680 |        0 |        0
1182.74/1183.15	c 1183s |      24 |  5470851 |  4156962 |     2143   4685 |        0 |        0
1184.74/1185.16	c 1185s |      24 |  5480436 |  4164062 |     2143   4692 |        0 |        0
1186.74/1187.18	c 1187s |      24 |  5489569 |  4170962 |     2143   4698 |        0 |        0
1188.75/1189.20	c 1189s |      24 |  5497729 |  4177662 |     2143   4704 |        0 |        0
1190.84/1191.23	c 1191s |      24 |  5505878 |  4184262 |     2143   4709 |        0 |        0
1192.84/1193.25	c 1193s |      24 |  5514984 |  4190962 |     2143   4715 |        0 |        0
1194.84/1195.29	c 1195s |      24 |  5523079 |  4197562 |     2143   4721 |        0 |        0
1196.94/1197.30	c 1197s |      24 |  5531344 |  4204062 |     2143   4727 |        0 |        0
1198.94/1199.32	c 1199s |      24 |  5539121 |  4210362 |     2143   4732 |        0 |        0
1200.94/1201.35	c 1201s |      24 |  5547052 |  4216562 |     2143   4738 |        0 |        0
1202.93/1203.36	c 1203s |      24 |  5554287 |  4222562 |     2143   4743 |        0 |        0
1204.93/1205.39	c 1205s |      24 |  5562136 |  4228662 |     2143   4748 |        0 |        0
1207.03/1207.40	c 1207s |      24 |  5568118 |  4234062 |     2143   4753 |        0 |        0
1209.03/1209.42	c 1209s |      24 |  5575582 |  4240062 |     2143   4758 |        0 |        0
1211.03/1211.43	c 1211s |      24 |  5584195 |  4246362 |     2143   4764 |        0 |        0
1213.03/1213.45	c 1213s |      24 |  5594199 |  4253362 |     2143   4770 |        0 |        0
1215.03/1215.47	c 1215s |      24 |  5602374 |  4259862 |     2143   4776 |        0 |        0
1217.03/1217.48	c 1217s |      24 |  5610720 |  4266362 |     2143   4782 |        0 |        0
1219.12/1219.50	c 1219s |      24 |  5618822 |  4272862 |     2143   4787 |        0 |        0
1221.12/1221.50	c 1221s |      24 |  5627753 |  4279762 |     2143   4793 |        0 |        0
1223.12/1223.50	c 1223s |      24 |  5637025 |  4286762 |     2143   4800 |        0 |        0
1225.13/1225.52	c 1225s |      24 |  5645501 |  4293662 |     2143   4806 |        0 |        0
1227.12/1227.56	c 1227s |      24 |  5654621 |  4300362 |     2143   4812 |        0 |        0
1229.12/1229.57	c 1229s |      24 |  5663482 |  4307462 |     2143   4818 |        0 |        0
1231.12/1231.58	c 1231s |      24 |  5671843 |  4314362 |     2143   4824 |        0 |        0
1233.12/1233.60	c 1233s |      24 |  5680292 |  4321362 |     2143   4830 |        0 |        0
1235.21/1235.61	c 1235s |      24 |  5689174 |  4328362 |     2143   4836 |        0 |        0
1237.22/1237.64	c 1237s |      24 |  5697959 |  4335362 |     2143   4842 |        0 |        0
1239.21/1239.65	c 1239s |      24 |  5706271 |  4342162 |     2143   4848 |        0 |        0
1241.21/1241.65	c 1241s |      24 |  5714729 |  4348862 |     2143   4854 |        0 |        0
1243.21/1243.65	c 1243s |      24 |  5723539 |  4355562 |     2143   4860 |        0 |        0
1245.21/1245.66	c 1245s |      24 |  5731257 |  4361862 |     2143   4866 |        0 |        0
1247.21/1247.66	c 1247s |      24 |  5738914 |  4368262 |     2143   4871 |        0 |        0
1249.21/1249.67	c 1249s |      24 |  5747066 |  4374862 |     2143   4877 |        0 |        0
1251.20/1251.68	c 1251s |      24 |  5755362 |  4381262 |     2143   4883 |        0 |        0
1253.30/1253.71	c 1253s |      24 |  5763673 |  4387462 |     2143   4888 |        0 |        0
1255.30/1255.72	c 1255s |      24 |  5772694 |  4394362 |     2143   4894 |        0 |        0
1257.30/1257.73	c 1257s |      24 |  5780326 |  4400862 |     2143   4900 |        0 |        0
1259.29/1259.73	c 1259s |      24 |  5790158 |  4407562 |     2143   4906 |        0 |        0
1261.30/1261.74	c 1261s |      24 |  5798517 |  4414062 |     2143   4912 |        0 |        0
1263.29/1263.76	c 1263s |      24 |  5806070 |  4420362 |     2143   4917 |        0 |        0
1265.29/1265.77	c 1265s |      24 |  5814998 |  4427062 |     2143   4923 |        0 |        0
1267.29/1267.78	c 1267s |      24 |  5824048 |  4433862 |     2143   4929 |        0 |        0
1269.29/1269.79	c 1269s |      24 |  5832946 |  4440262 |     2143   4935 |        0 |        0
1271.38/1271.80	c 1271s |      24 |  5841529 |  4446962 |     2143   4941 |        0 |        0
1273.39/1273.81	c 1273s |      24 |  5850496 |  4453762 |     2143   4947 |        0 |        0
1275.38/1275.83	c 1275s |      24 |  5859265 |  4460362 |     2143   4953 |        0 |        0
1277.38/1277.87	c 1277s |      24 |  5868266 |  4466962 |     2143   4959 |        0 |        0
1279.38/1279.88	c 1279s |      24 |  5877544 |  4473362 |     2143   4964 |        0 |        0
1281.38/1281.88	c 1281s |      24 |  5886117 |  4479562 |     2143   4970 |        0 |        0
1283.49/1283.91	c 1283s |      24 |  5895135 |  4485962 |     2143   4975 |        0 |        0
1285.50/1285.92	c 1285s |      24 |  5905165 |  4492562 |     2143   4981 |        0 |        0
1287.49/1287.94	c 1287s |      24 |  5914719 |  4499262 |     2143   4987 |        0 |        0
1289.48/1289.97	c 1289s |      24 |  5924320 |  4506062 |     2143   4993 |        0 |        0
1291.48/1291.99	c 1291s |      24 |  5934634 |  4512962 |     2143   4999 |        0 |        0
1293.58/1294.02	c 1294s |      24 |  5942854 |  4519662 |     2143   5005 |        0 |        0
1295.58/1296.04	c 1296s |      24 |  5951264 |  4526362 |     2143   5011 |        0 |        0
1297.59/1298.05	c 1298s |      24 |  5959709 |  4533062 |     2143   5017 |        0 |        0
1299.58/1300.07	c 1300s |      24 |  5969318 |  4539862 |     2143   5023 |        0 |        0
1301.58/1302.07	c 1302s |      24 |  5977559 |  4546662 |     2143   5029 |        0 |        0
1303.57/1304.08	c 1304s |      24 |  5986993 |  4553762 |     2143   5036 |        0 |        0
1305.57/1306.09	c 1306s |      24 |  5996804 |  4560962 |     2143   5042 |        0 |        0
1307.58/1308.09	c 1308s |      24 |  6005256 |  4567462 |     2143   5048 |        0 |        0
1309.67/1310.12	c 1310s |      24 |  6013591 |  4573962 |     2143   5053 |        0 |        0
1311.67/1312.12	c 1312s |      24 |  6022919 |  4580762 |     2143   5060 |        0 |        0
1313.67/1314.13	c 1314s |      24 |  6030048 |  4586962 |     2143   5065 |        0 |        0
1315.67/1316.16	c 1316s |      24 |  6037773 |  4593262 |     2143   5071 |        0 |        0
1317.66/1318.17	c 1318s |      24 |  6044941 |  4599362 |     2143   5076 |        0 |        0
1319.67/1320.18	c 1320s |      24 |  6054345 |  4606462 |     2143   5082 |        0 |        0
1321.66/1322.19	c 1322s |      24 |  6062876 |  4613462 |     2143   5089 |        0 |        0
1323.76/1324.21	c 1324s |      24 |  6071551 |  4620262 |     2143   5095 |        0 |        0
1325.76/1326.22	c 1326s |      24 |  6079442 |  4627062 |     2143   5101 |        0 |        0
1327.76/1328.23	c 1328s |      24 |  6088473 |  4634262 |     2143   5107 |        0 |        0
1329.75/1330.25	c 1330s |      24 |  6097136 |  4641162 |     2143   5113 |        0 |        0
1331.76/1332.27	c 1332s |      24 |  6105430 |  4647762 |     2143   5119 |        0 |        0
1333.75/1334.27	c 1334s |      24 |  6113749 |  4654662 |     2143   5125 |        0 |        0
1335.75/1336.29	c 1336s |      24 |  6122662 |  4661762 |     2143   5132 |        0 |        0
1337.85/1338.31	c 1338s |      24 |  6132072 |  4668862 |     2143   5138 |        0 |        0
1339.85/1340.33	c 1340s |      24 |  6141703 |  4675662 |     2143   5144 |        0 |        0
1341.85/1342.33	c 1342s |      24 |  6150835 |  4683162 |     2143   5151 |        0 |        0
1343.86/1344.34	c 1344s |      24 |  6160203 |  4690762 |     2143   5157 |        0 |        0
1345.85/1346.34	c 1346s |      24 |  6169752 |  4698062 |     2143   5164 |        0 |        0
1347.85/1348.37	c 1348s |      24 |  6178837 |  4705362 |     2143   5170 |        0 |        0
1349.94/1350.40	c 1350s |      24 |  6187082 |  4711862 |     2143   5176 |        0 |        0
1351.94/1352.43	c 1352s |      24 |  6197013 |  4718762 |     2143   5182 |        0 |        0
1353.94/1354.45	c 1354s |      24 |  6207172 |  4725862 |     2143   5188 |        0 |        0
1355.95/1356.46	c 1356s |      24 |  6215941 |  4732662 |     2143   5194 |        0 |        0
1357.94/1358.47	c 1358s |      24 |  6224616 |  4739262 |     2143   5200 |        0 |        0
1359.94/1360.49	c 1360s |      24 |  6233192 |  4745962 |     2143   5206 |        0 |        0
1362.04/1362.50	c 1362s |      24 |  6242822 |  4753062 |     2143   5212 |        0 |        0
1364.04/1364.53	c 1364s |      24 |  6252100 |  4760362 |     2143   5219 |        0 |        0
1366.04/1366.55	c 1366s |      24 |  6262389 |  4767662 |     2143   5225 |        0 |        0
1368.04/1368.58	c 1368s |      24 |  6272620 |  4774762 |     2143   5232 |        0 |        0
1370.03/1370.60	c 1370s |      24 |  6284509 |  4782262 |     2143   5238 |        0 |        0
1372.13/1372.62	c 1372s |      24 |  6293861 |  4789062 |     2143   5244 |        0 |        0
1374.13/1374.63	c 1374s |      24 |  6300891 |  4795062 |     2143   5250 |        0 |        0
1376.13/1376.65	c 1376s |      24 |  6310219 |  4801762 |     2143   5255 |        0 |        0
1378.13/1378.66	c 1378s |      24 |  6318921 |  4808662 |     2143   5262 |        0 |        0
1380.14/1380.68	c 1380s |      24 |  6328699 |  4815662 |     2143   5268 |        0 |        0
1382.13/1382.69	c 1382s |      24 |  6336861 |  4822262 |     2143   5274 |        0 |        0
1384.23/1384.71	c 1384s |      24 |  6345794 |  4829362 |     2143   5280 |        0 |        0
1386.23/1386.73	c 1386s |      24 |  6354120 |  4836062 |     2143   5286 |        0 |        0
1388.23/1388.75	c 1388s |      24 |  6362227 |  4842562 |     2143   5292 |        0 |        0
1390.23/1390.75	c 1390s |      24 |  6370112 |  4849162 |     2143   5297 |        0 |        0
1392.24/1392.78	c 1392s |      24 |  6377987 |  4855862 |     2143   5303 |        0 |        0
1394.23/1394.80	c 1394s |      24 |  6386123 |  4862662 |     2143   5309 |        0 |        0
1396.33/1396.82	c 1396s |      24 |  6394069 |  4869362 |     2143   5315 |        0 |        0
1398.33/1398.85	c 1398s |      24 |  6402112 |  4876062 |     2143   5321 |        0 |        0
1400.33/1400.85	c 1400s |      24 |  6410897 |  4882862 |     2143   5327 |        0 |        0
1402.33/1402.88	c 1402s |      24 |  6420377 |  4889962 |     2143   5334 |        0 |        0
1404.33/1404.89	c 1404s |      24 |  6427674 |  4896262 |     2143   5339 |        0 |        0
1406.33/1406.90	c 1406s |      24 |  6435613 |  4902762 |     2143   5345 |        0 |        0
1408.43/1408.90	c 1408s |      24 |  6443770 |  4909362 |     2143   5351 |        0 |        0
1410.43/1410.92	c 1410s |      24 |  6451673 |  4915862 |     2143   5356 |        0 |        0
1412.43/1412.92	c 1412s |      24 |  6460280 |  4922662 |     2143   5362 |        0 |        0
1414.43/1414.95	c 1414s |      24 |  6468152 |  4929062 |     2143   5368 |        0 |        0
1416.44/1416.96	c 1416s |      24 |  6476527 |  4935662 |     2143   5374 |        0 |        0
1418.43/1418.97	c 1418s |      24 |  6483646 |  4941962 |     2143   5379 |        0 |        0
1420.53/1421.00	c 1420s |      24 |  6491983 |  4948562 |     2143   5385 |        0 |        0
1422.53/1423.01	c 1422s |      24 |  6499544 |  4954962 |     2143   5391 |        0 |        0
1424.53/1425.01	c 1424s |      24 |  6508083 |  4961462 |     2143   5396 |        0 |        0
1426.53/1427.04	c 1427s |      24 |  6514711 |  4967362 |     2143   5402 |        0 |        0
1428.54/1429.06	c 1429s |      24 |  6523058 |  4974062 |     2143   5408 |        0 |        0
1430.53/1431.07	c 1431s |      24 |  6531364 |  4980962 |     2143   5414 |        0 |        0
1432.53/1433.09	c 1433s |      24 |  6539634 |  4987762 |     2143   5420 |        0 |        0
1434.53/1435.09	c 1435s |      24 |  6547438 |  4994462 |     2143   5426 |        0 |        0
1436.63/1437.13	c 1437s |      24 |  6555220 |  5001262 |     2143   5432 |        0 |        0
1438.63/1439.15	c 1439s |      24 |  6563716 |  5008362 |     2143   5438 |        0 |        0
1440.64/1441.17	c 1441s |      24 |  6571932 |  5015262 |     2143   5444 |        0 |        0
1442.63/1443.19	c 1443s |      24 |  6580668 |  5022062 |     2143   5450 |        0 |        0
1444.73/1445.22	c 1445s |      24 |  6588410 |  5028362 |     2143   5456 |        0 |        0
1446.73/1447.22	c 1447s |      24 |  6596903 |  5035262 |     2358   5461 |        0 |        0
1448.73/1449.25	c 1449s |      24 |  6604776 |  5041762 |     2358   5466 |        0 |        0
1450.73/1451.26	c 1451s |      24 |  6612605 |  5048262 |     2358   5472 |        0 |        0
1452.73/1453.27	c 1453s |      24 |  6620532 |  5054962 |     2358   5477 |        0 |        0
1454.72/1455.29	c 1455s |      24 |  6628889 |  5061462 |     2358   5482 |        0 |        0
1455.93/1456.41	c 1456s |      25 |  6633657 |  5065098 |     2358   5485 |        0 |        0
1457.92/1458.42	c 1458s |      25 |  6645185 |  5072498 |     2358   5491 |        0 |        0
1459.92/1460.43	c 1460s |      25 |  6654782 |  5079598 |     2358   5497 |        0 |        0
1461.92/1462.45	c 1462s |      25 |  6666000 |  5086598 |     2358   5502 |        0 |        0
1463.92/1464.45	c 1464s |      25 |  6674647 |  5092998 |     2358   5508 |        0 |        0
1465.93/1466.49	c 1466s |      25 |  6685841 |  5100398 |     2358   5514 |        0 |        0
1468.03/1468.51	c 1468s |      25 |  6697618 |  5108198 |     2358   5520 |        0 |        0
1470.02/1470.53	c 1470s |      25 |  6707317 |  5115298 |     2358   5526 |        0 |        0
1472.02/1472.55	c 1472s |      25 |  6715902 |  5122198 |     2358   5531 |        0 |        0
1474.02/1474.57	c 1474s |      25 |  6724998 |  5129298 |     2358   5537 |        0 |        0
1476.02/1476.59	c 1476s |      25 |  6734071 |  5136198 |     2358   5542 |        0 |        0
1478.12/1478.62	c 1478s |      25 |  6743864 |  5143398 |     2358   5548 |        0 |        0
1480.13/1480.64	c 1480s |      25 |  6752510 |  5150298 |     2358   5554 |        0 |        0
1482.12/1482.66	c 1482s |      25 |  6762157 |  5157798 |     2358   5560 |        0 |        0
1484.12/1484.67	c 1484s |      25 |  6770229 |  5164498 |     2358   5565 |        0 |        0
1486.12/1486.68	c 1486s |      25 |  6778481 |  5171298 |     2358   5571 |        0 |        0
1488.22/1488.71	c 1488s |      25 |  6787958 |  5178798 |     2358   5577 |        0 |        0
1490.22/1490.73	c 1490s |      25 |  6797292 |  5185898 |     2358   5582 |        0 |        0
1492.22/1492.73	c 1492s |      25 |  6806258 |  5192898 |     2358   5588 |        0 |        0
1494.21/1494.74	c 1494s |      25 |  6814225 |  5199398 |     2358   5593 |        0 |        0
1496.21/1496.74	c 1496s |      25 |  6822191 |  5205998 |     2358   5598 |        0 |        0
1498.21/1498.76	c 1498s |      25 |  6830445 |  5212498 |     2358   5604 |        0 |        0
1500.31/1500.80	c 1500s |      25 |  6838921 |  5219398 |     2358   5609 |        0 |        0
1502.31/1502.82	c 1502s |      25 |  6847642 |  5226098 |     2358   5615 |        0 |        0
1504.33/1504.82	c 1504s |      25 |  6857008 |  5232998 |     2358   5620 |        0 |        0
1506.32/1506.84	c 1506s |      25 |  6866051 |  5239698 |     2358   5625 |        0 |        0
1508.32/1508.86	c 1508s |      25 |  6876792 |  5246898 |     2358   5631 |        0 |        0
1510.32/1510.86	c 1510s |      25 |  6888241 |  5254298 |     2358   5637 |        0 |        0
1512.32/1512.88	c 1512s |      25 |  6899515 |  5261998 |     2358   5643 |        0 |        0
1514.33/1514.89	c 1514s |      25 |  6909734 |  5269198 |     2358   5649 |        0 |        0
1516.32/1516.90	c 1516s |      25 |  6919752 |  5276398 |     2358   5655 |        0 |        0
1518.42/1518.90	c 1518s |      25 |  6930028 |  5283898 |     2358   5661 |        0 |        0
1520.42/1520.93	c 1520s |      25 |  6938916 |  5290998 |     2358   5667 |        0 |        0
1522.42/1522.95	c 1522s |      25 |  6949267 |  5298198 |     2358   5672 |        0 |        0
1524.42/1524.95	c 1524s |      25 |  6959229 |  5304998 |     2358   5678 |        0 |        0
1526.42/1526.98	c 1526s |      25 |  6968100 |  5311898 |     2358   5684 |        0 |        0
1528.42/1528.99	c 1528s |      25 |  6976723 |  5318298 |     2358   5689 |        0 |        0
1530.52/1531.00	c 1530s |      25 |  6985012 |  5324898 |     2358   5694 |        0 |        0
1532.52/1533.02	c 1533s |      25 |  6993582 |  5331298 |     2358   5699 |        0 |        0
1534.51/1535.04	c 1535s |      25 |  7002079 |  5337898 |     2358   5704 |        0 |        0
1536.51/1537.04	c 1537s |      25 |  7010706 |  5344398 |     2358   5709 |        0 |        0
1538.52/1539.06	c 1539s |      25 |  7020307 |  5351098 |     2358   5715 |        0 |        0
1540.51/1541.07	c 1541s |      25 |  7027131 |  5356998 |     2358   5720 |        0 |        0
1542.51/1543.08	c 1543s |      25 |  7033945 |  5362798 |     2358   5724 |        0 |        0
1544.51/1545.09	c 1545s |      25 |  7043354 |  5369598 |     2358   5730 |        0 |        0
1546.61/1547.11	c 1547s |      25 |  7052546 |  5376598 |     2358   5735 |        0 |        0
1548.61/1549.14	c 1549s |      25 |  7059717 |  5382798 |     2358   5740 |        0 |        0
1550.62/1551.15	c 1551s |      25 |  7068392 |  5389298 |     2358   5746 |        0 |        0
1552.61/1553.15	c 1553s |      25 |  7076642 |  5395898 |     2358   5751 |        0 |        0
1554.61/1555.16	c 1555s |      25 |  7084176 |  5402398 |     2358   5756 |        0 |        0
1556.61/1557.20	c 1557s |      25 |  7092752 |  5409198 |     2358   5761 |        0 |        0
1558.71/1559.20	c 1559s |      25 |  7100556 |  5415298 |     2358   5766 |        0 |        0
1560.71/1561.20	c 1561s |      25 |  7110677 |  5422698 |     2358   5772 |        0 |        0
1562.72/1563.22	c 1563s |      25 |  7118543 |  5429398 |     2358   5778 |        0 |        0
1564.71/1565.24	c 1565s |      25 |  7127208 |  5435998 |     2358   5783 |        0 |        0
1566.71/1567.26	c 1567s |      25 |  7136610 |  5442898 |     2358   5788 |        0 |        0
1568.71/1569.28	c 1569s |      25 |  7146776 |  5449598 |     2358   5794 |        0 |        0
1570.70/1571.28	c 1571s |      25 |  7155351 |  5456298 |     2358   5799 |        0 |        0
1572.80/1573.32	c 1573s |      25 |  7163765 |  5462998 |     2358   5805 |        0 |        0
1574.81/1575.33	c 1575s |      25 |  7173070 |  5469798 |     2358   5810 |        0 |        0
1576.80/1577.35	c 1577s |      25 |  7180353 |  5475998 |     2358   5815 |        0 |        0
1578.80/1579.37	c 1579s |      25 |  7187680 |  5482298 |     2358   5820 |        0 |        0
1580.80/1581.38	c 1581s |      25 |  7195159 |  5488598 |     2358   5825 |        0 |        0
1582.90/1583.40	c 1583s |      25 |  7202884 |  5494998 |     2358   5830 |        0 |        0
1584.90/1585.41	c 1585s |      25 |  7212879 |  5501998 |     2358   5836 |        0 |        0
1586.91/1587.42	c 1587s |      25 |  7222599 |  5508998 |     2358   5841 |        0 |        0
1588.91/1589.43	c 1589s |      25 |  7232930 |  5516198 |     2358   5847 |        0 |        0
1590.91/1591.44	c 1591s |      25 |  7241855 |  5523098 |     2358   5853 |        0 |        0
1592.91/1593.46	c 1593s |      25 |  7250244 |  5529898 |     2358   5858 |        0 |        0
1594.90/1595.48	c 1595s |      25 |  7259672 |  5537098 |     2358   5864 |        0 |        0
1596.90/1597.49	c 1597s |      25 |  7267573 |  5543698 |     2358   5869 |        0 |        0
1599.01/1599.52	c 1599s |      25 |  7276464 |  5550798 |     2358   5875 |        0 |        0
1601.00/1601.52	c 1601s |      25 |  7285426 |  5557898 |     2358   5881 |        0 |        0
1603.00/1603.53	c 1603s |      25 |  7293355 |  5564498 |     2358   5886 |        0 |        0
1605.00/1605.54	c 1605s |      25 |  7302454 |  5571298 |     2358   5892 |        0 |        0
1607.00/1607.57	c 1607s |      25 |  7311161 |  5577898 |     2358   5897 |        0 |        0
1609.00/1609.58	c 1609s |      25 |  7317896 |  5583598 |     2358   5902 |        0 |        0
1611.01/1611.59	c 1611s |      25 |  7325875 |  5589998 |     2358   5907 |        0 |        0
1613.10/1613.61	c 1613s |      25 |  7333523 |  5596198 |     2358   5912 |        0 |        0
1615.10/1615.63	c 1615s |      25 |  7340565 |  5601998 |     2358   5916 |        0 |        0
1617.10/1617.63	c 1617s |      25 |  7347266 |  5607398 |     2358   5921 |        0 |        0
1619.10/1619.65	c 1619s |      25 |  7354155 |  5613098 |     2358   5925 |        0 |        0
1621.10/1621.65	c 1621s |      25 |  7360786 |  5618398 |     2358   5929 |        0 |        0
1623.11/1623.67	c 1623s |      25 |  7370875 |  5625398 |     2358   5935 |        0 |        0
1625.10/1625.69	c 1625s |      25 |  7381395 |  5632198 |     2358   5940 |        0 |        0
1627.10/1627.69	c 1627s |      25 |  7390633 |  5638998 |     2358   5946 |        0 |        0
1629.20/1629.72	c 1629s |      25 |  7399787 |  5645698 |     2358   5951 |        0 |        0
1631.20/1631.73	c 1631s |      25 |  7410638 |  5652798 |     2358   5957 |        0 |        0
1633.20/1633.74	c 1633s |      25 |  7419690 |  5659398 |     2358   5962 |        0 |        0
1635.20/1635.75	c 1635s |      25 |  7429132 |  5665998 |     2358   5968 |        0 |        0
1637.20/1637.77	c 1637s |      25 |  7437608 |  5672698 |     2358   5973 |        0 |        0
1639.20/1639.78	c 1639s |      25 |  7446313 |  5679798 |     2358   5979 |        0 |        0
1641.19/1641.78	c 1641s |      25 |  7455958 |  5687198 |     2358   5985 |        0 |        0
1643.29/1643.80	c 1643s |      25 |  7464759 |  5694398 |     2358   5990 |        0 |        0
1645.29/1645.82	c 1645s |      25 |  7473001 |  5701098 |     2358   5996 |        0 |        0
1647.30/1647.84	c 1647s |      25 |  7482483 |  5708398 |     2358   6002 |        0 |        0
1649.29/1649.87	c 1649s |      25 |  7491610 |  5715498 |     2358   6007 |        0 |        0
1651.29/1651.88	c 1651s |      25 |  7501380 |  5722998 |     2358   6013 |        0 |        0
1653.29/1653.89	c 1653s |      25 |  7509408 |  5729498 |     2358   6019 |        0 |        0
1655.39/1655.92	c 1655s |      25 |  7518999 |  5736798 |     2358   6024 |        0 |        0
1657.39/1657.94	c 1657s |      25 |  7527920 |  5743698 |     2358   6030 |        0 |        0
1659.40/1659.94	c 1659s |      25 |  7536196 |  5750298 |     2358   6035 |        0 |        0
1661.39/1661.97	c 1661s |      25 |  7543387 |  5755998 |     2358   6040 |        0 |        0
1663.39/1663.99	c 1663s |      25 |  7550813 |  5761698 |     2358   6044 |        0 |        0
1665.39/1665.99	c 1665s |      25 |  7561755 |  5769298 |     2358   6050 |        0 |        0
1667.39/1667.99	c 1667s |      25 |  7571175 |  5776098 |     2358   6056 |        0 |        0
1669.49/1670.02	c 1670s |      25 |  7580873 |  5782998 |     2358   6062 |        0 |        0
1671.49/1672.03	c 1672s |      25 |  7590626 |  5789798 |     2358   6067 |        0 |        0
1673.49/1674.04	c 1674s |      25 |  7598876 |  5796598 |     2358   6072 |        0 |        0
1675.49/1676.06	c 1676s |      25 |  7606880 |  5803198 |     2358   6078 |        0 |        0
1677.49/1678.07	c 1678s |      25 |  7614910 |  5809598 |     2358   6083 |        0 |        0
1679.49/1680.07	c 1680s |      25 |  7622879 |  5815998 |     2358   6088 |        0 |        0
1681.49/1682.08	c 1682s |      25 |  7631058 |  5822298 |     2358   6093 |        0 |        0
1683.48/1684.10	c 1684s |      25 |  7639529 |  5828798 |     2358   6098 |        0 |        0
1685.58/1686.11	c 1686s |      25 |  7648308 |  5835698 |     2358   6104 |        0 |        0
1687.59/1688.11	c 1688s |      25 |  7657071 |  5842798 |     2358   6110 |        0 |        0
1689.59/1690.13	c 1690s |      25 |  7666108 |  5849898 |     2358   6115 |        0 |        0
1691.59/1692.16	c 1692s |      25 |  7673431 |  5856098 |     2358   6120 |        0 |        0
1693.60/1694.17	c 1694s |      25 |  7681486 |  5862498 |     2358   6125 |        0 |        0
1695.59/1696.20	c 1696s |      25 |  7689317 |  5868798 |     2358   6130 |        0 |        0
1697.69/1698.24	c 1698s |      25 |  7696927 |  5875098 |     2358   6136 |        0 |        0
1699.69/1700.25	c 1700s |      25 |  7705310 |  5881798 |     2358   6141 |        0 |        0
1701.69/1702.26	c 1702s |      25 |  7712934 |  5888098 |     2358   6146 |        0 |        0
1703.69/1704.26	c 1704s |      25 |  7721615 |  5894498 |     2358   6151 |        0 |        0
1705.70/1706.29	c 1706s |      25 |  7730209 |  5900898 |     2358   6156 |        0 |        0
1707.80/1708.31	c 1708s |      25 |  7739202 |  5907298 |     2358   6161 |        0 |        0
1709.79/1710.33	c 1710s |      25 |  7746583 |  5912898 |     2358   6166 |        0 |        0
1711.79/1712.36	c 1712s |      25 |  7755495 |  5919198 |     2358   6171 |        0 |        0
1713.79/1714.38	c 1714s |      25 |  7764226 |  5925798 |     2358   6176 |        0 |        0
1715.79/1716.39	c 1716s |      25 |  7773111 |  5932398 |     2358   6182 |        0 |        0
1717.79/1718.39	c 1718s |      25 |  7781239 |  5938998 |     2358   6187 |        0 |        0
1719.89/1720.41	c 1720s |      25 |  7788663 |  5944998 |     2358   6192 |        0 |        0
1721.89/1722.43	c 1722s |      25 |  7796060 |  5951198 |     2358   6197 |        0 |        0
1723.88/1724.45	c 1724s |      25 |  7804064 |  5957398 |     2358   6202 |        0 |        0
1725.88/1726.47	c 1726s |      25 |  7812336 |  5963698 |     2358   6207 |        0 |        0
1727.88/1728.47	c 1728s |      25 |  7819545 |  5969698 |     2358   6212 |        0 |        0
1729.98/1730.50	c 1730s |      25 |  7828221 |  5976098 |     2358   6217 |        0 |        0
1731.99/1732.51	c 1732s |      25 |  7835987 |  5982098 |     2358   6222 |        0 |        0
1733.98/1734.52	c 1734s |      25 |  7843964 |  5988198 |     2358   6227 |        0 |        0
1735.98/1736.52	c 1736s |      25 |  7852764 |  5994698 |     2358   6232 |        0 |        0
1737.98/1738.55	c 1738s |      25 |  7860500 |  6000898 |     2358   6237 |        0 |        0
1739.98/1740.55	c 1740s |      25 |  7869605 |  6007898 |     2358   6242 |        0 |        0
1741.99/1742.57	c 1742s |      25 |  7877002 |  6014198 |     2358   6248 |        0 |        0
1743.98/1744.58	c 1744s |      25 |  7884870 |  6020798 |     2358   6253 |        0 |        0
1745.98/1746.58	c 1746s |      25 |  7894842 |  6028098 |     2358   6259 |        0 |        0
1748.08/1748.60	c 1748s |      25 |  7903188 |  6034798 |     2358   6264 |        0 |        0
1750.08/1750.62	c 1750s |      25 |  7911711 |  6041698 |     2358   6270 |        0 |        0
1752.08/1752.64	c 1752s |      25 |  7920894 |  6049098 |     2358   6276 |        0 |        0
1754.08/1754.66	c 1754s |      25 |  7928199 |  6055598 |     2358   6281 |        0 |        0
1756.08/1756.67	c 1756s |      25 |  7935944 |  6062198 |     2358   6286 |        0 |        0
1758.17/1758.70	c 1758s |      25 |  7944844 |  6068998 |     2358   6292 |        0 |        0
1760.17/1760.70	c 1760s |      25 |  7954158 |  6076098 |     2358   6297 |        0 |        0
1762.17/1762.71	c 1762s |      25 |  7963098 |  6083298 |     2358   6303 |        0 |        0
1764.17/1764.74	c 1764s |      25 |  7972674 |  6090398 |     2358   6309 |        0 |        0
1766.18/1766.74	c 1766s |      25 |  7981394 |  6097498 |     2358   6314 |        0 |        0
1768.17/1768.78	c 1768s |      25 |  7988725 |  6103998 |     2358   6320 |        0 |        0
1770.17/1770.79	c 1770s |      25 |  7996729 |  6110498 |     2358   6325 |        0 |        0
1772.17/1772.80	c 1772s |      25 |  8005304 |  6117398 |     2358   6330 |        0 |        0
1774.27/1774.80	c 1774s |      25 |  8013231 |  6123998 |     2358   6336 |        0 |        0
1776.27/1776.80	c 1776s |      25 |  8020863 |  6130498 |     2358   6341 |        0 |        0
1778.28/1778.81	c 1778s |      25 |  8029064 |  6137198 |     2358   6346 |        0 |        0
1780.27/1780.83	c 1780s |      25 |  8037072 |  6143898 |     2358   6352 |        0 |        0
1782.27/1782.85	c 1782s |      25 |  8044501 |  6150298 |     2358   6357 |        0 |        0
1784.27/1784.85	c 1784s |      25 |  8051665 |  6156598 |     2358   6362 |        0 |        0
1786.27/1786.88	c 1786s |      25 |  8060606 |  6163298 |     2358   6367 |        0 |        0
1788.27/1788.88	c 1788s |      25 |  8068997 |  6170098 |     2358   6373 |        0 |        0
1790.28/1790.90	c 1790s |      25 |  8078063 |  6176998 |     2358   6378 |        0 |        0
1792.37/1792.92	c 1792s |      25 |  8087304 |  6183698 |     2358   6384 |        0 |        0
1794.37/1794.92	c 1794s |      25 |  8094203 |  6189398 |     2358   6388 |        0 |        0
1796.37/1796.94	c 1796s |      25 |  8101674 |  6195798 |     2358   6393 |        0 |        0
1798.37/1798.97	c 1798s |      25 |  8109750 |  6202298 |     2358   6399 |        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-4096071-1466101774/watcher-4096071-1466101774 -o /tmp/evaluation-result-4096071-1466101774/solver-4096071-1466101774 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466098167-28725 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096071-1466101774.opb 

pid=29113
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.16 2.13 2.09 3/179 29116
/proc/meminfo: memFree=30364808/32872528 swapFree=496356/529060
[pid=29116] ppid=29113 vsize=616892 CPUtime=0 cores=0,2,4,6
/proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 2278 0 0 0 0 0 0 0 20 0 4 0 12222807 631697408 3151 33554432000 4194304 16246674 140737437626736 140737437626160 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29116/statm: 154735 3160 441 2943 0 151629 0
[pid=29116/tid=29117] ppid=29113 vsize=634300 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 649523200 3220 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29116/tid=29118] ppid=29113 vsize=638396 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 653717504 3237 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29116/tid=29119] ppid=29113 vsize=642492 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12222808 657911808 3253 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100213 s]
/proc/loadavg: 2.16 2.13 2.09 3/179 29116
/proc/meminfo: memFree=30364808/32872528 swapFree=496356/529060
[pid=29116] ppid=29113 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 25870 0 0 0 5 3 0 0 20 0 4 0 12222807 1247350784 26731 33554432000 4194304 16246674 140737437626736 140737437626160 5546500 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29116/statm: 304529 26745 711 2943 0 301423 0
[pid=29116/tid=29117] ppid=29113 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1247350784 26751 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29116/tid=29118] ppid=29113 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1247350784 26756 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29116/tid=29119] ppid=29113 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12222808 1247350784 26761 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200472 s]
/proc/loadavg: 2.16 2.13 2.09 3/179 29116
/proc/meminfo: memFree=30364808/32872528 swapFree=496356/529060
[pid=29116] ppid=29113 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 50028 0 0 0 12 7 0 0 20 0 4 0 12222807 1247350784 50889 33554432000 4194304 16246674 140737437626736 140737437626160 5724245 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29116/statm: 304529 50903 711 2943 0 301423 0
[pid=29116/tid=29117] ppid=29113 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1247350784 50908 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29116/tid=29118] ppid=29113 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1247350784 50913 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29116/tid=29119] ppid=29113 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12222808 1247350784 50919 33554432000 4194304 16246674 140737437626736 140411462999216 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.300473 s]
/proc/loadavg: 2.16 2.13 2.09 3/179 29116
/proc/meminfo: memFree=30364808/32872528 swapFree=496356/529060
[pid=29116] ppid=29113 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 73018 0 0 0 18 11 0 0 20 0 4 0 12222807 1247350784 73879 33554432000 4194304 16246674 140737437626736 140737437626160 5724508 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29116/statm: 304529 73891 711 2943 0 301423 0
[pid=29116/tid=29117] ppid=29113 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1247350784 73896 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29116/tid=29118] ppid=29113 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1247350784 73904 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29116/tid=29119] ppid=29113 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12222808 1247350784 73913 33554432000 4194304 16246674 140737437626736 140411462999216 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.700402 s]
/proc/loadavg: 2.16 2.13 2.09 3/179 29116
/proc/meminfo: memFree=30364808/32872528 swapFree=496356/529060
[pid=29116] ppid=29113 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 167331 0 0 0 47 22 0 0 20 0 4 0 12222807 1247350784 168192 33554432000 4194304 16246674 140737437626736 140737437608640 5668673 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29116/statm: 304529 168199 711 2943 0 301423 0
[pid=29116/tid=29117] ppid=29113 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1247350784 168207 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29116/tid=29118] ppid=29113 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1247350784 168212 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29116/tid=29119] ppid=29113 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12222808 1247350784 168217 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.16 2.13 2.09 3/183 29120
/proc/meminfo: memFree=29380336/32872528 swapFree=496356/529060
[pid=29116] ppid=29113 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 245626 0 0 0 117 32 0 0 20 0 4 0 12222807 1248399360 246467 33554432000 4194304 16246674 140737437626736 140737437626048 5724123 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29116/statm: 304785 246467 786 2943 0 301679 0
[pid=29116/tid=29117] ppid=29113 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1248399360 246467 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29116/tid=29118] ppid=29113 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1248399360 246467 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29116/tid=29119] ppid=29113 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222808 1248399360 246467 33554432000 4194304 16246674 140737437626736 140411462999216 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) 1219140

[startup+3.10041 s]
/proc/loadavg: 2.14 2.13 2.09 3/183 29120
/proc/meminfo: memFree=29293260/32872528 swapFree=496356/529060
[pid=29116] ppid=29113 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 267462 0 0 0 275 34 0 0 20 0 4 0 12222807 1337528320 268303 33554432000 4194304 16246674 140737437626736 140737437608640 12483276 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29116/statm: 326545 268303 786 2943 0 323439 0
[pid=29116/tid=29117] ppid=29113 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1337528320 268303 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29116/tid=29118] ppid=29113 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1337528320 268303 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29116/tid=29119] ppid=29113 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222808 1337528320 268303 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.14 2.13 2.09 3/183 29120
/proc/meminfo: memFree=29292124/32872528 swapFree=496356/529060
[pid=29116] ppid=29113 vsize=1306180 CPUtime=6.28 cores=0,2,4,6
/proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 267464 0 0 0 594 34 0 0 20 0 4 0 12222807 1337528320 268305 33554432000 4194304 16246674 140737437626736 140737437609736 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29116/statm: 326545 268305 787 2943 0 323439 0
[pid=29116/tid=29117] ppid=29113 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1337528320 268305 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29116/tid=29118] ppid=29113 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1337528320 268305 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29116/tid=29119] ppid=29113 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222808 1337528320 268305 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.12 2.13 2.08 4/183 29120
/proc/meminfo: memFree=29291432/32872528 swapFree=496356/529060
[pid=29116] ppid=29113 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 267618 0 0 0 1234 35 0 0 20 0 4 0 12222807 1338576896 268459 33554432000 4194304 16246674 140737437626736 140737437609736 5545898 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29116/statm: 326801 268459 787 2943 0 323695 0
[pid=29116/tid=29117] ppid=29113 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1338576896 268459 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29116/tid=29118] ppid=29113 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1338576896 268459 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29116/tid=29119] ppid=29113 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222808 1338576896 268459 33554432000 4194304 16246674 140737437626736 140411462999216 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.10 2.12 2.08 3/183 29120
/proc/meminfo: memFree=29291708/32872528 swapFree=496356/529060
[pid=29116] ppid=29113 vsize=1307204 CPUtime=25.49 cores=0,2,4,6
/proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 267664 0 0 0 2514 35 0 0 20 0 4 0 12222807 1338576896 268505 33554432000 4194304 16246674 140737437626736 140737437609736 5545796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29116/statm: 326801 268505 789 2943 0 323695 0
[pid=29116/tid=29117] ppid=29113 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1338576896 268505 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29116/tid=29118] ppid=29113 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1338576896 268505 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29116/tid=29119] ppid=29113 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222808 1338576896 268505 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.13 2.13 2.09 3/184 29123
/proc/meminfo: memFree=29289824/32872528 swapFree=496356/529060
[pid=29116] ppid=29113 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 267693 0 0 0 5073 35 0 0 20 0 4 0 12222807 1338576896 268534 33554432000 4194304 16246674 140737437626736 140737437609736 5668682 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29116/statm: 326801 268534 790 2943 0 323695 0
[pid=29116/tid=29117] ppid=29113 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1338576896 268534 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29116/tid=29118] ppid=29113 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1338576896 268534 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29116/tid=29119] ppid=29113 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222808 1338576896 268534 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.09 2.12 2.09 4/183 29125
/proc/meminfo: memFree=29288812/32872528 swapFree=496356/529060
[pid=29116] ppid=29113 vsize=1308228 CPUtime=102.28 cores=0,2,4,6
/proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 267916 0 0 0 10192 36 0 0 20 0 4 0 12222807 1339625472 268757 33554432000 4194304 16246674 140737437626736 140737437609736 6012316 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29116/statm: 327057 268757 790 2943 0 323951 0
[pid=29116/tid=29117] ppid=29113 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1339625472 268757 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29116/tid=29118] ppid=29113 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1339625472 268757 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29116/tid=29119] ppid=29113 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222808 1339625472 268757 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1308228


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

/proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269455 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1311300

[startup+1302.3 s]
/proc/loadavg: 2.03 2.05 2.04 3/183 29154
/proc/meminfo: memFree=29282624/32872528 swapFree=496356/529060
[pid=29116] ppid=29113 vsize=1311300 CPUtime=1301.88 cores=0,2,4,6
/proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 269026 0 0 0 130140 48 0 0 20 0 4 0 12222807 1342771200 269455 33554432000 4194304 16246674 140737437626736 140737437608640 5553712 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29116/statm: 327825 269455 791 2943 0 324719 0
[pid=29116/tid=29117] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269455 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29116/tid=29118] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269455 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29116/tid=29119] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269455 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1311300

[startup+1362.3 s]
/proc/loadavg: 2.21 2.08 2.05 3/183 29156
/proc/meminfo: memFree=29282512/32872528 swapFree=496356/529060
[pid=29116] ppid=29113 vsize=1311300 CPUtime=1361.84 cores=0,2,4,6
/proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 269082 0 0 0 136136 48 0 0 20 0 4 0 12222807 1342771200 269464 33554432000 4194304 16246674 140737437626736 140737437608640 5823627 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29116/statm: 327825 269464 791 2943 0 324719 0
[pid=29116/tid=29117] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269464 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29116/tid=29118] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269464 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29116/tid=29119] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269464 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1311300

[startup+1422.3 s]
/proc/loadavg: 2.24 2.11 2.06 3/183 29157
/proc/meminfo: memFree=29282276/32872528 swapFree=496356/529060
[pid=29116] ppid=29113 vsize=1311300 CPUtime=1421.84 cores=0,2,4,6
/proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 269103 0 0 0 142135 49 0 0 20 0 4 0 12222807 1342771200 269479 33554432000 4194304 16246674 140737437626736 140737437608640 5545796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29116/statm: 327825 269479 791 2943 0 324719 0
[pid=29116/tid=29117] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269479 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29116/tid=29118] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269479 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29116/tid=29119] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269479 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1311300

[startup+1482.3 s]
/proc/loadavg: 2.16 2.10 2.06 3/183 29158
/proc/meminfo: memFree=29282516/32872528 swapFree=496356/529060
[pid=29116] ppid=29113 vsize=1311300 CPUtime=1481.82 cores=0,2,4,6
/proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 269103 0 0 0 148133 49 0 0 20 0 4 0 12222807 1342771200 269479 33554432000 4194304 16246674 140737437626736 140737437608640 5822224 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29116/statm: 327825 269479 791 2943 0 324719 0
[pid=29116/tid=29117] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269479 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29116/tid=29118] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269479 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29116/tid=29119] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269479 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1311300

[startup+1542.31 s]
/proc/loadavg: 2.22 2.12 2.07 3/183 29159
/proc/meminfo: memFree=29282252/32872528 swapFree=496356/529060
[pid=29116] ppid=29113 vsize=1311300 CPUtime=1541.82 cores=0,2,4,6
/proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 269201 0 0 0 154132 50 0 0 20 0 4 0 12222807 1342771200 269577 33554432000 4194304 16246674 140737437626736 140737437608640 13946543 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29116/statm: 327825 269577 791 2943 0 324719 0
[pid=29116/tid=29117] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269577 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29116/tid=29118] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269577 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29116/tid=29119] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269577 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1311300

[startup+1602.3 s]
/proc/loadavg: 2.17 2.12 2.07 3/183 29160
/proc/meminfo: memFree=29282228/32872528 swapFree=496356/529060
[pid=29116] ppid=29113 vsize=1311300 CPUtime=1601.8 cores=0,2,4,6
/proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 269201 0 0 0 160129 51 0 0 20 0 4 0 12222807 1342771200 269577 33554432000 4194304 16246674 140737437626736 140737437608640 6012310 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29116/statm: 327825 269577 791 2943 0 324719 0
[pid=29116/tid=29117] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269577 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29116/tid=29118] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269577 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29116/tid=29119] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269577 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1311300

[startup+1662.3 s]
/proc/loadavg: 2.06 2.10 2.07 3/183 29162
/proc/meminfo: memFree=29282200/32872528 swapFree=496356/529060
[pid=29116] ppid=29113 vsize=1311300 CPUtime=1661.79 cores=0,2,4,6
/proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 269201 0 0 0 166128 51 0 0 20 0 4 0 12222807 1342771200 269577 33554432000 4194304 16246674 140737437626736 140737437608640 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29116/statm: 327825 269577 791 2943 0 324719 0
[pid=29116/tid=29117] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269577 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29116/tid=29118] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269577 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29116/tid=29119] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269577 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1311300

[startup+1722.3 s]
/proc/loadavg: 2.09 2.09 2.07 3/183 29163
/proc/meminfo: memFree=29282184/32872528 swapFree=496356/529060
[pid=29116] ppid=29113 vsize=1311300 CPUtime=1721.79 cores=0,2,4,6
/proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 269201 0 0 0 172127 52 0 0 20 0 4 0 12222807 1342771200 269577 33554432000 4194304 16246674 140737437626736 140737437608640 6023058 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29116/statm: 327825 269577 791 2943 0 324719 0
[pid=29116/tid=29117] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269577 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29116/tid=29118] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269577 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29116/tid=29119] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269577 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1311300

[startup+1782.3 s]
/proc/loadavg: 2.08 2.09 2.07 3/183 29164
/proc/meminfo: memFree=29281560/32872528 swapFree=496356/529060
[pid=29116] ppid=29113 vsize=1311300 CPUtime=1781.77 cores=0,2,4,6
/proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 269242 0 0 0 178125 52 0 0 20 0 4 0 12222807 1342771200 269618 33554432000 4194304 16246674 140737437626736 140737437609736 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29116/statm: 327825 269618 791 2943 0 324719 0
[pid=29116/tid=29117] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269618 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29116/tid=29118] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269618 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29116/tid=29119] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269618 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1311300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.06 2.08 2.07 3/183 29213
/proc/meminfo: memFree=29279120/32872528 swapFree=496356/529060
[pid=29116] ppid=29113 vsize=1311300 CPUtime=1800.07 cores=0,2,4,6
/proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 269242 0 0 0 179955 52 0 0 20 0 4 0 12222807 1342771200 269618 33554432000 4194304 16246674 140737437626736 140737437608640 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29116/statm: 327825 269618 791 2943 0 324719 0
[pid=29116/tid=29117] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269618 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29116/tid=29118] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269618 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29116/tid=29119] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269618 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1311300

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.09
CPU user time (s): 1799.56
CPU system time (s): 0.528919
CPU usage (%): 99.971
Max. virtual memory (cumulated for all children) (KiB): 1311300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.528919
maximum resident set size= 1078472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269242
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 480
involuntary context switches= 2057

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.89126 second user time and 6.63499 second system time

The end

Launcher Data

Begin job on node141 at 2016-06-16 20:29:34
IDJOB=4096071
IDBENCH=107562
IDSOLVER=2542
FILE ID=node141/4096071-1466101774
RUNJOBID= node141-1466098167-28725
PBS_JOBID= 19904052
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/subsetcard/normalized-subsetcard-eq-random4regular-80.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4096071-1466101774/watcher-4096071-1466101774 -o /tmp/evaluation-result-4096071-1466101774/solver-4096071-1466101774 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466098167-28725 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096071-1466101774.opb

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

MD5SUM BENCH= 59d94da41177a29ab8da7774c6b2954c
RANDOM SEED=156961422

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:        30364800 kB
Buffers:           50216 kB
Cached:           151784 kB
SwapCached:         2880 kB
Active:          1192184 kB
Inactive:          81216 kB
Active(anon):    1071460 kB
Inactive(anon):     2156 kB
Active(file):     120724 kB
Inactive(file):    79060 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67098996 kB
Dirty:             32796 kB
Writeback:             0 kB
AnonPages:       1674708 kB
Mapped:            10292 kB
Shmem:                 0 kB
Slab:             571548 kB
SReclaimable:      14424 kB
SUnreclaim:       557124 kB
KernelStack:        1520 kB
PageTables:         7172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1745788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    108544 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= 71696 MiB
End job on node141 at 2016-06-16 20:59:35