0.00/0.00	c 2016-06-16T01:30:03+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-4089757-1466033403.opb"]
0.00/0.02	c use --random-gen="381515141 3479937537 3277439348 200353874 274081828 3522756035 2107836871 2794038320 2941212204 3395797353 3922800924 2410610867 729403658 700671877 950737451 1799386165 1311146755 2169191875 3710127374 3837287157 4239687815 3284779544 1583538511 64284313 1717007249 3229448961 3893266821 3599171074 954101972 1234113542 3271536945 689153790 1702824568 1055976577 1305866389 1996854324 1751496703 2248395931 625439561 56381225 2932988643 1015050837 2221218426 3549529349 4117272986 1326079219 471926108 2757081329 2008040107 231445079 4082410666 528492954 2942587161 2148032136 2499351700 2669389657 3545979762 1204259500 2852079205 131227760 3872355166 3620196396 2568511687 252700973 2113714470 2801335560 754070661 2249382093 219802694 774095747 910002091 3388982443 1730779954 364341514 2086306902 127897789 594828733 1197460976 4195393631 1646733693 478882611 2582327779 891811610 1441110974 3613970053 4275429554 287748282 2956071712 1275362803 2157275825 362678252 1442895513 269981440 1694653726 1503380962 1011653180 1515665991 3971361371 438587592 179397977 79368568 2302820553 1481022251 2970096692 3876031782 3182980353 208969531 2893972280 811476632 3258523397 3927395481 1111793197 1432066641 2910041924 2799687264 1028564492 1265345079 842519536 656398637 4235359225 1207932251 1001885622 962608755 3876495852 2131582959 3627880886 2806765592 3304334193 1663951816 3719094325 3160156343 1381620745 1217245663 795590526 1869526981 2377448497 310541574 1067217806 2794373642 1461866205 917628100 3518935053 3899782695 686266207 1216176811 3488433033 3904172027 138194591 2436664307 3398218829 3451723235 3689952551 2823478070 3028155045 4184503168 981439215 3678942972 3249314279 3182195434 1968380146 1674009905 3711947608 2197294639 1859023001 2335284608 3848506633 2902910058 939919425 1851481896 908435192 533380169 427690438 632508776 1400573881 4292912935 3835603636 1790333152 2729037129 3320171785 3774697786 1306917041 1787476557 2602517991 582912662 1132273360 1339562970 3868974194 826263291 3556720714 502222177 1692657079 3189354158 1404657911 3359452771 1697172071 4022138846 53514980 2520840882 731657869 1208306506 3767983559 3191226400 3302644714 558257880 1248054796 158586587 1182036261 1205999869 1557205047 4248684373 1149960279 3751018784 4067395443 3690139407 848726996 650208454 2121672860 974661656 1070981272 371338770 451051597 1394914315 997367322 1223942355 1292118550 3166482975 174533698 2609317622 1075681112 4118462589 4170201330 1887846464 325886314 3824879872 1470809495 485270017 2024187140 513712339 1399502533 1225265447 37367186 3959826911 1223217323 3009835211 790931805 3857920479 978905149 664042937 3169512050 2471804218 2524819503 3005000481 291850072 3623943272 827645723 3197508845 255 362436" option to reproduce the execution
0.00/0.02	c #vars 179
0.00/0.02	c #constraints 90
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      119      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      157 |      100 |      119      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      376 |      250 |      131      0 |        0 |        0
0.00/0.08	c  0.1s |       3 |      684 |      475 |      145      2 |        0 |        0
0.09/0.13	c  0.1s |       4 |     1106 |      813 |      160      5 |        0 |        0
0.18/0.21	c  0.2s |       5 |     1825 |     1320 |      176      9 |        0 |        0
0.29/0.34	c  0.3s |       6 |     2780 |     2081 |      214     15 |        0 |        0
0.49/0.52	c  0.5s |       7 |     4281 |     3223 |      236     23 |        0 |        0
0.78/0.81	c  0.8s |       8 |     6596 |     4936 |      260     33 |        0 |        0
1.19/1.21	c  1.2s |       9 |     9551 |     7506 |      286     49 |        0 |        0
1.58/1.69	c  1.7s |      10 |    14353 |    11361 |      315     70 |        0 |        0
2.38/2.42	c  2.4s |      11 |    21365 |    17144 |      347    100 |        0 |        0
3.48/3.51	c  3.5s |      12 |    32332 |    25819 |      382    142 |        0 |        0
5.08/5.17	c  5.1s |      13 |    49007 |    38832 |      421    202 |        0 |        0
7.08/7.17	c  7.1s |      13 |    68177 |    54132 |      421    267 |        0 |        0
7.69/7.72	c  7.7s |      14 |    73820 |    58352 |      464    284 |        0 |        0
9.68/9.73	c  9.7s |      14 |    95332 |    74152 |      464    346 |        0 |        0
11.38/11.44	c 11.4s |      15 |   113219 |    87632 |      511    399 |        0 |        0
13.38/13.45	c 13.4s |      15 |   134156 |   104432 |      511    460 |        0 |        0
15.38/15.46	c 15.4s |      15 |   154605 |   120332 |      511    517 |        0 |        0
16.77/16.83	c 16.8s |      16 |   168761 |   131552 |      563    557 |        0 |        0
18.78/18.84	c 18.8s |      16 |   185968 |   146452 |      563    605 |        0 |        0
20.77/20.85	c 20.8s |      16 |   203106 |   161252 |      563    653 |        0 |        0
22.77/22.85	c 22.8s |      16 |   221445 |   176452 |      563    702 |        0 |        0
24.78/24.86	c 24.8s |      16 |   241240 |   192352 |      563    753 |        0 |        0
25.48/25.52	c 25.5s |      17 |   247483 |   197432 |      620    769 |        0 |        0
27.48/27.52	c 27.5s |      17 |   264335 |   212332 |      620    811 |        0 |        0
29.48/29.53	c 29.5s |      17 |   281943 |   227332 |      620    855 |        0 |        0
31.48/31.54	c 31.5s |      17 |   299447 |   241832 |      620    899 |        0 |        0
33.48/33.54	c 33.5s |      17 |   316042 |   256032 |      620    941 |        0 |        0
35.47/35.55	c 35.5s |      17 |   332304 |   269932 |      620    981 |        0 |        0
37.48/37.56	c 37.5s |      17 |   348661 |   283932 |      620   1023 |        0 |        0
39.27/39.33	c 39.3s |      18 |   363592 |   296252 |      682   1059 |        0 |        0
41.27/41.33	c 41.3s |      18 |   380059 |   310052 |      682   1096 |        0 |        0
43.27/43.33	c 43.3s |      18 |   396947 |   324152 |      682   1134 |        0 |        0
45.27/45.35	c 45.3s |      18 |   413290 |   338052 |      682   1172 |        0 |        0
47.28/47.35	c 47.3s |      18 |   429658 |   352052 |      682   1211 |        0 |        0
49.27/49.36	c 49.3s |      18 |   445875 |   365952 |      682   1249 |        0 |        0
51.27/51.37	c 51.3s |      18 |   461281 |   379352 |      682   1285 |        0 |        0
53.27/53.38	c 53.4s |      18 |   477282 |   393052 |      682   1323 |        0 |        0
55.27/55.39	c 55.4s |      18 |   493088 |   406652 |      682   1360 |        0 |        0
57.37/57.40	c 57.4s |      18 |   508339 |   419952 |      682   1397 |        0 |        0
59.37/59.41	c 59.4s |      18 |   523891 |   433152 |      682   1434 |        0 |        0
60.97/61.04	c 61.0s |      19 |   537346 |   444482 |      751   1464 |        0 |        0
62.97/63.05	c 63.0s |      19 |   552857 |   457882 |      751   1497 |        0 |        0
64.97/65.06	c 65.0s |      19 |   569005 |   471682 |      751   1531 |        0 |        0
66.97/67.07	c 67.0s |      19 |   584472 |   485282 |      751   1565 |        0 |        0
68.97/69.07	c 69.0s |      19 |   600703 |   498982 |      751   1600 |        0 |        0
70.97/71.07	c 71.1s |      19 |   616573 |   512382 |      751   1633 |        0 |        0
72.96/73.08	c 73.1s |      19 |   631726 |   525582 |      751   1666 |        0 |        0
74.96/75.08	c 75.1s |      19 |   647563 |   539082 |      751   1700 |        0 |        0
76.98/77.08	c 77.1s |      19 |   664554 |   552782 |      751   1734 |        0 |        0
78.97/79.09	c 79.1s |      19 |   680605 |   566282 |      751   1767 |        0 |        0
80.97/81.09	c 81.1s |      19 |   697324 |   579982 |      751   1801 |        0 |        0
83.07/83.10	c 83.1s |      19 |   714272 |   593782 |      751   1835 |        0 |        0
85.07/85.11	c 85.1s |      19 |   730642 |   607582 |      751   1870 |        0 |        0
87.07/87.13	c 87.1s |      19 |   746955 |   621282 |      751   1904 |        0 |        0
89.07/89.13	c 89.1s |      19 |   763062 |   634882 |      751   1937 |        0 |        0
91.07/91.14	c 91.1s |      19 |   778384 |   647982 |      751   1970 |        0 |        0
93.07/93.15	c 93.1s |      19 |   793441 |   661082 |      751   2002 |        0 |        0
93.97/94.06	c 94.0s |      20 |   800223 |   666827 |      827   2016 |        0 |        0
95.97/96.08	c 96.1s |      20 |   814739 |   679327 |      827   2044 |        0 |        0
97.97/98.08	c 98.1s |      20 |   831510 |   692827 |      827   2075 |        0 |        0
99.96/100.09	c  100s |      20 |   847617 |   706227 |      827   2105 |        0 |        0
102.06/102.10	c  102s |      20 |   862448 |   718827 |      827   2134 |        0 |        0
104.06/104.11	c  104s |      20 |   877491 |   731527 |      827   2163 |        0 |        0
106.06/106.11	c  106s |      20 |   891474 |   743727 |      827   2191 |        0 |        0
108.06/108.12	c  108s |      20 |   905425 |   755827 |      827   2219 |        0 |        0
110.07/110.13	c  110s |      20 |   919605 |   768127 |      827   2247 |        0 |        0
112.06/112.15	c  112s |      20 |   934514 |   781027 |      827   2276 |        0 |        0
114.06/114.15	c  114s |      20 |   949448 |   793727 |      827   2305 |        0 |        0
116.06/116.15	c  116s |      20 |   965245 |   806827 |      827   2335 |        0 |        0
118.06/118.15	c  118s |      20 |   982373 |   820427 |      827   2367 |        0 |        0
120.06/120.16	c  120s |      20 |   998808 |   833727 |      827   2397 |        0 |        0
122.07/122.16	c  122s |      20 |  1014144 |   846927 |      827   2428 |        0 |        0
124.06/124.17	c  124s |      20 |  1029303 |   859927 |      827   2458 |        0 |        0
126.06/126.17	c  126s |      20 |  1045146 |   873227 |      827   2488 |        0 |        0
128.05/128.18	c  128s |      20 |  1059780 |   886027 |      827   2518 |        0 |        0
130.06/130.19	c  130s |      20 |  1075014 |   898927 |      827   2548 |        0 |        0
132.16/132.20	c  132s |      20 |  1090311 |   911627 |      827   2577 |        0 |        0
134.17/134.21	c  134s |      20 |  1105289 |   924327 |      827   2606 |        0 |        0
136.16/136.22	c  136s |      20 |  1120788 |   937427 |      827   2636 |        0 |        0
138.16/138.23	c  138s |      20 |  1136292 |   950427 |      827   2666 |        0 |        0
140.16/140.24	c  140s |      20 |  1152844 |   964127 |      827   2698 |        0 |        0
142.16/142.25	c  142s |      20 |  1170273 |   977827 |      827   2729 |        0 |        0
144.17/144.25	c  144s |      20 |  1187309 |   991527 |      827   2761 |        0 |        0
145.56/145.65	c  145s |      21 |  1197481 |  1000345 |      910   2780 |        0 |        0
147.56/147.65	c  147s |      21 |  1212971 |  1013245 |      910   2806 |        0 |        0
149.56/149.66	c  149s |      21 |  1229288 |  1026845 |      910   2835 |        0 |        0
151.56/151.67	c  151s |      21 |  1245869 |  1040445 |      910   2863 |        0 |        0
153.55/153.67	c  153s |      21 |  1261722 |  1053645 |      910   2891 |        0 |        0
155.55/155.68	c  155s |      21 |  1277709 |  1067045 |      910   2919 |        0 |        0
157.55/157.69	c  157s |      21 |  1293592 |  1080145 |      910   2946 |        0 |        0
159.56/159.69	c  159s |      21 |  1306426 |  1091545 |      910   2969 |        0 |        0
161.55/161.70	c  161s |      21 |  1320726 |  1103845 |      910   2995 |        0 |        0
163.65/163.70	c  163s |      21 |  1336044 |  1116945 |      910   3022 |        0 |        0
165.65/165.72	c  165s |      21 |  1350251 |  1129245 |      910   3048 |        0 |        0
167.65/167.73	c  167s |      21 |  1365358 |  1141945 |      910   3074 |        0 |        0
169.65/169.73	c  169s |      21 |  1380423 |  1154845 |      910   3102 |        0 |        0
171.66/171.74	c  171s |      21 |  1395921 |  1167945 |      910   3129 |        0 |        0
173.65/173.75	c  173s |      21 |  1411379 |  1181145 |      910   3157 |        0 |        0
175.65/175.76	c  175s |      21 |  1426591 |  1194245 |      910   3184 |        0 |        0
177.65/177.77	c  177s |      21 |  1441501 |  1207245 |      910   3211 |        0 |        0
179.65/179.77	c  179s |      21 |  1456414 |  1220245 |      910   3238 |        0 |        0
181.65/181.78	c  181s |      21 |  1471986 |  1233545 |      910   3266 |        0 |        0
183.65/183.79	c  183s |      21 |  1487368 |  1246645 |      910   3293 |        0 |        0
185.65/185.79	c  185s |      21 |  1503124 |  1260145 |      910   3321 |        0 |        0
187.75/187.80	c  187s |      21 |  1518444 |  1273345 |      910   3349 |        0 |        0
189.75/189.80	c  189s |      21 |  1534033 |  1286745 |      910   3377 |        0 |        0
191.75/191.82	c  191s |      21 |  1550892 |  1300545 |      910   3406 |        0 |        0
193.75/193.82	c  193s |      21 |  1566303 |  1313745 |      910   3434 |        0 |        0
195.76/195.82	c  195s |      21 |  1581597 |  1327045 |      910   3462 |        0 |        0
197.75/197.83	c  197s |      21 |  1597053 |  1340345 |      910   3490 |        0 |        0
199.75/199.84	c  199s |      21 |  1611633 |  1353145 |      910   3516 |        0 |        0
201.75/201.84	c  201s |      21 |  1626308 |  1365845 |      910   3543 |        0 |        0
203.75/203.84	c  203s |      21 |  1642394 |  1379245 |      910   3571 |        0 |        0
205.75/205.85	c  205s |      21 |  1658114 |  1392445 |      910   3598 |        0 |        0
207.75/207.86	c  207s |      21 |  1672320 |  1405145 |      910   3625 |        0 |        0
209.75/209.87	c  209s |      21 |  1686747 |  1417745 |      910   3651 |        0 |        0
211.75/211.87	c  211s |      21 |  1701004 |  1430145 |      910   3677 |        0 |        0
213.75/213.88	c  213s |      21 |  1715398 |  1442845 |      910   3704 |        0 |        0
215.75/215.89	c  215s |      21 |  1729914 |  1455645 |      910   3730 |        0 |        0
217.85/217.91	c  217s |      21 |  1744416 |  1468245 |      910   3757 |        0 |        0
219.84/219.92	c  219s |      21 |  1758295 |  1480545 |      910   3783 |        0 |        0
221.84/221.92	c  221s |      21 |  1772535 |  1492845 |     1002   3808 |        0 |        0
223.04/223.17	c  223s |      22 |  1781663 |  1500622 |     1002   3822 |        0 |        0
225.04/225.17	c  225s |      22 |  1797312 |  1513622 |     1002   3847 |        0 |        0
227.04/227.18	c  227s |      22 |  1813473 |  1526922 |     1002   3873 |        0 |        0
229.03/229.18	c  229s |      22 |  1827860 |  1539122 |     1002   3896 |        0 |        0
231.04/231.18	c  231s |      22 |  1841659 |  1550922 |     1002   3918 |        0 |        0
233.03/233.19	c  233s |      22 |  1855558 |  1562922 |     1002   3941 |        0 |        0
235.13/235.20	c  235s |      22 |  1870337 |  1575722 |     1002   3966 |        0 |        0
237.13/237.21	c  237s |      22 |  1884452 |  1588122 |     1002   3989 |        0 |        0
239.13/239.22	c  239s |      22 |  1899751 |  1601122 |     1002   4014 |        0 |        0
241.13/241.22	c  241s |      22 |  1914267 |  1613622 |     1002   4038 |        0 |        0
243.13/243.23	c  243s |      22 |  1929431 |  1626222 |     1002   4062 |        0 |        0
245.12/245.23	c  245s |      22 |  1946085 |  1639722 |     1002   4087 |        0 |        0
247.12/247.24	c  247s |      22 |  1963544 |  1653422 |     1002   4114 |        0 |        0
249.12/249.24	c  249s |      22 |  1980853 |  1667222 |     1002   4140 |        0 |        0
251.12/251.25	c  251s |      22 |  1996306 |  1679922 |     1002   4164 |        0 |        0
253.12/253.25	c  253s |      22 |  2012206 |  1692922 |     1002   4189 |        0 |        0
255.13/255.25	c  255s |      22 |  2026836 |  1705322 |     1002   4213 |        0 |        0
257.12/257.27	c  257s |      22 |  2041436 |  1717822 |     1002   4237 |        0 |        0
259.12/259.27	c  259s |      22 |  2057597 |  1730822 |     1002   4262 |        0 |        0
261.12/261.29	c  261s |      22 |  2072676 |  1743522 |     1002   4286 |        0 |        0
263.22/263.30	c  263s |      22 |  2087400 |  1755922 |     1002   4310 |        0 |        0
265.22/265.31	c  265s |      22 |  2101995 |  1768422 |     1002   4334 |        0 |        0
267.22/267.31	c  267s |      22 |  2117282 |  1781122 |     1002   4358 |        0 |        0
269.21/269.32	c  269s |      22 |  2132658 |  1793822 |     1002   4383 |        0 |        0
271.21/271.33	c  271s |      22 |  2147389 |  1806222 |     1002   4406 |        0 |        0
273.21/273.34	c  273s |      22 |  2162639 |  1818822 |     1002   4431 |        0 |        0
275.21/275.35	c  275s |      22 |  2178138 |  1831422 |     1002   4455 |        0 |        0
277.22/277.36	c  277s |      22 |  2192844 |  1843822 |     1002   4479 |        0 |        0
279.22/279.36	c  279s |      22 |  2207730 |  1856222 |     1002   4502 |        0 |        0
281.21/281.36	c  281s |      22 |  2222106 |  1868522 |     1002   4526 |        0 |        0
283.21/283.38	c  283s |      22 |  2237787 |  1881522 |     1002   4551 |        0 |        0
285.21/285.39	c  285s |      22 |  2253613 |  1894422 |     1002   4576 |        0 |        0
287.31/287.40	c  287s |      22 |  2267766 |  1906522 |     1002   4599 |        0 |        0
289.31/289.41	c  289s |      22 |  2282857 |  1919222 |     1002   4623 |        0 |        0
291.30/291.43	c  291s |      22 |  2298486 |  1932322 |     1002   4648 |        0 |        0
293.30/293.44	c  293s |      22 |  2315161 |  1945922 |     1002   4674 |        0 |        0
295.30/295.44	c  295s |      22 |  2331071 |  1959222 |     1002   4699 |        0 |        0
297.30/297.45	c  297s |      22 |  2345784 |  1971822 |     1002   4723 |        0 |        0
299.30/299.45	c  299s |      22 |  2360981 |  1984722 |     1002   4748 |        0 |        0
301.31/301.47	c  301s |      22 |  2376660 |  1997922 |     1002   4773 |        0 |        0
303.30/303.48	c  303s |      22 |  2391724 |  2010522 |     1002   4797 |        0 |        0
305.30/305.48	c  305s |      22 |  2406895 |  2023222 |     1002   4822 |        0 |        0
307.30/307.49	c  307s |      22 |  2422072 |  2036022 |     1002   4846 |        0 |        0
309.40/309.50	c  309s |      22 |  2437094 |  2048622 |     1002   4870 |        0 |        0
311.40/311.51	c  311s |      22 |  2453039 |  2061822 |     1002   4895 |        0 |        0
313.40/313.51	c  313s |      22 |  2469292 |  2075122 |     1002   4921 |        0 |        0
315.40/315.52	c  315s |      22 |  2485587 |  2088422 |     1002   4946 |        0 |        0
317.40/317.54	c  317s |      22 |  2501853 |  2101622 |     1002   4972 |        0 |        0
319.39/319.54	c  319s |      22 |  2517024 |  2114322 |     1002   4996 |        0 |        0
321.39/321.54	c  321s |      22 |  2532504 |  2127222 |     1002   5021 |        0 |        0
323.40/323.55	c  323s |      22 |  2548149 |  2140022 |     1002   5046 |        0 |        0
325.39/325.56	c  325s |      22 |  2563091 |  2152622 |     1002   5070 |        0 |        0
327.39/327.56	c  327s |      22 |  2579121 |  2165822 |     1002   5095 |        0 |        0
329.39/329.56	c  329s |      22 |  2595874 |  2179322 |     1002   5121 |        0 |        0
331.39/331.57	c  331s |      22 |  2612503 |  2192722 |     1002   5147 |        0 |        0
333.39/333.57	c  333s |      22 |  2627159 |  2205222 |     1002   5171 |        0 |        0
335.39/335.58	c  335s |      22 |  2642528 |  2217922 |     1002   5195 |        0 |        0
337.39/337.58	c  337s |      22 |  2657860 |  2230722 |     1002   5219 |        0 |        0
339.38/339.59	c  339s |      22 |  2670835 |  2242222 |     1103   5240 |        0 |        0
340.90/341.04	c  341s |      23 |  2681499 |  2251038 |     1103   5255 |        0 |        0
342.89/343.06	c  343s |      23 |  2696614 |  2264038 |     1103   5277 |        0 |        0
344.89/345.06	c  345s |      23 |  2713198 |  2277338 |     1103   5300 |        0 |        0
346.89/347.06	c  347s |      23 |  2730210 |  2290438 |     1103   5323 |        0 |        0
348.88/349.07	c  349s |      23 |  2747225 |  2303838 |     1103   5346 |        0 |        0
350.89/351.08	c  351s |      23 |  2764566 |  2317538 |     1103   5370 |        0 |        0
352.88/353.08	c  353s |      23 |  2781139 |  2330638 |     1103   5392 |        0 |        0
354.88/355.09	c  355s |      23 |  2798191 |  2343938 |     1103   5415 |        0 |        0
356.88/357.09	c  357s |      23 |  2815324 |  2357438 |     1103   5439 |        0 |        0
358.98/359.11	c  359s |      23 |  2831416 |  2370638 |     1103   5462 |        0 |        0
360.98/361.12	c  361s |      23 |  2848155 |  2383838 |     1103   5485 |        0 |        0
362.98/363.12	c  363s |      23 |  2865009 |  2397338 |     1103   5509 |        0 |        0
364.98/365.14	c  365s |      23 |  2879775 |  2409938 |     1103   5530 |        0 |        0
366.98/367.15	c  367s |      23 |  2895639 |  2423138 |     1103   5553 |        0 |        0
368.97/369.15	c  369s |      23 |  2910182 |  2435638 |     1103   5575 |        0 |        0
370.97/371.16	c  371s |      23 |  2923717 |  2447638 |     1103   5596 |        0 |        0
372.97/373.17	c  373s |      23 |  2938079 |  2460038 |     1103   5617 |        0 |        0
374.98/375.18	c  375s |      23 |  2953214 |  2472738 |     1103   5640 |        0 |        0
376.97/377.19	c  377s |      23 |  2967341 |  2485038 |     1103   5661 |        0 |        0
378.97/379.19	c  379s |      23 |  2984327 |  2498338 |     1103   5684 |        0 |        0
381.07/381.20	c  381s |      23 |  2997504 |  2509938 |     1103   5704 |        0 |        0
383.07/383.22	c  383s |      23 |  3010496 |  2521438 |     1103   5724 |        0 |        0
385.07/385.24	c  385s |      23 |  3022773 |  2532638 |     1103   5744 |        0 |        0
387.08/387.25	c  387s |      23 |  3036047 |  2544138 |     1103   5764 |        0 |        0
389.07/389.26	c  389s |      23 |  3049569 |  2555838 |     1103   5784 |        0 |        0
391.07/391.26	c  391s |      23 |  3063695 |  2568038 |     1103   5805 |        0 |        0
393.07/393.26	c  393s |      23 |  3077044 |  2579938 |     1103   5826 |        0 |        0
395.07/395.27	c  395s |      23 |  3092945 |  2593138 |     1103   5849 |        0 |        0
397.07/397.28	c  397s |      23 |  3108939 |  2606238 |     1103   5871 |        0 |        0
399.06/399.28	c  399s |      23 |  3125775 |  2619538 |     1103   5894 |        0 |        0
401.06/401.29	c  401s |      23 |  3141324 |  2632338 |     1103   5916 |        0 |        0
403.16/403.30	c  403s |      23 |  3155043 |  2644238 |     1103   5936 |        0 |        0
405.16/405.32	c  405s |      23 |  3168898 |  2656138 |     1103   5957 |        0 |        0
407.16/407.32	c  407s |      23 |  3182706 |  2668038 |     1103   5977 |        0 |        0
409.16/409.32	c  409s |      23 |  3198149 |  2680538 |     1103   5999 |        0 |        0
411.16/411.33	c  411s |      23 |  3213730 |  2693138 |     1103   6021 |        0 |        0
413.16/413.33	c  413s |      23 |  3227815 |  2705038 |     1103   6041 |        0 |        0
415.15/415.34	c  415s |      23 |  3242314 |  2717338 |     1103   6062 |        0 |        0
417.15/417.35	c  417s |      23 |  3256564 |  2729538 |     1103   6084 |        0 |        0
419.15/419.35	c  419s |      23 |  3271896 |  2742238 |     1103   6106 |        0 |        0
421.15/421.37	c  421s |      23 |  3287076 |  2754738 |     1103   6127 |        0 |        0
423.15/423.38	c  423s |      23 |  3302331 |  2766938 |     1103   6149 |        0 |        0
425.15/425.39	c  425s |      23 |  3318354 |  2779738 |     1103   6171 |        0 |        0
427.15/427.39	c  427s |      23 |  3334237 |  2792938 |     1103   6194 |        0 |        0
429.24/429.40	c  429s |      23 |  3351302 |  2806538 |     1103   6218 |        0 |        0
431.24/431.41	c  431s |      23 |  3368560 |  2820238 |     1103   6242 |        0 |        0
433.25/433.42	c  433s |      23 |  3385744 |  2833938 |     1103   6266 |        0 |        0
435.24/435.42	c  435s |      23 |  3402981 |  2847438 |     1103   6289 |        0 |        0
437.25/437.43	c  437s |      23 |  3418507 |  2860438 |     1103   6312 |        0 |        0
439.25/439.44	c  439s |      23 |  3432554 |  2872738 |     1103   6333 |        0 |        0
441.25/441.45	c  441s |      23 |  3446013 |  2884338 |     1103   6353 |        0 |        0
443.25/443.45	c  443s |      23 |  3459677 |  2896138 |     1103   6374 |        0 |        0
445.25/445.46	c  445s |      23 |  3472986 |  2907638 |     1103   6394 |        0 |        0
447.25/447.47	c  447s |      23 |  3486045 |  2918938 |     1103   6413 |        0 |        0
449.24/449.48	c  449s |      23 |  3500411 |  2930938 |     1103   6434 |        0 |        0
451.24/451.49	c  451s |      23 |  3514426 |  2942938 |     1103   6455 |        0 |        0
453.34/453.50	c  453s |      23 |  3527847 |  2954438 |     1103   6475 |        0 |        0
455.35/455.51	c  455s |      23 |  3543584 |  2967138 |     1103   6497 |        0 |        0
457.34/457.52	c  457s |      23 |  3558701 |  2979638 |     1103   6519 |        0 |        0
459.33/459.52	c  459s |      23 |  3573598 |  2992038 |     1103   6541 |        0 |        0
461.33/461.52	c  461s |      23 |  3587356 |  3003838 |     1103   6561 |        0 |        0
463.33/463.53	c  463s |      23 |  3601418 |  3015938 |     1103   6583 |        0 |        0
465.33/465.54	c  465s |      23 |  3615830 |  3028338 |     1103   6604 |        0 |        0
467.34/467.55	c  467s |      23 |  3630272 |  3040738 |     1103   6626 |        0 |        0
469.32/469.55	c  469s |      23 |  3645664 |  3053438 |     1103   6648 |        0 |        0
471.32/471.57	c  471s |      23 |  3662584 |  3067438 |     1103   6672 |        0 |        0
473.33/473.57	c  473s |      23 |  3678873 |  3080938 |     1103   6696 |        0 |        0
475.33/475.59	c  475s |      23 |  3697752 |  3095538 |     1103   6722 |        0 |        0
477.34/477.59	c  477s |      23 |  3716389 |  3110038 |     1103   6747 |        0 |        0
479.33/479.60	c  479s |      23 |  3734182 |  3123938 |     1103   6771 |        0 |        0
481.43/481.60	c  481s |      23 |  3752455 |  3138338 |     1103   6797 |        0 |        0
483.43/483.62	c  483s |      23 |  3769434 |  3152038 |     1103   6821 |        0 |        0
485.43/485.63	c  485s |      23 |  3786976 |  3166138 |     1103   6845 |        0 |        0
487.42/487.63	c  487s |      23 |  3803706 |  3179638 |     1103   6869 |        0 |        0
489.43/489.63	c  489s |      23 |  3820249 |  3192938 |     1103   6892 |        0 |        0
491.42/491.63	c  491s |      23 |  3837798 |  3207038 |     1103   6917 |        0 |        0
493.42/493.64	c  493s |      23 |  3855116 |  3220738 |     1103   6941 |        0 |        0
495.42/495.65	c  495s |      23 |  3871520 |  3233838 |     1103   6964 |        0 |        0
497.42/497.65	c  497s |      23 |  3887787 |  3246838 |     1103   6987 |        0 |        0
499.42/499.66	c  499s |      23 |  3903771 |  3259838 |     1103   7010 |        0 |        0
501.42/501.67	c  501s |      23 |  3917746 |  3272138 |     1103   7031 |        0 |        0
503.42/503.67	c  503s |      23 |  3932805 |  3285038 |     1103   7053 |        0 |        0
505.42/505.68	c  505s |      23 |  3949227 |  3298238 |     1103   7076 |        0 |        0
507.42/507.69	c  507s |      23 |  3964748 |  3311038 |     1103   7098 |        0 |        0
509.51/509.70	c  509s |      23 |  3980533 |  3323838 |     1103   7121 |        0 |        0
511.51/511.71	c  511s |      23 |  3997067 |  3336938 |     1103   7144 |        0 |        0
513.52/513.72	c  513s |      23 |  4012697 |  3350238 |     1103   7167 |        0 |        0
515.51/515.73	c  515s |      23 |  4029463 |  3363438 |     1214   7188 |        0 |        0
517.51/517.74	c  517s |      23 |  4045733 |  3376438 |     1214   7209 |        0 |        0
517.51/517.78	c  517s |      24 |  4045986 |  3376662 |     1214   7209 |        0 |        0
519.51/519.78	c  519s |      24 |  4061453 |  3389362 |     1214   7230 |        0 |        0
521.60/521.80	c  521s |      24 |  4075784 |  3401662 |     1214   7249 |        0 |        0
523.60/523.81	c  523s |      24 |  4090009 |  3413562 |     1214   7268 |        0 |        0
525.61/525.82	c  525s |      24 |  4103260 |  3425062 |     1214   7286 |        0 |        0
527.60/527.84	c  527s |      24 |  4116382 |  3436362 |     1214   7304 |        0 |        0
529.61/529.84	c  529s |      24 |  4129278 |  3447562 |     1214   7322 |        0 |        0
531.61/531.85	c  531s |      24 |  4144646 |  3460262 |     1214   7342 |        0 |        0
533.61/533.87	c  533s |      24 |  4159727 |  3472762 |     1214   7362 |        0 |        0
535.62/535.88	c  535s |      24 |  4173336 |  3484362 |     1214   7380 |        0 |        0
537.61/537.89	c  537s |      24 |  4186963 |  3496262 |     1214   7399 |        0 |        0
539.61/539.89	c  539s |      24 |  4200959 |  3508462 |     1214   7419 |        0 |        0
541.71/541.91	c  541s |      24 |  4215819 |  3520862 |     1214   7439 |        0 |        0
543.71/543.91	c  543s |      24 |  4232024 |  3533862 |     1214   7459 |        0 |        0
545.70/545.91	c  545s |      24 |  4246459 |  3546062 |     1214   7479 |        0 |        0
547.70/547.93	c  547s |      24 |  4260049 |  3557962 |     1214   7498 |        0 |        0
549.70/549.93	c  549s |      24 |  4274405 |  3570162 |     1214   7517 |        0 |        0
551.70/551.95	c  551s |      24 |  4289308 |  3582662 |     1214   7537 |        0 |        0
553.70/553.95	c  553s |      24 |  4304963 |  3595462 |     1214   7557 |        0 |        0
555.70/555.97	c  555s |      24 |  4319922 |  3608062 |     1214   7577 |        0 |        0
557.69/557.98	c  557s |      24 |  4333601 |  3620162 |     1214   7596 |        0 |        0
559.70/559.99	c  559s |      24 |  4346947 |  3631862 |     1214   7615 |        0 |        0
561.69/561.99	c  561s |      24 |  4360756 |  3643862 |     1214   7634 |        0 |        0
563.79/564.00	c  563s |      24 |  4375844 |  3656562 |     1214   7654 |        0 |        0
565.79/566.01	c  565s |      24 |  4389831 |  3668662 |     1214   7673 |        0 |        0
567.78/568.01	c  567s |      24 |  4404999 |  3681462 |     1214   7694 |        0 |        0
569.78/570.02	c  570s |      24 |  4418763 |  3693662 |     1214   7714 |        0 |        0
571.79/572.03	c  572s |      24 |  4432559 |  3705762 |     1214   7733 |        0 |        0
573.78/574.03	c  574s |      24 |  4445822 |  3717562 |     1214   7752 |        0 |        0
575.78/576.05	c  576s |      24 |  4460323 |  3730162 |     1214   7772 |        0 |        0
577.78/578.05	c  578s |      24 |  4474883 |  3742662 |     1214   7792 |        0 |        0
579.78/580.06	c  580s |      24 |  4487986 |  3754262 |     1214   7810 |        0 |        0
581.79/582.07	c  582s |      24 |  4502337 |  3766462 |     1214   7830 |        0 |        0
583.78/584.08	c  584s |      24 |  4515292 |  3777762 |     1214   7847 |        0 |        0
585.88/586.10	c  586s |      24 |  4528208 |  3788962 |     1214   7865 |        0 |        0
587.88/588.11	c  588s |      24 |  4542674 |  3801162 |     1214   7885 |        0 |        0
589.88/590.12	c  590s |      24 |  4557237 |  3813562 |     1214   7904 |        0 |        0
591.88/592.13	c  592s |      24 |  4571886 |  3826062 |     1214   7924 |        0 |        0
593.88/594.13	c  594s |      24 |  4588073 |  3838962 |     1214   7945 |        0 |        0
595.87/596.14	c  596s |      24 |  4603971 |  3851962 |     1214   7965 |        0 |        0
597.87/598.14	c  598s |      24 |  4618386 |  3864262 |     1214   7985 |        0 |        0
599.88/600.15	c  600s |      24 |  4631918 |  3876062 |     1214   8003 |        0 |        0
601.88/602.16	c  602s |      24 |  4646013 |  3888062 |     1214   8023 |        0 |        0
603.88/604.16	c  604s |      24 |  4660302 |  3900262 |     1214   8042 |        0 |        0
605.88/606.18	c  606s |      24 |  4675256 |  3912862 |     1214   8062 |        0 |        0
607.87/608.18	c  608s |      24 |  4690149 |  3925262 |     1214   8082 |        0 |        0
609.87/610.19	c  610s |      24 |  4704679 |  3937562 |     1214   8101 |        0 |        0
611.87/612.19	c  612s |      24 |  4719338 |  3949962 |     1214   8121 |        0 |        0
613.97/614.20	c  614s |      24 |  4733739 |  3962162 |     1214   8140 |        0 |        0
615.97/616.21	c  616s |      24 |  4748357 |  3974362 |     1214   8160 |        0 |        0
617.97/618.21	c  618s |      24 |  4763029 |  3986762 |     1214   8180 |        0 |        0
619.96/620.22	c  620s |      24 |  4777420 |  3998962 |     1214   8199 |        0 |        0
621.96/622.22	c  622s |      24 |  4790528 |  4010562 |     1214   8217 |        0 |        0
623.96/624.24	c  624s |      24 |  4805038 |  4022862 |     1214   8237 |        0 |        0
625.96/626.25	c  626s |      24 |  4820091 |  4035362 |     1214   8257 |        0 |        0
627.96/628.26	c  628s |      24 |  4834989 |  4047862 |     1214   8277 |        0 |        0
629.96/630.26	c  630s |      24 |  4849615 |  4060262 |     1214   8297 |        0 |        0
631.96/632.27	c  632s |      24 |  4864610 |  4072662 |     1214   8316 |        0 |        0
633.95/634.28	c  634s |      24 |  4880776 |  4085662 |     1214   8337 |        0 |        0
635.95/636.29	c  636s |      24 |  4896621 |  4098362 |     1214   8357 |        0 |        0
638.05/638.30	c  638s |      24 |  4911586 |  4110662 |     1214   8377 |        0 |        0
640.06/640.31	c  640s |      24 |  4926555 |  4123062 |     1214   8396 |        0 |        0
642.05/642.33	c  642s |      24 |  4940685 |  4135162 |     1214   8415 |        0 |        0
644.05/644.33	c  644s |      24 |  4955057 |  4147362 |     1214   8435 |        0 |        0
646.05/646.35	c  646s |      24 |  4968704 |  4159162 |     1214   8454 |        0 |        0
648.04/648.36	c  648s |      24 |  4982395 |  4171062 |     1214   8472 |        0 |        0
650.04/650.38	c  650s |      24 |  4995697 |  4182662 |     1214   8491 |        0 |        0
652.06/652.38	c  652s |      24 |  5008532 |  4193862 |     1214   8509 |        0 |        0
654.05/654.39	c  654s |      24 |  5022301 |  4205862 |     1214   8528 |        0 |        0
656.15/656.40	c  656s |      24 |  5036971 |  4218362 |     1214   8548 |        0 |        0
658.15/658.41	c  658s |      24 |  5050756 |  4230162 |     1214   8567 |        0 |        0
660.15/660.42	c  660s |      24 |  5063835 |  4241662 |     1214   8585 |        0 |        0
662.15/662.43	c  662s |      24 |  5077598 |  4253562 |     1214   8604 |        0 |        0
664.15/664.43	c  664s |      24 |  5091065 |  4265062 |     1214   8622 |        0 |        0
666.14/666.43	c  666s |      24 |  5106060 |  4277562 |     1214   8642 |        0 |        0
668.14/668.44	c  668s |      24 |  5121028 |  4290062 |     1214   8662 |        0 |        0
670.14/670.45	c  670s |      24 |  5135866 |  4302262 |     1214   8682 |        0 |        0
672.14/672.46	c  672s |      24 |  5149936 |  4314262 |     1214   8701 |        0 |        0
674.15/674.46	c  674s |      24 |  5163559 |  4326062 |     1214   8720 |        0 |        0
676.14/676.46	c  676s |      24 |  5179267 |  4338962 |     1214   8740 |        0 |        0
678.13/678.47	c  678s |      24 |  5193741 |  4351062 |     1214   8759 |        0 |        0
680.13/680.47	c  680s |      24 |  5208708 |  4363562 |     1214   8779 |        0 |        0
682.13/682.48	c  682s |      24 |  5224598 |  4376762 |     1214   8800 |        0 |        0
684.13/684.48	c  684s |      24 |  5240326 |  4389562 |     1214   8820 |        0 |        0
686.14/686.48	c  686s |      24 |  5256097 |  4402362 |     1214   8841 |        0 |        0
688.12/688.49	c  688s |      24 |  5272460 |  4415462 |     1214   8862 |        0 |        0
690.22/690.50	c  690s |      24 |  5288813 |  4428662 |     1214   8883 |        0 |        0
692.22/692.51	c  692s |      24 |  5305835 |  4442262 |     1214   8904 |        0 |        0
694.22/694.51	c  694s |      24 |  5321856 |  4455362 |     1214   8925 |        0 |        0
696.22/696.52	c  696s |      24 |  5337100 |  4468062 |     1214   8945 |        0 |        0
698.23/698.52	c  698s |      24 |  5352977 |  4480962 |     1214   8966 |        0 |        0
700.22/700.54	c  700s |      24 |  5369502 |  4494362 |     1214   8987 |        0 |        0
702.22/702.55	c  702s |      24 |  5385387 |  4507562 |     1214   9008 |        0 |        0
704.22/704.55	c  704s |      24 |  5399907 |  4519762 |     1214   9027 |        0 |        0
706.22/706.56	c  706s |      24 |  5414790 |  4532162 |     1214   9047 |        0 |        0
708.22/708.56	c  708s |      24 |  5429258 |  4544362 |     1214   9066 |        0 |        0
710.21/710.58	c  710s |      24 |  5443652 |  4556662 |     1214   9086 |        0 |        0
712.21/712.58	c  712s |      24 |  5458829 |  4569162 |     1214   9106 |        0 |        0
714.21/714.59	c  714s |      24 |  5475708 |  4582662 |     1214   9128 |        0 |        0
716.32/716.60	c  716s |      24 |  5491298 |  4595662 |     1214   9148 |        0 |        0
718.31/718.62	c  718s |      24 |  5507059 |  4608462 |     1214   9169 |        0 |        0
720.32/720.63	c  720s |      24 |  5521872 |  4620862 |     1214   9188 |        0 |        0
722.31/722.64	c  722s |      24 |  5536857 |  4633162 |     1214   9208 |        0 |        0
724.31/724.66	c  724s |      24 |  5552716 |  4646362 |     1214   9229 |        0 |        0
726.31/726.67	c  726s |      24 |  5568503 |  4659662 |     1214   9250 |        0 |        0
728.30/728.67	c  728s |      24 |  5584918 |  4672862 |     1214   9271 |        0 |        0
730.30/730.67	c  730s |      24 |  5600385 |  4685562 |     1214   9291 |        0 |        0
732.31/732.69	c  732s |      24 |  5616267 |  4698662 |     1214   9312 |        0 |        0
734.30/734.69	c  734s |      24 |  5631896 |  4711262 |     1214   9332 |        0 |        0
736.40/736.70	c  736s |      24 |  5645501 |  4723162 |     1214   9351 |        0 |        0
738.40/738.71	c  738s |      24 |  5659430 |  4735062 |     1214   9370 |        0 |        0
740.40/740.73	c  740s |      24 |  5673213 |  4746862 |     1214   9389 |        0 |        0
742.40/742.75	c  742s |      24 |  5688004 |  4759462 |     1214   9409 |        0 |        0
744.40/744.75	c  744s |      24 |  5703119 |  4772062 |     1214   9429 |        0 |        0
746.39/746.76	c  746s |      24 |  5719077 |  4785062 |     1214   9449 |        0 |        0
748.39/748.76	c  748s |      24 |  5735195 |  4798062 |     1214   9470 |        0 |        0
750.39/750.76	c  750s |      24 |  5752470 |  4811762 |     1214   9492 |        0 |        0
752.39/752.77	c  752s |      24 |  5769598 |  4825162 |     1214   9513 |        0 |        0
754.40/754.78	c  754s |      24 |  5786033 |  4838562 |     1214   9535 |        0 |        0
756.39/756.79	c  756s |      24 |  5801529 |  4851262 |     1214   9555 |        0 |        0
758.49/758.81	c  758s |      24 |  5816852 |  4863762 |     1214   9575 |        0 |        0
760.49/760.81	c  760s |      24 |  5832329 |  4876462 |     1214   9595 |        0 |        0
762.49/762.82	c  762s |      24 |  5847503 |  4888962 |     1214   9615 |        0 |        0
764.49/764.83	c  764s |      24 |  5863225 |  4901662 |     1214   9635 |        0 |        0
766.50/766.83	c  766s |      24 |  5878957 |  4914462 |     1214   9656 |        0 |        0
768.49/768.83	c  768s |      24 |  5894618 |  4927262 |     1214   9677 |        0 |        0
770.48/770.85	c  770s |      24 |  5909767 |  4939862 |     1214   9696 |        0 |        0
772.48/772.85	c  772s |      24 |  5925879 |  4952862 |     1214   9717 |        0 |        0
774.48/774.87	c  774s |      24 |  5942104 |  4965962 |     1214   9738 |        0 |        0
776.48/776.87	c  776s |      24 |  5957163 |  4978262 |     1214   9758 |        0 |        0
778.48/778.87	c  778s |      24 |  5972844 |  4990962 |     1214   9778 |        0 |        0
780.47/780.88	c  780s |      24 |  5988768 |  5004062 |     1214   9799 |        0 |        0
782.47/782.89	c  782s |      24 |  6005188 |  5017362 |     1214   9820 |        0 |        0
784.47/784.89	c  784s |      24 |  6019982 |  5029762 |     1336   9839 |        0 |        0
786.57/786.90	c  786s |      24 |  6035078 |  5041962 |     1336   9857 |        0 |        0
788.57/788.92	c  788s |      24 |  6049473 |  5053962 |     1336   9875 |        0 |        0
790.37/790.78	c  790s |      25 |  6062925 |  5065098 |     1336   9891 |        0 |        0
792.37/792.79	c  792s |      25 |  6079284 |  5078198 |     1336   9910 |        0 |        0
794.37/794.79	c  794s |      25 |  6095117 |  5090898 |     1336   9928 |        0 |        0
796.47/796.80	c  796s |      25 |  6110848 |  5103598 |     1336   9947 |        0 |        0
798.46/798.81	c  798s |      25 |  6126059 |  5115998 |     1336   9965 |        0 |        0
800.47/800.82	c  800s |      25 |  6142276 |  5128898 |     1336   9983 |        0 |        0
802.46/802.82	c  802s |      25 |  6158578 |  5141598 |     1336  10002 |        0 |        0
804.46/804.83	c  804s |      25 |  6173295 |  5153798 |     1336  10019 |        0 |        0
806.47/806.84	c  806s |      25 |  6188131 |  5166098 |     1336  10037 |        0 |        0
808.47/808.85	c  808s |      25 |  6203709 |  5178598 |     1336  10055 |        0 |        0
810.47/810.87	c  810s |      25 |  6219177 |  5191098 |     1336  10073 |        0 |        0
812.46/812.87	c  812s |      25 |  6233763 |  5203298 |     1336  10091 |        0 |        0
814.46/814.87	c  814s |      25 |  6247453 |  5214898 |     1336  10108 |        0 |        0
816.46/816.89	c  816s |      25 |  6262309 |  5227298 |     1336  10126 |        0 |        0
818.46/818.89	c  818s |      25 |  6277595 |  5239598 |     1336  10144 |        0 |        0
820.56/820.90	c  820s |      25 |  6292149 |  5251498 |     1336  10161 |        0 |        0
822.56/822.91	c  822s |      25 |  6308228 |  5264198 |     1336  10179 |        0 |        0
824.56/824.92	c  824s |      25 |  6322627 |  5276298 |     1336  10197 |        0 |        0
826.55/826.92	c  826s |      25 |  6337845 |  5288498 |     1336  10215 |        0 |        0
828.55/828.93	c  828s |      25 |  6353040 |  5300998 |     1336  10233 |        0 |        0
830.55/830.95	c  830s |      25 |  6367963 |  5313198 |     1336  10250 |        0 |        0
832.55/832.95	c  832s |      25 |  6383539 |  5325698 |     1336  10268 |        0 |        0
834.55/834.95	c  834s |      25 |  6399079 |  5337998 |     1336  10286 |        0 |        0
836.55/836.96	c  836s |      25 |  6414132 |  5350298 |     1336  10304 |        0 |        0
838.54/838.97	c  838s |      25 |  6429847 |  5362998 |     1336  10323 |        0 |        0
840.55/840.98	c  840s |      25 |  6444917 |  5375298 |     1336  10341 |        0 |        0
842.55/842.99	c  842s |      25 |  6461628 |  5388398 |     1336  10360 |        0 |        0
844.56/844.99	c  844s |      25 |  6477356 |  5400898 |     1336  10378 |        0 |        0
846.55/846.99	c  846s |      25 |  6493551 |  5413698 |     1336  10396 |        0 |        0
848.65/849.00	c  848s |      25 |  6508832 |  5426198 |     1336  10414 |        0 |        0
850.65/851.00	c  850s |      25 |  6523331 |  5438298 |     1336  10432 |        0 |        0
852.65/853.00	c  852s |      25 |  6537575 |  5450298 |     1336  10449 |        0 |        0
854.65/855.02	c  854s |      25 |  6552614 |  5462698 |     1336  10467 |        0 |        0
856.65/857.02	c  857s |      25 |  6566900 |  5474598 |     1336  10484 |        0 |        0
858.65/859.02	c  859s |      25 |  6581601 |  5486698 |     1336  10502 |        0 |        0
860.65/861.03	c  861s |      25 |  6596440 |  5498798 |     1336  10519 |        0 |        0
862.64/863.03	c  863s |      25 |  6610936 |  5510698 |     1336  10537 |        0 |        0
864.64/865.04	c  865s |      25 |  6624787 |  5522398 |     1336  10554 |        0 |        0
866.64/867.05	c  867s |      25 |  6640112 |  5534698 |     1336  10571 |        0 |        0
868.65/869.06	c  869s |      25 |  6656302 |  5547198 |     1336  10590 |        0 |        0
870.64/871.06	c  871s |      25 |  6672664 |  5559898 |     1336  10608 |        0 |        0
872.64/873.06	c  873s |      25 |  6687453 |  5572198 |     1336  10626 |        0 |        0
874.64/875.08	c  875s |      25 |  6702479 |  5584298 |     1336  10644 |        0 |        0
876.64/877.09	c  877s |      25 |  6719338 |  5597498 |     1336  10663 |        0 |        0
878.74/879.10	c  879s |      25 |  6735006 |  5610098 |     1336  10681 |        0 |        0
880.75/881.12	c  881s |      25 |  6751107 |  5622898 |     1336  10700 |        0 |        0
882.74/883.13	c  883s |      25 |  6766350 |  5635198 |     1336  10717 |        0 |        0
884.74/885.14	c  885s |      25 |  6782571 |  5647898 |     1336  10736 |        0 |        0
886.74/887.15	c  887s |      25 |  6798384 |  5660198 |     1336  10753 |        0 |        0
888.74/889.16	c  889s |      25 |  6813678 |  5672498 |     1336  10771 |        0 |        0
890.74/891.17	c  891s |      25 |  6829767 |  5685098 |     1336  10790 |        0 |        0
892.74/893.18	c  893s |      25 |  6845137 |  5697598 |     1336  10808 |        0 |        0
894.74/895.19	c  895s |      25 |  6859812 |  5709698 |     1336  10825 |        0 |        0
896.84/897.20	c  897s |      25 |  6874807 |  5721898 |     1336  10843 |        0 |        0
898.84/899.20	c  899s |      25 |  6890206 |  5734198 |     1336  10861 |        0 |        0
900.84/901.21	c  901s |      25 |  6905420 |  5746398 |     1336  10879 |        0 |        0
902.85/903.22	c  903s |      25 |  6921085 |  5758798 |     1336  10897 |        0 |        0
904.84/905.22	c  905s |      25 |  6936860 |  5771398 |     1336  10915 |        0 |        0
906.84/907.23	c  907s |      25 |  6952709 |  5783898 |     1336  10933 |        0 |        0
908.84/909.23	c  909s |      25 |  6967595 |  5795898 |     1336  10951 |        0 |        0
910.84/911.24	c  911s |      25 |  6981333 |  5807298 |     1336  10967 |        0 |        0
912.84/913.25	c  913s |      25 |  6995167 |  5818698 |     1336  10984 |        0 |        0
914.84/915.27	c  915s |      25 |  7011853 |  5831498 |     1336  11002 |        0 |        0
916.83/917.28	c  917s |      25 |  7027291 |  5843698 |     1336  11020 |        0 |        0
918.83/919.28	c  919s |      25 |  7044663 |  5857098 |     1336  11039 |        0 |        0
920.83/921.29	c  921s |      25 |  7061179 |  5869898 |     1336  11058 |        0 |        0
922.93/923.30	c  923s |      25 |  7076867 |  5882198 |     1336  11076 |        0 |        0
924.93/925.31	c  925s |      25 |  7092395 |  5894598 |     1336  11094 |        0 |        0
926.94/927.32	c  927s |      25 |  7109208 |  5907598 |     1336  11112 |        0 |        0
928.93/929.33	c  929s |      25 |  7125133 |  5920098 |     1336  11130 |        0 |        0
930.93/931.34	c  931s |      25 |  7140647 |  5932498 |     1336  11148 |        0 |        0
932.93/933.34	c  933s |      25 |  7157684 |  5945498 |     1336  11167 |        0 |        0
934.93/935.36	c  935s |      25 |  7173555 |  5958098 |     1336  11186 |        0 |        0
936.94/937.37	c  937s |      25 |  7188564 |  5970198 |     1336  11203 |        0 |        0
938.93/939.37	c  939s |      25 |  7204766 |  5982898 |     1336  11222 |        0 |        0
940.93/941.38	c  941s |      25 |  7221238 |  5995998 |     1336  11241 |        0 |        0
942.93/943.39	c  943s |      25 |  7236497 |  6008298 |     1336  11259 |        0 |        0
945.03/945.40	c  945s |      25 |  7250819 |  6020298 |     1336  11276 |        0 |        0
947.03/947.41	c  947s |      25 |  7266921 |  6033098 |     1336  11295 |        0 |        0
949.04/949.41	c  949s |      25 |  7282958 |  6045898 |     1336  11313 |        0 |        0
951.03/951.43	c  951s |      25 |  7297551 |  6057898 |     1336  11331 |        0 |        0
953.03/953.44	c  953s |      25 |  7312763 |  6070198 |     1336  11348 |        0 |        0
955.03/955.46	c  955s |      25 |  7326952 |  6082198 |     1336  11366 |        0 |        0
957.03/957.47	c  957s |      25 |  7341711 |  6094298 |     1336  11383 |        0 |        0
959.03/959.47	c  959s |      25 |  7358020 |  6106998 |     1336  11402 |        0 |        0
961.03/961.48	c  961s |      25 |  7373324 |  6119398 |     1336  11420 |        0 |        0
963.03/963.49	c  963s |      25 |  7388738 |  6131898 |     1336  11438 |        0 |        0
965.13/965.50	c  965s |      25 |  7404881 |  6144598 |     1336  11456 |        0 |        0
967.13/967.50	c  967s |      25 |  7420871 |  6157498 |     1336  11475 |        0 |        0
969.13/969.50	c  969s |      25 |  7435731 |  6169798 |     1336  11493 |        0 |        0
971.12/971.50	c  971s |      25 |  7451593 |  6182398 |     1336  11511 |        0 |        0
973.13/973.51	c  973s |      25 |  7467688 |  6195298 |     1336  11530 |        0 |        0
975.12/975.52	c  975s |      25 |  7482978 |  6207698 |     1336  11548 |        0 |        0
977.13/977.53	c  977s |      25 |  7498580 |  6220198 |     1336  11566 |        0 |        0
979.13/979.53	c  979s |      25 |  7513454 |  6232398 |     1336  11584 |        0 |        0
981.13/981.53	c  981s |      25 |  7529146 |  6245098 |     1336  11603 |        0 |        0
983.14/983.54	c  983s |      25 |  7546077 |  6258298 |     1336  11622 |        0 |        0
985.13/985.55	c  985s |      25 |  7561630 |  6271098 |     1336  11640 |        0 |        0
987.13/987.56	c  987s |      25 |  7577427 |  6283798 |     1336  11659 |        0 |        0
989.13/989.57	c  989s |      25 |  7592657 |  6295998 |     1336  11677 |        0 |        0
991.13/991.58	c  991s |      25 |  7609275 |  6308798 |     1336  11696 |        0 |        0
993.13/993.59	c  993s |      25 |  7624937 |  6321198 |     1336  11714 |        0 |        0
995.13/995.59	c  995s |      25 |  7640608 |  6333998 |     1336  11732 |        0 |        0
997.23/997.60	c  997s |      25 |  7655862 |  6346598 |     1336  11750 |        0 |        0
999.23/999.61	c  999s |      25 |  7672103 |  6359298 |     1336  11769 |        0 |        0
1001.22/1001.61	c 1001s |      25 |  7688921 |  6372198 |     1336  11788 |        0 |        0
1003.22/1003.62	c 1003s |      25 |  7705084 |  6385198 |     1336  11807 |        0 |        0
1005.22/1005.62	c 1005s |      25 |  7720527 |  6398098 |     1336  11825 |        0 |        0
1007.23/1007.63	c 1007s |      25 |  7733535 |  6409598 |     1336  11842 |        0 |        0
1009.22/1009.64	c 1009s |      25 |  7746748 |  6421198 |     1336  11859 |        0 |        0
1011.22/1011.66	c 1011s |      25 |  7759506 |  6432598 |     1336  11875 |        0 |        0
1013.22/1013.66	c 1013s |      25 |  7772211 |  6443898 |     1336  11892 |        0 |        0
1015.22/1015.68	c 1015s |      25 |  7785475 |  6455598 |     1336  11909 |        0 |        0
1017.23/1017.69	c 1017s |      25 |  7798559 |  6467198 |     1336  11925 |        0 |        0
1019.33/1019.71	c 1019s |      25 |  7812125 |  6478998 |     1336  11943 |        0 |        0
1021.32/1021.71	c 1021s |      25 |  7825286 |  6490498 |     1336  11959 |        0 |        0
1023.32/1023.72	c 1023s |      25 |  7838464 |  6502098 |     1336  11976 |        0 |        0
1025.32/1025.73	c 1025s |      25 |  7852151 |  6513998 |     1336  11993 |        0 |        0
1027.31/1027.74	c 1027s |      25 |  7865721 |  6525898 |     1336  12010 |        0 |        0
1029.32/1029.74	c 1029s |      25 |  7878597 |  6537298 |     1336  12027 |        0 |        0
1031.31/1031.74	c 1031s |      25 |  7891073 |  6548498 |     1336  12043 |        0 |        0
1033.31/1033.75	c 1033s |      25 |  7903602 |  6559798 |     1336  12059 |        0 |        0
1035.31/1035.75	c 1035s |      25 |  7915995 |  6570998 |     1336  12075 |        0 |        0
1037.31/1037.76	c 1037s |      25 |  7928466 |  6582198 |     1336  12091 |        0 |        0
1039.31/1039.77	c 1039s |      25 |  7940984 |  6593398 |     1336  12108 |        0 |        0
1041.32/1041.78	c 1041s |      25 |  7954334 |  6605098 |     1336  12125 |        0 |        0
1043.32/1043.79	c 1043s |      25 |  7967792 |  6616698 |     1336  12141 |        0 |        0
1045.42/1045.80	c 1045s |      25 |  7980208 |  6627798 |     1336  12158 |        0 |        0
1047.42/1047.80	c 1047s |      25 |  7994678 |  6639698 |     1336  12175 |        0 |        0
1049.42/1049.80	c 1049s |      25 |  8009656 |  6651698 |     1336  12192 |        0 |        0
1051.42/1051.80	c 1051s |      25 |  8025219 |  6664098 |     1336  12210 |        0 |        0
1053.43/1053.81	c 1053s |      25 |  8040392 |  6676598 |     1336  12228 |        0 |        0
1055.42/1055.83	c 1055s |      25 |  8055111 |  6688698 |     1336  12246 |        0 |        0
1057.42/1057.84	c 1057s |      25 |  8068663 |  6700298 |     1336  12263 |        0 |        0
1059.42/1059.86	c 1059s |      25 |  8081409 |  6711598 |     1336  12279 |        0 |        0
1061.42/1061.87	c 1061s |      25 |  8093849 |  6722698 |     1336  12295 |        0 |        0
1063.42/1063.88	c 1063s |      25 |  8108597 |  6734798 |     1336  12312 |        0 |        0
1065.42/1065.89	c 1065s |      25 |  8122547 |  6746498 |     1336  12329 |        0 |        0
1067.41/1067.89	c 1067s |      25 |  8137822 |  6758798 |     1336  12347 |        0 |        0
1069.51/1069.91	c 1069s |      25 |  8152881 |  6771098 |     1336  12365 |        0 |        0
1071.51/1071.92	c 1071s |      25 |  8168127 |  6783398 |     1336  12383 |        0 |        0
1073.51/1073.93	c 1073s |      25 |  8183500 |  6795798 |     1336  12401 |        0 |        0
1075.52/1075.93	c 1075s |      25 |  8197675 |  6807798 |     1336  12419 |        0 |        0
1077.51/1077.94	c 1077s |      25 |  8210592 |  6818998 |     1336  12435 |        0 |        0
1079.51/1079.95	c 1079s |      25 |  8223902 |  6830498 |     1336  12451 |        0 |        0
1081.51/1081.96	c 1081s |      25 |  8237200 |  6842098 |     1336  12468 |        0 |        0
1083.51/1083.97	c 1083s |      25 |  8250536 |  6853598 |     1336  12485 |        0 |        0
1085.51/1085.99	c 1085s |      25 |  8263607 |  6864598 |     1336  12501 |        0 |        0
1087.62/1088.00	c 1087s |      25 |  8277100 |  6875898 |     1336  12518 |        0 |        0
1089.61/1090.01	c 1089s |      25 |  8290483 |  6887098 |     1336  12534 |        0 |        0
1091.61/1092.02	c 1092s |      25 |  8304925 |  6898698 |     1336  12551 |        0 |        0
1093.61/1094.02	c 1094s |      25 |  8319862 |  6910698 |     1336  12568 |        0 |        0
1095.61/1096.04	c 1096s |      25 |  8333738 |  6922198 |     1336  12585 |        0 |        0
1097.61/1098.04	c 1098s |      25 |  8348798 |  6934698 |     1336  12603 |        0 |        0
1099.61/1100.05	c 1100s |      25 |  8362957 |  6946698 |     1336  12621 |        0 |        0
1101.60/1102.06	c 1102s |      25 |  8376931 |  6958498 |     1336  12638 |        0 |        0
1103.60/1104.07	c 1104s |      25 |  8392225 |  6970898 |     1336  12656 |        0 |        0
1105.60/1106.08	c 1106s |      25 |  8406594 |  6982898 |     1336  12674 |        0 |        0
1107.60/1108.09	c 1108s |      25 |  8420282 |  6994498 |     1336  12690 |        0 |        0
1109.61/1110.09	c 1110s |      25 |  8436244 |  7007198 |     1336  12709 |        0 |        0
1111.71/1112.11	c 1112s |      25 |  8452921 |  7020298 |     1336  12728 |        0 |        0
1113.70/1114.12	c 1114s |      25 |  8467358 |  7032298 |     1336  12745 |        0 |        0
1115.70/1116.12	c 1116s |      25 |  8482276 |  7044498 |     1336  12763 |        0 |        0
1117.70/1118.13	c 1118s |      25 |  8496723 |  7056398 |     1336  12780 |        0 |        0
1119.70/1120.13	c 1120s |      25 |  8511523 |  7068398 |     1336  12798 |        0 |        0
1121.71/1122.15	c 1122s |      25 |  8524959 |  7079698 |     1336  12814 |        0 |        0
1123.70/1124.16	c 1124s |      25 |  8538466 |  7090998 |     1336  12831 |        0 |        0
1125.70/1126.17	c 1126s |      25 |  8554135 |  7103498 |     1336  12849 |        0 |        0
1127.70/1128.18	c 1128s |      25 |  8568999 |  7115498 |     1336  12866 |        0 |        0
1129.70/1130.19	c 1130s |      25 |  8584158 |  7127798 |     1336  12884 |        0 |        0
1131.70/1132.20	c 1132s |      25 |  8598942 |  7139998 |     1336  12902 |        0 |        0
1133.81/1134.20	c 1134s |      25 |  8614112 |  7152398 |     1336  12920 |        0 |        0
1135.81/1136.22	c 1136s |      25 |  8628369 |  7164298 |     1336  12937 |        0 |        0
1137.81/1138.23	c 1138s |      25 |  8645207 |  7177498 |     1336  12956 |        0 |        0
1139.81/1140.25	c 1140s |      25 |  8662359 |  7190698 |     1336  12976 |        0 |        0
1141.81/1142.25	c 1142s |      25 |  8679314 |  7203898 |     1336  12995 |        0 |        0
1143.81/1144.26	c 1144s |      25 |  8695504 |  7216598 |     1336  13013 |        0 |        0
1145.81/1146.28	c 1146s |      25 |  8710805 |  7228998 |     1336  13031 |        0 |        0
1147.80/1148.29	c 1148s |      25 |  8725091 |  7240898 |     1336  13049 |        0 |        0
1149.80/1150.29	c 1150s |      25 |  8740016 |  7252798 |     1336  13066 |        0 |        0
1151.90/1152.30	c 1152s |      25 |  8755267 |  7265198 |     1336  13084 |        0 |        0
1153.90/1154.30	c 1154s |      25 |  8771048 |  7277998 |     1336  13103 |        0 |        0
1155.90/1156.31	c 1156s |      25 |  8786948 |  7290998 |     1336  13122 |        0 |        0
1157.91/1158.32	c 1158s |      25 |  8802739 |  7303598 |     1336  13140 |        0 |        0
1159.90/1160.32	c 1160s |      25 |  8818606 |  7316498 |     1336  13159 |        0 |        0
1161.90/1162.35	c 1162s |      25 |  8834177 |  7329298 |     1336  13178 |        0 |        0
1163.90/1164.35	c 1164s |      25 |  8845582 |  7339698 |     1336  13193 |        0 |        0
1165.90/1166.36	c 1166s |      25 |  8857413 |  7350398 |     1336  13208 |        0 |        0
1167.91/1168.37	c 1168s |      25 |  8868989 |  7360998 |     1336  13224 |        0 |        0
1169.90/1170.37	c 1170s |      25 |  8880992 |  7371898 |     1336  13239 |        0 |        0
1171.90/1172.38	c 1172s |      25 |  8893121 |  7382798 |     1336  13255 |        0 |        0
1173.90/1174.40	c 1174s |      25 |  8906089 |  7394198 |     1336  13272 |        0 |        0
1176.00/1176.41	c 1176s |      25 |  8918523 |  7405298 |     1336  13288 |        0 |        0
1178.00/1178.41	c 1178s |      25 |  8930477 |  7416098 |     1336  13304 |        0 |        0
1180.00/1180.42	c 1180s |      25 |  8941721 |  7426298 |     1336  13319 |        0 |        0
1182.00/1182.42	c 1182s |      25 |  8954668 |  7437598 |     1336  13335 |        0 |        0
1184.00/1184.44	c 1184s |      25 |  8968410 |  7449298 |     1336  13352 |        0 |        0
1185.99/1186.45	c 1186s |      25 |  8982863 |  7461298 |     1336  13370 |        0 |        0
1187.99/1188.45	c 1188s |      25 |  8996691 |  7473098 |     1336  13387 |        0 |        0
1189.99/1190.46	c 1190s |      25 |  9010828 |  7485198 |     1336  13404 |        0 |        0
1192.00/1192.47	c 1192s |      25 |  9025930 |  7497498 |     1336  13422 |        0 |        0
1193.99/1194.48	c 1194s |      25 |  9039860 |  7509398 |     1336  13439 |        0 |        0
1195.99/1196.49	c 1196s |      25 |  9055165 |  7521798 |     1336  13457 |        0 |        0
1198.09/1198.50	c 1198s |      25 |  9070402 |  7534098 |     1336  13475 |        0 |        0
1200.09/1200.51	c 1200s |      25 |  9084100 |  7545598 |     1470  13492 |        0 |        0
1202.09/1202.51	c 1202s |      25 |  9097574 |  7556898 |     1470  13506 |        0 |        0
1204.10/1204.53	c 1204s |      25 |  9110955 |  7568298 |     1470  13522 |        0 |        0
1206.09/1206.54	c 1206s |      25 |  9124039 |  7579398 |     1470  13536 |        0 |        0
1208.09/1208.54	c 1208s |      25 |  9136024 |  7590198 |     1470  13551 |        0 |        0
1209.39/1209.89	c 1209s |      26 |  9144973 |  7597752 |     1470  13560 |        0 |        0
1211.39/1211.89	c 1211s |      26 |  9159750 |  7609652 |     1470  13576 |        0 |        0
1213.49/1213.90	c 1213s |      26 |  9174347 |  7621552 |     1470  13592 |        0 |        0
1215.50/1215.91	c 1215s |      26 |  9189748 |  7633552 |     1470  13608 |        0 |        0
1217.50/1217.92	c 1217s |      26 |  9205289 |  7645752 |     1470  13624 |        0 |        0
1219.50/1219.94	c 1219s |      26 |  9218182 |  7656952 |     1470  13639 |        0 |        0
1221.49/1221.94	c 1221s |      26 |  9231676 |  7668552 |     1470  13654 |        0 |        0
1223.49/1223.95	c 1223s |      26 |  9245344 |  7680052 |     1470  13669 |        0 |        0
1225.49/1225.97	c 1225s |      26 |  9259359 |  7691652 |     1470  13684 |        0 |        0
1227.49/1227.97	c 1227s |      26 |  9273074 |  7703052 |     1470  13700 |        0 |        0
1229.50/1229.98	c 1229s |      26 |  9287547 |  7714952 |     1470  13715 |        0 |        0
1231.49/1231.98	c 1231s |      26 |  9302429 |  7727052 |     1470  13731 |        0 |        0
1233.49/1233.98	c 1233s |      26 |  9316252 |  7738652 |     1470  13746 |        0 |        0
1235.49/1235.98	c 1235s |      26 |  9330769 |  7750452 |     1470  13762 |        0 |        0
1237.49/1237.99	c 1237s |      26 |  9344723 |  7762152 |     1470  13778 |        0 |        0
1239.49/1239.99	c 1239s |      26 |  9358266 |  7773752 |     1470  13793 |        0 |        0
1241.49/1242.00	c 1241s |      26 |  9372272 |  7785452 |     1470  13808 |        0 |        0
1243.59/1244.01	c 1243s |      26 |  9385933 |  7796852 |     1470  13824 |        0 |        0
1245.59/1246.02	c 1246s |      26 |  9399348 |  7808352 |     1470  13839 |        0 |        0
1247.59/1248.03	c 1248s |      26 |  9412680 |  7819752 |     1470  13854 |        0 |        0
1249.59/1250.04	c 1250s |      26 |  9427312 |  7831652 |     1470  13869 |        0 |        0
1251.58/1252.05	c 1252s |      26 |  9442174 |  7843752 |     1470  13885 |        0 |        0
1253.59/1254.07	c 1254s |      26 |  9457028 |  7855652 |     1470  13901 |        0 |        0
1255.58/1256.08	c 1256s |      26 |  9471837 |  7867652 |     1470  13917 |        0 |        0
1257.58/1258.08	c 1258s |      26 |  9486377 |  7879552 |     1470  13933 |        0 |        0
1259.58/1260.09	c 1260s |      26 |  9500666 |  7891352 |     1470  13948 |        0 |        0
1261.58/1262.09	c 1262s |      26 |  9515684 |  7903252 |     1470  13964 |        0 |        0
1263.59/1264.09	c 1264s |      26 |  9530014 |  7915052 |     1470  13980 |        0 |        0
1265.69/1266.11	c 1266s |      26 |  9543864 |  7926752 |     1470  13995 |        0 |        0
1267.68/1268.13	c 1268s |      26 |  9558927 |  7938952 |     1470  14011 |        0 |        0
1269.68/1270.13	c 1270s |      26 |  9573057 |  7950752 |     1470  14027 |        0 |        0
1271.68/1272.14	c 1272s |      26 |  9587322 |  7962652 |     1470  14043 |        0 |        0
1273.68/1274.15	c 1274s |      26 |  9601590 |  7974552 |     1470  14058 |        0 |        0
1275.69/1276.16	c 1276s |      26 |  9617189 |  7986852 |     1470  14074 |        0 |        0
1277.68/1278.16	c 1278s |      26 |  9632218 |  7998952 |     1470  14090 |        0 |        0
1279.68/1280.17	c 1280s |      26 |  9646417 |  8010952 |     1470  14106 |        0 |        0
1281.68/1282.18	c 1282s |      26 |  9659945 |  8022552 |     1470  14121 |        0 |        0
1283.68/1284.19	c 1284s |      26 |  9673968 |  8034752 |     1470  14137 |        0 |        0
1285.78/1286.20	c 1286s |      26 |  9686571 |  8045952 |     1470  14152 |        0 |        0
1287.78/1288.21	c 1288s |      26 |  9699250 |  8057152 |     1470  14167 |        0 |        0
1289.78/1290.23	c 1290s |      26 |  9712575 |  8068552 |     1470  14182 |        0 |        0
1291.77/1292.23	c 1292s |      26 |  9727292 |  8080552 |     1470  14197 |        0 |        0
1293.77/1294.24	c 1294s |      26 |  9742136 |  8092952 |     1470  14214 |        0 |        0
1295.77/1296.25	c 1296s |      26 |  9757473 |  8105352 |     1470  14230 |        0 |        0
1297.77/1298.25	c 1298s |      26 |  9772144 |  8117352 |     1470  14246 |        0 |        0
1299.78/1300.26	c 1300s |      26 |  9786991 |  8129552 |     1470  14262 |        0 |        0
1301.78/1302.27	c 1302s |      26 |  9801581 |  8141752 |     1470  14278 |        0 |        0
1303.78/1304.28	c 1304s |      26 |  9816341 |  8153952 |     1470  14295 |        0 |        0
1305.78/1306.28	c 1306s |      26 |  9831229 |  8166052 |     1470  14311 |        0 |        0
1307.78/1308.29	c 1308s |      26 |  9845592 |  8177952 |     1470  14326 |        0 |        0
1309.79/1310.30	c 1310s |      26 |  9860615 |  8190152 |     1470  14343 |        0 |        0
1311.78/1312.30	c 1312s |      26 |  9875139 |  8202252 |     1470  14359 |        0 |        0
1313.88/1314.30	c 1314s |      26 |  9890055 |  8214452 |     1470  14375 |        0 |        0
1315.88/1316.30	c 1316s |      26 |  9904683 |  8226552 |     1470  14391 |        0 |        0
1317.88/1318.30	c 1318s |      26 |  9919247 |  8238452 |     1470  14407 |        0 |        0
1319.88/1320.31	c 1320s |      26 |  9932835 |  8249952 |     1470  14422 |        0 |        0
1321.88/1322.32	c 1322s |      26 |  9946768 |  8261652 |     1470  14437 |        0 |        0
1323.87/1324.33	c 1324s |      26 |  9961664 |  8273852 |     1470  14454 |        0 |        0
1325.87/1326.34	c 1326s |      26 |  9976570 |  8286052 |     1470  14470 |        0 |        0
1327.87/1328.36	c 1328s |      26 |  9990809 |  8297952 |     1470  14486 |        0 |        0
1329.87/1330.36	c 1330s |      26 | 10004895 |  8309752 |     1470  14501 |        0 |        0
1331.87/1332.37	c 1332s |      26 | 10020282 |  8322052 |     1470  14518 |        0 |        0
1333.88/1334.37	c 1334s |      26 | 10036297 |  8334752 |     1470  14534 |        0 |        0
1335.87/1336.37	c 1336s |      26 | 10050612 |  8346752 |     1470  14550 |        0 |        0
1337.87/1338.39	c 1338s |      26 | 10065527 |  8358952 |     1470  14567 |        0 |        0
1339.87/1340.40	c 1340s |      26 | 10080705 |  8371052 |     1470  14583 |        0 |        0
1341.97/1342.40	c 1342s |      26 | 10095905 |  8383252 |     1470  14599 |        0 |        0
1343.97/1344.41	c 1344s |      26 | 10111270 |  8395452 |     1470  14615 |        0 |        0
1345.98/1346.42	c 1346s |      26 | 10126709 |  8407852 |     1470  14632 |        0 |        0
1347.97/1348.43	c 1348s |      26 | 10143588 |  8420752 |     1470  14649 |        0 |        0
1349.97/1350.44	c 1350s |      26 | 10157332 |  8432452 |     1470  14664 |        0 |        0
1351.97/1352.45	c 1352s |      26 | 10170863 |  8444052 |     1470  14679 |        0 |        0
1353.97/1354.45	c 1354s |      26 | 10184924 |  8455952 |     1470  14695 |        0 |        0
1355.97/1356.46	c 1356s |      26 | 10200277 |  8468152 |     1470  14711 |        0 |        0
1357.96/1358.48	c 1358s |      26 | 10215060 |  8480252 |     1470  14727 |        0 |        0
1359.96/1360.48	c 1360s |      26 | 10228612 |  8491752 |     1470  14742 |        0 |        0
1361.96/1362.49	c 1362s |      26 | 10243494 |  8503752 |     1470  14758 |        0 |        0
1364.06/1364.51	c 1364s |      26 | 10257407 |  8515452 |     1470  14774 |        0 |        0
1366.06/1366.52	c 1366s |      26 | 10270762 |  8526852 |     1470  14789 |        0 |        0
1368.07/1368.53	c 1368s |      26 | 10284761 |  8538452 |     1470  14804 |        0 |        0
1370.07/1370.55	c 1370s |      26 | 10297279 |  8549352 |     1470  14818 |        0 |        0
1372.07/1372.55	c 1372s |      26 | 10311011 |  8560652 |     1470  14833 |        0 |        0
1374.07/1374.55	c 1374s |      26 | 10323770 |  8571652 |     1470  14848 |        0 |        0
1376.07/1376.56	c 1376s |      26 | 10336803 |  8582852 |     1470  14863 |        0 |        0
1378.07/1378.57	c 1378s |      26 | 10350362 |  8594152 |     1470  14877 |        0 |        0
1380.08/1380.59	c 1380s |      26 | 10363650 |  8605252 |     1470  14892 |        0 |        0
1382.17/1382.60	c 1382s |      26 | 10377449 |  8616752 |     1470  14907 |        0 |        0
1384.17/1384.62	c 1384s |      26 | 10389961 |  8627552 |     1470  14922 |        0 |        0
1386.17/1386.62	c 1386s |      26 | 10402706 |  8638552 |     1470  14936 |        0 |        0
1388.17/1388.64	c 1388s |      26 | 10415799 |  8649752 |     1470  14951 |        0 |        0
1390.17/1390.65	c 1390s |      26 | 10429213 |  8661152 |     1470  14966 |        0 |        0
1392.17/1392.65	c 1392s |      26 | 10444143 |  8673252 |     1470  14982 |        0 |        0
1394.17/1394.67	c 1394s |      26 | 10458369 |  8684852 |     1470  14997 |        0 |        0
1396.16/1396.68	c 1396s |      26 | 10473081 |  8696952 |     1470  15013 |        0 |        0
1398.16/1398.69	c 1398s |      26 | 10487217 |  8708852 |     1470  15029 |        0 |        0
1400.16/1400.69	c 1400s |      26 | 10503160 |  8721352 |     1470  15046 |        0 |        0
1402.17/1402.69	c 1402s |      26 | 10518049 |  8733352 |     1470  15062 |        0 |        0
1404.16/1404.70	c 1404s |      26 | 10534248 |  8745852 |     1470  15078 |        0 |        0
1406.26/1406.70	c 1406s |      26 | 10549240 |  8757952 |     1470  15094 |        0 |        0
1408.26/1408.72	c 1408s |      26 | 10564507 |  8770152 |     1470  15110 |        0 |        0
1410.26/1410.73	c 1410s |      26 | 10579926 |  8782452 |     1470  15127 |        0 |        0
1412.26/1412.73	c 1412s |      26 | 10593901 |  8793952 |     1470  15142 |        0 |        0
1414.27/1414.74	c 1414s |      26 | 10607922 |  8805352 |     1470  15157 |        0 |        0
1416.26/1416.74	c 1416s |      26 | 10622250 |  8817052 |     1470  15172 |        0 |        0
1418.26/1418.74	c 1418s |      26 | 10637209 |  8829052 |     1470  15188 |        0 |        0
1420.26/1420.75	c 1420s |      26 | 10652475 |  8841152 |     1470  15204 |        0 |        0
1422.26/1422.75	c 1422s |      26 | 10668570 |  8853452 |     1470  15221 |        0 |        0
1424.26/1424.76	c 1424s |      26 | 10683417 |  8865352 |     1470  15236 |        0 |        0
1426.26/1426.77	c 1426s |      26 | 10698340 |  8877452 |     1470  15253 |        0 |        0
1428.26/1428.79	c 1428s |      26 | 10711763 |  8888752 |     1470  15268 |        0 |        0
1430.36/1430.80	c 1430s |      26 | 10726963 |  8900952 |     1470  15284 |        0 |        0
1432.36/1432.81	c 1432s |      26 | 10742480 |  8913252 |     1470  15300 |        0 |        0
1434.36/1434.81	c 1434s |      26 | 10756573 |  8924852 |     1470  15315 |        0 |        0
1436.36/1436.82	c 1436s |      26 | 10772067 |  8937152 |     1470  15332 |        0 |        0
1438.36/1438.82	c 1438s |      26 | 10787655 |  8949752 |     1470  15349 |        0 |        0
1440.35/1440.83	c 1440s |      26 | 10801829 |  8961452 |     1470  15364 |        0 |        0
1442.35/1442.84	c 1442s |      26 | 10815963 |  8973152 |     1470  15380 |        0 |        0
1444.35/1444.84	c 1444s |      26 | 10830734 |  8985252 |     1470  15396 |        0 |        0
1446.35/1446.85	c 1446s |      26 | 10845016 |  8996952 |     1470  15411 |        0 |        0
1448.36/1448.86	c 1448s |      26 | 10860364 |  9009352 |     1470  15428 |        0 |        0
1450.35/1450.87	c 1450s |      26 | 10874373 |  9021052 |     1470  15443 |        0 |        0
1452.35/1452.88	c 1452s |      26 | 10888598 |  9032752 |     1470  15459 |        0 |        0
1454.35/1454.89	c 1454s |      26 | 10902956 |  9044652 |     1470  15474 |        0 |        0
1456.45/1456.90	c 1456s |      26 | 10916721 |  9056352 |     1470  15490 |        0 |        0
1458.45/1458.90	c 1458s |      26 | 10930908 |  9068152 |     1470  15506 |        0 |        0
1460.46/1460.91	c 1460s |      26 | 10945305 |  9079952 |     1470  15521 |        0 |        0
1462.45/1462.91	c 1462s |      26 | 10959569 |  9091652 |     1470  15537 |        0 |        0
1464.45/1464.92	c 1464s |      26 | 10975133 |  9104052 |     1470  15553 |        0 |        0
1466.45/1466.94	c 1466s |      26 | 10990612 |  9116452 |     1470  15570 |        0 |        0
1468.45/1468.95	c 1468s |      26 | 11004015 |  9127952 |     1470  15585 |        0 |        0
1470.45/1470.96	c 1470s |      26 | 11018923 |  9140252 |     1470  15601 |        0 |        0
1472.46/1472.96	c 1472s |      26 | 11034236 |  9152552 |     1470  15617 |        0 |        0
1474.45/1474.97	c 1474s |      26 | 11047924 |  9164152 |     1470  15633 |        0 |        0
1476.45/1476.99	c 1476s |      26 | 11062386 |  9176152 |     1470  15649 |        0 |        0
1478.55/1479.00	c 1478s |      26 | 11077004 |  9188352 |     1470  15665 |        0 |        0
1480.55/1481.02	c 1480s |      26 | 11091395 |  9200352 |     1470  15681 |        0 |        0
1482.55/1483.02	c 1482s |      26 | 11106246 |  9212452 |     1470  15697 |        0 |        0
1484.55/1485.02	c 1484s |      26 | 11120670 |  9224252 |     1470  15713 |        0 |        0
1486.55/1487.04	c 1487s |      26 | 11134157 |  9235952 |     1470  15728 |        0 |        0
1488.55/1489.04	c 1489s |      26 | 11147930 |  9247652 |     1470  15744 |        0 |        0
1490.54/1491.05	c 1491s |      26 | 11162076 |  9259452 |     1470  15759 |        0 |        0
1492.54/1493.07	c 1493s |      26 | 11175235 |  9270852 |     1470  15774 |        0 |        0
1494.55/1495.08	c 1495s |      26 | 11189839 |  9283152 |     1470  15791 |        0 |        0
1496.54/1497.09	c 1497s |      26 | 11202785 |  9294452 |     1470  15806 |        0 |        0
1498.65/1499.11	c 1499s |      26 | 11216464 |  9306052 |     1470  15821 |        0 |        0
1500.65/1501.11	c 1501s |      26 | 11230405 |  9317752 |     1470  15837 |        0 |        0
1502.65/1503.12	c 1503s |      26 | 11243638 |  9329452 |     1470  15852 |        0 |        0
1504.65/1505.12	c 1505s |      26 | 11256728 |  9340952 |     1470  15867 |        0 |        0
1506.66/1507.14	c 1507s |      26 | 11269546 |  9352252 |     1470  15882 |        0 |        0
1508.65/1509.16	c 1509s |      26 | 11282969 |  9363752 |     1470  15897 |        0 |        0
1510.65/1511.16	c 1511s |      26 | 11297632 |  9375752 |     1470  15913 |        0 |        0
1512.65/1513.16	c 1513s |      26 | 11311955 |  9387752 |     1470  15929 |        0 |        0
1514.65/1515.17	c 1515s |      26 | 11327477 |  9400252 |     1470  15946 |        0 |        0
1516.65/1517.18	c 1517s |      26 | 11341436 |  9411952 |     1470  15961 |        0 |        0
1518.65/1519.19	c 1519s |      26 | 11354004 |  9422852 |     1470  15976 |        0 |        0
1520.75/1521.20	c 1521s |      26 | 11367610 |  9434352 |     1470  15991 |        0 |        0
1522.75/1523.21	c 1523s |      26 | 11380776 |  9445752 |     1470  16006 |        0 |        0
1524.74/1525.22	c 1525s |      26 | 11395537 |  9457652 |     1470  16022 |        0 |        0
1526.74/1527.24	c 1527s |      26 | 11408978 |  9469152 |     1470  16037 |        0 |        0
1528.74/1529.24	c 1529s |      26 | 11422616 |  9480552 |     1470  16052 |        0 |        0
1530.75/1531.25	c 1531s |      26 | 11435829 |  9491952 |     1470  16067 |        0 |        0
1532.74/1533.25	c 1533s |      26 | 11449294 |  9503352 |     1470  16082 |        0 |        0
1534.74/1535.27	c 1535s |      26 | 11464588 |  9515352 |     1470  16098 |        0 |        0
1536.74/1537.28	c 1537s |      26 | 11478602 |  9526852 |     1470  16114 |        0 |        0
1538.84/1539.30	c 1539s |      26 | 11492252 |  9538252 |     1470  16129 |        0 |        0
1540.84/1541.30	c 1541s |      26 | 11505630 |  9549452 |     1470  16144 |        0 |        0
1542.85/1543.31	c 1543s |      26 | 11519026 |  9560852 |     1470  16159 |        0 |        0
1544.84/1545.32	c 1545s |      26 | 11533158 |  9572452 |     1470  16174 |        0 |        0
1546.84/1547.33	c 1547s |      26 | 11547346 |  9584052 |     1470  16189 |        0 |        0
1548.84/1549.33	c 1549s |      26 | 11561492 |  9595852 |     1470  16205 |        0 |        0
1550.84/1551.33	c 1551s |      26 | 11576509 |  9607752 |     1470  16221 |        0 |        0
1552.84/1553.33	c 1553s |      26 | 11591473 |  9619852 |     1470  16237 |        0 |        0
1554.83/1555.34	c 1555s |      26 | 11604894 |  9631452 |     1470  16252 |        0 |        0
1556.83/1557.35	c 1557s |      26 | 11617415 |  9642352 |     1470  16267 |        0 |        0
1558.83/1559.35	c 1559s |      26 | 11629377 |  9652952 |     1470  16281 |        0 |        0
1560.83/1561.36	c 1561s |      26 | 11641763 |  9663952 |     1470  16295 |        0 |        0
1562.84/1563.37	c 1563s |      26 | 11655984 |  9675652 |     1470  16311 |        0 |        0
1564.85/1565.38	c 1565s |      26 | 11669701 |  9687052 |     1470  16326 |        0 |        0
1566.84/1567.39	c 1567s |      26 | 11684897 |  9699152 |     1470  16342 |        0 |        0
1568.94/1569.40	c 1569s |      26 | 11699199 |  9710652 |     1470  16357 |        0 |        0
1570.94/1571.41	c 1571s |      26 | 11714102 |  9722452 |     1470  16373 |        0 |        0
1572.94/1573.42	c 1573s |      26 | 11728250 |  9733952 |     1470  16388 |        0 |        0
1574.94/1575.43	c 1575s |      26 | 11742329 |  9745452 |     1470  16403 |        0 |        0
1576.95/1577.45	c 1577s |      26 | 11756403 |  9757052 |     1470  16419 |        0 |        0
1578.94/1579.46	c 1579s |      26 | 11770158 |  9768552 |     1470  16434 |        0 |        0
1580.94/1581.47	c 1581s |      26 | 11783682 |  9779752 |     1470  16449 |        0 |        0
1582.94/1583.47	c 1583s |      26 | 11798295 |  9791552 |     1470  16465 |        0 |        0
1584.94/1585.48	c 1585s |      26 | 11813807 |  9803752 |     1470  16481 |        0 |        0
1586.94/1587.49	c 1587s |      26 | 11829347 |  9815852 |     1470  16497 |        0 |        0
1588.94/1589.49	c 1589s |      26 | 11844324 |  9827752 |     1470  16513 |        0 |        0
1591.04/1591.50	c 1591s |      26 | 11860299 |  9840352 |     1470  16529 |        0 |        0
1593.04/1593.52	c 1593s |      26 | 11876413 |  9853252 |     1470  16547 |        0 |        0
1595.03/1595.52	c 1595s |      26 | 11890534 |  9864852 |     1470  16562 |        0 |        0
1597.03/1597.53	c 1597s |      26 | 11903484 |  9876052 |     1470  16577 |        0 |        0
1599.04/1599.54	c 1599s |      26 | 11916407 |  9887152 |     1470  16591 |        0 |        0
1601.03/1601.55	c 1601s |      26 | 11929833 |  9898552 |     1470  16606 |        0 |        0
1603.03/1603.57	c 1603s |      26 | 11943924 |  9910252 |     1470  16622 |        0 |        0
1605.03/1605.58	c 1605s |      26 | 11958687 |  9922152 |     1470  16638 |        0 |        0
1607.03/1607.59	c 1607s |      26 | 11972863 |  9933752 |     1470  16653 |        0 |        0
1609.13/1609.60	c 1609s |      26 | 11987235 |  9945752 |     1470  16669 |        0 |        0
1611.14/1611.61	c 1611s |      26 | 12001792 |  9957552 |     1470  16684 |        0 |        0
1613.13/1613.62	c 1613s |      26 | 12015704 |  9969152 |     1470  16700 |        0 |        0
1615.13/1615.64	c 1615s |      26 | 12029419 |  9980852 |     1470  16715 |        0 |        0
1617.13/1617.65	c 1617s |      26 | 12042788 |  9992152 |     1470  16730 |        0 |        0
1619.13/1619.67	c 1619s |      26 | 12056599 | 10003952 |     1470  16746 |        0 |        0
1621.13/1621.68	c 1621s |      26 | 12070536 | 10015752 |     1470  16762 |        0 |        0
1623.14/1623.68	c 1623s |      26 | 12082588 | 10026452 |     1470  16776 |        0 |        0
1625.13/1625.69	c 1625s |      26 | 12095598 | 10037752 |     1470  16791 |        0 |        0
1627.13/1627.69	c 1627s |      26 | 12108525 | 10048952 |     1470  16806 |        0 |        0
1629.13/1629.69	c 1629s |      26 | 12121708 | 10060052 |     1470  16821 |        0 |        0
1631.23/1631.70	c 1631s |      26 | 12135277 | 10071552 |     1470  16836 |        0 |        0
1633.23/1633.71	c 1633s |      26 | 12148491 | 10082952 |     1470  16851 |        0 |        0
1635.23/1635.72	c 1635s |      26 | 12161500 | 10094152 |     1470  16866 |        0 |        0
1637.23/1637.73	c 1637s |      26 | 12174989 | 10105652 |     1470  16881 |        0 |        0
1639.22/1639.74	c 1639s |      26 | 12188536 | 10117152 |     1470  16896 |        0 |        0
1641.22/1641.75	c 1641s |      26 | 12201729 | 10128452 |     1470  16911 |        0 |        0
1643.22/1643.76	c 1643s |      26 | 12215456 | 10140152 |     1470  16927 |        0 |        0
1645.23/1645.77	c 1645s |      26 | 12228973 | 10151852 |     1470  16942 |        0 |        0
1647.22/1647.78	c 1647s |      26 | 12242020 | 10163252 |     1470  16958 |        0 |        0
1649.22/1649.78	c 1649s |      26 | 12255029 | 10174552 |     1470  16972 |        0 |        0
1651.22/1651.79	c 1651s |      26 | 12269222 | 10186552 |     1470  16988 |        0 |        0
1653.32/1653.80	c 1653s |      26 | 12284123 | 10198652 |     1470  17004 |        0 |        0
1655.33/1655.82	c 1655s |      26 | 12298249 | 10210552 |     1470  17020 |        0 |        0
1657.34/1657.83	c 1657s |      26 | 12310333 | 10221352 |     1470  17035 |        0 |        0
1659.33/1659.83	c 1659s |      26 | 12323099 | 10232552 |     1470  17050 |        0 |        0
1661.33/1661.83	c 1661s |      26 | 12335811 | 10243452 |     1470  17064 |        0 |        0
1663.33/1663.85	c 1663s |      26 | 12349799 | 10254952 |     1470  17079 |        0 |        0
1665.32/1665.87	c 1665s |      26 | 12363646 | 10266452 |     1470  17095 |        0 |        0
1667.32/1667.87	c 1667s |      26 | 12378498 | 10278552 |     1470  17111 |        0 |        0
1669.33/1669.87	c 1669s |      26 | 12392842 | 10290352 |     1470  17126 |        0 |        0
1671.32/1671.89	c 1671s |      26 | 12406108 | 10301552 |     1470  17141 |        0 |        0
1673.32/1673.90	c 1673s |      26 | 12418606 | 10312552 |     1470  17156 |        0 |        0
1675.42/1675.90	c 1675s |      26 | 12432030 | 10323952 |     1470  17171 |        0 |        0
1677.42/1677.90	c 1677s |      26 | 12445908 | 10335352 |     1470  17186 |        0 |        0
1679.42/1679.90	c 1679s |      26 | 12459583 | 10346752 |     1470  17201 |        0 |        0
1681.43/1681.91	c 1681s |      26 | 12472395 | 10357852 |     1470  17216 |        0 |        0
1683.42/1683.91	c 1683s |      26 | 12485470 | 10369052 |     1470  17231 |        0 |        0
1685.42/1685.92	c 1685s |      26 | 12498918 | 10380652 |     1470  17246 |        0 |        0
1687.42/1687.92	c 1687s |      26 | 12512279 | 10392052 |     1470  17261 |        0 |        0
1689.42/1689.93	c 1689s |      26 | 12526137 | 10403652 |     1470  17276 |        0 |        0
1691.42/1691.94	c 1691s |      26 | 12539558 | 10415052 |     1470  17292 |        0 |        0
1693.42/1693.96	c 1693s |      26 | 12553916 | 10427052 |     1470  17307 |        0 |        0
1695.42/1695.98	c 1695s |      26 | 12566960 | 10438452 |     1470  17322 |        0 |        0
1697.42/1697.99	c 1697s |      26 | 12579726 | 10449652 |     1470  17337 |        0 |        0
1699.41/1699.99	c 1699s |      26 | 12593091 | 10461152 |     1470  17352 |        0 |        0
1701.41/1702.00	c 1701s |      26 | 12606016 | 10472552 |     1470  17368 |        0 |        0
1703.52/1704.01	c 1703s |      26 | 12620174 | 10484452 |     1470  17383 |        0 |        0
1705.51/1706.01	c 1705s |      26 | 12633648 | 10495852 |     1470  17399 |        0 |        0
1707.51/1708.02	c 1707s |      26 | 12646352 | 10507052 |     1470  17414 |        0 |        0
1709.51/1710.02	c 1710s |      26 | 12659495 | 10518352 |     1470  17429 |        0 |        0
1711.52/1712.02	c 1712s |      26 | 12672293 | 10529452 |     1470  17443 |        0 |        0
1713.52/1714.03	c 1714s |      26 | 12686005 | 10541052 |     1470  17459 |        0 |        0
1715.53/1716.04	c 1716s |      26 | 12699707 | 10552652 |     1470  17474 |        0 |        0
1717.52/1718.04	c 1718s |      26 | 12713218 | 10564152 |     1470  17489 |        0 |        0
1719.52/1720.04	c 1720s |      26 | 12726192 | 10575352 |     1470  17504 |        0 |        0
1721.52/1722.06	c 1722s |      26 | 12740149 | 10586852 |     1470  17520 |        0 |        0
1723.52/1724.06	c 1724s |      26 | 12753566 | 10598152 |     1470  17535 |        0 |        0
1725.52/1726.08	c 1726s |      26 | 12768299 | 10610052 |     1470  17551 |        0 |        0
1727.51/1728.09	c 1728s |      26 | 12781550 | 10621252 |     1470  17565 |        0 |        0
1729.61/1730.10	c 1730s |      26 | 12795226 | 10632652 |     1470  17581 |        0 |        0
1731.61/1732.11	c 1732s |      26 | 12809433 | 10644552 |     1470  17596 |        0 |        0
1733.61/1734.12	c 1734s |      26 | 12823790 | 10656452 |     1470  17612 |        0 |        0
1735.61/1736.13	c 1736s |      26 | 12838355 | 10668452 |     1470  17628 |        0 |        0
1737.62/1738.14	c 1738s |      26 | 12851730 | 10679852 |     1470  17643 |        0 |        0
1739.61/1740.15	c 1740s |      26 | 12865298 | 10691152 |     1470  17658 |        0 |        0
1741.61/1742.16	c 1742s |      26 | 12879966 | 10702952 |     1470  17674 |        0 |        0
1743.61/1744.16	c 1744s |      26 | 12894544 | 10714852 |     1470  17689 |        0 |        0
1745.61/1746.16	c 1746s |      26 | 12908268 | 10726352 |     1470  17705 |        0 |        0
1747.61/1748.17	c 1748s |      26 | 12921325 | 10737652 |     1470  17720 |        0 |        0
1749.62/1750.17	c 1750s |      26 | 12935340 | 10749252 |     1470  17735 |        0 |        0
1751.61/1752.18	c 1752s |      26 | 12949372 | 10760952 |     1470  17751 |        0 |        0
1753.61/1754.19	c 1754s |      26 | 12962001 | 10772052 |     1470  17765 |        0 |        0
1755.61/1756.19	c 1756s |      26 | 12977442 | 10784252 |     1470  17781 |        0 |        0
1757.61/1758.19	c 1758s |      26 | 12992344 | 10796052 |     1470  17797 |        0 |        0
1759.61/1760.19	c 1760s |      26 | 13005925 | 10807352 |     1470  17812 |        0 |        0
1761.61/1762.20	c 1762s |      26 | 13019645 | 10818652 |     1470  17827 |        0 |        0
1763.70/1764.21	c 1764s |      26 | 13033001 | 10829752 |     1470  17842 |        0 |        0
1765.70/1766.21	c 1766s |      26 | 13045994 | 10840952 |     1470  17857 |        0 |        0
1767.70/1768.23	c 1768s |      26 | 13060717 | 10853052 |     1470  17873 |        0 |        0
1769.70/1770.24	c 1770s |      26 | 13074220 | 10864652 |     1470  17888 |        0 |        0
1771.71/1772.24	c 1772s |      26 | 13087541 | 10876152 |     1470  17904 |        0 |        0
1773.70/1774.25	c 1774s |      26 | 13100578 | 10887552 |     1470  17919 |        0 |        0
1775.71/1776.26	c 1776s |      26 | 13114852 | 10899352 |     1470  17934 |        0 |        0
1777.71/1778.28	c 1778s |      26 | 13128923 | 10911052 |     1470  17950 |        0 |        0
1779.71/1780.29	c 1780s |      26 | 13143629 | 10923052 |     1470  17966 |        0 |        0
1781.81/1782.30	c 1782s |      26 | 13158083 | 10934952 |     1470  17982 |        0 |        0
1783.82/1784.32	c 1784s |      26 | 13171865 | 10946552 |     1470  17997 |        0 |        0
1785.81/1786.32	c 1786s |      26 | 13186367 | 10958552 |     1470  18013 |        0 |        0
1787.81/1788.33	c 1788s |      26 | 13200154 | 10970452 |     1470  18029 |        0 |        0
1789.81/1790.34	c 1790s |      26 | 13214829 | 10982652 |     1470  18045 |        0 |        0
1791.81/1792.34	c 1792s |      26 | 13228541 | 10994452 |     1470  18060 |        0 |        0
1793.81/1794.34	c 1794s |      26 | 13242042 | 11005852 |     1470  18075 |        0 |        0
1795.81/1796.36	c 1796s |      26 | 13256692 | 11017652 |     1470  18091 |        0 |        0
1797.80/1798.36	c 1798s |      26 | 13271462 | 11029452 |     1470  18107 |        0 |        0
1799.80/1800.37	c 1800s |      26 | 13285605 | 11041152 |     1470  18122 |        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-4089757-1466033403/watcher-4089757-1466033403 -o /tmp/evaluation-result-4089757-1466033403/solver-4089757-1466033403 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5972 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089757-1466033403.opb 

