0.00/0.00	c 2016-06-16T20:20:32+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-4096015-1466101232.opb"]
0.00/0.01	c use --random-gen="3436210215 2350263966 2177283470 3807339333 1800032725 322629731 2734256201 1333888727 2314594657 2771427918 2564731260 645607602 482183150 3959005011 1634680435 3453271149 4111670149 487712708 4107508645 4270463188 70856449 3667804277 3621321720 731256538 4113370440 3305998629 1598433421 672871837 1111551009 2131769298 303106479 656935435 926798669 4200783092 1024698696 3108340052 2278924544 1947537454 832445673 1920634816 2827580833 4207150236 3270125362 3752515052 2981373622 2386557504 543028878 3031373142 193906959 3259951997 3104345138 3793067121 2797973272 2563877305 3624727403 2484518445 2515958212 2353385600 1017582705 3167929668 2676265043 3959199203 2674767228 2166141492 1817899424 2409589466 3559167107 540063808 3224517553 1730504745 825128570 733902815 3932173955 3102025699 4091271250 1156099552 4023288601 34524674 2516316411 3251175689 1869675872 1176316974 22516995 1412064907 3350937848 1627048670 2419570216 3282020969 227029558 629335685 2056059907 1625788182 3377040181 1018015174 3795150216 1457186051 1055859662 1029723362 2861884252 1808630009 2994034881 3170728738 2588926918 261422028 2244938032 296455321 1895845772 3574001829 3276706063 2970460799 344541681 1255134490 96653387 1865297036 3002138685 3323881269 937009740 4018855568 2665637760 633333089 691052136 3441799803 1509733662 86904384 2022874088 501660297 4283311644 1485408959 1628194347 1205437556 3036798483 3643954758 4259526965 195730676 1225568165 430445354 1357911168 376002614 3347449330 1470158121 2968599818 3268800110 1476202611 4197983248 2472431183 77370802 901184157 4285665340 2431159178 432362407 153194084 533239803 3834564494 2421237134 1714885896 2348367183 698183671 761596380 2558345109 2348380861 1380628457 1736007850 2284210232 1081756583 2792220963 3496878578 4080523891 898137805 2796731937 1586318286 756847898 132854501 1588930967 502893712 3706474540 3605560861 3511109299 345952022 3349913227 2367998202 3248805839 924103900 1818209726 1905956047 3539770873 660744621 1253731596 663462964 3443902886 4173394692 3027084779 4191103817 1617927856 1268280041 1708098368 2529713 2867808613 916191865 1361289024 289211055 634706569 2088335107 3633088589 993640645 1152967592 1457272248 2723605880 3028922131 3912049367 160214425 2964656560 1182811704 1494916526 4158341237 1373547474 2671766678 2882500875 992933131 2161091969 1396759364 2462812168 2033106346 254220080 2618324111 719020761 3629848632 725267410 3810720178 1409862858 3646801071 392052284 1018115706 3725864340 2699606259 3095950316 650613971 889783305 1556342939 1750960351 2257215268 4290008789 3918618063 2065772276 341878544 1487544946 2741562260 3810191977 2683819175 985769134 1046787936 3543508439 1030381542 365365012 3647433986 2652334597 512833370 255 362436" option to reproduce the execution
0.00/0.01	c #vars 301
0.00/0.01	c #constraints 150
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      200      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      189 |      100 |      200      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      433 |      250 |      221      0 |        0 |        0
0.09/0.10	c  0.1s |       3 |      752 |      475 |      244      1 |        0 |        0
0.09/0.16	c  0.1s |       4 |     1264 |      813 |      269      3 |        0 |        0
0.18/0.26	c  0.2s |       5 |     2091 |     1320 |      296      5 |        0 |        0
0.29/0.39	c  0.4s |       6 |     3076 |     2081 |      359      7 |        0 |        0
0.58/0.66	c  0.6s |       7 |     4701 |     3223 |      395     12 |        0 |        0
0.99/1.02	c  1.0s |       8 |     6798 |     4936 |      435     17 |        0 |        0
1.39/1.47	c  1.5s |       9 |     9827 |     7506 |      479     25 |        0 |        0
2.08/2.12	c  2.1s |      10 |    14441 |    11361 |      527     37 |        0 |        0
3.18/3.22	c  3.2s |      11 |    22724 |    17144 |      580     54 |        0 |        0
5.08/5.11	c  5.1s |      12 |    33780 |    25819 |      638     80 |        0 |        0
7.08/7.12	c  7.1s |      12 |    47326 |    36219 |      638    106 |        0 |        0
7.48/7.55	c  7.5s |      13 |    50991 |    38832 |      702    112 |        0 |        0
9.48/9.55	c  9.5s |      13 |    61864 |    48232 |      702    134 |        0 |        0
11.49/11.56	c 11.5s |      13 |    73474 |    57832 |      702    157 |        0 |        0
11.59/11.69	c 11.7s |      14 |    74021 |    58352 |      773    158 |        0 |        0
13.59/13.69	c 13.7s |      14 |    88423 |    67752 |      773    179 |        0 |        0
15.59/15.69	c 15.7s |      14 |   103373 |    76952 |      773    200 |        0 |        0
17.59/17.70	c 17.7s |      14 |   120525 |    86552 |      773    221 |        0 |        0
17.89/17.93	c 17.9s |      15 |   121932 |    87632 |      851    223 |        0 |        0
19.89/19.94	c 19.9s |      15 |   134380 |    97232 |      851    244 |        0 |        0
21.89/21.95	c 21.9s |      15 |   145952 |   106832 |      851    264 |        0 |        0
23.89/23.96	c 23.9s |      15 |   157326 |   116332 |      851    284 |        0 |        0
25.89/25.98	c 26.0s |      15 |   170896 |   126432 |      851    306 |        0 |        0
26.88/26.99	c 27.0s |      16 |   177993 |   131552 |      937    316 |        0 |        0
28.88/28.99	c 29.0s |      16 |   193624 |   141252 |      937    335 |        0 |        0
30.98/31.00	c 31.0s |      16 |   208733 |   151252 |      937    354 |        0 |        0
32.88/33.00	c 33.0s |      16 |   221730 |   160252 |      937    372 |        0 |        0
34.98/35.01	c 35.0s |      16 |   232638 |   168852 |      937    388 |        0 |        0
36.98/37.02	c 37.0s |      16 |   243604 |   177652 |      937    405 |        0 |        0
38.98/39.04	c 39.0s |      16 |   254245 |   186452 |      937    422 |        0 |        0
40.98/41.06	c 41.0s |      16 |   265141 |   194752 |      937    438 |        0 |        0
41.68/41.73	c 41.7s |      17 |   269092 |   197432 |     1031    443 |        0 |        0
43.68/43.75	c 43.7s |      17 |   278986 |   205732 |     1031    458 |        0 |        0
45.68/45.77	c 45.8s |      17 |   288892 |   213832 |     1031    473 |        0 |        0
47.78/47.80	c 47.8s |      17 |   299719 |   222132 |     1031    488 |        0 |        0
49.78/49.80	c 49.8s |      17 |   310899 |   230832 |     1031    503 |        0 |        0
51.79/51.82	c 51.8s |      17 |   321144 |   239332 |     1031    519 |        0 |        0
53.78/53.84	c 53.8s |      17 |   330839 |   247432 |     1031    533 |        0 |        0
55.78/55.86	c 55.8s |      17 |   339951 |   255132 |     1031    547 |        0 |        0
57.78/57.87	c 57.9s |      17 |   349269 |   263032 |     1031    561 |        0 |        0
59.78/59.88	c 59.9s |      17 |   359327 |   271032 |     1031    576 |        0 |        0
61.78/61.89	c 61.9s |      17 |   369591 |   278932 |     1031    590 |        0 |        0
63.88/63.92	c 63.9s |      17 |   380546 |   287132 |     1031    605 |        0 |        0
65.88/65.94	c 65.9s |      17 |   391362 |   295132 |     1135    619 |        0 |        0
66.17/66.23	c 66.2s |      18 |   392708 |   296252 |     1135    621 |        0 |        0
68.19/68.23	c 68.2s |      18 |   402812 |   304652 |     1135    634 |        0 |        0
70.18/70.25	c 70.2s |      18 |   412399 |   312752 |     1135    647 |        0 |        0
72.18/72.26	c 72.2s |      18 |   422140 |   320752 |     1135    660 |        0 |        0
74.18/74.26	c 74.2s |      18 |   431703 |   328552 |     1135    672 |        0 |        0
76.18/76.27	c 76.3s |      18 |   442739 |   337252 |     1135    686 |        0 |        0
78.18/78.29	c 78.3s |      18 |   452939 |   345452 |     1135    699 |        0 |        0
80.18/80.29	c 80.3s |      18 |   462346 |   353452 |     1135    712 |        0 |        0
82.28/82.31	c 82.3s |      18 |   471429 |   361152 |     1135    724 |        0 |        0
84.28/84.34	c 84.3s |      18 |   480585 |   369052 |     1135    737 |        0 |        0
86.27/86.34	c 86.3s |      18 |   491504 |   378252 |     1135    752 |        0 |        0
88.27/88.35	c 88.3s |      18 |   502512 |   387452 |     1135    767 |        0 |        0
90.28/90.36	c 90.3s |      18 |   513001 |   396252 |     1135    781 |        0 |        0
92.27/92.36	c 92.3s |      18 |   523450 |   404852 |     1135    795 |        0 |        0
94.28/94.37	c 94.4s |      18 |   534405 |   413552 |     1135    809 |        0 |        0
96.28/96.37	c 96.4s |      18 |   545399 |   422352 |     1135    823 |        0 |        0
98.28/98.39	c 98.4s |      18 |   555426 |   430552 |     1135    836 |        0 |        0
100.38/100.40	c  100s |      18 |   565597 |   438852 |     1135    849 |        0 |        0
101.68/101.78	c  101s |      19 |   572392 |   444482 |     1249    858 |        0 |        0
103.78/103.80	c  103s |      19 |   584544 |   453082 |     1249    870 |        0 |        0
105.77/105.81	c  105s |      19 |   593995 |   460682 |     1249    881 |        0 |        0
107.78/107.82	c  107s |      19 |   603596 |   468382 |     1249    893 |        0 |        0
109.77/109.84	c  109s |      19 |   613343 |   476382 |     1249    904 |        0 |        0
111.77/111.85	c  111s |      19 |   622495 |   484182 |     1249    915 |        0 |        0
113.77/113.86	c  113s |      19 |   631190 |   491582 |     1249    926 |        0 |        0
115.77/115.88	c  115s |      19 |   642674 |   499882 |     1249    938 |        0 |        0
117.78/117.89	c  117s |      19 |   652247 |   507782 |     1249    950 |        0 |        0
119.77/119.89	c  119s |      19 |   663238 |   516082 |     1249    962 |        0 |        0
121.87/121.91	c  121s |      19 |   672817 |   523982 |     1249    974 |        0 |        0
123.87/123.92	c  123s |      19 |   683134 |   531882 |     1249    985 |        0 |        0
125.87/125.93	c  125s |      19 |   693699 |   539582 |     1249    997 |        0 |        0
127.87/127.94	c  127s |      19 |   703895 |   548082 |     1249   1009 |        0 |        0
129.88/129.96	c  129s |      19 |   713863 |   556382 |     1249   1021 |        0 |        0
131.87/131.97	c  131s |      19 |   724750 |   564882 |     1249   1034 |        0 |        0
133.87/133.98	c  133s |      19 |   736070 |   573282 |     1249   1046 |        0 |        0
135.97/136.00	c  135s |      19 |   746830 |   581482 |     1249   1058 |        0 |        0
137.97/138.01	c  137s |      19 |   757893 |   589882 |     1249   1070 |        0 |        0
139.97/140.03	c  140s |      19 |   770014 |   598482 |     1249   1083 |        0 |        0
141.97/142.03	c  142s |      19 |   780965 |   606782 |     1249   1095 |        0 |        0
143.97/144.04	c  144s |      19 |   790956 |   614582 |     1249   1106 |        0 |        0
145.97/146.05	c  146s |      19 |   800889 |   622282 |     1249   1118 |        0 |        0
147.97/148.06	c  148s |      19 |   811023 |   630282 |     1249   1129 |        0 |        0
149.97/150.08	c  150s |      19 |   820889 |   638182 |     1249   1141 |        0 |        0
151.96/152.08	c  152s |      19 |   829889 |   645782 |     1249   1152 |        0 |        0
153.97/154.10	c  154s |      19 |   838846 |   653382 |     1249   1163 |        0 |        0
156.06/156.10	c  156s |      19 |   848611 |   661082 |     1249   1174 |        0 |        0
157.56/157.66	c  157s |      20 |   855465 |   666827 |     1374   1182 |        0 |        0
159.57/159.66	c  159s |      20 |   868427 |   675327 |     1374   1193 |        0 |        0
161.56/161.66	c  161s |      20 |   878569 |   683227 |     1374   1204 |        0 |        0
163.56/163.68	c  163s |      20 |   890672 |   691727 |     1374   1215 |        0 |        0
165.56/165.69	c  165s |      20 |   901843 |   699927 |     1374   1226 |        0 |        0
167.66/167.72	c  167s |      20 |   912908 |   708127 |     1374   1238 |        0 |        0
169.67/169.73	c  169s |      20 |   923468 |   715927 |     1374   1248 |        0 |        0
171.67/171.73	c  171s |      20 |   934714 |   724227 |     1374   1259 |        0 |        0
173.67/173.73	c  173s |      20 |   944074 |   731727 |     1374   1269 |        0 |        0
175.67/175.76	c  175s |      20 |   955491 |   740027 |     1374   1281 |        0 |        0
177.67/177.78	c  177s |      20 |   965370 |   747527 |     1374   1291 |        0 |        0
179.66/179.79	c  179s |      20 |   975351 |   755427 |     1374   1301 |        0 |        0
181.76/181.80	c  181s |      20 |   984217 |   763027 |     1374   1311 |        0 |        0
183.67/183.80	c  183s |      20 |   994801 |   771127 |     1374   1322 |        0 |        0
185.76/185.82	c  185s |      20 |  1005731 |   779127 |     1374   1333 |        0 |        0
187.76/187.83	c  187s |      20 |  1016968 |   786927 |     1374   1344 |        0 |        0
189.76/189.84	c  189s |      20 |  1026800 |   794727 |     1374   1354 |        0 |        0
191.76/191.85	c  191s |      20 |  1036103 |   802327 |     1374   1364 |        0 |        0
193.76/193.86	c  193s |      20 |  1045031 |   809427 |     1374   1374 |        0 |        0
195.77/195.88	c  195s |      20 |  1055392 |   817127 |     1374   1384 |        0 |        0
197.76/197.89	c  197s |      20 |  1065236 |   824727 |     1374   1395 |        0 |        0
199.86/199.90	c  199s |      20 |  1076712 |   832727 |     1374   1405 |        0 |        0
201.86/201.92	c  201s |      20 |  1088736 |   841227 |     1374   1417 |        0 |        0
203.86/203.94	c  203s |      20 |  1098798 |   849127 |     1374   1427 |        0 |        0
205.86/205.96	c  205s |      20 |  1107773 |   856627 |     1374   1437 |        0 |        0
207.86/207.98	c  207s |      20 |  1116748 |   864027 |     1374   1447 |        0 |        0
209.86/209.99	c  209s |      20 |  1125280 |   871227 |     1374   1457 |        0 |        0
211.95/212.00	c  211s |      20 |  1134871 |   878827 |     1374   1467 |        0 |        0
213.95/214.00	c  213s |      20 |  1145012 |   886727 |     1374   1478 |        0 |        0
215.95/216.00	c  215s |      20 |  1154959 |   894627 |     1374   1488 |        0 |        0
217.96/218.01	c  217s |      20 |  1164502 |   902227 |     1374   1499 |        0 |        0
219.97/220.03	c  220s |      20 |  1174801 |   909927 |     1374   1509 |        0 |        0
221.96/222.05	c  222s |      20 |  1184258 |   917327 |     1374   1519 |        0 |        0
223.96/224.06	c  224s |      20 |  1193679 |   924827 |     1374   1529 |        0 |        0
225.96/226.08	c  226s |      20 |  1203845 |   932327 |     1374   1540 |        0 |        0
227.96/228.08	c  228s |      20 |  1213846 |   939927 |     1374   1550 |        0 |        0
229.96/230.09	c  230s |      20 |  1223499 |   947827 |     1374   1560 |        0 |        0
232.06/232.11	c  232s |      20 |  1234195 |   956327 |     1374   1572 |        0 |        0
234.05/234.12	c  234s |      20 |  1245172 |   964827 |     1374   1583 |        0 |        0
236.05/236.13	c  236s |      20 |  1255375 |   973027 |     1374   1594 |        0 |        0
238.05/238.14	c  238s |      20 |  1265519 |   980927 |     1374   1605 |        0 |        0
240.05/240.15	c  240s |      20 |  1275454 |   988727 |     1374   1615 |        0 |        0
242.06/242.16	c  242s |      20 |  1285334 |   996727 |     1512   1625 |        0 |        0
243.06/243.14	c  243s |      21 |  1289639 |  1000345 |     1512   1630 |        0 |        0
245.05/245.15	c  245s |      21 |  1300473 |  1008045 |     1512   1639 |        0 |        0
247.05/247.18	c  247s |      21 |  1311578 |  1015745 |     1512   1649 |        0 |        0
249.05/249.19	c  249s |      21 |  1322986 |  1023845 |     1512   1658 |        0 |        0
251.15/251.20	c  251s |      21 |  1335503 |  1032045 |     1512   1669 |        0 |        0
253.15/253.20	c  253s |      21 |  1346110 |  1039545 |     1512   1678 |        0 |        0
255.15/255.21	c  255s |      21 |  1357537 |  1047445 |     1512   1687 |        0 |        0
257.15/257.23	c  257s |      21 |  1368336 |  1054945 |     1512   1696 |        0 |        0
259.15/259.25	c  259s |      21 |  1378133 |  1062545 |     1512   1706 |        0 |        0
261.15/261.26	c  261s |      21 |  1389270 |  1070645 |     1512   1715 |        0 |        0
263.15/263.29	c  263s |      21 |  1400356 |  1078445 |     1512   1725 |        0 |        0
265.24/265.31	c  265s |      21 |  1408734 |  1085545 |     1512   1734 |        0 |        0
267.25/267.32	c  267s |      21 |  1417914 |  1092445 |     1512   1742 |        0 |        0
269.25/269.33	c  269s |      21 |  1426575 |  1099445 |     1512   1750 |        0 |        0
271.25/271.35	c  271s |      21 |  1435467 |  1106845 |     1512   1759 |        0 |        0
273.25/273.36	c  273s |      21 |  1445026 |  1114945 |     1512   1769 |        0 |        0
275.25/275.36	c  275s |      21 |  1456915 |  1123945 |     1512   1780 |        0 |        0
277.25/277.38	c  277s |      21 |  1468239 |  1132645 |     1512   1791 |        0 |        0
279.25/279.39	c  279s |      21 |  1479910 |  1141445 |     1512   1802 |        0 |        0
281.35/281.40	c  281s |      21 |  1491107 |  1149745 |     1512   1812 |        0 |        0
283.34/283.42	c  283s |      21 |  1501429 |  1157845 |     1512   1822 |        0 |        0
285.34/285.44	c  285s |      21 |  1510996 |  1165845 |     1512   1831 |        0 |        0
287.34/287.45	c  287s |      21 |  1520670 |  1173845 |     1512   1841 |        0 |        0
289.35/289.46	c  289s |      21 |  1534040 |  1182345 |     1512   1852 |        0 |        0
291.34/291.47	c  291s |      21 |  1547026 |  1190745 |     1512   1862 |        0 |        0
293.34/293.48	c  293s |      21 |  1560798 |  1199445 |     1512   1872 |        0 |        0
295.44/295.50	c  295s |      21 |  1574216 |  1208045 |     1512   1883 |        0 |        0
297.44/297.52	c  297s |      21 |  1587068 |  1216645 |     1512   1894 |        0 |        0
299.44/299.52	c  299s |      21 |  1597714 |  1224345 |     1512   1903 |        0 |        0
301.45/301.53	c  301s |      21 |  1610172 |  1232245 |     1512   1913 |        0 |        0
303.44/303.54	c  303s |      21 |  1621330 |  1240345 |     1512   1923 |        0 |        0
305.44/305.54	c  305s |      21 |  1632990 |  1248445 |     1512   1932 |        0 |        0
307.44/307.54	c  307s |      21 |  1647100 |  1256545 |     1512   1942 |        0 |        0
309.45/309.57	c  309s |      21 |  1658316 |  1264645 |     1512   1952 |        0 |        0
311.45/311.58	c  311s |      21 |  1670878 |  1272845 |     1512   1962 |        0 |        0
313.55/313.60	c  313s |      21 |  1681966 |  1280845 |     1512   1972 |        0 |        0
315.55/315.64	c  315s |      21 |  1697355 |  1290145 |     1512   1984 |        0 |        0
317.54/317.65	c  317s |      21 |  1710406 |  1298545 |     1512   1994 |        0 |        0
319.54/319.67	c  319s |      21 |  1723531 |  1307045 |     1512   2004 |        0 |        0
321.54/321.68	c  321s |      21 |  1734466 |  1315445 |     1512   2015 |        0 |        0
323.64/323.70	c  323s |      21 |  1746145 |  1324245 |     1512   2025 |        0 |        0
325.55/325.70	c  325s |      21 |  1757925 |  1332645 |     1512   2036 |        0 |        0
327.64/327.72	c  327s |      21 |  1767605 |  1340245 |     1512   2045 |        0 |        0
329.64/329.74	c  329s |      21 |  1777614 |  1348045 |     1512   2054 |        0 |        0
331.64/331.77	c  331s |      21 |  1788434 |  1356145 |     1512   2064 |        0 |        0
333.64/333.79	c  333s |      21 |  1799169 |  1364245 |     1512   2074 |        0 |        0
335.74/335.80	c  335s |      21 |  1810150 |  1372245 |     1512   2084 |        0 |        0
337.75/337.82	c  337s |      21 |  1819541 |  1379745 |     1512   2093 |        0 |        0
339.74/339.84	c  339s |      21 |  1829710 |  1387445 |     1512   2102 |        0 |        0
341.74/341.84	c  341s |      21 |  1840201 |  1395045 |     1512   2112 |        0 |        0
343.74/343.86	c  343s |      21 |  1850428 |  1402545 |     1512   2121 |        0 |        0
345.74/345.87	c  345s |      21 |  1861326 |  1410145 |     1512   2130 |        0 |        0
347.74/347.89	c  347s |      21 |  1870023 |  1417245 |     1512   2138 |        0 |        0
349.74/349.90	c  349s |      21 |  1880010 |  1424245 |     1512   2147 |        0 |        0
351.84/351.91	c  351s |      21 |  1891243 |  1432045 |     1512   2156 |        0 |        0
353.84/353.92	c  353s |      21 |  1903641 |  1440045 |     1512   2166 |        0 |        0
355.84/355.94	c  355s |      21 |  1915655 |  1448545 |     1512   2176 |        0 |        0
357.84/357.96	c  357s |      21 |  1927465 |  1456345 |     1512   2186 |        0 |        0
359.83/359.97	c  359s |      21 |  1941869 |  1464845 |     1512   2196 |        0 |        0
361.84/361.99	c  361s |      21 |  1953823 |  1473045 |     1512   2206 |        0 |        0
363.93/364.02	c  364s |      21 |  1965670 |  1480645 |     1512   2215 |        0 |        0
365.93/366.02	c  366s |      21 |  1977908 |  1488345 |     1512   2225 |        0 |        0
367.93/368.05	c  368s |      21 |  1988484 |  1496145 |     1664   2234 |        0 |        0
369.33/369.44	c  369s |      22 |  1995414 |  1500622 |     1664   2239 |        0 |        0
371.33/371.47	c  371s |      22 |  2006626 |  1507822 |     1664   2247 |        0 |        0
373.43/373.50	c  373s |      22 |  2019316 |  1515722 |     1664   2255 |        0 |        0
375.43/375.50	c  375s |      22 |  2030111 |  1523322 |     1664   2264 |        0 |        0
377.43/377.52	c  377s |      22 |  2039489 |  1530522 |     1664   2272 |        0 |        0
379.44/379.52	c  379s |      22 |  2048416 |  1537522 |     1664   2280 |        0 |        0
381.43/381.53	c  381s |      22 |  2057685 |  1544222 |     1664   2288 |        0 |        0
383.43/383.54	c  383s |      22 |  2067353 |  1551522 |     1664   2296 |        0 |        0
385.43/385.56	c  385s |      22 |  2077741 |  1559022 |     1664   2304 |        0 |        0
387.43/387.58	c  387s |      22 |  2087083 |  1566222 |     1664   2313 |        0 |        0
389.44/389.60	c  389s |      22 |  2097710 |  1573922 |     1664   2321 |        0 |        0
391.43/391.60	c  391s |      22 |  2108071 |  1581722 |     1664   2330 |        0 |        0
393.53/393.60	c  393s |      22 |  2118637 |  1589522 |     1664   2339 |        0 |        0
395.53/395.61	c  395s |      22 |  2129000 |  1597122 |     1664   2347 |        0 |        0
397.53/397.62	c  397s |      22 |  2139658 |  1604422 |     1664   2356 |        0 |        0
399.53/399.62	c  399s |      22 |  2151321 |  1612322 |     1664   2365 |        0 |        0
401.53/401.63	c  401s |      22 |  2161280 |  1619822 |     1664   2373 |        0 |        0
403.52/403.65	c  403s |      22 |  2170068 |  1626622 |     1664   2381 |        0 |        0
405.52/405.65	c  405s |      22 |  2178305 |  1633322 |     1664   2388 |        0 |        0
407.52/407.66	c  407s |      22 |  2186031 |  1639722 |     1664   2396 |        0 |        0
409.52/409.67	c  409s |      22 |  2195387 |  1647222 |     1664   2404 |        0 |        0
411.52/411.68	c  411s |      22 |  2204686 |  1654722 |     1664   2413 |        0 |        0
413.63/413.70	c  413s |      22 |  2214542 |  1662122 |     1664   2421 |        0 |        0
415.63/415.71	c  415s |      22 |  2224581 |  1669722 |     1664   2429 |        0 |        0
417.63/417.72	c  417s |      22 |  2234147 |  1676922 |     1664   2438 |        0 |        0
419.63/419.73	c  419s |      22 |  2243546 |  1684122 |     1664   2446 |        0 |        0
421.63/421.73	c  421s |      22 |  2252997 |  1691522 |     1664   2454 |        0 |        0
423.63/423.76	c  423s |      22 |  2261995 |  1698722 |     1664   2462 |        0 |        0
425.63/425.77	c  425s |      22 |  2269896 |  1705222 |     1664   2470 |        0 |        0
427.63/427.79	c  427s |      22 |  2278866 |  1711822 |     1664   2477 |        0 |        0
429.73/429.82	c  429s |      22 |  2289341 |  1718922 |     1664   2485 |        0 |        0
431.73/431.85	c  431s |      22 |  2297959 |  1725622 |     1664   2493 |        0 |        0
433.73/433.88	c  433s |      22 |  2307358 |  1732722 |     1664   2501 |        0 |        0
435.73/435.88	c  435s |      22 |  2315742 |  1739722 |     1664   2508 |        0 |        0
437.73/437.90	c  437s |      22 |  2324790 |  1746822 |     1664   2516 |        0 |        0
439.83/439.90	c  439s |      22 |  2333874 |  1753722 |     1664   2524 |        0 |        0
441.82/441.93	c  441s |      22 |  2342677 |  1760822 |     1664   2532 |        0 |        0
443.82/443.94	c  443s |      22 |  2352370 |  1767922 |     1664   2540 |        0 |        0
445.82/445.97	c  445s |      22 |  2360317 |  1774722 |     1664   2548 |        0 |        0
447.82/447.98	c  447s |      22 |  2368535 |  1781522 |     1664   2555 |        0 |        0
449.93/450.01	c  449s |      22 |  2376136 |  1787922 |     1664   2563 |        0 |        0
451.92/452.02	c  452s |      22 |  2384119 |  1794222 |     1664   2570 |        0 |        0
453.92/454.04	c  454s |      22 |  2391746 |  1800622 |     1664   2577 |        0 |        0
455.92/456.05	c  456s |      22 |  2399641 |  1807222 |     1664   2584 |        0 |        0
457.92/458.06	c  458s |      22 |  2407396 |  1813822 |     1664   2592 |        0 |        0
459.92/460.07	c  460s |      22 |  2416330 |  1821222 |     1664   2600 |        0 |        0
461.93/462.08	c  462s |      22 |  2425073 |  1828622 |     1664   2608 |        0 |        0
463.92/464.09	c  464s |      22 |  2435219 |  1836422 |     1664   2617 |        0 |        0
466.02/466.11	c  466s |      22 |  2444890 |  1843722 |     1664   2625 |        0 |        0
468.02/468.14	c  468s |      22 |  2453983 |  1850522 |     1664   2633 |        0 |        0
470.02/470.16	c  470s |      22 |  2463090 |  1857422 |     1664   2641 |        0 |        0
472.02/472.18	c  472s |      22 |  2471833 |  1864322 |     1664   2648 |        0 |        0
474.02/474.20	c  474s |      22 |  2480204 |  1871222 |     1664   2656 |        0 |        0
476.12/476.23	c  476s |      22 |  2489114 |  1878322 |     1664   2664 |        0 |        0
478.12/478.24	c  478s |      22 |  2496937 |  1884922 |     1664   2672 |        0 |        0
480.12/480.25	c  480s |      22 |  2505686 |  1892122 |     1664   2680 |        0 |        0
482.12/482.27	c  482s |      22 |  2514116 |  1899122 |     1664   2688 |        0 |        0
484.22/484.30	c  484s |      22 |  2522871 |  1906122 |     1664   2696 |        0 |        0
486.22/486.31	c  486s |      22 |  2531590 |  1913322 |     1664   2704 |        0 |        0
488.21/488.32	c  488s |      22 |  2540837 |  1921022 |     1664   2712 |        0 |        0
490.21/490.35	c  490s |      22 |  2548813 |  1927822 |     1664   2720 |        0 |        0
492.21/492.36	c  492s |      22 |  2556178 |  1934222 |     1664   2727 |        0 |        0
494.21/494.39	c  494s |      22 |  2563737 |  1940822 |     1664   2734 |        0 |        0
496.31/496.40	c  496s |      22 |  2572094 |  1947822 |     1664   2742 |        0 |        0
498.32/498.41	c  498s |      22 |  2581123 |  1955322 |     1664   2751 |        0 |        0
500.31/500.42	c  500s |      22 |  2590378 |  1963022 |     1664   2759 |        0 |        0
502.31/502.42	c  502s |      22 |  2599130 |  1970322 |     1664   2768 |        0 |        0
504.31/504.43	c  504s |      22 |  2607160 |  1977322 |     1664   2775 |        0 |        0
506.31/506.45	c  506s |      22 |  2615361 |  1984422 |     1664   2783 |        0 |        0
508.31/508.46	c  508s |      22 |  2624414 |  1991822 |     1664   2791 |        0 |        0
510.32/510.47	c  510s |      22 |  2633393 |  1999222 |     1664   2800 |        0 |        0
512.32/512.49	c  512s |      22 |  2642527 |  2006622 |     1664   2808 |        0 |        0
514.41/514.51	c  514s |      22 |  2651288 |  2013722 |     1664   2816 |        0 |        0
516.41/516.51	c  516s |      22 |  2659803 |  2020822 |     1664   2824 |        0 |        0
518.41/518.52	c  518s |      22 |  2668790 |  2028122 |     1664   2832 |        0 |        0
520.41/520.53	c  520s |      22 |  2677278 |  2034922 |     1664   2840 |        0 |        0
522.42/522.55	c  522s |      22 |  2685167 |  2041822 |     1664   2847 |        0 |        0
524.41/524.57	c  524s |      22 |  2693398 |  2048722 |     1664   2855 |        0 |        0
526.41/526.59	c  526s |      22 |  2701914 |  2055722 |     1664   2863 |        0 |        0
528.51/528.60	c  528s |      22 |  2710280 |  2062722 |     1664   2871 |        0 |        0
530.51/530.61	c  530s |      22 |  2719140 |  2069922 |     1664   2879 |        0 |        0
532.51/532.63	c  532s |      22 |  2728672 |  2077022 |     1664   2887 |        0 |        0
534.52/534.66	c  534s |      22 |  2737774 |  2084222 |     1664   2895 |        0 |        0
536.51/536.69	c  536s |      22 |  2747943 |  2091822 |     1664   2904 |        0 |        0
538.61/538.72	c  538s |      22 |  2758005 |  2099422 |     1664   2912 |        0 |        0
540.61/540.73	c  540s |      22 |  2767953 |  2106922 |     1664   2921 |        0 |        0
542.61/542.74	c  542s |      22 |  2776668 |  2113922 |     1664   2929 |        0 |        0
544.61/544.77	c  544s |      22 |  2784979 |  2120822 |     1664   2936 |        0 |        0
546.62/546.80	c  546s |      22 |  2793662 |  2127922 |     1664   2944 |        0 |        0
548.71/548.80	c  548s |      22 |  2802891 |  2135222 |     1664   2953 |        0 |        0
550.71/550.82	c  550s |      22 |  2813163 |  2142822 |     1664   2961 |        0 |        0
552.71/552.83	c  552s |      22 |  2822611 |  2150222 |     1664   2969 |        0 |        0
554.71/554.85	c  554s |      22 |  2832130 |  2157522 |     1664   2978 |        0 |        0
556.71/556.86	c  556s |      22 |  2842932 |  2165122 |     1664   2986 |        0 |        0
558.71/558.88	c  558s |      22 |  2852017 |  2172222 |     1664   2994 |        0 |        0
560.81/560.90	c  560s |      22 |  2861478 |  2179422 |     1664   3002 |        0 |        0
562.81/562.90	c  562s |      22 |  2869811 |  2186122 |     1664   3010 |        0 |        0
564.81/564.90	c  564s |      22 |  2878414 |  2192922 |     1664   3018 |        0 |        0
566.80/566.91	c  566s |      22 |  2887321 |  2199822 |     1664   3025 |        0 |        0
568.80/568.91	c  568s |      22 |  2896618 |  2207022 |     1664   3033 |        0 |        0
570.81/570.92	c  570s |      22 |  2907015 |  2214922 |     1664   3042 |        0 |        0
572.80/572.93	c  572s |      22 |  2916021 |  2222122 |     1664   3050 |        0 |        0
574.80/574.96	c  574s |      22 |  2924863 |  2229322 |     1664   3058 |        0 |        0
576.80/576.96	c  576s |      22 |  2934186 |  2236522 |     1831   3066 |        0 |        0
578.80/578.98	c  578s |      22 |  2942508 |  2243422 |     1831   3073 |        0 |        0
580.81/580.99	c  580s |      22 |  2951405 |  2250522 |     1831   3081 |        0 |        0
581.00/581.13	c  581s |      23 |  2952088 |  2251038 |     1831   3081 |        0 |        0
583.01/583.15	c  583s |      23 |  2961648 |  2258238 |     1831   3088 |        0 |        0
585.00/585.16	c  585s |      23 |  2971463 |  2265238 |     1831   3096 |        0 |        0
587.00/587.18	c  587s |      23 |  2982233 |  2272338 |     1831   3103 |        0 |        0
589.10/589.20	c  589s |      23 |  2993393 |  2279438 |     1831   3110 |        0 |        0
591.10/591.23	c  591s |      23 |  3004787 |  2286538 |     1831   3117 |        0 |        0
593.10/593.23	c  593s |      23 |  3016850 |  2293938 |     1831   3125 |        0 |        0
595.10/595.26	c  595s |      23 |  3029248 |  2301138 |     1831   3133 |        0 |        0
597.10/597.27	c  597s |      23 |  3038042 |  2307838 |     1831   3139 |        0 |        0
599.10/599.29	c  599s |      23 |  3049506 |  2314838 |     1831   3147 |        0 |        0
601.20/601.30	c  601s |      23 |  3060784 |  2322338 |     1831   3154 |        0 |        0
603.19/603.31	c  603s |      23 |  3072491 |  2329738 |     1831   3162 |        0 |        0
605.19/605.32	c  605s |      23 |  3083061 |  2337238 |     1831   3170 |        0 |        0
607.20/607.33	c  607s |      23 |  3094048 |  2344638 |     1831   3177 |        0 |        0
609.19/609.34	c  609s |      23 |  3104977 |  2351738 |     1831   3184 |        0 |        0
611.19/611.36	c  611s |      23 |  3115541 |  2359138 |     1831   3192 |        0 |        0
613.19/613.39	c  613s |      23 |  3124131 |  2365638 |     1831   3199 |        0 |        0
615.29/615.41	c  615s |      23 |  3133267 |  2372638 |     1831   3206 |        0 |        0
617.29/617.43	c  617s |      23 |  3143924 |  2379838 |     1831   3213 |        0 |        0
619.30/619.45	c  619s |      23 |  3153842 |  2386938 |     1831   3221 |        0 |        0
621.29/621.46	c  621s |      23 |  3164124 |  2394238 |     1831   3228 |        0 |        0
623.29/623.47	c  623s |      23 |  3173541 |  2401538 |     1831   3236 |        0 |        0
625.29/625.47	c  625s |      23 |  3183676 |  2408638 |     1831   3243 |        0 |        0
627.29/627.48	c  627s |      23 |  3192334 |  2414938 |     1831   3249 |        0 |        0
629.39/629.51	c  629s |      23 |  3201034 |  2421838 |     1831   3257 |        0 |        0
631.40/631.55	c  631s |      23 |  3209010 |  2428438 |     1831   3263 |        0 |        0
633.39/633.56	c  633s |      23 |  3217297 |  2435038 |     1831   3270 |        0 |        0
635.39/635.56	c  635s |      23 |  3225452 |  2441538 |     1831   3277 |        0 |        0
637.39/637.56	c  637s |      23 |  3233338 |  2447538 |     1831   3283 |        0 |        0
639.40/639.58	c  639s |      23 |  3241399 |  2454038 |     1831   3290 |        0 |        0
641.40/641.59	c  641s |      23 |  3250140 |  2460938 |     1831   3297 |        0 |        0
643.50/643.62	c  643s |      23 |  3257883 |  2467638 |     1831   3304 |        0 |        0
645.49/645.63	c  645s |      23 |  3265575 |  2474238 |     1831   3310 |        0 |        0
647.49/647.65	c  647s |      23 |  3273229 |  2480838 |     1831   3317 |        0 |        0
649.49/649.67	c  649s |      23 |  3280781 |  2487238 |     1831   3324 |        0 |        0
651.49/651.68	c  651s |      23 |  3288774 |  2493838 |     1831   3330 |        0 |        0
653.59/653.70	c  653s |      23 |  3296859 |  2500738 |     1831   3337 |        0 |        0
655.60/655.71	c  655s |      23 |  3304562 |  2507438 |     1831   3344 |        0 |        0
657.59/657.71	c  657s |      23 |  3313317 |  2514638 |     1831   3352 |        0 |        0
659.59/659.74	c  659s |      23 |  3321914 |  2521738 |     1831   3359 |        0 |        0
661.59/661.75	c  661s |      23 |  3330447 |  2528638 |     1831   3366 |        0 |        0
663.59/663.78	c  663s |      23 |  3338477 |  2535338 |     1831   3373 |        0 |        0
665.59/665.79	c  665s |      23 |  3346857 |  2542138 |     1831   3380 |        0 |        0
667.60/667.80	c  667s |      23 |  3354718 |  2548638 |     1831   3387 |        0 |        0
669.69/669.82	c  669s |      23 |  3362357 |  2554838 |     1831   3393 |        0 |        0
671.69/671.82	c  671s |      23 |  3370912 |  2561738 |     1831   3400 |        0 |        0
673.69/673.84	c  673s |      23 |  3378484 |  2567938 |     1831   3406 |        0 |        0
675.69/675.85	c  675s |      23 |  3385957 |  2574038 |     1831   3413 |        0 |        0
677.69/677.85	c  677s |      23 |  3395138 |  2581038 |     1831   3420 |        0 |        0
679.69/679.86	c  679s |      23 |  3405235 |  2587838 |     1831   3427 |        0 |        0
681.69/681.88	c  681s |      23 |  3413925 |  2594938 |     1831   3434 |        0 |        0
683.79/683.90	c  683s |      23 |  3423199 |  2602038 |     1831   3441 |        0 |        0
685.78/685.91	c  685s |      23 |  3431216 |  2608338 |     1831   3448 |        0 |        0
687.78/687.93	c  687s |      23 |  3440243 |  2614938 |     1831   3455 |        0 |        0
689.78/689.94	c  689s |      23 |  3451071 |  2622438 |     1831   3462 |        0 |        0
691.79/691.97	c  691s |      23 |  3460612 |  2629338 |     1831   3469 |        0 |        0
693.78/693.99	c  693s |      23 |  3469308 |  2635838 |     1831   3476 |        0 |        0
695.88/696.00	c  695s |      23 |  3479156 |  2643038 |     1831   3484 |        0 |        0
697.88/698.01	c  697s |      23 |  3489458 |  2650038 |     1831   3491 |        0 |        0
699.88/700.04	c  700s |      23 |  3499928 |  2657338 |     1831   3498 |        0 |        0
701.88/702.06	c  702s |      23 |  3509375 |  2664338 |     1831   3505 |        0 |        0
703.89/704.07	c  704s |      23 |  3517298 |  2670838 |     1831   3512 |        0 |        0
705.88/706.09	c  706s |      23 |  3525817 |  2677338 |     1831   3519 |        0 |        0
707.88/708.09	c  708s |      23 |  3534394 |  2684038 |     1831   3526 |        0 |        0
709.98/710.10	c  710s |      23 |  3543969 |  2691138 |     1831   3533 |        0 |        0
711.98/712.12	c  712s |      23 |  3553647 |  2698238 |     1831   3540 |        0 |        0
713.97/714.13	c  714s |      23 |  3564329 |  2705538 |     1831   3548 |        0 |        0
715.98/716.13	c  716s |      23 |  3573934 |  2712738 |     1831   3555 |        0 |        0
717.97/718.14	c  718s |      23 |  3583297 |  2719638 |     1831   3563 |        0 |        0
719.97/720.16	c  720s |      23 |  3592641 |  2726538 |     1831   3570 |        0 |        0
721.97/722.16	c  722s |      23 |  3602488 |  2733738 |     1831   3577 |        0 |        0
723.97/724.17	c  724s |      23 |  3614081 |  2741238 |     1831   3585 |        0 |        0
725.98/726.19	c  726s |      23 |  3625669 |  2748838 |     1831   3593 |        0 |        0
728.08/728.22	c  728s |      23 |  3635301 |  2755638 |     1831   3600 |        0 |        0
730.07/730.23	c  730s |      23 |  3644323 |  2762338 |     1831   3607 |        0 |        0
732.07/732.24	c  732s |      23 |  3652965 |  2768838 |     1831   3613 |        0 |        0
734.06/734.27	c  734s |      23 |  3661251 |  2775438 |     1831   3620 |        0 |        0
736.06/736.29	c  736s |      23 |  3670913 |  2782438 |     1831   3627 |        0 |        0
738.16/738.31	c  738s |      23 |  3682044 |  2789738 |     1831   3635 |        0 |        0
740.18/740.32	c  740s |      23 |  3693031 |  2797038 |     1831   3642 |        0 |        0
742.17/742.32	c  742s |      23 |  3701914 |  2804038 |     1831   3649 |        0 |        0
744.16/744.33	c  744s |      23 |  3710627 |  2810738 |     1831   3656 |        0 |        0
746.16/746.33	c  746s |      23 |  3718556 |  2817038 |     1831   3663 |        0 |        0
748.16/748.34	c  748s |      23 |  3726742 |  2823638 |     1831   3670 |        0 |        0
750.17/750.36	c  750s |      23 |  3735639 |  2830638 |     1831   3677 |        0 |        0
752.16/752.39	c  752s |      23 |  3744312 |  2837238 |     1831   3684 |        0 |        0
754.25/754.42	c  754s |      23 |  3752899 |  2843738 |     1831   3690 |        0 |        0
756.25/756.43	c  756s |      23 |  3761792 |  2850338 |     1831   3697 |        0 |        0
758.25/758.43	c  758s |      23 |  3770716 |  2856938 |     1831   3704 |        0 |        0
760.25/760.44	c  760s |      23 |  3780521 |  2864038 |     1831   3711 |        0 |        0
762.26/762.46	c  762s |      23 |  3789692 |  2870938 |     1831   3718 |        0 |        0
764.24/764.47	c  764s |      23 |  3798067 |  2877538 |     1831   3725 |        0 |        0
766.24/766.49	c  766s |      23 |  3807826 |  2884238 |     1831   3732 |        0 |        0
768.24/768.49	c  768s |      23 |  3818881 |  2891438 |     1831   3739 |        0 |        0
770.34/770.50	c  770s |      23 |  3826925 |  2898038 |     1831   3746 |        0 |        0
772.34/772.52	c  772s |      23 |  3834252 |  2904238 |     1831   3752 |        0 |        0
774.34/774.53	c  774s |      23 |  3842434 |  2910638 |     1831   3759 |        0 |        0
776.34/776.55	c  776s |      23 |  3850870 |  2917338 |     1831   3766 |        0 |        0
778.33/778.58	c  778s |      23 |  3860090 |  2924438 |     1831   3773 |        0 |        0
780.33/780.59	c  780s |      23 |  3868722 |  2930938 |     1831   3780 |        0 |        0
782.43/782.61	c  782s |      23 |  3878462 |  2938038 |     1831   3787 |        0 |        0
784.43/784.61	c  784s |      23 |  3887815 |  2944938 |     1831   3794 |        0 |        0
786.43/786.61	c  786s |      23 |  3895579 |  2951438 |     1831   3801 |        0 |        0
788.43/788.62	c  788s |      23 |  3902717 |  2957438 |     1831   3807 |        0 |        0
790.42/790.63	c  790s |      23 |  3910841 |  2963838 |     1831   3813 |        0 |        0
792.42/792.65	c  792s |      23 |  3918485 |  2970038 |     1831   3820 |        0 |        0
794.42/794.66	c  794s |      23 |  3925786 |  2976038 |     1831   3826 |        0 |        0
796.42/796.68	c  796s |      23 |  3935510 |  2982838 |     1831   3833 |        0 |        0
798.43/798.69	c  798s |      23 |  3944313 |  2989338 |     1831   3840 |        0 |        0
800.42/800.69	c  800s |      23 |  3953276 |  2995738 |     1831   3846 |        0 |        0
802.52/802.70	c  802s |      23 |  3963108 |  3002838 |     1831   3854 |        0 |        0
804.51/804.72	c  804s |      23 |  3970935 |  3009138 |     1831   3860 |        0 |        0
806.51/806.74	c  806s |      23 |  3979590 |  3016038 |     1831   3867 |        0 |        0
808.51/808.76	c  808s |      23 |  3988296 |  3022738 |     1831   3874 |        0 |        0
810.52/810.78	c  810s |      23 |  3997473 |  3029638 |     1831   3881 |        0 |        0
812.51/812.78	c  812s |      23 |  4005462 |  3035938 |     1831   3888 |        0 |        0
814.51/814.79	c  814s |      23 |  4014567 |  3042638 |     1831   3895 |        0 |        0
816.61/816.81	c  816s |      23 |  4023804 |  3049438 |     1831   3902 |        0 |        0
818.61/818.83	c  818s |      23 |  4033620 |  3056238 |     1831   3909 |        0 |        0
820.61/820.83	c  820s |      23 |  4042122 |  3062738 |     1831   3915 |        0 |        0
822.61/822.84	c  822s |      23 |  4051092 |  3069138 |     1831   3922 |        0 |        0
824.60/824.85	c  824s |      23 |  4058314 |  3075338 |     1831   3928 |        0 |        0
826.60/826.86	c  826s |      23 |  4066312 |  3081438 |     1831   3934 |        0 |        0
828.60/828.89	c  828s |      23 |  4074576 |  3087738 |     1831   3941 |        0 |        0
830.69/830.91	c  830s |      23 |  4082651 |  3094138 |     1831   3947 |        0 |        0
832.70/832.93	c  832s |      23 |  4090202 |  3100338 |     1831   3953 |        0 |        0
834.71/834.95	c  834s |      23 |  4098076 |  3106538 |     1831   3960 |        0 |        0
836.70/836.95	c  836s |      23 |  4105328 |  3112338 |     1831   3966 |        0 |        0
838.70/838.96	c  838s |      23 |  4112520 |  3118538 |     1831   3972 |        0 |        0
840.70/840.99	c  840s |      23 |  4120259 |  3124838 |     1831   3979 |        0 |        0
842.80/843.02	c  843s |      23 |  4127579 |  3130938 |     1831   3985 |        0 |        0
844.79/845.05	c  845s |      23 |  4135289 |  3137338 |     1831   3991 |        0 |        0
846.80/847.07	c  847s |      23 |  4143062 |  3143638 |     1831   3998 |        0 |        0
848.79/849.08	c  849s |      23 |  4150808 |  3150038 |     1831   4004 |        0 |        0
850.79/851.09	c  851s |      23 |  4158810 |  3156538 |     1831   4011 |        0 |        0
852.89/853.10	c  853s |      23 |  4166859 |  3163138 |     1831   4018 |        0 |        0
854.89/855.10	c  855s |      23 |  4174418 |  3169538 |     1831   4024 |        0 |        0
856.88/857.12	c  857s |      23 |  4182135 |  3175838 |     1831   4030 |        0 |        0
858.89/859.13	c  859s |      23 |  4189002 |  3181838 |     1831   4037 |        0 |        0
860.88/861.14	c  861s |      23 |  4196201 |  3188038 |     1831   4043 |        0 |        0
862.88/863.15	c  863s |      23 |  4203389 |  3194138 |     1831   4049 |        0 |        0
864.88/865.15	c  865s |      23 |  4210704 |  3200238 |     1831   4055 |        0 |        0
866.88/867.16	c  867s |      23 |  4217986 |  3206338 |     1831   4062 |        0 |        0
868.88/869.18	c  869s |      23 |  4225530 |  3212538 |     1831   4068 |        0 |        0
870.87/871.20	c  871s |      23 |  4232907 |  3218938 |     1831   4074 |        0 |        0
872.97/873.21	c  873s |      23 |  4240623 |  3225338 |     1831   4081 |        0 |        0
874.97/875.24	c  875s |      23 |  4247645 |  3231538 |     1831   4087 |        0 |        0
876.97/877.26	c  877s |      23 |  4254408 |  3237438 |     1831   4093 |        0 |        0
878.97/879.28	c  879s |      23 |  4262409 |  3243438 |     1831   4099 |        0 |        0
881.07/881.32	c  881s |      23 |  4270038 |  3249538 |     1831   4105 |        0 |        0
883.07/883.32	c  883s |      23 |  4278094 |  3255638 |     1831   4112 |        0 |        0
885.06/885.35	c  885s |      23 |  4286340 |  3262338 |     1831   4118 |        0 |        0
887.06/887.38	c  887s |      23 |  4293957 |  3268538 |     1831   4125 |        0 |        0
889.06/889.39	c  889s |      23 |  4301190 |  3274838 |     1831   4131 |        0 |        0
891.16/891.40	c  891s |      23 |  4309163 |  3281438 |     1831   4138 |        0 |        0
893.16/893.42	c  893s |      23 |  4318029 |  3288138 |     1831   4145 |        0 |        0
895.15/895.44	c  895s |      23 |  4326428 |  3294538 |     1831   4151 |        0 |        0
897.15/897.46	c  897s |      23 |  4334231 |  3300738 |     1831   4157 |        0 |        0
899.26/899.50	c  899s |      23 |  4341541 |  3306838 |     1831   4164 |        0 |        0
901.26/901.51	c  901s |      23 |  4348117 |  3312638 |     1831   4169 |        0 |        0
903.26/903.52	c  903s |      23 |  4355356 |  3318938 |     1831   4176 |        0 |        0
905.25/905.53	c  905s |      23 |  4361923 |  3324738 |     1831   4182 |        0 |        0
907.26/907.53	c  907s |      23 |  4368457 |  3330438 |     1831   4187 |        0 |        0
909.25/909.55	c  909s |      23 |  4374977 |  3336138 |     1831   4193 |        0 |        0
911.25/911.55	c  911s |      23 |  4382076 |  3342038 |     1831   4199 |        0 |        0
913.25/913.58	c  913s |      23 |  4389226 |  3347738 |     1831   4205 |        0 |        0
915.34/915.61	c  915s |      23 |  4395743 |  3353238 |     2015   4210 |        0 |        0
917.34/917.63	c  917s |      23 |  4402352 |  3358838 |     2015   4216 |        0 |        0
919.35/919.65	c  919s |      23 |  4408583 |  3364138 |     2015   4221 |        0 |        0
921.34/921.68	c  921s |      23 |  4415288 |  3369938 |     2015   4226 |        0 |        0
923.44/923.71	c  923s |      23 |  4421506 |  3375438 |     2015   4231 |        0 |        0
923.85/924.17	c  924s |      24 |  4422980 |  3376662 |     2015   4232 |        0 |        0
925.83/926.17	c  926s |      24 |  4431137 |  3383562 |     2015   4239 |        0 |        0
927.83/928.19	c  928s |      24 |  4438475 |  3390062 |     2015   4245 |        0 |        0
929.93/930.21	c  930s |      24 |  4445969 |  3396662 |     2015   4251 |        0 |        0
931.93/932.22	c  932s |      24 |  4455193 |  3403062 |     2015   4257 |        0 |        0
933.93/934.22	c  934s |      24 |  4464627 |  3409262 |     2015   4263 |        0 |        0
935.93/936.24	c  936s |      24 |  4473734 |  3415862 |     2015   4269 |        0 |        0
937.93/938.25	c  938s |      24 |  4482656 |  3422362 |     2015   4275 |        0 |        0
939.93/940.26	c  940s |      24 |  4492218 |  3428762 |     2015   4281 |        0 |        0
941.92/942.28	c  942s |      24 |  4500605 |  3434862 |     2015   4287 |        0 |        0
943.92/944.29	c  944s |      24 |  4508421 |  3440362 |     2015   4292 |        0 |        0
946.02/946.30	c  946s |      24 |  4517633 |  3447162 |     2015   4298 |        0 |        0
948.02/948.33	c  948s |      24 |  4527266 |  3453862 |     2015   4305 |        0 |        0
950.02/950.36	c  950s |      24 |  4536203 |  3460162 |     2015   4311 |        0 |        0
952.02/952.36	c  952s |      24 |  4544531 |  3466162 |     2015   4316 |        0 |        0
954.01/954.37	c  954s |      24 |  4553286 |  3472562 |     2015   4322 |        0 |        0
956.01/956.38	c  956s |      24 |  4562792 |  3479162 |     2015   4328 |        0 |        0
958.11/958.40	c  958s |      24 |  4572080 |  3484962 |     2015   4334 |        0 |        0
960.11/960.40	c  960s |      24 |  4580113 |  3490962 |     2015   4339 |        0 |        0
962.11/962.42	c  962s |      24 |  4589940 |  3497262 |     2015   4345 |        0 |        0
964.10/964.46	c  964s |      24 |  4600062 |  3503762 |     2015   4352 |        0 |        0
966.10/966.49	c  966s |      24 |  4611205 |  3510462 |     2015   4358 |        0 |        0
968.21/968.52	c  968s |      24 |  4620784 |  3516562 |     2015   4364 |        0 |        0
970.21/970.55	c  970s |      24 |  4630313 |  3522762 |     2015   4369 |        0 |        0
972.21/972.55	c  972s |      24 |  4639987 |  3529762 |     2015   4376 |        0 |        0
974.20/974.56	c  974s |      24 |  4649249 |  3536162 |     2015   4382 |        0 |        0
976.20/976.57	c  976s |      24 |  4659150 |  3542862 |     2015   4388 |        0 |        0
978.20/978.59	c  978s |      24 |  4669389 |  3549662 |     2015   4395 |        0 |        0
980.30/980.62	c  980s |      24 |  4678728 |  3556462 |     2015   4401 |        0 |        0
982.30/982.63	c  982s |      24 |  4688379 |  3563162 |     2015   4407 |        0 |        0
984.30/984.63	c  984s |      24 |  4701536 |  3569962 |     2015   4414 |        0 |        0
986.29/986.66	c  986s |      24 |  4711373 |  3576562 |     2015   4420 |        0 |        0
988.29/988.66	c  988s |      24 |  4720368 |  3582662 |     2015   4425 |        0 |        0
990.29/990.68	c  990s |      24 |  4728331 |  3588262 |     2015   4431 |        0 |        0
992.29/992.69	c  992s |      24 |  4736249 |  3593862 |     2015   4436 |        0 |        0
994.38/994.72	c  994s |      24 |  4745234 |  3600562 |     2015   4442 |        0 |        0
996.39/996.74	c  996s |      24 |  4752488 |  3606462 |     2015   4448 |        0 |        0
998.38/998.74	c  998s |      24 |  4759802 |  3611962 |     2015   4453 |        0 |        0
1000.38/1000.78	c 1000s |      24 |  4767753 |  3618062 |     2015   4459 |        0 |        0
1002.38/1002.79	c 1002s |      24 |  4776968 |  3624262 |     2015   4464 |        0 |        0
1004.48/1004.80	c 1004s |      24 |  4785265 |  3630762 |     2015   4471 |        0 |        0
1006.48/1006.82	c 1006s |      24 |  4795024 |  3637862 |     2015   4477 |        0 |        0
1008.48/1008.84	c 1008s |      24 |  4806108 |  3644862 |     2015   4484 |        0 |        0
1010.47/1010.86	c 1010s |      24 |  4815544 |  3651262 |     2015   4490 |        0 |        0
1012.47/1012.88	c 1012s |      24 |  4826444 |  3658162 |     2015   4496 |        0 |        0
1014.47/1014.89	c 1014s |      24 |  4835125 |  3664262 |     2015   4502 |        0 |        0
1016.57/1016.91	c 1016s |      24 |  4844659 |  3671162 |     2015   4508 |        0 |        0
1018.57/1018.93	c 1018s |      24 |  4852649 |  3677662 |     2015   4514 |        0 |        0
1020.57/1020.95	c 1020s |      24 |  4859786 |  3683562 |     2015   4520 |        0 |        0
1022.56/1022.97	c 1022s |      24 |  4869067 |  3690462 |     2015   4526 |        0 |        0
1024.56/1024.98	c 1024s |      24 |  4877386 |  3696962 |     2015   4533 |        0 |        0
1026.56/1026.99	c 1026s |      24 |  4885842 |  3703362 |     2015   4539 |        0 |        0
1028.67/1029.02	c 1029s |      24 |  4893937 |  3709662 |     2015   4544 |        0 |        0
1030.67/1031.04	c 1031s |      24 |  4901091 |  3715462 |     2015   4550 |        0 |        0
1032.67/1033.06	c 1033s |      24 |  4909227 |  3721462 |     2015   4556 |        0 |        0
1034.66/1035.07	c 1035s |      24 |  4918095 |  3727662 |     2015   4561 |        0 |        0
1036.66/1037.07	c 1037s |      24 |  4925873 |  3733562 |     2015   4567 |        0 |        0
1038.66/1039.09	c 1039s |      24 |  4934236 |  3739862 |     2015   4573 |        0 |        0
1040.76/1041.11	c 1041s |      24 |  4941505 |  3745962 |     2015   4579 |        0 |        0
1042.76/1043.12	c 1043s |      24 |  4949046 |  3752162 |     2015   4584 |        0 |        0
1044.76/1045.14	c 1045s |      24 |  4956475 |  3758162 |     2015   4590 |        0 |        0
1046.75/1047.17	c 1047s |      24 |  4963453 |  3764062 |     2015   4596 |        0 |        0
1048.75/1049.19	c 1049s |      24 |  4971425 |  3770462 |     2015   4602 |        0 |        0
1050.85/1051.22	c 1051s |      24 |  4979186 |  3776762 |     2015   4607 |        0 |        0
1052.85/1053.23	c 1053s |      24 |  4986389 |  3782862 |     2015   4613 |        0 |        0
1054.84/1055.26	c 1055s |      24 |  4992617 |  3788362 |     2015   4618 |        0 |        0
1056.85/1057.27	c 1057s |      24 |  4999686 |  3794262 |     2015   4624 |        0 |        0
1058.95/1059.31	c 1059s |      24 |  5006450 |  3800062 |     2015   4629 |        0 |        0
1060.94/1061.33	c 1061s |      24 |  5013271 |  3805762 |     2015   4635 |        0 |        0
1062.94/1063.33	c 1063s |      24 |  5020173 |  3811462 |     2015   4640 |        0 |        0
1064.94/1065.34	c 1065s |      24 |  5028186 |  3817762 |     2015   4646 |        0 |        0
1066.94/1067.36	c 1067s |      24 |  5037778 |  3824262 |     2015   4652 |        0 |        0
1068.94/1069.39	c 1069s |      24 |  5046389 |  3830562 |     2015   4658 |        0 |        0
1071.04/1071.42	c 1071s |      24 |  5054190 |  3836562 |     2015   4663 |        0 |        0
1073.03/1073.43	c 1073s |      24 |  5064154 |  3843162 |     2015   4670 |        0 |        0
1075.03/1075.43	c 1075s |      24 |  5073536 |  3849462 |     2015   4676 |        0 |        0
1077.03/1077.44	c 1077s |      24 |  5082415 |  3855662 |     2015   4681 |        0 |        0
1079.03/1079.45	c 1079s |      24 |  5091756 |  3861962 |     2015   4687 |        0 |        0
1081.04/1081.48	c 1081s |      24 |  5103115 |  3868762 |     2015   4694 |        0 |        0
1083.03/1083.49	c 1083s |      24 |  5111599 |  3874962 |     2015   4700 |        0 |        0
1085.02/1085.49	c 1085s |      24 |  5118756 |  3881262 |     2015   4705 |        0 |        0
1087.12/1087.51	c 1087s |      24 |  5129347 |  3887662 |     2015   4711 |        0 |        0
1089.12/1089.52	c 1089s |      24 |  5141654 |  3894562 |     2015   4718 |        0 |        0
1091.12/1091.53	c 1091s |      24 |  5153939 |  3901962 |     2015   4725 |        0 |        0
1093.13/1093.54	c 1093s |      24 |  5165902 |  3909062 |     2015   4732 |        0 |        0
1095.12/1095.54	c 1095s |      24 |  5176110 |  3915862 |     2015   4738 |        0 |        0
1097.12/1097.56	c 1097s |      24 |  5185427 |  3922662 |     2015   4744 |        0 |        0
1099.11/1099.59	c 1099s |      24 |  5193190 |  3929062 |     2015   4751 |        0 |        0
1101.21/1101.63	c 1101s |      24 |  5201455 |  3935462 |     2015   4756 |        0 |        0
1103.21/1103.66	c 1103s |      24 |  5209755 |  3941962 |     2015   4763 |        0 |        0
1105.22/1105.67	c 1105s |      24 |  5217675 |  3948062 |     2015   4768 |        0 |        0
1107.21/1107.68	c 1107s |      24 |  5226899 |  3954562 |     2015   4774 |        0 |        0
1109.31/1109.70	c 1109s |      24 |  5234960 |  3960662 |     2015   4780 |        0 |        0
1111.31/1111.70	c 1111s |      24 |  5242715 |  3966762 |     2015   4786 |        0 |        0
1113.32/1113.73	c 1113s |      24 |  5251308 |  3973362 |     2015   4792 |        0 |        0
1115.31/1115.76	c 1115s |      24 |  5260775 |  3980062 |     2015   4798 |        0 |        0
1117.32/1117.79	c 1117s |      24 |  5268837 |  3986462 |     2015   4804 |        0 |        0
1119.42/1119.81	c 1119s |      24 |  5276059 |  3992362 |     2015   4810 |        0 |        0
1121.41/1121.82	c 1121s |      24 |  5284001 |  3998562 |     2015   4816 |        0 |        0
1123.41/1123.84	c 1123s |      24 |  5292929 |  4005062 |     2015   4822 |        0 |        0
1125.41/1125.86	c 1125s |      24 |  5301474 |  4011362 |     2015   4828 |        0 |        0
1127.40/1127.87	c 1127s |      24 |  5309086 |  4017162 |     2015   4833 |        0 |        0
1129.41/1129.88	c 1129s |      24 |  5317135 |  4023162 |     2015   4839 |        0 |        0
1131.51/1131.91	c 1131s |      24 |  5325825 |  4029762 |     2015   4845 |        0 |        0
1133.50/1133.94	c 1133s |      24 |  5335239 |  4036562 |     2015   4851 |        0 |        0
1135.50/1135.95	c 1135s |      24 |  5343549 |  4042762 |     2015   4857 |        0 |        0
1137.50/1137.95	c 1137s |      24 |  5352600 |  4049062 |     2015   4863 |        0 |        0
1139.50/1139.98	c 1139s |      24 |  5360440 |  4054962 |     2015   4869 |        0 |        0
1141.60/1142.02	c 1142s |      24 |  5367823 |  4060862 |     2015   4874 |        0 |        0
1143.60/1144.03	c 1144s |      24 |  5374871 |  4066662 |     2015   4880 |        0 |        0
1145.59/1146.07	c 1146s |      24 |  5381785 |  4071762 |     2015   4884 |        0 |        0
1147.59/1148.09	c 1148s |      24 |  5389940 |  4078462 |     2015   4891 |        0 |        0
1149.69/1150.12	c 1150s |      24 |  5397392 |  4084862 |     2015   4897 |        0 |        0
1151.69/1152.13	c 1152s |      24 |  5403592 |  4090462 |     2015   4902 |        0 |        0
1153.69/1154.14	c 1154s |      24 |  5411543 |  4096662 |     2015   4908 |        0 |        0
1155.69/1156.16	c 1156s |      24 |  5418590 |  4102562 |     2015   4913 |        0 |        0
1157.68/1158.19	c 1158s |      24 |  5426015 |  4108562 |     2015   4919 |        0 |        0
1159.78/1160.21	c 1160s |      24 |  5434587 |  4115262 |     2015   4925 |        0 |        0
1161.78/1162.24	c 1162s |      24 |  5443528 |  4122062 |     2015   4931 |        0 |        0
1163.78/1164.29	c 1164s |      24 |  5452036 |  4128562 |     2015   4938 |        0 |        0
1165.77/1166.29	c 1166s |      24 |  5459582 |  4134762 |     2015   4943 |        0 |        0
1167.78/1168.30	c 1168s |      24 |  5469296 |  4141462 |     2015   4950 |        0 |        0
1169.87/1170.31	c 1170s |      24 |  5477929 |  4147962 |     2015   4956 |        0 |        0
1171.87/1172.33	c 1172s |      24 |  5486318 |  4154362 |     2015   4962 |        0 |        0
1173.87/1174.33	c 1174s |      24 |  5493555 |  4160362 |     2015   4967 |        0 |        0
1175.86/1176.37	c 1176s |      24 |  5502357 |  4166962 |     2015   4974 |        0 |        0
1177.86/1178.38	c 1178s |      24 |  5511751 |  4173762 |     2015   4980 |        0 |        0
1179.87/1180.40	c 1180s |      24 |  5519678 |  4179962 |     2015   4986 |        0 |        0
1181.96/1182.42	c 1182s |      24 |  5527636 |  4186162 |     2015   4991 |        0 |        0
1183.96/1184.44	c 1184s |      24 |  5534791 |  4191862 |     2015   4997 |        0 |        0
1185.96/1186.45	c 1186s |      24 |  5542720 |  4197662 |     2015   5002 |        0 |        0
1187.96/1188.48	c 1188s |      24 |  5552202 |  4203562 |     2015   5008 |        0 |        0
1189.96/1190.48	c 1190s |      24 |  5562023 |  4209962 |     2015   5014 |        0 |        0
1191.96/1192.49	c 1192s |      24 |  5570694 |  4216362 |     2015   5020 |        0 |        0
1193.96/1194.49	c 1194s |      24 |  5579686 |  4222762 |     2015   5026 |        0 |        0
1196.06/1196.52	c 1196s |      24 |  5590070 |  4229462 |     2015   5032 |        0 |        0
1198.06/1198.53	c 1198s |      24 |  5598489 |  4235962 |     2015   5038 |        0 |        0
1200.06/1200.55	c 1200s |      24 |  5607589 |  4242662 |     2015   5045 |        0 |        0
1202.06/1202.56	c 1202s |      24 |  5618807 |  4249662 |     2015   5051 |        0 |        0
1204.06/1204.57	c 1204s |      24 |  5627960 |  4256362 |     2015   5058 |        0 |        0
1206.15/1206.60	c 1206s |      24 |  5637960 |  4263262 |     2015   5064 |        0 |        0
1208.15/1208.61	c 1208s |      24 |  5647332 |  4269962 |     2015   5070 |        0 |        0
1210.15/1210.63	c 1210s |      24 |  5656464 |  4276762 |     2015   5077 |        0 |        0
1212.15/1212.63	c 1212s |      24 |  5665108 |  4283062 |     2015   5083 |        0 |        0
1214.15/1214.64	c 1214s |      24 |  5673722 |  4289162 |     2015   5089 |        0 |        0
1216.15/1216.65	c 1216s |      24 |  5682797 |  4295762 |     2015   5095 |        0 |        0
1218.15/1218.66	c 1218s |      24 |  5689918 |  4301462 |     2015   5100 |        0 |        0
1220.14/1220.68	c 1220s |      24 |  5698186 |  4307462 |     2015   5106 |        0 |        0
1222.24/1222.70	c 1222s |      24 |  5705215 |  4313262 |     2015   5111 |        0 |        0
1224.24/1224.72	c 1224s |      24 |  5713371 |  4319262 |     2015   5117 |        0 |        0
1226.24/1226.76	c 1226s |      24 |  5721594 |  4325262 |     2015   5123 |        0 |        0
1228.24/1228.79	c 1228s |      24 |  5730581 |  4331662 |     2015   5129 |        0 |        0
1230.34/1230.80	c 1230s |      24 |  5738634 |  4337662 |     2015   5134 |        0 |        0
1232.34/1232.82	c 1232s |      24 |  5746586 |  4343562 |     2015   5140 |        0 |        0
1234.33/1234.82	c 1234s |      24 |  5756092 |  4350162 |     2015   5146 |        0 |        0
1236.33/1236.83	c 1236s |      24 |  5765448 |  4356962 |     2015   5152 |        0 |        0
1238.33/1238.83	c 1238s |      24 |  5772601 |  4362962 |     2015   5158 |        0 |        0
1240.33/1240.87	c 1240s |      24 |  5779118 |  4368662 |     2015   5163 |        0 |        0
1242.33/1242.88	c 1242s |      24 |  5786893 |  4374662 |     2015   5169 |        0 |        0
1244.42/1244.92	c 1244s |      24 |  5794388 |  4380562 |     2015   5175 |        0 |        0
1246.42/1246.94	c 1246s |      24 |  5801229 |  4386362 |     2015   5180 |        0 |        0
1248.42/1248.97	c 1248s |      24 |  5807307 |  4391762 |     2015   5185 |        0 |        0
1250.42/1250.98	c 1250s |      24 |  5814795 |  4397362 |     2015   5191 |        0 |        0
1252.42/1253.00	c 1252s |      24 |  5822019 |  4402962 |     2015   5196 |        0 |        0
1254.51/1255.02	c 1255s |      24 |  5828949 |  4408462 |     2015   5201 |        0 |        0
1256.51/1257.06	c 1257s |      24 |  5836588 |  4414162 |     2015   5206 |        0 |        0
1258.51/1259.06	c 1259s |      24 |  5844210 |  4419962 |     2015   5212 |        0 |        0
1260.61/1261.10	c 1261s |      24 |  5852096 |  4425962 |     2015   5218 |        0 |        0
1262.61/1263.10	c 1263s |      24 |  5860234 |  4431862 |     2015   5223 |        0 |        0
1264.61/1265.12	c 1265s |      24 |  5866913 |  4437462 |     2015   5228 |        0 |        0
1266.60/1267.13	c 1267s |      24 |  5874932 |  4443562 |     2015   5234 |        0 |        0
1268.60/1269.16	c 1269s |      24 |  5883095 |  4449662 |     2015   5240 |        0 |        0
1270.60/1271.19	c 1271s |      24 |  5891227 |  4455662 |     2015   5245 |        0 |        0
1272.70/1273.22	c 1273s |      24 |  5900864 |  4462062 |     2015   5252 |        0 |        0
1274.69/1275.24	c 1275s |      24 |  5910640 |  4468662 |     2015   5258 |        0 |        0
1276.70/1277.24	c 1277s |      24 |  5920098 |  4475262 |     2015   5264 |        0 |        0
1278.69/1279.25	c 1279s |      24 |  5929180 |  4481662 |     2015   5270 |        0 |        0
1280.69/1281.27	c 1281s |      24 |  5936247 |  4487362 |     2015   5275 |        0 |        0
1282.69/1283.28	c 1283s |      24 |  5944822 |  4493862 |     2015   5281 |        0 |        0
1284.69/1285.28	c 1285s |      24 |  5952777 |  4499962 |     2015   5287 |        0 |        0
1286.69/1287.28	c 1287s |      24 |  5962356 |  4506362 |     2015   5293 |        0 |        0
1288.70/1289.29	c 1289s |      24 |  5969989 |  4512162 |     2015   5298 |        0 |        0
1290.79/1291.30	c 1291s |      24 |  5978203 |  4518062 |     2015   5304 |        0 |        0
1292.79/1293.32	c 1293s |      24 |  5986369 |  4524462 |     2015   5310 |        0 |        0
1294.79/1295.34	c 1295s |      24 |  5994187 |  4530662 |     2015   5316 |        0 |        0
1296.79/1297.34	c 1297s |      24 |  6001734 |  4536762 |     2015   5321 |        0 |        0
1298.79/1299.37	c 1299s |      24 |  6008362 |  4542362 |     2015   5327 |        0 |        0
1300.80/1301.37	c 1301s |      24 |  6016518 |  4548762 |     2015   5333 |        0 |        0
1302.79/1303.39	c 1303s |      24 |  6024675 |  4554862 |     2015   5338 |        0 |        0
1304.89/1305.42	c 1305s |      24 |  6033572 |  4561162 |     2015   5344 |        0 |        0
1306.89/1307.44	c 1307s |      24 |  6040953 |  4566962 |     2015   5350 |        0 |        0
1308.89/1309.46	c 1309s |      24 |  6048506 |  4572562 |     2015   5355 |        0 |        0
1310.88/1311.48	c 1311s |      24 |  6055810 |  4578362 |     2015   5360 |        0 |        0
1312.99/1313.51	c 1313s |      24 |  6063184 |  4584562 |     2015   5366 |        0 |        0
1314.98/1315.54	c 1315s |      24 |  6071196 |  4590862 |     2015   5372 |        0 |        0
1316.98/1317.54	c 1317s |      24 |  6079338 |  4597062 |     2015   5378 |        0 |        0
1318.98/1319.54	c 1319s |      24 |  6087423 |  4603362 |     2015   5384 |        0 |        0
1320.98/1321.58	c 1321s |      24 |  6095473 |  4609362 |     2015   5389 |        0 |        0
1323.08/1323.60	c 1323s |      24 |  6102951 |  4614762 |     2015   5394 |        0 |        0
1325.08/1325.61	c 1325s |      24 |  6109462 |  4619962 |     2015   5399 |        0 |        0
1327.07/1327.64	c 1327s |      24 |  6117192 |  4625662 |     2015   5405 |        0 |        0
1329.07/1329.66	c 1329s |      24 |  6124930 |  4631762 |     2015   5411 |        0 |        0
1331.07/1331.67	c 1331s |      24 |  6132783 |  4637962 |     2015   5416 |        0 |        0
1333.07/1333.70	c 1333s |      24 |  6140700 |  4644162 |     2015   5422 |        0 |        0
1335.17/1335.73	c 1335s |      24 |  6147657 |  4649762 |     2015   5427 |        0 |        0
1337.17/1337.74	c 1337s |      24 |  6156332 |  4655762 |     2015   5433 |        0 |        0
1339.16/1339.76	c 1339s |      24 |  6164099 |  4661862 |     2015   5439 |        0 |        0
1341.16/1341.76	c 1341s |      24 |  6171370 |  4667662 |     2015   5444 |        0 |        0
1343.16/1343.76	c 1343s |      24 |  6179317 |  4673662 |     2015   5450 |        0 |        0
1345.16/1345.80	c 1345s |      24 |  6187453 |  4679762 |     2015   5456 |        0 |        0
1347.26/1347.82	c 1347s |      24 |  6195982 |  4685562 |     2015   5461 |        0 |        0
1349.26/1349.85	c 1349s |      24 |  6205160 |  4692062 |     2015   5467 |        0 |        0
1351.26/1351.85	c 1351s |      24 |  6213311 |  4698062 |     2015   5473 |        0 |        0
1353.26/1353.86	c 1353s |      24 |  6223861 |  4704162 |     2015   5478 |        0 |        0
1355.25/1355.87	c 1355s |      24 |  6232878 |  4710162 |     2015   5484 |        0 |        0
1357.25/1357.88	c 1357s |      24 |  6241427 |  4716062 |     2015   5490 |        0 |        0
1359.25/1359.89	c 1359s |      24 |  6251067 |  4722462 |     2015   5496 |        0 |        0
1361.26/1361.90	c 1361s |      24 |  6258996 |  4728562 |     2015   5501 |        0 |        0
1363.35/1363.93	c 1363s |      24 |  6268087 |  4734762 |     2015   5507 |        0 |        0
1365.35/1365.96	c 1365s |      24 |  6273536 |  4739562 |     2015   5512 |        0 |        0
1367.35/1367.98	c 1367s |      24 |  6283177 |  4745662 |     2015   5517 |        0 |        0
1369.35/1369.99	c 1369s |      24 |  6291781 |  4751462 |     2015   5523 |        0 |        0
1371.45/1372.00	c 1371s |      24 |  6300063 |  4757262 |     2015   5528 |        0 |        0
1373.45/1374.02	c 1373s |      24 |  6308015 |  4763062 |     2015   5534 |        0 |        0
1375.45/1376.03	c 1376s |      24 |  6316809 |  4768862 |     2015   5539 |        0 |        0
1377.45/1378.04	c 1378s |      24 |  6327418 |  4775462 |     2015   5545 |        0 |        0
1379.45/1380.06	c 1380s |      24 |  6336841 |  4781762 |     2015   5551 |        0 |        0
1381.45/1382.07	c 1382s |      24 |  6345306 |  4787962 |     2015   5557 |        0 |        0
1383.45/1384.09	c 1384s |      24 |  6354219 |  4794062 |     2015   5563 |        0 |        0
1385.55/1386.12	c 1386s |      24 |  6363405 |  4800062 |     2015   5568 |        0 |        0
1387.54/1388.14	c 1388s |      24 |  6371317 |  4805862 |     2015   5574 |        0 |        0
1389.54/1390.14	c 1390s |      24 |  6378631 |  4811562 |     2015   5579 |        0 |        0
1391.54/1392.15	c 1392s |      24 |  6386188 |  4817462 |     2015   5585 |        0 |        0
1393.54/1394.15	c 1394s |      24 |  6395936 |  4823362 |     2015   5590 |        0 |        0
1395.54/1396.18	c 1396s |      24 |  6404012 |  4829262 |     2015   5596 |        0 |        0
1397.55/1398.20	c 1398s |      24 |  6412672 |  4835062 |     2015   5601 |        0 |        0
1399.64/1400.21	c 1400s |      24 |  6420866 |  4840962 |     2015   5607 |        0 |        0
1401.64/1402.24	c 1402s |      24 |  6430897 |  4847262 |     2015   5612 |        0 |        0
1403.64/1404.26	c 1404s |      24 |  6439135 |  4853162 |     2015   5618 |        0 |        0
1405.64/1406.28	c 1406s |      24 |  6448396 |  4860062 |     2015   5624 |        0 |        0
1407.74/1408.30	c 1408s |      24 |  6456417 |  4866762 |     2015   5631 |        0 |        0
1409.74/1410.33	c 1410s |      24 |  6464926 |  4873162 |     2015   5637 |        0 |        0
1411.74/1412.36	c 1412s |      24 |  6474113 |  4879662 |     2015   5643 |        0 |        0
1413.74/1414.37	c 1414s |      24 |  6483147 |  4886362 |     2015   5649 |        0 |        0
1415.74/1416.38	c 1416s |      24 |  6491383 |  4892662 |     2015   5655 |        0 |        0
1417.84/1418.40	c 1418s |      24 |  6499199 |  4898762 |     2015   5660 |        0 |        0
1419.84/1420.42	c 1420s |      24 |  6507276 |  4904962 |     2015   5666 |        0 |        0
1421.84/1422.42	c 1422s |      24 |  6516499 |  4911462 |     2015   5672 |        0 |        0
1423.83/1424.45	c 1424s |      24 |  6525374 |  4917862 |     2015   5678 |        0 |        0
1425.83/1426.46	c 1426s |      24 |  6532910 |  4923862 |     2015   5684 |        0 |        0
1427.83/1428.48	c 1428s |      24 |  6539483 |  4929362 |     2015   5689 |        0 |        0
1429.83/1430.48	c 1430s |      24 |  6546970 |  4935462 |     2015   5695 |        0 |        0
1431.83/1432.49	c 1432s |      24 |  6554079 |  4941462 |     2015   5700 |        0 |        0
1433.84/1434.50	c 1434s |      24 |  6560890 |  4947162 |     2015   5705 |        0 |        0
1435.94/1436.52	c 1436s |      24 |  6568196 |  4952762 |     2015   5711 |        0 |        0
1437.94/1438.54	c 1438s |      24 |  6576071 |  4958762 |     2015   5716 |        0 |        0
1439.94/1440.55	c 1440s |      24 |  6583337 |  4964462 |     2015   5722 |        0 |        0
1441.94/1442.59	c 1442s |      24 |  6590813 |  4970262 |     2015   5727 |        0 |        0
1444.04/1444.62	c 1444s |      24 |  6599228 |  4976462 |     2015   5733 |        0 |        0
1446.05/1446.63	c 1446s |      24 |  6606356 |  4981862 |     2015   5738 |        0 |        0
1448.04/1448.64	c 1448s |      24 |  6615010 |  4987762 |     2015   5744 |        0 |        0
1450.04/1450.67	c 1450s |      24 |  6622555 |  4993262 |     2015   5749 |        0 |        0
1452.04/1452.68	c 1452s |      24 |  6631470 |  4999462 |     2015   5754 |        0 |        0
1454.04/1454.68	c 1454s |      24 |  6640101 |  5005562 |     2015   5760 |        0 |        0
1456.04/1456.69	c 1456s |      24 |  6649027 |  5011962 |     2015   5766 |        0 |        0
1458.14/1458.72	c 1458s |      24 |  6657307 |  5018162 |     2015   5772 |        0 |        0
1460.14/1460.73	c 1460s |      24 |  6665296 |  5023762 |     2015   5777 |        0 |        0
1462.13/1462.75	c 1462s |      24 |  6672866 |  5029762 |     2217   5783 |        0 |        0
1464.13/1464.76	c 1464s |      24 |  6679519 |  5035162 |     2217   5787 |        0 |        0
1466.13/1466.79	c 1466s |      24 |  6687242 |  5040962 |     2217   5792 |        0 |        0
1468.23/1468.80	c 1468s |      24 |  6695308 |  5047162 |     2217   5797 |        0 |        0
1470.24/1470.83	c 1470s |      24 |  6702379 |  5052962 |     2217   5802 |        0 |        0
1472.23/1472.84	c 1472s |      24 |  6709477 |  5058762 |     2217   5807 |        0 |        0
1474.23/1474.87	c 1474s |      24 |  6717112 |  5064962 |     2217   5813 |        0 |        0
1474.33/1474.91	c 1474s |      25 |  6717264 |  5065098 |     2217   5813 |        0 |        0
1476.33/1476.93	c 1476s |      25 |  6726746 |  5072198 |     2217   5819 |        0 |        0
1478.33/1478.95	c 1478s |      25 |  6734593 |  5078798 |     2217   5825 |        0 |        0
1480.33/1480.95	c 1480s |      25 |  6742269 |  5085298 |     2217   5830 |        0 |        0
1482.34/1482.95	c 1482s |      25 |  6749750 |  5091598 |     2217   5835 |        0 |        0
1484.33/1484.96	c 1484s |      25 |  6757417 |  5097998 |     2217   5841 |        0 |        0
1486.33/1486.97	c 1486s |      25 |  6766477 |  5104898 |     2217   5847 |        0 |        0
1488.33/1488.98	c 1488s |      25 |  6775732 |  5111898 |     2217   5853 |        0 |        0
1490.33/1491.00	c 1490s |      25 |  6784212 |  5118698 |     2217   5859 |        0 |        0
1492.43/1493.00	c 1492s |      25 |  6792222 |  5125298 |     2217   5864 |        0 |        0
1494.44/1495.02	c 1495s |      25 |  6800100 |  5131898 |     2217   5870 |        0 |        0
1496.43/1497.05	c 1497s |      25 |  6807495 |  5138198 |     2217   5875 |        0 |        0
1498.43/1499.07	c 1499s |      25 |  6815325 |  5144798 |     2217   5881 |        0 |        0
1500.43/1501.08	c 1501s |      25 |  6821954 |  5150698 |     2217   5886 |        0 |        0
1502.53/1503.10	c 1503s |      25 |  6828522 |  5156398 |     2217   5891 |        0 |        0
1504.53/1505.11	c 1505s |      25 |  6835398 |  5162098 |     2217   5896 |        0 |        0
1506.53/1507.11	c 1507s |      25 |  6842740 |  5168198 |     2217   5901 |        0 |        0
1508.52/1509.14	c 1509s |      25 |  6850615 |  5174698 |     2217   5907 |        0 |        0
1510.52/1511.15	c 1511s |      25 |  6859108 |  5181398 |     2217   5912 |        0 |        0
1512.52/1513.16	c 1513s |      25 |  6866589 |  5187798 |     2217   5918 |        0 |        0
1514.52/1515.16	c 1515s |      25 |  6873711 |  5194098 |     2217   5923 |        0 |        0
1516.52/1517.16	c 1517s |      25 |  6882221 |  5200798 |     2217   5929 |        0 |        0
1518.54/1519.18	c 1519s |      25 |  6890543 |  5207598 |     2217   5935 |        0 |        0
1520.63/1521.22	c 1521s |      25 |  6898792 |  5214298 |     2217   5941 |        0 |        0
1522.63/1523.24	c 1523s |      25 |  6906742 |  5220898 |     2217   5946 |        0 |        0
1524.63/1525.25	c 1525s |      25 |  6913937 |  5227098 |     2217   5952 |        0 |        0
1526.63/1527.26	c 1527s |      25 |  6921397 |  5233498 |     2217   5957 |        0 |        0
1528.63/1529.29	c 1529s |      25 |  6928440 |  5239398 |     2217   5962 |        0 |        0
1530.73/1531.31	c 1531s |      25 |  6935201 |  5245098 |     2217   5967 |        0 |        0
1532.73/1533.33	c 1533s |      25 |  6943184 |  5251598 |     2217   5973 |        0 |        0
1534.72/1535.35	c 1535s |      25 |  6950616 |  5257998 |     2217   5978 |        0 |        0
1536.72/1537.38	c 1537s |      25 |  6958487 |  5264298 |     2217   5984 |        0 |        0
1538.72/1539.38	c 1539s |      25 |  6966013 |  5270498 |     2217   5989 |        0 |        0
1540.72/1541.39	c 1541s |      25 |  6973126 |  5276398 |     2217   5994 |        0 |        0
1542.83/1543.41	c 1543s |      25 |  6981477 |  5282798 |     2217   5999 |        0 |        0
1544.82/1545.44	c 1545s |      25 |  6990206 |  5289298 |     2217   6005 |        0 |        0
1546.82/1547.45	c 1547s |      25 |  6999043 |  5295898 |     2217   6011 |        0 |        0
1548.82/1549.47	c 1549s |      25 |  7006931 |  5302598 |     2217   6016 |        0 |        0
1550.82/1551.48	c 1551s |      25 |  7015270 |  5309398 |     2217   6022 |        0 |        0
1552.82/1553.50	c 1553s |      25 |  7023615 |  5315998 |     2217   6028 |        0 |        0
1554.93/1555.52	c 1555s |      25 |  7031189 |  5322298 |     2217   6033 |        0 |        0
1556.92/1557.55	c 1557s |      25 |  7038671 |  5328498 |     2217   6039 |        0 |        0
1558.92/1559.57	c 1559s |      25 |  7046835 |  5335098 |     2217   6044 |        0 |        0
1560.92/1561.59	c 1561s |      25 |  7054892 |  5341398 |     2217   6050 |        0 |        0
1563.02/1563.62	c 1563s |      25 |  7062666 |  5347598 |     2217   6055 |        0 |        0
1565.02/1565.64	c 1565s |      25 |  7069787 |  5353798 |     2217   6060 |        0 |        0
1567.03/1567.66	c 1567s |      25 |  7077497 |  5360298 |     2217   6066 |        0 |        0
1569.02/1569.70	c 1569s |      25 |  7085524 |  5366698 |     2217   6072 |        0 |        0
1571.12/1571.73	c 1571s |      25 |  7093873 |  5373298 |     2217   6077 |        0 |        0
1573.12/1573.73	c 1573s |      25 |  7102454 |  5380098 |     2217   6083 |        0 |        0
1575.12/1575.74	c 1575s |      25 |  7110551 |  5386498 |     2217   6089 |        0 |        0
1577.12/1577.76	c 1577s |      25 |  7118009 |  5392798 |     2217   6094 |        0 |        0
1579.12/1579.78	c 1579s |      25 |  7125407 |  5399198 |     2217   6100 |        0 |        0
1581.22/1581.81	c 1581s |      25 |  7132488 |  5405298 |     2217   6105 |        0 |        0
1583.22/1583.83	c 1583s |      25 |  7139397 |  5411298 |     2217   6110 |        0 |        0
1585.22/1585.86	c 1585s |      25 |  7146365 |  5417198 |     2217   6115 |        0 |        0
1587.21/1587.88	c 1587s |      25 |  7152440 |  5422698 |     2217   6120 |        0 |        0
1589.31/1589.90	c 1589s |      25 |  7158570 |  5428098 |     2217   6124 |        0 |        0
1591.31/1591.92	c 1591s |      25 |  7164953 |  5433698 |     2217   6129 |        0 |        0
1593.32/1593.93	c 1593s |      25 |  7171945 |  5439598 |     2217   6134 |        0 |        0
1595.31/1595.94	c 1595s |      25 |  7178599 |  5445098 |     2217   6139 |        0 |        0
1597.31/1597.97	c 1597s |      25 |  7186598 |  5451198 |     2217   6144 |        0 |        0
1599.31/1599.98	c 1599s |      25 |  7193493 |  5456898 |     2217   6149 |        0 |        0
1601.31/1601.98	c 1601s |      25 |  7201401 |  5462898 |     2217   6154 |        0 |        0
1603.41/1604.01	c 1603s |      25 |  7208987 |  5468898 |     2217   6159 |        0 |        0
1605.42/1606.04	c 1606s |      25 |  7216568 |  5474998 |     2217   6164 |        0 |        0
1607.41/1608.07	c 1608s |      25 |  7224270 |  5481098 |     2217   6169 |        0 |        0
1609.41/1610.09	c 1610s |      25 |  7231714 |  5486898 |     2217   6174 |        0 |        0
1611.51/1612.10	c 1612s |      25 |  7239575 |  5493198 |     2217   6180 |        0 |        0
1613.51/1614.13	c 1614s |      25 |  7247807 |  5499798 |     2217   6185 |        0 |        0
1615.51/1616.15	c 1616s |      25 |  7255133 |  5505898 |     2217   6191 |        0 |        0
1617.51/1618.17	c 1618s |      25 |  7262462 |  5512098 |     2217   6196 |        0 |        0
1619.50/1620.19	c 1620s |      25 |  7269515 |  5518198 |     2217   6201 |        0 |        0
1621.61/1622.21	c 1622s |      25 |  7276486 |  5524198 |     2217   6206 |        0 |        0
1623.61/1624.24	c 1624s |      25 |  7283296 |  5529998 |     2217   6211 |        0 |        0
1625.61/1626.24	c 1626s |      25 |  7289950 |  5535798 |     2217   6216 |        0 |        0
1627.61/1628.26	c 1628s |      25 |  7297442 |  5541998 |     2217   6221 |        0 |        0
1629.62/1630.28	c 1630s |      25 |  7303811 |  5547398 |     2217   6226 |        0 |        0
1631.61/1632.29	c 1632s |      25 |  7309975 |  5552698 |     2217   6230 |        0 |        0
1633.71/1634.32	c 1634s |      25 |  7316447 |  5558298 |     2217   6235 |        0 |        0
1635.71/1636.33	c 1636s |      25 |  7323505 |  5563998 |     2217   6240 |        0 |        0
1637.71/1638.33	c 1638s |      25 |  7330032 |  5569398 |     2217   6245 |        0 |        0
1639.71/1640.35	c 1640s |      25 |  7336187 |  5574698 |     2217   6249 |        0 |        0
1641.72/1642.36	c 1642s |      25 |  7342567 |  5579898 |     2217   6254 |        0 |        0
1643.71/1644.39	c 1644s |      25 |  7349725 |  5585798 |     2217   6259 |        0 |        0
1645.81/1646.42	c 1646s |      25 |  7357096 |  5591898 |     2217   6264 |        0 |        0
1647.81/1648.44	c 1648s |      25 |  7364619 |  5597898 |     2217   6269 |        0 |        0
1649.81/1650.46	c 1650s |      25 |  7371622 |  5603798 |     2217   6274 |        0 |        0
1651.80/1652.48	c 1652s |      25 |  7378680 |  5609898 |     2217   6279 |        0 |        0
1653.91/1654.51	c 1654s |      25 |  7385585 |  5615998 |     2217   6285 |        0 |        0
1655.90/1656.53	c 1656s |      25 |  7392913 |  5622398 |     2217   6290 |        0 |        0
1657.90/1658.55	c 1658s |      25 |  7400214 |  5628498 |     2217   6295 |        0 |        0
1659.90/1660.59	c 1660s |      25 |  7407337 |  5634498 |     2217   6300 |        0 |        0
1662.00/1662.63	c 1662s |      25 |  7414032 |  5640298 |     2217   6305 |        0 |        0
1664.00/1664.63	c 1664s |      25 |  7421401 |  5646498 |     2217   6311 |        0 |        0
1666.01/1666.63	c 1666s |      25 |  7429061 |  5652598 |     2217   6316 |        0 |        0
1668.00/1668.63	c 1668s |      25 |  7435929 |  5658298 |     2217   6321 |        0 |        0
1670.00/1670.65	c 1670s |      25 |  7444203 |  5664898 |     2217   6326 |        0 |        0
1672.00/1672.68	c 1672s |      25 |  7452474 |  5671198 |     2217   6332 |        0 |        0
1674.00/1674.69	c 1674s |      25 |  7460416 |  5677598 |     2217   6337 |        0 |        0
1676.10/1676.70	c 1676s |      25 |  7467432 |  5683598 |     2217   6342 |        0 |        0
1678.10/1678.72	c 1678s |      25 |  7474953 |  5689698 |     2217   6348 |        0 |        0
1680.10/1680.74	c 1680s |      25 |  7481477 |  5695598 |     2217   6353 |        0 |        0
1682.10/1682.76	c 1682s |      25 |  7488183 |  5701298 |     2217   6358 |        0 |        0
1684.10/1684.79	c 1684s |      25 |  7494997 |  5707198 |     2217   6363 |        0 |        0
1686.19/1686.81	c 1686s |      25 |  7501746 |  5712798 |     2217   6367 |        0 |        0
1688.19/1688.82	c 1688s |      25 |  7509170 |  5718898 |     2217   6373 |        0 |        0
1690.20/1690.82	c 1690s |      25 |  7516071 |  5724698 |     2217   6378 |        0 |        0
1692.20/1692.84	c 1692s |      25 |  7523613 |  5731098 |     2217   6383 |        0 |        0
1694.20/1694.85	c 1694s |      25 |  7530565 |  5736998 |     2217   6388 |        0 |        0
1696.20/1696.87	c 1696s |      25 |  7537717 |  5743098 |     2217   6393 |        0 |        0
1698.20/1698.89	c 1698s |      25 |  7544693 |  5749098 |     2217   6399 |        0 |        0
1700.30/1700.90	c 1700s |      25 |  7551967 |  5755198 |     2217   6404 |        0 |        0
1702.31/1702.93	c 1702s |      25 |  7559294 |  5761498 |     2217   6409 |        0 |        0
1704.30/1704.94	c 1704s |      25 |  7566636 |  5767698 |     2217   6414 |        0 |        0
1706.30/1706.97	c 1706s |      25 |  7574476 |  5774098 |     2217   6420 |        0 |        0
1708.30/1708.97	c 1708s |      25 |  7581508 |  5780198 |     2217   6425 |        0 |        0
1710.30/1710.98	c 1710s |      25 |  7588746 |  5786398 |     2217   6430 |        0 |        0
1712.40/1713.00	c 1712s |      25 |  7596191 |  5792798 |     2217   6436 |        0 |        0
1714.40/1715.01	c 1714s |      25 |  7603239 |  5798798 |     2217   6441 |        0 |        0
1716.40/1717.02	c 1717s |      25 |  7610582 |  5804898 |     2217   6446 |        0 |        0
1718.40/1719.03	c 1719s |      25 |  7618570 |  5811298 |     2217   6452 |        0 |        0
1720.40/1721.04	c 1721s |      25 |  7627061 |  5818098 |     2217   6458 |        0 |        0
1722.40/1723.08	c 1723s |      25 |  7633790 |  5823998 |     2217   6463 |        0 |        0
1724.40/1725.09	c 1725s |      25 |  7640125 |  5829598 |     2217   6467 |        0 |        0
1726.40/1727.09	c 1727s |      25 |  7646476 |  5834998 |     2217   6472 |        0 |        0
1728.50/1729.11	c 1729s |      25 |  7653979 |  5841098 |     2217   6477 |        0 |        0
1730.50/1731.15	c 1731s |      25 |  7661507 |  5847298 |     2217   6482 |        0 |        0
1732.49/1733.15	c 1733s |      25 |  7668452 |  5853298 |     2217   6488 |        0 |        0
1734.49/1735.16	c 1735s |      25 |  7676350 |  5859598 |     2217   6493 |        0 |        0
1736.49/1737.18	c 1737s |      25 |  7683864 |  5865798 |     2217   6498 |        0 |        0
1738.50/1739.19	c 1739s |      25 |  7691764 |  5871998 |     2217   6504 |        0 |        0
1740.59/1741.22	c 1741s |      25 |  7700902 |  5878598 |     2217   6509 |        0 |        0
1742.59/1743.23	c 1743s |      25 |  7710160 |  5884898 |     2217   6515 |        0 |        0
1744.59/1745.25	c 1745s |      25 |  7719223 |  5891598 |     2217   6520 |        0 |        0
1746.59/1747.26	c 1747s |      25 |  7727491 |  5897898 |     2217   6526 |        0 |        0
1748.59/1749.28	c 1749s |      25 |  7736483 |  5904598 |     2217   6531 |        0 |        0
1750.70/1751.31	c 1751s |      25 |  7744890 |  5910898 |     2217   6537 |        0 |        0
1752.69/1753.31	c 1753s |      25 |  7753589 |  5917198 |     2217   6542 |        0 |        0
1754.69/1755.34	c 1755s |      25 |  7761663 |  5923798 |     2217   6548 |        0 |        0
1756.69/1757.37	c 1757s |      25 |  7769338 |  5930298 |     2217   6554 |        0 |        0
1758.69/1759.39	c 1759s |      25 |  7777082 |  5936598 |     2217   6559 |        0 |        0
1760.79/1761.40	c 1761s |      25 |  7785663 |  5943098 |     2217   6564 |        0 |        0
1762.80/1763.41	c 1763s |      25 |  7793217 |  5949398 |     2217   6570 |        0 |        0
1764.79/1765.43	c 1765s |      25 |  7800643 |  5955398 |     2217   6575 |        0 |        0
1766.79/1767.44	c 1767s |      25 |  7808813 |  5961698 |     2217   6580 |        0 |        0
1768.79/1769.47	c 1769s |      25 |  7815933 |  5967598 |     2217   6585 |        0 |        0
1770.79/1771.49	c 1771s |      25 |  7823197 |  5973598 |     2217   6590 |        0 |        0
1772.88/1773.51	c 1773s |      25 |  7830247 |  5979598 |     2217   6596 |        0 |        0
1774.89/1775.52	c 1775s |      25 |  7837557 |  5985698 |     2217   6601 |        0 |        0
1776.88/1777.54	c 1777s |      25 |  7844448 |  5991798 |     2217   6606 |        0 |        0
1778.88/1779.55	c 1779s |      25 |  7851832 |  5997798 |     2217   6611 |        0 |        0
1780.88/1781.58	c 1781s |      25 |  7859266 |  6003698 |     2217   6616 |        0 |        0
1782.98/1783.60	c 1783s |      25 |  7866647 |  6009698 |     2217   6621 |        0 |        0
1784.98/1785.63	c 1785s |      25 |  7874078 |  6015698 |     2217   6627 |        0 |        0
1786.99/1787.67	c 1787s |      25 |  7880727 |  6021398 |     2217   6631 |        0 |        0
1788.98/1789.68	c 1789s |      25 |  7887428 |  6026998 |     2217   6636 |        0 |        0
1791.08/1791.71	c 1791s |      25 |  7894727 |  6032798 |     2217   6641 |        0 |        0
1793.08/1793.71	c 1793s |      25 |  7901494 |  6038498 |     2217   6646 |        0 |        0
1795.08/1795.72	c 1795s |      25 |  7908349 |  6044198 |     2217   6651 |        0 |        0
1797.08/1797.75	c 1797s |      25 |  7914313 |  6049398 |     2217   6655 |        0 |        0
1799.08/1799.76	c 1799s |      25 |  7921049 |  6054798 |     2217   6660 |        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-4096015-1466101232/watcher-4096015-1466101232 -o /tmp/evaluation-result-4096015-1466101232/solver-4096015-1466101232 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466097108-24736 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096015-1466101232.opb 

