0.00/0.00	c 2016-06-18T01:29:01+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-4099445-1466206140.opb"]
0.00/0.01	c use --random-gen="940179344 667348283 3056715660 3905762593 128113122 464979614 2392655369 1146221446 851545546 4194221874 455829953 2003906501 3752939927 4047034643 516510944 1199374763 1093147126 208281574 3074288437 1439603579 3493332916 839293559 2895705533 2624354596 1885415038 3822265460 386059629 3408118927 3402146798 1976210126 2467430970 2511777010 1559962565 290457769 1439236383 1597899188 2054838901 2303271933 4187235638 2322926530 4189320286 1340900350 2767603109 3721817141 484320041 899443332 2411240575 1728772370 2169972629 185983333 2597533102 3070209460 2561343434 4141359116 2344625623 3402372389 3423279993 3238955748 2532830264 2678179344 3045156236 106738498 2828122554 529717791 4092942935 1166331535 3063181517 66485920 1917626774 1278512742 115761510 3054482463 1591863075 2250003182 3076422024 1072957306 3906206051 1895794300 104706370 3945392428 783022261 2630345329 1136626263 3544058113 1994145711 2749275349 2701000143 1464031776 4139219209 3785580927 310213610 1366686892 2639486542 1063539322 3462006301 1766929993 2140248224 4241157892 212129152 586597762 3253843301 1788037173 1453572440 2169332831 3353794014 3030258943 1030906630 4115445967 385135996 2943663828 3181508904 1805702686 3457083804 3528738025 443209485 4200640845 4054618454 3518229912 3926220405 3067575093 3095705444 1861448434 1746865052 2083647516 3073709046 1772961840 484717199 1985394833 1886750752 3052521697 464826715 2405096186 554192363 1804199776 2851097924 2567013931 3954285580 13772743 3019696104 2050987170 3638304459 743756514 1784750123 3788498853 2321388060 3284792247 57895526 3464444204 398638531 2296249397 2666619145 915706900 1962017360 2738275672 2845826571 2147765528 955525167 448263273 1051688613 2483342749 354744022 2903927398 1393310699 2626746267 3581250552 3960410047 2173663801 3279551140 1180841678 1645204126 427114001 520692210 4067278513 3093282578 1790343511 1802989134 2710897395 630781675 4126185483 542810284 3936275392 922441595 1852304101 1354496342 1794361006 1198694151 1818709154 2421779241 3592469900 605199814 754925244 474870654 944450155 3530707613 652020494 3655247291 2132539321 1387178365 407591218 2852480659 3046442153 2744863638 906104024 2671707723 3720620852 837969301 737333783 2482125922 2981603463 2764967096 2204199365 1956872358 1794676759 680942573 2263091290 911144775 490548913 1792403108 2203268109 3663004586 2608244931 1672440124 1817872058 451840956 4275352152 2039853196 570743437 2851748935 2554240802 202175419 779434563 3910777564 3064893481 3409363121 2038803419 275715429 280237876 3312886043 343981893 1542385484 1539409904 1851505892 3704088420 766656296 2817226224 1329227373 2765978471 3479558751 2463627 1496205924 3667790954 2858567320 1777541646 1623332942 3484799701 3456984897 255 362436" option to reproduce the execution
0.00/0.01	c #vars 480
0.00/0.01	c #constraints 62
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      180      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      127 |      100 |      180      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      415 |      250 |      199      0 |        0 |        0
0.09/0.11	c  0.1s |       3 |      896 |      475 |      219      1 |        0 |        0
0.09/0.19	c  0.2s |       4 |     1374 |      813 |      241      3 |        0 |        0
0.29/0.35	c  0.3s |       5 |     2051 |     1320 |      266      5 |        0 |        0
0.59/0.60	c  0.6s |       6 |     3052 |     2081 |      323      8 |        0 |        0
0.89/0.92	c  0.9s |       7 |     4912 |     3223 |      356     13 |        0 |        0
1.28/1.30	c  1.3s |       8 |     7260 |     4936 |      392     20 |        0 |        0
1.89/1.98	c  2.0s |       9 |    11238 |     7506 |      432     30 |        0 |        0
2.79/2.89	c  2.9s |      10 |    16321 |    11361 |      476     45 |        0 |        0
4.29/4.33	c  4.3s |      11 |    23345 |    17144 |      524     64 |        0 |        0
6.29/6.34	c  6.3s |      11 |    32865 |    24944 |      524     89 |        0 |        0
6.49/6.56	c  6.5s |      12 |    33901 |    25819 |      577     91 |        0 |        0
8.49/8.57	c  8.6s |      12 |    43561 |    33519 |      577    114 |        0 |        0
9.79/9.81	c  9.8s |      13 |    49761 |    38832 |      635    129 |        0 |        0
11.79/11.81	c 11.8s |      13 |    59731 |    47232 |      635    152 |        0 |        0
13.79/13.83	c 13.8s |      13 |    69800 |    55332 |      635    174 |        0 |        0
14.49/14.58	c 14.6s |      14 |    73211 |    58352 |      699    183 |        0 |        0
16.50/16.60	c 16.6s |      14 |    83361 |    66852 |      699    204 |        0 |        0
18.59/18.60	c 18.6s |      14 |    92054 |    74052 |      699    221 |        0 |        0
20.59/20.63	c 20.6s |      14 |   100172 |    81052 |      699    239 |        0 |        0
22.39/22.46	c 22.4s |      15 |   107705 |    87632 |      769    254 |        0 |        0
24.39/24.47	c 24.5s |      15 |   116888 |    94132 |      769    269 |        0 |        0
26.40/26.48	c 26.5s |      15 |   124248 |   100432 |      769    284 |        0 |        0
28.49/28.51	c 28.5s |      15 |   131840 |   107232 |      769    300 |        0 |        0
30.49/30.52	c 30.5s |      15 |   139775 |   113832 |      769    315 |        0 |        0
32.49/32.52	c 32.5s |      15 |   147564 |   120332 |      769    330 |        0 |        0
34.49/34.55	c 34.5s |      15 |   154732 |   126532 |      769    344 |        0 |        0
36.09/36.16	c 36.1s |      16 |   160626 |   131552 |      846    356 |        0 |        0
38.09/38.18	c 38.2s |      16 |   169859 |   138652 |      846    371 |        0 |        0
40.18/40.20	c 40.2s |      16 |   178499 |   146252 |      846    387 |        0 |        0
42.18/42.22	c 42.2s |      16 |   187059 |   153152 |      846    402 |        0 |        0
44.18/44.22	c 44.2s |      16 |   195131 |   160252 |      846    418 |        0 |        0
46.19/46.23	c 46.2s |      16 |   204001 |   167952 |      846    434 |        0 |        0
48.18/48.23	c 48.2s |      16 |   213154 |   175452 |      846    451 |        0 |        0
50.18/50.25	c 50.2s |      16 |   221896 |   183052 |      846    467 |        0 |        0
52.18/52.28	c 52.3s |      16 |   229627 |   189252 |      846    480 |        0 |        0
54.18/54.28	c 54.3s |      16 |   237562 |   196052 |      846    495 |        0 |        0
54.58/54.64	c 54.6s |      17 |   239153 |   197432 |      931    498 |        0 |        0
56.58/56.65	c 56.6s |      17 |   247831 |   204232 |      931    510 |        0 |        0
58.58/58.67	c 58.7s |      17 |   256400 |   211532 |      931    524 |        0 |        0
60.68/60.70	c 60.7s |      17 |   264134 |   218032 |      931    537 |        0 |        0
62.69/62.73	c 62.7s |      17 |   272239 |   224732 |      931    549 |        0 |        0
64.68/64.73	c 64.7s |      17 |   281319 |   231932 |      931    563 |        0 |        0
66.68/66.75	c 66.7s |      17 |   290903 |   239232 |      931    577 |        0 |        0
68.68/68.76	c 68.7s |      17 |   299306 |   246132 |      931    590 |        0 |        0
70.68/70.77	c 70.8s |      17 |   306881 |   252532 |      931    602 |        0 |        0
72.68/72.79	c 72.8s |      17 |   314211 |   258832 |      931    614 |        0 |        0
74.78/74.81	c 74.8s |      17 |   322063 |   265432 |      931    627 |        0 |        0
76.77/76.82	c 76.8s |      17 |   329786 |   271932 |      931    639 |        0 |        0
78.77/78.83	c 78.8s |      17 |   336597 |   277532 |      931    650 |        0 |        0
80.77/80.84	c 80.8s |      17 |   343873 |   283832 |      931    662 |        0 |        0
82.77/82.85	c 82.8s |      17 |   351935 |   290432 |      931    674 |        0 |        0
84.68/84.75	c 84.7s |      18 |   358872 |   296252 |     1025    685 |        0 |        0
86.67/86.77	c 86.8s |      18 |   367024 |   302552 |     1025    696 |        0 |        0
88.67/88.79	c 88.8s |      18 |   375233 |   309252 |     1025    708 |        0 |        0
90.67/90.79	c 90.8s |      18 |   383038 |   315352 |     1025    718 |        0 |        0
92.76/92.82	c 92.8s |      18 |   391149 |   321452 |     1025    729 |        0 |        0
94.76/94.85	c 94.8s |      18 |   398027 |   327352 |     1025    739 |        0 |        0
96.77/96.85	c 96.8s |      18 |   405217 |   333452 |     1025    750 |        0 |        0
98.76/98.88	c 98.9s |      18 |   413223 |   340052 |     1025    762 |        0 |        0
100.86/100.90	c  100s |      18 |   421367 |   346852 |     1025    774 |        0 |        0
102.86/102.92	c  102s |      18 |   429088 |   353152 |     1025    785 |        0 |        0
104.86/104.94	c  104s |      18 |   436599 |   359252 |     1025    796 |        0 |        0
106.87/106.96	c  106s |      18 |   443468 |   364852 |     1025    806 |        0 |        0
108.87/108.98	c  108s |      18 |   451113 |   370752 |     1025    816 |        0 |        0
110.87/111.00	c  110s |      18 |   458915 |   376952 |     1025    827 |        0 |        0
112.97/113.00	c  112s |      18 |   466694 |   382952 |     1025    837 |        0 |        0
114.97/115.02	c  115s |      18 |   475935 |   388852 |     1025    848 |        0 |        0
116.97/117.06	c  117s |      18 |   483561 |   395052 |     1025    858 |        0 |        0
118.97/119.06	c  119s |      18 |   490684 |   400952 |     1025    869 |        0 |        0
120.97/121.08	c  121s |      18 |   498053 |   406852 |     1025    879 |        0 |        0
123.06/123.10	c  123s |      18 |   505638 |   413152 |     1025    890 |        0 |        0
125.06/125.10	c  125s |      18 |   514091 |   419752 |     1025    901 |        0 |        0
127.06/127.11	c  127s |      18 |   522150 |   426552 |     1025    913 |        0 |        0
129.06/129.13	c  129s |      18 |   529947 |   433152 |     1025    925 |        0 |        0
131.06/131.15	c  131s |      18 |   537928 |   439752 |     1025    937 |        0 |        0
132.76/132.81	c  132s |      19 |   543714 |   444482 |     1128    944 |        0 |        0
134.76/134.84	c  134s |      19 |   551200 |   450282 |     1128    954 |        0 |        0
136.76/136.84	c  136s |      19 |   558211 |   456282 |     1128    963 |        0 |        0
138.76/138.88	c  138s |      19 |   564995 |   462182 |     1128    973 |        0 |        0
140.76/140.88	c  140s |      19 |   572959 |   468782 |     1128    983 |        0 |        0
142.85/142.91	c  142s |      19 |   580644 |   475182 |     1128    993 |        0 |        0
144.85/144.92	c  144s |      19 |   587779 |   481182 |     1128   1003 |        0 |        0
146.85/146.93	c  146s |      19 |   594567 |   486982 |     1128   1012 |        0 |        0
148.85/148.95	c  148s |      19 |   601776 |   493282 |     1128   1022 |        0 |        0
150.85/150.98	c  150s |      19 |   609277 |   499482 |     1128   1032 |        0 |        0
152.85/153.00	c  152s |      19 |   617215 |   505882 |     1128   1042 |        0 |        0
154.94/155.04	c  155s |      19 |   624580 |   512182 |     1128   1052 |        0 |        0
156.94/157.05	c  157s |      19 |   631785 |   518082 |     1128   1061 |        0 |        0
159.04/159.10	c  159s |      19 |   638604 |   523882 |     1128   1071 |        0 |        0
161.04/161.12	c  161s |      19 |   646499 |   530182 |     1128   1081 |        0 |        0
163.04/163.15	c  163s |      19 |   653607 |   535782 |     1128   1089 |        0 |        0
165.04/165.16	c  165s |      19 |   660335 |   541382 |     1128   1098 |        0 |        0
167.04/167.19	c  167s |      19 |   667120 |   547182 |     1128   1108 |        0 |        0
169.14/169.22	c  169s |      19 |   674149 |   553182 |     1128   1117 |        0 |        0
171.13/171.22	c  171s |      19 |   680976 |   558982 |     1128   1126 |        0 |        0
173.13/173.25	c  173s |      19 |   687711 |   564682 |     1128   1135 |        0 |        0
175.13/175.25	c  175s |      19 |   694380 |   570182 |     1128   1144 |        0 |        0
177.14/177.29	c  177s |      19 |   701081 |   575982 |     1128   1154 |        0 |        0
179.24/179.31	c  179s |      19 |   708257 |   581982 |     1128   1163 |        0 |        0
181.23/181.34	c  181s |      19 |   714742 |   587682 |     1128   1172 |        0 |        0
183.23/183.36	c  183s |      19 |   721189 |   593182 |     1128   1181 |        0 |        0
185.23/185.37	c  185s |      19 |   728121 |   599082 |     1128   1191 |        0 |        0
187.33/187.40	c  187s |      19 |   735647 |   605382 |     1128   1201 |        0 |        0
189.33/189.41	c  189s |      19 |   742736 |   611482 |     1128   1211 |        0 |        0
191.33/191.42	c  191s |      19 |   749279 |   617282 |     1128   1220 |        0 |        0
193.32/193.44	c  193s |      19 |   755816 |   623082 |     1128   1229 |        0 |        0
195.32/195.47	c  195s |      19 |   762743 |   629082 |     1128   1239 |        0 |        0
197.33/197.49	c  197s |      19 |   769339 |   634882 |     1128   1248 |        0 |        0
199.43/199.50	c  199s |      19 |   776922 |   641282 |     1128   1259 |        0 |        0
201.43/201.52	c  201s |      19 |   784526 |   647682 |     1128   1269 |        0 |        0
203.43/203.54	c  203s |      19 |   791683 |   653882 |     1128   1279 |        0 |        0
205.43/205.55	c  205s |      19 |   799302 |   660082 |     1128   1289 |        0 |        0
207.43/207.56	c  207s |      19 |   807121 |   666682 |     1241   1299 |        0 |        0
207.43/207.59	c  207s |      20 |   807297 |   666827 |     1241   1299 |        0 |        0
209.53/209.62	c  209s |      20 |   815483 |   673427 |     1241   1308 |        0 |        0
211.52/211.63	c  211s |      20 |   822556 |   679227 |     1241   1317 |        0 |        0
213.52/213.65	c  213s |      20 |   829559 |   684827 |     1241   1325 |        0 |        0
215.53/215.66	c  215s |      20 |   836484 |   690327 |     1241   1333 |        0 |        0
217.52/217.68	c  217s |      20 |   843532 |   696227 |     1241   1342 |        0 |        0
219.62/219.71	c  219s |      20 |   850247 |   701827 |     1241   1350 |        0 |        0
221.62/221.73	c  221s |      20 |   856568 |   706827 |     1241   1358 |        0 |        0
223.62/223.74	c  223s |      20 |   863452 |   712327 |     1241   1365 |        0 |        0
225.62/225.76	c  225s |      20 |   869839 |   717427 |     1241   1373 |        0 |        0
227.62/227.78	c  227s |      20 |   876550 |   722927 |     1241   1381 |        0 |        0
229.62/229.78	c  229s |      20 |   884854 |   729027 |     1241   1390 |        0 |        0
231.71/231.80	c  231s |      20 |   891754 |   734827 |     1241   1398 |        0 |        0
233.71/233.82	c  233s |      20 |   898214 |   740427 |     1241   1406 |        0 |        0
235.71/235.83	c  235s |      20 |   904609 |   745927 |     1241   1414 |        0 |        0
237.71/237.87	c  237s |      20 |   911689 |   751527 |     1241   1422 |        0 |        0
239.82/239.91	c  239s |      20 |   917692 |   756727 |     1241   1430 |        0 |        0
241.81/241.91	c  241s |      20 |   925660 |   762227 |     1241   1437 |        0 |        0
243.80/243.92	c  243s |      20 |   935076 |   768127 |     1241   1446 |        0 |        0
245.80/245.94	c  245s |      20 |   941961 |   774127 |     1241   1454 |        0 |        0
247.80/247.97	c  247s |      20 |   949258 |   780227 |     1241   1463 |        0 |        0
249.80/249.97	c  249s |      20 |   956225 |   785927 |     1241   1471 |        0 |        0
251.81/251.98	c  251s |      20 |   962596 |   791427 |     1241   1479 |        0 |        0
253.90/254.00	c  253s |      20 |   969263 |   797127 |     1241   1487 |        0 |        0
255.90/256.04	c  256s |      20 |   975507 |   802527 |     1241   1494 |        0 |        0
257.90/258.06	c  258s |      20 |   982132 |   808127 |     1241   1502 |        0 |        0
259.90/260.10	c  260s |      20 |   988734 |   813727 |     1241   1510 |        0 |        0
261.99/262.12	c  262s |      20 |   995387 |   819227 |     1241   1518 |        0 |        0
264.00/264.13	c  264s |      20 |  1002190 |   825027 |     1241   1526 |        0 |        0
265.99/266.15	c  266s |      20 |  1008955 |   831027 |     1241   1535 |        0 |        0
267.99/268.18	c  268s |      20 |  1016076 |   837227 |     1241   1543 |        0 |        0
270.09/270.22	c  270s |      20 |  1022566 |   842927 |     1241   1552 |        0 |        0
272.09/272.25	c  272s |      20 |  1028591 |   848327 |     1241   1559 |        0 |        0
274.09/274.28	c  274s |      20 |  1035260 |   853827 |     1241   1567 |        0 |        0
276.19/276.30	c  276s |      20 |  1042243 |   859627 |     1241   1575 |        0 |        0
278.19/278.31	c  278s |      20 |  1049079 |   865027 |     1241   1583 |        0 |        0
280.19/280.32	c  280s |      20 |  1056044 |   870727 |     1241   1591 |        0 |        0
282.18/282.32	c  282s |      20 |  1062030 |   875727 |     1241   1598 |        0 |        0
284.18/284.36	c  284s |      20 |  1069016 |   881427 |     1241   1606 |        0 |        0
286.18/286.37	c  286s |      20 |  1075291 |   886827 |     1241   1614 |        0 |        0
288.28/288.40	c  288s |      20 |  1081866 |   892227 |     1241   1622 |        0 |        0
290.30/290.42	c  290s |      20 |  1089465 |   898527 |     1241   1630 |        0 |        0
292.29/292.47	c  292s |      20 |  1096080 |   904227 |     1241   1639 |        0 |        0
294.29/294.48	c  294s |      20 |  1102854 |   909527 |     1241   1646 |        0 |        0
296.38/296.50	c  296s |      20 |  1108722 |   914527 |     1241   1653 |        0 |        0
298.38/298.52	c  298s |      20 |  1115059 |   919827 |     1241   1661 |        0 |        0
300.38/300.54	c  300s |      20 |  1121464 |   925227 |     1241   1668 |        0 |        0
302.39/302.54	c  302s |      20 |  1127818 |   930627 |     1241   1676 |        0 |        0
304.38/304.55	c  304s |      20 |  1134707 |   936127 |     1241   1684 |        0 |        0
306.38/306.57	c  306s |      20 |  1140972 |   941227 |     1241   1691 |        0 |        0
308.38/308.59	c  308s |      20 |  1146954 |   946027 |     1241   1698 |        0 |        0
310.48/310.60	c  310s |      20 |  1154625 |   951827 |     1241   1706 |        0 |        0
312.48/312.60	c  312s |      20 |  1162605 |   957727 |     1241   1715 |        0 |        0
314.49/314.62	c  314s |      20 |  1170849 |   963427 |     1241   1723 |        0 |        0
316.48/316.65	c  316s |      20 |  1179415 |   969227 |     1241   1731 |        0 |        0
318.48/318.65	c  318s |      20 |  1187851 |   975127 |     1241   1740 |        0 |        0
320.48/320.67	c  320s |      20 |  1197772 |   981627 |     1241   1749 |        0 |        0
322.48/322.67	c  322s |      20 |  1204498 |   987127 |     1241   1757 |        0 |        0
324.48/324.67	c  324s |      20 |  1210439 |   992127 |     1241   1764 |        0 |        0
326.58/326.71	c  326s |      20 |  1217674 |   998127 |     1366   1772 |        0 |        0
327.38/327.54	c  327s |      21 |  1220718 |  1000345 |     1366   1774 |        0 |        0
329.37/329.57	c  329s |      21 |  1227936 |  1005645 |     1366   1782 |        0 |        0
331.37/331.59	c  331s |      21 |  1235893 |  1011245 |     1366   1789 |        0 |        0
333.47/333.61	c  333s |      21 |  1243837 |  1016645 |     1366   1796 |        0 |        0
335.48/335.62	c  335s |      21 |  1251226 |  1022145 |     1366   1803 |        0 |        0
337.47/337.64	c  337s |      21 |  1259091 |  1027745 |     1366   1811 |        0 |        0
339.47/339.65	c  339s |      21 |  1267220 |  1033345 |     1366   1818 |        0 |        0
341.47/341.69	c  341s |      21 |  1274657 |  1038445 |     1366   1825 |        0 |        0
343.57/343.70	c  343s |      21 |  1282113 |  1043745 |     1366   1832 |        0 |        0
345.57/345.70	c  345s |      21 |  1290382 |  1049345 |     1366   1839 |        0 |        0
347.57/347.73	c  347s |      21 |  1297304 |  1054945 |     1366   1847 |        0 |        0
349.56/349.76	c  349s |      21 |  1304175 |  1060345 |     1366   1854 |        0 |        0
351.56/351.79	c  351s |      21 |  1311269 |  1065845 |     1366   1861 |        0 |        0
353.66/353.82	c  353s |      21 |  1318818 |  1071245 |     1366   1868 |        0 |        0
355.66/355.83	c  355s |      21 |  1326444 |  1076445 |     1366   1875 |        0 |        0
357.66/357.84	c  357s |      21 |  1333909 |  1082145 |     1366   1883 |        0 |        0
359.66/359.87	c  359s |      21 |  1342044 |  1087545 |     1366   1890 |        0 |        0
361.66/361.89	c  361s |      21 |  1348978 |  1092545 |     1366   1896 |        0 |        0
363.75/363.91	c  363s |      21 |  1358398 |  1098145 |     1366   1904 |        0 |        0
365.75/365.93	c  365s |      21 |  1366432 |  1103645 |     1366   1911 |        0 |        0
367.75/367.95	c  367s |      21 |  1373527 |  1109245 |     1366   1919 |        0 |        0
369.75/369.98	c  369s |      21 |  1379320 |  1114245 |     1366   1926 |        0 |        0
371.85/372.00	c  371s |      21 |  1385538 |  1119345 |     1366   1932 |        0 |        0
373.86/374.01	c  373s |      21 |  1391703 |  1124545 |     1366   1939 |        0 |        0
375.85/376.01	c  375s |      21 |  1398457 |  1130045 |     1366   1947 |        0 |        0
377.85/378.02	c  378s |      21 |  1405704 |  1135845 |     1366   1955 |        0 |        0
379.85/380.05	c  380s |      21 |  1412266 |  1141045 |     1366   1962 |        0 |        0
381.84/382.06	c  382s |      21 |  1418922 |  1146445 |     1366   1969 |        0 |        0
383.85/384.07	c  384s |      21 |  1425784 |  1151645 |     1366   1976 |        0 |        0
385.84/386.09	c  386s |      21 |  1432466 |  1157145 |     1366   1984 |        0 |        0
387.95/388.12	c  388s |      21 |  1439123 |  1162845 |     1366   1991 |        0 |        0
389.95/390.13	c  390s |      21 |  1445532 |  1168545 |     1366   1999 |        0 |        0
391.95/392.16	c  392s |      21 |  1452043 |  1174245 |     1366   2007 |        0 |        0
393.95/394.16	c  394s |      21 |  1458381 |  1179545 |     1366   2014 |        0 |        0
395.95/396.18	c  396s |      21 |  1466407 |  1185045 |     1366   2021 |        0 |        0
398.05/398.21	c  398s |      21 |  1474270 |  1190745 |     1366   2029 |        0 |        0
400.05/400.23	c  400s |      21 |  1481650 |  1196445 |     1366   2036 |        0 |        0
402.04/402.25	c  402s |      21 |  1489382 |  1201845 |     1366   2044 |        0 |        0
404.04/404.27	c  404s |      21 |  1497073 |  1207745 |     1366   2051 |        0 |        0
406.14/406.30	c  406s |      21 |  1505132 |  1213845 |     1366   2060 |        0 |        0
408.14/408.31	c  408s |      21 |  1511925 |  1219545 |     1366   2067 |        0 |        0
410.15/410.32	c  410s |      21 |  1518349 |  1224945 |     1366   2074 |        0 |        0
412.14/412.37	c  412s |      21 |  1524932 |  1230145 |     1366   2081 |        0 |        0
414.24/414.41	c  414s |      21 |  1531670 |  1235745 |     1366   2088 |        0 |        0
416.24/416.46	c  416s |      21 |  1538589 |  1241045 |     1366   2095 |        0 |        0
418.24/418.46	c  418s |      21 |  1545850 |  1246445 |     1366   2103 |        0 |        0
420.24/420.49	c  420s |      21 |  1553085 |  1252045 |     1366   2110 |        0 |        0
422.34/422.53	c  422s |      21 |  1560108 |  1257445 |     1366   2117 |        0 |        0
424.33/424.54	c  424s |      21 |  1567474 |  1263045 |     1366   2124 |        0 |        0
426.33/426.57	c  426s |      21 |  1574599 |  1268545 |     1366   2132 |        0 |        0
428.33/428.58	c  428s |      21 |  1581424 |  1273945 |     1366   2139 |        0 |        0
430.43/430.61	c  430s |      21 |  1588690 |  1279645 |     1366   2146 |        0 |        0
432.43/432.63	c  432s |      21 |  1595225 |  1284945 |     1366   2153 |        0 |        0
434.43/434.64	c  434s |      21 |  1602048 |  1290245 |     1366   2161 |        0 |        0
436.42/436.67	c  436s |      21 |  1608870 |  1295345 |     1366   2167 |        0 |        0
438.52/438.71	c  438s |      21 |  1615301 |  1300645 |     1366   2174 |        0 |        0
440.52/440.73	c  440s |      21 |  1621432 |  1305745 |     1366   2181 |        0 |        0
442.52/442.76	c  442s |      21 |  1628071 |  1311245 |     1366   2188 |        0 |        0
444.62/444.80	c  444s |      21 |  1634256 |  1316445 |     1366   2195 |        0 |        0
446.62/446.80	c  446s |      21 |  1640346 |  1321545 |     1366   2202 |        0 |        0
448.62/448.81	c  448s |      21 |  1646951 |  1326945 |     1366   2209 |        0 |        0
450.61/450.83	c  450s |      21 |  1654028 |  1332645 |     1366   2217 |        0 |        0
452.61/452.86	c  452s |      21 |  1660380 |  1338045 |     1366   2224 |        0 |        0
454.71/454.90	c  454s |      21 |  1667109 |  1343445 |     1366   2231 |        0 |        0
456.72/456.93	c  456s |      21 |  1673278 |  1348545 |     1366   2238 |        0 |        0
458.72/458.97	c  458s |      21 |  1679326 |  1353845 |     1366   2246 |        0 |        0
460.73/460.98	c  460s |      21 |  1685652 |  1359245 |     1366   2253 |        0 |        0
462.82/463.00	c  462s |      21 |  1692478 |  1365045 |     1366   2261 |        0 |        0
464.81/465.03	c  465s |      21 |  1698653 |  1370345 |     1366   2268 |        0 |        0
466.81/467.04	c  467s |      21 |  1706074 |  1376445 |     1366   2276 |        0 |        0
468.81/469.05	c  469s |      21 |  1713175 |  1382345 |     1366   2284 |        0 |        0
470.81/471.08	c  471s |      21 |  1720458 |  1388245 |     1366   2292 |        0 |        0
472.82/473.09	c  473s |      21 |  1727551 |  1394045 |     1366   2299 |        0 |        0
474.81/475.09	c  475s |      21 |  1735071 |  1399745 |     1366   2307 |        0 |        0
476.91/477.10	c  477s |      21 |  1742735 |  1404845 |     1366   2314 |        0 |        0
478.91/479.12	c  479s |      21 |  1749512 |  1410145 |     1366   2321 |        0 |        0
480.91/481.14	c  481s |      21 |  1755659 |  1415245 |     1366   2327 |        0 |        0
482.91/483.14	c  483s |      21 |  1761870 |  1420245 |     1366   2334 |        0 |        0
484.91/485.18	c  485s |      21 |  1768377 |  1425645 |     1366   2341 |        0 |        0
487.00/487.20	c  487s |      21 |  1775257 |  1431145 |     1366   2349 |        0 |        0
489.00/489.22	c  489s |      21 |  1781938 |  1436545 |     1366   2356 |        0 |        0
491.00/491.24	c  491s |      21 |  1788987 |  1442145 |     1366   2363 |        0 |        0
493.00/493.26	c  493s |      21 |  1795648 |  1447645 |     1366   2370 |        0 |        0
495.00/495.28	c  495s |      21 |  1802128 |  1453045 |     1366   2378 |        0 |        0
497.01/497.30	c  497s |      21 |  1808830 |  1458345 |     1366   2385 |        0 |        0
499.10/499.34	c  499s |      21 |  1815297 |  1463545 |     1366   2392 |        0 |        0
501.10/501.37	c  501s |      21 |  1822505 |  1469145 |     1366   2399 |        0 |        0
503.09/503.39	c  503s |      21 |  1829141 |  1474345 |     1366   2406 |        0 |        0
505.19/505.40	c  505s |      21 |  1835503 |  1479445 |     1366   2413 |        0 |        0
507.19/507.43	c  507s |      21 |  1842079 |  1484845 |     1366   2420 |        0 |        0
509.20/509.44	c  509s |      21 |  1849586 |  1490545 |     1503   2427 |        0 |        0
511.19/511.45	c  511s |      21 |  1858038 |  1496245 |     1503   2434 |        0 |        0
512.79/513.01	c  512s |      22 |  1863133 |  1500622 |     1503   2439 |        0 |        0
514.79/515.04	c  515s |      22 |  1871491 |  1506422 |     1503   2447 |        0 |        0
516.80/517.05	c  517s |      22 |  1878245 |  1512322 |     1503   2454 |        0 |        0
518.79/519.06	c  519s |      22 |  1885629 |  1518322 |     1503   2461 |        0 |        0
520.79/521.09	c  521s |      22 |  1893637 |  1524122 |     1503   2469 |        0 |        0
522.88/523.12	c  523s |      22 |  1901853 |  1530522 |     1503   2476 |        0 |        0
524.88/525.15	c  525s |      22 |  1909705 |  1536722 |     1503   2484 |        0 |        0
526.88/527.17	c  527s |      22 |  1916894 |  1542222 |     1503   2491 |        0 |        0
528.89/529.19	c  529s |      22 |  1924897 |  1548222 |     1503   2498 |        0 |        0
530.98/531.20	c  531s |      22 |  1933748 |  1554122 |     1503   2506 |        0 |        0
532.98/533.21	c  533s |      22 |  1942438 |  1560322 |     1503   2513 |        0 |        0
534.98/535.22	c  535s |      22 |  1951137 |  1566822 |     1503   2521 |        0 |        0
536.98/537.24	c  537s |      22 |  1959092 |  1573122 |     1503   2529 |        0 |        0
538.98/539.26	c  539s |      22 |  1967197 |  1579822 |     1503   2537 |        0 |        0
540.98/541.27	c  541s |      22 |  1974521 |  1586322 |     1503   2545 |        0 |        0
542.97/543.27	c  543s |      22 |  1982009 |  1592722 |     1503   2553 |        0 |        0
544.97/545.29	c  545s |      22 |  1990511 |  1599422 |     1503   2562 |        0 |        0
546.97/547.29	c  547s |      22 |  1999619 |  1606522 |     1503   2570 |        0 |        0
549.07/549.31	c  549s |      22 |  2006895 |  1612922 |     1503   2578 |        0 |        0
551.07/551.34	c  551s |      22 |  2014055 |  1618922 |     1503   2586 |        0 |        0
553.07/553.36	c  553s |      22 |  2022050 |  1625122 |     1503   2593 |        0 |        0
555.07/555.39	c  555s |      22 |  2029839 |  1631022 |     1503   2601 |        0 |        0
557.07/557.39	c  557s |      22 |  2037328 |  1636722 |     1503   2608 |        0 |        0
559.17/559.42	c  559s |      22 |  2044966 |  1642822 |     1503   2615 |        0 |        0
561.16/561.43	c  561s |      22 |  2051925 |  1648922 |     1503   2623 |        0 |        0
563.16/563.45	c  563s |      22 |  2059789 |  1655822 |     1503   2631 |        0 |        0
565.17/565.46	c  565s |      22 |  2067176 |  1662322 |     1503   2640 |        0 |        0
567.16/567.47	c  567s |      22 |  2074563 |  1668922 |     1503   2648 |        0 |        0
569.16/569.49	c  569s |      22 |  2082213 |  1675322 |     1503   2656 |        0 |        0
571.26/571.51	c  571s |      22 |  2089523 |  1681522 |     1503   2664 |        0 |        0
573.26/573.52	c  573s |      22 |  2095794 |  1686922 |     1503   2670 |        0 |        0
575.26/575.53	c  575s |      22 |  2101911 |  1692122 |     1503   2677 |        0 |        0
577.26/577.54	c  577s |      22 |  2108669 |  1697922 |     1503   2684 |        0 |        0
579.26/579.55	c  579s |      22 |  2114962 |  1703222 |     1503   2691 |        0 |        0
581.25/581.57	c  581s |      22 |  2121927 |  1709122 |     1503   2698 |        0 |        0
583.35/583.62	c  583s |      22 |  2128636 |  1714922 |     1503   2706 |        0 |        0
585.35/585.64	c  585s |      22 |  2135009 |  1720622 |     1503   2713 |        0 |        0
587.35/587.67	c  587s |      22 |  2141132 |  1725822 |     1503   2719 |        0 |        0
589.37/589.68	c  589s |      22 |  2147226 |  1731122 |     1503   2726 |        0 |        0
591.45/591.70	c  591s |      22 |  2153876 |  1737022 |     1503   2734 |        0 |        0
593.45/593.72	c  593s |      22 |  2161444 |  1743722 |     1503   2742 |        0 |        0
595.45/595.75	c  595s |      22 |  2169102 |  1750522 |     1503   2751 |        0 |        0
597.45/597.76	c  597s |      22 |  2176264 |  1756822 |     1503   2758 |        0 |        0
599.45/599.79	c  599s |      22 |  2183679 |  1763322 |     1503   2767 |        0 |        0
601.55/601.80	c  601s |      22 |  2191472 |  1770122 |     1503   2775 |        0 |        0
603.55/603.81	c  603s |      22 |  2198563 |  1776522 |     1503   2783 |        0 |        0
605.55/605.84	c  605s |      22 |  2205398 |  1782522 |     1503   2791 |        0 |        0
607.55/607.87	c  607s |      22 |  2212150 |  1788522 |     1503   2798 |        0 |        0
609.55/609.88	c  609s |      22 |  2219067 |  1794622 |     1503   2806 |        0 |        0
611.64/611.91	c  611s |      22 |  2226571 |  1801222 |     1503   2814 |        0 |        0
613.65/613.92	c  613s |      22 |  2234140 |  1808022 |     1503   2823 |        0 |        0
615.64/615.95	c  615s |      22 |  2241158 |  1814122 |     1503   2830 |        0 |        0
617.64/617.98	c  617s |      22 |  2248799 |  1820322 |     1503   2838 |        0 |        0
619.74/620.01	c  619s |      22 |  2255294 |  1825722 |     1503   2845 |        0 |        0
621.73/622.02	c  622s |      22 |  2261766 |  1831122 |     1503   2852 |        0 |        0
623.73/624.02	c  624s |      22 |  2268249 |  1836422 |     1503   2859 |        0 |        0
625.74/626.05	c  626s |      22 |  2274589 |  1841622 |     1503   2865 |        0 |        0
627.73/628.06	c  628s |      22 |  2280673 |  1846922 |     1503   2872 |        0 |        0
629.73/630.07	c  630s |      22 |  2288102 |  1853422 |     1503   2880 |        0 |        0
631.73/632.09	c  632s |      22 |  2295872 |  1860022 |     1503   2889 |        0 |        0
633.83/634.11	c  634s |      22 |  2303843 |  1866822 |     1503   2897 |        0 |        0
635.83/636.11	c  636s |      22 |  2310392 |  1872522 |     1503   2904 |        0 |        0
637.83/638.12	c  638s |      22 |  2317588 |  1878922 |     1503   2913 |        0 |        0
639.83/640.13	c  640s |      22 |  2324966 |  1885522 |     1503   2921 |        0 |        0
641.82/642.16	c  642s |      22 |  2332744 |  1892422 |     1503   2930 |        0 |        0
643.82/644.19	c  644s |      22 |  2340623 |  1899422 |     1503   2939 |        0 |        0
645.92/646.21	c  646s |      22 |  2347601 |  1905722 |     1503   2946 |        0 |        0
647.92/648.22	c  648s |      22 |  2354929 |  1912222 |     1503   2955 |        0 |        0
649.93/650.24	c  650s |      22 |  2363000 |  1919122 |     1503   2963 |        0 |        0
651.92/652.26	c  652s |      22 |  2370648 |  1925722 |     1503   2972 |        0 |        0
653.92/654.28	c  654s |      22 |  2377844 |  1932022 |     1503   2980 |        0 |        0
655.92/656.29	c  656s |      22 |  2385729 |  1938922 |     1503   2989 |        0 |        0
657.91/658.29	c  658s |      22 |  2393845 |  1945922 |     1503   2997 |        0 |        0
660.01/660.31	c  660s |      22 |  2401732 |  1952422 |     1503   3006 |        0 |        0
662.02/662.33	c  662s |      22 |  2408686 |  1958422 |     1503   3013 |        0 |        0
664.01/664.34	c  664s |      22 |  2415326 |  1964322 |     1503   3020 |        0 |        0
666.01/666.36	c  666s |      22 |  2422967 |  1970922 |     1503   3028 |        0 |        0
668.01/668.36	c  668s |      22 |  2430578 |  1977322 |     1503   3036 |        0 |        0
670.01/670.37	c  670s |      22 |  2438420 |  1983922 |     1503   3045 |        0 |        0
672.00/672.38	c  672s |      22 |  2446047 |  1990322 |     1503   3052 |        0 |        0
674.11/674.41	c  674s |      22 |  2453326 |  1996722 |     1503   3060 |        0 |        0
676.10/676.43	c  676s |      22 |  2459608 |  2002222 |     1503   3067 |        0 |        0
678.10/678.45	c  678s |      22 |  2466174 |  2008122 |     1503   3074 |        0 |        0
680.10/680.46	c  680s |      22 |  2473245 |  2014522 |     1503   3082 |        0 |        0
682.10/682.49	c  682s |      22 |  2479980 |  2020622 |     1503   3090 |        0 |        0
684.10/684.49	c  684s |      22 |  2487167 |  2026922 |     1503   3098 |        0 |        0
686.10/686.50	c  686s |      22 |  2493883 |  2032822 |     1503   3105 |        0 |        0
688.20/688.52	c  688s |      22 |  2500650 |  2038722 |     1503   3112 |        0 |        0
690.20/690.56	c  690s |      22 |  2507395 |  2044422 |     1503   3119 |        0 |        0
692.19/692.57	c  692s |      22 |  2514703 |  2050522 |     1503   3127 |        0 |        0
694.19/694.58	c  694s |      22 |  2522365 |  2056622 |     1503   3134 |        0 |        0
696.29/696.61	c  696s |      22 |  2530287 |  2063022 |     1503   3142 |        0 |        0
698.30/698.61	c  698s |      22 |  2537128 |  2068822 |     1503   3149 |        0 |        0
700.29/700.63	c  700s |      22 |  2545006 |  2075122 |     1503   3157 |        0 |        0
702.29/702.65	c  702s |      22 |  2552641 |  2081522 |     1503   3165 |        0 |        0
704.29/704.69	c  704s |      22 |  2559628 |  2087522 |     1503   3172 |        0 |        0
706.39/706.71	c  706s |      22 |  2566831 |  2093622 |     1503   3180 |        0 |        0
708.39/708.73	c  708s |      22 |  2574759 |  2100022 |     1503   3188 |        0 |        0
710.39/710.76	c  710s |      22 |  2581489 |  2105922 |     1503   3195 |        0 |        0
712.38/712.77	c  712s |      22 |  2588146 |  2111622 |     1503   3202 |        0 |        0
714.48/714.80	c  714s |      22 |  2595539 |  2117622 |     1503   3210 |        0 |        0
716.48/716.81	c  716s |      22 |  2602432 |  2123422 |     1503   3217 |        0 |        0
718.48/718.81	c  718s |      22 |  2609393 |  2129422 |     1503   3224 |        0 |        0
720.48/720.85	c  720s |      22 |  2616639 |  2135622 |     1503   3231 |        0 |        0
722.49/722.86	c  722s |      22 |  2623224 |  2141422 |     1503   3239 |        0 |        0
724.48/724.89	c  724s |      22 |  2630144 |  2147422 |     1503   3246 |        0 |        0
726.59/726.92	c  726s |      22 |  2636875 |  2153422 |     1503   3253 |        0 |        0
728.59/728.94	c  728s |      22 |  2644541 |  2160222 |     1503   3262 |        0 |        0
730.59/730.94	c  730s |      22 |  2651874 |  2166622 |     1503   3270 |        0 |        0
732.59/732.95	c  732s |      22 |  2659140 |  2172922 |     1503   3278 |        0 |        0
734.60/734.96	c  734s |      22 |  2666783 |  2179522 |     1503   3286 |        0 |        0
736.59/736.97	c  736s |      22 |  2674072 |  2185722 |     1503   3293 |        0 |        0
738.59/738.98	c  738s |      22 |  2681047 |  2192022 |     1503   3301 |        0 |        0
740.69/741.01	c  740s |      22 |  2688623 |  2198522 |     1503   3309 |        0 |        0
742.69/743.01	c  742s |      22 |  2695348 |  2204622 |     1503   3317 |        0 |        0
744.69/745.03	c  745s |      22 |  2702531 |  2210922 |     1503   3324 |        0 |        0
746.69/747.06	c  747s |      22 |  2709900 |  2217322 |     1503   3332 |        0 |        0
748.68/749.06	c  749s |      22 |  2716898 |  2223422 |     1503   3340 |        0 |        0
750.68/751.07	c  751s |      22 |  2724349 |  2229722 |     1503   3348 |        0 |        0
752.68/753.08	c  753s |      22 |  2732258 |  2236522 |     1654   3356 |        0 |        0
754.78/755.10	c  755s |      22 |  2739569 |  2242922 |     1654   3363 |        0 |        0
756.78/757.10	c  757s |      22 |  2747738 |  2249822 |     1654   3371 |        0 |        0
757.08/757.48	c  757s |      23 |  2749133 |  2251038 |     1654   3372 |        0 |        0
759.08/759.49	c  759s |      23 |  2758319 |  2256638 |     1654   3378 |        0 |        0
761.18/761.50	c  761s |      23 |  2766044 |  2261838 |     1654   3384 |        0 |        0
763.19/763.51	c  763s |      23 |  2775256 |  2267138 |     1654   3390 |        0 |        0
765.18/765.52	c  765s |      23 |  2784043 |  2273038 |     1654   3396 |        0 |        0
767.18/767.52	c  767s |      23 |  2793341 |  2278838 |     1654   3403 |        0 |        0
769.18/769.55	c  769s |      23 |  2799783 |  2284338 |     1654   3409 |        0 |        0
771.18/771.59	c  771s |      23 |  2805413 |  2289338 |     1654   3414 |        0 |        0
773.18/773.59	c  773s |      23 |  2811333 |  2294138 |     1654   3420 |        0 |        0
775.18/775.60	c  775s |      23 |  2817148 |  2298838 |     1654   3425 |        0 |        0
777.28/777.60	c  777s |      23 |  2823472 |  2303538 |     1654   3430 |        0 |        0
779.28/779.63	c  779s |      23 |  2828291 |  2307638 |     1654   3435 |        0 |        0
781.28/781.66	c  781s |      23 |  2839105 |  2313638 |     1654   3442 |        0 |        0
783.27/783.66	c  783s |      23 |  2847619 |  2319038 |     1654   3448 |        0 |        0
785.27/785.67	c  785s |      23 |  2855268 |  2324838 |     1654   3454 |        0 |        0
787.28/787.68	c  787s |      23 |  2862142 |  2330138 |     1654   3460 |        0 |        0
789.37/789.71	c  789s |      23 |  2868663 |  2335638 |     1654   3466 |        0 |        0
791.37/791.75	c  791s |      23 |  2875469 |  2341138 |     1654   3472 |        0 |        0
793.37/793.76	c  793s |      23 |  2882317 |  2346338 |     1654   3478 |        0 |        0
795.37/795.79	c  795s |      23 |  2887675 |  2350838 |     1654   3483 |        0 |        0
797.47/797.82	c  797s |      23 |  2893494 |  2355438 |     1654   3488 |        0 |        0
799.48/799.85	c  799s |      23 |  2899098 |  2359938 |     1654   3493 |        0 |        0
801.47/801.89	c  801s |      23 |  2904494 |  2364238 |     1654   3498 |        0 |        0
803.58/803.91	c  803s |      23 |  2910633 |  2368838 |     1654   3503 |        0 |        0
805.58/805.92	c  805s |      23 |  2917424 |  2374738 |     1654   3510 |        0 |        0
807.58/807.96	c  807s |      23 |  2925416 |  2380738 |     1654   3516 |        0 |        0
809.68/810.00	c  809s |      23 |  2931186 |  2385538 |     1654   3522 |        0 |        0
811.68/812.02	c  812s |      23 |  2936519 |  2390138 |     1654   3527 |        0 |        0
813.68/814.04	c  814s |      23 |  2941801 |  2394738 |     1654   3532 |        0 |        0
815.68/816.04	c  816s |      23 |  2946977 |  2399238 |     1654   3537 |        0 |        0
817.68/818.04	c  818s |      23 |  2952950 |  2404438 |     1654   3543 |        0 |        0
819.68/820.05	c  820s |      23 |  2958632 |  2409438 |     1654   3548 |        0 |        0
821.68/822.07	c  822s |      23 |  2963880 |  2413838 |     1654   3553 |        0 |        0
823.68/824.09	c  824s |      23 |  2969448 |  2418538 |     1654   3558 |        0 |        0
825.68/826.10	c  826s |      23 |  2975162 |  2423438 |     1654   3564 |        0 |        0
827.78/828.13	c  828s |      23 |  2980743 |  2428238 |     1654   3569 |        0 |        0
829.77/830.16	c  830s |      23 |  2986074 |  2432838 |     1654   3574 |        0 |        0
831.87/832.20	c  832s |      23 |  2991408 |  2437538 |     1654   3580 |        0 |        0
833.87/834.21	c  834s |      23 |  2997459 |  2442838 |     1654   3586 |        0 |        0
835.87/836.24	c  836s |      23 |  3003570 |  2448138 |     1654   3591 |        0 |        0
837.88/838.24	c  838s |      23 |  3009101 |  2453038 |     1654   3597 |        0 |        0
839.87/840.25	c  840s |      23 |  3014821 |  2457938 |     1654   3602 |        0 |        0
841.87/842.26	c  842s |      23 |  3020153 |  2462538 |     1654   3608 |        0 |        0
843.97/844.30	c  844s |      23 |  3025512 |  2467238 |     1654   3613 |        0 |        0
845.97/846.33	c  846s |      23 |  3030941 |  2472038 |     1654   3618 |        0 |        0
847.97/848.37	c  848s |      23 |  3035987 |  2476538 |     1654   3623 |        0 |        0
849.98/850.39	c  850s |      23 |  3041716 |  2481438 |     1654   3629 |        0 |        0
852.07/852.41	c  852s |      23 |  3047613 |  2486438 |     1654   3634 |        0 |        0
854.07/854.42	c  854s |      23 |  3053117 |  2491138 |     1654   3640 |        0 |        0
856.07/856.46	c  856s |      23 |  3058264 |  2495638 |     1654   3645 |        0 |        0
858.07/858.49	c  858s |      23 |  3063446 |  2500238 |     1654   3650 |        0 |        0
860.17/860.53	c  860s |      23 |  3068826 |  2504938 |     1654   3655 |        0 |        0
862.17/862.56	c  862s |      23 |  3075286 |  2510438 |     1654   3661 |        0 |        0
864.17/864.60	c  864s |      23 |  3081299 |  2515738 |     1654   3667 |        0 |        0
866.27/866.62	c  866s |      23 |  3087268 |  2521038 |     1654   3673 |        0 |        0
868.27/868.64	c  868s |      23 |  3092837 |  2526038 |     1654   3679 |        0 |        0
870.27/870.66	c  870s |      23 |  3098570 |  2531038 |     1654   3684 |        0 |        0
872.27/872.68	c  872s |      23 |  3104540 |  2536038 |     1654   3690 |        0 |        0
874.37/874.71	c  874s |      23 |  3111396 |  2541138 |     1654   3696 |        0 |        0
876.37/876.71	c  876s |      23 |  3118129 |  2547138 |     1654   3702 |        0 |        0
878.37/878.73	c  878s |      23 |  3125427 |  2553538 |     1654   3709 |        0 |        0
880.37/880.76	c  880s |      23 |  3132811 |  2559838 |     1654   3716 |        0 |        0
882.36/882.79	c  882s |      23 |  3140064 |  2566038 |     1654   3723 |        0 |        0
884.46/884.81	c  884s |      23 |  3146951 |  2571938 |     1654   3729 |        0 |        0
886.46/886.82	c  886s |      23 |  3154027 |  2578038 |     1654   3736 |        0 |        0
888.47/888.84	c  888s |      23 |  3160763 |  2583938 |     1654   3742 |        0 |        0
890.46/890.87	c  890s |      23 |  3167804 |  2590038 |     1654   3749 |        0 |        0
892.46/892.88	c  892s |      23 |  3174628 |  2596038 |     1654   3756 |        0 |        0
894.56/894.91	c  894s |      23 |  3181406 |  2601938 |     1654   3762 |        0 |        0
896.56/896.92	c  896s |      23 |  3187898 |  2607638 |     1654   3768 |        0 |        0
898.56/898.94	c  898s |      23 |  3194287 |  2613238 |     1654   3774 |        0 |        0
900.57/900.94	c  900s |      23 |  3202062 |  2618938 |     1654   3781 |        0 |        0
902.56/902.95	c  902s |      23 |  3208442 |  2624238 |     1654   3787 |        0 |        0
904.56/904.98	c  904s |      23 |  3214845 |  2629638 |     1654   3793 |        0 |        0
906.56/906.98	c  906s |      23 |  3221060 |  2634838 |     1654   3799 |        0 |        0
908.65/909.01	c  908s |      23 |  3227481 |  2640238 |     1654   3805 |        0 |        0
910.65/911.05	c  911s |      23 |  3233269 |  2645138 |     1654   3811 |        0 |        0
912.66/913.09	c  913s |      23 |  3239753 |  2650638 |     1654   3817 |        0 |        0
914.66/915.09	c  915s |      23 |  3246047 |  2655938 |     1654   3823 |        0 |        0
916.76/917.14	c  917s |      23 |  3252263 |  2661138 |     1654   3829 |        0 |        0
918.76/919.16	c  919s |      23 |  3258140 |  2666338 |     1654   3835 |        0 |        0
920.76/921.17	c  921s |      23 |  3264188 |  2671538 |     1654   3841 |        0 |        0
922.76/923.19	c  923s |      23 |  3270660 |  2677038 |     1654   3847 |        0 |        0
924.77/925.19	c  925s |      23 |  3277120 |  2682638 |     1654   3854 |        0 |        0
926.86/927.21	c  927s |      23 |  3283289 |  2688038 |     1654   3860 |        0 |        0
928.86/929.23	c  929s |      23 |  3290021 |  2693738 |     1654   3866 |        0 |        0
930.86/931.25	c  931s |      23 |  3297089 |  2699938 |     1654   3873 |        0 |        0
932.86/933.28	c  933s |      23 |  3303660 |  2705538 |     1654   3880 |        0 |        0
934.96/935.30	c  935s |      23 |  3310370 |  2711438 |     1654   3887 |        0 |        0
936.97/937.32	c  937s |      23 |  3316968 |  2717138 |     1654   3893 |        0 |        0
938.96/939.34	c  939s |      23 |  3323413 |  2722738 |     1654   3900 |        0 |        0
940.96/941.35	c  941s |      23 |  3330136 |  2728638 |     1654   3906 |        0 |        0
942.96/943.37	c  943s |      23 |  3336772 |  2734438 |     1654   3913 |        0 |        0
944.96/945.37	c  945s |      23 |  3343518 |  2740238 |     1654   3920 |        0 |        0
946.96/947.38	c  947s |      23 |  3349293 |  2745438 |     1654   3926 |        0 |        0
949.06/949.40	c  949s |      23 |  3355447 |  2750838 |     1654   3932 |        0 |        0
951.06/951.43	c  951s |      23 |  3361507 |  2756138 |     1654   3938 |        0 |        0
953.06/953.46	c  953s |      23 |  3367672 |  2761438 |     1654   3944 |        0 |        0
955.06/955.48	c  955s |      23 |  3373584 |  2766438 |     1654   3950 |        0 |        0
957.16/957.51	c  957s |      23 |  3379616 |  2771238 |     1654   3955 |        0 |        0
959.16/959.53	c  959s |      23 |  3384786 |  2775638 |     1654   3960 |        0 |        0
961.16/961.53	c  961s |      23 |  3390654 |  2780538 |     1654   3966 |        0 |        0
963.15/963.56	c  963s |      23 |  3396639 |  2785638 |     1654   3972 |        0 |        0
965.15/965.58	c  965s |      23 |  3402741 |  2790838 |     1654   3978 |        0 |        0
967.25/967.61	c  967s |      23 |  3409134 |  2796238 |     1654   3984 |        0 |        0
969.25/969.63	c  969s |      23 |  3414713 |  2801038 |     1654   3989 |        0 |        0
971.25/971.64	c  971s |      23 |  3420776 |  2806138 |     1654   3995 |        0 |        0
973.26/973.68	c  973s |      23 |  3426587 |  2811038 |     1654   4001 |        0 |        0
975.25/975.68	c  975s |      23 |  3432626 |  2815838 |     1654   4006 |        0 |        0
977.35/977.70	c  977s |      23 |  3438822 |  2821038 |     1654   4012 |        0 |        0
979.35/979.70	c  979s |      23 |  3444812 |  2826338 |     1654   4018 |        0 |        0
981.35/981.71	c  981s |      23 |  3450414 |  2831238 |     1654   4024 |        0 |        0
983.35/983.73	c  983s |      23 |  3456451 |  2836338 |     1654   4030 |        0 |        0
985.36/985.74	c  985s |      23 |  3462458 |  2841338 |     1654   4035 |        0 |        0
987.35/987.76	c  987s |      23 |  3468339 |  2846238 |     1654   4041 |        0 |        0
989.35/989.78	c  989s |      23 |  3474343 |  2851238 |     1654   4047 |        0 |        0
991.45/991.80	c  991s |      23 |  3481499 |  2857538 |     1654   4054 |        0 |        0
993.45/993.81	c  993s |      23 |  3487769 |  2862938 |     1654   4060 |        0 |        0
995.45/995.84	c  995s |      23 |  3494037 |  2868238 |     1654   4066 |        0 |        0
997.45/997.87	c  997s |      23 |  3500533 |  2873638 |     1654   4072 |        0 |        0
999.45/999.87	c  999s |      23 |  3506935 |  2878838 |     1654   4078 |        0 |        0
1001.54/1001.91	c 1001s |      23 |  3512984 |  2883938 |     1654   4084 |        0 |        0
1003.54/1003.94	c 1003s |      23 |  3518500 |  2888638 |     1654   4090 |        0 |        0
1005.54/1005.96	c 1005s |      23 |  3524695 |  2894038 |     1654   4096 |        0 |        0
1007.54/1007.99	c 1007s |      23 |  3530351 |  2899038 |     1654   4102 |        0 |        0
1009.64/1010.00	c 1009s |      23 |  3535784 |  2903838 |     1654   4107 |        0 |        0
1011.54/1012.00	c 1011s |      23 |  3542203 |  2909438 |     1654   4114 |        0 |        0
1013.64/1014.02	c 1014s |      23 |  3548495 |  2914938 |     1654   4120 |        0 |        0
1015.65/1016.03	c 1016s |      23 |  3553974 |  2919838 |     1654   4125 |        0 |        0
1017.65/1018.07	c 1018s |      23 |  3559320 |  2924538 |     1654   4131 |        0 |        0
1019.75/1020.10	c 1020s |      23 |  3564835 |  2929238 |     1654   4136 |        0 |        0
1021.74/1022.14	c 1022s |      23 |  3569942 |  2933738 |     1654   4141 |        0 |        0
1023.75/1024.14	c 1024s |      23 |  3575287 |  2938138 |     1654   4146 |        0 |        0
1025.74/1026.17	c 1026s |      23 |  3581428 |  2943538 |     1654   4153 |        0 |        0
1027.84/1028.22	c 1028s |      23 |  3587242 |  2948738 |     1654   4158 |        0 |        0
1029.84/1030.23	c 1030s |      23 |  3592527 |  2953438 |     1654   4164 |        0 |        0
1031.84/1032.24	c 1032s |      23 |  3598155 |  2958238 |     1654   4169 |        0 |        0
1033.84/1034.27	c 1034s |      23 |  3603791 |  2963138 |     1654   4175 |        0 |        0
1035.85/1036.29	c 1036s |      23 |  3609264 |  2967838 |     1654   4180 |        0 |        0
1037.94/1038.31	c 1038s |      23 |  3614570 |  2972438 |     1654   4186 |        0 |        0
1039.94/1040.36	c 1040s |      23 |  3620305 |  2977438 |     1654   4191 |        0 |        0
1041.94/1042.37	c 1042s |      23 |  3625930 |  2982338 |     1654   4197 |        0 |        0
1043.94/1044.40	c 1044s |      23 |  3632010 |  2987738 |     1654   4203 |        0 |        0
1046.04/1046.40	c 1046s |      23 |  3638700 |  2993338 |     1654   4210 |        0 |        0
1048.04/1048.43	c 1048s |      23 |  3645361 |  2998938 |     1654   4216 |        0 |        0
1050.04/1050.45	c 1050s |      23 |  3651701 |  3004138 |     1654   4222 |        0 |        0
1052.04/1052.45	c 1052s |      23 |  3657576 |  3009138 |     1654   4228 |        0 |        0
1054.04/1054.46	c 1054s |      23 |  3664073 |  3014638 |     1654   4234 |        0 |        0
1056.04/1056.49	c 1056s |      23 |  3670202 |  3019538 |     1654   4240 |        0 |        0
1058.14/1058.53	c 1058s |      23 |  3677918 |  3025338 |     1654   4246 |        0 |        0
1060.14/1060.55	c 1060s |      23 |  3685052 |  3030938 |     1654   4252 |        0 |        0
1062.13/1062.58	c 1062s |      23 |  3691708 |  3036138 |     1654   4258 |        0 |        0
1064.13/1064.58	c 1064s |      23 |  3697916 |  3041138 |     1654   4264 |        0 |        0
1066.23/1066.61	c 1066s |      23 |  3704107 |  3046138 |     1654   4269 |        0 |        0
1068.23/1068.64	c 1068s |      23 |  3710308 |  3050938 |     1654   4275 |        0 |        0
1070.23/1070.65	c 1070s |      23 |  3716361 |  3055838 |     1654   4280 |        0 |        0
1072.24/1072.69	c 1072s |      23 |  3721838 |  3060538 |     1654   4285 |        0 |        0
1074.23/1074.69	c 1074s |      23 |  3727646 |  3065238 |     1654   4290 |        0 |        0
1076.33/1076.71	c 1076s |      23 |  3733199 |  3069938 |     1654   4296 |        0 |        0
1078.33/1078.74	c 1078s |      23 |  3739566 |  3074838 |     1654   4301 |        0 |        0
1080.33/1080.74	c 1080s |      23 |  3745159 |  3079438 |     1654   4306 |        0 |        0
1082.33/1082.78	c 1082s |      23 |  3751000 |  3084438 |     1654   4312 |        0 |        0
1084.34/1084.78	c 1084s |      23 |  3757404 |  3089238 |     1654   4317 |        0 |        0
1086.44/1086.82	c 1086s |      23 |  3763091 |  3094138 |     1654   4323 |        0 |        0
1088.43/1088.83	c 1088s |      23 |  3768580 |  3099038 |     1654   4328 |        0 |        0
1090.43/1090.85	c 1090s |      23 |  3774151 |  3103838 |     1654   4333 |        0 |        0
1092.43/1092.88	c 1092s |      23 |  3780487 |  3109038 |     1654   4339 |        0 |        0
1094.43/1094.88	c 1094s |      23 |  3786761 |  3114238 |     1654   4345 |        0 |        0
1096.44/1096.89	c 1096s |      23 |  3792849 |  3119438 |     1654   4351 |        0 |        0
1098.54/1098.91	c 1098s |      23 |  3798569 |  3124238 |     1654   4356 |        0 |        0
1100.53/1100.95	c 1100s |      23 |  3804549 |  3129238 |     1654   4362 |        0 |        0
1102.53/1102.95	c 1102s |      23 |  3810432 |  3134238 |     1654   4367 |        0 |        0
1104.53/1104.98	c 1104s |      23 |  3815611 |  3138838 |     1654   4372 |        0 |        0
1106.63/1107.00	c 1106s |      23 |  3821170 |  3143638 |     1654   4378 |        0 |        0
1108.62/1109.04	c 1109s |      23 |  3827302 |  3148638 |     1654   4383 |        0 |        0
1110.63/1111.04	c 1111s |      23 |  3832607 |  3153138 |     1654   4388 |        0 |        0
1112.62/1113.05	c 1113s |      23 |  3837556 |  3157338 |     1654   4393 |        0 |        0
1114.62/1115.06	c 1115s |      23 |  3842753 |  3161538 |     1654   4398 |        0 |        0
1116.62/1117.09	c 1117s |      23 |  3848115 |  3165838 |     1654   4402 |        0 |        0
1118.72/1119.13	c 1119s |      23 |  3853387 |  3170338 |     1654   4407 |        0 |        0
1120.73/1121.16	c 1121s |      23 |  3859337 |  3175038 |     1654   4413 |        0 |        0
1122.74/1123.18	c 1123s |      23 |  3864888 |  3179338 |     1654   4417 |        0 |        0
1124.73/1125.19	c 1125s |      23 |  3871531 |  3183338 |     1654   4422 |        0 |        0
1126.83/1127.23	c 1127s |      23 |  3876123 |  3187038 |     1654   4426 |        0 |        0
1128.83/1129.27	c 1129s |      23 |  3881518 |  3191138 |     1654   4430 |        0 |        0
1130.93/1131.30	c 1131s |      23 |  3888109 |  3196338 |     1654   4436 |        0 |        0
1132.93/1133.32	c 1133s |      23 |  3894123 |  3201538 |     1654   4442 |        0 |        0
1134.93/1135.36	c 1135s |      23 |  3899647 |  3206338 |     1654   4448 |        0 |        0
1136.93/1137.39	c 1137s |      23 |  3906652 |  3211438 |     1654   4453 |        0 |        0
1138.93/1139.39	c 1139s |      23 |  3914793 |  3216938 |     1654   4459 |        0 |        0
1141.03/1141.41	c 1141s |      23 |  3921985 |  3221938 |     1654   4465 |        0 |        0
1143.03/1143.45	c 1143s |      23 |  3929088 |  3227338 |     1654   4471 |        0 |        0
1145.02/1145.47	c 1145s |      23 |  3936220 |  3232538 |     1654   4477 |        0 |        0
1147.12/1147.50	c 1147s |      23 |  3945416 |  3237938 |     1654   4483 |        0 |        0
1149.13/1149.54	c 1149s |      23 |  3953318 |  3243438 |     1654   4489 |        0 |        0
1151.12/1151.55	c 1151s |      23 |  3959146 |  3248638 |     1654   4495 |        0 |        0
1153.12/1153.58	c 1153s |      23 |  3965971 |  3254238 |     1654   4501 |        0 |        0
1155.12/1155.58	c 1155s |      23 |  3974078 |  3259538 |     1654   4507 |        0 |        0
1157.22/1157.60	c 1157s |      23 |  3981639 |  3264838 |     1654   4513 |        0 |        0
1159.22/1159.60	c 1159s |      23 |  3988712 |  3269938 |     1654   4519 |        0 |        0
1161.23/1161.64	c 1161s |      23 |  3995525 |  3274838 |     1654   4524 |        0 |        0
1163.22/1163.64	c 1163s |      23 |  4002873 |  3280038 |     1654   4530 |        0 |        0
1165.22/1165.66	c 1165s |      23 |  4010534 |  3285338 |     1654   4536 |        0 |        0
1167.22/1167.69	c 1167s |      23 |  4017806 |  3290738 |     1654   4542 |        0 |        0
1169.22/1169.69	c 1169s |      23 |  4024602 |  3295638 |     1654   4547 |        0 |        0
1171.32/1171.71	c 1171s |      23 |  4030373 |  3300438 |     1654   4552 |        0 |        0
1173.32/1173.74	c 1173s |      23 |  4036047 |  3305238 |     1654   4558 |        0 |        0
1175.32/1175.76	c 1175s |      23 |  4042519 |  3311038 |     1654   4565 |        0 |        0
1177.32/1177.77	c 1177s |      23 |  4050072 |  3317038 |     1654   4571 |        0 |        0
1179.32/1179.78	c 1179s |      23 |  4059069 |  3322838 |     1654   4578 |        0 |        0
1181.32/1181.79	c 1181s |      23 |  4066441 |  3328538 |     1654   4584 |        0 |        0
1183.42/1183.81	c 1183s |      23 |  4072837 |  3333838 |     1654   4590 |        0 |        0
1185.42/1185.87	c 1185s |      23 |  4078281 |  3338638 |     1654   4596 |        0 |        0
1187.41/1187.89	c 1187s |      23 |  4085967 |  3344438 |     1654   4602 |        0 |        0
1189.51/1189.92	c 1189s |      23 |  4092892 |  3349938 |     1654   4608 |        0 |        0
1191.51/1191.96	c 1191s |      23 |  4099099 |  3354938 |     1820   4613 |        0 |        0
1193.51/1193.97	c 1193s |      23 |  4106239 |  3360838 |     1820   4619 |        0 |        0
1195.61/1196.02	c 1196s |      23 |  4112813 |  3366338 |     1820   4625 |        0 |        0
1197.62/1198.05	c 1198s |      23 |  4119582 |  3371338 |     1820   4630 |        0 |        0
1199.62/1200.08	c 1200s |      23 |  4125892 |  3376238 |     1820   4635 |        0 |        0
1199.83/1200.26	c 1200s |      24 |  4126441 |  3376662 |     1820   4635 |        0 |        0
1201.82/1202.27	c 1202s |      24 |  4133573 |  3381862 |     1820   4641 |        0 |        0
1203.92/1204.30	c 1204s |      24 |  4140660 |  3386762 |     1820   4646 |        0 |        0
1205.92/1206.34	c 1206s |      24 |  4146821 |  3390962 |     1820   4650 |        0 |        0
1207.92/1208.35	c 1208s |      24 |  4153605 |  3394962 |     1820   4654 |        0 |        0
1209.92/1210.39	c 1210s |      24 |  4159983 |  3399762 |     1820   4659 |        0 |        0
1212.02/1212.42	c 1212s |      24 |  4167821 |  3404962 |     1820   4664 |        0 |        0
1214.02/1214.45	c 1214s |      24 |  4175885 |  3410062 |     1820   4670 |        0 |        0
1216.02/1216.49	c 1216s |      24 |  4182030 |  3415462 |     1820   4675 |        0 |        0
1218.01/1218.49	c 1218s |      24 |  4187390 |  3420162 |     1820   4680 |        0 |        0
1220.11/1220.51	c 1220s |      24 |  4193634 |  3425162 |     1820   4685 |        0 |        0
1222.11/1222.54	c 1222s |      24 |  4199060 |  3429462 |     1820   4690 |        0 |        0
1224.11/1224.57	c 1224s |      24 |  4204938 |  3433662 |     1820   4694 |        0 |        0
1226.12/1226.58	c 1226s |      24 |  4209986 |  3437762 |     1820   4698 |        0 |        0
1228.21/1228.63	c 1228s |      24 |  4214477 |  3441562 |     1820   4702 |        0 |        0
1230.21/1230.67	c 1230s |      24 |  4219729 |  3446162 |     1820   4707 |        0 |        0
1232.31/1232.71	c 1232s |      24 |  4225759 |  3450762 |     1820   4711 |        0 |        0
1234.31/1234.73	c 1234s |      24 |  4231116 |  3454962 |     1820   4716 |        0 |        0
1236.31/1236.74	c 1236s |      24 |  4236553 |  3459662 |     1820   4720 |        0 |        0
1238.31/1238.77	c 1238s |      24 |  4241623 |  3464162 |     1820   4725 |        0 |        0
1240.31/1240.78	c 1240s |      24 |  4247483 |  3468562 |     1820   4730 |        0 |        0
1242.41/1242.80	c 1242s |      24 |  4254586 |  3474162 |     1820   4735 |        0 |        0
1244.40/1244.81	c 1244s |      24 |  4260629 |  3479462 |     1820   4741 |        0 |        0
1246.40/1246.86	c 1246s |      24 |  4267122 |  3485162 |     1820   4747 |        0 |        0
1248.41/1248.86	c 1248s |      24 |  4274082 |  3491262 |     1820   4753 |        0 |        0
1250.51/1250.90	c 1250s |      24 |  4281715 |  3496962 |     1820   4759 |        0 |        0
1252.52/1252.93	c 1252s |      24 |  4288641 |  3501962 |     1820   4764 |        0 |        0
1254.51/1254.94	c 1254s |      24 |  4293881 |  3506462 |     1820   4768 |        0 |        0
1256.51/1256.97	c 1256s |      24 |  4299609 |  3511162 |     1820   4773 |        0 |        0
1258.51/1258.97	c 1258s |      24 |  4306133 |  3516062 |     1820   4778 |        0 |        0
1260.61/1261.00	c 1260s |      24 |  4312681 |  3521062 |     1820   4783 |        0 |        0
1262.61/1263.02	c 1263s |      24 |  4318651 |  3525662 |     1820   4788 |        0 |        0
1264.61/1265.06	c 1265s |      24 |  4323977 |  3530362 |     1820   4793 |        0 |        0
1266.61/1267.06	c 1267s |      24 |  4329084 |  3534962 |     1820   4798 |        0 |        0
1268.61/1269.09	c 1269s |      24 |  4335174 |  3539862 |     1820   4803 |        0 |        0
1270.71/1271.10	c 1271s |      24 |  4342014 |  3544562 |     1820   4808 |        0 |        0
1272.71/1273.14	c 1273s |      24 |  4348496 |  3549662 |     1820   4813 |        0 |        0
1274.71/1275.14	c 1275s |      24 |  4354980 |  3554362 |     1820   4818 |        0 |        0
1276.71/1277.18	c 1277s |      24 |  4360570 |  3559162 |     1820   4823 |        0 |        0
1278.70/1279.19	c 1279s |      24 |  4366136 |  3563562 |     1820   4828 |        0 |        0
1280.80/1281.22	c 1281s |      24 |  4372587 |  3568062 |     1820   4832 |        0 |        0
1282.80/1283.24	c 1283s |      24 |  4379722 |  3573662 |     1820   4838 |        0 |        0
1284.80/1285.27	c 1285s |      24 |  4387711 |  3579762 |     1820   4845 |        0 |        0
1286.80/1287.28	c 1287s |      24 |  4394938 |  3585962 |     1820   4851 |        0 |        0
1288.81/1289.29	c 1289s |      24 |  4402205 |  3591962 |     1820   4857 |        0 |        0
1290.90/1291.32	c 1291s |      24 |  4408984 |  3597462 |     1820   4863 |        0 |        0
1292.90/1293.34	c 1293s |      24 |  4416285 |  3602862 |     1820   4869 |        0 |        0
1294.90/1295.35	c 1295s |      24 |  4424884 |  3608662 |     1820   4874 |        0 |        0
1296.90/1297.39	c 1297s |      24 |  4433437 |  3614162 |     1820   4880 |        0 |        0
1299.00/1299.42	c 1299s |      24 |  4439246 |  3619162 |     1820   4885 |        0 |        0
1301.00/1301.44	c 1301s |      24 |  4445550 |  3624562 |     1820   4891 |        0 |        0
1303.00/1303.48	c 1303s |      24 |  4451418 |  3629662 |     1820   4896 |        0 |        0
1305.10/1305.51	c 1305s |      24 |  4457950 |  3634862 |     1820   4901 |        0 |        0
1307.10/1307.55	c 1307s |      24 |  4463958 |  3639862 |     1820   4907 |        0 |        0
1309.10/1309.57	c 1309s |      24 |  4470874 |  3645562 |     1820   4912 |        0 |        0
1311.19/1311.61	c 1311s |      24 |  4478352 |  3651462 |     1820   4918 |        0 |        0
1313.19/1313.64	c 1313s |      24 |  4484984 |  3657162 |     1820   4924 |        0 |        0
1315.20/1315.66	c 1315s |      24 |  4491284 |  3662462 |     1820   4930 |        0 |        0
1317.19/1317.69	c 1317s |      24 |  4497914 |  3667962 |     1820   4936 |        0 |        0
1319.29/1319.71	c 1319s |      24 |  4504240 |  3673262 |     1820   4941 |        0 |        0
1321.29/1321.73	c 1321s |      24 |  4510211 |  3678362 |     1820   4946 |        0 |        0
1323.29/1323.75	c 1323s |      24 |  4516985 |  3684162 |     1820   4952 |        0 |        0
1325.29/1325.75	c 1325s |      24 |  4523050 |  3689562 |     1820   4958 |        0 |        0
1327.30/1327.78	c 1327s |      24 |  4529087 |  3694962 |     1820   4963 |        0 |        0
1329.39/1329.82	c 1329s |      24 |  4535429 |  3700562 |     1820   4969 |        0 |        0
1331.39/1331.85	c 1331s |      24 |  4540863 |  3705562 |     1820   4974 |        0 |        0
1333.39/1333.86	c 1333s |      24 |  4546639 |  3710662 |     1820   4980 |        0 |        0
1335.39/1335.88	c 1335s |      24 |  4552927 |  3716062 |     1820   4985 |        0 |        0
1337.39/1337.88	c 1337s |      24 |  4559374 |  3721762 |     1820   4991 |        0 |        0
1339.40/1339.89	c 1339s |      24 |  4565885 |  3727562 |     1820   4997 |        0 |        0
1341.49/1341.93	c 1341s |      24 |  4573080 |  3733562 |     1820   5003 |        0 |        0
1343.49/1343.95	c 1343s |      24 |  4581017 |  3739462 |     1820   5009 |        0 |        0
1345.49/1345.97	c 1345s |      24 |  4588684 |  3745562 |     1820   5016 |        0 |        0
1347.49/1347.98	c 1347s |      24 |  4595711 |  3751662 |     1820   5022 |        0 |        0
1349.49/1349.99	c 1349s |      24 |  4603759 |  3757662 |     1820   5028 |        0 |        0
1351.49/1351.99	c 1351s |      24 |  4611816 |  3764062 |     1820   5035 |        0 |        0
1353.59/1354.01	c 1353s |      24 |  4619638 |  3769862 |     1820   5041 |        0 |        0
1355.60/1356.02	c 1356s |      24 |  4626827 |  3775962 |     1820   5047 |        0 |        0
1357.59/1358.03	c 1358s |      24 |  4634836 |  3782462 |     1820   5054 |        0 |        0
1359.59/1360.07	c 1360s |      24 |  4642852 |  3789062 |     1820   5061 |        0 |        0
1361.69/1362.10	c 1362s |      24 |  4651378 |  3794562 |     1820   5066 |        0 |        0
1363.70/1364.12	c 1364s |      24 |  4658830 |  3800562 |     1820   5072 |        0 |        0
1365.69/1366.17	c 1366s |      24 |  4666062 |  3805362 |     1820   5077 |        0 |        0
1367.79/1368.20	c 1368s |      24 |  4671184 |  3809862 |     1820   5082 |        0 |        0
1369.79/1370.20	c 1370s |      24 |  4678108 |  3815462 |     1820   5088 |        0 |        0
1371.79/1372.21	c 1372s |      24 |  4684651 |  3820862 |     1820   5094 |        0 |        0
1373.79/1374.22	c 1374s |      24 |  4691861 |  3825962 |     1820   5099 |        0 |        0
1375.80/1376.22	c 1376s |      24 |  4699379 |  3831262 |     1820   5104 |        0 |        0
1377.79/1378.23	c 1378s |      24 |  4705699 |  3836862 |     1820   5110 |        0 |        0
1379.79/1380.26	c 1380s |      24 |  4711720 |  3842162 |     1820   5116 |        0 |        0
1381.79/1382.29	c 1382s |      24 |  4717894 |  3847462 |     1820   5121 |        0 |        0
1383.89/1384.34	c 1384s |      24 |  4724224 |  3852762 |     1820   5127 |        0 |        0
1385.89/1386.34	c 1386s |      24 |  4730901 |  3857962 |     1820   5132 |        0 |        0
1387.89/1388.37	c 1388s |      24 |  4737004 |  3862962 |     1820   5137 |        0 |        0
1389.89/1390.40	c 1390s |      24 |  4741910 |  3867162 |     1820   5142 |        0 |        0
1391.99/1392.40	c 1392s |      24 |  4747642 |  3871962 |     1820   5147 |        0 |        0
1393.99/1394.41	c 1394s |      24 |  4753523 |  3877062 |     1820   5152 |        0 |        0
1395.98/1396.42	c 1396s |      24 |  4759848 |  3882362 |     1820   5157 |        0 |        0
1397.98/1398.43	c 1398s |      24 |  4766252 |  3887762 |     1820   5163 |        0 |        0
1399.99/1400.45	c 1400s |      24 |  4772056 |  3892862 |     1820   5168 |        0 |        0
1401.98/1402.49	c 1402s |      24 |  4777998 |  3898062 |     1820   5174 |        0 |        0
1404.08/1404.53	c 1404s |      24 |  4783782 |  3903162 |     1820   5179 |        0 |        0
1406.08/1406.53	c 1406s |      24 |  4789810 |  3908362 |     1820   5184 |        0 |        0
1408.08/1408.54	c 1408s |      24 |  4795847 |  3913662 |     1820   5190 |        0 |        0
1410.08/1410.55	c 1410s |      24 |  4802063 |  3918962 |     1820   5195 |        0 |        0
1412.09/1412.58	c 1412s |      24 |  4807562 |  3923762 |     1820   5200 |        0 |        0
1414.19/1414.61	c 1414s |      24 |  4813636 |  3928962 |     1820   5206 |        0 |        0
1416.18/1416.62	c 1416s |      24 |  4819429 |  3933962 |     1820   5211 |        0 |        0
1418.18/1418.64	c 1418s |      24 |  4825508 |  3939062 |     1820   5216 |        0 |        0
1420.18/1420.68	c 1420s |      24 |  4832100 |  3944462 |     1820   5222 |        0 |        0
1422.18/1422.69	c 1422s |      24 |  4838795 |  3950062 |     1820   5228 |        0 |        0
1424.28/1424.70	c 1424s |      24 |  4845947 |  3955662 |     1820   5233 |        0 |        0
1426.28/1426.71	c 1426s |      24 |  4853169 |  3961562 |     1820   5239 |        0 |        0
1428.28/1428.71	c 1428s |      24 |  4859756 |  3967062 |     1820   5245 |        0 |        0
1430.28/1430.75	c 1430s |      24 |  4866188 |  3972262 |     1820   5250 |        0 |        0
1432.28/1432.76	c 1432s |      24 |  4873470 |  3977962 |     1820   5256 |        0 |        0
1434.28/1434.76	c 1434s |      24 |  4880018 |  3983162 |     1820   5262 |        0 |        0
1436.28/1436.78	c 1436s |      24 |  4885527 |  3987962 |     1820   5267 |        0 |        0
1438.28/1438.79	c 1438s |      24 |  4891147 |  3992662 |     1820   5272 |        0 |        0
1440.38/1440.81	c 1440s |      24 |  4898174 |  3998462 |     1820   5278 |        0 |        0
1442.37/1442.83	c 1442s |      24 |  4904908 |  4004062 |     1820   5284 |        0 |        0
1444.37/1444.84	c 1444s |      24 |  4910717 |  4008762 |     1820   5288 |        0 |        0
1446.38/1446.87	c 1446s |      24 |  4916663 |  4013562 |     1820   5293 |        0 |        0
1448.39/1448.89	c 1448s |      24 |  4923135 |  4018562 |     1820   5299 |        0 |        0
1450.49/1450.91	c 1450s |      24 |  4929376 |  4023362 |     1820   5303 |        0 |        0
1452.48/1452.94	c 1452s |      24 |  4935469 |  4028362 |     1820   5309 |        0 |        0
1454.48/1454.97	c 1454s |      24 |  4942212 |  4034062 |     1820   5315 |        0 |        0
1456.48/1456.98	c 1456s |      24 |  4948519 |  4039162 |     1820   5320 |        0 |        0
1458.58/1459.01	c 1458s |      24 |  4955507 |  4044562 |     1820   5325 |        0 |        0
1460.58/1461.02	c 1461s |      24 |  4962056 |  4049862 |     1820   5331 |        0 |        0
1462.58/1463.04	c 1463s |      24 |  4968284 |  4054762 |     1820   5336 |        0 |        0
1464.58/1465.06	c 1465s |      24 |  4976384 |  4060262 |     1820   5342 |        0 |        0
1466.58/1467.08	c 1467s |      24 |  4984286 |  4065762 |     1820   5347 |        0 |        0
1468.58/1469.08	c 1469s |      24 |  4991232 |  4070762 |     1820   5352 |        0 |        0
1470.58/1471.09	c 1471s |      24 |  4997385 |  4075962 |     1820   5358 |        0 |        0
1472.68/1473.12	c 1473s |      24 |  5003947 |  4081162 |     1820   5363 |        0 |        0
1474.68/1475.15	c 1475s |      24 |  5011503 |  4086662 |     1820   5369 |        0 |        0
1476.77/1477.20	c 1477s |      24 |  5018722 |  4092162 |     1820   5375 |        0 |        0
1478.77/1479.21	c 1479s |      24 |  5025707 |  4097162 |     1820   5380 |        0 |        0
1480.77/1481.23	c 1481s |      24 |  5032343 |  4102362 |     1820   5385 |        0 |        0
1482.77/1483.24	c 1483s |      24 |  5038969 |  4107562 |     1820   5391 |        0 |        0
1484.77/1485.28	c 1485s |      24 |  5045914 |  4112962 |     1820   5396 |        0 |        0
1486.88/1487.32	c 1487s |      24 |  5052315 |  4117962 |     1820   5401 |        0 |        0
1488.87/1489.32	c 1489s |      24 |  5059073 |  4123262 |     1820   5407 |        0 |        0
1490.87/1491.34	c 1491s |      24 |  5065637 |  4128662 |     1820   5412 |        0 |        0
1492.87/1493.34	c 1493s |      24 |  5072584 |  4133762 |     1820   5418 |        0 |        0
1494.87/1495.34	c 1495s |      24 |  5078110 |  4138662 |     1820   5423 |        0 |        0
1496.87/1497.38	c 1497s |      24 |  5084281 |  4143562 |     1820   5428 |        0 |        0
1498.88/1499.39	c 1499s |      24 |  5090857 |  4148962 |     1820   5433 |        0 |        0
1500.97/1501.41	c 1501s |      24 |  5097232 |  4154262 |     1820   5439 |        0 |        0
1502.97/1503.43	c 1503s |      24 |  5103485 |  4159562 |     1820   5444 |        0 |        0
1504.97/1505.47	c 1505s |      24 |  5109631 |  4164762 |     1820   5450 |        0 |        0
1506.97/1507.48	c 1507s |      24 |  5116049 |  4169962 |     1820   5455 |        0 |        0
1509.07/1509.51	c 1509s |      24 |  5122364 |  4175262 |     1820   5460 |        0 |        0
1511.07/1511.52	c 1511s |      24 |  5127773 |  4179862 |     1820   5465 |        0 |        0
1513.07/1513.55	c 1513s |      24 |  5133808 |  4184862 |     1820   5470 |        0 |        0
1515.06/1515.56	c 1515s |      24 |  5140109 |  4190162 |     1820   5476 |        0 |        0
1517.06/1517.57	c 1517s |      24 |  5146171 |  4195262 |     1820   5481 |        0 |        0
1519.16/1519.60	c 1519s |      24 |  5152147 |  4200262 |     1820   5486 |        0 |        0
1521.16/1521.61	c 1521s |      24 |  5158880 |  4205462 |     1820   5491 |        0 |        0
1523.17/1523.64	c 1523s |      24 |  5164882 |  4210562 |     1820   5497 |        0 |        0
1525.16/1525.68	c 1525s |      24 |  5170711 |  4215562 |     1820   5502 |        0 |        0
1527.26/1527.72	c 1527s |      24 |  5177208 |  4220762 |     1820   5507 |        0 |        0
1529.26/1529.75	c 1529s |      24 |  5183501 |  4225862 |     1820   5512 |        0 |        0
1531.26/1531.77	c 1531s |      24 |  5189347 |  4230862 |     1820   5518 |        0 |        0
1533.36/1533.80	c 1533s |      24 |  5195877 |  4236262 |     1820   5523 |        0 |        0
1535.36/1535.81	c 1535s |      24 |  5201953 |  4241362 |     1820   5529 |        0 |        0
1537.37/1537.84	c 1537s |      24 |  5207712 |  4246162 |     1820   5533 |        0 |        0
1539.37/1539.89	c 1539s |      24 |  5213517 |  4251062 |     1820   5539 |        0 |        0
1541.37/1541.89	c 1541s |      24 |  5219466 |  4256162 |     1820   5544 |        0 |        0
1543.47/1543.90	c 1543s |      24 |  5225058 |  4260862 |     1820   5549 |        0 |        0
1545.47/1545.94	c 1545s |      24 |  5230772 |  4265762 |     1820   5554 |        0 |        0
1547.47/1547.96	c 1547s |      24 |  5237326 |  4270962 |     1820   5559 |        0 |        0
1549.47/1549.98	c 1549s |      24 |  5243042 |  4275762 |     1820   5564 |        0 |        0
1551.56/1552.00	c 1551s |      24 |  5249404 |  4280962 |     1820   5569 |        0 |        0
1553.56/1554.01	c 1553s |      24 |  5255953 |  4286162 |     1820   5575 |        0 |        0
1555.56/1556.02	c 1556s |      24 |  5262576 |  4291462 |     1820   5580 |        0 |        0
1557.56/1558.03	c 1558s |      24 |  5268857 |  4296762 |     1820   5586 |        0 |        0
1559.56/1560.06	c 1560s |      24 |  5275188 |  4301862 |     1820   5591 |        0 |        0
1561.57/1562.09	c 1562s |      24 |  5281895 |  4307162 |     1820   5596 |        0 |        0
1563.66/1564.11	c 1564s |      24 |  5288628 |  4312262 |     1820   5602 |        0 |        0
1565.66/1566.14	c 1566s |      24 |  5294155 |  4316762 |     1820   5606 |        0 |        0
1567.66/1568.17	c 1568s |      24 |  5299738 |  4321462 |     1820   5611 |        0 |        0
1569.66/1570.17	c 1570s |      24 |  5305328 |  4326262 |     1820   5616 |        0 |        0
1571.66/1572.18	c 1572s |      24 |  5310266 |  4330762 |     1820   5620 |        0 |        0
1573.67/1574.19	c 1574s |      24 |  5315060 |  4335062 |     1820   5625 |        0 |        0
1575.66/1576.19	c 1576s |      24 |  5320227 |  4339662 |     1820   5629 |        0 |        0
1577.76/1578.22	c 1578s |      24 |  5325790 |  4344662 |     1820   5634 |        0 |        0
1579.76/1580.25	c 1580s |      24 |  5331515 |  4349462 |     1820   5639 |        0 |        0
1581.76/1582.29	c 1582s |      24 |  5337876 |  4354562 |     1820   5644 |        0 |        0
1583.86/1584.32	c 1584s |      24 |  5344337 |  4359962 |     1820   5650 |        0 |        0
1585.86/1586.34	c 1586s |      24 |  5350262 |  4365062 |     1820   5655 |        0 |        0
1587.86/1588.36	c 1588s |      24 |  5356315 |  4370262 |     1820   5660 |        0 |        0
1589.86/1590.39	c 1590s |      24 |  5362471 |  4375362 |     1820   5666 |        0 |        0
1591.96/1592.41	c 1592s |      24 |  5368706 |  4380662 |     1820   5671 |        0 |        0
1593.96/1594.44	c 1594s |      24 |  5374486 |  4385662 |     1820   5676 |        0 |        0
1595.96/1596.45	c 1596s |      24 |  5380616 |  4390862 |     1820   5681 |        0 |        0
1597.96/1598.48	c 1598s |      24 |  5387153 |  4396262 |     1820   5687 |        0 |        0
1599.95/1600.48	c 1600s |      24 |  5393190 |  4401362 |     1820   5692 |        0 |        0
1601.95/1602.49	c 1602s |      24 |  5399963 |  4406762 |     1820   5697 |        0 |        0
1603.95/1604.50	c 1604s |      24 |  5406114 |  4411762 |     1820   5702 |        0 |        0
1606.05/1606.50	c 1606s |      24 |  5411716 |  4416562 |     1820   5707 |        0 |        0
1608.05/1608.54	c 1608s |      24 |  5418452 |  4421662 |     1820   5712 |        0 |        0
1610.06/1610.57	c 1610s |      24 |  5423734 |  4426062 |     1820   5717 |        0 |        0
1612.05/1612.59	c 1612s |      24 |  5430190 |  4431062 |     1820   5722 |        0 |        0
1614.15/1614.62	c 1614s |      24 |  5436171 |  4435562 |     1820   5727 |        0 |        0
1616.15/1616.64	c 1616s |      24 |  5442819 |  4441362 |     1820   5732 |        0 |        0
1618.15/1618.66	c 1618s |      24 |  5449776 |  4447362 |     1820   5738 |        0 |        0
1620.15/1620.69	c 1620s |      24 |  5455995 |  4452762 |     1820   5744 |        0 |        0
1622.25/1622.73	c 1622s |      24 |  5462034 |  4458062 |     1820   5749 |        0 |        0
1624.26/1624.74	c 1624s |      24 |  5468570 |  4463462 |     1820   5755 |        0 |        0
1626.25/1626.76	c 1626s |      24 |  5474071 |  4468062 |     1820   5760 |        0 |        0
1628.25/1628.77	c 1628s |      24 |  5480116 |  4473262 |     1820   5765 |        0 |        0
1630.35/1630.80	c 1630s |      24 |  5486608 |  4478662 |     1820   5770 |        0 |        0
1632.35/1632.83	c 1632s |      24 |  5492763 |  4483962 |     1820   5776 |        0 |        0
1634.35/1634.86	c 1634s |      24 |  5498526 |  4489062 |     1820   5781 |        0 |        0
1636.36/1636.87	c 1636s |      24 |  5504411 |  4494162 |     1820   5786 |        0 |        0
1638.45/1638.91	c 1638s |      24 |  5510441 |  4499262 |     1820   5791 |        0 |        0
1640.45/1640.93	c 1640s |      24 |  5516010 |  4504262 |     1820   5796 |        0 |        0
1642.45/1642.95	c 1642s |      24 |  5521372 |  4509062 |     1820   5801 |        0 |        0
1644.45/1644.97	c 1644s |      24 |  5526905 |  4513962 |     1820   5806 |        0 |        0
1646.45/1646.99	c 1646s |      24 |  5532603 |  4518862 |     1820   5811 |        0 |        0
1648.56/1649.03	c 1649s |      24 |  5537856 |  4523562 |     1820   5816 |        0 |        0
1650.55/1651.05	c 1651s |      24 |  5542720 |  4527862 |     1820   5820 |        0 |        0
1652.55/1653.05	c 1653s |      24 |  5547802 |  4532462 |     1820   5825 |        0 |        0
1654.55/1655.10	c 1655s |      24 |  5552695 |  4536862 |     1820   5830 |        0 |        0
1656.65/1657.12	c 1657s |      24 |  5558653 |  4542162 |     1820   5835 |        0 |        0
1658.65/1659.14	c 1659s |      24 |  5564542 |  4547462 |     1820   5840 |        0 |        0
1660.66/1661.15	c 1661s |      24 |  5570544 |  4552762 |     1820   5846 |        0 |        0
1662.65/1663.16	c 1663s |      24 |  5576645 |  4557962 |     1820   5851 |        0 |        0
1664.65/1665.19	c 1665s |      24 |  5583075 |  4563462 |     1820   5857 |        0 |        0
1666.65/1667.19	c 1667s |      24 |  5589315 |  4568862 |     1820   5862 |        0 |        0
1668.75/1669.20	c 1669s |      24 |  5595295 |  4574062 |     1820   5867 |        0 |        0
1670.75/1671.22	c 1671s |      24 |  5601446 |  4579262 |     1820   5873 |        0 |        0
1672.75/1673.25	c 1673s |      24 |  5607948 |  4584762 |     1820   5878 |        0 |        0
1674.74/1675.27	c 1675s |      24 |  5614003 |  4589962 |     1820   5884 |        0 |        0
1676.84/1677.30	c 1677s |      24 |  5620701 |  4595762 |     1820   5889 |        0 |        0
1678.84/1679.33	c 1679s |      24 |  5626878 |  4601162 |     1820   5895 |        0 |        0
1680.84/1681.38	c 1681s |      24 |  5632698 |  4606262 |     1820   5900 |        0 |        0
1682.84/1683.38	c 1683s |      24 |  5638393 |  4611062 |     1820   5905 |        0 |        0
1684.94/1685.40	c 1685s |      24 |  5643765 |  4615762 |     1820   5910 |        0 |        0
1686.84/1687.40	c 1687s |      24 |  5648879 |  4620362 |     1820   5915 |        0 |        0
1688.94/1689.44	c 1689s |      24 |  5655298 |  4625862 |     1820   5920 |        0 |        0
1690.94/1691.49	c 1691s |      24 |  5661611 |  4631262 |     1820   5926 |        0 |        0
1693.04/1693.53	c 1693s |      24 |  5667882 |  4636762 |     1820   5931 |        0 |        0
1695.04/1695.56	c 1695s |      24 |  5673809 |  4641862 |     1820   5936 |        0 |        0
1697.14/1697.60	c 1697s |      24 |  5679581 |  4646762 |     1820   5941 |        0 |        0
1699.14/1699.60	c 1699s |      24 |  5684682 |  4651262 |     1820   5946 |        0 |        0
1701.14/1701.65	c 1701s |      24 |  5689226 |  4655362 |     1820   5950 |        0 |        0
1703.14/1703.68	c 1703s |      24 |  5694981 |  4660162 |     1820   5955 |        0 |        0
1705.14/1705.69	c 1705s |      24 |  5700443 |  4665062 |     1820   5960 |        0 |        0
1707.24/1707.73	c 1707s |      24 |  5706635 |  4670162 |     1820   5965 |        0 |        0
1709.24/1709.73	c 1709s |      24 |  5712791 |  4675362 |     1820   5970 |        0 |        0
1711.24/1711.75	c 1711s |      24 |  5718594 |  4680362 |     1820   5975 |        0 |        0
1713.23/1713.77	c 1713s |      24 |  5724360 |  4685362 |     1820   5980 |        0 |        0
1715.23/1715.78	c 1715s |      24 |  5730699 |  4690662 |     1820   5986 |        0 |        0
1717.33/1717.80	c 1717s |      24 |  5736353 |  4695462 |     1820   5991 |        0 |        0
1719.33/1719.83	c 1719s |      24 |  5742540 |  4700462 |     1820   5996 |        0 |        0
1721.33/1721.88	c 1721s |      24 |  5748678 |  4705362 |     1820   6001 |        0 |        0
1723.43/1723.90	c 1723s |      24 |  5754200 |  4709862 |     1820   6005 |        0 |        0
1725.33/1725.90	c 1725s |      24 |  5760118 |  4714762 |     1820   6010 |        0 |        0
1727.43/1727.92	c 1727s |      24 |  5765327 |  4719262 |     1820   6015 |        0 |        0
1729.43/1729.95	c 1729s |      24 |  5770386 |  4723662 |     1820   6019 |        0 |        0
1731.43/1731.96	c 1731s |      24 |  5776192 |  4728462 |     1820   6024 |        0 |        0
1733.43/1733.97	c 1733s |      24 |  5781975 |  4733362 |     1820   6029 |        0 |        0
1735.44/1736.00	c 1735s |      24 |  5787552 |  4738262 |     1820   6034 |        0 |        0
1737.54/1738.02	c 1738s |      24 |  5793438 |  4743062 |     1820   6039 |        0 |        0
1739.53/1740.03	c 1740s |      24 |  5799597 |  4748162 |     1820   6044 |        0 |        0
1741.54/1742.05	c 1742s |      24 |  5806182 |  4753662 |     1820   6049 |        0 |        0
1743.54/1744.06	c 1744s |      24 |  5812628 |  4759062 |     1820   6055 |        0 |        0
1745.54/1746.07	c 1746s |      24 |  5818646 |  4764262 |     1820   6060 |        0 |        0
1747.64/1748.11	c 1748s |      24 |  5824886 |  4769562 |     1820   6065 |        0 |        0
1749.64/1750.14	c 1750s |      24 |  5831051 |  4774562 |     1820   6071 |        0 |        0
1751.64/1752.16	c 1752s |      24 |  5836711 |  4779462 |     1820   6076 |        0 |        0
1753.64/1754.17	c 1754s |      24 |  5842667 |  4784262 |     1820   6080 |        0 |        0
1755.63/1756.18	c 1756s |      24 |  5848883 |  4789462 |     1820   6086 |        0 |        0
1757.73/1758.21	c 1758s |      24 |  5855765 |  4794762 |     1820   6091 |        0 |        0
1759.73/1760.22	c 1760s |      24 |  5861876 |  4799762 |     1820   6096 |        0 |        0
1761.74/1762.24	c 1762s |      24 |  5867423 |  4804562 |     1820   6101 |        0 |        0
1763.73/1764.25	c 1764s |      24 |  5873194 |  4809562 |     1820   6106 |        0 |        0
1765.73/1766.25	c 1766s |      24 |  5878462 |  4814262 |     1820   6111 |        0 |        0
1767.73/1768.29	c 1768s |      24 |  5884702 |  4819462 |     1820   6116 |        0 |        0
1769.83/1770.30	c 1770s |      24 |  5889970 |  4824062 |     1820   6121 |        0 |        0
1771.83/1772.34	c 1772s |      24 |  5895642 |  4828962 |     1820   6126 |        0 |        0
1773.84/1774.37	c 1774s |      24 |  5901818 |  4834062 |     1820   6131 |        0 |        0
1775.83/1776.38	c 1776s |      24 |  5907952 |  4839162 |     1820   6136 |        0 |        0
1777.83/1778.39	c 1778s |      24 |  5914054 |  4844162 |     1820   6141 |        0 |        0
1779.93/1780.43	c 1780s |      24 |  5919700 |  4849162 |     1820   6146 |        0 |        0
1781.93/1782.43	c 1782s |      24 |  5925059 |  4853762 |     1820   6151 |        0 |        0
1783.93/1784.44	c 1784s |      24 |  5930713 |  4858462 |     1820   6156 |        0 |        0
1785.93/1786.45	c 1786s |      24 |  5936593 |  4863562 |     1820   6161 |        0 |        0
1787.93/1788.46	c 1788s |      24 |  5942828 |  4868362 |     1820   6166 |        0 |        0
1789.93/1790.46	c 1790s |      24 |  5949121 |  4873362 |     1820   6171 |        0 |        0
1791.93/1792.47	c 1792s |      24 |  5954787 |  4877962 |     1820   6176 |        0 |        0
1793.93/1794.47	c 1794s |      24 |  5961244 |  4882262 |     1820   6180 |        0 |        0
1795.93/1796.49	c 1796s |      24 |  5966049 |  4886362 |     1820   6184 |        0 |        0
1797.93/1798.49	c 1798s |      24 |  5970295 |  4890062 |     1820   6188 |        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-4099445-1466206140/watcher-4099445-1466206140 -o /tmp/evaluation-result-4099445-1466206140/solver-4099445-1466206140 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466206051-23293 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099445-1466206140.opb 