pid=9055
running on 4 cores: 1,3,5,7

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

[startup+0 s]
/proc/loadavg: 2.09 2.10 2.09 3/180 9058
/proc/meminfo: memFree=30433184/32872528 swapFree=496356/529060
[pid=9058] ppid=9055 vsize=24328 CPUtime=0 cores=1,3,5,7
/proc/9058/stat : 9058 (runsolver) R 9055 5955 5955 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 1 0 5385712 24911872 53 33554432000 4194304 4338465 140736991515312 140736991512848 211458413061 0 0 4096 24578 0 0 0 17 7 0 0 0 0 0
/proc/9058/statm: 6082 53 7 36 0 2655 0
Current StackSize limit: 10240 KiB


[startup+0.100175 s]
/proc/loadavg: 2.09 2.10 2.09 3/180 9058
/proc/meminfo: memFree=30433184/32872528 swapFree=496356/529060
[pid=9058] ppid=9055 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/9058/stat : 9058 (toysat) R 9055 9058 5955 0 -1 4202496 23536 0 0 0 5 4 0 0 20 0 4 0 5385712 1247350784 23375 33554432000 4194304 16246674 140735356065552 140735356064976 6023439 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9058/statm: 304529 23386 715 2943 0 301423 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.20039 s]
/proc/loadavg: 2.09 2.10 2.09 3/180 9058
/proc/meminfo: memFree=30433184/32872528 swapFree=496356/529060
[pid=9058] ppid=9055 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/9058/stat : 9058 (toysat) R 9055 9058 5955 0 -1 4202496 46025 0 0 0 11 7 0 0 20 0 4 0 5385712 1247350784 45865 33554432000 4194304 16246674 140735356065552 140735356064976 5831697 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9058/statm: 304529 45874 715 2943 0 301423 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.30037 s]
/proc/loadavg: 2.09 2.10 2.09 3/180 9058
/proc/meminfo: memFree=30433184/32872528 swapFree=496356/529060
[pid=9058] ppid=9055 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/9058/stat : 9058 (toysat) R 9055 9058 5955 0 -1 4202496 68755 0 0 0 18 11 0 0 20 0 4 0 5385712 1247350784 68594 33554432000 4194304 16246674 140735356065552 140735356064976 5830026 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9058/statm: 304529 68603 715 2943 0 301423 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700311 s]
/proc/loadavg: 2.09 2.10 2.09 3/180 9058
/proc/meminfo: memFree=30433184/32872528 swapFree=496356/529060
[pid=9058] ppid=9055 vsize=1218116 CPUtime=0.68 cores=1,3,5,7
/proc/9058/stat : 9058 (toysat) R 9055 9058 5955 0 -1 4202496 162039 0 0 0 43 25 0 0 20 0 4 0 5385712 1247350784 161879 33554432000 4194304 16246674 140735356065552 140735356047424 12478333 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9058/statm: 304529 161895 716 2943 0 301423 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.09 2.10 2.09 3/184 9062
/proc/meminfo: memFree=29453040/32872528 swapFree=496356/529060
[pid=9058] ppid=9055 vsize=1219140 CPUtime=1.48 cores=1,3,5,7
/proc/9058/stat : 9058 (toysat) R 9055 9058 5955 0 -1 4202496 245582 0 0 0 112 36 0 0 20 0 4 0 5385712 1248399360 245401 33554432000 4194304 16246674 140735356065552 140735356064768 12478044 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9058/statm: 304785 245401 790 2943 0 301679 0
[pid=9058/tid=9060] ppid=9055 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5385712 1248399360 245401 33554432000 4194304 16246674 140735356065552 140381583813872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9058/tid=9061] ppid=9055 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5385712 1248399360 245401 33554432000 4194304 16246674 140735356065552 140381573324016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9058/tid=9062] ppid=9055 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9062/stat : 9062 (toysat) S 9055 9058 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5385712 1248399360 245401 33554432000 4194304 16246674 140735356065552 140381562850480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1219140