pid=25135
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: 2.24 2.21 2.18 3/180 25138
/proc/meminfo: memFree=29713488/32872528 swapFree=1103228/1182944
[pid=25138] ppid=25135 vsize=659012 CPUtime=0 cores=1,3,5,7
/proc/25138/stat : 25138 (toysat) R 25135 25138 24719 0 -1 4202496 2450 0 0 0 0 0 0 0 20 0 4 0 12172167 674828288 3321 33554432000 4194304 16246674 140734681117552 140734681116976 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25138/statm: 165521 3331 442 2943 0 162415 0
[pid=25138/tid=25139] ppid=25135 vsize=676420 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25139/stat : 25139 (toysat) S 25135 25138 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12172167 692654080 3389 33554432000 4194304 16246674 140734681117552 140466597113072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25140] ppid=25135 vsize=680516 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25140/stat : 25140 (toysat) S 25135 25138 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12172167 696848384 3405 33554432000 4194304 16246674 140734681117552 140466586623216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25141] ppid=25135 vsize=685636 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25141/stat : 25141 (toysat) S 25135 25138 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12172167 702091264 3422 33554432000 4194304 16246674 140734681117552 140466502757552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 2.24 2.21 2.18 3/180 25138
/proc/meminfo: memFree=29713488/32872528 swapFree=1103228/1182944
[pid=25138] ppid=25135 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/25138/stat : 25138 (toysat) R 25135 25138 24719 0 -1 4202496 25050 0 0 0 5 4 0 0 20 0 4 0 12172167 1247350784 25910 33554432000 4194304 16246674 140734681117552 140734681100544 13954518 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25138/statm: 304529 25920 712 2943 0 301423 0
[pid=25138/tid=25139] ppid=25135 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25139/stat : 25139 (toysat) S 25135 25138 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12172167 1247350784 25928 33554432000 4194304 16246674 140734681117552 140466597113072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25140] ppid=25135 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25140/stat : 25140 (toysat) S 25135 25138 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12172167 1247350784 25935 33554432000 4194304 16246674 140734681117552 140466586623216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25141] ppid=25135 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25141/stat : 25141 (toysat) S 25135 25138 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12172167 1247350784 25939 33554432000 4194304 16246674 140734681117552 140466502757552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200543 s]
/proc/loadavg: 2.24 2.21 2.18 3/180 25138
/proc/meminfo: memFree=29713488/32872528 swapFree=1103228/1182944
[pid=25138] ppid=25135 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/25138/stat : 25138 (toysat) R 25135 25138 24719 0 -1 4202496 48279 0 0 0 11 7 0 0 20 0 4 0 12172167 1247350784 49139 33554432000 4194304 16246674 140734681117552 140734681100544 5668190 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25138/statm: 304529 49147 712 2943 0 301423 0
[pid=25138/tid=25139] ppid=25135 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25139/stat : 25139 (toysat) S 25135 25138 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12172167 1247350784 49152 33554432000 4194304 16246674 140734681117552 140466597113072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25140] ppid=25135 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25140/stat : 25140 (toysat) S 25135 25138 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12172167 1247350784 49159 33554432000 4194304 16246674 140734681117552 140466586623216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25141] ppid=25135 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25141/stat : 25141 (toysat) S 25135 25138 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12172167 1247350784 49169 33554432000 4194304 16246674 140734681117552 140466502757552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300507 s]
/proc/loadavg: 2.24 2.21 2.18 3/180 25138
/proc/meminfo: memFree=29713488/32872528 swapFree=1103228/1182944
[pid=25138] ppid=25135 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/25138/stat : 25138 (toysat) R 25135 25138 24719 0 -1 4202496 71773 0 0 0 18 11 0 0 20 0 4 0 12172167 1247350784 72634 33554432000 4194304 16246674 140734681117552 140734681100544 6011022 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25138/statm: 304529 72642 712 2943 0 301423 0
[pid=25138/tid=25139] ppid=25135 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25139/stat : 25139 (toysat) S 25135 25138 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12172167 1247350784 72647 33554432000 4194304 16246674 140734681117552 140466597113072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25140] ppid=25135 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25140/stat : 25140 (toysat) S 25135 25138 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12172167 1247350784 72655 33554432000 4194304 16246674 140734681117552 140466586623216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25141] ppid=25135 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25141/stat : 25141 (toysat) S 25135 25138 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12172167 1247350784 72664 33554432000 4194304 16246674 140734681117552 140466502757552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700416 s]
/proc/loadavg: 2.24 2.21 2.18 3/180 25138
/proc/meminfo: memFree=29713488/32872528 swapFree=1103228/1182944
[pid=25138] ppid=25135 vsize=1218116 CPUtime=0.68 cores=1,3,5,7
/proc/25138/stat : 25138 (toysat) R 25135 25138 24719 0 -1 4202496 165784 0 0 0 45 23 0 0 20 0 4 0 12172167 1247350784 166644 33554432000 4194304 16246674 140734681117552 140734681100544 12875570 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25138/statm: 304529 166659 712 2943 0 301423 0
[pid=25138/tid=25139] ppid=25135 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25139/stat : 25139 (toysat) S 25135 25138 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12172167 1247350784 166665 33554432000 4194304 16246674 140734681117552 140466597113072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25140] ppid=25135 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25140/stat : 25140 (toysat) S 25135 25138 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12172167 1247350784 166670 33554432000 4194304 16246674 140734681117552 140466586623216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25141] ppid=25135 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25141/stat : 25141 (toysat) S 25135 25138 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12172167 1247350784 166675 33554432000 4194304 16246674 140734681117552 140466502757552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.24 2.21 2.18 3/184 25142
/proc/meminfo: memFree=28728504/32872528 swapFree=1103228/1182944
[pid=25138] ppid=25135 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/25138/stat : 25138 (toysat) R 25135 25138 24719 0 -1 4202496 245659 0 0 0 115 34 0 0 20 0 4 0 12172167 1248399360 246499 33554432000 4194304 16246674 140734681117552 140734681116864 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25138/statm: 304785 246499 788 2943 0 301679 0
[pid=25138/tid=25139] ppid=25135 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25139/stat : 25139 (toysat) S 25135 25138 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12172167 1248399360 246499 33554432000 4194304 16246674 140734681117552 140466597113072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25140] ppid=25135 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25140/stat : 25140 (toysat) S 25135 25138 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12172167 1248399360 246499 33554432000 4194304 16246674 140734681117552 140466586623216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25141] ppid=25135 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25141/stat : 25141 (toysat) S 25135 25138 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12172167 1248399360 246499 33554432000 4194304 16246674 140734681117552 140466502757552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10041 s]
/proc/loadavg: 2.24 2.21 2.18 3/184 25142
/proc/meminfo: memFree=28641580/32872528 swapFree=1103228/1182944
[pid=25138] ppid=25135 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/25138/stat : 25138 (toysat) R 25135 25138 24719 0 -1 4202496 267413 0 0 0 272 36 0 0 20 0 4 0 12172167 1337528320 268253 33554432000 4194304 16246674 140734681117552 140734681099456 5722960 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25138/statm: 326545 268253 788 2943 0 323439 0
[pid=25138/tid=25139] ppid=25135 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25139/stat : 25139 (toysat) S 25135 25138 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12172167 1337528320 268253 33554432000 4194304 16246674 140734681117552 140466597113072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25140] ppid=25135 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25140/stat : 25140 (toysat) S 25135 25138 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12172167 1337528320 268253 33554432000 4194304 16246674 140734681117552 140466586623216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25141] ppid=25135 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25141/stat : 25141 (toysat) S 25135 25138 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12172167 1337528320 268253 33554432000 4194304 16246674 140734681117552 140466502757552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 2.30 2.22 2.18 3/184 25142
/proc/meminfo: memFree=28640524/32872528 swapFree=1103228/1182944
[pid=25138] ppid=25135 vsize=1306180 CPUtime=6.28 cores=1,3,5,7
/proc/25138/stat : 25138 (toysat) R 25135 25138 24719 0 -1 4202496 267513 0 0 0 592 36 0 0 20 0 4 0 12172167 1337528320 268353 33554432000 4194304 16246674 140734681117552 140734681099456 5823086 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25138/statm: 326545 268353 790 2943 0 323439 0
[pid=25138/tid=25139] ppid=25135 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25139/stat : 25139 (toysat) S 25135 25138 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12172167 1337528320 268353 33554432000 4194304 16246674 140734681117552 140466597113072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25140] ppid=25135 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25140/stat : 25140 (toysat) S 25135 25138 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12172167 1337528320 268353 33554432000 4194304 16246674 140734681117552 140466586623216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25141] ppid=25135 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25141/stat : 25141 (toysat) S 25135 25138 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12172167 1337528320 268353 33554432000 4194304 16246674 140734681117552 140466502757552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.28 2.22 2.18 3/184 25142
/proc/meminfo: memFree=28639956/32872528 swapFree=1103228/1182944
[pid=25138] ppid=25135 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/25138/stat : 25138 (toysat) R 25135 25138 24719 0 -1 4202496 267583 0 0 0 1232 37 0 0 20 0 4 0 12172167 1338576896 268423 33554432000 4194304 16246674 140734681117552 140734681099456 5546177 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25138/statm: 326801 268423 790 2943 0 323695 0
[pid=25138/tid=25139] ppid=25135 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25139/stat : 25139 (toysat) S 25135 25138 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12172167 1338576896 268423 33554432000 4194304 16246674 140734681117552 140466597113072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25140] ppid=25135 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25140/stat : 25140 (toysat) S 25135 25138 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12172167 1338576896 268423 33554432000 4194304 16246674 140734681117552 140466586623216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25141] ppid=25135 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25141/stat : 25141 (toysat) S 25135 25138 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12172167 1338576896 268423 33554432000 4194304 16246674 140734681117552 140466502757552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.22 2.21 2.18 4/184 25142
/proc/meminfo: memFree=28638484/32872528 swapFree=1103228/1182944
[pid=25138] ppid=25135 vsize=1307204 CPUtime=25.49 cores=1,3,5,7
/proc/25138/stat : 25138 (toysat) R 25135 25138 24719 0 -1 4202496 267621 0 0 0 2512 37 0 0 20 0 4 0 12172167 1338576896 268461 33554432000 4194304 16246674 140734681117552 140734681099456 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25138/statm: 326801 268461 791 2943 0 323695 0
[pid=25138/tid=25139] ppid=25135 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25139/stat : 25139 (toysat) S 25135 25138 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12172167 1338576896 268461 33554432000 4194304 16246674 140734681117552 140466597113072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25140] ppid=25135 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25140/stat : 25140 (toysat) S 25135 25138 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12172167 1338576896 268461 33554432000 4194304 16246674 140734681117552 140466586623216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25141] ppid=25135 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25141/stat : 25141 (toysat) S 25135 25138 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12172167 1338576896 268461 33554432000 4194304 16246674 140734681117552 140466502757552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.27 2.22 2.18 3/183 25142
/proc/meminfo: memFree=28638588/32872528 swapFree=1103228/1182944
[pid=25138] ppid=25135 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/25138/stat : 25138 (toysat) R 25135 25138 24719 0 -1 4202496 267667 0 0 0 5071 37 0 0 20 0 4 0 12172167 1338576896 268507 33554432000 4194304 16246674 140734681117552 140734681099456 13950230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25138/statm: 326801 268507 791 2943 0 323695 0
[pid=25138/tid=25139] ppid=25135 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25139/stat : 25139 (toysat) S 25135 25138 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12172167 1338576896 268507 33554432000 4194304 16246674 140734681117552 140466597113072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25140] ppid=25135 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25140/stat : 25140 (toysat) S 25135 25138 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12172167 1338576896 268507 33554432000 4194304 16246674 140734681117552 140466586623216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25141] ppid=25135 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25141/stat : 25141 (toysat) S 25135 25138 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12172167 1338576896 268507 33554432000 4194304 16246674 140734681117552 140466502757552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.301 s]
/proc/loadavg: 2.28 2.23 2.18 3/183 25143
/proc/meminfo: memFree=28638308/32872528 swapFree=1103228/1182944
[pid=25138] ppid=25135 vsize=1307204 CPUtime=102.28 cores=1,3,5,7
/proc/25138/stat : 25138 (toysat) R 25135 25138 24719 0 -1 4202496 267667 0 0 0 10189 39 0 0 20 0 4 0 12172167 1338576896 268507 33554432000 4194304 16246674 140734681117552 140734681099456 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25138/statm: 326801 268507 791 2943 0 323695 0
[pid=25138/tid=25139] ppid=25135 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25139/stat : 25139 (toysat) S 25135 25138 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12172167 1338576896 268507 33554432000 4194304 16246674 140734681117552 140466597113072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25140] ppid=25135 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25140/stat : 25140 (toysat) S 25135 25138 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12172167 1338576896 268507 33554432000 4194304 16246674 140734681117552 140466586623216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25141] ppid=25135 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25141/stat : 25141 (toysat) S 25135 25138 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12172167 1338576896 268507 33554432000 4194304 16246674 140734681117552 140466502757552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 1310276

