0.00/0.00	c 2016-06-16T02:18:55+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-4089974-1466036335.opb"]
0.00/0.01	c use --random-gen="1428533931 1965951928 4253274991 3161300354 2739806892 987521119 3267292714 1914349149 1204195856 4213200175 637941920 4262111348 605610369 1820105816 1503696594 331891238 3661123834 188369028 3235137518 2113569749 2487296181 1622944001 3944838428 518920688 2101998874 3953201006 1946336210 4159975292 1920718103 1380241420 4237562890 2604863812 3962243878 2046621605 3275163190 3915264287 1213692278 2096959085 1783941342 1140521617 1016832491 186973964 2346597200 4024889960 3929894212 4127540526 92811388 3859627516 1263110793 710889251 949235773 3689700233 3993720033 1333484649 1319707948 2359297193 974922299 1849641380 1051848282 2366418517 3301870692 4256280672 550357326 2395017652 4228649654 3158343116 2073358932 1209889747 687542537 3747283052 2564946088 3080316152 477065185 1011895694 2931470856 3360873760 3643835163 837547721 863514444 3583082741 2623565984 3343414136 3715561332 820087788 142207572 2816283871 2087728159 500242469 43202981 2267838528 2812472568 3230174945 2086185870 1124206522 2589819050 2926223407 4057375995 2033883632 593696646 3470059270 125485349 2122124315 2615599737 349990866 3973137428 3459640650 1247196743 2602025626 1033249683 348383645 2342575691 696005460 3590669168 2680360657 4186091495 377884331 2735756917 3885390421 190954091 4011812776 2167623614 1334560060 3662888846 3923728904 2822013607 2728294911 2860834903 3574811204 2124389617 1219435581 3917382961 2406391226 3055189703 467602967 3972687022 2844414710 1383811249 2684048216 2261095501 2058296668 3086044264 2209632752 2605802143 1025169808 2358191308 3458489049 1132493083 1039777096 3765351797 1189558034 3426937222 1284933592 4104248642 120211294 1085007285 228420160 3216892424 1088236270 1729680124 1676021994 3751908695 2186481976 2400028300 1889792341 1937774772 3390453192 125939513 3516362719 245381937 834570824 1788465748 67465671 770195945 2342443457 2460300992 1177758839 4014216206 1901363862 3756251635 3626197970 474473916 679294262 3363173061 1847584817 905521073 341827954 2202934131 3850746278 1263765240 4196856170 2717886 1778260489 2117982035 3783647 4208844642 3031453233 3262665173 2763653046 350321197 485688594 654151433 572697071 1513498368 3891184407 1823181015 2946069916 1023638083 2437668441 671010644 716671702 4122546383 1863626052 2574054427 3576422723 532046609 2401559946 2072926848 733649566 1052888341 2913084508 2088378760 2546366314 3771063623 1294048473 3036548895 4161268257 3447898463 379745808 3363459767 2061211450 2346589543 4092460736 748202949 3541339531 2548632606 3584082722 3713826663 485992367 3406675733 2434650896 4072778959 3779873640 281917045 1546082970 1829235737 3677238531 1655199649 2392785965 2101022592 4109733862 2131129407 2071940397 1308872809 1654471216 3258581759 4227306376 255 362436" option to reproduce the execution
0.00/0.01	c #vars 273
0.00/0.01	c #constraints 91
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      151      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      151 |      100 |      151      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      473 |      250 |      167      0 |        0 |        0
0.09/0.11	c  0.1s |       3 |      863 |      475 |      184      1 |        0 |        0
0.09/0.19	c  0.2s |       4 |     1387 |      813 |      203      3 |        0 |        0
0.29/0.32	c  0.3s |       5 |     2030 |     1320 |      224      5 |        0 |        0
0.49/0.52	c  0.5s |       6 |     2986 |     2081 |      272      9 |        0 |        0
0.69/0.83	c  0.8s |       7 |     4352 |     3223 |      300     14 |        0 |        0
1.09/1.15	c  1.1s |       8 |     6316 |     4936 |      330     21 |        0 |        0
1.58/1.68	c  1.7s |       9 |     9301 |     7506 |      364     31 |        0 |        0
2.48/2.55	c  2.5s |      10 |    13708 |    11361 |      401     45 |        0 |        0
3.88/3.94	c  3.9s |      11 |    20230 |    17144 |      442     64 |        0 |        0
5.88/5.95	c  5.9s |      11 |    29044 |    24744 |      442     89 |        0 |        0
6.18/6.23	c  6.2s |      12 |    30318 |    25819 |      487     93 |        0 |        0
8.18/8.25	c  8.2s |      12 |    39822 |    33619 |      487    117 |        0 |        0
9.58/9.62	c  9.6s |      13 |    46006 |    38832 |      536    133 |        0 |        0
11.58/11.65	c 11.6s |      13 |    55455 |    46632 |      536    156 |        0 |        0
13.58/13.68	c 13.7s |      13 |    63742 |    53832 |      536    177 |        0 |        0
14.78/14.88	c 14.9s |      14 |    69023 |    58352 |      590    189 |        0 |        0
16.78/16.88	c 16.9s |      14 |    79053 |    66752 |      590    211 |        0 |        0
18.79/18.89	c 18.9s |      14 |    87903 |    74252 |      590    231 |        0 |        0
20.88/20.90	c 20.9s |      14 |    96308 |    81452 |      590    250 |        0 |        0
22.68/22.71	c 22.7s |      15 |   103597 |    87632 |      649    266 |        0 |        0
24.68/24.73	c 24.7s |      15 |   112565 |    95332 |      649    285 |        0 |        0
26.69/26.74	c 26.7s |      15 |   120603 |   102232 |      649    302 |        0 |        0
28.70/28.75	c 28.7s |      15 |   128659 |   109232 |      649    319 |        0 |        0
30.69/30.77	c 30.8s |      15 |   137050 |   116232 |      649    337 |        0 |        0
32.69/32.79	c 32.8s |      15 |   144812 |   123032 |      649    353 |        0 |        0
34.79/34.80	c 34.8s |      15 |   152022 |   129332 |      649    369 |        0 |        0
35.49/35.51	c 35.5s |      16 |   154539 |   131552 |      714    374 |        0 |        0
37.49/37.53	c 37.5s |      16 |   162958 |   138552 |      714    390 |        0 |        0
39.49/39.55	c 39.5s |      16 |   170411 |   145152 |      714    405 |        0 |        0
41.48/41.58	c 41.6s |      16 |   178188 |   151952 |      714    421 |        0 |        0
43.58/43.60	c 43.6s |      16 |   185492 |   158452 |      714    436 |        0 |        0
45.58/45.62	c 45.6s |      16 |   193202 |   165252 |      714    451 |        0 |        0
47.58/47.64	c 47.6s |      16 |   200783 |   172052 |      714    467 |        0 |        0
49.59/49.65	c 49.6s |      16 |   208939 |   178952 |      714    483 |        0 |        0
51.58/51.67	c 51.7s |      16 |   217113 |   185852 |      714    499 |        0 |        0
53.58/53.70	c 53.7s |      16 |   223418 |   191452 |      714    512 |        0 |        0
55.58/55.65	c 55.6s |      17 |   230134 |   197432 |      786    525 |        0 |        0
57.58/57.66	c 57.6s |      17 |   239728 |   205032 |      786    542 |        0 |        0
59.58/59.66	c 59.6s |      17 |   247627 |   212232 |      786    557 |        0 |        0
61.58/61.68	c 61.7s |      17 |   255314 |   219132 |      786    572 |        0 |        0
63.68/63.70	c 63.7s |      17 |   263044 |   226132 |      786    587 |        0 |        0
65.68/65.71	c 65.7s |      17 |   270569 |   233032 |      786    602 |        0 |        0
67.68/67.72	c 67.7s |      17 |   278404 |   240232 |      786    618 |        0 |        0
69.67/69.72	c 69.7s |      17 |   286485 |   247632 |      786    634 |        0 |        0
71.68/71.75	c 71.7s |      17 |   294387 |   254732 |      786    650 |        0 |        0
73.67/73.77	c 73.8s |      17 |   302149 |   261732 |      786    665 |        0 |        0
75.67/75.79	c 75.8s |      17 |   309835 |   268832 |      786    680 |        0 |        0
77.77/77.81	c 77.8s |      17 |   317009 |   275532 |      786    694 |        0 |        0
79.77/79.83	c 79.8s |      17 |   324310 |   282232 |      786    709 |        0 |        0
81.77/81.86	c 81.8s |      17 |   331868 |   289032 |      786    724 |        0 |        0
83.78/83.87	c 83.9s |      17 |   339033 |   295632 |      865    738 |        0 |        0
83.97/84.07	c 84.1s |      18 |   339699 |   296252 |      865    739 |        0 |        0
85.99/86.07	c 86.1s |      18 |   347666 |   303452 |      865    753 |        0 |        0
87.98/88.08	c 88.1s |      18 |   354869 |   310052 |      865    766 |        0 |        0
90.08/90.10	c 90.1s |      18 |   361856 |   316552 |      865    778 |        0 |        0
92.08/92.10	c 92.1s |      18 |   369329 |   323352 |      865    791 |        0 |        0
94.08/94.11	c 94.1s |      18 |   376345 |   329852 |      865    804 |        0 |        0
96.08/96.11	c 96.1s |      18 |   382270 |   335352 |      865    815 |        0 |        0
98.08/98.13	c 98.1s |      18 |   390035 |   342252 |      865    828 |        0 |        0
100.08/100.16	c  100s |      18 |   397168 |   348552 |      865    841 |        0 |        0
102.08/102.17	c  102s |      18 |   404275 |   354952 |      865    853 |        0 |        0
104.08/104.18	c  104s |      18 |   411787 |   361652 |      865    866 |        0 |        0
106.07/106.19	c  106s |      18 |   419205 |   368252 |      865    879 |        0 |        0
108.17/108.20	c  108s |      18 |   426287 |   374552 |      865    892 |        0 |        0
110.18/110.22	c  110s |      18 |   433126 |   380852 |      865    904 |        0 |        0
112.17/112.22	c  112s |      18 |   439168 |   386352 |      865    915 |        0 |        0
114.17/114.23	c  114s |      18 |   445505 |   392152 |      865    926 |        0 |        0
116.17/116.24	c  116s |      18 |   452408 |   398352 |      865    938 |        0 |        0
118.17/118.25	c  118s |      18 |   460128 |   405152 |      865    951 |        0 |        0
120.17/120.27	c  120s |      18 |   468003 |   412052 |      865    965 |        0 |        0
122.18/122.28	c  122s |      18 |   474950 |   418152 |      865    977 |        0 |        0
124.17/124.28	c  124s |      18 |   480640 |   423452 |      865    987 |        0 |        0
126.27/126.31	c  126s |      18 |   487499 |   429652 |      865    999 |        0 |        0
128.27/128.33	c  128s |      18 |   495579 |   436452 |      865   1013 |        0 |        0
130.27/130.35	c  130s |      18 |   502631 |   442852 |      952   1025 |        0 |        0
130.77/130.82	c  130s |      19 |   504651 |   444482 |      952   1028 |        0 |        0
132.77/132.82	c  132s |      19 |   514441 |   452382 |      952   1042 |        0 |        0
134.77/134.84	c  134s |      19 |   523466 |   459982 |      952   1056 |        0 |        0
136.77/136.86	c  136s |      19 |   532098 |   467282 |      952   1069 |        0 |        0
138.78/138.88	c  138s |      19 |   540549 |   474682 |      952   1083 |        0 |        0
140.87/140.90	c  140s |      19 |   548418 |   481682 |      952   1095 |        0 |        0
142.87/142.92	c  142s |      19 |   556184 |   488682 |      952   1108 |        0 |        0
144.87/144.93	c  144s |      19 |   564000 |   495682 |      952   1121 |        0 |        0
146.86/146.95	c  146s |      19 |   571640 |   502582 |      952   1133 |        0 |        0
148.86/148.96	c  148s |      19 |   579804 |   509682 |      952   1146 |        0 |        0
150.87/150.98	c  150s |      19 |   588101 |   516582 |      952   1159 |        0 |        0
152.86/153.00	c  152s |      19 |   597473 |   524082 |      952   1173 |        0 |        0
154.96/155.03	c  155s |      19 |   605911 |   531182 |      952   1185 |        0 |        0
156.96/157.04	c  157s |      19 |   613395 |   537782 |      952   1198 |        0 |        0
158.96/159.05	c  159s |      19 |   619889 |   543682 |      952   1208 |        0 |        0
160.96/161.07	c  161s |      19 |   627490 |   550382 |      952   1220 |        0 |        0
162.97/163.09	c  163s |      19 |   634563 |   556782 |      952   1232 |        0 |        0
165.07/165.11	c  165s |      19 |   641117 |   562682 |      952   1243 |        0 |        0
167.06/167.12	c  167s |      19 |   647529 |   568482 |      952   1253 |        0 |        0
169.06/169.14	c  169s |      19 |   654261 |   574482 |      952   1264 |        0 |        0
171.06/171.16	c  171s |      19 |   661186 |   580582 |      952   1275 |        0 |        0
173.06/173.18	c  173s |      19 |   667364 |   586082 |      952   1285 |        0 |        0
175.16/175.20	c  175s |      19 |   675461 |   592782 |      952   1297 |        0 |        0
177.17/177.23	c  177s |      19 |   682231 |   598782 |      952   1308 |        0 |        0
179.16/179.25	c  179s |      19 |   688489 |   604382 |      952   1318 |        0 |        0
181.16/181.25	c  181s |      19 |   696420 |   611282 |      952   1331 |        0 |        0
183.16/183.27	c  183s |      19 |   704504 |   618082 |      952   1343 |        0 |        0
185.16/185.29	c  185s |      19 |   711881 |   624482 |      952   1355 |        0 |        0
187.16/187.29	c  187s |      19 |   719311 |   630682 |      952   1366 |        0 |        0
189.26/189.32	c  189s |      19 |   725869 |   636382 |      952   1376 |        0 |        0
191.25/191.35	c  191s |      19 |   733371 |   642782 |      952   1388 |        0 |        0
193.25/193.38	c  193s |      19 |   740485 |   648782 |      952   1399 |        0 |        0
195.25/195.39	c  195s |      19 |   747842 |   655082 |      952   1410 |        0 |        0
197.36/197.41	c  197s |      19 |   754888 |   661382 |      952   1422 |        0 |        0
199.06/199.18	c  199s |      20 |   761126 |   666827 |     1048   1431 |        0 |        0
201.16/201.21	c  201s |      20 |   768906 |   673527 |     1048   1442 |        0 |        0
203.16/203.24	c  203s |      20 |   776353 |   680227 |     1048   1454 |        0 |        0
205.16/205.25	c  205s |      20 |   783497 |   686827 |     1048   1465 |        0 |        0
207.16/207.26	c  207s |      20 |   790116 |   692927 |     1048   1475 |        0 |        0
209.26/209.30	c  209s |      20 |   796948 |   699227 |     1048   1485 |        0 |        0
211.27/211.33	c  211s |      20 |   803824 |   705527 |     1048   1496 |        0 |        0
213.26/213.35	c  213s |      20 |   810331 |   711527 |     1048   1506 |        0 |        0
215.26/215.37	c  215s |      20 |   817220 |   717727 |     1048   1516 |        0 |        0
217.26/217.38	c  217s |      20 |   824347 |   723927 |     1048   1527 |        0 |        0
219.26/219.39	c  219s |      20 |   831215 |   729827 |     1048   1536 |        0 |        0
221.36/221.42	c  221s |      20 |   838280 |   735927 |     1048   1546 |        0 |        0
223.36/223.44	c  223s |      20 |   844930 |   741827 |     1048   1556 |        0 |        0
225.36/225.48	c  225s |      20 |   851184 |   747227 |     1048   1565 |        0 |        0
227.36/227.48	c  227s |      20 |   856879 |   752327 |     1048   1573 |        0 |        0
229.46/229.50	c  229s |      20 |   862661 |   757727 |     1048   1582 |        0 |        0
231.46/231.53	c  231s |      20 |   869005 |   763327 |     1048   1592 |        0 |        0
233.45/233.55	c  233s |      20 |   877134 |   770227 |     1048   1603 |        0 |        0
235.46/235.55	c  235s |      20 |   884603 |   776927 |     1048   1614 |        0 |        0
237.45/237.58	c  237s |      20 |   892237 |   783627 |     1048   1625 |        0 |        0
239.55/239.60	c  239s |      20 |   899749 |   790227 |     1048   1636 |        0 |        0
241.55/241.61	c  241s |      20 |   906441 |   796227 |     1048   1646 |        0 |        0
243.55/243.64	c  243s |      20 |   913585 |   802527 |     1048   1657 |        0 |        0
245.55/245.68	c  245s |      20 |   920407 |   808527 |     1048   1667 |        0 |        0
247.66/247.72	c  247s |      20 |   927011 |   814527 |     1048   1677 |        0 |        0
249.65/249.74	c  249s |      20 |   933222 |   820227 |     1048   1686 |        0 |        0
251.65/251.75	c  251s |      20 |   940105 |   826227 |     1048   1696 |        0 |        0
253.65/253.75	c  253s |      20 |   947171 |   832327 |     1048   1706 |        0 |        0
255.65/255.75	c  255s |      20 |   953992 |   838227 |     1048   1716 |        0 |        0
257.65/257.76	c  257s |      20 |   961326 |   844527 |     1048   1726 |        0 |        0
259.65/259.77	c  259s |      20 |   967989 |   850327 |     1048   1736 |        0 |        0
261.65/261.79	c  261s |      20 |   974800 |   856227 |     1048   1746 |        0 |        0
263.74/263.81	c  263s |      20 |   981754 |   862327 |     1048   1756 |        0 |        0
265.74/265.83	c  265s |      20 |   988790 |   868627 |     1048   1766 |        0 |        0
267.74/267.85	c  267s |      20 |   996105 |   875027 |     1048   1777 |        0 |        0
269.74/269.87	c  269s |      20 |  1002960 |   881027 |     1048   1787 |        0 |        0
271.85/271.91	c  271s |      20 |  1009764 |   886927 |     1048   1797 |        0 |        0
273.84/273.93	c  273s |      20 |  1015986 |   892427 |     1048   1806 |        0 |        0
275.84/275.96	c  275s |      20 |  1022386 |   898227 |     1048   1816 |        0 |        0
277.84/277.98	c  277s |      20 |  1029399 |   904327 |     1048   1826 |        0 |        0
279.94/280.00	c  279s |      20 |  1035845 |   910027 |     1048   1835 |        0 |        0
281.94/282.01	c  281s |      20 |  1042396 |   915927 |     1048   1845 |        0 |        0
283.95/284.03	c  284s |      20 |  1048957 |   921727 |     1048   1854 |        0 |        0
285.94/286.04	c  286s |      20 |  1055803 |   927627 |     1048   1864 |        0 |        0
287.95/288.07	c  288s |      20 |  1062567 |   933527 |     1048   1874 |        0 |        0
290.05/290.10	c  290s |      20 |  1069617 |   939727 |     1048   1884 |        0 |        0
292.05/292.13	c  292s |      20 |  1077081 |   946227 |     1048   1895 |        0 |        0
294.05/294.15	c  294s |      20 |  1083413 |   951827 |     1048   1904 |        0 |        0
296.06/296.17	c  296s |      20 |  1089920 |   957627 |     1048   1914 |        0 |        0
298.05/298.17	c  298s |      20 |  1096444 |   963327 |     1048   1923 |        0 |        0
300.15/300.20	c  300s |      20 |  1102402 |   968727 |     1048   1932 |        0 |        0
302.15/302.23	c  302s |      20 |  1109441 |   974727 |     1048   1942 |        0 |        0
304.15/304.23	c  304s |      20 |  1116316 |   980627 |     1048   1952 |        0 |        0
306.14/306.23	c  306s |      20 |  1123397 |   986627 |     1048   1962 |        0 |        0
308.15/308.23	c  308s |      20 |  1130231 |   992427 |     1048   1972 |        0 |        0
310.14/310.25	c  310s |      20 |  1136733 |   997827 |     1153   1980 |        0 |        0
310.94/311.06	c  311s |      21 |  1139792 |  1000345 |     1153   1984 |        0 |        0
312.94/313.06	c  313s |      21 |  1147720 |  1006945 |     1153   1994 |        0 |        0
314.94/315.08	c  315s |      21 |  1155255 |  1013445 |     1153   2004 |        0 |        0
316.95/317.09	c  317s |      21 |  1162725 |  1019945 |     1153   2014 |        0 |        0
318.94/319.09	c  319s |      21 |  1170479 |  1026545 |     1153   2024 |        0 |        0
321.04/321.10	c  321s |      21 |  1177942 |  1032945 |     1153   2034 |        0 |        0
323.04/323.10	c  323s |      21 |  1185246 |  1039245 |     1153   2043 |        0 |        0
325.04/325.12	c  325s |      21 |  1192527 |  1045745 |     1153   2053 |        0 |        0
327.04/327.14	c  327s |      21 |  1199116 |  1051745 |     1153   2062 |        0 |        0
329.04/329.15	c  329s |      21 |  1205935 |  1057945 |     1153   2072 |        0 |        0
331.03/331.18	c  331s |      21 |  1212596 |  1063945 |     1153   2081 |        0 |        0
333.13/333.21	c  333s |      21 |  1219692 |  1070345 |     1153   2091 |        0 |        0
335.13/335.23	c  335s |      21 |  1226548 |  1076445 |     1153   2100 |        0 |        0
337.13/337.25	c  337s |      21 |  1233511 |  1082645 |     1153   2109 |        0 |        0
339.13/339.26	c  339s |      21 |  1240210 |  1088545 |     1153   2118 |        0 |        0
341.14/341.26	c  341s |      21 |  1246689 |  1094345 |     1153   2127 |        0 |        0
343.13/343.27	c  343s |      21 |  1253135 |  1100245 |     1153   2136 |        0 |        0
345.13/345.28	c  345s |      21 |  1260530 |  1106545 |     1153   2146 |        0 |        0
347.13/347.29	c  347s |      21 |  1267896 |  1112945 |     1153   2155 |        0 |        0
349.13/349.29	c  349s |      21 |  1275069 |  1119045 |     1153   2165 |        0 |        0
351.24/351.30	c  351s |      21 |  1282103 |  1125045 |     1153   2174 |        0 |        0
353.25/353.33	c  353s |      21 |  1289116 |  1131245 |     1153   2183 |        0 |        0
355.24/355.34	c  355s |      21 |  1295179 |  1136645 |     1153   2191 |        0 |        0
357.24/357.35	c  357s |      21 |  1302892 |  1143245 |     1153   2201 |        0 |        0
359.24/359.39	c  359s |      21 |  1310385 |  1149845 |     1153   2212 |        0 |        0
361.34/361.40	c  361s |      21 |  1317174 |  1155945 |     1153   2221 |        0 |        0
363.34/363.41	c  363s |      21 |  1323908 |  1161945 |     1153   2230 |        0 |        0
365.34/365.44	c  365s |      21 |  1330651 |  1167945 |     1153   2239 |        0 |        0
367.34/367.46	c  367s |      21 |  1337785 |  1174245 |     1153   2249 |        0 |        0
369.33/369.47	c  369s |      21 |  1344371 |  1180045 |     1153   2258 |        0 |        0
371.33/371.48	c  371s |      21 |  1350461 |  1185545 |     1153   2267 |        0 |        0
373.43/373.51	c  373s |      21 |  1357111 |  1191345 |     1153   2275 |        0 |        0
375.43/375.53	c  375s |      21 |  1363574 |  1197145 |     1153   2284 |        0 |        0
377.44/377.54	c  377s |      21 |  1369783 |  1202745 |     1153   2293 |        0 |        0
379.43/379.56	c  379s |      21 |  1375523 |  1208045 |     1153   2301 |        0 |        0
381.43/381.57	c  381s |      21 |  1380927 |  1212845 |     1153   2309 |        0 |        0
383.43/383.58	c  383s |      21 |  1387499 |  1218845 |     1153   2318 |        0 |        0
385.53/385.61	c  385s |      21 |  1393893 |  1224645 |     1153   2327 |        0 |        0
387.53/387.62	c  387s |      21 |  1400735 |  1230845 |     1153   2336 |        0 |        0
389.54/389.63	c  389s |      21 |  1406759 |  1236345 |     1153   2345 |        0 |        0
391.53/391.63	c  391s |      21 |  1413348 |  1242145 |     1153   2354 |        0 |        0
393.53/393.63	c  393s |      21 |  1419969 |  1247945 |     1153   2362 |        0 |        0
395.53/395.65	c  395s |      21 |  1426191 |  1253445 |     1153   2371 |        0 |        0
397.53/397.68	c  397s |      21 |  1431656 |  1258445 |     1153   2379 |        0 |        0
399.53/399.69	c  399s |      21 |  1438570 |  1264445 |     1153   2388 |        0 |        0
401.53/401.69	c  401s |      21 |  1444950 |  1270245 |     1153   2397 |        0 |        0
403.63/403.72	c  403s |      21 |  1451217 |  1275845 |     1153   2405 |        0 |        0
405.63/405.76	c  405s |      21 |  1457247 |  1281245 |     1153   2414 |        0 |        0
407.63/407.79	c  407s |      21 |  1463567 |  1286945 |     1153   2422 |        0 |        0
409.73/409.82	c  409s |      21 |  1469905 |  1292545 |     1153   2431 |        0 |        0
411.73/411.83	c  411s |      21 |  1476473 |  1298445 |     1153   2440 |        0 |        0
413.73/413.85	c  413s |      21 |  1482714 |  1304145 |     1153   2449 |        0 |        0
415.72/415.85	c  415s |      21 |  1488353 |  1309345 |     1153   2457 |        0 |        0
417.72/417.89	c  417s |      21 |  1495607 |  1315745 |     1153   2467 |        0 |        0
419.82/419.90	c  419s |      21 |  1502724 |  1321845 |     1153   2476 |        0 |        0
421.82/421.90	c  421s |      21 |  1509240 |  1327545 |     1153   2485 |        0 |        0
423.82/423.91	c  423s |      21 |  1515201 |  1332745 |     1153   2493 |        0 |        0
425.83/425.91	c  425s |      21 |  1521368 |  1338245 |     1153   2501 |        0 |        0
427.82/427.92	c  427s |      21 |  1527402 |  1343645 |     1153   2509 |        0 |        0
429.82/429.95	c  429s |      21 |  1534059 |  1349445 |     1153   2518 |        0 |        0
431.82/431.95	c  431s |      21 |  1540682 |  1355345 |     1153   2528 |        0 |        0
433.82/433.98	c  433s |      21 |  1547029 |  1361045 |     1153   2536 |        0 |        0
435.92/436.01	c  435s |      21 |  1553325 |  1366545 |     1153   2545 |        0 |        0
437.93/438.03	c  438s |      21 |  1559713 |  1372245 |     1153   2554 |        0 |        0
439.92/440.06	c  440s |      21 |  1566076 |  1377945 |     1153   2562 |        0 |        0
441.92/442.06	c  442s |      21 |  1572338 |  1383545 |     1153   2571 |        0 |        0
443.92/444.07	c  444s |      21 |  1578591 |  1389045 |     1153   2579 |        0 |        0
445.92/446.07	c  446s |      21 |  1585446 |  1395045 |     1153   2589 |        0 |        0
447.92/448.08	c  448s |      21 |  1592607 |  1401245 |     1153   2598 |        0 |        0
450.02/450.10	c  450s |      21 |  1599427 |  1407145 |     1153   2607 |        0 |        0
452.02/452.13	c  452s |      21 |  1606206 |  1412945 |     1153   2616 |        0 |        0
454.02/454.14	c  454s |      21 |  1612288 |  1418445 |     1153   2625 |        0 |        0
456.02/456.17	c  456s |      21 |  1618714 |  1424145 |     1153   2634 |        0 |        0
458.02/458.19	c  458s |      21 |  1624825 |  1429645 |     1153   2642 |        0 |        0
460.12/460.20	c  460s |      21 |  1630562 |  1434845 |     1153   2650 |        0 |        0
462.12/462.21	c  462s |      21 |  1636917 |  1440445 |     1153   2659 |        0 |        0
464.11/464.23	c  464s |      21 |  1643015 |  1445845 |     1153   2667 |        0 |        0
466.11/466.26	c  466s |      21 |  1650046 |  1451945 |     1153   2676 |        0 |        0
468.11/468.27	c  468s |      21 |  1656351 |  1457545 |     1153   2685 |        0 |        0
470.11/470.29	c  470s |      21 |  1662905 |  1463345 |     1153   2694 |        0 |        0
472.21/472.31	c  472s |      21 |  1669079 |  1469045 |     1153   2703 |        0 |        0
474.22/474.33	c  474s |      21 |  1675359 |  1474645 |     1153   2711 |        0 |        0
476.21/476.37	c  476s |      21 |  1681786 |  1480245 |     1153   2720 |        0 |        0
478.21/478.37	c  478s |      21 |  1687697 |  1485645 |     1153   2728 |        0 |        0
480.21/480.37	c  480s |      21 |  1693640 |  1491045 |     1269   2737 |        0 |        0
482.21/482.39	c  482s |      21 |  1699247 |  1496145 |     1269   2744 |        0 |        0
483.81/483.95	c  483s |      22 |  1704236 |  1500622 |     1269   2750 |        0 |        0
485.81/485.97	c  485s |      22 |  1711416 |  1507022 |     1269   2759 |        0 |        0
487.81/487.99	c  487s |      22 |  1717814 |  1512922 |     1269   2767 |        0 |        0
489.81/489.99	c  489s |      22 |  1724360 |  1518822 |     1269   2776 |        0 |        0
491.92/492.00	c  491s |      22 |  1731087 |  1524922 |     1269   2784 |        0 |        0
493.92/494.00	c  493s |      22 |  1737859 |  1531022 |     1269   2793 |        0 |        0
495.92/496.01	c  495s |      22 |  1745107 |  1537422 |     1269   2802 |        0 |        0
497.92/498.03	c  498s |      22 |  1751312 |  1543122 |     1269   2810 |        0 |        0
499.92/500.03	c  500s |      22 |  1757801 |  1549022 |     1269   2818 |        0 |        0
501.91/502.06	c  502s |      22 |  1765005 |  1555322 |     1269   2827 |        0 |        0
503.92/504.07	c  504s |      22 |  1771494 |  1561122 |     1269   2835 |        0 |        0
506.02/506.10	c  506s |      22 |  1778462 |  1567422 |     1269   2844 |        0 |        0
508.01/508.12	c  508s |      22 |  1785045 |  1573322 |     1269   2852 |        0 |        0
510.01/510.13	c  510s |      22 |  1792411 |  1579622 |     1269   2861 |        0 |        0
512.01/512.16	c  512s |      22 |  1799235 |  1585622 |     1269   2869 |        0 |        0
514.01/514.19	c  514s |      22 |  1805816 |  1591522 |     1269   2878 |        0 |        0
516.11/516.20	c  516s |      22 |  1812571 |  1597622 |     1269   2886 |        0 |        0
518.12/518.22	c  518s |      22 |  1819390 |  1603722 |     1269   2895 |        0 |        0
520.11/520.22	c  520s |      22 |  1825785 |  1609522 |     1269   2903 |        0 |        0
522.11/522.24	c  522s |      22 |  1832367 |  1615422 |     1269   2911 |        0 |        0
524.11/524.26	c  524s |      22 |  1838826 |  1621222 |     1269   2919 |        0 |        0
526.11/526.29	c  526s |      22 |  1845931 |  1627522 |     1269   2928 |        0 |        0
528.21/528.31	c  528s |      22 |  1852855 |  1633822 |     1269   2937 |        0 |        0
530.22/530.32	c  530s |      22 |  1859147 |  1639422 |     1269   2945 |        0 |        0
532.21/532.34	c  532s |      22 |  1864866 |  1644722 |     1269   2952 |        0 |        0
534.21/534.35	c  534s |      22 |  1871983 |  1651122 |     1269   2961 |        0 |        0
536.21/536.36	c  536s |      22 |  1878590 |  1657222 |     1269   2970 |        0 |        0
538.21/538.38	c  538s |      22 |  1885256 |  1663422 |     1269   2978 |        0 |        0
540.21/540.38	c  540s |      22 |  1892364 |  1669622 |     1269   2987 |        0 |        0
542.21/542.39	c  542s |      22 |  1898646 |  1675422 |     1269   2995 |        0 |        0
544.31/544.41	c  544s |      22 |  1905572 |  1681622 |     1269   3004 |        0 |        0
546.31/546.43	c  546s |      22 |  1912604 |  1687922 |     1269   3013 |        0 |        0
548.31/548.46	c  548s |      22 |  1919617 |  1694122 |     1269   3022 |        0 |        0
550.31/550.48	c  550s |      22 |  1926175 |  1699922 |     1269   3030 |        0 |        0
552.31/552.49	c  552s |      22 |  1932270 |  1705422 |     1269   3038 |        0 |        0
554.41/554.51	c  554s |      22 |  1938180 |  1710922 |     1269   3046 |        0 |        0
556.40/556.53	c  556s |      22 |  1944509 |  1716622 |     1269   3054 |        0 |        0
558.40/558.56	c  558s |      22 |  1950953 |  1722522 |     1269   3062 |        0 |        0
560.40/560.58	c  560s |      22 |  1957352 |  1728222 |     1269   3070 |        0 |        0
562.50/562.60	c  562s |      22 |  1963790 |  1734022 |     1269   3078 |        0 |        0
564.50/564.61	c  564s |      22 |  1970254 |  1739822 |     1269   3086 |        0 |        0
566.51/566.63	c  566s |      22 |  1976564 |  1745322 |     1269   3094 |        0 |        0
568.50/568.66	c  568s |      22 |  1982694 |  1750722 |     1269   3102 |        0 |        0
570.50/570.66	c  570s |      22 |  1988880 |  1756222 |     1269   3110 |        0 |        0
572.50/572.69	c  572s |      22 |  1995064 |  1761622 |     1269   3117 |        0 |        0
574.60/574.72	c  574s |      22 |  2000466 |  1766522 |     1269   3124 |        0 |        0
576.60/576.76	c  576s |      22 |  2006244 |  1771722 |     1269   3131 |        0 |        0
578.61/578.80	c  578s |      22 |  2011873 |  1776822 |     1269   3139 |        0 |        0
580.70/580.82	c  580s |      22 |  2017530 |  1781922 |     1269   3146 |        0 |        0
582.70/582.85	c  582s |      22 |  2022676 |  1786622 |     1269   3152 |        0 |        0
584.70/584.87	c  584s |      22 |  2028678 |  1791922 |     1269   3160 |        0 |        0
586.70/586.88	c  586s |      22 |  2034657 |  1797222 |     1269   3167 |        0 |        0
588.70/588.89	c  588s |      22 |  2040373 |  1802322 |     1269   3174 |        0 |        0
590.70/590.90	c  590s |      22 |  2046384 |  1807722 |     1269   3182 |        0 |        0
592.79/592.91	c  592s |      22 |  2052613 |  1813422 |     1269   3190 |        0 |        0
594.79/594.95	c  594s |      22 |  2058840 |  1819122 |     1269   3198 |        0 |        0
596.79/596.96	c  596s |      22 |  2064634 |  1824422 |     1269   3206 |        0 |        0
598.89/599.00	c  598s |      22 |  2070057 |  1829522 |     1269   3213 |        0 |        0
600.89/601.02	c  601s |      22 |  2076072 |  1834822 |     1269   3220 |        0 |        0
602.89/603.06	c  603s |      22 |  2081884 |  1840122 |     1269   3228 |        0 |        0
604.89/605.09	c  605s |      22 |  2087803 |  1845422 |     1269   3235 |        0 |        0
606.99/607.10	c  607s |      22 |  2093354 |  1850422 |     1269   3242 |        0 |        0
608.99/609.12	c  609s |      22 |  2098525 |  1855122 |     1269   3248 |        0 |        0
610.99/611.12	c  611s |      22 |  2105353 |  1861322 |     1269   3257 |        0 |        0
612.98/613.15	c  613s |      22 |  2112203 |  1867522 |     1269   3266 |        0 |        0
614.99/615.15	c  615s |      22 |  2119043 |  1873722 |     1269   3274 |        0 |        0
616.98/617.16	c  617s |      22 |  2125435 |  1879622 |     1269   3282 |        0 |        0
618.99/619.17	c  619s |      22 |  2132007 |  1885622 |     1269   3290 |        0 |        0
620.99/621.18	c  621s |      22 |  2138143 |  1891322 |     1269   3298 |        0 |        0
623.08/623.21	c  623s |      22 |  2144276 |  1896922 |     1269   3306 |        0 |        0
625.08/625.23	c  625s |      22 |  2150004 |  1902222 |     1269   3313 |        0 |        0
627.09/627.26	c  627s |      22 |  2156363 |  1908122 |     1269   3321 |        0 |        0
629.19/629.30	c  629s |      22 |  2162720 |  1914022 |     1269   3330 |        0 |        0
631.18/631.32	c  631s |      22 |  2169163 |  1919922 |     1269   3338 |        0 |        0
633.18/633.34	c  633s |      22 |  2175087 |  1925422 |     1269   3345 |        0 |        0
635.18/635.38	c  635s |      22 |  2182302 |  1931922 |     1269   3354 |        0 |        0
637.18/637.38	c  637s |      22 |  2188928 |  1937922 |     1269   3363 |        0 |        0
639.18/639.38	c  639s |      22 |  2195222 |  1943722 |     1269   3371 |        0 |        0
641.28/641.42	c  641s |      22 |  2201761 |  1949722 |     1269   3379 |        0 |        0
643.27/643.44	c  643s |      22 |  2208555 |  1955922 |     1269   3388 |        0 |        0
645.27/645.46	c  645s |      22 |  2215337 |  1962222 |     1269   3396 |        0 |        0
647.27/647.47	c  647s |      22 |  2221620 |  1968122 |     1269   3404 |        0 |        0
649.27/649.48	c  649s |      22 |  2227894 |  1973922 |     1269   3413 |        0 |        0
651.37/651.51	c  651s |      22 |  2233954 |  1979522 |     1269   3420 |        0 |        0
653.37/653.53	c  653s |      22 |  2240148 |  1985222 |     1269   3428 |        0 |        0
655.36/655.55	c  655s |      22 |  2246445 |  1991022 |     1269   3436 |        0 |        0
657.36/657.58	c  657s |      22 |  2253302 |  1997222 |     1269   3445 |        0 |        0
659.36/659.59	c  659s |      22 |  2259265 |  2002722 |     1269   3453 |        0 |        0
661.46/661.60	c  661s |      22 |  2266127 |  2008922 |     1269   3461 |        0 |        0
663.45/663.63	c  663s |      22 |  2272705 |  2014822 |     1269   3469 |        0 |        0
665.46/665.66	c  665s |      22 |  2279370 |  2020722 |     1269   3478 |        0 |        0
667.46/667.69	c  667s |      22 |  2285635 |  2026422 |     1269   3486 |        0 |        0
669.56/669.73	c  669s |      22 |  2291904 |  2032022 |     1269   3493 |        0 |        0
671.56/671.73	c  671s |      22 |  2298338 |  2037922 |     1269   3502 |        0 |        0
673.55/673.74	c  673s |      22 |  2304803 |  2043722 |     1269   3510 |        0 |        0
675.55/675.74	c  675s |      22 |  2310465 |  2048922 |     1269   3517 |        0 |        0
677.56/677.77	c  677s |      22 |  2315863 |  2053922 |     1269   3524 |        0 |        0
679.65/679.81	c  679s |      22 |  2321792 |  2059322 |     1269   3531 |        0 |        0
681.65/681.83	c  681s |      22 |  2328143 |  2065122 |     1269   3539 |        0 |        0
683.65/683.83	c  683s |      22 |  2334616 |  2071022 |     1269   3548 |        0 |        0
685.65/685.83	c  685s |      22 |  2340821 |  2076722 |     1269   3556 |        0 |        0
687.65/687.85	c  687s |      22 |  2347064 |  2082322 |     1269   3563 |        0 |        0
689.66/689.87	c  689s |      22 |  2353413 |  2087922 |     1269   3571 |        0 |        0
691.65/691.89	c  691s |      22 |  2358760 |  2092822 |     1269   3578 |        0 |        0
693.74/693.91	c  693s |      22 |  2364537 |  2098122 |     1269   3585 |        0 |        0
695.74/695.92	c  695s |      22 |  2370971 |  2103922 |     1269   3593 |        0 |        0
697.74/697.95	c  697s |      22 |  2377465 |  2109722 |     1269   3602 |        0 |        0
699.74/699.98	c  699s |      22 |  2383577 |  2115322 |     1269   3609 |        0 |        0
701.75/702.00	c  701s |      22 |  2389065 |  2120322 |     1269   3616 |        0 |        0
703.84/704.02	c  704s |      22 |  2395401 |  2126022 |     1269   3624 |        0 |        0
705.84/706.02	c  706s |      22 |  2401126 |  2131022 |     1269   3631 |        0 |        0
707.84/708.04	c  708s |      22 |  2406982 |  2136422 |     1269   3639 |        0 |        0
709.84/710.04	c  710s |      22 |  2412437 |  2141422 |     1269   3646 |        0 |        0
711.83/712.06	c  712s |      22 |  2418537 |  2146922 |     1269   3653 |        0 |        0
713.84/714.08	c  714s |      22 |  2424986 |  2152622 |     1269   3661 |        0 |        0
715.93/716.10	c  716s |      22 |  2430662 |  2157822 |     1269   3668 |        0 |        0
717.93/718.10	c  718s |      22 |  2436018 |  2162722 |     1269   3675 |        0 |        0
719.93/720.14	c  720s |      22 |  2442768 |  2168722 |     1269   3683 |        0 |        0
721.93/722.15	c  722s |      22 |  2448935 |  2174322 |     1269   3691 |        0 |        0
723.93/724.17	c  724s |      22 |  2454732 |  2179622 |     1269   3699 |        0 |        0
725.93/726.20	c  726s |      22 |  2460975 |  2185322 |     1269   3707 |        0 |        0
728.03/728.20	c  728s |      22 |  2466725 |  2190622 |     1269   3714 |        0 |        0
730.03/730.21	c  730s |      22 |  2472029 |  2195522 |     1269   3721 |        0 |        0
732.02/732.23	c  732s |      22 |  2477759 |  2200722 |     1269   3728 |        0 |        0
734.02/734.24	c  734s |      22 |  2483319 |  2205822 |     1269   3735 |        0 |        0
736.02/736.24	c  736s |      22 |  2489301 |  2211322 |     1269   3743 |        0 |        0
738.03/738.27	c  738s |      22 |  2494576 |  2216222 |     1269   3749 |        0 |        0
740.02/740.29	c  740s |      22 |  2500149 |  2221422 |     1269   3757 |        0 |        0
742.12/742.32	c  742s |      22 |  2505182 |  2226122 |     1269   3763 |        0 |        0
744.12/744.34	c  744s |      22 |  2510623 |  2231122 |     1269   3770 |        0 |        0
746.12/746.35	c  746s |      22 |  2516585 |  2236622 |     1396   3777 |        0 |        0
748.12/748.37	c  748s |      22 |  2523264 |  2242522 |     1396   3785 |        0 |        0
750.12/750.40	c  750s |      22 |  2528888 |  2247622 |     1396   3791 |        0 |        0
751.51/751.72	c  751s |      23 |  2532609 |  2251038 |     1396   3796 |        0 |        0
753.52/753.73	c  753s |      23 |  2540131 |  2257338 |     1396   3804 |        0 |        0
755.51/755.75	c  755s |      23 |  2546894 |  2263438 |     1396   3812 |        0 |        0
757.51/757.76	c  757s |      23 |  2553585 |  2269438 |     1396   3819 |        0 |        0
759.51/759.79	c  759s |      23 |  2560653 |  2275738 |     1396   3828 |        0 |        0
761.61/761.80	c  761s |      23 |  2568238 |  2282438 |     1396   3836 |        0 |        0
763.60/763.81	c  763s |      23 |  2575222 |  2288638 |     1396   3844 |        0 |        0
765.61/765.82	c  765s |      23 |  2582106 |  2294738 |     1396   3852 |        0 |        0
767.60/767.83	c  767s |      23 |  2589210 |  2301038 |     1396   3860 |        0 |        0
769.60/769.84	c  769s |      23 |  2596030 |  2307138 |     1396   3868 |        0 |        0
771.60/771.84	c  771s |      23 |  2602743 |  2313138 |     1396   3876 |        0 |        0
773.60/773.86	c  773s |      23 |  2608811 |  2318738 |     1396   3883 |        0 |        0
775.60/775.86	c  775s |      23 |  2615486 |  2324838 |     1396   3891 |        0 |        0
777.60/777.87	c  777s |      23 |  2621925 |  2330538 |     1396   3898 |        0 |        0
779.60/779.88	c  779s |      23 |  2627911 |  2336038 |     1396   3905 |        0 |        0
781.70/781.91	c  781s |      23 |  2633782 |  2341438 |     1396   3912 |        0 |        0
783.69/783.92	c  783s |      23 |  2639913 |  2346938 |     1396   3919 |        0 |        0
785.69/785.96	c  785s |      23 |  2645791 |  2352338 |     1396   3926 |        0 |        0
787.69/787.97	c  787s |      23 |  2652752 |  2358438 |     1396   3934 |        0 |        0
789.70/790.00	c  789s |      23 |  2660151 |  2365038 |     1396   3943 |        0 |        0
791.79/792.03	c  792s |      23 |  2667120 |  2371238 |     1396   3950 |        0 |        0
793.79/794.07	c  794s |      23 |  2673858 |  2377138 |     1396   3958 |        0 |        0
795.79/796.09	c  796s |      23 |  2680598 |  2383038 |     1396   3966 |        0 |        0
797.79/798.09	c  798s |      23 |  2686847 |  2388638 |     1396   3973 |        0 |        0
799.89/800.11	c  800s |      23 |  2693768 |  2394738 |     1396   3981 |        0 |        0
801.89/802.12	c  802s |      23 |  2700535 |  2400638 |     1396   3988 |        0 |        0
803.89/804.15	c  804s |      23 |  2706848 |  2406338 |     1396   3996 |        0 |        0
805.89/806.15	c  806s |      23 |  2712571 |  2411538 |     1396   4002 |        0 |        0
807.89/808.18	c  808s |      23 |  2718201 |  2416538 |     1396   4009 |        0 |        0
809.88/810.18	c  810s |      23 |  2724119 |  2421938 |     1396   4016 |        0 |        0
811.98/812.20	c  812s |      23 |  2729890 |  2427138 |     1396   4022 |        0 |        0
813.99/814.20	c  814s |      23 |  2736409 |  2432938 |     1396   4030 |        0 |        0
815.98/816.23	c  816s |      23 |  2742761 |  2438838 |     1396   4037 |        0 |        0
817.98/818.23	c  818s |      23 |  2749730 |  2445038 |     1396   4045 |        0 |        0
819.98/820.24	c  820s |      23 |  2756610 |  2451238 |     1396   4053 |        0 |        0
821.98/822.25	c  822s |      23 |  2763264 |  2457238 |     1396   4061 |        0 |        0
823.98/824.27	c  824s |      23 |  2769709 |  2463038 |     1396   4068 |        0 |        0
825.99/826.27	c  826s |      23 |  2775672 |  2468438 |     1396   4075 |        0 |        0
827.99/828.29	c  828s |      23 |  2781902 |  2474138 |     1396   4083 |        0 |        0
830.08/830.31	c  830s |      23 |  2787727 |  2479438 |     1396   4090 |        0 |        0
832.08/832.33	c  832s |      23 |  2793279 |  2484638 |     1396   4096 |        0 |        0
834.08/834.34	c  834s |      23 |  2799746 |  2490438 |     1396   4104 |        0 |        0
836.08/836.35	c  836s |      23 |  2805755 |  2495838 |     1396   4111 |        0 |        0
838.09/838.36	c  838s |      23 |  2811565 |  2501138 |     1396   4117 |        0 |        0
840.08/840.36	c  840s |      23 |  2817482 |  2506538 |     1396   4124 |        0 |        0
842.08/842.38	c  842s |      23 |  2824444 |  2512438 |     1396   4132 |        0 |        0
844.07/844.39	c  844s |      23 |  2831101 |  2518438 |     1396   4140 |        0 |        0
846.17/846.41	c  846s |      23 |  2837750 |  2524338 |     1396   4147 |        0 |        0
848.17/848.43	c  848s |      23 |  2844257 |  2530238 |     1396   4155 |        0 |        0
850.18/850.46	c  850s |      23 |  2851032 |  2536338 |     1396   4163 |        0 |        0
852.17/852.47	c  852s |      23 |  2857385 |  2542038 |     1396   4170 |        0 |        0
854.17/854.48	c  854s |      23 |  2863764 |  2547738 |     1396   4177 |        0 |        0
856.27/856.50	c  856s |      23 |  2870064 |  2553438 |     1396   4184 |        0 |        0
858.27/858.54	c  858s |      23 |  2876128 |  2558938 |     1396   4191 |        0 |        0
860.27/860.57	c  860s |      23 |  2882853 |  2564838 |     1396   4199 |        0 |        0
862.27/862.58	c  862s |      23 |  2888925 |  2570338 |     1396   4206 |        0 |        0
864.36/864.60	c  864s |      23 |  2895331 |  2576138 |     1396   4213 |        0 |        0
866.36/866.62	c  866s |      23 |  2901970 |  2582138 |     1396   4221 |        0 |        0
868.36/868.63	c  868s |      23 |  2908382 |  2587938 |     1396   4229 |        0 |        0
870.36/870.66	c  870s |      23 |  2914842 |  2593838 |     1396   4236 |        0 |        0
872.36/872.67	c  872s |      23 |  2921145 |  2599538 |     1396   4244 |        0 |        0
874.36/874.69	c  874s |      23 |  2927947 |  2605638 |     1396   4251 |        0 |        0
876.45/876.71	c  876s |      23 |  2934486 |  2611538 |     1396   4259 |        0 |        0
878.45/878.73	c  878s |      23 |  2940720 |  2617238 |     1396   4266 |        0 |        0
880.45/880.74	c  880s |      23 |  2946926 |  2622938 |     1396   4274 |        0 |        0
882.45/882.74	c  882s |      23 |  2953584 |  2629038 |     1396   4281 |        0 |        0
884.45/884.75	c  884s |      23 |  2960206 |  2635038 |     1396   4289 |        0 |        0
886.45/886.75	c  886s |      23 |  2966532 |  2640838 |     1396   4297 |        0 |        0
888.45/888.78	c  888s |      23 |  2972484 |  2646238 |     1396   4304 |        0 |        0
890.55/890.80	c  890s |      23 |  2979293 |  2652338 |     1396   4311 |        0 |        0
892.54/892.82	c  892s |      23 |  2985890 |  2658238 |     1396   4319 |        0 |        0
894.54/894.83	c  894s |      23 |  2992429 |  2664138 |     1396   4327 |        0 |        0
896.54/896.85	c  896s |      23 |  2999269 |  2670338 |     1396   4335 |        0 |        0
898.55/898.85	c  898s |      23 |  3007197 |  2677038 |     1396   4343 |        0 |        0
900.54/900.87	c  900s |      23 |  3014808 |  2683338 |     1396   4351 |        0 |        0
902.54/902.88	c  902s |      23 |  3021675 |  2689238 |     1396   4359 |        0 |        0
904.54/904.88	c  904s |      23 |  3028066 |  2694838 |     1396   4366 |        0 |        0
906.54/906.90	c  906s |      23 |  3034737 |  2700438 |     1396   4373 |        0 |        0
908.63/908.91	c  908s |      23 |  3041066 |  2706038 |     1396   4381 |        0 |        0
910.64/910.92	c  910s |      23 |  3047114 |  2711538 |     1396   4388 |        0 |        0
912.63/912.92	c  912s |      23 |  3053754 |  2717538 |     1396   4395 |        0 |        0
914.63/914.94	c  914s |      23 |  3059948 |  2723038 |     1396   4402 |        0 |        0
916.63/916.94	c  916s |      23 |  3066470 |  2728738 |     1396   4410 |        0 |        0
918.63/918.95	c  918s |      23 |  3072997 |  2734438 |     1396   4417 |        0 |        0
920.64/920.97	c  920s |      23 |  3079496 |  2740238 |     1396   4425 |        0 |        0
922.62/922.99	c  922s |      23 |  3086299 |  2746238 |     1396   4432 |        0 |        0
924.72/925.01	c  925s |      23 |  3092972 |  2752038 |     1396   4440 |        0 |        0
926.72/927.03	c  927s |      23 |  3099491 |  2757638 |     1396   4447 |        0 |        0
928.72/929.05	c  929s |      23 |  3106364 |  2763638 |     1396   4455 |        0 |        0
930.72/931.08	c  931s |      23 |  3113010 |  2769538 |     1396   4462 |        0 |        0
932.82/933.10	c  933s |      23 |  3119854 |  2775338 |     1396   4470 |        0 |        0
934.82/935.14	c  935s |      23 |  3126850 |  2781638 |     1396   4478 |        0 |        0
936.83/937.15	c  937s |      23 |  3134334 |  2787738 |     1396   4486 |        0 |        0
938.82/939.15	c  939s |      23 |  3140898 |  2793738 |     1396   4493 |        0 |        0
940.82/941.15	c  941s |      23 |  3147175 |  2799238 |     1396   4500 |        0 |        0
942.82/943.18	c  943s |      23 |  3153521 |  2804838 |     1396   4508 |        0 |        0
944.82/945.19	c  945s |      23 |  3159347 |  2810038 |     1396   4514 |        0 |        0
946.92/947.23	c  947s |      23 |  3164765 |  2814838 |     1396   4520 |        0 |        0
948.92/949.26	c  949s |      23 |  3170256 |  2819738 |     1396   4527 |        0 |        0
950.92/951.26	c  951s |      23 |  3175796 |  2824738 |     1396   4533 |        0 |        0
953.01/953.30	c  953s |      23 |  3180955 |  2829438 |     1396   4539 |        0 |        0
955.01/955.34	c  955s |      23 |  3186130 |  2834238 |     1396   4545 |        0 |        0
957.01/957.37	c  957s |      23 |  3190752 |  2838538 |     1396   4551 |        0 |        0
959.02/959.39	c  959s |      23 |  3196522 |  2843638 |     1396   4557 |        0 |        0
961.11/961.41	c  961s |      23 |  3201857 |  2848438 |     1396   4564 |        0 |        0
963.10/963.41	c  963s |      23 |  3207710 |  2853738 |     1396   4570 |        0 |        0
965.10/965.43	c  965s |      23 |  3213005 |  2858538 |     1396   4577 |        0 |        0
967.10/967.46	c  967s |      23 |  3218876 |  2863838 |     1396   4583 |        0 |        0
969.10/969.48	c  969s |      23 |  3225833 |  2870138 |     1396   4591 |        0 |        0
971.11/971.50	c  971s |      23 |  3233068 |  2876638 |     1396   4600 |        0 |        0
973.20/973.52	c  973s |      23 |  3239823 |  2882738 |     1396   4607 |        0 |        0
975.20/975.55	c  975s |      23 |  3246470 |  2888638 |     1396   4615 |        0 |        0
977.20/977.56	c  977s |      23 |  3253036 |  2894538 |     1396   4623 |        0 |        0
979.20/979.58	c  979s |      23 |  3259048 |  2900038 |     1396   4630 |        0 |        0
981.20/981.59	c  981s |      23 |  3264665 |  2905138 |     1396   4636 |        0 |        0
983.30/983.61	c  983s |      23 |  3270156 |  2910038 |     1396   4643 |        0 |        0
985.29/985.63	c  985s |      23 |  3275328 |  2914838 |     1396   4649 |        0 |        0
987.29/987.64	c  987s |      23 |  3280992 |  2920038 |     1396   4655 |        0 |        0
989.29/989.66	c  989s |      23 |  3286915 |  2925438 |     1396   4662 |        0 |        0
991.29/991.68	c  991s |      23 |  3293417 |  2931138 |     1396   4670 |        0 |        0
993.39/993.71	c  993s |      23 |  3299761 |  2936838 |     1396   4677 |        0 |        0
995.39/995.71	c  995s |      23 |  3306040 |  2942538 |     1396   4684 |        0 |        0
997.39/997.73	c  997s |      23 |  3312238 |  2948038 |     1396   4691 |        0 |        0
999.39/999.75	c  999s |      23 |  3318175 |  2953338 |     1396   4698 |        0 |        0
1001.39/1001.75	c 1001s |      23 |  3323766 |  2958438 |     1396   4705 |        0 |        0
1003.38/1003.76	c 1003s |      23 |  3330000 |  2964038 |     1396   4712 |        0 |        0
1005.48/1005.80	c 1005s |      23 |  3336800 |  2969938 |     1396   4720 |        0 |        0
1007.49/1007.84	c 1007s |      23 |  3343559 |  2975738 |     1396   4727 |        0 |        0
1009.49/1009.85	c 1009s |      23 |  3349985 |  2981238 |     1396   4734 |        0 |        0
1011.49/1011.85	c 1011s |      23 |  3356047 |  2986738 |     1396   4741 |        0 |        0
1013.49/1013.87	c 1013s |      23 |  3361909 |  2992138 |     1396   4748 |        0 |        0
1015.49/1015.89	c 1015s |      23 |  3367729 |  2997338 |     1396   4755 |        0 |        0
1017.59/1017.94	c 1017s |      23 |  3373845 |  3002638 |     1396   4762 |        0 |        0
1019.59/1019.97	c 1019s |      23 |  3379200 |  3007438 |     1396   4768 |        0 |        0
1021.59/1021.97	c 1021s |      23 |  3384873 |  3012538 |     1396   4774 |        0 |        0
1023.58/1023.98	c 1023s |      23 |  3390939 |  3017938 |     1396   4781 |        0 |        0
1025.68/1026.00	c 1025s |      23 |  3396327 |  3022838 |     1396   4788 |        0 |        0
1027.68/1028.01	c 1027s |      23 |  3401722 |  3027738 |     1396   4794 |        0 |        0
1029.68/1030.02	c 1030s |      23 |  3408067 |  3033438 |     1396   4801 |        0 |        0
1031.69/1032.05	c 1032s |      23 |  3414103 |  3038938 |     1396   4808 |        0 |        0
1033.67/1034.07	c 1034s |      23 |  3419908 |  3044238 |     1396   4815 |        0 |        0
1035.77/1036.10	c 1036s |      23 |  3425569 |  3049338 |     1396   4822 |        0 |        0
1037.77/1038.13	c 1038s |      23 |  3431739 |  3054838 |     1396   4829 |        0 |        0
1039.77/1040.16	c 1040s |      23 |  3437276 |  3059938 |     1396   4835 |        0 |        0
1041.87/1042.20	c 1042s |      23 |  3442794 |  3064838 |     1396   4842 |        0 |        0
1043.87/1044.21	c 1044s |      23 |  3448201 |  3069738 |     1396   4848 |        0 |        0
1045.87/1046.22	c 1046s |      23 |  3454182 |  3075238 |     1396   4855 |        0 |        0
1047.87/1048.23	c 1048s |      23 |  3459475 |  3080138 |     1396   4861 |        0 |        0
1049.87/1050.27	c 1050s |      23 |  3465103 |  3085338 |     1396   4868 |        0 |        0
1051.86/1052.28	c 1052s |      23 |  3470250 |  3090138 |     1396   4874 |        0 |        0
1053.86/1054.28	c 1054s |      23 |  3475562 |  3095038 |     1396   4880 |        0 |        0
1055.96/1056.31	c 1056s |      23 |  3481351 |  3100338 |     1396   4887 |        0 |        0
1057.97/1058.31	c 1058s |      23 |  3486914 |  3105338 |     1396   4893 |        0 |        0
1059.96/1060.36	c 1060s |      23 |  3491917 |  3109938 |     1396   4899 |        0 |        0
1061.96/1062.36	c 1062s |      23 |  3496840 |  3114338 |     1396   4905 |        0 |        0
1063.96/1064.38	c 1064s |      23 |  3502885 |  3119538 |     1396   4912 |        0 |        0
1066.06/1066.41	c 1066s |      23 |  3508510 |  3124638 |     1396   4918 |        0 |        0
1068.06/1068.43	c 1068s |      23 |  3514008 |  3129738 |     1396   4925 |        0 |        0
1070.06/1070.45	c 1070s |      23 |  3519679 |  3134938 |     1396   4932 |        0 |        0
1072.05/1072.46	c 1072s |      23 |  3525663 |  3140238 |     1396   4938 |        0 |        0
1074.05/1074.47	c 1074s |      23 |  3531799 |  3145738 |     1396   4945 |        0 |        0
1076.05/1076.49	c 1076s |      23 |  3538139 |  3151338 |     1396   4953 |        0 |        0
1078.15/1078.52	c 1078s |      23 |  3544064 |  3156638 |     1396   4959 |        0 |        0
1080.15/1080.53	c 1080s |      23 |  3550436 |  3162238 |     1396   4967 |        0 |        0
1082.15/1082.53	c 1082s |      23 |  3556199 |  3167438 |     1396   4973 |        0 |        0
1084.15/1084.55	c 1084s |      23 |  3561898 |  3172538 |     1396   4980 |        0 |        0
1086.15/1086.59	c 1086s |      23 |  3567294 |  3177438 |     1396   4986 |        0 |        0
1088.25/1088.61	c 1088s |      23 |  3572808 |  3182338 |     1396   4992 |        0 |        0
1090.25/1090.64	c 1090s |      23 |  3578482 |  3187438 |     1396   4999 |        0 |        0
1092.24/1092.65	c 1092s |      23 |  3584210 |  3192738 |     1396   5006 |        0 |        0
1094.25/1094.68	c 1094s |      23 |  3589780 |  3197838 |     1396   5012 |        0 |        0
1096.24/1096.69	c 1096s |      23 |  3594974 |  3202438 |     1396   5018 |        0 |        0
1098.34/1098.70	c 1098s |      23 |  3600090 |  3207138 |     1396   5024 |        0 |        0
1100.34/1100.72	c 1100s |      23 |  3605509 |  3212038 |     1396   5031 |        0 |        0
1102.34/1102.73	c 1102s |      23 |  3610888 |  3216838 |     1396   5037 |        0 |        0
1104.34/1104.76	c 1104s |      23 |  3616056 |  3221538 |     1396   5043 |        0 |        0
1106.34/1106.76	c 1106s |      23 |  3622360 |  3227238 |     1396   5050 |        0 |        0
1108.44/1108.80	c 1108s |      23 |  3628995 |  3233238 |     1396   5058 |        0 |        0
1110.44/1110.80	c 1110s |      23 |  3634061 |  3237938 |     1396   5064 |        0 |        0
1112.43/1112.83	c 1112s |      23 |  3639676 |  3243038 |     1396   5070 |        0 |        0
1114.43/1114.84	c 1114s |      23 |  3644782 |  3247738 |     1396   5076 |        0 |        0
1116.43/1116.85	c 1116s |      23 |  3650164 |  3252638 |     1396   5082 |        0 |        0
1118.44/1118.89	c 1118s |      23 |  3656178 |  3258038 |     1396   5089 |        0 |        0
1120.53/1120.93	c 1120s |      23 |  3661411 |  3262838 |     1396   5095 |        0 |        0
1122.53/1122.95	c 1122s |      23 |  3668600 |  3269038 |     1396   5103 |        0 |        0
1124.53/1124.95	c 1124s |      23 |  3675126 |  3274838 |     1396   5111 |        0 |        0
1126.53/1126.97	c 1126s |      23 |  3682062 |  3280938 |     1396   5119 |        0 |        0
1128.53/1128.98	c 1128s |      23 |  3689274 |  3287238 |     1396   5127 |        0 |        0
1130.53/1130.99	c 1130s |      23 |  3696748 |  3293638 |     1396   5135 |        0 |        0
1132.62/1133.01	c 1132s |      23 |  3703747 |  3299838 |     1396   5143 |        0 |        0
1134.62/1135.01	c 1135s |      23 |  3710289 |  3305638 |     1396   5151 |        0 |        0
1136.62/1137.03	c 1137s |      23 |  3716858 |  3311338 |     1396   5158 |        0 |        0
1138.62/1139.03	c 1139s |      23 |  3724013 |  3317438 |     1396   5166 |        0 |        0
1140.62/1141.06	c 1141s |      23 |  3730987 |  3323438 |     1396   5173 |        0 |        0
1142.62/1143.08	c 1143s |      23 |  3737743 |  3329138 |     1396   5181 |        0 |        0
1144.72/1145.10	c 1145s |      23 |  3743967 |  3334638 |     1396   5188 |        0 |        0
1146.72/1147.11	c 1147s |      23 |  3750274 |  3340138 |     1396   5195 |        0 |        0
1148.72/1149.14	c 1149s |      23 |  3756967 |  3346038 |     1396   5203 |        0 |        0
1150.71/1151.17	c 1151s |      23 |  3763210 |  3351538 |     1396   5210 |        0 |        0
1152.71/1153.18	c 1153s |      23 |  3769149 |  3356838 |     1536   5216 |        0 |        0
1154.72/1155.18	c 1155s |      23 |  3775160 |  3362238 |     1536   5222 |        0 |        0
1156.81/1157.20	c 1157s |      23 |  3780634 |  3367138 |     1536   5228 |        0 |        0
1158.81/1159.21	c 1159s |      23 |  3786415 |  3372238 |     1536   5234 |        0 |        0
1160.31/1160.77	c 1160s |      24 |  3791391 |  3376662 |     1536   5239 |        0 |        0
1162.31/1162.78	c 1162s |      24 |  3799145 |  3383062 |     1536   5247 |        0 |        0
1164.31/1164.78	c 1164s |      24 |  3805799 |  3388962 |     1536   5254 |        0 |        0
1166.41/1166.81	c 1166s |      24 |  3812681 |  3394962 |     1536   5261 |        0 |        0
1168.41/1168.83	c 1168s |      24 |  3819760 |  3401162 |     1536   5269 |        0 |        0
1170.41/1170.85	c 1170s |      24 |  3826507 |  3407062 |     1536   5276 |        0 |        0
1172.41/1172.88	c 1172s |      24 |  3832885 |  3412762 |     1536   5282 |        0 |        0
1174.41/1174.89	c 1174s |      24 |  3839505 |  3418662 |     1536   5289 |        0 |        0
1176.51/1176.92	c 1176s |      24 |  3845838 |  3424362 |     1536   5296 |        0 |        0
1178.51/1178.95	c 1178s |      24 |  3851651 |  3429662 |     1536   5302 |        0 |        0
1180.51/1180.95	c 1180s |      24 |  3858043 |  3435462 |     1536   5309 |        0 |        0
1182.50/1182.98	c 1182s |      24 |  3865032 |  3441562 |     1536   5317 |        0 |        0
1184.51/1184.98	c 1184s |      24 |  3871732 |  3447462 |     1536   5324 |        0 |        0
1186.50/1186.99	c 1186s |      24 |  3878393 |  3453362 |     1536   5331 |        0 |        0
1188.60/1189.02	c 1189s |      24 |  3884663 |  3458962 |     1536   5337 |        0 |        0
1190.60/1191.07	c 1191s |      24 |  3890536 |  3464262 |     1536   5344 |        0 |        0
1192.60/1193.09	c 1193s |      24 |  3896975 |  3469862 |     1536   5350 |        0 |        0
1194.70/1195.11	c 1195s |      24 |  3903218 |  3475462 |     1536   5357 |        0 |        0
1196.70/1197.12	c 1197s |      24 |  3909383 |  3480962 |     1536   5363 |        0 |        0
1198.70/1199.14	c 1199s |      24 |  3916037 |  3486862 |     1536   5370 |        0 |        0
1200.70/1201.14	c 1201s |      24 |  3922054 |  3492262 |     1536   5377 |        0 |        0
1202.69/1203.17	c 1203s |      24 |  3928402 |  3497962 |     1536   5383 |        0 |        0
1204.79/1205.20	c 1205s |      24 |  3935286 |  3503962 |     1536   5391 |        0 |        0
1206.79/1207.21	c 1207s |      24 |  3941706 |  3509862 |     1536   5398 |        0 |        0
1208.79/1209.24	c 1209s |      24 |  3948638 |  3516062 |     1536   5405 |        0 |        0
1210.80/1211.27	c 1211s |      24 |  3955474 |  3522362 |     1536   5412 |        0 |        0
1212.78/1213.29	c 1213s |      24 |  3961953 |  3528262 |     1536   5419 |        0 |        0
1214.88/1215.30	c 1215s |      24 |  3968819 |  3534462 |     1536   5427 |        0 |        0
1216.88/1217.31	c 1217s |      24 |  3975793 |  3540762 |     1536   5434 |        0 |        0
1218.88/1219.34	c 1219s |      24 |  3982550 |  3546962 |     1536   5441 |        0 |        0
1220.88/1221.36	c 1221s |      24 |  3988948 |  3552862 |     1536   5448 |        0 |        0
1222.88/1223.39	c 1223s |      24 |  3995618 |  3558962 |     1536   5456 |        0 |        0
1224.98/1225.41	c 1225s |      24 |  4001447 |  3564362 |     1536   5462 |        0 |        0
1226.98/1227.43	c 1227s |      24 |  4008047 |  3570262 |     1536   5469 |        0 |        0
1228.98/1229.43	c 1229s |      24 |  4014042 |  3575762 |     1536   5475 |        0 |        0
1230.97/1231.45	c 1231s |      24 |  4020676 |  3581762 |     1536   5482 |        0 |        0
1232.97/1233.48	c 1233s |      24 |  4027103 |  3587562 |     1536   5489 |        0 |        0
1234.98/1235.49	c 1235s |      24 |  4033480 |  3593362 |     1536   5496 |        0 |        0
1237.07/1237.52	c 1237s |      24 |  4039645 |  3598862 |     1536   5503 |        0 |        0
1239.07/1239.52	c 1239s |      24 |  4045560 |  3604162 |     1536   5509 |        0 |        0
1241.07/1241.54	c 1241s |      24 |  4052568 |  3610362 |     1536   5516 |        0 |        0
1243.07/1243.54	c 1243s |      24 |  4059463 |  3616562 |     1536   5524 |        0 |        0
1245.07/1245.56	c 1245s |      24 |  4066774 |  3622962 |     1536   5531 |        0 |        0
1247.08/1247.59	c 1247s |      24 |  4073910 |  3629362 |     1536   5539 |        0 |        0
1249.17/1249.60	c 1249s |      24 |  4081135 |  3635762 |     1536   5547 |        0 |        0
1251.17/1251.63	c 1251s |      24 |  4088301 |  3642062 |     1536   5554 |        0 |        0
1253.17/1253.64	c 1253s |      24 |  4095020 |  3648062 |     1536   5561 |        0 |        0
1255.17/1255.66	c 1255s |      24 |  4101751 |  3653962 |     1536   5568 |        0 |        0
1257.17/1257.68	c 1257s |      24 |  4108587 |  3660062 |     1536   5576 |        0 |        0
1259.17/1259.69	c 1259s |      24 |  4115072 |  3665862 |     1536   5583 |        0 |        0
1261.27/1261.71	c 1261s |      24 |  4122137 |  3672062 |     1536   5590 |        0 |        0
1263.27/1263.73	c 1263s |      24 |  4128413 |  3677762 |     1536   5597 |        0 |        0
1265.26/1265.73	c 1265s |      24 |  4135006 |  3683462 |     1536   5604 |        0 |        0
1267.26/1267.76	c 1267s |      24 |  4141494 |  3689262 |     1536   5611 |        0 |        0
1269.26/1269.76	c 1269s |      24 |  4147430 |  3694562 |     1536   5617 |        0 |        0
1271.27/1271.79	c 1271s |      24 |  4153458 |  3700062 |     1536   5623 |        0 |        0
1273.26/1273.79	c 1273s |      24 |  4159106 |  3705262 |     1536   5630 |        0 |        0
1275.36/1275.80	c 1275s |      24 |  4164991 |  3710562 |     1536   5636 |        0 |        0
1277.36/1277.81	c 1277s |      24 |  4170617 |  3715662 |     1536   5642 |        0 |        0
1279.36/1279.82	c 1279s |      24 |  4176545 |  3720862 |     1536   5648 |        0 |        0
1281.36/1281.82	c 1281s |      24 |  4183007 |  3726762 |     1536   5655 |        0 |        0
1283.36/1283.84	c 1283s |      24 |  4188878 |  3732162 |     1536   5662 |        0 |        0
1285.36/1285.86	c 1285s |      24 |  4195637 |  3737962 |     1536   5669 |        0 |        0
1287.36/1287.88	c 1287s |      24 |  4203786 |  3744562 |     1536   5676 |        0 |        0
1289.46/1289.90	c 1289s |      24 |  4211849 |  3751062 |     1536   5684 |        0 |        0
1291.46/1291.92	c 1291s |      24 |  4219081 |  3757262 |     1536   5692 |        0 |        0
1293.46/1293.92	c 1293s |      24 |  4226473 |  3763362 |     1536   5699 |        0 |        0
1295.46/1295.94	c 1295s |      24 |  4234000 |  3769962 |     1536   5707 |        0 |        0
1297.46/1297.97	c 1297s |      24 |  4241689 |  3776362 |     1536   5715 |        0 |        0
1299.56/1300.00	c 1299s |      24 |  4249110 |  3782662 |     1536   5722 |        0 |        0
1301.56/1302.01	c 1301s |      24 |  4256681 |  3788962 |     1536   5730 |        0 |        0
1303.55/1304.03	c 1304s |      24 |  4263278 |  3794662 |     1536   5737 |        0 |        0
1305.55/1306.04	c 1306s |      24 |  4269262 |  3799962 |     1536   5743 |        0 |        0
1307.56/1308.07	c 1308s |      24 |  4275937 |  3805662 |     1536   5750 |        0 |        0
1309.55/1310.09	c 1310s |      24 |  4283253 |  3812062 |     1536   5758 |        0 |        0
1311.65/1312.10	c 1312s |      24 |  4290051 |  3817962 |     1536   5765 |        0 |        0
1313.65/1314.11	c 1314s |      24 |  4296696 |  3823662 |     1536   5772 |        0 |        0
1315.65/1316.11	c 1316s |      24 |  4303748 |  3829562 |     1536   5779 |        0 |        0
1317.65/1318.11	c 1318s |      24 |  4310837 |  3835862 |     1536   5786 |        0 |        0
1319.66/1320.14	c 1320s |      24 |  4317911 |  3842062 |     1536   5794 |        0 |        0
1321.65/1322.16	c 1322s |      24 |  4324283 |  3847862 |     1536   5801 |        0 |        0
1323.65/1324.17	c 1324s |      24 |  4330585 |  3853462 |     1536   5807 |        0 |        0
1325.75/1326.20	c 1326s |      24 |  4337732 |  3859562 |     1536   5815 |        0 |        0
1327.75/1328.20	c 1328s |      24 |  4344017 |  3865162 |     1536   5822 |        0 |        0
1329.75/1330.22	c 1330s |      24 |  4349987 |  3870562 |     1536   5828 |        0 |        0
1331.76/1332.25	c 1332s |      24 |  4357300 |  3876862 |     1536   5836 |        0 |        0
1333.75/1334.27	c 1334s |      24 |  4363892 |  3882662 |     1536   5843 |        0 |        0
1335.75/1336.27	c 1336s |      24 |  4370381 |  3888362 |     1536   5850 |        0 |        0
1337.75/1338.27	c 1338s |      24 |  4377740 |  3894662 |     1536   5857 |        0 |        0
1339.75/1340.27	c 1340s |      24 |  4384754 |  3900762 |     1536   5865 |        0 |        0
1341.85/1342.31	c 1342s |      24 |  4391869 |  3907162 |     1536   5872 |        0 |        0
1343.85/1344.33	c 1344s |      24 |  4399054 |  3913362 |     1536   5880 |        0 |        0
1345.86/1346.35	c 1346s |      24 |  4405879 |  3919462 |     1536   5887 |        0 |        0
1347.86/1348.37	c 1348s |      24 |  4412425 |  3925262 |     1536   5894 |        0 |        0
1349.85/1350.39	c 1350s |      24 |  4419622 |  3931362 |     1536   5902 |        0 |        0
1351.85/1352.39	c 1352s |      24 |  4427014 |  3937662 |     1536   5909 |        0 |        0
1353.95/1354.41	c 1354s |      24 |  4433925 |  3943662 |     1536   5916 |        0 |        0
1355.96/1356.41	c 1356s |      24 |  4440790 |  3949462 |     1536   5923 |        0 |        0
1357.95/1358.43	c 1358s |      24 |  4447277 |  3955062 |     1536   5930 |        0 |        0
1359.95/1360.44	c 1360s |      24 |  4453947 |  3960862 |     1536   5937 |        0 |        0
1361.95/1362.46	c 1362s |      24 |  4460608 |  3966662 |     1536   5944 |        0 |        0
1363.95/1364.47	c 1364s |      24 |  4466916 |  3972162 |     1536   5951 |        0 |        0
1365.96/1366.49	c 1366s |      24 |  4473268 |  3977662 |     1536   5957 |        0 |        0
1368.06/1368.52	c 1368s |      24 |  4479502 |  3982962 |     1536   5964 |        0 |        0
1370.05/1370.53	c 1370s |      24 |  4486438 |  3988962 |     1536   5971 |        0 |        0
1372.05/1372.55	c 1372s |      24 |  4493609 |  3995162 |     1536   5978 |        0 |        0
1374.05/1374.56	c 1374s |      24 |  4499877 |  4000762 |     1536   5985 |        0 |        0
1376.05/1376.57	c 1376s |      24 |  4506541 |  4006562 |     1536   5992 |        0 |        0
1378.06/1378.59	c 1378s |      24 |  4512523 |  4011862 |     1536   5998 |        0 |        0
1380.16/1380.61	c 1380s |      24 |  4518703 |  4017362 |     1536   6005 |        0 |        0
1382.15/1382.64	c 1382s |      24 |  4525141 |  4022862 |     1536   6012 |        0 |        0
1384.15/1384.67	c 1384s |      24 |  4530981 |  4028062 |     1536   6018 |        0 |        0
1386.25/1386.70	c 1386s |      24 |  4537329 |  4033562 |     1536   6024 |        0 |        0
1388.25/1388.73	c 1388s |      24 |  4544392 |  4039462 |     1536   6031 |        0 |        0
1390.25/1390.76	c 1390s |      24 |  4551590 |  4045562 |     1536   6039 |        0 |        0
1392.25/1392.78	c 1392s |      24 |  4559800 |  4052062 |     1536   6047 |        0 |        0
1394.35/1394.80	c 1394s |      24 |  4567897 |  4058562 |     1536   6054 |        0 |        0
1396.34/1396.82	c 1396s |      24 |  4575308 |  4064562 |     1536   6061 |        0 |        0
1398.34/1398.83	c 1398s |      24 |  4582219 |  4070562 |     1536   6069 |        0 |        0
1400.34/1400.84	c 1400s |      24 |  4588531 |  4076362 |     1536   6076 |        0 |        0
1402.34/1402.87	c 1402s |      24 |  4595399 |  4082662 |     1536   6083 |        0 |        0
1404.35/1404.87	c 1404s |      24 |  4601670 |  4088462 |     1536   6091 |        0 |        0
1406.34/1406.88	c 1406s |      24 |  4608131 |  4094062 |     1536   6097 |        0 |        0
1408.34/1408.89	c 1408s |      24 |  4615431 |  4100162 |     1536   6105 |        0 |        0
1410.44/1410.90	c 1410s |      24 |  4622624 |  4106362 |     1536   6112 |        0 |        0
1412.44/1412.90	c 1412s |      24 |  4630238 |  4112662 |     1536   6120 |        0 |        0
1414.44/1414.91	c 1414s |      24 |  4637435 |  4118762 |     1536   6127 |        0 |        0
1416.45/1416.93	c 1416s |      24 |  4644752 |  4124962 |     1536   6134 |        0 |        0
1418.44/1418.95	c 1418s |      24 |  4651791 |  4131062 |     1536   6142 |        0 |        0
1420.44/1420.96	c 1420s |      24 |  4659036 |  4137262 |     1536   6149 |        0 |        0
1422.44/1422.98	c 1422s |      24 |  4665725 |  4143062 |     1536   6156 |        0 |        0
1424.44/1424.98	c 1424s |      24 |  4672606 |  4148962 |     1536   6163 |        0 |        0
1426.44/1426.98	c 1426s |      24 |  4679378 |  4155062 |     1536   6170 |        0 |        0
1428.43/1428.99	c 1428s |      24 |  4686281 |  4161062 |     1536   6177 |        0 |        0
1430.53/1431.00	c 1430s |      24 |  4692857 |  4166862 |     1536   6184 |        0 |        0
1432.53/1433.02	c 1433s |      24 |  4700433 |  4173362 |     1536   6192 |        0 |        0
1434.53/1435.02	c 1435s |      24 |  4707388 |  4179562 |     1536   6200 |        0 |        0
1436.53/1437.02	c 1437s |      24 |  4714113 |  4185462 |     1536   6207 |        0 |        0
1438.54/1439.05	c 1439s |      24 |  4720952 |  4191462 |     1536   6214 |        0 |        0
1440.54/1441.05	c 1441s |      24 |  4727811 |  4197262 |     1536   6221 |        0 |        0
1442.54/1443.07	c 1443s |      24 |  4734437 |  4203162 |     1536   6228 |        0 |        0
1444.54/1445.09	c 1445s |      24 |  4741244 |  4209062 |     1536   6235 |        0 |        0
1446.54/1447.10	c 1447s |      24 |  4748204 |  4215162 |     1536   6242 |        0 |        0
1448.64/1449.10	c 1449s |      24 |  4754551 |  4220962 |     1536   6249 |        0 |        0
1450.65/1451.12	c 1451s |      24 |  4761130 |  4226962 |     1536   6256 |        0 |        0
1452.64/1453.15	c 1453s |      24 |  4768021 |  4233062 |     1536   6263 |        0 |        0
1454.64/1455.15	c 1455s |      24 |  4774834 |  4239062 |     1536   6270 |        0 |        0
1456.64/1457.17	c 1457s |      24 |  4781799 |  4245062 |     1536   6278 |        0 |        0
1458.74/1459.20	c 1459s |      24 |  4788522 |  4250962 |     1536   6285 |        0 |        0
1460.74/1461.22	c 1461s |      24 |  4795098 |  4256762 |     1536   6292 |        0 |        0
1462.74/1463.23	c 1463s |      24 |  4802029 |  4262762 |     1536   6299 |        0 |        0
1464.74/1465.25	c 1465s |      24 |  4808849 |  4268662 |     1536   6306 |        0 |        0
1466.74/1467.27	c 1467s |      24 |  4815418 |  4274462 |     1536   6313 |        0 |        0
1468.73/1469.28	c 1469s |      24 |  4822335 |  4280462 |     1536   6320 |        0 |        0
1470.73/1471.29	c 1471s |      24 |  4829131 |  4286462 |     1536   6327 |        0 |        0
1472.73/1473.29	c 1473s |      24 |  4835860 |  4292462 |     1536   6334 |        0 |        0
1474.74/1475.29	c 1475s |      24 |  4842403 |  4298262 |     1536   6341 |        0 |        0
1476.83/1477.31	c 1477s |      24 |  4848649 |  4303962 |     1536   6348 |        0 |        0
1478.83/1479.34	c 1479s |      24 |  4855155 |  4309862 |     1536   6355 |        0 |        0
1480.83/1481.34	c 1481s |      24 |  4861715 |  4315662 |     1536   6362 |        0 |        0
1482.83/1483.35	c 1483s |      24 |  4867861 |  4321162 |     1536   6369 |        0 |        0
1484.83/1485.38	c 1485s |      24 |  4874501 |  4327062 |     1536   6376 |        0 |        0
1486.84/1487.39	c 1487s |      24 |  4880617 |  4332462 |     1536   6382 |        0 |        0
1488.93/1489.40	c 1489s |      24 |  4887009 |  4338162 |     1536   6389 |        0 |        0
1490.93/1491.43	c 1491s |      24 |  4893404 |  4343862 |     1536   6396 |        0 |        0
1492.93/1493.45	c 1493s |      24 |  4900451 |  4349962 |     1536   6403 |        0 |        0
1494.93/1495.48	c 1495s |      24 |  4907875 |  4356262 |     1536   6411 |        0 |        0
1497.03/1497.50	c 1497s |      24 |  4914775 |  4362262 |     1536   6418 |        0 |        0
1499.03/1499.51	c 1499s |      24 |  4922096 |  4368562 |     1536   6425 |        0 |        0
1501.03/1501.54	c 1501s |      24 |  4929150 |  4374562 |     1536   6433 |        0 |        0
1503.03/1503.56	c 1503s |      24 |  4935956 |  4380362 |     1536   6440 |        0 |        0
1505.03/1505.57	c 1505s |      24 |  4942123 |  4385862 |     1536   6446 |        0 |        0
1507.02/1507.58	c 1507s |      24 |  4948709 |  4391562 |     1536   6453 |        0 |        0
1509.12/1509.60	c 1509s |      24 |  4955449 |  4397362 |     1536   6460 |        0 |        0
1511.13/1511.62	c 1511s |      24 |  4962507 |  4403462 |     1536   6467 |        0 |        0
1513.12/1513.64	c 1513s |      24 |  4969883 |  4409862 |     1536   6475 |        0 |        0
1515.12/1515.67	c 1515s |      24 |  4976949 |  4415962 |     1536   6482 |        0 |        0
1517.22/1517.70	c 1517s |      24 |  4983958 |  4422062 |     1536   6490 |        0 |        0
1519.23/1519.72	c 1519s |      24 |  4990546 |  4427962 |     1536   6497 |        0 |        0
1521.23/1521.75	c 1521s |      24 |  4997153 |  4433862 |     1536   6504 |        0 |        0
1523.24/1523.76	c 1523s |      24 |  5003629 |  4439662 |     1536   6510 |        0 |        0
1525.23/1525.76	c 1525s |      24 |  5010374 |  4445562 |     1536   6518 |        0 |        0
1527.23/1527.79	c 1527s |      24 |  5017048 |  4451362 |     1536   6524 |        0 |        0
1529.33/1529.81	c 1529s |      24 |  5023630 |  4456962 |     1536   6531 |        0 |        0
1531.33/1531.84	c 1531s |      24 |  5030459 |  4462762 |     1536   6538 |        0 |        0
1533.33/1533.85	c 1533s |      24 |  5037330 |  4468662 |     1536   6545 |        0 |        0
1535.33/1535.86	c 1535s |      24 |  5043961 |  4474262 |     1536   6552 |        0 |        0
1537.33/1537.89	c 1537s |      24 |  5050335 |  4479862 |     1536   6559 |        0 |        0
1539.43/1539.90	c 1539s |      24 |  5056934 |  4485562 |     1536   6566 |        0 |        0
1541.42/1541.93	c 1541s |      24 |  5063171 |  4491262 |     1536   6572 |        0 |        0
1543.42/1543.95	c 1543s |      24 |  5070001 |  4497162 |     1536   6579 |        0 |        0
1545.42/1545.96	c 1545s |      24 |  5077536 |  4503262 |     1536   6587 |        0 |        0
1547.43/1547.99	c 1547s |      24 |  5085298 |  4509762 |     1536   6594 |        0 |        0
1549.42/1549.99	c 1549s |      24 |  5092492 |  4515862 |     1536   6602 |        0 |        0
1551.52/1552.02	c 1552s |      24 |  5099314 |  4521762 |     1536   6609 |        0 |        0
1553.52/1554.02	c 1554s |      24 |  5106203 |  4527862 |     1536   6616 |        0 |        0
1555.52/1556.03	c 1556s |      24 |  5112700 |  4533562 |     1536   6623 |        0 |        0
1557.52/1558.03	c 1558s |      24 |  5119306 |  4539362 |     1536   6630 |        0 |        0
1559.53/1560.05	c 1560s |      24 |  5126293 |  4545462 |     1536   6637 |        0 |        0
1561.52/1562.08	c 1562s |      24 |  5132746 |  4551262 |     1536   6644 |        0 |        0
1563.52/1564.09	c 1564s |      24 |  5139745 |  4557162 |     1536   6651 |        0 |        0
1565.62/1566.11	c 1566s |      24 |  5146218 |  4562862 |     1536   6658 |        0 |        0
1567.62/1568.14	c 1568s |      24 |  5152882 |  4568662 |     1536   6665 |        0 |        0
1569.62/1570.15	c 1570s |      24 |  5159727 |  4574662 |     1536   6672 |        0 |        0
1571.63/1572.17	c 1572s |      24 |  5166085 |  4580362 |     1536   6679 |        0 |        0
1573.62/1574.18	c 1574s |      24 |  5172133 |  4585762 |     1536   6685 |        0 |        0
1575.72/1576.21	c 1576s |      24 |  5178097 |  4591162 |     1536   6692 |        0 |        0
1577.72/1578.25	c 1578s |      24 |  5184116 |  4596662 |     1536   6699 |        0 |        0
1579.72/1580.28	c 1580s |      24 |  5190295 |  4602362 |     1536   6705 |        0 |        0
1581.82/1582.31	c 1582s |      24 |  5196884 |  4608162 |     1536   6712 |        0 |        0
1583.82/1584.33	c 1584s |      24 |  5203836 |  4614062 |     1536   6720 |        0 |        0
1585.82/1586.34	c 1586s |      24 |  5210960 |  4620162 |     1536   6727 |        0 |        0
1587.81/1588.37	c 1588s |      24 |  5218196 |  4626362 |     1536   6734 |        0 |        0
1589.81/1590.38	c 1590s |      24 |  5225111 |  4632262 |     1536   6741 |        0 |        0
1591.81/1592.39	c 1592s |      24 |  5231921 |  4638262 |     1536   6748 |        0 |        0
1593.91/1594.41	c 1594s |      24 |  5238502 |  4644062 |     1536   6755 |        0 |        0
1595.91/1596.42	c 1596s |      24 |  5245226 |  4649862 |     1536   6762 |        0 |        0
1597.92/1598.46	c 1598s |      24 |  5251895 |  4655662 |     1536   6769 |        0 |        0
1599.91/1600.48	c 1600s |      24 |  5258311 |  4661362 |     1536   6776 |        0 |        0
1601.91/1602.48	c 1602s |      24 |  5264899 |  4667062 |     1536   6783 |        0 |        0
1603.91/1604.49	c 1604s |      24 |  5272297 |  4673362 |     1536   6790 |        0 |        0
1606.01/1606.51	c 1606s |      24 |  5279540 |  4679462 |     1536   6798 |        0 |        0
1608.01/1608.51	c 1608s |      24 |  5286515 |  4685162 |     1536   6805 |        0 |        0
1610.02/1610.52	c 1610s |      24 |  5293615 |  4690862 |     1536   6811 |        0 |        0
1612.01/1612.54	c 1612s |      24 |  5300474 |  4696562 |     1536   6818 |        0 |        0
1614.01/1614.55	c 1614s |      24 |  5307667 |  4702662 |     1536   6825 |        0 |        0
1616.01/1616.56	c 1616s |      24 |  5314816 |  4708562 |     1536   6833 |        0 |        0
1618.01/1618.59	c 1618s |      24 |  5321516 |  4714162 |     1536   6839 |        0 |        0
1620.02/1620.59	c 1620s |      24 |  5328289 |  4720062 |     1536   6846 |        0 |        0
1622.12/1622.61	c 1622s |      24 |  5335107 |  4725962 |     1536   6853 |        0 |        0
1624.11/1624.62	c 1624s |      24 |  5341758 |  4731662 |     1536   6860 |        0 |        0
1626.11/1626.65	c 1626s |      24 |  5347677 |  4737062 |     1536   6867 |        0 |        0
1628.11/1628.66	c 1628s |      24 |  5353971 |  4742562 |     1536   6873 |        0 |        0
1630.11/1630.69	c 1630s |      24 |  5359733 |  4747762 |     1536   6879 |        0 |        0
1632.21/1632.70	c 1632s |      24 |  5366239 |  4753462 |     1536   6886 |        0 |        0
1634.11/1634.70	c 1634s |      24 |  5373153 |  4759362 |     1536   6893 |        0 |        0
1636.21/1636.71	c 1636s |      24 |  5380648 |  4765662 |     1536   6901 |        0 |        0
1638.21/1638.72	c 1638s |      24 |  5387500 |  4771562 |     1536   6908 |        0 |        0
1640.20/1640.73	c 1640s |      24 |  5394431 |  4777462 |     1536   6915 |        0 |        0
1642.20/1642.75	c 1642s |      24 |  5401269 |  4783362 |     1536   6922 |        0 |        0
1644.21/1644.75	c 1644s |      24 |  5408285 |  4789262 |     1536   6929 |        0 |        0
1646.20/1646.78	c 1646s |      24 |  5415208 |  4795362 |     1536   6937 |        0 |        0
1648.30/1648.81	c 1648s |      24 |  5422177 |  4801262 |     1536   6944 |        0 |        0
1650.30/1650.82	c 1650s |      24 |  5428873 |  4806962 |     1536   6951 |        0 |        0
1652.30/1652.84	c 1652s |      24 |  5435589 |  4812962 |     1536   6958 |        0 |        0
1654.30/1654.86	c 1654s |      24 |  5442459 |  4818862 |     1536   6965 |        0 |        0
1656.31/1656.88	c 1656s |      24 |  5449511 |  4824962 |     1536   6972 |        0 |        0
1658.30/1658.90	c 1658s |      24 |  5456497 |  4830962 |     1536   6980 |        0 |        0
1660.40/1660.91	c 1660s |      24 |  5463842 |  4837162 |     1536   6987 |        0 |        0
1662.40/1662.92	c 1662s |      24 |  5471430 |  4843462 |     1536   6995 |        0 |        0
1664.40/1664.93	c 1664s |      24 |  5478276 |  4849262 |     1536   7002 |        0 |        0
1666.40/1666.97	c 1666s |      24 |  5484808 |  4854962 |     1536   7009 |        0 |        0
1668.51/1669.01	c 1668s |      24 |  5492122 |  4860862 |     1536   7016 |        0 |        0
1670.51/1671.02	c 1671s |      24 |  5499206 |  4866462 |     1536   7022 |        0 |        0
1672.51/1673.03	c 1673s |      24 |  5505592 |  4871762 |     1536   7029 |        0 |        0
1674.51/1675.04	c 1675s |      24 |  5512351 |  4877462 |     1536   7036 |        0 |        0
1676.51/1677.05	c 1677s |      24 |  5519459 |  4883362 |     1536   7043 |        0 |        0
1678.51/1679.09	c 1679s |      24 |  5526241 |  4889062 |     1536   7050 |        0 |        0
1680.61/1681.11	c 1681s |      24 |  5532957 |  4894862 |     1536   7057 |        0 |        0
1682.61/1683.14	c 1683s |      24 |  5539683 |  4900662 |     1536   7064 |        0 |        0
1684.60/1685.15	c 1685s |      24 |  5546405 |  4906362 |     1536   7070 |        0 |        0
1686.60/1687.16	c 1687s |      24 |  5553273 |  4911962 |     1536   7077 |        0 |        0
1688.60/1689.17	c 1689s |      24 |  5559494 |  4917262 |     1536   7084 |        0 |        0
1690.60/1691.19	c 1691s |      24 |  5565721 |  4922662 |     1536   7090 |        0 |        0
1692.61/1693.19	c 1693s |      24 |  5572112 |  4928162 |     1536   7097 |        0 |        0
1694.71/1695.21	c 1695s |      24 |  5579087 |  4934162 |     1536   7104 |        0 |        0
1696.70/1697.22	c 1697s |      24 |  5585535 |  4939662 |     1536   7111 |        0 |        0
1698.70/1699.25	c 1699s |      24 |  5591987 |  4945062 |     1536   7117 |        0 |        0
1700.70/1701.26	c 1701s |      24 |  5598055 |  4950362 |     1536   7124 |        0 |        0
1702.70/1703.27	c 1703s |      24 |  5604963 |  4956162 |     1536   7131 |        0 |        0
1704.80/1705.30	c 1705s |      24 |  5611196 |  4961662 |     1536   7137 |        0 |        0
1706.81/1707.31	c 1707s |      24 |  5617474 |  4967162 |     1536   7144 |        0 |        0
1708.80/1709.33	c 1709s |      24 |  5623583 |  4972762 |     1536   7150 |        0 |        0
1710.80/1711.35	c 1711s |      24 |  5629267 |  4977962 |     1536   7156 |        0 |        0
1712.80/1713.37	c 1713s |      24 |  5635202 |  4983362 |     1536   7163 |        0 |        0
1714.80/1715.37	c 1715s |      24 |  5640975 |  4988662 |     1536   7169 |        0 |        0
1716.81/1717.39	c 1717s |      24 |  5646753 |  4993862 |     1536   7175 |        0 |        0
1718.91/1719.42	c 1719s |      24 |  5652693 |  4999162 |     1536   7181 |        0 |        0
1720.90/1721.45	c 1721s |      24 |  5658764 |  5004562 |     1536   7188 |        0 |        0
1722.90/1723.47	c 1723s |      24 |  5664750 |  5009962 |     1536   7194 |        0 |        0
1725.00/1725.50	c 1725s |      24 |  5670046 |  5014862 |     1536   7200 |        0 |        0
1727.00/1727.53	c 1727s |      24 |  5675731 |  5020062 |     1536   7206 |        0 |        0
1729.00/1729.55	c 1729s |      24 |  5680942 |  5024762 |     1536   7212 |        0 |        0
1731.00/1731.57	c 1731s |      24 |  5688037 |  5030462 |     1690   7218 |        0 |        0
1733.00/1733.59	c 1733s |      24 |  5694567 |  5036062 |     1690   7224 |        0 |        0
1735.10/1735.61	c 1735s |      24 |  5700973 |  5041662 |     1690   7230 |        0 |        0
1737.09/1737.63	c 1737s |      24 |  5707278 |  5047162 |     1690   7236 |        0 |        0
1739.09/1739.64	c 1739s |      24 |  5713200 |  5052462 |     1690   7242 |        0 |        0
1741.09/1741.67	c 1741s |      24 |  5719874 |  5058062 |     1690   7248 |        0 |        0
1743.10/1743.68	c 1743s |      24 |  5725913 |  5063262 |     1690   7254 |        0 |        0
1743.79/1744.37	c 1744s |      25 |  5728039 |  5065098 |     1690   7256 |        0 |        0
1745.89/1746.40	c 1746s |      25 |  5735551 |  5071098 |     1690   7262 |        0 |        0
1747.89/1748.42	c 1748s |      25 |  5742803 |  5076998 |     1690   7269 |        0 |        0
1749.89/1750.43	c 1750s |      25 |  5750646 |  5083398 |     1690   7276 |        0 |        0
1751.90/1752.44	c 1752s |      25 |  5758283 |  5089498 |     1690   7282 |        0 |        0
1753.89/1754.48	c 1754s |      25 |  5765026 |  5094998 |     1690   7288 |        0 |        0
1755.99/1756.51	c 1756s |      25 |  5771910 |  5100798 |     1690   7295 |        0 |        0
1757.99/1758.55	c 1758s |      25 |  5778388 |  5106298 |     1690   7301 |        0 |        0
1759.99/1760.55	c 1760s |      25 |  5784549 |  5111698 |     1690   7307 |        0 |        0
1761.99/1762.58	c 1762s |      25 |  5790650 |  5117098 |     1690   7313 |        0 |        0
1764.09/1764.61	c 1764s |      25 |  5796914 |  5122398 |     1690   7318 |        0 |        0
1766.09/1766.64	c 1766s |      25 |  5803157 |  5127798 |     1690   7324 |        0 |        0
1768.09/1768.65	c 1768s |      25 |  5811029 |  5133998 |     1690   7331 |        0 |        0
1770.09/1770.65	c 1770s |      25 |  5817637 |  5139598 |     1690   7337 |        0 |        0
1772.09/1772.66	c 1772s |      25 |  5824407 |  5145098 |     1690   7343 |        0 |        0
1774.09/1774.66	c 1774s |      25 |  5831275 |  5150698 |     1690   7349 |        0 |        0
1776.09/1776.67	c 1776s |      25 |  5837582 |  5155998 |     1690   7355 |        0 |        0
1778.08/1778.67	c 1778s |      25 |  5843326 |  5160998 |     1690   7360 |        0 |        0
1780.08/1780.68	c 1780s |      25 |  5850846 |  5167098 |     1690   7367 |        0 |        0
1782.18/1782.70	c 1782s |      25 |  5858230 |  5173098 |     1690   7374 |        0 |        0
1784.18/1784.73	c 1784s |      25 |  5865437 |  5179098 |     1690   7380 |        0 |        0
1786.18/1786.76	c 1786s |      25 |  5872699 |  5184898 |     1690   7387 |        0 |        0
1788.19/1788.79	c 1788s |      25 |  5878938 |  5190098 |     1690   7392 |        0 |        0
1790.28/1790.80	c 1790s |      25 |  5884585 |  5194798 |     1690   7397 |        0 |        0
1792.28/1792.82	c 1792s |      25 |  5890653 |  5199998 |     1690   7403 |        0 |        0
1794.28/1794.84	c 1794s |      25 |  5896660 |  5205098 |     1690   7409 |        0 |        0
1796.28/1796.86	c 1796s |      25 |  5902484 |  5210298 |     1690   7414 |        0 |        0
1798.28/1798.87	c 1798s |      25 |  5908338 |  5215298 |     1690   7420 |        0 |        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-4089974-1466036335/watcher-4089974-1466036335 -o /tmp/evaluation-result-4089974-1466036335/solver-4089974-1466036335 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466013843-5838 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089974-1466036335.opb 