[startup+3.10042 s]
/proc/loadavg: 2.09 2.10 2.09 3/184 9062
/proc/meminfo: memFree=29365620/32872528 swapFree=496356/529060
[pid=9058] ppid=9055 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/9058/stat : 9058 (toysat) R 9055 9058 5955 0 -1 4202496 267416 0 0 0 269 39 0 0 20 0 4 0 5385712 1337528320 267235 33554432000 4194304 16246674 140735356065552 140735356064216 12875468 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9058/statm: 326545 267235 790 2943 0 323439 0
[pid=9058/tid=9060] ppid=9055 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5385712 1337528320 267235 33554432000 4194304 16246674 140735356065552 140381583813872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9058/tid=9061] ppid=9055 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5385712 1337528320 267235 33554432000 4194304 16246674 140735356065552 140381573324016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9058/tid=9062] ppid=9055 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9062/stat : 9062 (toysat) S 9055 9058 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5385712 1337528320 267235 33554432000 4194304 16246674 140735356065552 140381562850480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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.08 2.09 2.09 3/184 9062
/proc/meminfo: memFree=29364888/32872528 swapFree=496356/529060
[pid=9058] ppid=9055 vsize=1306180 CPUtime=6.28 cores=1,3,5,7
/proc/9058/stat : 9058 (toysat) R 9055 9058 5955 0 -1 4202496 267454 0 0 0 589 39 0 0 20 0 4 0 5385712 1337528320 267273 33554432000 4194304 16246674 140735356065552 140735356047424 5676365 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9058/statm: 326545 267273 790 2943 0 323439 0
[pid=9058/tid=9060] ppid=9055 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5385712 1337528320 267273 33554432000 4194304 16246674 140735356065552 140381583813872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9058/tid=9061] ppid=9055 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5385712 1337528320 267273 33554432000 4194304 16246674 140735356065552 140381573324016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9058/tid=9062] ppid=9055 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9062/stat : 9062 (toysat) S 9055 9058 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5385712 1337528320 267273 33554432000 4194304 16246674 140735356065552 140381562850480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7005 s]
/proc/loadavg: 2.08 2.09 2.09 3/184 9062
/proc/meminfo: memFree=29365024/32872528 swapFree=496356/529060
[pid=9058] ppid=9055 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/9058/stat : 9058 (toysat) R 9055 9058 5955 0 -1 4202496 267455 0 0 0 1229 39 0 0 20 0 4 0 5385712 1337528320 267274 33554432000 4194304 16246674 140735356065552 140735356047424 6009960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9058/statm: 326545 267274 790 2943 0 323439 0
[pid=9058/tid=9060] ppid=9055 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5385712 1337528320 267274 33554432000 4194304 16246674 140735356065552 140381583813872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9058/tid=9061] ppid=9055 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5385712 1337528320 267274 33554432000 4194304 16246674 140735356065552 140381573324016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9058/tid=9062] ppid=9055 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9062/stat : 9062 (toysat) S 9055 9058 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5385712 1337528320 267274 33554432000 4194304 16246674 140735356065552 140381562850480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.06 2.09 2.09 3/184 9062
/proc/meminfo: memFree=29365596/32872528 swapFree=496356/529060
[pid=9058] ppid=9055 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/9058/stat : 9058 (toysat) R 9055 9058 5955 0 -1 4202496 267465 0 0 0 2508 40 0 0 20 0 4 0 5385712 1337528320 267284 33554432000 4194304 16246674 140735356065552 140735356048552 5673405 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9058/statm: 326545 267284 791 2943 0 323439 0
[pid=9058/tid=9060] ppid=9055 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5385712 1337528320 267284 33554432000 4194304 16246674 140735356065552 140381583813872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9058/tid=9061] ppid=9055 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5385712 1337528320 267284 33554432000 4194304 16246674 140735356065552 140381573324016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9058/tid=9062] ppid=9055 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9062/stat : 9062 (toysat) S 9055 9058 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5385712 1337528320 267284 33554432000 4194304 16246674 140735356065552 140381562850480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.04 2.08 2.08 3/184 9062
/proc/meminfo: memFree=29365600/32872528 swapFree=496356/529060
[pid=9058] ppid=9055 vsize=1306180 CPUtime=51.07 cores=1,3,5,7
/proc/9058/stat : 9058 (toysat) R 9055 9058 5955 0 -1 4202496 267507 0 0 0 5067 40 0 0 20 0 4 0 5385712 1337528320 267326 33554432000 4194304 16246674 140735356065552 140735356047424 5823371 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9058/statm: 326545 267326 793 2943 0 323439 0
[pid=9058/tid=9060] ppid=9055 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5385712 1337528320 267326 33554432000 4194304 16246674 140735356065552 140381583813872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9058/tid=9061] ppid=9055 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5385712 1337528320 267326 33554432000 4194304 16246674 140735356065552 140381573324016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9058/tid=9062] ppid=9055 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9062/stat : 9062 (toysat) S 9055 9058 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5385712 1337528320 267326 33554432000 4194304 16246674 140735356065552 140381562850480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.12 2.09 2.09 3/183 9064
/proc/meminfo: memFree=29365160/32872528 swapFree=496356/529060
[pid=9058] ppid=9055 vsize=1306180 CPUtime=102.27 cores=1,3,5,7
/proc/9058/stat : 9058 (toysat) R 9055 9058 5955 0 -1 4202496 267521 0 0 0 10186 41 0 0 20 0 4 0 5385712 1337528320 267340 33554432000 4194304 16246674 140735356065552 140735356047424 5754983 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9058/statm: 326545 267340 793 2943 0 323439 0
[pid=9058/tid=9060] ppid=9055 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5385712 1337528320 267340 33554432000 4194304 16246674 140735356065552 140381583813872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9058/tid=9061] ppid=9055 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5385712 1337528320 267340 33554432000 4194304 16246674 140735356065552 140381573324016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9058/tid=9062] ppid=9055 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9062/stat : 9062 (toysat) S 9055 9058 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5385712 1337528320 267340 33554432000 4194304 16246674 140735356065552 140381562850480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1306180