[startup+1362.3 s]
/proc/loadavg: 2.27 2.25 2.19 3/183 25223
/proc/meminfo: memFree=28636124/32872528 swapFree=1103228/1182944
[pid=25138] ppid=25135 vsize=1310276 CPUtime=1361.75 cores=1,3,5,7
/proc/25138/stat : 25138 (toysat) R 25135 25138 24719 0 -1 4202496 269076 0 0 0 136121 54 0 0 20 0 4 0 12172167 1341722624 269432 33554432000 4194304 16246674 140734681117552 140734681099456 13198452 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25138/statm: 327569 269432 792 2943 0 324463 0
[pid=25138/tid=25139] ppid=25135 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25139/stat : 25139 (toysat) S 25135 25138 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12172167 1341722624 269432 33554432000 4194304 16246674 140734681117552 140466597113072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25140] ppid=25135 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25140/stat : 25140 (toysat) S 25135 25138 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12172167 1341722624 269432 33554432000 4194304 16246674 140734681117552 140466586623216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25141] ppid=25135 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25141/stat : 25141 (toysat) S 25135 25138 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12172167 1341722624 269432 33554432000 4194304 16246674 140734681117552 140466502757552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 1310276

[startup+1422.3 s]
/proc/loadavg: 2.21 2.23 2.18 3/183 25224
/proc/meminfo: memFree=28635388/32872528 swapFree=1103228/1182944
[pid=25138] ppid=25135 vsize=1310276 CPUtime=1421.74 cores=1,3,5,7
/proc/25138/stat : 25138 (toysat) R 25135 25138 24719 0 -1 4202496 269076 0 0 0 142120 54 0 0 20 0 4 0 12172167 1341722624 269432 33554432000 4194304 16246674 140734681117552 140734681099456 5724664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25138/statm: 327569 269432 792 2943 0 324463 0
[pid=25138/tid=25139] ppid=25135 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25139/stat : 25139 (toysat) S 25135 25138 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12172167 1341722624 269432 33554432000 4194304 16246674 140734681117552 140466597113072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25140] ppid=25135 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25140/stat : 25140 (toysat) S 25135 25138 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12172167 1341722624 269432 33554432000 4194304 16246674 140734681117552 140466586623216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25141] ppid=25135 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25141/stat : 25141 (toysat) S 25135 25138 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12172167 1341722624 269432 33554432000 4194304 16246674 140734681117552 140466502757552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 1310276