pid=8965
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.36 2.27 2.27 4/179 8968
/proc/meminfo: memFree=29441476/32872528 swapFree=1369816/1516984
[pid=8968] ppid=8965 vsize=722364 CPUtime=0 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5822 0 -1 4202496 2693 0 0 0 0 0 0 0 20 0 4 0 5679979 739700736 3565 33554432000 4194304 16246674 140733399190608 140733399190032 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 181359 3574 441 2943 0 178253 0
[pid=8968/tid=8969] ppid=8965 vsize=739772 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5679979 757526528 3633 33554432000 4194304 16246674 140733399190608 140083239824624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=743868 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5679979 761720832 3649 33554432000 4194304 16246674 140733399190608 140083229334768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=747964 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5679979 765915136 3665 33554432000 4194304 16246674 140733399190608 140083109817520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100219 s]
/proc/loadavg: 2.36 2.27 2.27 4/179 8968
/proc/meminfo: memFree=29441476/32872528 swapFree=1369816/1516984
[pid=8968] ppid=8965 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5822 0 -1 4202496 28821 0 0 0 5 4 0 0 20 0 4 0 5679979 1247350784 29682 33554432000 4194304 16246674 140733399190608 140733399190032 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 304529 29697 716 2943 0 301423 0
[pid=8968/tid=8969] ppid=8965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5679979 1247350784 29702 33554432000 4194304 16246674 140733399190608 140083239824624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5679979 1247350784 29708 33554432000 4194304 16246674 140733399190608 140083229334768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5679979 1247350784 29713 33554432000 4194304 16246674 140733399190608 140083109817520 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.200507 s]
/proc/loadavg: 2.36 2.27 2.27 4/179 8968
/proc/meminfo: memFree=29441476/32872528 swapFree=1369816/1516984
[pid=8968] ppid=8965 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5822 0 -1 4202496 56951 0 0 0 12 7 0 0 20 0 4 0 5679979 1247350784 57811 33554432000 4194304 16246674 140733399190608 140733399190032 13192951 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 304529 57821 716 2943 0 301423 0
[pid=8968/tid=8969] ppid=8965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5679979 1247350784 57827 33554432000 4194304 16246674 140733399190608 140083239824624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5679979 1247350784 57832 33554432000 4194304 16246674 140733399190608 140083229334768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5679979 1247350784 57837 33554432000 4194304 16246674 140733399190608 140083109817520 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.300476 s]
/proc/loadavg: 2.36 2.27 2.27 4/179 8968
/proc/meminfo: memFree=29441476/32872528 swapFree=1369816/1516984
[pid=8968] ppid=8965 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5822 0 -1 4202496 85520 0 0 0 18 11 0 0 20 0 4 0 5679979 1247350784 86380 33554432000 4194304 16246674 140733399190608 140733399190032 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 304529 86399 716 2943 0 301423 0
[pid=8968/tid=8969] ppid=8965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5679979 1247350784 86407 33554432000 4194304 16246674 140733399190608 140083239824624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5679979 1247350784 86415 33554432000 4194304 16246674 140733399190608 140083229334768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5679979 1247350784 86421 33554432000 4194304 16246674 140733399190608 140083109817520 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.700399 s]
/proc/loadavg: 2.36 2.27 2.27 4/179 8968
/proc/meminfo: memFree=29441476/32872528 swapFree=1369816/1516984
[pid=8968] ppid=8965 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5822 0 -1 4202496 200180 0 0 0 43 26 0 0 20 0 4 0 5679979 1247350784 201040 33554432000 4194304 16246674 140733399190608 140733399190032 5665836 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 304529 201051 716 2943 0 301423 0
[pid=8968/tid=8969] ppid=8965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5679979 1247350784 201056 33554432000 4194304 16246674 140733399190608 140083239824624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5679979 1247350784 201061 33554432000 4194304 16246674 140733399190608 140083229334768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5679979 1247350784 201067 33554432000 4194304 16246674 140733399190608 140083109817520 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.50043 s]
/proc/loadavg: 2.36 2.27 2.27 4/183 8972
/proc/meminfo: memFree=28456368/32872528 swapFree=1369816/1516984
[pid=8968] ppid=8965 vsize=1305156 CPUtime=1.48 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5822 0 -1 4202496 267248 0 0 0 114 34 0 0 20 0 4 0 5679979 1336479744 268088 33554432000 4194304 16246674 140733399190608 140733399172480 5823158 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 326289 268088 792 2943 0 323183 0
[pid=8968/tid=8969] ppid=8965 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5679979 1336479744 268088 33554432000 4194304 16246674 140733399190608 140083239824624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5679979 1336479744 268088 33554432000 4194304 16246674 140733399190608 140083229334768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5679979 1336479744 268088 33554432000 4194304 16246674 140733399190608 140083109817520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1305156