[startup+162.3 s]
/proc/loadavg: 2.20 2.12 2.10 4/182 9065
/proc/meminfo: memFree=29364548/32872528 swapFree=496356/529060
[pid=9058] ppid=9055 vsize=1307204 CPUtime=162.25 cores=1,3,5,7
/proc/9058/stat : 9058 (toysat) R 9055 9058 5955 0 -1 4202496 267760 0 0 0 16183 42 0 0 20 0 4 0 5385712 1338576896 267579 33554432000 4194304 16246674 140735356065552 140735356048552 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9058/statm: 326801 267579 793 2943 0 323695 0
[pid=9058/tid=9060] ppid=9055 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5385712 1338576896 267579 33554432000 4194304 16246674 140735356065552 140381583813872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9058/tid=9061] ppid=9055 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5385712 1338576896 267579 33554432000 4194304 16246674 140735356065552 140381573324016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9058/tid=9062] ppid=9055 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9062/stat : 9062 (toysat) S 9055 9058 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5385712 1338576896 267579 33554432000 4194304 16246674 140735356065552 140381562850480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1307204

[startup+222.308 s]
/proc/loadavg: 2.11 2.11 2.09 3/184 9116
/proc/meminfo: memFree=29362236/32872528 swapFree=496356/529060
[pid=9058] ppid=9055 vsize=1307204 CPUtime=222.24 cores=1,3,5,7
/proc/9058/stat : 9058 (toysat) R 9055 9058 5955 0 -1 4202496 267778 0 0 0 22181 43 0 0 20 0 4 0 5385712 1338576896 267835 33554432000 4194304 16246674 140735356065552 140735356047424 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9058/statm: 326801 267835 793 2943 0 323695 0
[pid=9058/tid=9060] ppid=9055 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5385712 1338576896 267835 33554432000 4194304 16246674 140735356065552 140381583813872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9058/tid=9061] ppid=9055 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5385712 1338576896 267835 33554432000 4194304 16246674 140735356065552 140381573324016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9058/tid=9062] ppid=9055 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9062/stat : 9062 (toysat) S 9055 9058 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5385712 1338576896 267835 33554432000 4194304 16246674 140735356065552 140381562850480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 1307204


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