pid=24253
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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.19 0.40 0.14 3/179 24256
/proc/meminfo: memFree=30842624/32872528 swapFree=7780/7780
[pid=24256] ppid=24253 vsize=723524 CPUtime=0 cores=1,3,5,7
/proc/24256/stat : 24256 (toysat) R 24253 24256 23276 0 -1 4202496 2702 0 0 0 0 0 0 0 20 0 4 0 22658884 740888576 3063 33554432000 4194304 16246674 140733935040192 140733935039616 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24256/statm: 181649 3073 442 2943 0 178543 0
[pid=24256/tid=24257] ppid=24253 vsize=741956 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24257/stat : 24257 (toysat) S 24253 24256 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22658885 759762944 3133 33554432000 4194304 16246674 140733935040192 139684986465520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24256/tid=24258] ppid=24253 vsize=746052 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24258/stat : 24258 (toysat) S 24253 24256 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22658885 763957248 3151 33554432000 4194304 16246674 140733935040192 139684975975664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24256/tid=24259] ppid=24253 vsize=751172 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24259/stat : 24259 (toysat) S 24253 24256 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22658885 769200128 3170 33554432000 4194304 16246674 140733935040192 139684965502128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 1.19 0.40 0.14 3/179 24256
/proc/meminfo: memFree=30842624/32872528 swapFree=7780/7780
[pid=24256] ppid=24253 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/24256/stat : 24256 (toysat) R 24253 24256 23276 0 -1 4202496 32662 0 0 0 5 4 0 0 20 0 4 0 22658884 1247350784 33013 33554432000 4194304 16246674 140733935040192 140733935039616 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24256/statm: 304529 33034 712 2943 0 301423 0
[pid=24256/tid=24257] ppid=24253 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24257/stat : 24257 (toysat) S 24253 24256 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22658885 1247350784 33046 33554432000 4194304 16246674 140733935040192 139684986465520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24256/tid=24258] ppid=24253 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24258/stat : 24258 (toysat) S 24253 24256 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22658885 1247350784 33054 33554432000 4194304 16246674 140733935040192 139684975975664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24256/tid=24259] ppid=24253 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24259/stat : 24259 (toysat) S 24253 24256 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22658885 1247350784 33062 33554432000 4194304 16246674 140733935040192 139684965502128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200529 s]
/proc/loadavg: 1.19 0.40 0.14 3/179 24256
/proc/meminfo: memFree=30842624/32872528 swapFree=7780/7780
[pid=24256] ppid=24253 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/24256/stat : 24256 (toysat) R 24253 24256 23276 0 -1 4202496 65201 0 0 0 11 8 0 0 20 0 4 0 22658884 1247350784 65552 33554432000 4194304 16246674 140733935040192 140733935039616 13954410 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24256/statm: 304529 65561 712 2943 0 301423 0
[pid=24256/tid=24257] ppid=24253 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24257/stat : 24257 (toysat) S 24253 24256 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22658885 1247350784 65568 33554432000 4194304 16246674 140733935040192 139684986465520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24256/tid=24258] ppid=24253 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24258/stat : 24258 (toysat) S 24253 24256 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22658885 1247350784 65574 33554432000 4194304 16246674 140733935040192 139684975975664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24256/tid=24259] ppid=24253 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24259/stat : 24259 (toysat) S 24253 24256 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22658885 1247350784 65580 33554432000 4194304 16246674 140733935040192 139684965502128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300467 s]
/proc/loadavg: 1.19 0.40 0.14 3/179 24256
/proc/meminfo: memFree=30842624/32872528 swapFree=7780/7780
[pid=24256] ppid=24253 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/24256/stat : 24256 (toysat) R 24253 24256 23276 0 -1 4202496 96525 0 0 0 17 12 0 0 20 0 4 0 22658884 1247350784 96875 33554432000 4194304 16246674 140733935040192 140733935039616 12478333 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24256/statm: 304529 96897 712 2943 0 301423 0
[pid=24256/tid=24257] ppid=24253 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24257/stat : 24257 (toysat) S 24253 24256 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22658885 1247350784 96911 33554432000 4194304 16246674 140733935040192 139684986465520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24256/tid=24258] ppid=24253 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24258/stat : 24258 (toysat) S 24253 24256 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22658885 1247350784 96923 33554432000 4194304 16246674 140733935040192 139684975975664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24256/tid=24259] ppid=24253 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24259/stat : 24259 (toysat) S 24253 24256 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22658885 1247350784 96932 33554432000 4194304 16246674 140733935040192 139684965502128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700415 s]
/proc/loadavg: 1.19 0.40 0.14 3/179 24256
/proc/meminfo: memFree=30842624/32872528 swapFree=7780/7780
[pid=24256] ppid=24253 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/24256/stat : 24256 (toysat) R 24253 24256 23276 0 -1 4202496 227697 0 0 0 41 28 0 0 20 0 4 0 22658884 1247350784 228048 33554432000 4194304 16246674 140733935040192 140733935039616 12875570 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24256/statm: 304529 228072 712 2943 0 301423 0
[pid=24256/tid=24257] ppid=24253 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24257/stat : 24257 (toysat) S 24253 24256 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22658885 1247350784 228081 33554432000 4194304 16246674 140733935040192 139684986465520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24256/tid=24258] ppid=24253 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24258/stat : 24258 (toysat) S 24253 24256 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22658885 1247350784 228090 33554432000 4194304 16246674 140733935040192 139684975975664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24256/tid=24259] ppid=24253 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24259/stat : 24259 (toysat) S 24253 24256 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22658885 1247350784 228100 33554432000 4194304 16246674 140733935040192 139684965502128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 1.19 0.40 0.14 3/183 24260
/proc/meminfo: memFree=29859324/32872528 swapFree=7780/7780
[pid=24256] ppid=24253 vsize=1305156 CPUtime=1.49 cores=1,3,5,7
/proc/24256/stat : 24256 (toysat) R 24253 24256 23276 0 -1 4202496 267265 0 0 0 116 33 0 0 20 0 4 0 22658884 1336479744 267595 33554432000 4194304 16246674 140733935040192 140733935023192 5822548 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24256/statm: 326289 267595 789 2943 0 323183 0
[pid=24256/tid=24257] ppid=24253 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24257/stat : 24257 (toysat) S 24253 24256 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22658885 1336479744 267595 33554432000 4194304 16246674 140733935040192 139684986465520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24256/tid=24258] ppid=24253 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24258/stat : 24258 (toysat) S 24253 24256 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22658885 1336479744 267595 33554432000 4194304 16246674 140733935040192 139684975975664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24256/tid=24259] ppid=24253 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24259/stat : 24259 (toysat) S 24253 24256 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22658885 1336479744 267595 33554432000 4194304 16246674 140733935040192 139684965502128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10043 s]
/proc/loadavg: 1.25 0.43 0.15 3/183 24260
/proc/meminfo: memFree=29771532/32872528 swapFree=7780/7780
[pid=24256] ppid=24253 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/24256/stat : 24256 (toysat) R 24253 24256 23276 0 -1 4202496 267496 0 0 0 276 33 0 0 20 0 4 0 22658884 1337528320 267826 33554432000 4194304 16246674 140733935040192 140733935022080 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24256/statm: 326545 267826 789 2943 0 323439 0
[pid=24256/tid=24257] ppid=24253 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24257/stat : 24257 (toysat) S 24253 24256 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22658885 1337528320 267826 33554432000 4194304 16246674 140733935040192 139684986465520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24256/tid=24258] ppid=24253 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24258/stat : 24258 (toysat) S 24253 24256 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22658885 1337528320 267826 33554432000 4194304 16246674 140733935040192 139684975975664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24256/tid=24259] ppid=24253 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24259/stat : 24259 (toysat) S 24253 24256 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22658885 1337528320 267826 33554432000 4194304 16246674 140733935040192 139684965502128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 1.25 0.43 0.15 3/183 24260
/proc/meminfo: memFree=29771784/32872528 swapFree=7780/7780
[pid=24256] ppid=24253 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/24256/stat : 24256 (toysat) R 24253 24256 23276 0 -1 4202496 267497 0 0 0 596 33 0 0 20 0 4 0 22658884 1337528320 267827 33554432000 4194304 16246674 140733935040192 140733935023192 5545721 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24256/statm: 326545 267827 789 2943 0 323439 0
[pid=24256/tid=24257] ppid=24253 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24257/stat : 24257 (toysat) S 24253 24256 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22658885 1337528320 267827 33554432000 4194304 16246674 140733935040192 139684986465520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24256/tid=24258] ppid=24253 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24258/stat : 24258 (toysat) S 24253 24256 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22658885 1337528320 267827 33554432000 4194304 16246674 140733935040192 139684975975664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24256/tid=24259] ppid=24253 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24259/stat : 24259 (toysat) S 24253 24256 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22658885 1337528320 267827 33554432000 4194304 16246674 140733935040192 139684965502128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 1.37 0.48 0.17 3/183 24260
/proc/meminfo: memFree=29766736/32872528 swapFree=7780/7780
[pid=24256] ppid=24253 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/24256/stat : 24256 (toysat) R 24253 24256 23276 0 -1 4202496 267528 0 0 0 1236 33 0 0 20 0 4 0 22658884 1337528320 267858 33554432000 4194304 16246674 140733935040192 140733935022080 5545713 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24256/statm: 326545 267858 789 2943 0 323439 0
[pid=24256/tid=24257] ppid=24253 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24257/stat : 24257 (toysat) S 24253 24256 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22658885 1337528320 267858 33554432000 4194304 16246674 140733935040192 139684986465520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24256/tid=24258] ppid=24253 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24258/stat : 24258 (toysat) S 24253 24256 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22658885 1337528320 267858 33554432000 4194304 16246674 140733935040192 139684975975664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24256/tid=24259] ppid=24253 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24259/stat : 24259 (toysat) S 24253 24256 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22658885 1337528320 267858 33554432000 4194304 16246674 140733935040192 139684965502128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 1.47 0.53 0.19 3/176 24295
/proc/meminfo: memFree=30847620/32872528 swapFree=7780/7780
[pid=24256] ppid=24253 vsize=1307204 CPUtime=25.49 cores=1,3,5,7
/proc/24256/stat : 24256 (toysat) R 24253 24256 23276 0 -1 4202496 267683 0 0 0 2516 33 0 0 20 0 4 0 22658884 1338576896 268013 33554432000 4194304 16246674 140733935040192 140733935022080 5672099 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24256/statm: 326801 268013 789 2943 0 323695 0
[pid=24256/tid=24257] ppid=24253 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24257/stat : 24257 (toysat) S 24253 24256 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22658885 1338576896 268013 33554432000 4194304 16246674 140733935040192 139684986465520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24256/tid=24258] ppid=24253 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24258/stat : 24258 (toysat) S 24253 24256 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22658885 1338576896 268013 33554432000 4194304 16246674 140733935040192 139684975975664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24256/tid=24259] ppid=24253 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24259/stat : 24259 (toysat) S 24253 24256 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22658885 1338576896 268013 33554432000 4194304 16246674 140733935040192 139684965502128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 1.65 0.64 0.23 3/183 24309
/proc/meminfo: memFree=27333988/32872528 swapFree=7780/7780
[pid=24256] ppid=24253 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/24256/stat : 24256 (toysat) R 24253 24256 23276 0 -1 4202496 267685 0 0 0 5075 33 0 0 20 0 4 0 22658884 1338576896 268015 33554432000 4194304 16246674 140733935040192 140733935022080 5546015 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24256/statm: 326801 268015 791 2943 0 323695 0
[pid=24256/tid=24257] ppid=24253 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24257/stat : 24257 (toysat) S 24253 24256 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22658885 1338576896 268015 33554432000 4194304 16246674 140733935040192 139684986465520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24256/tid=24258] ppid=24253 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24258/stat : 24258 (toysat) S 24253 24256 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22658885 1338576896 268015 33554432000 4194304 16246674 140733935040192 139684975975664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24256/tid=24259] ppid=24253 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24259/stat : 24259 (toysat) S 24253 24256 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22658885 1338576896 268015 33554432000 4194304 16246674 140733935040192 139684965502128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 1.86 0.87 0.33 3/184 24314
/proc/meminfo: memFree=23679232/32872528 swapFree=7780/7780
[pid=24256] ppid=24253 vsize=1308228 CPUtime=102.27 cores=1,3,5,7
/proc/24256/stat : 24256 (toysat) R 24253 24256 23276 0 -1 4202496 268001 0 0 0 10194 33 0 0 20 0 4 0 22658884 1339625472 268308 33554432000 4194304 16246674 140733935040192 140733935022080 5545721 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24256/statm: 327057 268308 791 2943 0 323951 0
[pid=24256/tid=24257] ppid=24253 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24257/stat : 24257 (toysat) S 24253 24256 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22658885 1339625472 268308 33554432000 4194304 16246674 140733935040192 139684986465520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24256/tid=24258] ppid=24253 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24258/stat : 24258 (toysat) S 24253 24256 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22658885 1339625472 268308 33554432000 4194304 16246674 140733935040192 139684975975664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24256/tid=24259] ppid=24253 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24259/stat : 24259 (toysat) S 24253 24256 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22658885 1339625472 268308 33554432000 4194304 16246674 140733935040192 139684965502128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1308228


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