[startup+3.1004 s]
/proc/loadavg: 2.33 2.27 2.27 4/183 8972
/proc/meminfo: memFree=28368204/32872528 swapFree=1369816/1516984
[pid=8968] ppid=8965 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5822 0 -1 4202496 267449 0 0 0 274 34 0 0 20 0 4 0 5679979 1337528320 268289 33554432000 4194304 16246674 140733399190608 140733399172480 12659263 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 326545 268289 792 2943 0 323439 0
[pid=8968/tid=8969] ppid=8965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5679979 1337528320 268289 33554432000 4194304 16246674 140733399190608 140083239824624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5679979 1337528320 268289 33554432000 4194304 16246674 140733399190608 140083229334768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5679979 1337528320 268289 33554432000 4194304 16246674 140733399190608 140083109817520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.33 2.27 2.27 3/183 8972
/proc/meminfo: memFree=28368148/32872528 swapFree=1369816/1516984
[pid=8968] ppid=8965 vsize=1306180 CPUtime=6.28 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5822 0 -1 4202496 267472 0 0 0 594 34 0 0 20 0 4 0 5679979 1337528320 268312 33554432000 4194304 16246674 140733399190608 140733399172480 5653107 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 326545 268312 793 2943 0 323439 0
[pid=8968/tid=8969] ppid=8965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5679979 1337528320 268312 33554432000 4194304 16246674 140733399190608 140083239824624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5679979 1337528320 268312 33554432000 4194304 16246674 140733399190608 140083229334768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5679979 1337528320 268312 33554432000 4194304 16246674 140733399190608 140083109817520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.28 2.26 2.26 3/183 8972
/proc/meminfo: memFree=28367796/32872528 swapFree=1369816/1516984
[pid=8968] ppid=8965 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5822 0 -1 4202496 267473 0 0 0 1234 34 0 0 20 0 4 0 5679979 1337528320 268313 33554432000 4194304 16246674 140733399190608 140733399173608 5677179 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 326545 268313 793 2943 0 323439 0
[pid=8968/tid=8969] ppid=8965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5679979 1337528320 268313 33554432000 4194304 16246674 140733399190608 140083239824624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5679979 1337528320 268313 33554432000 4194304 16246674 140733399190608 140083229334768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5679979 1337528320 268313 33554432000 4194304 16246674 140733399190608 140083109817520 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) 1306180