[startup+1482.3 s]
/proc/loadavg: 2.26 2.23 2.18 3/183 25225
/proc/meminfo: memFree=28635172/32872528 swapFree=1103228/1182944
[pid=25138] ppid=25135 vsize=1310276 CPUtime=1481.73 cores=1,3,5,7
/proc/25138/stat : 25138 (toysat) R 25135 25138 24719 0 -1 4202496 269076 0 0 0 148118 55 0 0 20 0 4 0 12172167 1341722624 269432 33554432000 4194304 16246674 140734681117552 140734681099456 5669116 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25138/statm: 327569 269432 792 2943 0 324463 0
[pid=25138/tid=25139] ppid=25135 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25139/stat : 25139 (toysat) S 25135 25138 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12172167 1341722624 269432 33554432000 4194304 16246674 140734681117552 140466597113072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25140] ppid=25135 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25140/stat : 25140 (toysat) S 25135 25138 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12172167 1341722624 269432 33554432000 4194304 16246674 140734681117552 140466586623216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25141] ppid=25135 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25141/stat : 25141 (toysat) S 25135 25138 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12172167 1341722624 269432 33554432000 4194304 16246674 140734681117552 140466502757552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 1310276

[startup+1542.31 s]
/proc/loadavg: 2.14 2.20 2.18 3/183 25227
/proc/meminfo: memFree=28634948/32872528 swapFree=1103228/1182944
[pid=25138] ppid=25135 vsize=1310276 CPUtime=1541.73 cores=1,3,5,7
/proc/25138/stat : 25138 (toysat) R 25135 25138 24719 0 -1 4202496 269085 0 0 0 154117 56 0 0 20 0 4 0 12172167 1341722624 269441 33554432000 4194304 16246674 140734681117552 140734681099456 5824140 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25138/statm: 327569 269441 792 2943 0 324463 0
[pid=25138/tid=25139] ppid=25135 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25139/stat : 25139 (toysat) S 25135 25138 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12172167 1341722624 269441 33554432000 4194304 16246674 140734681117552 140466597113072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25140] ppid=25135 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25140/stat : 25140 (toysat) S 25135 25138 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12172167 1341722624 269441 33554432000 4194304 16246674 140734681117552 140466586623216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25141] ppid=25135 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25141/stat : 25141 (toysat) S 25135 25138 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12172167 1341722624 269441 33554432000 4194304 16246674 140734681117552 140466502757552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 1310276