/proc/9058/task/9062/stat : 9062 (toysat) S 9055 9058 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5385712 1339625472 267929 33554432000 4194304 16246674 140735356065552 140381562850480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1308228

[startup+1362.3 s]
/proc/loadavg: 2.37 2.23 2.13 3/183 9145
/proc/meminfo: memFree=29358708/32872528 swapFree=496356/529060
[pid=9058] ppid=9055 vsize=1308228 CPUtime=1361.86 cores=1,3,5,7
/proc/9058/stat : 9058 (toysat) R 9055 9058 5955 0 -1 4202496 268259 0 0 0 136125 61 0 0 20 0 4 0 5385712 1339625472 267935 33554432000 4194304 16246674 140735356065552 140735356047424 12483387 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9058/statm: 327057 267935 795 2943 0 323951 0
[pid=9058/tid=9060] ppid=9055 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5385712 1339625472 267935 33554432000 4194304 16246674 140735356065552 140381583813872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9058/tid=9061] ppid=9055 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5385712 1339625472 267935 33554432000 4194304 16246674 140735356065552 140381573324016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9058/tid=9062] ppid=9055 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9062/stat : 9062 (toysat) S 9055 9058 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5385712 1339625472 267935 33554432000 4194304 16246674 140735356065552 140381562850480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1308228