[startup+25.5074 s]
/proc/loadavg: 2.32 2.27 2.27 3/183 8972
/proc/meminfo: memFree=28368080/32872528 swapFree=1369816/1516984
[pid=8968] ppid=8965 vsize=1306180 CPUtime=25.5 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5822 0 -1 4202496 267494 0 0 0 2515 35 0 0 20 0 4 0 5679979 1337528320 268334 33554432000 4194304 16246674 140733399190608 140733399172480 12483376 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 326545 268334 795 2943 0 323439 0
[pid=8968/tid=8969] ppid=8965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5679979 1337528320 268334 33554432000 4194304 16246674 140733399190608 140083239824624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5679979 1337528320 268334 33554432000 4194304 16246674 140733399190608 140083229334768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5679979 1337528320 268334 33554432000 4194304 16246674 140733399190608 140083109817520 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) 1306180

[startup+51.1004 s]
/proc/loadavg: 2.28 2.26 2.26 4/183 8972
/proc/meminfo: memFree=28367588/32872528 swapFree=1369816/1516984
[pid=8968] ppid=8965 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5822 0 -1 4202496 267513 0 0 0 5073 35 0 0 20 0 4 0 5679979 1337528320 268353 33554432000 4194304 16246674 140733399190608 140733399172480 5546001 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 326545 268353 795 2943 0 323439 0
[pid=8968/tid=8969] ppid=8965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5679979 1337528320 268353 33554432000 4194304 16246674 140733399190608 140083239824624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5679979 1337528320 268353 33554432000 4194304 16246674 140733399190608 140083229334768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5679979 1337528320 268353 33554432000 4194304 16246674 140733399190608 140083109817520 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) 1306180