[startup+1602.3 s]
/proc/loadavg: 2.14 2.19 2.18 3/183 25228
/proc/meminfo: memFree=28635096/32872528 swapFree=1103228/1182944
[pid=25138] ppid=25135 vsize=1310276 CPUtime=1601.71 cores=1,3,5,7
/proc/25138/stat : 25138 (toysat) R 25135 25138 24719 0 -1 4202496 269085 0 0 0 160115 56 0 0 20 0 4 0 12172167 1341722624 269441 33554432000 4194304 16246674 140734681117552 140734681099456 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25138/statm: 327569 269441 792 2943 0 324463 0
[pid=25138/tid=25139] ppid=25135 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25139/stat : 25139 (toysat) S 25135 25138 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12172167 1341722624 269441 33554432000 4194304 16246674 140734681117552 140466597113072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25140] ppid=25135 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25140/stat : 25140 (toysat) S 25135 25138 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12172167 1341722624 269441 33554432000 4194304 16246674 140734681117552 140466586623216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25141] ppid=25135 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25141/stat : 25141 (toysat) S 25135 25138 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12172167 1341722624 269441 33554432000 4194304 16246674 140734681117552 140466502757552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 1310276

[startup+1662.3 s]
/proc/loadavg: 2.16 2.19 2.17 3/183 25229
/proc/meminfo: memFree=28635240/32872528 swapFree=1103228/1182944
[pid=25138] ppid=25135 vsize=1310276 CPUtime=1661.7 cores=1,3,5,7
/proc/25138/stat : 25138 (toysat) R 25135 25138 24719 0 -1 4202496 269085 0 0 0 166113 57 0 0 20 0 4 0 12172167 1341722624 269441 33554432000 4194304 16246674 140734681117552 140734681099456 5676365 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25138/statm: 327569 269441 792 2943 0 324463 0
[pid=25138/tid=25139] ppid=25135 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25139/stat : 25139 (toysat) S 25135 25138 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12172167 1341722624 269441 33554432000 4194304 16246674 140734681117552 140466597113072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25140] ppid=25135 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25140/stat : 25140 (toysat) S 25135 25138 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12172167 1341722624 269441 33554432000 4194304 16246674 140734681117552 140466586623216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25141] ppid=25135 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25141/stat : 25141 (toysat) S 25135 25138 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12172167 1341722624 269441 33554432000 4194304 16246674 140734681117552 140466502757552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 1310276

