0.00/0.00	c 2016-06-18T02:04:29+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-4099881-1466208269.opb"]
0.00/0.01	c use --random-gen="1866115839 4197377879 3465795358 80747961 2780325601 4202184697 1495107154 3056230019 3696449448 3518776067 4193044955 2517483508 1313533034 2330261317 223273195 1603533090 1487961548 1300784832 1603210599 3767586948 1692904258 4274265109 4004180267 257837180 3336789559 2631549830 2561312027 3364183312 2829974061 1690152317 2273208143 3943991368 1016271858 1365632351 613539244 1398960040 4113785501 1432565576 266045848 1217079837 3930690608 3502976150 184193335 1794380705 3578551475 928053138 943091559 649924928 2202612129 141035741 1182770903 4039549760 2469581679 1040329831 3607153232 189022977 1685555475 2817002774 2528480112 2008260908 3834674500 165030076 2500938132 3920276694 138184151 3605868953 264801736 1398686090 2818404817 2981722168 2129976935 2108451178 4109314442 3646043354 1024021214 107281640 984089952 2629669336 3043267557 1468632411 2821569240 2267275532 4180646330 847623525 737574661 4097094543 1366097971 2866775434 456239028 2510380828 2375625522 3525801684 3564721200 685917755 1334740436 3778335029 950577244 930208838 2556781890 3829520973 354180556 2163916979 4081936956 194121823 1639536386 396284376 2080621576 2062141201 2502896530 3801551278 4146809473 3616197610 2613902169 3197925525 1254730483 944752364 4024487619 3407731804 1882943467 2883211460 2282927612 3842153823 496044638 2541821761 363187683 1271129976 3116041708 1857254186 1129170657 2184891656 1602667265 358008129 2104571131 431753396 958321517 1606060143 1861661769 50900195 2499487090 1946042457 3774465009 3648439699 2668075710 4219232279 1748728310 2895692129 1556486352 3739230587 3348783283 53495414 1372042963 1180513191 2370358498 3936064780 2181045959 1278406775 2609817252 4635641 2513310645 2784040641 991437928 2553454790 3434361142 864282395 2542583143 3876877935 610599652 2415825812 4238232372 3507248572 493122941 466368394 1290426906 2052777048 2477442761 1296366684 3790304307 255365840 4277823034 2927844513 2160559052 765629348 3522152514 2432300082 3986325204 3221379080 250280433 4228727319 1340166744 3729878820 1947323258 2645403578 1315803219 1716541462 3310187523 1533221910 1986830839 207861406 1131892199 2919972452 217277540 4061419186 2424014375 3353769246 3092062542 2819552768 1185438066 101196190 2243680479 4222781451 2783961542 1764305267 931265670 512033451 3514263018 4094106359 1671605835 1303589616 755372805 3616420285 867686183 2905358719 453146470 2636195435 3549755399 2664028559 1600892703 2053121431 1708501159 985892830 449696237 3814479356 802395778 228401561 3275471751 2027787459 344048217 2940191587 2144450379 2419844579 3223315250 697433733 3553207198 3513611384 1443629486 164863930 369683791 1344806137 3374778250 4021042347 1510017019 1476749494 1655775126 2444763670 36368676 179409864 255 362436" option to reproduce the execution
0.00/0.01	c #vars 744
0.00/0.01	c #constraints 34
0.00/0.02	c BCD2: Hardening is enabled.
0.00/0.02	c BCD2: BiasedSearch is enabled.
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 |      262      0 |      374 |        0
0.00/0.06	c  0.0s |       1 |      289 |      100 |      262      0 |      374 |        0
0.09/0.15	c  0.1s |       2 |      878 |      250 |      289      0 |      374 |        0
0.19/0.27	c  0.2s |       3 |     1483 |      475 |      318      0 |      374 |        0
0.39/0.44	c  0.4s |       4 |     2395 |      813 |      350      0 |      374 |        0
0.69/0.74	c  0.7s |       5 |     4028 |     1320 |      386      1 |      374 |        0
1.09/1.16	c  1.1s |       6 |     5806 |     2081 |      468      3 |      374 |        0
1.99/2.04	c  2.0s |       7 |     8549 |     3223 |      515      5 |      374 |        0
2.69/2.75	c  2.7s |       8 |    13275 |     4936 |      567      7 |      374 |        0
4.19/4.25	c  4.2s |       9 |    19495 |     7506 |      624     12 |      374 |        0
5.69/5.73	c  5.7s |      10 |    25496 |    11361 |      687     18 |      374 |        0
7.68/7.77	c  7.8s |      10 |    38752 |    16561 |      687     26 |      374 |        0
7.89/7.97	c  7.9s |      11 |    40366 |    17144 |      756     26 |      374 |        0
9.88/10.00	c 10.0s |      11 |    49926 |    23144 |      756     35 |      374 |        0
10.88/10.93	c 10.9s |      12 |    53917 |    25819 |      832     39 |      374 |        0
12.88/12.97	c 12.9s |      12 |    70312 |    29819 |      832     44 |      374 |        0
14.98/15.01	c 15.0s |      12 |    77049 |    32719 |      832     48 |      374 |        0
16.98/17.03	c 17.0s |      12 |    92392 |    36819 |      832     54 |      374 |        0
17.88/17.95	c 17.9s |      13 |    99368 |    38832 |      916     56 |      374 |        0
19.89/19.98	c 20.0s |      13 |   112254 |    42832 |      916     62 |      374 |        0
21.98/22.01	c 22.0s |      13 |   122144 |    46532 |      916     66 |      374 |        0
23.99/24.03	c 24.0s |      13 |   132592 |    50232 |      916     71 |      374 |        0
25.99/26.07	c 26.0s |      13 |   141535 |    53632 |      916     76 |      374 |        0
28.09/28.12	c 28.1s |      13 |   151082 |    56932 |      916     80 |      374 |        0
29.09/29.13	c 29.1s |      14 |   155344 |    58352 |     1008     82 |      374 |        0
31.09/31.16	c 31.1s |      14 |   165361 |    62852 |     1008     87 |      374 |        0
33.10/33.18	c 33.2s |      14 |   178366 |    67452 |     1008     93 |      374 |        0
35.19/35.20	c 35.2s |      14 |   186386 |    71952 |     1008     98 |      374 |        0
37.19/37.23	c 37.2s |      14 |   196436 |    76352 |     1008    104 |      374 |        0
39.19/39.25	c 39.2s |      14 |   201140 |    80852 |     1008    109 |      374 |        0
41.19/41.26	c 41.2s |      14 |   209187 |    85052 |     1008    114 |      374 |        0
42.49/42.53	c 42.5s |      15 |   214169 |    87632 |     1109    117 |      374 |        0
44.49/44.58	c 44.6s |      15 |   227952 |    91932 |     1109    122 |      374 |        0
46.58/46.60	c 46.6s |      15 |   243114 |    96332 |     1109    127 |      374 |        0
48.59/48.63	c 48.6s |      15 |   256870 |   100632 |     1109    132 |      374 |        0
50.58/50.64	c 50.6s |      15 |   270419 |   105032 |     1109    137 |      374 |        0
52.58/52.68	c 52.7s |      15 |   283366 |   109532 |     1109    143 |      374 |        0
54.68/54.72	c 54.7s |      15 |   295917 |   113932 |     1109    148 |      374 |        0
56.68/56.76	c 56.7s |      15 |   308256 |   118232 |     1109    153 |      374 |        0
58.78/58.80	c 58.8s |      15 |   319652 |   122732 |     1109    158 |      374 |        0
60.78/60.81	c 60.8s |      15 |   332127 |   127232 |     1109    163 |      374 |        0
62.68/62.74	c 62.7s |      16 |   340915 |   131552 |     1220    168 |      374 |        0
64.68/64.74	c 64.7s |      16 |   354749 |   135252 |     1220    172 |      374 |        0
66.68/66.75	c 66.7s |      16 |   364406 |   138052 |     1220    175 |      374 |        0
68.68/68.78	c 68.8s |      16 |   375913 |   141352 |     1220    179 |      374 |        0
70.68/70.79	c 70.8s |      16 |   384675 |   144952 |     1220    183 |      374 |        0
72.78/72.83	c 72.8s |      16 |   393001 |   148952 |     1220    187 |      374 |        0
74.78/74.84	c 74.8s |      16 |   401509 |   152252 |     1220    191 |      374 |        0
76.88/76.90	c 76.9s |      16 |   411506 |   155852 |     1220    195 |      374 |        0
78.88/78.94	c 78.9s |      16 |   425407 |   159352 |     1220    198 |      374 |        0
80.98/81.00	c 81.0s |      16 |   436541 |   162652 |     1220    202 |      374 |        0
82.98/83.02	c 83.0s |      16 |   446812 |   166152 |     1220    206 |      374 |        0
84.98/85.04	c 85.0s |      16 |   461118 |   170052 |     1220    211 |      374 |        0
86.98/87.07	c 87.1s |      16 |   474016 |   173652 |     1220    215 |      374 |        0
89.07/89.11	c 89.1s |      16 |   486707 |   178252 |     1220    220 |      374 |        0
91.07/91.17	c 91.1s |      16 |   496448 |   182052 |     1220    224 |      374 |        0
93.07/93.19	c 93.2s |      16 |   508609 |   186152 |     1220    228 |      374 |        0
95.07/95.20	c 95.2s |      16 |   519512 |   190152 |     1220    233 |      374 |        0
97.17/97.23	c 97.2s |      16 |   530149 |   194052 |     1220    237 |      374 |        0
98.87/98.98	c 99.0s |      17 |   540756 |   197432 |     1342    241 |      374 |        0
100.97/101.00	c  100s |      17 |   551383 |   202732 |     1342    246 |      374 |        0
102.97/103.00	c  102s |      17 |   563917 |   207732 |     1342    251 |      374 |        0
104.97/105.02	c  104s |      17 |   576271 |   212332 |     1342    256 |      374 |        0
106.97/107.03	c  107s |      17 |   584560 |   216532 |     1342    260 |      374 |        0
108.98/109.06	c  109s |      17 |   595401 |   221332 |     1342    265 |      374 |        0
111.07/111.10	c  111s |      17 |   603085 |   225332 |     1342    269 |      374 |        0
113.07/113.13	c  113s |      17 |   612638 |   229632 |     1342    274 |      374 |        0
115.07/115.14	c  115s |      17 |   626013 |   234132 |     1342    279 |      374 |        0
117.07/117.15	c  117s |      17 |   637633 |   239832 |     1342    284 |      374 |        0
119.07/119.18	c  119s |      17 |   645455 |   244232 |     1342    289 |      374 |        0
121.07/121.18	c  121s |      17 |   654293 |   248432 |     1342    293 |      374 |        0
123.17/123.20	c  123s |      17 |   662160 |   253232 |     1342    298 |      374 |        0
125.17/125.26	c  125s |      17 |   670397 |   256632 |     1342    302 |      374 |        0
127.27/127.30	c  127s |      17 |   676153 |   259432 |     1342    305 |      374 |        0
129.27/129.33	c  129s |      17 |   680689 |   261932 |     1342    307 |      374 |        0
131.27/131.37	c  131s |      17 |   686292 |   265732 |     1342    311 |      374 |        0
133.36/133.41	c  133s |      17 |   696891 |   269832 |     1342    316 |      374 |        0
135.37/135.41	c  135s |      17 |   709427 |   274132 |     1342    320 |      374 |        0
137.36/137.41	c  137s |      17 |   718850 |   278232 |     1342    324 |      374 |        0
139.36/139.45	c  139s |      17 |   726217 |   282332 |     1342    328 |      374 |        0
141.36/141.47	c  141s |      17 |   733828 |   286432 |     1342    332 |      374 |        0
143.36/143.49	c  143s |      17 |   742025 |   290532 |     1342    337 |      374 |        0
145.46/145.55	c  145s |      17 |   754215 |   294432 |     1477    341 |      374 |        0
146.26/146.35	c  146s |      18 |   757604 |   296252 |     1477    342 |      374 |        0
148.27/148.39	c  148s |      18 |   768611 |   300352 |     1477    346 |      374 |        0
150.37/150.40	c  150s |      18 |   777880 |   304052 |     1477    350 |      374 |        0
152.37/152.44	c  152s |      18 |   786889 |   307552 |     1477    353 |      374 |        0
154.37/154.46	c  154s |      18 |   799223 |   312252 |     1477    357 |      374 |        0
156.38/156.47	c  156s |      18 |   809052 |   316052 |     1477    361 |      374 |        0
158.37/158.49	c  158s |      18 |   818277 |   319552 |     1477    364 |      374 |        0
160.47/160.52	c  160s |      18 |   830334 |   324052 |     1477    369 |      374 |        0
162.47/162.55	c  162s |      18 |   841285 |   328052 |     1477    372 |      374 |        0
164.47/164.58	c  164s |      18 |   851486 |   331852 |     1477    376 |      374 |        0
166.57/166.60	c  166s |      18 |   859103 |   335152 |     1477    379 |      374 |        0
168.57/168.61	c  168s |      18 |   869497 |   339252 |     1477    383 |      374 |        0
170.57/170.65	c  170s |      18 |   880264 |   343752 |     1477    387 |      374 |        0
172.57/172.68	c  172s |      18 |   889907 |   347452 |     1477    391 |      374 |        0
174.57/174.70	c  174s |      18 |   898485 |   351352 |     1477    394 |      374 |        0
176.67/176.71	c  176s |      18 |   907478 |   355252 |     1477    398 |      374 |        0
178.67/178.71	c  178s |      18 |   914939 |   358352 |     1477    401 |      374 |        0
180.67/180.76	c  180s |      18 |   923188 |   361952 |     1477    405 |      374 |        0
182.67/182.79	c  182s |      18 |   934451 |   366352 |     1477    409 |      374 |        0
184.76/184.82	c  184s |      18 |   943883 |   370252 |     1477    412 |      374 |        0
186.76/186.83	c  186s |      18 |   953499 |   374052 |     1477    416 |      374 |        0
188.76/188.87	c  188s |      18 |   965672 |   378652 |     1477    420 |      374 |        0
190.76/190.89	c  190s |      18 |   976935 |   382752 |     1477    424 |      374 |        0
192.76/192.89	c  192s |      18 |   986866 |   386852 |     1477    428 |      374 |        0
194.87/194.95	c  194s |      18 |   995159 |   390452 |     1477    431 |      374 |        0
196.86/196.99	c  196s |      18 |  1006006 |   394452 |     1477    435 |      374 |        0
198.96/199.07	c  199s |      18 |  1015833 |   398152 |     1477    439 |      374 |        0
200.96/201.09	c  201s |      18 |  1025058 |   401652 |     1477    442 |      374 |        0
203.06/203.14	c  203s |      18 |  1033661 |   405252 |     1477    445 |      374 |        0
205.06/205.17	c  205s |      18 |  1040743 |   408452 |     1477    449 |      374 |        0
207.06/207.18	c  207s |      18 |  1051322 |   412752 |     1477    453 |      374 |        0
209.17/209.24	c  209s |      18 |  1062440 |   416952 |     1477    457 |      374 |        0
211.16/211.25	c  211s |      18 |  1071862 |   420852 |     1477    460 |      374 |        0
213.16/213.26	c  213s |      18 |  1081354 |   424552 |     1477    464 |      374 |        0
215.16/215.27	c  215s |      18 |  1091606 |   428252 |     1477    467 |      374 |        0
217.16/217.29	c  217s |      18 |  1101838 |   432152 |     1477    471 |      374 |        0
219.26/219.34	c  219s |      18 |  1111344 |   436052 |     1477    475 |      374 |        0
221.26/221.37	c  221s |      18 |  1122001 |   440152 |     1477    478 |      374 |        0
223.25/223.37	c  223s |      18 |  1130160 |   443752 |     1625    482 |      374 |        0
223.75/223.89	c  223s |      19 |  1131253 |   444482 |     1625    482 |      374 |        0
225.85/225.93	c  225s |      19 |  1141026 |   448682 |     1625    486 |      374 |        0
227.95/228.00	c  227s |      19 |  1146292 |   451682 |     1625    488 |      374 |        0
229.96/230.09	c  230s |      19 |  1149579 |   454082 |     1625    491 |      374 |        0
232.05/232.16	c  232s |      19 |  1158743 |   458182 |     1625    494 |      374 |        0
234.15/234.20	c  234s |      19 |  1164544 |   460482 |     1625    496 |      374 |        0
236.15/236.21	c  236s |      19 |  1169793 |   462882 |     1625    498 |      374 |        0
238.15/238.27	c  238s |      19 |  1175148 |   465082 |     1625    500 |      374 |        0
240.25/240.30	c  240s |      19 |  1180244 |   467182 |     1625    502 |      374 |        0
242.25/242.31	c  242s |      19 |  1189187 |   470282 |     1625    505 |      374 |        0
244.25/244.34	c  244s |      19 |  1205177 |   475182 |     1625    510 |      374 |        0
246.25/246.35	c  246s |      19 |  1221208 |   480482 |     1625    514 |      374 |        0
248.25/248.39	c  248s |      19 |  1234399 |   485882 |     1625    520 |      374 |        0
250.35/250.45	c  250s |      19 |  1248530 |   490882 |     1625    524 |      374 |        0
252.35/252.45	c  252s |      19 |  1261646 |   495782 |     1625    529 |      374 |        0
254.35/254.45	c  254s |      19 |  1275966 |   500782 |     1625    534 |      374 |        0
256.36/256.48	c  256s |      19 |  1288942 |   505582 |     1625    538 |      374 |        0
258.35/258.49	c  258s |      19 |  1300929 |   510282 |     1625    543 |      374 |        0
260.45/260.50	c  260s |      19 |  1314342 |   515582 |     1625    548 |      374 |        0
262.45/262.53	c  262s |      19 |  1327879 |   520582 |     1625    552 |      374 |        0
264.45/264.55	c  264s |      19 |  1341526 |   526182 |     1625    557 |      374 |        0
266.45/266.56	c  266s |      19 |  1357213 |   530882 |     1625    562 |      374 |        0
268.46/268.59	c  268s |      19 |  1370149 |   536082 |     1625    567 |      374 |        0
270.55/270.62	c  270s |      19 |  1386546 |   540782 |     1625    571 |      374 |        0
272.55/272.63	c  272s |      19 |  1399714 |   545482 |     1625    576 |      374 |        0
274.55/274.67	c  274s |      19 |  1409249 |   550282 |     1625    580 |      374 |        0
276.55/276.67	c  276s |      19 |  1418027 |   554682 |     1625    584 |      374 |        0
278.65/278.73	c  278s |      19 |  1426199 |   559382 |     1625    589 |      374 |        0
280.65/280.73	c  280s |      19 |  1435012 |   563682 |     1625    593 |      374 |        0
282.65/282.77	c  282s |      19 |  1443454 |   568182 |     1625    597 |      374 |        0
284.75/284.80	c  284s |      19 |  1455352 |   572482 |     1625    601 |      374 |        0
286.75/286.81	c  286s |      19 |  1467995 |   576382 |     1625    604 |      374 |        0
288.75/288.85	c  288s |      19 |  1485315 |   580982 |     1625    608 |      374 |        0
290.74/290.88	c  290s |      19 |  1492228 |   585382 |     1625    612 |      374 |        0
292.84/292.90	c  292s |      19 |  1497935 |   589582 |     1625    616 |      374 |        0
294.74/294.90	c  294s |      19 |  1503291 |   594082 |     1625    620 |      374 |        0
296.84/296.94	c  296s |      19 |  1509950 |   597882 |     1625    623 |      374 |        0
298.84/298.98	c  298s |      19 |  1517279 |   601582 |     1625    626 |      374 |        0
300.94/301.00	c  300s |      19 |  1527455 |   605582 |     1625    630 |      374 |        0
302.94/303.00	c  302s |      19 |  1538066 |   609182 |     1625    633 |      374 |        0
304.94/305.02	c  304s |      19 |  1549819 |   613282 |     1625    637 |      374 |        0
306.95/307.06	c  307s |      19 |  1558909 |   617582 |     1625    641 |      374 |        0
308.94/309.08	c  309s |      19 |  1573413 |   621582 |     1625    644 |      374 |        0
311.04/311.11	c  311s |      19 |  1585869 |   625582 |     1625    648 |      374 |        0
313.04/313.13	c  313s |      19 |  1597663 |   629582 |     1625    651 |      374 |        0
315.04/315.18	c  315s |      19 |  1607394 |   634782 |     1625    656 |      374 |        0
317.14/317.21	c  317s |      19 |  1615761 |   639382 |     1625    660 |      374 |        0
319.14/319.25	c  319s |      19 |  1622688 |   643282 |     1625    664 |      374 |        0
321.14/321.27	c  321s |      19 |  1630443 |   647682 |     1625    667 |      374 |        0
323.14/323.27	c  323s |      19 |  1637709 |   651482 |     1625    671 |      374 |        0
325.24/325.33	c  325s |      19 |  1645094 |   655882 |     1625    675 |      374 |        0
327.24/327.35	c  327s |      19 |  1655782 |   659882 |     1625    678 |      374 |        0
329.24/329.36	c  329s |      19 |  1667416 |   663782 |     1788    681 |      374 |        0
330.93/331.07	c  331s |      20 |  1677694 |   666827 |     1788    684 |      374 |        0
333.03/333.10	c  333s |      20 |  1690977 |   671327 |     1788    688 |      374 |        0
335.03/335.15	c  335s |      20 |  1705263 |   675227 |     1788    691 |      374 |        0
337.03/337.18	c  337s |      20 |  1720093 |   679427 |     1788    695 |      374 |        0
339.13/339.23	c  339s |      20 |  1734420 |   683927 |     1788    699 |      374 |        0
341.15/341.26	c  341s |      20 |  1743207 |   688227 |     1788    702 |      374 |        0
343.14/343.28	c  343s |      20 |  1753124 |   692227 |     1788    706 |      374 |        0
345.24/345.31	c  345s |      20 |  1762442 |   696527 |     1788    709 |      374 |        0
347.24/347.35	c  347s |      20 |  1768556 |   700427 |     1788    712 |      374 |        0
349.24/349.36	c  349s |      20 |  1774837 |   704127 |     1788    716 |      374 |        0
351.24/351.37	c  351s |      20 |  1783307 |   708127 |     1788    719 |      374 |        0
353.34/353.41	c  353s |      20 |  1803954 |   713327 |     1788    724 |      374 |        0
355.35/355.43	c  355s |      20 |  1820259 |   718327 |     1788    728 |      374 |        0
357.34/357.45	c  357s |      20 |  1835728 |   723427 |     1788    732 |      374 |        0
359.34/359.46	c  359s |      20 |  1845163 |   727027 |     1788    735 |      374 |        0
361.34/361.49	c  361s |      20 |  1856996 |   730827 |     1788    738 |      374 |        0
363.44/363.52	c  363s |      20 |  1867358 |   734327 |     1788    741 |      374 |        0
365.44/365.55	c  365s |      20 |  1878204 |   737927 |     1788    744 |      374 |        0
367.45/367.59	c  367s |      20 |  1892095 |   742127 |     1788    748 |      374 |        0
369.54/369.63	c  369s |      20 |  1902374 |   745727 |     1788    751 |      374 |        0
371.54/371.69	c  371s |      20 |  1914489 |   749627 |     1788    754 |      374 |        0
373.64/373.71	c  373s |      20 |  1924460 |   753227 |     1788    757 |      374 |        0
375.64/375.73	c  375s |      20 |  1933623 |   756127 |     1788    760 |      374 |        0
377.64/377.75	c  377s |      20 |  1945803 |   760127 |     1788    763 |      374 |        0
379.64/379.77	c  379s |      20 |  1956713 |   763527 |     1788    766 |      374 |        0
381.64/381.79	c  381s |      20 |  1967983 |   766827 |     1788    769 |      374 |        0
383.73/383.85	c  383s |      20 |  1982219 |   770327 |     1788    772 |      374 |        0
385.73/385.89	c  385s |      20 |  1996867 |   773927 |     1788    775 |      374 |        0
387.83/387.92	c  387s |      20 |  2008720 |   777527 |     1788    778 |      374 |        0
389.83/389.93	c  389s |      20 |  2022150 |   781527 |     1788    781 |      374 |        0
391.83/391.94	c  391s |      20 |  2035663 |   785227 |     1788    784 |      374 |        0
393.94/394.01	c  393s |      20 |  2049122 |   788927 |     1788    787 |      374 |        0
395.93/396.05	c  396s |      20 |  2065665 |   793027 |     1788    791 |      374 |        0
397.93/398.08	c  398s |      20 |  2079335 |   796427 |     1788    794 |      374 |        0
400.03/400.11	c  400s |      20 |  2094425 |   800227 |     1788    797 |      374 |        0
402.03/402.16	c  402s |      20 |  2106075 |   803627 |     1788    800 |      374 |        0
404.13/404.23	c  404s |      20 |  2120066 |   807427 |     1788    803 |      374 |        0
406.13/406.27	c  406s |      20 |  2134640 |   811227 |     1788    807 |      374 |        0
408.14/408.27	c  408s |      20 |  2147930 |   814927 |     1788    810 |      374 |        0
410.23/410.30	c  410s |      20 |  2161597 |   818627 |     1788    813 |      374 |        0
412.23/412.33	c  412s |      20 |  2174441 |   822827 |     1788    816 |      374 |        0
414.23/414.36	c  414s |      20 |  2187906 |   827027 |     1788    820 |      374 |        0
416.33/416.40	c  416s |      20 |  2209147 |   831927 |     1788    824 |      374 |        0
418.33/418.42	c  418s |      20 |  2225083 |   836327 |     1788    828 |      374 |        0
420.34/420.46	c  420s |      20 |  2236906 |   840327 |     1788    831 |      374 |        0
422.43/422.54	c  422s |      20 |  2250108 |   844627 |     1788    835 |      374 |        0
424.43/424.57	c  424s |      20 |  2266192 |   849327 |     1788    839 |      374 |        0
426.43/426.58	c  426s |      20 |  2281182 |   853527 |     1788    843 |      374 |        0
428.52/428.61	c  428s |      20 |  2295710 |   857627 |     1788    846 |      374 |        0
430.52/430.63	c  430s |      20 |  2311180 |   862427 |     1788    850 |      374 |        0
432.52/432.64	c  432s |      20 |  2323036 |   866727 |     1788    854 |      374 |        0
434.53/434.66	c  434s |      20 |  2335727 |   870627 |     1788    857 |      374 |        0
436.52/436.68	c  436s |      20 |  2345025 |   875027 |     1788    861 |      374 |        0
438.52/438.69	c  438s |      20 |  2349358 |   879027 |     1788    864 |      374 |        0
440.62/440.72	c  440s |      20 |  2353339 |   881927 |     1788    867 |      374 |        0
442.62/442.73	c  442s |      20 |  2358724 |   885027 |     1788    869 |      374 |        0
444.62/444.76	c  444s |      20 |  2369923 |   889127 |     1788    873 |      374 |        0
446.63/446.80	c  446s |      20 |  2380340 |   893427 |     1788    876 |      374 |        0
448.72/448.80	c  448s |      20 |  2392015 |   898427 |     1788    880 |      374 |        0
450.72/450.81	c  450s |      20 |  2405110 |   903227 |     1788    884 |      374 |        0
452.72/452.83	c  452s |      20 |  2416492 |   908727 |     1788    889 |      374 |        0
454.72/454.87	c  454s |      20 |  2426878 |   913327 |     1788    893 |      374 |        0
456.82/456.92	c  456s |      20 |  2437114 |   917227 |     1788    896 |      374 |        0
458.83/458.92	c  458s |      20 |  2446476 |   920927 |     1788    899 |      374 |        0
460.82/460.98	c  460s |      20 |  2455966 |   924727 |     1788    902 |      374 |        0
462.92/463.04	c  463s |      20 |  2466167 |   928627 |     1788    906 |      374 |        0
464.92/465.07	c  465s |      20 |  2476142 |   932527 |     1788    909 |      374 |        0
467.02/467.11	c  467s |      20 |  2488235 |   937227 |     1788    913 |      374 |        0
469.02/469.16	c  469s |      20 |  2499418 |   941527 |     1788    916 |      374 |        0
471.12/471.21	c  471s |      20 |  2508476 |   945427 |     1788    920 |      374 |        0
473.12/473.23	c  473s |      20 |  2521952 |   949427 |     1788    923 |      374 |        0
475.12/475.27	c  475s |      20 |  2532564 |   953027 |     1788    926 |      374 |        0
477.22/477.30	c  477s |      20 |  2542324 |   956927 |     1788    929 |      374 |        0
479.22/479.35	c  479s |      20 |  2554328 |   961127 |     1788    933 |      374 |        0
481.21/481.36	c  481s |      20 |  2562688 |   964627 |     1788    936 |      374 |        0
483.31/483.40	c  483s |      20 |  2574821 |   969127 |     1788    939 |      374 |        0
485.31/485.43	c  485s |      20 |  2584052 |   972827 |     1788    943 |      374 |        0
487.32/487.46	c  487s |      20 |  2594184 |   977127 |     1788    946 |      374 |        0
489.41/489.50	c  489s |      20 |  2604564 |   981327 |     1788    950 |      374 |        0
491.41/491.50	c  491s |      20 |  2616049 |   985127 |     1788    953 |      374 |        0
493.41/493.52	c  493s |      20 |  2626833 |   988927 |     1788    956 |      374 |        0
495.41/495.52	c  495s |      20 |  2637828 |   992727 |     1788    959 |      374 |        0
497.41/497.58	c  497s |      20 |  2647611 |   996127 |     1967    962 |      374 |        0
499.52/499.63	c  499s |      20 |  2659928 |  1000027 |     1967    965 |      374 |        0
499.61/499.77	c  499s |      21 |  2660678 |  1000345 |     1967    965 |      374 |        0
501.62/501.78	c  501s |      21 |  2669985 |  1005145 |     1967    969 |      374 |        0
503.62/503.79	c  503s |      21 |  2676391 |  1009245 |     1967    972 |      374 |        0
505.72/505.83	c  505s |      21 |  2681944 |  1013145 |     1967    975 |      374 |        0
507.72/507.84	c  507s |      21 |  2693236 |  1017745 |     1967    979 |      374 |        0
509.72/509.84	c  509s |      21 |  2702775 |  1022545 |     1967    982 |      374 |        0
511.72/511.84	c  511s |      21 |  2711726 |  1027145 |     1967    986 |      374 |        0
513.72/513.85	c  513s |      21 |  2718717 |  1031345 |     1967    989 |      374 |        0
515.71/515.86	c  515s |      21 |  2727086 |  1035845 |     1967    992 |      374 |        0
517.81/517.90	c  517s |      21 |  2735729 |  1040245 |     1967    996 |      374 |        0
519.81/519.92	c  519s |      21 |  2743931 |  1044645 |     1967    999 |      374 |        0
521.81/521.97	c  521s |      21 |  2757338 |  1048845 |     1967   1002 |      374 |        0
523.81/523.99	c  523s |      21 |  2767682 |  1052945 |     1967   1005 |      374 |        0
525.92/526.02	c  525s |      21 |  2777262 |  1057145 |     1967   1009 |      374 |        0
527.91/528.03	c  528s |      21 |  2786433 |  1061845 |     1967   1012 |      374 |        0
529.91/530.06	c  530s |      21 |  2795091 |  1066145 |     1967   1015 |      374 |        0
532.01/532.12	c  532s |      21 |  2803175 |  1070045 |     1967   1018 |      374 |        0
534.01/534.14	c  534s |      21 |  2812188 |  1074045 |     1967   1021 |      374 |        0
536.01/536.18	c  536s |      21 |  2820170 |  1077845 |     1967   1024 |      374 |        0
538.11/538.21	c  538s |      21 |  2828762 |  1081645 |     1967   1027 |      374 |        0
540.11/540.25	c  540s |      21 |  2837086 |  1085545 |     1967   1030 |      374 |        0
542.11/542.29	c  542s |      21 |  2844883 |  1089245 |     1967   1033 |      374 |        0
544.21/544.32	c  544s |      21 |  2851715 |  1092545 |     1967   1036 |      374 |        0
546.21/546.33	c  546s |      21 |  2861408 |  1096545 |     1967   1039 |      374 |        0
548.30/548.40	c  548s |      21 |  2869759 |  1100345 |     1967   1042 |      374 |        0
550.30/550.41	c  550s |      21 |  2878651 |  1104345 |     1967   1045 |      374 |        0
552.31/552.45	c  552s |      21 |  2886096 |  1107945 |     1967   1047 |      374 |        0
554.30/554.50	c  554s |      21 |  2894613 |  1111945 |     1967   1050 |      374 |        0
556.40/556.54	c  556s |      21 |  2902395 |  1115345 |     1967   1053 |      374 |        0
558.40/558.56	c  558s |      21 |  2910325 |  1119045 |     1967   1056 |      374 |        0
560.50/560.61	c  560s |      21 |  2917878 |  1123245 |     1967   1059 |      374 |        0
562.50/562.64	c  562s |      21 |  2927022 |  1127145 |     1967   1062 |      374 |        0
564.50/564.69	c  564s |      21 |  2936512 |  1130945 |     1967   1065 |      374 |        0
566.51/566.70	c  566s |      21 |  2943952 |  1134445 |     1967   1068 |      374 |        0
568.60/568.72	c  568s |      21 |  2953384 |  1138245 |     1967   1071 |      374 |        0
570.60/570.76	c  570s |      21 |  2962461 |  1142045 |     1967   1074 |      374 |        0
572.60/572.79	c  572s |      21 |  2970665 |  1145845 |     1967   1076 |      374 |        0
574.70/574.83	c  574s |      21 |  2977228 |  1149345 |     1967   1079 |      374 |        0
576.70/576.87	c  576s |      21 |  2983916 |  1152945 |     1967   1082 |      374 |        0
578.71/578.88	c  578s |      21 |  2991174 |  1156545 |     1967   1085 |      374 |        0
580.80/580.92	c  580s |      21 |  2999622 |  1160845 |     1967   1088 |      374 |        0
582.80/582.95	c  582s |      21 |  3007091 |  1164645 |     1967   1091 |      374 |        0
584.80/584.96	c  584s |      21 |  3013105 |  1167945 |     1967   1093 |      374 |        0
586.90/587.02	c  586s |      21 |  3019815 |  1171545 |     1967   1096 |      374 |        0
588.90/589.04	c  589s |      21 |  3026814 |  1175645 |     1967   1099 |      374 |        0
590.90/591.07	c  591s |      21 |  3035549 |  1179745 |     1967   1103 |      374 |        0
593.00/593.12	c  593s |      21 |  3044694 |  1184045 |     1967   1106 |      374 |        0
595.00/595.14	c  595s |      21 |  3051536 |  1187645 |     1967   1109 |      374 |        0
597.00/597.16	c  597s |      21 |  3058920 |  1191445 |     1967   1112 |      374 |        0
599.00/599.19	c  599s |      21 |  3066528 |  1195245 |     1967   1115 |      374 |        0
601.09/601.22	c  601s |      21 |  3075425 |  1199045 |     1967   1117 |      374 |        0
603.09/603.26	c  603s |      21 |  3081714 |  1202545 |     1967   1120 |      374 |        0
605.10/605.28	c  605s |      21 |  3088481 |  1205845 |     1967   1123 |      374 |        0
607.09/607.30	c  607s |      21 |  3096481 |  1210045 |     1967   1126 |      374 |        0
609.19/609.32	c  609s |      21 |  3104828 |  1214545 |     1967   1129 |      374 |        0
611.19/611.35	c  611s |      21 |  3113172 |  1218345 |     1967   1132 |      374 |        0
613.19/613.37	c  613s |      21 |  3124652 |  1222245 |     1967   1135 |      374 |        0
615.19/615.38	c  615s |      21 |  3134139 |  1226045 |     1967   1138 |      374 |        0
617.20/617.39	c  617s |      21 |  3141742 |  1229445 |     1967   1141 |      374 |        0
619.30/619.44	c  619s |      21 |  3150979 |  1233045 |     1967   1144 |      374 |        0
621.29/621.48	c  621s |      21 |  3160550 |  1237045 |     1967   1147 |      374 |        0
623.39/623.51	c  623s |      21 |  3169814 |  1241245 |     1967   1150 |      374 |        0
625.39/625.52	c  625s |      21 |  3178855 |  1245745 |     1967   1153 |      374 |        0
627.39/627.54	c  627s |      21 |  3189582 |  1249845 |     1967   1157 |      374 |        0
629.39/629.56	c  629s |      21 |  3199067 |  1253745 |     1967   1160 |      374 |        0
631.50/631.62	c  631s |      21 |  3210236 |  1257845 |     1967   1163 |      374 |        0
633.50/633.67	c  633s |      21 |  3221288 |  1261945 |     1967   1166 |      374 |        0
635.60/635.71	c  635s |      21 |  3233284 |  1266045 |     1967   1169 |      374 |        0
637.60/637.73	c  637s |      21 |  3241435 |  1269545 |     1967   1172 |      374 |        0
639.60/639.73	c  639s |      21 |  3250155 |  1273045 |     1967   1174 |      374 |        0
641.60/641.73	c  641s |      21 |  3259067 |  1276845 |     1967   1177 |      374 |        0
643.70/643.82	c  643s |      21 |  3268533 |  1280845 |     1967   1180 |      374 |        0
645.70/645.88	c  645s |      21 |  3275000 |  1284545 |     1967   1183 |      374 |        0
647.80/647.91	c  647s |      21 |  3283662 |  1289045 |     1967   1187 |      374 |        0
649.80/649.95	c  649s |      21 |  3292814 |  1293645 |     1967   1190 |      374 |        0
651.79/651.96	c  651s |      21 |  3303979 |  1297945 |     1967   1194 |      374 |        0
653.79/653.97	c  653s |      21 |  3314916 |  1302645 |     1967   1197 |      374 |        0
655.79/655.97	c  655s |      21 |  3326464 |  1307345 |     1967   1201 |      374 |        0
657.80/657.98	c  657s |      21 |  3339317 |  1311545 |     1967   1204 |      374 |        0
659.79/659.98	c  659s |      21 |  3349377 |  1315445 |     1967   1207 |      374 |        0
661.89/662.02	c  661s |      21 |  3359667 |  1319145 |     1967   1210 |      374 |        0
663.89/664.03	c  664s |      21 |  3369455 |  1322845 |     1967   1213 |      374 |        0
665.89/666.08	c  666s |      21 |  3379926 |  1326845 |     1967   1216 |      374 |        0
667.99/668.12	c  668s |      21 |  3390556 |  1330645 |     1967   1219 |      374 |        0
670.00/670.17	c  670s |      21 |  3401433 |  1334645 |     1967   1222 |      374 |        0
672.10/672.22	c  672s |      21 |  3406473 |  1337545 |     1967   1224 |      374 |        0
674.09/674.22	c  674s |      21 |  3417271 |  1341245 |     1967   1227 |      374 |        0
676.09/676.27	c  676s |      21 |  3426431 |  1344845 |     1967   1230 |      374 |        0
678.09/678.28	c  678s |      21 |  3436192 |  1348345 |     1967   1233 |      374 |        0
680.19/680.31	c  680s |      21 |  3447535 |  1352645 |     1967   1236 |      374 |        0
682.19/682.35	c  682s |      21 |  3458923 |  1356145 |     1967   1239 |      374 |        0
684.20/684.36	c  684s |      21 |  3467658 |  1359945 |     1967   1242 |      374 |        0
686.29/686.41	c  686s |      21 |  3475871 |  1363845 |     1967   1245 |      374 |        0
688.29/688.43	c  688s |      21 |  3482626 |  1367245 |     1967   1247 |      374 |        0
690.29/690.44	c  690s |      21 |  3494910 |  1371345 |     1967   1250 |      374 |        0
692.29/692.45	c  692s |      21 |  3509286 |  1376145 |     1967   1254 |      374 |        0
694.29/694.46	c  694s |      21 |  3521473 |  1379345 |     1967   1257 |      374 |        0
696.39/696.50	c  696s |      21 |  3531052 |  1383245 |     1967   1260 |      374 |        0
698.38/698.55	c  698s |      21 |  3542147 |  1387645 |     1967   1263 |      374 |        0
700.38/700.59	c  700s |      21 |  3557216 |  1392245 |     1967   1267 |      374 |        0
702.48/702.64	c  702s |      21 |  3565826 |  1395645 |     1967   1269 |      374 |        0
704.48/704.66	c  704s |      21 |  3581034 |  1400345 |     1967   1273 |      374 |        0
706.48/706.67	c  706s |      21 |  3593603 |  1404845 |     1967   1277 |      374 |        0
708.49/708.69	c  708s |      21 |  3602601 |  1408445 |     1967   1279 |      374 |        0
710.59/710.72	c  710s |      21 |  3611589 |  1412245 |     1967   1282 |      374 |        0
712.58/712.77	c  712s |      21 |  3620010 |  1416045 |     1967   1285 |      374 |        0
714.68/714.81	c  714s |      21 |  3627916 |  1419445 |     1967   1288 |      374 |        0
716.68/716.82	c  716s |      21 |  3636478 |  1422445 |     1967   1290 |      374 |        0
718.68/718.87	c  718s |      21 |  3643332 |  1424545 |     1967   1292 |      374 |        0
720.68/720.87	c  720s |      21 |  3658150 |  1427945 |     1967   1294 |      374 |        0
722.69/722.89	c  722s |      21 |  3667935 |  1430845 |     1967   1297 |      374 |        0
724.68/724.89	c  724s |      21 |  3675829 |  1433345 |     1967   1299 |      374 |        0
726.78/726.92	c  726s |      21 |  3685643 |  1436645 |     1967   1301 |      374 |        0
728.78/728.94	c  728s |      21 |  3695932 |  1440145 |     1967   1304 |      374 |        0
730.78/730.98	c  730s |      21 |  3707088 |  1443645 |     1967   1307 |      374 |        0
732.88/733.00	c  732s |      21 |  3715348 |  1446745 |     1967   1309 |      374 |        0
734.89/735.01	c  734s |      21 |  3727090 |  1449845 |     1967   1312 |      374 |        0
736.88/737.04	c  737s |      21 |  3739728 |  1453345 |     1967   1314 |      374 |        0
738.88/739.09	c  739s |      21 |  3751479 |  1456645 |     1967   1317 |      374 |        0
740.98/741.15	c  741s |      21 |  3762566 |  1459845 |     1967   1320 |      374 |        0
742.98/743.18	c  743s |      21 |  3773939 |  1463545 |     1967   1322 |      374 |        0
745.08/745.24	c  745s |      21 |  3786508 |  1467145 |     1967   1325 |      374 |        0
747.08/747.25	c  747s |      21 |  3799957 |  1470445 |     1967   1328 |      374 |        0
749.08/749.28	c  749s |      21 |  3812248 |  1473845 |     1967   1331 |      374 |        0
751.08/751.28	c  751s |      21 |  3822799 |  1477345 |     1967   1333 |      374 |        0
753.18/753.32	c  753s |      21 |  3833717 |  1481245 |     1967   1336 |      374 |        0
755.18/755.37	c  755s |      21 |  3843198 |  1484445 |     1967   1339 |      374 |        0
757.27/757.42	c  757s |      21 |  3853139 |  1487845 |     1967   1342 |      374 |        0
759.27/759.45	c  759s |      21 |  3865185 |  1491145 |     2164   1344 |      374 |        0
761.37/761.51	c  761s |      21 |  3876149 |  1495245 |     2164   1347 |      374 |        0
763.38/763.54	c  763s |      21 |  3885181 |  1498845 |     2164   1350 |      374 |        0
764.47/764.62	c  764s |      22 |  3889224 |  1500622 |     2164   1351 |      374 |        0
766.47/766.66	c  766s |      22 |  3899677 |  1505222 |     2164   1354 |      374 |        0
768.56/768.70	c  768s |      22 |  3906658 |  1509222 |     2164   1357 |      374 |        0
770.56/770.74	c  770s |      22 |  3912742 |  1513122 |     2164   1360 |      374 |        0
772.56/772.76	c  772s |      22 |  3922986 |  1517922 |     2164   1363 |      374 |        0
774.66/774.80	c  774s |      22 |  3933494 |  1522322 |     2164   1367 |      374 |        0
776.57/776.80	c  776s |      22 |  3942988 |  1526722 |     2164   1370 |      374 |        0
778.66/778.85	c  778s |      22 |  3950112 |  1531122 |     2164   1373 |      374 |        0
780.66/780.85	c  780s |      22 |  3958365 |  1535322 |     2164   1376 |      374 |        0
782.66/782.86	c  782s |      22 |  3964411 |  1538922 |     2164   1379 |      374 |        0
784.66/784.89	c  784s |      22 |  3973584 |  1543222 |     2164   1382 |      374 |        0
786.76/786.90	c  786s |      22 |  3984737 |  1547722 |     2164   1385 |      374 |        0
788.76/788.94	c  788s |      22 |  3996785 |  1552322 |     2164   1388 |      374 |        0
790.75/790.94	c  790s |      22 |  4008522 |  1556922 |     2164   1392 |      374 |        0
792.75/792.95	c  792s |      22 |  4024001 |  1562322 |     2164   1396 |      374 |        0
794.75/794.97	c  794s |      22 |  4037075 |  1567222 |     2164   1399 |      374 |        0
796.85/797.01	c  796s |      22 |  4049536 |  1572522 |     2164   1403 |      374 |        0
798.85/799.03	c  799s |      22 |  4065223 |  1577622 |     2164   1407 |      374 |        0
800.86/801.04	c  801s |      22 |  4075369 |  1582122 |     2164   1410 |      374 |        0
802.85/803.08	c  803s |      22 |  4087220 |  1586122 |     2164   1413 |      374 |        0
804.85/805.09	c  805s |      22 |  4099242 |  1590422 |     2164   1416 |      374 |        0
806.95/807.13	c  807s |      22 |  4108543 |  1594322 |     2164   1419 |      374 |        0
808.95/809.14	c  809s |      22 |  4118137 |  1598222 |     2164   1422 |      374 |        0
811.05/811.20	c  811s |      22 |  4127929 |  1602222 |     2164   1425 |      374 |        0
813.05/813.24	c  813s |      22 |  4137014 |  1606122 |     2164   1428 |      374 |        0
815.05/815.26	c  815s |      22 |  4147905 |  1610022 |     2164   1431 |      374 |        0
817.05/817.28	c  817s |      22 |  4159679 |  1614222 |     2164   1434 |      374 |        0
819.15/819.30	c  819s |      22 |  4172042 |  1618922 |     2164   1437 |      374 |        0
821.15/821.32	c  821s |      22 |  4182495 |  1623422 |     2164   1440 |      374 |        0
823.14/823.36	c  823s |      22 |  4193912 |  1627822 |     2164   1444 |      374 |        0
825.14/825.37	c  825s |      22 |  4205819 |  1632022 |     2164   1447 |      374 |        0
827.15/827.38	c  827s |      22 |  4217728 |  1636322 |     2164   1450 |      374 |        0
829.24/829.40	c  829s |      22 |  4226789 |  1640322 |     2164   1453 |      374 |        0
831.24/831.44	c  831s |      22 |  4233156 |  1643622 |     2164   1455 |      374 |        0
833.34/833.51	c  833s |      22 |  4244842 |  1648122 |     2164   1458 |      374 |        0
835.34/835.54	c  835s |      22 |  4258028 |  1652922 |     2164   1462 |      374 |        0
837.34/837.58	c  837s |      22 |  4270755 |  1657622 |     2164   1465 |      374 |        0
839.44/839.60	c  839s |      22 |  4280722 |  1661822 |     2164   1468 |      374 |        0
841.45/841.63	c  841s |      22 |  4291883 |  1666122 |     2164   1472 |      374 |        0
843.44/843.67	c  843s |      22 |  4300958 |  1670222 |     2164   1475 |      374 |        0
845.44/845.68	c  845s |      22 |  4311562 |  1674322 |     2164   1478 |      374 |        0
847.53/847.71	c  847s |      22 |  4320022 |  1678622 |     2164   1481 |      374 |        0
849.54/849.71	c  849s |      22 |  4329270 |  1682822 |     2164   1484 |      374 |        0
851.54/851.73	c  851s |      22 |  4342079 |  1687222 |     2164   1487 |      374 |        0
853.55/853.75	c  853s |      22 |  4354232 |  1691622 |     2164   1490 |      374 |        0
855.54/855.79	c  855s |      22 |  4366523 |  1695822 |     2164   1493 |      374 |        0
857.64/857.82	c  857s |      22 |  4377388 |  1699922 |     2164   1496 |      374 |        0
859.64/859.84	c  859s |      22 |  4390063 |  1704522 |     2164   1500 |      374 |        0
861.64/861.86	c  861s |      22 |  4401579 |  1709322 |     2164   1503 |      374 |        0
863.64/863.87	c  863s |      22 |  4415397 |  1714222 |     2164   1507 |      374 |        0
865.75/865.93	c  865s |      22 |  4428662 |  1718922 |     2164   1511 |      374 |        0
867.73/867.94	c  867s |      22 |  4443730 |  1724022 |     2164   1514 |      374 |        0
869.73/869.97	c  869s |      22 |  4455491 |  1728622 |     2164   1518 |      374 |        0
871.83/872.00	c  871s |      22 |  4469517 |  1733722 |     2164   1521 |      374 |        0
873.83/874.00	c  873s |      22 |  4483479 |  1738622 |     2164   1525 |      374 |        0
875.83/876.03	c  876s |      22 |  4495580 |  1743022 |     2164   1528 |      374 |        0
877.84/878.05	c  878s |      22 |  4506113 |  1747222 |     2164   1531 |      374 |        0
879.83/880.06	c  880s |      22 |  4518517 |  1752022 |     2164   1535 |      374 |        0
881.83/882.06	c  882s |      22 |  4528924 |  1756322 |     2164   1538 |      374 |        0
883.93/884.11	c  884s |      22 |  4540943 |  1760822 |     2164   1541 |      374 |        0
885.93/886.14	c  886s |      22 |  4551820 |  1765322 |     2164   1545 |      374 |        0
887.92/888.18	c  888s |      22 |  4564644 |  1769722 |     2164   1548 |      374 |        0
890.02/890.21	c  890s |      22 |  4576255 |  1774022 |     2164   1551 |      374 |        0
892.03/892.24	c  892s |      22 |  4584048 |  1777922 |     2164   1554 |      374 |        0
894.02/894.25	c  894s |      22 |  4596634 |  1782522 |     2164   1557 |      374 |        0
896.02/896.29	c  896s |      22 |  4610467 |  1786922 |     2164   1561 |      374 |        0
898.12/898.33	c  898s |      22 |  4622990 |  1791622 |     2164   1564 |      374 |        0
900.12/900.36	c  900s |      22 |  4633107 |  1796322 |     2164   1567 |      374 |        0
902.12/902.38	c  902s |      22 |  4646227 |  1801022 |     2164   1571 |      374 |        0
904.12/904.38	c  904s |      22 |  4656210 |  1805422 |     2164   1574 |      374 |        0
906.22/906.41	c  906s |      22 |  4667605 |  1809722 |     2164   1577 |      374 |        0
908.21/908.45	c  908s |      22 |  4679045 |  1813922 |     2164   1580 |      374 |        0
910.21/910.45	c  910s |      22 |  4689683 |  1818322 |     2164   1583 |      374 |        0
912.21/912.48	c  912s |      22 |  4701241 |  1822622 |     2164   1587 |      374 |        0
914.21/914.48	c  914s |      22 |  4715406 |  1827422 |     2164   1590 |      374 |        0
916.32/916.51	c  916s |      22 |  4729046 |  1832022 |     2164   1594 |      374 |        0
918.31/918.53	c  918s |      22 |  4739093 |  1836422 |     2164   1597 |      374 |        0
920.31/920.54	c  920s |      22 |  4747897 |  1840322 |     2164   1600 |      374 |        0
922.31/922.57	c  922s |      22 |  4757180 |  1844622 |     2164   1603 |      374 |        0
924.31/924.57	c  924s |      22 |  4765790 |  1848722 |     2164   1606 |      374 |        0
926.41/926.60	c  926s |      22 |  4779071 |  1853622 |     2164   1609 |      374 |        0
928.41/928.61	c  928s |      22 |  4791462 |  1858122 |     2164   1613 |      374 |        0
930.40/930.63	c  930s |      22 |  4805126 |  1862922 |     2164   1616 |      374 |        0
932.40/932.66	c  932s |      22 |  4814539 |  1866722 |     2164   1619 |      374 |        0
934.50/934.70	c  934s |      22 |  4824035 |  1870622 |     2164   1622 |      374 |        0
936.50/936.73	c  936s |      22 |  4830724 |  1873822 |     2164   1624 |      374 |        0
938.50/938.75	c  938s |      22 |  4836493 |  1877122 |     2164   1626 |      374 |        0
940.51/940.78	c  940s |      22 |  4846610 |  1881222 |     2164   1629 |      374 |        0
942.50/942.80	c  942s |      22 |  4858007 |  1885522 |     2164   1633 |      374 |        0
944.60/944.86	c  944s |      22 |  4869228 |  1889722 |     2164   1636 |      374 |        0
946.60/946.87	c  946s |      22 |  4880906 |  1894522 |     2164   1639 |      374 |        0
948.59/948.88	c  948s |      22 |  4890788 |  1898822 |     2164   1642 |      374 |        0
950.69/950.92	c  950s |      22 |  4902652 |  1903122 |     2164   1645 |      374 |        0
952.69/952.97	c  952s |      22 |  4913517 |  1907122 |     2164   1648 |      374 |        0
954.70/954.99	c  954s |      22 |  4924761 |  1911522 |     2164   1652 |      374 |        0
956.79/957.02	c  956s |      22 |  4935267 |  1915722 |     2164   1655 |      374 |        0
958.79/959.06	c  959s |      22 |  4946044 |  1919822 |     2164   1658 |      374 |        0
960.79/961.07	c  961s |      22 |  4955795 |  1923922 |     2164   1661 |      374 |        0
962.79/963.07	c  963s |      22 |  4965214 |  1928022 |     2164   1664 |      374 |        0
964.88/965.10	c  965s |      22 |  4973343 |  1932022 |     2164   1667 |      374 |        0
966.89/967.12	c  967s |      22 |  4981637 |  1935822 |     2164   1669 |      374 |        0
968.89/969.14	c  969s |      22 |  4988626 |  1939422 |     2164   1672 |      374 |        0
970.89/971.14	c  971s |      22 |  4996853 |  1942922 |     2164   1675 |      374 |        0
972.99/973.21	c  973s |      22 |  5004156 |  1946022 |     2164   1677 |      374 |        0
974.99/975.21	c  975s |      22 |  5012794 |  1949622 |     2164   1679 |      374 |        0
976.98/977.25	c  977s |      22 |  5022713 |  1953722 |     2164   1682 |      374 |        0
979.08/979.31	c  979s |      22 |  5030385 |  1957122 |     2164   1685 |      374 |        0
981.09/981.32	c  981s |      22 |  5041742 |  1961122 |     2164   1688 |      374 |        0
983.08/983.36	c  983s |      22 |  5055143 |  1966022 |     2164   1691 |      374 |        0
985.08/985.37	c  985s |      22 |  5067580 |  1970322 |     2164   1695 |      374 |        0
987.08/987.40	c  987s |      22 |  5078631 |  1974922 |     2164   1698 |      374 |        0
989.18/989.41	c  989s |      22 |  5090320 |  1979922 |     2164   1702 |      374 |        0
991.18/991.41	c  991s |      22 |  5104497 |  1984822 |     2164   1705 |      374 |        0
993.18/993.42	c  993s |      22 |  5115451 |  1989722 |     2164   1709 |      374 |        0
995.18/995.44	c  995s |      22 |  5128208 |  1994522 |     2164   1712 |      374 |        0
997.17/997.48	c  997s |      22 |  5139222 |  1998722 |     2164   1715 |      374 |        0
999.17/999.49	c  999s |      22 |  5148032 |  2002422 |     2164   1718 |      374 |        0
1001.27/1001.52	c 1001s |      22 |  5157749 |  2006422 |     2164   1721 |      374 |        0
1003.27/1003.58	c 1003s |      22 |  5167376 |  2010422 |     2164   1724 |      374 |        0
1005.38/1005.61	c 1005s |      22 |  5172606 |  2013722 |     2164   1726 |      374 |        0
1007.37/1007.61	c 1007s |      22 |  5181413 |  2017422 |     2164   1729 |      374 |        0
1009.37/1009.62	c 1009s |      22 |  5195405 |  2022622 |     2164   1733 |      374 |        0
1011.37/1011.66	c 1011s |      22 |  5205733 |  2027422 |     2164   1736 |      374 |        0
1013.37/1013.68	c 1013s |      22 |  5212781 |  2031422 |     2164   1739 |      374 |        0
1015.47/1015.71	c 1015s |      22 |  5218773 |  2035522 |     2164   1742 |      374 |        0
1017.47/1017.74	c 1017s |      22 |  5226314 |  2040322 |     2164   1746 |      374 |        0
1019.47/1019.80	c 1019s |      22 |  5237230 |  2045522 |     2164   1750 |      374 |        0
1021.57/1021.81	c 1021s |      22 |  5249077 |  2050422 |     2164   1753 |      374 |        0
1023.57/1023.86	c 1023s |      22 |  5258948 |  2054422 |     2164   1756 |      374 |        0
1025.56/1025.88	c 1025s |      22 |  5273770 |  2060022 |     2164   1760 |      374 |        0
1027.66/1027.90	c 1027s |      22 |  5289550 |  2065322 |     2164   1764 |      374 |        0
1029.66/1029.91	c 1029s |      22 |  5302635 |  2070222 |     2164   1768 |      374 |        0
1031.67/1031.95	c 1031s |      22 |  5314019 |  2075022 |     2164   1771 |      374 |        0
1033.66/1033.96	c 1033s |      22 |  5322994 |  2079122 |     2164   1774 |      374 |        0
1035.66/1035.99	c 1035s |      22 |  5334809 |  2083822 |     2164   1778 |      374 |        0
1037.76/1038.02	c 1037s |      22 |  5344175 |  2088122 |     2164   1781 |      374 |        0
1039.76/1040.02	c 1040s |      22 |  5357503 |  2092822 |     2164   1784 |      374 |        0
1041.76/1042.03	c 1042s |      22 |  5367654 |  2097122 |     2164   1787 |      374 |        0
1043.76/1044.08	c 1044s |      22 |  5377370 |  2101322 |     2164   1790 |      374 |        0
1045.86/1046.12	c 1046s |      22 |  5389763 |  2105722 |     2164   1794 |      374 |        0
1047.85/1048.16	c 1048s |      22 |  5399008 |  2109922 |     2164   1797 |      374 |        0
1049.95/1050.20	c 1050s |      22 |  5411283 |  2114322 |     2164   1800 |      374 |        0
1051.95/1052.24	c 1052s |      22 |  5421934 |  2118422 |     2164   1803 |      374 |        0
1053.95/1054.26	c 1054s |      22 |  5431445 |  2122122 |     2164   1805 |      374 |        0
1055.96/1056.26	c 1056s |      22 |  5442561 |  2126222 |     2164   1808 |      374 |        0
1057.95/1058.29	c 1058s |      22 |  5450905 |  2130122 |     2164   1811 |      374 |        0
1060.05/1060.30	c 1060s |      22 |  5463529 |  2134722 |     2164   1815 |      374 |        0
1062.05/1062.30	c 1062s |      22 |  5475472 |  2139422 |     2164   1818 |      374 |        0
1064.05/1064.31	c 1064s |      22 |  5486681 |  2144022 |     2164   1821 |      374 |        0
1066.05/1066.32	c 1066s |      22 |  5498908 |  2148322 |     2164   1825 |      374 |        0
1068.05/1068.32	c 1068s |      22 |  5506642 |  2151922 |     2164   1827 |      374 |        0
1070.04/1070.33	c 1070s |      22 |  5515364 |  2155922 |     2164   1830 |      374 |        0
1072.04/1072.34	c 1072s |      22 |  5525222 |  2160122 |     2164   1833 |      374 |        0
1074.04/1074.39	c 1074s |      22 |  5539240 |  2164722 |     2164   1837 |      374 |        0
1076.05/1076.40	c 1076s |      22 |  5551665 |  2169322 |     2164   1840 |      374 |        0
1078.15/1078.43	c 1078s |      22 |  5564083 |  2173722 |     2164   1843 |      374 |        0
1080.15/1080.43	c 1080s |      22 |  5576216 |  2178322 |     2164   1847 |      374 |        0
1082.14/1082.44	c 1082s |      22 |  5587849 |  2182822 |     2164   1850 |      374 |        0
1084.14/1084.44	c 1084s |      22 |  5599635 |  2187022 |     2164   1853 |      374 |        0
1086.14/1086.44	c 1086s |      22 |  5609808 |  2191122 |     2164   1856 |      374 |        0
1088.14/1088.45	c 1088s |      22 |  5620814 |  2195322 |     2164   1859 |      374 |        0
1090.24/1090.51	c 1090s |      22 |  5632792 |  2199522 |     2164   1862 |      374 |        0
1092.25/1092.53	c 1092s |      22 |  5640956 |  2203022 |     2164   1865 |      374 |        0
1094.24/1094.56	c 1094s |      22 |  5648469 |  2206722 |     2164   1867 |      374 |        0
1096.24/1096.56	c 1096s |      22 |  5654663 |  2210022 |     2164   1870 |      374 |        0
1098.24/1098.57	c 1098s |      22 |  5659399 |  2212922 |     2164   1872 |      374 |        0
1100.33/1100.61	c 1100s |      22 |  5671154 |  2216722 |     2164   1875 |      374 |        0
1102.33/1102.68	c 1102s |      22 |  5682996 |  2220922 |     2164   1878 |      374 |        0
1104.34/1104.69	c 1104s |      22 |  5695014 |  2225122 |     2164   1881 |      374 |        0
1106.44/1106.72	c 1106s |      22 |  5705242 |  2229122 |     2164   1883 |      374 |        0
1108.43/1108.77	c 1108s |      22 |  5717235 |  2233222 |     2164   1886 |      374 |        0
1110.53/1110.80	c 1110s |      22 |  5726863 |  2237122 |     2381   1889 |      374 |        0
1112.53/1112.81	c 1112s |      22 |  5737620 |  2240922 |     2381   1892 |      374 |        0
1114.53/1114.82	c 1114s |      22 |  5747626 |  2244922 |     2381   1894 |      374 |        0
1116.53/1116.83	c 1116s |      22 |  5757729 |  2248422 |     2381   1897 |      374 |        0
1117.73/1118.08	c 1118s |      23 |  5765000 |  2251038 |     2381   1898 |      374 |        0
1119.83/1120.11	c 1120s |      23 |  5772478 |  2254738 |     2381   1901 |      374 |        0
1121.83/1122.13	c 1122s |      23 |  5782863 |  2258838 |     2381   1904 |      374 |        0
1123.83/1124.16	c 1124s |      23 |  5795093 |  2262838 |     2381   1906 |      374 |        0
1125.82/1126.17	c 1126s |      23 |  5806699 |  2266738 |     2381   1909 |      374 |        0
1127.82/1128.18	c 1128s |      23 |  5818520 |  2270638 |     2381   1911 |      374 |        0
1129.92/1130.22	c 1130s |      23 |  5826778 |  2274338 |     2381   1914 |      374 |        0
1131.92/1132.25	c 1132s |      23 |  5835214 |  2278038 |     2381   1916 |      374 |        0
1133.93/1134.28	c 1134s |      23 |  5844268 |  2281938 |     2381   1919 |      374 |        0
1135.92/1136.28	c 1136s |      23 |  5852366 |  2285638 |     2381   1921 |      374 |        0
1137.92/1138.29	c 1138s |      23 |  5861858 |  2289338 |     2381   1924 |      374 |        0
1140.02/1140.32	c 1140s |      23 |  5868863 |  2293138 |     2381   1926 |      374 |        0
1142.02/1142.36	c 1142s |      23 |  5880150 |  2297438 |     2381   1929 |      374 |        0
1144.02/1144.38	c 1144s |      23 |  5889917 |  2301338 |     2381   1932 |      374 |        0
1146.12/1146.42	c 1146s |      23 |  5902298 |  2305338 |     2381   1934 |      374 |        0
1148.11/1148.43	c 1148s |      23 |  5912825 |  2309038 |     2381   1937 |      374 |        0
1150.11/1150.47	c 1150s |      23 |  5924181 |  2313638 |     2381   1940 |      374 |        0
1152.11/1152.47	c 1152s |      23 |  5932018 |  2317938 |     2381   1943 |      374 |        0
1154.21/1154.51	c 1154s |      23 |  5940640 |  2322038 |     2381   1946 |      374 |        0
1156.21/1156.54	c 1156s |      23 |  5949138 |  2325938 |     2381   1948 |      374 |        0
1158.21/1158.58	c 1158s |      23 |  5955937 |  2330038 |     2381   1951 |      374 |        0
1160.21/1160.60	c 1160s |      23 |  5966076 |  2334438 |     2381   1954 |      374 |        0
1162.31/1162.65	c 1162s |      23 |  5972975 |  2338138 |     2381   1956 |      374 |        0
1164.31/1164.66	c 1164s |      23 |  5981633 |  2341838 |     2381   1959 |      374 |        0
1166.31/1166.69	c 1166s |      23 |  5990823 |  2345738 |     2381   1961 |      374 |        0
1168.40/1168.70	c 1168s |      23 |  5999360 |  2349438 |     2381   1964 |      374 |        0
1170.40/1170.75	c 1170s |      23 |  6007443 |  2353338 |     2381   1966 |      374 |        0
1172.41/1172.79	c 1172s |      23 |  6016337 |  2357338 |     2381   1969 |      374 |        0
1174.50/1174.84	c 1174s |      23 |  6026674 |  2361338 |     2381   1972 |      374 |        0
1176.50/1176.84	c 1176s |      23 |  6034790 |  2365038 |     2381   1974 |      374 |        0
1178.50/1178.85	c 1178s |      23 |  6043738 |  2368738 |     2381   1977 |      374 |        0
1180.50/1180.87	c 1180s |      23 |  6053013 |  2372538 |     2381   1979 |      374 |        0
1182.50/1182.88	c 1182s |      23 |  6061493 |  2376538 |     2381   1982 |      374 |        0
1184.60/1184.91	c 1184s |      23 |  6069669 |  2380338 |     2381   1984 |      374 |        0
1186.60/1186.92	c 1186s |      23 |  6078019 |  2384138 |     2381   1987 |      374 |        0
1188.59/1188.95	c 1188s |      23 |  6088114 |  2388138 |     2381   1990 |      374 |        0
1190.59/1190.96	c 1190s |      23 |  6097005 |  2391938 |     2381   1992 |      374 |        0
1192.69/1193.03	c 1193s |      23 |  6104153 |  2395638 |     2381   1995 |      374 |        0
1194.69/1195.04	c 1195s |      23 |  6113043 |  2399438 |     2381   1997 |      374 |        0
1196.70/1197.08	c 1197s |      23 |  6121587 |  2403138 |     2381   2000 |      374 |        0
1198.69/1199.10	c 1199s |      23 |  6130972 |  2406838 |     2381   2002 |      374 |        0
1200.79/1201.10	c 1201s |      23 |  6140261 |  2410838 |     2381   2005 |      374 |        0
1202.79/1203.15	c 1203s |      23 |  6149389 |  2414738 |     2381   2007 |      374 |        0
1204.79/1205.15	c 1205s |      23 |  6156918 |  2418538 |     2381   2010 |      374 |        0
1206.79/1207.19	c 1207s |      23 |  6165965 |  2422638 |     2381   2013 |      374 |        0
1208.89/1209.22	c 1209s |      23 |  6174117 |  2426738 |     2381   2015 |      374 |        0
1210.90/1211.23	c 1211s |      23 |  6183162 |  2430438 |     2381   2018 |      374 |        0
1212.89/1213.27	c 1213s |      23 |  6191236 |  2434738 |     2381   2021 |      374 |        0
1214.99/1215.30	c 1215s |      23 |  6201974 |  2438738 |     2381   2023 |      374 |        0
1216.99/1217.34	c 1217s |      23 |  6210119 |  2442138 |     2381   2025 |      374 |        0
1218.98/1219.39	c 1219s |      23 |  6219449 |  2446038 |     2381   2028 |      374 |        0
1221.08/1221.40	c 1221s |      23 |  6228084 |  2449438 |     2381   2030 |      374 |        0
1223.09/1223.43	c 1223s |      23 |  6237218 |  2453038 |     2381   2033 |      374 |        0
1225.08/1225.46	c 1225s |      23 |  6246984 |  2457138 |     2381   2035 |      374 |        0
1227.18/1227.51	c 1227s |      23 |  6255317 |  2460738 |     2381   2038 |      374 |        0
1229.18/1229.56	c 1229s |      23 |  6263866 |  2464338 |     2381   2040 |      374 |        0
1231.28/1231.60	c 1231s |      23 |  6273597 |  2468038 |     2381   2043 |      374 |        0
1233.28/1233.65	c 1233s |      23 |  6284713 |  2471738 |     2381   2045 |      374 |        0
1235.38/1235.70	c 1235s |      23 |  6295898 |  2475438 |     2381   2048 |      374 |        0
1237.28/1237.70	c 1237s |      23 |  6304415 |  2479438 |     2381   2050 |      374 |        0
1239.37/1239.74	c 1239s |      23 |  6314540 |  2483438 |     2381   2053 |      374 |        0
1241.37/1241.79	c 1241s |      23 |  6324209 |  2487338 |     2381   2056 |      374 |        0
1243.37/1243.79	c 1243s |      23 |  6335477 |  2491338 |     2381   2058 |      374 |        0
1245.47/1245.83	c 1245s |      23 |  6344570 |  2495038 |     2381   2061 |      374 |        0
1247.47/1247.89	c 1247s |      23 |  6355151 |  2498638 |     2381   2063 |      374 |        0
1249.57/1249.94	c 1249s |      23 |  6364671 |  2502438 |     2381   2066 |      374 |        0
1251.57/1251.94	c 1251s |      23 |  6374921 |  2506138 |     2381   2068 |      374 |        0
1253.57/1253.99	c 1253s |      23 |  6385390 |  2509838 |     2381   2071 |      374 |        0
1255.67/1256.00	c 1255s |      23 |  6395887 |  2513438 |     2381   2073 |      374 |        0
1257.66/1258.05	c 1258s |      23 |  6407196 |  2517338 |     2381   2076 |      374 |        0
1259.66/1260.07	c 1260s |      23 |  6416777 |  2521138 |     2381   2078 |      374 |        0
1261.76/1262.12	c 1262s |      23 |  6426879 |  2524938 |     2381   2081 |      374 |        0
1263.77/1264.12	c 1264s |      23 |  6436735 |  2528538 |     2381   2083 |      374 |        0
1265.76/1266.15	c 1266s |      23 |  6448567 |  2532638 |     2381   2086 |      374 |        0
1267.76/1268.19	c 1268s |      23 |  6455125 |  2535838 |     2381   2088 |      374 |        0
1269.86/1270.20	c 1270s |      23 |  6462847 |  2539238 |     2381   2090 |      374 |        0
1271.85/1272.22	c 1272s |      23 |  6471656 |  2543238 |     2381   2093 |      374 |        0
1273.85/1274.27	c 1274s |      23 |  6477759 |  2546738 |     2381   2095 |      374 |        0
1275.86/1276.29	c 1276s |      23 |  6487855 |  2550738 |     2381   2098 |      374 |        0
1277.96/1278.33	c 1278s |      23 |  6495587 |  2554138 |     2381   2100 |      374 |        0
1279.95/1280.37	c 1280s |      23 |  6503568 |  2557938 |     2381   2103 |      374 |        0
1282.05/1282.40	c 1282s |      23 |  6512248 |  2561438 |     2381   2105 |      374 |        0
1284.05/1284.41	c 1284s |      23 |  6521011 |  2565538 |     2381   2108 |      374 |        0
1286.05/1286.42	c 1286s |      23 |  6530534 |  2569538 |     2381   2110 |      374 |        0
1288.04/1288.44	c 1288s |      23 |  6539236 |  2573238 |     2381   2113 |      374 |        0
1290.05/1290.44	c 1290s |      23 |  6546651 |  2576938 |     2381   2115 |      374 |        0
1292.04/1292.45	c 1292s |      23 |  6555990 |  2580738 |     2381   2118 |      374 |        0
1294.04/1294.49	c 1294s |      23 |  6566021 |  2584438 |     2381   2120 |      374 |        0
1296.14/1296.53	c 1296s |      23 |  6573756 |  2588038 |     2381   2123 |      374 |        0
1298.14/1298.53	c 1298s |      23 |  6582290 |  2591738 |     2381   2125 |      374 |        0
1300.14/1300.57	c 1300s |      23 |  6591380 |  2596138 |     2381   2128 |      374 |        0
1302.15/1302.58	c 1302s |      23 |  6602256 |  2600138 |     2381   2131 |      374 |        0
1304.24/1304.60	c 1304s |      23 |  6611090 |  2603838 |     2381   2133 |      374 |        0
1306.24/1306.60	c 1306s |      23 |  6621348 |  2607538 |     2381   2136 |      374 |        0
1308.24/1308.63	c 1308s |      23 |  6630665 |  2611038 |     2381   2138 |      374 |        0
1310.24/1310.67	c 1310s |      23 |  6641396 |  2614838 |     2381   2140 |      374 |        0
1312.34/1312.70	c 1312s |      23 |  6650194 |  2618238 |     2381   2143 |      374 |        0
1314.34/1314.75	c 1314s |      23 |  6659300 |  2621838 |     2381   2145 |      374 |        0
1316.34/1316.77	c 1316s |      23 |  6670290 |  2625638 |     2381   2148 |      374 |        0
1318.43/1318.81	c 1318s |      23 |  6679289 |  2629638 |     2381   2150 |      374 |        0
1320.43/1320.85	c 1320s |      23 |  6689968 |  2633438 |     2381   2153 |      374 |        0
1322.43/1322.85	c 1322s |      23 |  6700776 |  2637138 |     2381   2155 |      374 |        0
1324.43/1324.90	c 1324s |      23 |  6711421 |  2640638 |     2381   2158 |      374 |        0
1326.53/1326.90	c 1326s |      23 |  6721704 |  2644438 |     2381   2160 |      374 |        0
1328.54/1328.94	c 1328s |      23 |  6729429 |  2648138 |     2381   2163 |      374 |        0
1330.53/1330.94	c 1330s |      23 |  6737503 |  2651438 |     2381   2165 |      374 |        0
1332.54/1332.99	c 1332s |      23 |  6745165 |  2654938 |     2381   2167 |      374 |        0
1334.64/1335.01	c 1334s |      23 |  6750123 |  2657838 |     2381   2169 |      374 |        0
1336.64/1337.03	c 1337s |      23 |  6754897 |  2661038 |     2381   2171 |      374 |        0
1338.63/1339.03	c 1339s |      23 |  6761350 |  2664938 |     2381   2174 |      374 |        0
1340.64/1341.05	c 1341s |      23 |  6770709 |  2668838 |     2381   2176 |      374 |        0
1342.63/1343.06	c 1343s |      23 |  6779031 |  2672338 |     2381   2179 |      374 |        0
1344.73/1345.11	c 1345s |      23 |  6786655 |  2675838 |     2381   2181 |      374 |        0
1346.73/1347.15	c 1347s |      23 |  6795072 |  2679238 |     2381   2183 |      374 |        0
1348.73/1349.15	c 1349s |      23 |  6804853 |  2682538 |     2381   2185 |      374 |        0
1350.73/1351.20	c 1351s |      23 |  6815168 |  2686338 |     2381   2188 |      374 |        0
1352.84/1353.21	c 1353s |      23 |  6823625 |  2689838 |     2381   2190 |      374 |        0
1354.83/1355.22	c 1355s |      23 |  6831179 |  2693438 |     2381   2193 |      374 |        0
1356.83/1357.24	c 1357s |      23 |  6839000 |  2697138 |     2381   2195 |      374 |        0
1358.83/1359.27	c 1359s |      23 |  6846236 |  2700638 |     2381   2198 |      374 |        0
1360.83/1361.28	c 1361s |      23 |  6856408 |  2704138 |     2381   2200 |      374 |        0
1362.82/1363.29	c 1363s |      23 |  6864523 |  2707938 |     2381   2202 |      374 |        0
1364.93/1365.34	c 1365s |      23 |  6870485 |  2711138 |     2381   2205 |      374 |        0
1366.92/1367.35	c 1367s |      23 |  6879809 |  2714538 |     2381   2207 |      374 |        0
1368.92/1369.38	c 1369s |      23 |  6887930 |  2718438 |     2381   2209 |      374 |        0
1370.92/1371.39	c 1371s |      23 |  6896654 |  2722038 |     2381   2212 |      374 |        0
1373.02/1373.40	c 1373s |      23 |  6904530 |  2725238 |     2381   2214 |      374 |        0
1375.02/1375.44	c 1375s |      23 |  6915081 |  2728838 |     2381   2216 |      374 |        0
1377.02/1377.47	c 1377s |      23 |  6923882 |  2732138 |     2381   2219 |      374 |        0
1379.01/1379.49	c 1379s |      23 |  6932955 |  2735838 |     2381   2221 |      374 |        0
1381.11/1381.53	c 1381s |      23 |  6943482 |  2739438 |     2381   2223 |      374 |        0
1383.11/1383.56	c 1383s |      23 |  6955726 |  2743438 |     2381   2226 |      374 |        0
1385.21/1385.60	c 1385s |      23 |  6967213 |  2747238 |     2381   2229 |      374 |        0
1387.21/1387.63	c 1387s |      23 |  6976160 |  2750838 |     2381   2231 |      374 |        0
1389.21/1389.67	c 1389s |      23 |  6985009 |  2754538 |     2381   2233 |      374 |        0
1391.22/1391.70	c 1391s |      23 |  6992393 |  2758338 |     2381   2236 |      374 |        0
1393.31/1393.71	c 1393s |      23 |  7000431 |  2762138 |     2381   2239 |      374 |        0
1395.31/1395.73	c 1395s |      23 |  7009695 |  2766238 |     2381   2241 |      374 |        0
1397.31/1397.79	c 1397s |      23 |  7017998 |  2769838 |     2381   2244 |      374 |        0
1399.41/1399.83	c 1399s |      23 |  7026776 |  2773338 |     2381   2246 |      374 |        0
1401.41/1401.84	c 1401s |      23 |  7034448 |  2776738 |     2381   2248 |      374 |        0
1403.41/1403.84	c 1403s |      23 |  7041861 |  2780138 |     2381   2251 |      374 |        0
1405.41/1405.85	c 1405s |      23 |  7050056 |  2783538 |     2381   2253 |      374 |        0
1407.40/1407.88	c 1407s |      23 |  7057958 |  2786938 |     2381   2255 |      374 |        0
1409.50/1409.95	c 1409s |      23 |  7066730 |  2790438 |     2381   2258 |      374 |        0
1411.60/1412.00	c 1411s |      23 |  7075849 |  2793938 |     2381   2260 |      374 |        0
1413.60/1414.06	c 1414s |      23 |  7084221 |  2797338 |     2381   2262 |      374 |        0
1415.70/1416.10	c 1416s |      23 |  7091032 |  2800538 |     2381   2264 |      374 |        0
1417.71/1418.10	c 1418s |      23 |  7098053 |  2803638 |     2381   2266 |      374 |        0
1419.70/1420.11	c 1420s |      23 |  7105911 |  2807038 |     2381   2268 |      374 |        0
1421.80/1422.20	c 1422s |      23 |  7112042 |  2809738 |     2381   2270 |      374 |        0
1423.80/1424.21	c 1424s |      23 |  7121309 |  2813338 |     2381   2273 |      374 |        0
1425.80/1426.25	c 1426s |      23 |  7131466 |  2816938 |     2381   2275 |      374 |        0
1427.80/1428.26	c 1428s |      23 |  7141418 |  2820538 |     2381   2278 |      374 |        0
1429.81/1430.28	c 1430s |      23 |  7152669 |  2824238 |     2381   2280 |      374 |        0
1431.91/1432.31	c 1432s |      23 |  7162611 |  2827938 |     2381   2282 |      374 |        0
1433.90/1434.32	c 1434s |      23 |  7170619 |  2831538 |     2381   2285 |      374 |        0
1435.90/1436.36	c 1436s |      23 |  7179121 |  2835038 |     2381   2287 |      374 |        0
1437.90/1438.36	c 1438s |      23 |  7187930 |  2838638 |     2381   2290 |      374 |        0
1439.90/1440.40	c 1440s |      23 |  7196619 |  2842538 |     2381   2292 |      374 |        0
1442.00/1442.42	c 1442s |      23 |  7204294 |  2845838 |     2381   2294 |      374 |        0
1444.00/1444.45	c 1444s |      23 |  7215825 |  2850038 |     2381   2297 |      374 |        0
1446.00/1446.46	c 1446s |      23 |  7225081 |  2853438 |     2381   2299 |      374 |        0
1448.10/1448.51	c 1448s |      23 |  7233300 |  2857038 |     2381   2302 |      374 |        0
1450.10/1450.51	c 1450s |      23 |  7245895 |  2860738 |     2381   2304 |      374 |        0
1452.10/1452.54	c 1452s |      23 |  7255640 |  2864738 |     2381   2307 |      374 |        0
1454.10/1454.56	c 1454s |      23 |  7267391 |  2868638 |     2381   2310 |      374 |        0
1456.10/1456.59	c 1456s |      23 |  7276453 |  2872638 |     2381   2312 |      374 |        0
1458.10/1458.59	c 1458s |      23 |  7287327 |  2876338 |     2381   2315 |      374 |        0
1460.09/1460.59	c 1460s |      23 |  7296769 |  2880138 |     2381   2317 |      374 |        0
1462.19/1462.64	c 1462s |      23 |  7305644 |  2884338 |     2381   2320 |      374 |        0
1464.19/1464.65	c 1464s |      23 |  7313907 |  2888038 |     2381   2322 |      374 |        0
1466.19/1466.66	c 1466s |      23 |  7321542 |  2891738 |     2381   2325 |      374 |        0
1468.20/1468.67	c 1468s |      23 |  7327076 |  2894938 |     2381   2327 |      374 |        0
1470.29/1470.73	c 1470s |      23 |  7334882 |  2898438 |     2381   2329 |      374 |        0
1472.29/1472.78	c 1472s |      23 |  7343718 |  2902138 |     2381   2332 |      374 |        0
1474.39/1474.83	c 1474s |      23 |  7353959 |  2906038 |     2381   2334 |      374 |        0
1476.39/1476.83	c 1476s |      23 |  7360639 |  2909338 |     2381   2337 |      374 |        0
1478.39/1478.89	c 1478s |      23 |  7368413 |  2912738 |     2381   2339 |      374 |        0
1480.49/1480.92	c 1480s |      23 |  7377091 |  2916238 |     2381   2341 |      374 |        0
1482.50/1482.93	c 1482s |      23 |  7384752 |  2919538 |     2381   2343 |      374 |        0
1484.49/1484.99	c 1484s |      23 |  7393096 |  2923138 |     2381   2346 |      374 |        0
1486.59/1487.02	c 1486s |      23 |  7402241 |  2926538 |     2381   2348 |      374 |        0
1488.59/1489.03	c 1489s |      23 |  7411826 |  2929838 |     2381   2350 |      374 |        0
1490.69/1491.15	c 1491s |      23 |  7419151 |  2932938 |     2381   2352 |      374 |        0
1492.69/1493.16	c 1493s |      23 |  7427231 |  2936038 |     2381   2354 |      374 |        0
1494.79/1495.23	c 1495s |      23 |  7434777 |  2939338 |     2381   2357 |      374 |        0
1496.79/1497.27	c 1497s |      23 |  7445128 |  2943138 |     2381   2359 |      374 |        0
1498.89/1499.31	c 1499s |      23 |  7453998 |  2946438 |     2381   2361 |      374 |        0
1500.89/1501.37	c 1501s |      23 |  7461654 |  2949638 |     2381   2363 |      374 |        0
1502.89/1503.37	c 1503s |      23 |  7471667 |  2952938 |     2381   2366 |      374 |        0
1504.89/1505.37	c 1505s |      23 |  7480892 |  2956338 |     2381   2368 |      374 |        0
1506.99/1507.42	c 1507s |      23 |  7489031 |  2959638 |     2381   2370 |      374 |        0
1508.99/1509.43	c 1509s |      23 |  7498551 |  2962938 |     2381   2372 |      374 |        0
1510.99/1511.44	c 1511s |      23 |  7506580 |  2966238 |     2381   2375 |      374 |        0
1512.99/1513.45	c 1513s |      23 |  7515616 |  2969538 |     2381   2377 |      374 |        0
1515.08/1515.50	c 1515s |      23 |  7527211 |  2973238 |     2381   2379 |      374 |        0
1517.08/1517.54	c 1517s |      23 |  7537489 |  2976638 |     2381   2382 |      374 |        0
1519.08/1519.59	c 1519s |      23 |  7546035 |  2980538 |     2381   2384 |      374 |        0
1521.18/1521.61	c 1521s |      23 |  7555636 |  2984138 |     2381   2386 |      374 |        0
1523.19/1523.62	c 1523s |      23 |  7560389 |  2986838 |     2381   2388 |      374 |        0
1525.18/1525.64	c 1525s |      23 |  7570150 |  2990338 |     2381   2391 |      374 |        0
1527.18/1527.69	c 1527s |      23 |  7579768 |  2994338 |     2381   2393 |      374 |        0
1529.28/1529.74	c 1529s |      23 |  7586907 |  2997638 |     2381   2395 |      374 |        0
1531.28/1531.75	c 1531s |      23 |  7596999 |  3001338 |     2381   2398 |      374 |        0
1533.28/1533.75	c 1533s |      23 |  7606660 |  3005438 |     2381   2401 |      374 |        0
1535.29/1535.76	c 1535s |      23 |  7616596 |  3008938 |     2381   2403 |      374 |        0
1537.28/1537.78	c 1537s |      23 |  7624629 |  3012438 |     2381   2405 |      374 |        0
1539.38/1539.84	c 1539s |      23 |  7634535 |  3016038 |     2381   2408 |      374 |        0
1541.38/1541.86	c 1541s |      23 |  7641896 |  3019838 |     2381   2410 |      374 |        0
1543.48/1543.91	c 1543s |      23 |  7651350 |  3023438 |     2381   2413 |      374 |        0
1545.48/1545.92	c 1545s |      23 |  7660587 |  3027238 |     2381   2415 |      374 |        0
1547.48/1547.94	c 1547s |      23 |  7668631 |  3030938 |     2381   2418 |      374 |        0
1549.48/1549.96	c 1549s |      23 |  7676534 |  3034338 |     2381   2420 |      374 |        0
1551.48/1551.97	c 1551s |      23 |  7684289 |  3037538 |     2381   2422 |      374 |        0
1553.58/1554.00	c 1553s |      23 |  7693146 |  3041138 |     2381   2424 |      374 |        0
1555.58/1556.01	c 1555s |      23 |  7702071 |  3044838 |     2381   2427 |      374 |        0
1557.58/1558.02	c 1557s |      23 |  7711062 |  3048138 |     2381   2429 |      374 |        0
1559.58/1560.05	c 1560s |      23 |  7719958 |  3051638 |     2381   2431 |      374 |        0
1561.58/1562.09	c 1562s |      23 |  7727828 |  3055138 |     2381   2434 |      374 |        0
1563.68/1564.14	c 1564s |      23 |  7735982 |  3058838 |     2381   2436 |      374 |        0
1565.68/1566.15	c 1566s |      23 |  7744113 |  3062638 |     2381   2439 |      374 |        0
1567.67/1568.19	c 1568s |      23 |  7754964 |  3066438 |     2381   2441 |      374 |        0
1569.67/1570.19	c 1570s |      23 |  7763615 |  3070038 |     2381   2444 |      374 |        0
1571.77/1572.22	c 1572s |      23 |  7772780 |  3073538 |     2381   2446 |      374 |        0
1573.79/1574.27	c 1574s |      23 |  7781918 |  3077138 |     2381   2448 |      374 |        0
1575.78/1576.28	c 1576s |      23 |  7790959 |  3080538 |     2381   2451 |      374 |        0
1577.88/1578.32	c 1578s |      23 |  7799016 |  3084238 |     2381   2453 |      374 |        0
1579.88/1580.37	c 1580s |      23 |  7808528 |  3087938 |     2381   2456 |      374 |        0
1581.88/1582.39	c 1582s |      23 |  7818439 |  3091538 |     2381   2458 |      374 |        0
1583.98/1584.44	c 1584s |      23 |  7829270 |  3095338 |     2381   2461 |      374 |        0
1585.98/1586.48	c 1586s |      23 |  7838674 |  3098938 |     2381   2463 |      374 |        0
1588.08/1588.51	c 1588s |      23 |  7846534 |  3102438 |     2381   2465 |      374 |        0
1590.08/1590.54	c 1590s |      23 |  7855832 |  3105938 |     2381   2468 |      374 |        0
1592.08/1592.55	c 1592s |      23 |  7865716 |  3109438 |     2381   2470 |      374 |        0
1594.08/1594.57	c 1594s |      23 |  7875841 |  3113038 |     2381   2472 |      374 |        0
1596.07/1596.58	c 1596s |      23 |  7884475 |  3116438 |     2381   2475 |      374 |        0
1598.17/1598.61	c 1598s |      23 |  7894262 |  3120738 |     2381   2477 |      374 |        0
1600.18/1600.64	c 1600s |      23 |  7901021 |  3124238 |     2381   2480 |      374 |        0
1602.17/1602.64	c 1602s |      23 |  7908169 |  3127538 |     2381   2482 |      374 |        0
1604.27/1604.70	c 1604s |      23 |  7914870 |  3130538 |     2381   2484 |      374 |        0
1606.27/1606.74	c 1606s |      23 |  7924575 |  3134238 |     2381   2486 |      374 |        0
1608.27/1608.76	c 1608s |      23 |  7934150 |  3137738 |     2381   2489 |      374 |        0
1610.27/1610.78	c 1610s |      23 |  7942764 |  3141738 |     2381   2491 |      374 |        0
1612.38/1612.81	c 1612s |      23 |  7952325 |  3145438 |     2381   2494 |      374 |        0
1614.37/1614.86	c 1614s |      23 |  7960456 |  3149038 |     2381   2496 |      374 |        0
1616.37/1616.87	c 1616s |      23 |  7968303 |  3152538 |     2381   2499 |      374 |        0
1618.37/1618.88	c 1618s |      23 |  7978526 |  3156338 |     2381   2501 |      374 |        0
1620.47/1620.91	c 1620s |      23 |  7987701 |  3159838 |     2381   2504 |      374 |        0
1622.47/1622.97	c 1622s |      23 |  7996602 |  3163438 |     2381   2506 |      374 |        0
1624.48/1624.99	c 1624s |      23 |  8005951 |  3167038 |     2381   2508 |      374 |        0
1626.57/1627.02	c 1626s |      23 |  8013722 |  3170738 |     2381   2511 |      374 |        0
1628.57/1629.07	c 1629s |      23 |  8021093 |  3174038 |     2381   2513 |      374 |        0
1630.67/1631.11	c 1631s |      23 |  8026941 |  3177038 |     2381   2515 |      374 |        0
1632.67/1633.16	c 1633s |      23 |  8034598 |  3180438 |     2381   2517 |      374 |        0
1634.77/1635.22	c 1635s |      23 |  8041307 |  3183638 |     2381   2519 |      374 |        0
1636.77/1637.23	c 1637s |      23 |  8047943 |  3186738 |     2381   2521 |      374 |        0
1638.77/1639.28	c 1639s |      23 |  8057558 |  3190638 |     2381   2524 |      374 |        0
1640.87/1641.30	c 1641s |      23 |  8065467 |  3194438 |     2381   2527 |      374 |        0
1642.86/1643.36	c 1643s |      23 |  8075139 |  3198138 |     2381   2529 |      374 |        0
1644.86/1645.37	c 1645s |      23 |  8083488 |  3201538 |     2381   2531 |      374 |        0
1646.96/1647.40	c 1647s |      23 |  8091645 |  3205638 |     2381   2534 |      374 |        0
1648.96/1649.41	c 1649s |      23 |  8100179 |  3209138 |     2381   2536 |      374 |        0
1650.96/1651.43	c 1651s |      23 |  8110656 |  3212938 |     2381   2539 |      374 |        0
1652.97/1653.44	c 1653s |      23 |  8121469 |  3216738 |     2381   2541 |      374 |        0
1654.96/1655.49	c 1655s |      23 |  8131271 |  3220738 |     2381   2544 |      374 |        0
1657.06/1657.53	c 1657s |      23 |  8139130 |  3224538 |     2381   2547 |      374 |        0
1659.06/1659.56	c 1659s |      23 |  8147277 |  3228038 |     2381   2549 |      374 |        0
1661.06/1661.57	c 1661s |      23 |  8155363 |  3231738 |     2381   2551 |      374 |        0
1663.16/1663.62	c 1663s |      23 |  8163192 |  3235338 |     2381   2554 |      374 |        0
1665.16/1665.65	c 1665s |      23 |  8173102 |  3239338 |     2381   2556 |      374 |        0
1667.16/1667.70	c 1667s |      23 |  8180656 |  3243138 |     2381   2559 |      374 |        0
1669.26/1669.70	c 1669s |      23 |  8189265 |  3246638 |     2381   2561 |      374 |        0
1671.26/1671.70	c 1671s |      23 |  8199378 |  3250238 |     2381   2564 |      374 |        0
1673.26/1673.71	c 1673s |      23 |  8206722 |  3253338 |     2381   2566 |      374 |        0
1675.26/1675.73	c 1675s |      23 |  8216539 |  3257038 |     2381   2568 |      374 |        0
1677.26/1677.78	c 1677s |      23 |  8227144 |  3260738 |     2381   2571 |      374 |        0
1679.36/1679.82	c 1679s |      23 |  8236205 |  3264338 |     2381   2573 |      374 |        0
1681.36/1681.85	c 1681s |      23 |  8246730 |  3267938 |     2381   2575 |      374 |        0
1683.36/1683.87	c 1683s |      23 |  8255662 |  3271238 |     2381   2578 |      374 |        0
1685.45/1685.93	c 1685s |      23 |  8265171 |  3274838 |     2381   2580 |      374 |        0
1687.45/1687.93	c 1687s |      23 |  8272478 |  3278038 |     2381   2582 |      374 |        0
1689.45/1689.94	c 1689s |      23 |  8283738 |  3281938 |     2381   2585 |      374 |        0
1691.46/1691.95	c 1691s |      23 |  8296180 |  3286038 |     2381   2588 |      374 |        0
1693.45/1693.96	c 1693s |      23 |  8307411 |  3289938 |     2381   2590 |      374 |        0
1695.55/1696.02	c 1695s |      23 |  8315942 |  3293438 |     2381   2592 |      374 |        0
1697.55/1698.05	c 1698s |      23 |  8325763 |  3296938 |     2381   2595 |      374 |        0
1699.55/1700.07	c 1700s |      23 |  8337215 |  3300738 |     2381   2597 |      374 |        0
1701.66/1702.13	c 1702s |      23 |  8349006 |  3304738 |     2381   2600 |      374 |        0
1703.67/1704.15	c 1704s |      23 |  8360506 |  3308638 |     2381   2603 |      374 |        0
1705.66/1706.15	c 1706s |      23 |  8370463 |  3312238 |     2381   2605 |      374 |        0
1707.66/1708.19	c 1708s |      23 |  8380460 |  3316038 |     2381   2608 |      374 |        0
1709.76/1710.21	c 1710s |      23 |  8389034 |  3319738 |     2381   2610 |      374 |        0
1711.76/1712.22	c 1712s |      23 |  8401325 |  3323238 |     2381   2612 |      374 |        0
1713.76/1714.23	c 1714s |      23 |  8410490 |  3326838 |     2381   2615 |      374 |        0
1715.76/1716.24	c 1716s |      23 |  8421929 |  3330538 |     2381   2617 |      374 |        0
1717.76/1718.28	c 1718s |      23 |  8432385 |  3334138 |     2381   2620 |      374 |        0
1719.76/1720.29	c 1720s |      23 |  8442467 |  3337538 |     2381   2622 |      374 |        0
1721.86/1722.31	c 1722s |      23 |  8451723 |  3341038 |     2381   2624 |      374 |        0
1723.86/1724.35	c 1724s |      23 |  8461619 |  3344438 |     2381   2627 |      374 |        0
1725.85/1726.39	c 1726s |      23 |  8472869 |  3348138 |     2381   2629 |      374 |        0
1727.86/1728.39	c 1728s |      23 |  8483215 |  3351838 |     2381   2631 |      374 |        0
1729.96/1730.45	c 1730s |      23 |  8492622 |  3355438 |     2620   2634 |      374 |        0
1732.05/1732.51	c 1732s |      23 |  8501777 |  3358838 |     2620   2636 |      374 |        0
1734.05/1734.55	c 1734s |      23 |  8510723 |  3362238 |     2620   2638 |      374 |        0
1736.05/1736.56	c 1736s |      23 |  8519619 |  3365638 |     2620   2640 |      374 |        0
1738.15/1738.60	c 1738s |      23 |  8529918 |  3369238 |     2620   2642 |      374 |        0
1740.15/1740.65	c 1740s |      23 |  8540389 |  3372838 |     2620   2644 |      374 |        0
1742.16/1742.67	c 1742s |      23 |  8549271 |  3376338 |     2620   2647 |      374 |        0
1742.35/1742.86	c 1742s |      24 |  8549968 |  3376662 |     2620   2647 |      374 |        0
1744.36/1744.90	c 1744s |      24 |  8568682 |  3380562 |     2620   2649 |      374 |        0
1746.46/1746.94	c 1746s |      24 |  8578477 |  3383462 |     2620   2651 |      374 |        0
1748.45/1748.98	c 1748s |      24 |  8593246 |  3386662 |     2620   2653 |      374 |        0
1750.45/1750.99	c 1750s |      24 |  8606486 |  3390562 |     2620   2655 |      374 |        0
1752.55/1753.03	c 1753s |      24 |  8615433 |  3393562 |     2620   2657 |      374 |        0
1754.55/1755.06	c 1755s |      24 |  8626882 |  3396462 |     2620   2659 |      374 |        0
1756.65/1757.14	c 1757s |      24 |  8635604 |  3399062 |     2620   2661 |      374 |        0
1758.75/1759.21	c 1759s |      24 |  8642979 |  3401962 |     2620   2663 |      374 |        0
1760.75/1761.27	c 1761s |      24 |  8654729 |  3405062 |     2620   2665 |      374 |        0
1762.85/1763.35	c 1763s |      24 |  8667161 |  3408162 |     2620   2667 |      374 |        0
1764.85/1765.39	c 1765s |      24 |  8680039 |  3411162 |     2620   2668 |      374 |        0
1766.85/1767.39	c 1767s |      24 |  8692527 |  3414062 |     2620   2670 |      374 |        0
1768.95/1769.49	c 1769s |      24 |  8701816 |  3416962 |     2620   2672 |      374 |        0
1771.04/1771.52	c 1771s |      24 |  8713333 |  3419962 |     2620   2674 |      374 |        0
1773.04/1773.58	c 1773s |      24 |  8721819 |  3422762 |     2620   2676 |      374 |        0
1775.15/1775.66	c 1775s |      24 |  8733253 |  3425862 |     2620   2678 |      374 |        0
1777.14/1777.70	c 1777s |      24 |  8744543 |  3428862 |     2620   2680 |      374 |        0
1779.24/1779.78	c 1779s |      24 |  8755965 |  3431862 |     2620   2682 |      374 |        0
1781.34/1781.80	c 1781s |      24 |  8767139 |  3434562 |     2620   2683 |      374 |        0
1783.34/1783.83	c 1783s |      24 |  8778450 |  3437862 |     2620   2685 |      374 |        0
1785.34/1785.86	c 1785s |      24 |  8787402 |  3440762 |     2620   2687 |      374 |        0
1787.34/1787.86	c 1787s |      24 |  8799266 |  3443762 |     2620   2689 |      374 |        0
1789.45/1789.91	c 1789s |      24 |  8811959 |  3447262 |     2620   2691 |      374 |        0
1791.44/1791.93	c 1791s |      24 |  8823175 |  3451162 |     2620   2694 |      374 |        0
1793.54/1794.00	c 1793s |      24 |  8833301 |  3454262 |     2620   2696 |      374 |        0
1795.54/1796.03	c 1796s |      24 |  8842579 |  3456962 |     2620   2697 |      374 |        0
1797.54/1798.07	c 1798s |      24 |  8851864 |  3459562 |     2620   2699 |      374 |        0
1799.64/1800.13	c 1800s |      24 |  8864353 |  3463062 |     2620   2701 |      374 |        0