/proc/24256/task/24259/stat : 24259 (toysat) S 24253 24256 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22658885 1344868352 269698 33554432000 4194304 16246674 140733935040192 139684965502128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1313348

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.55 3/183 24345
/proc/meminfo: memFree=22375068/32872528 swapFree=7780/7780
[pid=24256] ppid=24253 vsize=1313348 CPUtime=1361.89 cores=1,3,5,7
/proc/24256/stat : 24256 (toysat) R 24253 24256 23276 0 -1 4202496 269785 0 0 0 136142 47 0 0 20 0 4 0 22658884 1344868352 269698 33554432000 4194304 16246674 140733935040192 140733935022080 5717450 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24256/statm: 328337 269698 793 2943 0 325231 0
[pid=24256/tid=24257] ppid=24253 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24257/stat : 24257 (toysat) S 24253 24256 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22658885 1344868352 269698 33554432000 4194304 16246674 140733935040192 139684986465520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24256/tid=24258] ppid=24253 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24258/stat : 24258 (toysat) S 24253 24256 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22658885 1344868352 269698 33554432000 4194304 16246674 140733935040192 139684975975664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24256/tid=24259] ppid=24253 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24259/stat : 24259 (toysat) S 24253 24256 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22658885 1344868352 269698 33554432000 4194304 16246674 140733935040192 139684965502128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1313348