[startup+1422.3 s]
/proc/loadavg: 2.17 2.20 2.12 3/183 9146
/proc/meminfo: memFree=29358220/32872528 swapFree=496356/529060
[pid=9058] ppid=9055 vsize=1308228 CPUtime=1421.87 cores=1,3,5,7
/proc/9058/stat : 9058 (toysat) R 9055 9058 5955 0 -1 4202496 268259 0 0 0 142125 62 0 0 20 0 4 0 5385712 1339625472 267935 33554432000 4194304 16246674 140735356065552 140735356048552 5722816 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9058/statm: 327057 267935 795 2943 0 323951 0
[pid=9058/tid=9060] ppid=9055 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5385712 1339625472 267935 33554432000 4194304 16246674 140735356065552 140381583813872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9058/tid=9061] ppid=9055 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5385712 1339625472 267935 33554432000 4194304 16246674 140735356065552 140381573324016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9058/tid=9062] ppid=9055 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9062/stat : 9062 (toysat) S 9055 9058 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5385712 1339625472 267935 33554432000 4194304 16246674 140735356065552 140381562850480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1308228

[startup+1482.3 s]
/proc/loadavg: 2.21 2.20 2.12 3/183 9147
/proc/meminfo: memFree=29357732/32872528 swapFree=496356/529060
[pid=9058] ppid=9055 vsize=1308228 CPUtime=1481.85 cores=1,3,5,7
/proc/9058/stat : 9058 (toysat) R 9055 9058 5955 0 -1 4202496 268259 0 0 0 148123 62 0 0 20 0 4 0 5385712 1339625472 267935 33554432000 4194304 16246674 140735356065552 140735356064648 5677667 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9058/statm: 327057 267935 795 2943 0 323951 0
[pid=9058/tid=9060] ppid=9055 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5385712 1339625472 267935 33554432000 4194304 16246674 140735356065552 140381583813872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9058/tid=9061] ppid=9055 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5385712 1339625472 267935 33554432000 4194304 16246674 140735356065552 140381573324016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9058/tid=9062] ppid=9055 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9062/stat : 9062 (toysat) S 9055 9058 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5385712 1339625472 267935 33554432000 4194304 16246674 140735356065552 140381562850480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1308228