[startup+1722.3 s]
/proc/loadavg: 2.17 2.18 2.17 3/183 25230
/proc/meminfo: memFree=28635032/32872528 swapFree=1103228/1182944
[pid=25138] ppid=25135 vsize=1310276 CPUtime=1721.7 cores=1,3,5,7
/proc/25138/stat : 25138 (toysat) R 25135 25138 24719 0 -1 4202496 269085 0 0 0 172112 58 0 0 20 0 4 0 12172167 1341722624 269441 33554432000 4194304 16246674 140734681117552 140734681099456 12875603 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25138/statm: 327569 269441 792 2943 0 324463 0
[pid=25138/tid=25139] ppid=25135 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25139/stat : 25139 (toysat) S 25135 25138 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12172167 1341722624 269441 33554432000 4194304 16246674 140734681117552 140466597113072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25140] ppid=25135 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25140/stat : 25140 (toysat) S 25135 25138 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12172167 1341722624 269441 33554432000 4194304 16246674 140734681117552 140466586623216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25141] ppid=25135 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25141/stat : 25141 (toysat) S 25135 25138 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12172167 1341722624 269441 33554432000 4194304 16246674 140734681117552 140466502757552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 1310276

[startup+1782.3 s]
/proc/loadavg: 2.28 2.22 2.18 3/184 25234
/proc/meminfo: memFree=28634704/32872528 swapFree=1103228/1182944
[pid=25138] ppid=25135 vsize=1310276 CPUtime=1781.68 cores=1,3,5,7
/proc/25138/stat : 25138 (toysat) R 25135 25138 24719 0 -1 4202496 269085 0 0 0 178110 58 0 0 20 0 4 0 12172167 1341722624 269441 33554432000 4194304 16246674 140734681117552 140734681099456 13950230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25138/statm: 327569 269441 792 2943 0 324463 0
[pid=25138/tid=25139] ppid=25135 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25139/stat : 25139 (toysat) S 25135 25138 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12172167 1341722624 269441 33554432000 4194304 16246674 140734681117552 140466597113072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25140] ppid=25135 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25140/stat : 25140 (toysat) S 25135 25138 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12172167 1341722624 269441 33554432000 4194304 16246674 140734681117552 140466586623216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25141] ppid=25135 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25141/stat : 25141 (toysat) S 25135 25138 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12172167 1341722624 269441 33554432000 4194304 16246674 140734681117552 140466502757552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 1310276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 2.20 2.20 2.18 3/183 25234
/proc/meminfo: memFree=28634600/32872528 swapFree=1103228/1182944
[pid=25138] ppid=25135 vsize=1310276 CPUtime=1800.08 cores=1,3,5,7
/proc/25138/stat : 25138 (toysat) R 25135 25138 24719 0 -1 4202496 269085 0 0 0 179950 58 0 0 20 0 4 0 12172167 1341722624 269441 33554432000 4194304 16246674 140734681117552 140734681100552 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25138/statm: 327569 269441 792 2943 0 324463 0
[pid=25138/tid=25139] ppid=25135 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25139/stat : 25139 (toysat) S 25135 25138 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12172167 1341722624 269441 33554432000 4194304 16246674 140734681117552 140466597113072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25140] ppid=25135 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25140/stat : 25140 (toysat) S 25135 25138 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12172167 1341722624 269441 33554432000 4194304 16246674 140734681117552 140466586623216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25141] ppid=25135 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25141/stat : 25141 (toysat) S 25135 25138 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12172167 1341722624 269441 33554432000 4194304 16246674 140734681117552 140466502757552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1310276

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