[startup+102.3 s]
/proc/loadavg: 2.26 2.26 2.26 3/184 9025
/proc/meminfo: memFree=28369368/32872528 swapFree=1369816/1516984
[pid=8968] ppid=8965 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5822 0 -1 4202496 267624 0 0 0 10192 36 0 0 20 0 4 0 5679979 1338576896 268464 33554432000 4194304 16246674 140733399190608 140733399172480 5673150 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 326801 268464 795 2943 0 323695 0
[pid=8968/tid=8969] ppid=8965 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5679979 1338576896 268464 33554432000 4194304 16246674 140733399190608 140083239824624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5679979 1338576896 268464 33554432000 4194304 16246674 140733399190608 140083229334768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5679979 1338576896 268464 33554432000 4194304 16246674 140733399190608 140083109817520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140083109817520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1308228

[startup+1362.3 s]
/proc/loadavg: 2.14 2.20 2.21 3/183 9056
/proc/meminfo: memFree=28362256/32872528 swapFree=1369816/1516984
[pid=8968] ppid=8965 vsize=1308228 CPUtime=1361.85 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5822 0 -1 4202496 268441 0 0 0 136138 47 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140733399172480 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 327057 268829 796 2943 0 323951 0
[pid=8968/tid=8969] ppid=8965 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140083239824624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140083229334768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140083109817520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1308228