ERROR: no interpretation found !

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

pid=1887
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.25 2.24 2.01 3/179 1890
/proc/meminfo: memFree=29022708/32872528 swapFree=17888/1798212
[pid=1890] ppid=1887 vsize=757180 CPUtime=0 cores=0,2,4,6
/proc/1890/stat : 1890 (toysat) R 1887 1890 579 0 -1 4202496 2829 0 0 0 0 0 0 0 20 0 4 0 22874032 775352320 3190 33554432000 4194304 16246674 140736186342688 140736186342112 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1890/statm: 189807 3197 441 2943 0 186701 0
[pid=1890/tid=1891] ppid=1887 vsize=774588 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1891/stat : 1891 (toysat) S 1887 1890 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22874032 793178112 3259 33554432000 4194304 16246674 140736186342688 139843475582192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1890/tid=1892] ppid=1887 vsize=778684 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1892/stat : 1892 (toysat) S 1887 1890 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22874032 797372416 3276 33554432000 4194304 16246674 140736186342688 139843396938992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1890/tid=1893] ppid=1887 vsize=783804 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1893/stat : 1893 (toysat) S 1887 1890 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22874032 802615296 3293 33554432000 4194304 16246674 140736186342688 139843386465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.25 2.24 2.01 3/179 1890
/proc/meminfo: memFree=29022708/32872528 swapFree=17888/1798212
[pid=1890] ppid=1887 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/1890/stat : 1890 (toysat) R 1887 1890 579 0 -1 4202496 17739 0 0 0 7 2 0 0 20 0 4 0 22874032 1247350784 18087 33554432000 4194304 16246674 140736186342688 140736186342112 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1890/statm: 304529 18096 747 2943 0 301423 0
[pid=1890/tid=1891] ppid=1887 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1891/stat : 1891 (toysat) S 1887 1890 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22874032 1247350784 18104 33554432000 4194304 16246674 140736186342688 139843475582192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1890/tid=1892] ppid=1887 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1892/stat : 1892 (toysat) S 1887 1890 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22874032 1247350784 18112 33554432000 4194304 16246674 140736186342688 139843396938992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1890/tid=1893] ppid=1887 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1893/stat : 1893 (toysat) S 1887 1890 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22874032 1247350784 18120 33554432000 4194304 16246674 140736186342688 139843386465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200513 s]
/proc/loadavg: 2.25 2.24 2.01 3/179 1890
/proc/meminfo: memFree=29022708/32872528 swapFree=17888/1798212
[pid=1890] ppid=1887 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/1890/stat : 1890 (toysat) R 1887 1890 579 0 -1 4202496 30026 0 0 0 15 4 0 0 20 0 4 0 22874032 1247350784 30374 33554432000 4194304 16246674 140736186342688 140736186342112 6023439 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1890/statm: 304529 30375 747 2943 0 301423 0
[pid=1890/tid=1891] ppid=1887 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1891/stat : 1891 (toysat) S 1887 1890 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22874032 1247350784 30377 33554432000 4194304 16246674 140736186342688 139843475582192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1890/tid=1892] ppid=1887 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1892/stat : 1892 (toysat) S 1887 1890 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22874032 1247350784 30381 33554432000 4194304 16246674 140736186342688 139843396938992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1890/tid=1893] ppid=1887 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1893/stat : 1893 (toysat) S 1887 1890 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22874032 1247350784 30381 33554432000 4194304 16246674 140736186342688 139843386465456 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.300438 s]
/proc/loadavg: 2.25 2.24 2.01 3/179 1890
/proc/meminfo: memFree=29022708/32872528 swapFree=17888/1798212
[pid=1890] ppid=1887 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/1890/stat : 1890 (toysat) R 1887 1890 579 0 -1 4202496 41124 0 0 0 23 6 0 0 20 0 4 0 22874032 1247350784 41472 33554432000 4194304 16246674 140736186342688 140736186342112 12479207 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1890/statm: 304529 41474 747 2943 0 301423 0
[pid=1890/tid=1891] ppid=1887 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1891/stat : 1891 (toysat) S 1887 1890 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22874032 1247350784 41474 33554432000 4194304 16246674 140736186342688 139843475582192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1890/tid=1892] ppid=1887 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1892/stat : 1892 (toysat) S 1887 1890 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22874032 1247350784 41475 33554432000 4194304 16246674 140736186342688 139843396938992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1890/tid=1893] ppid=1887 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1893/stat : 1893 (toysat) S 1887 1890 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22874032 1247350784 41475 33554432000 4194304 16246674 140736186342688 139843386465456 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.700433 s]
/proc/loadavg: 2.25 2.24 2.01 3/179 1890
/proc/meminfo: memFree=29022708/32872528 swapFree=17888/1798212
[pid=1890] ppid=1887 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/1890/stat : 1890 (toysat) R 1887 1890 579 0 -1 4202496 84741 0 0 0 58 11 0 0 20 0 4 0 22874032 1247350784 85090 33554432000 4194304 16246674 140736186342688 140736186325688 12479207 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1890/statm: 304529 85096 754 2943 0 301423 0
[pid=1890/tid=1891] ppid=1887 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1891/stat : 1891 (toysat) S 1887 1890 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22874032 1247350784 85097 33554432000 4194304 16246674 140736186342688 139843475582192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1890/tid=1892] ppid=1887 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1892/stat : 1892 (toysat) S 1887 1890 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22874032 1247350784 85097 33554432000 4194304 16246674 140736186342688 139843396938992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1890/tid=1893] ppid=1887 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1893/stat : 1893 (toysat) S 1887 1890 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22874032 1247350784 85098 33554432000 4194304 16246674 140736186342688 139843386465456 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.50041 s]
/proc/loadavg: 2.23 2.23 2.01 3/183 1894
/proc/meminfo: memFree=28454692/32872528 swapFree=17888/1798212
[pid=1890] ppid=1887 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/1890/stat : 1890 (toysat) R 1887 1890 579 0 -1 4202496 186621 0 0 0 124 25 0 0 20 0 4 0 22874032 1247350784 186969 33554432000 4194304 16246674 140736186342688 140736186324608 13759916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1890/statm: 304529 186973 754 2943 0 301423 0
[pid=1890/tid=1891] ppid=1887 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1891/stat : 1891 (toysat) S 1887 1890 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22874032 1247350784 186975 33554432000 4194304 16246674 140736186342688 139843475582192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1890/tid=1892] ppid=1887 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1892/stat : 1892 (toysat) S 1887 1890 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22874032 1247350784 186978 33554432000 4194304 16246674 140736186342688 139843396938992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1890/tid=1893] ppid=1887 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1893/stat : 1893 (toysat) S 1887 1890 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22874032 1247350784 186981 33554432000 4194304 16246674 140736186342688 139843386465456 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) 1218116