[startup+1800.7 s]
/proc/loadavg: 2.20 2.20 2.18 3/183 25234
/proc/meminfo: memFree=28634600/32872528 swapFree=1103228/1182944
[pid=25138] ppid=25135 vsize=1310276 CPUtime=1800.08 cores=1,3,5,7
/proc/25138/stat : 25138 (toysat) R 25135 25138 24719 0 -1 4202496 269085 0 0 0 179950 58 0 0 20 0 4 0 12172167 1341722624 269441 33554432000 4194304 16246674 140734681117552 140734681100552 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25138/statm: 327569 269441 792 2943 0 324463 0
[pid=25138/tid=25139] ppid=25135 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25139/stat : 25139 (toysat) S 25135 25138 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12172167 1341722624 269441 33554432000 4194304 16246674 140734681117552 140466597113072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25140] ppid=25135 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25140/stat : 25140 (toysat) S 25135 25138 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12172167 1341722624 269441 33554432000 4194304 16246674 140734681117552 140466586623216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25141] ppid=25135 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25141/stat : 25141 (toysat) S 25135 25138 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12172167 1341722624 269441 33554432000 4194304 16246674 140734681117552 140466502757552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1310276

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.72
CPU time (s): 1800.1
CPU user time (s): 1799.51
CPU system time (s): 0.58991
CPU usage (%): 99.966
Max. virtual memory (cumulated for all children) (KiB): 1310276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.58991
maximum resident set size= 1077764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269085
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= 501
involuntary context switches= 1854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.41618 second user time and 7.66383 second system time