[startup+1422.3 s]
/proc/loadavg: 2.28 2.23 2.21 4/183 9057
/proc/meminfo: memFree=28362160/32872528 swapFree=1369816/1516984
[pid=8968] ppid=8965 vsize=1308228 CPUtime=1421.84 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5822 0 -1 4202496 268441 0 0 0 142137 47 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140733399172480 5523416 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 327057 268829 796 2943 0 323951 0
[pid=8968/tid=8969] ppid=8965 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140083239824624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140083229334768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140083109817520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1308228

[startup+1482.3 s]
/proc/loadavg: 2.22 2.21 2.21 3/183 9059
/proc/meminfo: memFree=28361952/32872528 swapFree=1369816/1516984
[pid=8968] ppid=8965 vsize=1308228 CPUtime=1481.83 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5822 0 -1 4202496 268441 0 0 0 148135 48 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140733399172480 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 327057 268829 796 2943 0 323951 0
[pid=8968/tid=8969] ppid=8965 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140083239824624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140083229334768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140083109817520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1308228

[startup+1542.3 s]
/proc/loadavg: 2.20 2.20 2.20 3/183 9060
/proc/meminfo: memFree=28362304/32872528 swapFree=1369816/1516984
[pid=8968] ppid=8965 vsize=1308228 CPUtime=1541.83 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5822 0 -1 4202496 268441 0 0 0 154134 49 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140733399172480 6836001 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 327057 268829 796 2943 0 323951 0
[pid=8968/tid=8969] ppid=8965 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140083239824624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140083229334768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140083109817520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1308228