[startup+3.10039 s]
/proc/loadavg: 2.23 2.23 2.01 3/183 1894
/proc/meminfo: memFree=28036448/32872528 swapFree=17888/1798212
[pid=1890] ppid=1887 vsize=1303108 CPUtime=3.09 cores=0,2,4,6
/proc/1890/stat : 1890 (toysat) R 1887 1890 579 0 -1 4202496 266642 0 0 0 272 37 0 0 20 0 4 0 22874032 1334382592 266967 33554432000 4194304 16246674 140736186342688 140736186324608 5754966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1890/statm: 325777 266967 829 2943 0 322671 0
[pid=1890/tid=1891] ppid=1887 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1891/stat : 1891 (toysat) S 1887 1890 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22874032 1334382592 266967 33554432000 4194304 16246674 140736186342688 139843475582192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1890/tid=1892] ppid=1887 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1892/stat : 1892 (toysat) S 1887 1890 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22874032 1334382592 266967 33554432000 4194304 16246674 140736186342688 139843396938992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1890/tid=1893] ppid=1887 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1893/stat : 1893 (toysat) S 1887 1890 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22874032 1334382592 266967 33554432000 4194304 16246674 140736186342688 139843386465456 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) 1303108

[startup+6.30044 s]
/proc/loadavg: 2.21 2.23 2.01 3/183 1894
/proc/meminfo: memFree=27950236/32872528 swapFree=17888/1798212
[pid=1890] ppid=1887 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/1890/stat : 1890 (toysat) R 1887 1890 579 0 -1 4202496 267831 0 0 0 592 37 0 0 20 0 4 0 22874032 1338576896 268156 33554432000 4194304 16246674 140736186342688 140736186324608 5523307 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1890/statm: 326801 268156 829 2943 0 323695 0
[pid=1890/tid=1891] ppid=1887 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1891/stat : 1891 (toysat) S 1887 1890 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22874032 1338576896 268156 33554432000 4194304 16246674 140736186342688 139843475582192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1890/tid=1892] ppid=1887 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1892/stat : 1892 (toysat) S 1887 1890 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22874032 1338576896 268156 33554432000 4194304 16246674 140736186342688 139843396938992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1890/tid=1893] ppid=1887 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1893/stat : 1893 (toysat) S 1887 1890 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22874032 1338576896 268156 33554432000 4194304 16246674 140736186342688 139843386465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.27 2.24 2.01 3/183 1894
/proc/meminfo: memFree=27949904/32872528 swapFree=17888/1798212
[pid=1890] ppid=1887 vsize=1307204 CPUtime=12.68 cores=0,2,4,6
/proc/1890/stat : 1890 (toysat) R 1887 1890 579 0 -1 4202496 267876 0 0 0 1231 37 0 0 20 0 4 0 22874032 1338576896 268201 33554432000 4194304 16246674 140736186342688 140736186324608 12483183 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1890/statm: 326801 268201 829 2943 0 323695 0
[pid=1890/tid=1891] ppid=1887 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1891/stat : 1891 (toysat) S 1887 1890 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22874032 1338576896 268201 33554432000 4194304 16246674 140736186342688 139843475582192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1890/tid=1892] ppid=1887 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1892/stat : 1892 (toysat) S 1887 1890 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22874032 1338576896 268201 33554432000 4194304 16246674 140736186342688 139843396938992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1890/tid=1893] ppid=1887 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1893/stat : 1893 (toysat) S 1887 1890 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22874032 1338576896 268201 33554432000 4194304 16246674 140736186342688 139843386465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1307204