[startup+1422.3 s]
/proc/loadavg: 2.00 1.97 1.57 3/182 24346
/proc/meminfo: memFree=22376328/32872528 swapFree=7780/7780
[pid=24256] ppid=24253 vsize=1313348 CPUtime=1421.89 cores=1,3,5,7
/proc/24256/stat : 24256 (toysat) R 24253 24256 23276 0 -1 4202496 269785 0 0 0 142142 47 0 0 20 0 4 0 22658884 1344868352 269698 33554432000 4194304 16246674 140733935040192 140733935022080 5762941 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24256/statm: 328337 269698 793 2943 0 325231 0
[pid=24256/tid=24257] ppid=24253 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24257/stat : 24257 (toysat) S 24253 24256 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22658885 1344868352 269698 33554432000 4194304 16246674 140733935040192 139684986465520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24256/tid=24258] ppid=24253 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24258/stat : 24258 (toysat) S 24253 24256 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22658885 1344868352 269698 33554432000 4194304 16246674 140733935040192 139684975975664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24256/tid=24259] ppid=24253 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24259/stat : 24259 (toysat) S 24253 24256 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22658885 1344868352 269698 33554432000 4194304 16246674 140733935040192 139684965502128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1313348

[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.59 3/183 24348
/proc/meminfo: memFree=22375584/32872528 swapFree=7780/7780
[pid=24256] ppid=24253 vsize=1313348 CPUtime=1481.87 cores=1,3,5,7
/proc/24256/stat : 24256 (toysat) R 24253 24256 23276 0 -1 4202496 269785 0 0 0 148139 48 0 0 20 0 4 0 22658884 1344868352 269698 33554432000 4194304 16246674 140733935040192 140733935022080 5754961 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24256/statm: 328337 269698 793 2943 0 325231 0
[pid=24256/tid=24257] ppid=24253 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24257/stat : 24257 (toysat) S 24253 24256 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22658885 1344868352 269698 33554432000 4194304 16246674 140733935040192 139684986465520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24256/tid=24258] ppid=24253 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24258/stat : 24258 (toysat) S 24253 24256 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22658885 1344868352 269698 33554432000 4194304 16246674 140733935040192 139684975975664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24256/tid=24259] ppid=24253 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24259/stat : 24259 (toysat) S 24253 24256 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22658885 1344868352 269698 33554432000 4194304 16246674 140733935040192 139684965502128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1313348