The end

Begin job on node115 at 2016-06-16 20:20:32
IDJOB=4096015
IDBENCH=107554
IDSOLVER=2542
FILE ID=node115/4096015-1466101232
RUNJOBID= node115-1466097108-24736
PBS_JOBID= 19904041
Free space on /tmp= 71728 MiB

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

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

MD5SUM BENCH= e99a92c475c27e379186b23a10ad8a97
RANDOM SEED=171866072

node115.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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 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:        29714116 kB
Buffers:           53104 kB
Cached:           141856 kB
SwapCached:         2104 kB
Active:          1178576 kB
Inactive:          93280 kB
Active(anon):    1077648 kB
Inactive(anon):     1636 kB
Active(file):     100928 kB
Inactive(file):    91644 kB
Unevictable:     1182944 kB
Mlocked:         1103228 kB
SwapTotal:      67108856 kB
SwapFree:       67099112 kB
Dirty:             16312 kB
Writeback:             0 kB
AnonPages:       2223732 kB
Mapped:            10292 kB
Shmem:                 0 kB
Slab:             569164 kB
SReclaimable:      13252 kB
SUnreclaim:       555912 kB
KernelStack:        1528 kB
PageTables:         8868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2403852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     45056 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= 71712 MiB
End job on node115 at 2016-06-16 20:50:33