[startup+25.5074 s]
/proc/loadavg: 2.23 2.23 2.01 3/183 1895
/proc/meminfo: memFree=27949308/32872528 swapFree=17888/1798212
[pid=1890] ppid=1887 vsize=1308228 CPUtime=25.5 cores=0,2,4,6
/proc/1890/stat : 1890 (toysat) R 1887 1890 579 0 -1 4202496 268132 0 0 0 2512 38 0 0 20 0 4 0 22874032 1339625472 268457 33554432000 4194304 16246674 140736186342688 140736186324608 12483303 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1890/statm: 327057 268457 829 2943 0 323951 0
[pid=1890/tid=1891] ppid=1887 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1891/stat : 1891 (toysat) S 1887 1890 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22874032 1339625472 268457 33554432000 4194304 16246674 140736186342688 139843475582192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1890/tid=1892] ppid=1887 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1892/stat : 1892 (toysat) S 1887 1890 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22874032 1339625472 268457 33554432000 4194304 16246674 140736186342688 139843396938992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1890/tid=1893] ppid=1887 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1893/stat : 1893 (toysat) S 1887 1890 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22874032 1339625472 268457 33554432000 4194304 16246674 140736186342688 139843386465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1308228

[startup+51.1004 s]
/proc/loadavg: 2.34 2.26 2.02 3/183 1895
/proc/meminfo: memFree=27945684/32872528 swapFree=17888/1798212
[pid=1890] ppid=1887 vsize=1312324 CPUtime=51.08 cores=0,2,4,6
/proc/1890/stat : 1890 (toysat) R 1887 1890 579 0 -1 4202496 268907 0 0 0 5070 38 0 0 20 0 4 0 22874032 1343819776 269232 33554432000 4194304 16246674 140736186342688 140736186324608 13963948 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1890/statm: 328081 269232 829 2943 0 324975 0
[pid=1890/tid=1891] ppid=1887 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1891/stat : 1891 (toysat) S 1887 1890 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22874032 1343819776 269232 33554432000 4194304 16246674 140736186342688 139843475582192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1890/tid=1892] ppid=1887 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1892/stat : 1892 (toysat) S 1887 1890 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22874032 1343819776 269232 33554432000 4194304 16246674 140736186342688 139843396938992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1890/tid=1893] ppid=1887 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1893/stat : 1893 (toysat) S 1887 1890 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22874032 1343819776 269232 33554432000 4194304 16246674 140736186342688 139843386465456 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) 1312324