[startup+1542.31 s]
/proc/loadavg: 2.00 1.97 1.62 3/183 24349
/proc/meminfo: memFree=22374764/32872528 swapFree=7780/7780
[pid=24256] ppid=24253 vsize=1313348 CPUtime=1541.87 cores=1,3,5,7
/proc/24256/stat : 24256 (toysat) R 24253 24256 23276 0 -1 4202496 269785 0 0 0 154138 49 0 0 20 0 4 0 22658884 1344868352 269698 33554432000 4194304 16246674 140733935040192 140733935022080 5675825 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24256/statm: 328337 269698 793 2943 0 325231 0
[pid=24256/tid=24257] ppid=24253 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24257/stat : 24257 (toysat) S 24253 24256 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22658885 1344868352 269698 33554432000 4194304 16246674 140733935040192 139684986465520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24256/tid=24258] ppid=24253 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24258/stat : 24258 (toysat) S 24253 24256 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22658885 1344868352 269698 33554432000 4194304 16246674 140733935040192 139684975975664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24256/tid=24259] ppid=24253 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24259/stat : 24259 (toysat) S 24253 24256 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22658885 1344868352 269698 33554432000 4194304 16246674 140733935040192 139684965502128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1313348

[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.64 3/183 24351
/proc/meminfo: memFree=22375044/32872528 swapFree=7780/7780
[pid=24256] ppid=24253 vsize=1313348 CPUtime=1601.85 cores=1,3,5,7
/proc/24256/stat : 24256 (toysat) R 24253 24256 23276 0 -1 4202496 269785 0 0 0 160136 49 0 0 20 0 4 0 22658884 1344868352 269698 33554432000 4194304 16246674 140733935040192 140733935022080 5754764 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24256/statm: 328337 269698 793 2943 0 325231 0
[pid=24256/tid=24257] ppid=24253 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24257/stat : 24257 (toysat) S 24253 24256 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22658885 1344868352 269698 33554432000 4194304 16246674 140733935040192 139684986465520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24256/tid=24258] ppid=24253 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24258/stat : 24258 (toysat) S 24253 24256 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22658885 1344868352 269698 33554432000 4194304 16246674 140733935040192 139684975975664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24256/tid=24259] ppid=24253 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24259/stat : 24259 (toysat) S 24253 24256 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22658885 1344868352 269698 33554432000 4194304 16246674 140733935040192 139684965502128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1313348