[startup+1602.3 s]
/proc/loadavg: 2.19 2.20 2.19 3/183 9061
/proc/meminfo: memFree=28361860/32872528 swapFree=1369816/1516984
[pid=8968] ppid=8965 vsize=1308228 CPUtime=1601.81 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5822 0 -1 4202496 268441 0 0 0 160132 49 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140733399172480 6012036 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 327057 268829 796 2943 0 323951 0
[pid=8968/tid=8969] ppid=8965 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140083239824624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140083229334768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140083109817520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1308228

[startup+1662.31 s]
/proc/loadavg: 2.36 2.23 2.20 4/183 9062
/proc/meminfo: memFree=28362400/32872528 swapFree=1369816/1516984
[pid=8968] ppid=8965 vsize=1308228 CPUtime=1661.81 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5822 0 -1 4202496 268441 0 0 0 166132 49 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140733399172480 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 327057 268829 796 2943 0 323951 0
[pid=8968/tid=8969] ppid=8965 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140083239824624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140083229334768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140083109817520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1308228

[startup+1722.3 s]
/proc/loadavg: 2.44 2.27 2.21 3/183 9063
/proc/meminfo: memFree=28362272/32872528 swapFree=1369816/1516984
[pid=8968] ppid=8965 vsize=1308228 CPUtime=1721.8 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5822 0 -1 4202496 268441 0 0 0 172130 50 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140733399172480 13906976 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 327057 268829 796 2943 0 323951 0
[pid=8968/tid=8969] ppid=8965 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140083239824624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140083229334768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140083109817520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1308228