[startup+102.3 s]
/proc/loadavg: 2.48 2.29 2.04 3/183 1896
/proc/meminfo: memFree=27944152/32872528 swapFree=17888/1798212
[pid=1890] ppid=1887 vsize=1312324 CPUtime=102.27 cores=0,2,4,6
/proc/1890/stat : 1890 (toysat) R 1887 1890 579 0 -1 4202496 269156 0 0 0 10189 38 0 0 20 0 4 0 22874032 1343819776 269481 33554432000 4194304 16246674 140736186342688 140736186324608 13780600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1890/statm: 328081 269481 829 2943 0 324975 0
[pid=1890/tid=1891] ppid=1887 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1891/stat : 1891 (toysat) S 1887 1890 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22874032 1343819776 269481 33554432000 4194304 16246674 140736186342688 139843475582192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1890/tid=1892] ppid=1887 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1892/stat : 1892 (toysat) S 1887 1890 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22874032 1343819776 269481 33554432000 4194304 16246674 140736186342688 139843396938992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1890/tid=1893] ppid=1887 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1893/stat : 1893 (toysat) S 1887 1890 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22874032 1343819776 269481 33554432000 4194304 16246674 140736186342688 139843386465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1312324


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

/proc/1890/task/1893/stat : 1893 (toysat) S 1887 1890 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22874032 1349062656 271019 33554432000 4194304 16246674 140736186342688 139843386465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 1317444