[startup+1662.3 s]
/proc/loadavg: 2.05 1.99 1.66 3/183 24352
/proc/meminfo: memFree=22374672/32872528 swapFree=7780/7780
[pid=24256] ppid=24253 vsize=1313348 CPUtime=1661.85 cores=1,3,5,7
/proc/24256/stat : 24256 (toysat) R 24253 24256 23276 0 -1 4202496 269785 0 0 0 166135 50 0 0 20 0 4 0 22658884 1344868352 269698 33554432000 4194304 16246674 140733935040192 140733935022080 13191984 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24256/statm: 328337 269698 793 2943 0 325231 0
[pid=24256/tid=24257] ppid=24253 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24257/stat : 24257 (toysat) S 24253 24256 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22658885 1344868352 269698 33554432000 4194304 16246674 140733935040192 139684986465520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24256/tid=24258] ppid=24253 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24258/stat : 24258 (toysat) S 24253 24256 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22658885 1344868352 269698 33554432000 4194304 16246674 140733935040192 139684975975664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24256/tid=24259] ppid=24253 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24259/stat : 24259 (toysat) S 24253 24256 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22658885 1344868352 269698 33554432000 4194304 16246674 140733935040192 139684965502128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1313348

[startup+1722.3 s]
/proc/loadavg: 2.02 1.99 1.68 3/183 24353
/proc/meminfo: memFree=22374952/32872528 swapFree=7780/7780
[pid=24256] ppid=24253 vsize=1313348 CPUtime=1721.83 cores=1,3,5,7
/proc/24256/stat : 24256 (toysat) R 24253 24256 23276 0 -1 4202496 269785 0 0 0 172133 50 0 0 20 0 4 0 22658884 1344868352 269698 33554432000 4194304 16246674 140733935040192 140733935022080 5672222 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24256/statm: 328337 269698 793 2943 0 325231 0
[pid=24256/tid=24257] ppid=24253 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24257/stat : 24257 (toysat) S 24253 24256 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22658885 1344868352 269698 33554432000 4194304 16246674 140733935040192 139684986465520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24256/tid=24258] ppid=24253 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24258/stat : 24258 (toysat) S 24253 24256 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22658885 1344868352 269698 33554432000 4194304 16246674 140733935040192 139684975975664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24256/tid=24259] ppid=24253 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24259/stat : 24259 (toysat) S 24253 24256 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22658885 1344868352 269698 33554432000 4194304 16246674 140733935040192 139684965502128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1313348

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.70 3/183 24354
/proc/meminfo: memFree=22374584/32872528 swapFree=7780/7780
[pid=24256] ppid=24253 vsize=1313348 CPUtime=1781.83 cores=1,3,5,7
/proc/24256/stat : 24256 (toysat) R 24253 24256 23276 0 -1 4202496 269785 0 0 0 178132 51 0 0 20 0 4 0 22658884 1344868352 269698 33554432000 4194304 16246674 140733935040192 140733935022080 5722912 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24256/statm: 328337 269698 793 2943 0 325231 0
[pid=24256/tid=24257] ppid=24253 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24257/stat : 24257 (toysat) S 24253 24256 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22658885 1344868352 269698 33554432000 4194304 16246674 140733935040192 139684986465520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24256/tid=24258] ppid=24253 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24258/stat : 24258 (toysat) S 24253 24256 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22658885 1344868352 269698 33554432000 4194304 16246674 140733935040192 139684975975664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24256/tid=24259] ppid=24253 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24259/stat : 24259 (toysat) S 24253 24256 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22658885 1344868352 269698 33554432000 4194304 16246674 140733935040192 139684965502128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1313348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 1.99 1.70 3/183 24354
/proc/meminfo: memFree=22374816/32872528 swapFree=7780/7780
[pid=24256] ppid=24253 vsize=1313348 CPUtime=1800.03 cores=1,3,5,7
/proc/24256/stat : 24256 (toysat) R 24253 24256 23276 0 -1 4202496 269785 0 0 0 179952 51 0 0 20 0 4 0 22658884 1344868352 269698 33554432000 4194304 16246674 140733935040192 140733935022080 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24256/statm: 328337 269698 793 2943 0 325231 0
[pid=24256/tid=24257] ppid=24253 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24257/stat : 24257 (toysat) S 24253 24256 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22658885 1344868352 269698 33554432000 4194304 16246674 140733935040192 139684986465520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24256/tid=24258] ppid=24253 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24258/stat : 24258 (toysat) S 24253 24256 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22658885 1344868352 269698 33554432000 4194304 16246674 140733935040192 139684975975664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24256/tid=24259] ppid=24253 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24259/stat : 24259 (toysat) S 24253 24256 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22658885 1344868352 269698 33554432000 4194304 16246674 140733935040192 139684965502128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1313348

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