[startup+1782.3 s]
/proc/loadavg: 2.61 2.35 2.24 4/183 9065
/proc/meminfo: memFree=28361852/32872528 swapFree=1369816/1516984
[pid=8968] ppid=8965 vsize=1308228 CPUtime=1781.78 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5822 0 -1 4202496 268441 0 0 0 178128 50 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140733399172480 5667289 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 327057 268829 796 2943 0 323951 0
[pid=8968/tid=8969] ppid=8965 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140083239824624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140083229334768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140083109817520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1308228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.48 2.33 2.24 3/183 9065
/proc/meminfo: memFree=28361828/32872528 swapFree=1369816/1516984
[pid=8968] ppid=8965 vsize=1308228 CPUtime=1800.08 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5822 0 -1 4202496 268441 0 0 0 179958 50 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140733399172480 5675825 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 327057 268829 796 2943 0 323951 0
[pid=8968/tid=8969] ppid=8965 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140083239824624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140083229334768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140083109817520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1308228

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

[startup+1800.6 s]
/proc/loadavg: 2.48 2.33 2.24 3/183 9065
/proc/meminfo: memFree=28361828/32872528 swapFree=1369816/1516984
[pid=8968] ppid=8965 vsize=1308228 CPUtime=1800.08 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5822 0 -1 4202496 268441 0 0 0 179958 50 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140733399172480 5675825 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 327057 268829 796 2943 0 323951 0
[pid=8968/tid=8969] ppid=8965 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140083239824624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140083229334768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5679979 1339625472 268829 33554432000 4194304 16246674 140733399190608 140083109817520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1308228

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.59
CPU system time (s): 0.509922
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.509922
maximum resident set size= 1075316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268441
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 471
involuntary context switches= 1863

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6073 second user time and 6.91595 second system time

The end

Begin job on node129 at 2016-06-16 02:18:55
IDJOB=4089974
IDBENCH=107483
IDSOLVER=2542
FILE ID=node129/4089974-1466036335
RUNJOBID= node129-1466013843-5838
PBS_JOBID= 19902811
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/rand6reg/normalized-rand6reg-v091-n1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089974-1466036335/watcher-4089974-1466036335 -o /tmp/evaluation-result-4089974-1466036335/solver-4089974-1466036335 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466013843-5838 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089974-1466036335.opb

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

MD5SUM BENCH= 0cbe6e0ff393a79d511dbbbded66ec10
RANDOM SEED=813393411

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29442012 kB
Buffers:           39048 kB
Cached:            80448 kB
SwapCached:        20160 kB
Active:          1136628 kB
Inactive:          75300 kB
Active(anon):    1074884 kB
Inactive(anon):    20108 kB
Active(file):      61744 kB
Inactive(file):    55192 kB
Unevictable:     1516984 kB
Mlocked:         1369816 kB
SwapTotal:      67108856 kB
SwapFree:       67081548 kB
Dirty:             16316 kB
Writeback:             0 kB
AnonPages:       2590880 kB
Mapped:            10268 kB
Shmem:                 0 kB
Slab:             567304 kB
SReclaimable:      11392 kB
SUnreclaim:       555912 kB
KernelStack:        1448 kB
PageTables:         9124 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2734204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1214464 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= 71704 MiB
End job on node129 at 2016-06-16 02:48:56