[startup+1302.3 s]
/proc/loadavg: 2.35 2.32 2.21 3/183 1926
/proc/meminfo: memFree=27935660/32872528 swapFree=17888/1798212
[pid=1890] ppid=1887 vsize=1317444 CPUtime=1301.94 cores=0,2,4,6
/proc/1890/stat : 1890 (toysat) R 1887 1890 579 0 -1 4202496 270768 0 0 0 130147 47 0 0 20 0 4 0 22874032 1349062656 271019 33554432000 4194304 16246674 140736186342688 140736186324608 5711624 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1890/statm: 329361 271019 831 2943 0 326255 0
[pid=1890/tid=1891] ppid=1887 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1891/stat : 1891 (toysat) S 1887 1890 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22874032 1349062656 271019 33554432000 4194304 16246674 140736186342688 139843475582192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1890/tid=1892] ppid=1887 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1892/stat : 1892 (toysat) S 1887 1890 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22874032 1349062656 271019 33554432000 4194304 16246674 140736186342688 139843396938992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1890/tid=1893] ppid=1887 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1893/stat : 1893 (toysat) S 1887 1890 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22874032 1349062656 271019 33554432000 4194304 16246674 140736186342688 139843386465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1317444

[startup+1362.3 s]
/proc/loadavg: 2.41 2.34 2.22 4/183 1927
/proc/meminfo: memFree=27935696/32872528 swapFree=17888/1798212
[pid=1890] ppid=1887 vsize=1317444 CPUtime=1361.93 cores=0,2,4,6
/proc/1890/stat : 1890 (toysat) R 1887 1890 579 0 -1 4202496 270801 0 0 0 136145 48 0 0 20 0 4 0 22874032 1349062656 271019 33554432000 4194304 16246674 140736186342688 140736186324608 5711697 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1890/statm: 329361 271019 831 2943 0 326255 0
[pid=1890/tid=1891] ppid=1887 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1891/stat : 1891 (toysat) S 1887 1890 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22874032 1349062656 271019 33554432000 4194304 16246674 140736186342688 139843475582192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1890/tid=1892] ppid=1887 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1892/stat : 1892 (toysat) S 1887 1890 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22874032 1349062656 271019 33554432000 4194304 16246674 140736186342688 139843396938992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1890/tid=1893] ppid=1887 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1893/stat : 1893 (toysat) S 1887 1890 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22874032 1349062656 271019 33554432000 4194304 16246674 140736186342688 139843386465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1317444