[startup+1542.31 s]
/proc/loadavg: 2.18 2.19 2.12 3/183 9148
/proc/meminfo: memFree=29357904/32872528 swapFree=496356/529060
[pid=9058] ppid=9055 vsize=1308228 CPUtime=1541.85 cores=1,3,5,7
/proc/9058/stat : 9058 (toysat) R 9055 9058 5955 0 -1 4202496 268267 0 0 0 154122 63 0 0 20 0 4 0 5385712 1339625472 267943 33554432000 4194304 16246674 140735356065552 140735356048552 5677768 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9058/statm: 327057 267943 795 2943 0 323951 0
[pid=9058/tid=9060] ppid=9055 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5385712 1339625472 267943 33554432000 4194304 16246674 140735356065552 140381583813872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9058/tid=9061] ppid=9055 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5385712 1339625472 267943 33554432000 4194304 16246674 140735356065552 140381573324016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9058/tid=9062] ppid=9055 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9062/stat : 9062 (toysat) S 9055 9058 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5385712 1339625472 267943 33554432000 4194304 16246674 140735356065552 140381562850480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1308228

[startup+1602.3 s]
/proc/loadavg: 2.17 2.19 2.12 3/183 9150
/proc/meminfo: memFree=29357884/32872528 swapFree=496356/529060
[pid=9058] ppid=9055 vsize=1308228 CPUtime=1601.83 cores=1,3,5,7
/proc/9058/stat : 9058 (toysat) R 9055 9058 5955 0 -1 4202496 268267 0 0 0 160119 64 0 0 20 0 4 0 5385712 1339625472 267943 33554432000 4194304 16246674 140735356065552 140735356048552 5721521 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9058/statm: 327057 267943 795 2943 0 323951 0
[pid=9058/tid=9060] ppid=9055 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5385712 1339625472 267943 33554432000 4194304 16246674 140735356065552 140381583813872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9058/tid=9061] ppid=9055 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5385712 1339625472 267943 33554432000 4194304 16246674 140735356065552 140381573324016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9058/tid=9062] ppid=9055 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9062/stat : 9062 (toysat) S 9055 9058 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5385712 1339625472 267943 33554432000 4194304 16246674 140735356065552 140381562850480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1308228