[startup+1800.5 s]
/proc/loadavg: 2.00 1.99 1.70 3/183 24354
/proc/meminfo: memFree=22374816/32872528 swapFree=7780/7780
[pid=24256] ppid=24253 vsize=1313348 CPUtime=1800.03 cores=1,3,5,7
/proc/24256/stat : 24256 (toysat) R 24253 24256 23276 0 -1 4202496 269785 0 0 0 179952 51 0 0 20 0 4 0 22658884 1344868352 269698 33554432000 4194304 16246674 140733935040192 140733935022080 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24256/statm: 328337 269698 793 2943 0 325231 0
[pid=24256/tid=24257] ppid=24253 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24257/stat : 24257 (toysat) S 24253 24256 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22658885 1344868352 269698 33554432000 4194304 16246674 140733935040192 139684986465520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24256/tid=24258] ppid=24253 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24258/stat : 24258 (toysat) S 24253 24256 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22658885 1344868352 269698 33554432000 4194304 16246674 140733935040192 139684975975664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24256/tid=24259] ppid=24253 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24256/task/24259/stat : 24259 (toysat) S 24253 24256 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22658885 1344868352 269698 33554432000 4194304 16246674 140733935040192 139684965502128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1313348

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.52
CPU system time (s): 0.513921
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 1313348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.52
system time used= 0.513921
maximum resident set size= 1078792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269785
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= 429
involuntary context switches= 1834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.52131 second user time and 7.00593 second system time