[startup+1422.3 s]
/proc/loadavg: 2.27 2.30 2.21 3/183 1928
/proc/meminfo: memFree=27935620/32872528 swapFree=17888/1798212
[pid=1890] ppid=1887 vsize=1317444 CPUtime=1421.9 cores=0,2,4,6
/proc/1890/stat : 1890 (toysat) R 1887 1890 579 0 -1 4202496 270829 0 0 0 142142 48 0 0 20 0 4 0 22874032 1349062656 271019 33554432000 4194304 16246674 140736186342688 140736186324608 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1890/statm: 329361 271019 831 2943 0 326255 0
[pid=1890/tid=1891] ppid=1887 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1891/stat : 1891 (toysat) S 1887 1890 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22874032 1349062656 271019 33554432000 4194304 16246674 140736186342688 139843475582192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1890/tid=1892] ppid=1887 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1892/stat : 1892 (toysat) S 1887 1890 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22874032 1349062656 271019 33554432000 4194304 16246674 140736186342688 139843396938992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1890/tid=1893] ppid=1887 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1893/stat : 1893 (toysat) S 1887 1890 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22874032 1349062656 271019 33554432000 4194304 16246674 140736186342688 139843386465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1317444

[startup+1482.3 s]
/proc/loadavg: 2.27 2.29 2.21 3/183 1929
/proc/meminfo: memFree=27935864/32872528 swapFree=17888/1798212
[pid=1890] ppid=1887 vsize=1317444 CPUtime=1481.89 cores=0,2,4,6
/proc/1890/stat : 1890 (toysat) R 1887 1890 579 0 -1 4202496 270829 0 0 0 148141 48 0 0 20 0 4 0 22874032 1349062656 271019 33554432000 4194304 16246674 140736186342688 140736186324608 13781168 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1890/statm: 329361 271019 831 2943 0 326255 0
[pid=1890/tid=1891] ppid=1887 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1891/stat : 1891 (toysat) S 1887 1890 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22874032 1349062656 271019 33554432000 4194304 16246674 140736186342688 139843475582192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1890/tid=1892] ppid=1887 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1892/stat : 1892 (toysat) S 1887 1890 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22874032 1349062656 271019 33554432000 4194304 16246674 140736186342688 139843396938992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1890/tid=1893] ppid=1887 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1893/stat : 1893 (toysat) S 1887 1890 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22874032 1349062656 271019 33554432000 4194304 16246674 140736186342688 139843386465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1317444