[startup+1662.3 s]
/proc/loadavg: 2.22 2.20 2.13 3/183 9151
/proc/meminfo: memFree=29357856/32872528 swapFree=496356/529060
[pid=9058] ppid=9055 vsize=1308228 CPUtime=1661.83 cores=1,3,5,7
/proc/9058/stat : 9058 (toysat) R 9055 9058 5955 0 -1 4202496 268267 0 0 0 166118 65 0 0 20 0 4 0 5385712 1339625472 267943 33554432000 4194304 16246674 140735356065552 140735356047424 6020936 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9058/statm: 327057 267943 795 2943 0 323951 0
[pid=9058/tid=9060] ppid=9055 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5385712 1339625472 267943 33554432000 4194304 16246674 140735356065552 140381583813872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9058/tid=9061] ppid=9055 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5385712 1339625472 267943 33554432000 4194304 16246674 140735356065552 140381573324016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9058/tid=9062] ppid=9055 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9062/stat : 9062 (toysat) S 9055 9058 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5385712 1339625472 267943 33554432000 4194304 16246674 140735356065552 140381562850480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1308228

[startup+1722.3 s]
/proc/loadavg: 2.24 2.20 2.13 3/183 9152
/proc/meminfo: memFree=29357960/32872528 swapFree=496356/529060
[pid=9058] ppid=9055 vsize=1308228 CPUtime=1721.82 cores=1,3,5,7
/proc/9058/stat : 9058 (toysat) R 9055 9058 5955 0 -1 4202496 268267 0 0 0 172116 66 0 0 20 0 4 0 5385712 1339625472 267943 33554432000 4194304 16246674 140735356065552 140735356047424 5723568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9058/statm: 327057 267943 795 2943 0 323951 0
[pid=9058/tid=9060] ppid=9055 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5385712 1339625472 267943 33554432000 4194304 16246674 140735356065552 140381583813872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9058/tid=9061] ppid=9055 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5385712 1339625472 267943 33554432000 4194304 16246674 140735356065552 140381573324016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9058/tid=9062] ppid=9055 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9062/stat : 9062 (toysat) S 9055 9058 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5385712 1339625472 267943 33554432000 4194304 16246674 140735356065552 140381562850480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1308228

[startup+1782.3 s]
/proc/loadavg: 2.18 2.19 2.13 3/183 9153
/proc/meminfo: memFree=29357824/32872528 swapFree=496356/529060
[pid=9058] ppid=9055 vsize=1308228 CPUtime=1781.81 cores=1,3,5,7
/proc/9058/stat : 9058 (toysat) R 9055 9058 5955 0 -1 4202496 268267 0 0 0 178114 67 0 0 20 0 4 0 5385712 1339625472 267943 33554432000 4194304 16246674 140735356065552 140735356047424 5677563 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9058/statm: 327057 267943 795 2943 0 323951 0
[pid=9058/tid=9060] ppid=9055 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5385712 1339625472 267943 33554432000 4194304 16246674 140735356065552 140381583813872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9058/tid=9061] ppid=9055 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5385712 1339625472 267943 33554432000 4194304 16246674 140735356065552 140381573324016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9058/tid=9062] ppid=9055 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9062/stat : 9062 (toysat) S 9055 9058 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5385712 1339625472 267943 33554432000 4194304 16246674 140735356065552 140381562850480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1308228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.13 2.18 2.13 3/184 9157
/proc/meminfo: memFree=29357364/32872528 swapFree=496356/529060
[pid=9058] ppid=9055 vsize=1308228 CPUtime=1800 cores=1,3,5,7
/proc/9058/stat : 9058 (toysat) R 9055 9058 5955 0 -1 4202496 268267 0 0 0 179933 67 0 0 20 0 4 0 5385712 1339625472 267943 33554432000 4194304 16246674 140735356065552 140735356047424 5545907 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9058/statm: 327057 267943 795 2943 0 323951 0
[pid=9058/tid=9060] ppid=9055 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5385712 1339625472 267943 33554432000 4194304 16246674 140735356065552 140381583813872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9058/tid=9061] ppid=9055 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5385712 1339625472 267943 33554432000 4194304 16246674 140735356065552 140381573324016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9058/tid=9062] ppid=9055 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9062/stat : 9062 (toysat) S 9055 9058 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5385712 1339625472 267943 33554432000 4194304 16246674 140735356065552 140381562850480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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 9058 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.13 2.18 2.13 3/184 9157
/proc/meminfo: memFree=29357364/32872528 swapFree=496356/529060
[pid=9058] ppid=9055 vsize=1308228 CPUtime=1800 cores=1,3,5,7
/proc/9058/stat : 9058 (toysat) R 9055 9058 5955 0 -1 4202496 268267 0 0 0 179933 67 0 0 20 0 4 0 5385712 1339625472 267943 33554432000 4194304 16246674 140735356065552 140735356047424 5545907 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9058/statm: 327057 267943 795 2943 0 323951 0
[pid=9058/tid=9060] ppid=9055 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5385712 1339625472 267943 33554432000 4194304 16246674 140735356065552 140381583813872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9058/tid=9061] ppid=9055 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5385712 1339625472 267943 33554432000 4194304 16246674 140735356065552 140381573324016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9058/tid=9062] ppid=9055 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9058/task/9062/stat : 9062 (toysat) S 9055 9058 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5385712 1339625472 267943 33554432000 4194304 16246674 140735356065552 140381562850480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1308228

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.34
CPU system time (s): 0.673897
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.34
system time used= 0.673897
maximum resident set size= 1071772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268267
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= 414
involuntary context switches= 1841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.30734 second user time and 7.2189 second system time

The end

Begin job on node141 at 2016-06-16 01:30:03
IDJOB=4089757
IDBENCH=107452
IDSOLVER=2542
FILE ID=node141/4089757-1466033403
RUNJOBID= node141-1466008015-5972
PBS_JOBID= 19902806
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v090-n1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089757-1466033403/watcher-4089757-1466033403 -o /tmp/evaluation-result-4089757-1466033403/solver-4089757-1466033403 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5972 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089757-1466033403.opb

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

MD5SUM BENCH= d522a051431a8d69bf39a689d6d690a7
RANDOM SEED=302391855

node141.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30433712 kB
Buffers:           42892 kB
Cached:            79852 kB
SwapCached:        13088 kB
Active:          1138204 kB
Inactive:          70552 kB
Active(anon):    1076316 kB
Inactive(anon):    12044 kB
Active(file):      61888 kB
Inactive(file):    58508 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67088076 kB
Dirty:             16356 kB
Writeback:             0 kB
AnonPages:       1603072 kB
Mapped:            10340 kB
Shmem:                 0 kB
Slab:             567672 kB
SReclaimable:      11436 kB
SUnreclaim:       556236 kB
KernelStack:        1504 kB
PageTables:         7412 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1746812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1101824 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node141 at 2016-06-16 02:00:03