The end

Begin job on node151 at 2016-06-18 01:29:01
IDJOB=4099445
IDBENCH=1409
IDSOLVER=2542
FILE ID=node151/4099445-1466206140
RUNJOBID= node151-1466206051-23293
PBS_JOBID= 19918135
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099445-1466206140/watcher-4099445-1466206140 -o /tmp/evaluation-result-4099445-1466206140/solver-4099445-1466206140 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466206051-23293 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099445-1466206140.opb

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

MD5SUM BENCH= 7cdaf60ccaf85c600aba211d4d47e719
RANDOM SEED=509413625

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30843168 kB
Buffers:           38472 kB
Cached:           193552 kB
SwapCached:         2016 kB
Active:          1168684 kB
Inactive:         146940 kB
Active(anon):    1084160 kB
Inactive(anon):     1744 kB
Active(file):      84524 kB
Inactive(file):   145196 kB
Unevictable:        7780 kB
Mlocked:            7780 kB
SwapTotal:      67108856 kB
SwapFree:       67099164 kB
Dirty:             32972 kB
Writeback:             0 kB
AnonPages:       1092524 kB
Mapped:            11340 kB
Shmem:                 0 kB
Slab:             573980 kB
SReclaimable:      17136 kB
SUnreclaim:       556844 kB
KernelStack:        1456 kB
PageTables:         6112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1234852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 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= 71656 MiB
End job on node151 at 2016-06-18 01:59:01