[startup+1542.3 s]
/proc/loadavg: 2.30 2.30 2.21 3/183 1933
/proc/meminfo: memFree=27935228/32872528 swapFree=17888/1798212
[pid=1890] ppid=1887 vsize=1317444 CPUtime=1541.89 cores=0,2,4,6
/proc/1890/stat : 1890 (toysat) R 1887 1890 579 0 -1 4202496 270829 0 0 0 154141 48 0 0 20 0 4 0 22874032 1349062656 271019 33554432000 4194304 16246674 140736186342688 140736186324608 5523456 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1890/statm: 329361 271019 831 2943 0 326255 0
[pid=1890/tid=1891] ppid=1887 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1891/stat : 1891 (toysat) S 1887 1890 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22874032 1349062656 271019 33554432000 4194304 16246674 140736186342688 139843475582192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1890/tid=1892] ppid=1887 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1892/stat : 1892 (toysat) S 1887 1890 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22874032 1349062656 271019 33554432000 4194304 16246674 140736186342688 139843396938992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1890/tid=1893] ppid=1887 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1893/stat : 1893 (toysat) S 1887 1890 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22874032 1349062656 271019 33554432000 4194304 16246674 140736186342688 139843386465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1317444

[startup+1602.3 s]
/proc/loadavg: 2.21 2.27 2.21 3/183 1983
/proc/meminfo: memFree=28394608/32872528 swapFree=17888/1798212
[pid=1890] ppid=1887 vsize=1317444 CPUtime=1601.87 cores=0,2,4,6
/proc/1890/stat : 1890 (toysat) R 1887 1890 579 0 -1 4202496 270829 0 0 0 160138 49 0 0 20 0 4 0 22874032 1349062656 271019 33554432000 4194304 16246674 140736186342688 140736186324608 5599986 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1890/statm: 329361 271019 831 2943 0 326255 0
[pid=1890/tid=1891] ppid=1887 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1891/stat : 1891 (toysat) S 1887 1890 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22874032 1349062656 271019 33554432000 4194304 16246674 140736186342688 139843475582192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1890/tid=1892] ppid=1887 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1892/stat : 1892 (toysat) S 1887 1890 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22874032 1349062656 271019 33554432000 4194304 16246674 140736186342688 139843396938992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1890/tid=1893] ppid=1887 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1893/stat : 1893 (toysat) S 1887 1890 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22874032 1349062656 271019 33554432000 4194304 16246674 140736186342688 139843386465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1317444

[startup+1662.31 s]
/proc/loadavg: 2.22 2.26 2.21 3/183 1984
/proc/meminfo: memFree=28394408/32872528 swapFree=17888/1798212
[pid=1890] ppid=1887 vsize=1317444 CPUtime=1661.87 cores=0,2,4,6
/proc/1890/stat : 1890 (toysat) R 1887 1890 579 0 -1 4202496 270829 0 0 0 166138 49 0 0 20 0 4 0 22874032 1349062656 271019 33554432000 4194304 16246674 140736186342688 140736186324608 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1890/statm: 329361 271019 831 2943 0 326255 0
[pid=1890/tid=1891] ppid=1887 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1891/stat : 1891 (toysat) S 1887 1890 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22874032 1349062656 271019 33554432000 4194304 16246674 140736186342688 139843475582192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1890/tid=1892] ppid=1887 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1892/stat : 1892 (toysat) S 1887 1890 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22874032 1349062656 271019 33554432000 4194304 16246674 140736186342688 139843396938992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1890/tid=1893] ppid=1887 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1893/stat : 1893 (toysat) S 1887 1890 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22874032 1349062656 271019 33554432000 4194304 16246674 140736186342688 139843386465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1317444

[startup+1722.3 s]
/proc/loadavg: 2.18 2.24 2.20 3/183 1985
/proc/meminfo: memFree=28145600/32872528 swapFree=17888/1798212
[pid=1890] ppid=1887 vsize=1317444 CPUtime=1721.86 cores=0,2,4,6
/proc/1890/stat : 1890 (toysat) R 1887 1890 579 0 -1 4202496 270829 0 0 0 172136 50 0 0 20 0 4 0 22874032 1349062656 271019 33554432000 4194304 16246674 140736186342688 140736186325688 5823234 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1890/statm: 329361 271019 831 2943 0 326255 0
[pid=1890/tid=1891] ppid=1887 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1891/stat : 1891 (toysat) S 1887 1890 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22874032 1349062656 271019 33554432000 4194304 16246674 140736186342688 139843475582192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1890/tid=1892] ppid=1887 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1892/stat : 1892 (toysat) S 1887 1890 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22874032 1349062656 271019 33554432000 4194304 16246674 140736186342688 139843396938992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1890/tid=1893] ppid=1887 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1893/stat : 1893 (toysat) S 1887 1890 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22874032 1349062656 271019 33554432000 4194304 16246674 140736186342688 139843386465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1317444

[startup+1782.3 s]
/proc/loadavg: 2.29 2.26 2.20 3/183 1986
/proc/meminfo: memFree=28029656/32872528 swapFree=17888/1798212
[pid=1890] ppid=1887 vsize=1320516 CPUtime=1781.84 cores=0,2,4,6
/proc/1890/stat : 1890 (toysat) R 1887 1890 579 0 -1 4202496 271399 0 0 0 178134 50 0 0 20 0 4 0 22874032 1352208384 271589 33554432000 4194304 16246674 140736186342688 140736186324608 13963975 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1890/statm: 330129 271589 831 2943 0 327023 0
[pid=1890/tid=1891] ppid=1887 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1891/stat : 1891 (toysat) S 1887 1890 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22874032 1352208384 271589 33554432000 4194304 16246674 140736186342688 139843475582192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1890/tid=1892] ppid=1887 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1892/stat : 1892 (toysat) S 1887 1890 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22874032 1352208384 271589 33554432000 4194304 16246674 140736186342688 139843396938992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1890/tid=1893] ppid=1887 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1893/stat : 1893 (toysat) S 1887 1890 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22874032 1352208384 271589 33554432000 4194304 16246674 140736186342688 139843386465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1320516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.38 2.28 2.21 3/183 1987
/proc/meminfo: memFree=28029652/32872528 swapFree=17888/1798212
[pid=1890] ppid=1887 vsize=1320516 CPUtime=1800.04 cores=0,2,4,6
/proc/1890/stat : 1890 (toysat) R 1887 1890 579 0 -1 4202496 271399 0 0 0 179954 50 0 0 20 0 4 0 22874032 1352208384 271589 33554432000 4194304 16246674 140736186342688 140736186324608 13781202 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1890/statm: 330129 271589 831 2943 0 327023 0
[pid=1890/tid=1891] ppid=1887 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1891/stat : 1891 (toysat) S 1887 1890 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22874032 1352208384 271589 33554432000 4194304 16246674 140736186342688 139843475582192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1890/tid=1892] ppid=1887 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1892/stat : 1892 (toysat) S 1887 1890 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22874032 1352208384 271589 33554432000 4194304 16246674 140736186342688 139843396938992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1890/tid=1893] ppid=1887 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/1890/task/1893/stat : 1893 (toysat) S 1887 1890 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22874032 1352208384 271589 33554432000 4194304 16246674 140736186342688 139843386465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1320516

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 1890 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.51
CPU time (s): 1800.05
CPU user time (s): 1799.55
CPU system time (s): 0.506922
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 1320516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.506922
maximum resident set size= 1086356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271399
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= 405
involuntary context switches= 2365

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.82111 second user time and 7.65084 second system time

The end

Begin job on node123 at 2016-06-18 02:04:29
IDJOB=4099881
IDBENCH=1546
IDSOLVER=2542
FILE ID=node123/4099881-1466208269
RUNJOBID= node123-1466206081-595
PBS_JOBID= 19918154
Free space on /tmp= 71612 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-gr4x6.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099881-1466208269/watcher-4099881-1466208269 -o /tmp/evaluation-result-4099881-1466208269/solver-4099881-1466208269 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466206081-595 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099881-1466208269.opb

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

MD5SUM BENCH= 575b26c97ae90d0a5ad0f53e9f10755e
RANDOM SEED=1184767986

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29023500 kB
Buffers:           40944 kB
Cached:           152356 kB
SwapCached:         1640 kB
Active:          1237856 kB
Inactive:         106128 kB
Active(anon):    1151948 kB
Inactive(anon):     1100 kB
Active(file):      85908 kB
Inactive(file):   105028 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099272 kB
Dirty:             16320 kB
Writeback:             0 kB
AnonPages:       2948244 kB
Mapped:            10688 kB
Shmem:                 0 kB
Slab:             571636 kB
SReclaimable:      15872 kB
SUnreclaim:       555764 kB
KernelStack:        1512 kB
PageTables:         9496 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3089604 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1800192 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= 71596 MiB
End job on node123 at 2016-06-18 02:34:30