0.00/0.00	c 2016-06-15T23:48:31+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-4089421-1466027311.opb"]
0.00/0.01	c use --random-gen="1470079504 1351015024 15413551 536692079 3428842094 1439695080 3317851745 536018717 1073494997 2379502796 3378122350 3893347580 677986958 1215791234 2934622343 2216142103 3984816850 2966534372 1695450475 3119977693 3791534688 4916955 1566602420 2339162387 3185312504 400075391 1696700314 762006961 2086189857 3519230975 3358966490 548409885 3157246627 3142295385 4079783005 4025188748 133197802 1415410244 180983695 2957191417 1502721514 3530606240 2518157999 273593288 2232459305 2381779371 2913812813 2989516123 3652463880 882456139 2499136130 882760857 1808527962 1834613699 2849884831 706611857 3140539722 2722150296 959928336 3953893956 3020625213 2642226269 3858351539 2914617539 3914502525 3593206967 453741059 3067810688 1960911571 3588117549 1044421988 155298929 1087453283 2008856418 2867063556 1597980498 3097346651 2455486568 4155940467 3207406787 3440001613 3788064221 802363272 766061995 178868083 2864233464 1405192186 474320181 4099705120 1069095077 925688546 768203921 1746572060 3414364520 3162358901 745847236 1419903607 344369210 3749891268 1765877345 1712157817 4292662651 1014485204 1789665343 2543196692 3366292562 65516542 1861170267 2985859 1361669370 3053014493 795872449 3527343659 2328217565 1568240968 1300033575 2232328071 1356732066 1375238403 4011119664 2119389477 2243545877 395814351 1891151770 803777966 3303612061 3018540636 1872141323 2633695504 170931390 2742762083 2011412840 2748109639 2954908202 2089966819 2462245417 897753164 3571881456 641053610 152682727 938812412 892918707 3754716059 1873286037 3188973127 4124262112 3757938387 3370115298 2459065221 2376127436 372606540 1622809600 568430971 861634173 2047377192 1911607788 918013486 3042477020 3009520116 3029282137 1078620855 3877150868 2979245118 1043486213 2341148935 1577297288 2490152247 2776457696 1336551785 3148174796 40354935 274182892 1346144554 1798400168 1254972914 2203504450 1432813428 300122831 782452280 2978996912 2284402428 3419811079 1740380420 2892731441 2128195482 3114388213 2873232499 694317547 4068970160 179325776 539685995 722187769 399771408 1486381144 2701762441 292386809 1859052911 4185355818 804978909 822777677 3859666341 3177111524 2156893499 300330555 199728827 2700665660 3361698473 3530048590 104394141 1633567921 3052178548 3727702612 3185292474 4253819078 1156131189 1261911510 169651945 1844876265 1458811958 4265861515 738551119 1143390662 3327363423 1170160149 3230927426 1565535316 2767289645 1417668269 1841781697 1788536943 3357813292 3582099773 1581847593 3525896084 147667766 3682907632 916472437 835599463 3030718252 270371181 3645710018 2557832262 310777572 3084060230 3969562781 2790101746 2289112336 2443558705 1667371596 2054398657 185683020 2788646169 3371399435 3102737276 2547845234 1590315318 255 362436" option to reproduce the execution
0.00/0.01	c #vars 170
0.00/0.01	c #constraints 341
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 |      170      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      180 |      100 |      170      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      409 |      250 |      188      0 |        0 |        0
0.09/0.11	c  0.1s |       3 |      713 |      475 |      207      2 |        0 |        0
0.09/0.19	c  0.2s |       4 |     1129 |      813 |      228      4 |        0 |        0
0.29/0.30	c  0.3s |       5 |     1721 |     1320 |      251      7 |        0 |        0
0.39/0.49	c  0.5s |       6 |     2561 |     2081 |      305     11 |        0 |        0
0.69/0.77	c  0.8s |       7 |     3787 |     3223 |      336     17 |        0 |        0
0.99/1.07	c  1.1s |       8 |     5590 |     4936 |      370     25 |        0 |        0
1.49/1.51	c  1.5s |       9 |     8287 |     7506 |      408     36 |        0 |        0
2.09/2.14	c  2.1s |      10 |    12293 |    11361 |      449     52 |        0 |        0
3.09/3.12	c  3.1s |      11 |    18208 |    17144 |      494     74 |        0 |        0
4.59/4.60	c  4.6s |      12 |    27104 |    25819 |      544    104 |        0 |        0
6.60/6.62	c  6.6s |      12 |    39002 |    37419 |      544    141 |        0 |        0
6.79/6.88	c  6.9s |      13 |    40450 |    38832 |      599    145 |        0 |        0
8.80/8.88	c  8.9s |      13 |    52089 |    50132 |      599    179 |        0 |        0
10.29/10.38	c 10.4s |      14 |    60490 |    58352 |      659    203 |        0 |        0
12.29/12.39	c 12.4s |      14 |    71813 |    69352 |      659    233 |        0 |        0
14.29/14.40	c 14.4s |      14 |    83128 |    80352 |      659    263 |        0 |        0
15.69/15.77	c 15.8s |      15 |    90617 |    87632 |      725    282 |        0 |        0
17.69/17.77	c 17.8s |      15 |   101707 |    98432 |      725    309 |        0 |        0
19.69/19.79	c 19.8s |      15 |   113008 |   109432 |      725    337 |        0 |        0
21.78/21.81	c 21.8s |      15 |   124246 |   120332 |      725    364 |        0 |        0
23.78/23.81	c 23.8s |      15 |   135306 |   131132 |      798    391 |        0 |        0
23.78/23.88	c 23.9s |      16 |   135744 |   131552 |      798    392 |        0 |        0
25.78/25.88	c 25.9s |      16 |   147421 |   142852 |      798    418 |        0 |        0
27.78/27.88	c 27.9s |      16 |   158650 |   153752 |      798    442 |        0 |        0
29.79/29.89	c 29.9s |      16 |   169668 |   164452 |      798    467 |        0 |        0
31.78/31.90	c 31.9s |      16 |   180909 |   175352 |      798    492 |        0 |        0
33.88/33.91	c 33.9s |      16 |   191888 |   186052 |      798    516 |        0 |        0
35.88/35.93	c 35.9s |      16 |   203007 |   196752 |      878    541 |        0 |        0
35.98/36.07	c 36.1s |      17 |   203696 |   197432 |      878    542 |        0 |        0
37.98/38.08	c 38.1s |      17 |   214812 |   207932 |      878    564 |        0 |        0
40.08/40.10	c 40.1s |      17 |   225661 |   218432 |      878    586 |        0 |        0
42.08/42.11	c 42.1s |      17 |   236401 |   228732 |      878    608 |        0 |        0
44.09/44.12	c 44.1s |      17 |   247337 |   239232 |      878    630 |        0 |        0
46.08/46.13	c 46.1s |      17 |   258105 |   249632 |      878    652 |        0 |        0
48.08/48.14	c 48.1s |      17 |   268544 |   259732 |      878    673 |        0 |        0
50.08/50.15	c 50.1s |      17 |   279171 |   269832 |      878    694 |        0 |        0
52.09/52.16	c 52.1s |      17 |   289974 |   280232 |      878    716 |        0 |        0
54.08/54.18	c 54.2s |      17 |   300533 |   290432 |      878    737 |        0 |        0
55.28/55.34	c 55.3s |      18 |   306662 |   296252 |      966    749 |        0 |        0
57.29/57.36	c 57.3s |      18 |   318119 |   307052 |      966    770 |        0 |        0
59.28/59.38	c 59.4s |      18 |   328832 |   317352 |      966    789 |        0 |        0
61.28/61.40	c 61.4s |      18 |   339427 |   327652 |      966    809 |        0 |        0
63.38/63.42	c 63.4s |      18 |   350315 |   338152 |      966    830 |        0 |        0
65.38/65.42	c 65.4s |      18 |   360862 |   348352 |      966    849 |        0 |        0
67.38/67.43	c 67.4s |      18 |   371376 |   358452 |      966    869 |        0 |        0
69.39/69.43	c 69.4s |      18 |   381592 |   368352 |      966    888 |        0 |        0
71.38/71.43	c 71.4s |      18 |   392075 |   378452 |      966    907 |        0 |        0
73.38/73.45	c 73.4s |      18 |   402633 |   388652 |      966    927 |        0 |        0
75.38/75.46	c 75.4s |      18 |   413260 |   398652 |      966    946 |        0 |        0
77.38/77.47	c 77.4s |      18 |   423647 |   408652 |      966    965 |        0 |        0
79.37/79.48	c 79.5s |      18 |   434061 |   418652 |      966    984 |        0 |        0
81.38/81.48	c 81.5s |      18 |   444183 |   428352 |      966   1003 |        0 |        0
83.37/83.49	c 83.5s |      18 |   454993 |   438852 |      966   1023 |        0 |        0
84.47/84.58	c 84.6s |      19 |   460804 |   444482 |     1063   1033 |        0 |        0
86.47/86.59	c 86.6s |      19 |   471591 |   454782 |     1063   1052 |        0 |        0
88.57/88.61	c 88.6s |      19 |   482376 |   465182 |     1063   1070 |        0 |        0
90.57/90.63	c 90.6s |      19 |   492855 |   475382 |     1063   1088 |        0 |        0
92.57/92.64	c 92.6s |      19 |   503478 |   485582 |     1063   1106 |        0 |        0
94.59/94.65	c 94.6s |      19 |   514330 |   495882 |     1063   1124 |        0 |        0
96.58/96.65	c 96.6s |      19 |   524816 |   505782 |     1063   1141 |        0 |        0
98.58/98.65	c 98.6s |      19 |   535144 |   515682 |     1063   1158 |        0 |        0
100.57/100.66	c  100s |      19 |   545898 |   526082 |     1063   1177 |        0 |        0
102.57/102.67	c  102s |      19 |   556583 |   536282 |     1063   1195 |        0 |        0
104.58/104.69	c  104s |      19 |   566869 |   546182 |     1063   1212 |        0 |        0
106.57/106.70	c  106s |      19 |   577121 |   556082 |     1063   1229 |        0 |        0
108.67/108.72	c  108s |      19 |   587654 |   566182 |     1063   1247 |        0 |        0
110.67/110.73	c  110s |      19 |   597812 |   576082 |     1063   1265 |        0 |        0
112.67/112.73	c  112s |      19 |   607915 |   585682 |     1063   1281 |        0 |        0
114.67/114.74	c  114s |      19 |   618095 |   595382 |     1063   1298 |        0 |        0
116.68/116.75	c  116s |      19 |   628577 |   605582 |     1063   1316 |        0 |        0
118.67/118.76	c  118s |      19 |   638888 |   615482 |     1063   1334 |        0 |        0
120.67/120.77	c  120s |      19 |   649113 |   625382 |     1063   1351 |        0 |        0
122.67/122.78	c  122s |      19 |   659144 |   635182 |     1063   1368 |        0 |        0
124.67/124.79	c  124s |      19 |   669095 |   644882 |     1063   1385 |        0 |        0
126.67/126.79	c  126s |      19 |   679269 |   654682 |     1063   1403 |        0 |        0
128.78/128.81	c  128s |      19 |   689450 |   664482 |     1170   1420 |        0 |        0
129.27/129.31	c  129s |      20 |   691940 |   666827 |     1170   1423 |        0 |        0
131.27/131.33	c  131s |      20 |   702570 |   677027 |     1170   1440 |        0 |        0
133.27/133.34	c  133s |      20 |   713101 |   687227 |     1170   1456 |        0 |        0
135.28/135.36	c  135s |      20 |   723758 |   697327 |     1170   1472 |        0 |        0
137.27/137.36	c  137s |      20 |   734070 |   707227 |     1170   1488 |        0 |        0
139.27/139.36	c  139s |      20 |   744409 |   717027 |     1170   1504 |        0 |        0
141.27/141.37	c  141s |      20 |   754838 |   727027 |     1170   1520 |        0 |        0
143.27/143.39	c  143s |      20 |   764878 |   736827 |     1170   1536 |        0 |        0
145.36/145.40	c  145s |      20 |   775142 |   746727 |     1170   1552 |        0 |        0
147.37/147.41	c  147s |      20 |   785539 |   756627 |     1170   1568 |        0 |        0
149.36/149.43	c  149s |      20 |   795666 |   766327 |     1170   1583 |        0 |        0
151.36/151.46	c  151s |      20 |   805606 |   775927 |     1170   1599 |        0 |        0
153.36/153.46	c  153s |      20 |   815953 |   785927 |     1170   1615 |        0 |        0
155.36/155.47	c  155s |      20 |   826157 |   795727 |     1170   1630 |        0 |        0
157.37/157.47	c  157s |      20 |   836203 |   805327 |     1170   1646 |        0 |        0
159.36/159.48	c  159s |      20 |   846171 |   814727 |     1170   1661 |        0 |        0
161.36/161.48	c  161s |      20 |   856089 |   824227 |     1170   1676 |        0 |        0
163.36/163.50	c  163s |      20 |   866354 |   834127 |     1170   1692 |        0 |        0
165.46/165.50	c  165s |      20 |   876588 |   844027 |     1170   1708 |        0 |        0
167.47/167.53	c  167s |      20 |   886723 |   853827 |     1170   1724 |        0 |        0
169.47/169.53	c  169s |      20 |   896981 |   863727 |     1170   1739 |        0 |        0
171.47/171.55	c  171s |      20 |   907005 |   873327 |     1170   1755 |        0 |        0
173.47/173.56	c  173s |      20 |   917232 |   883027 |     1170   1771 |        0 |        0
175.47/175.57	c  175s |      20 |   927241 |   892527 |     1170   1786 |        0 |        0
177.47/177.57	c  177s |      20 |   937210 |   902127 |     1170   1801 |        0 |        0
179.46/179.58	c  179s |      20 |   947405 |   911827 |     1170   1817 |        0 |        0
181.47/181.58	c  181s |      20 |   957150 |   921327 |     1170   1832 |        0 |        0
183.56/183.61	c  183s |      20 |   967039 |   930927 |     1170   1848 |        0 |        0
185.56/185.61	c  185s |      20 |   976799 |   940427 |     1170   1863 |        0 |        0
187.56/187.61	c  187s |      20 |   986947 |   949727 |     1170   1878 |        0 |        0
189.56/189.62	c  189s |      20 |   996991 |   959127 |     1170   1893 |        0 |        0
191.56/191.63	c  191s |      20 |  1007277 |   969027 |     1170   1909 |        0 |        0
193.57/193.64	c  193s |      20 |  1017331 |   978727 |     1170   1924 |        0 |        0
195.56/195.64	c  195s |      20 |  1027315 |   988227 |     1170   1940 |        0 |        0
197.56/197.64	c  197s |      20 |  1037008 |   997627 |     1287   1954 |        0 |        0
198.16/198.25	c  198s |      21 |  1039847 |  1000345 |     1287   1958 |        0 |        0
200.17/200.26	c  200s |      21 |  1050340 |  1010445 |     1287   1973 |        0 |        0
202.16/202.27	c  202s |      21 |  1060293 |  1020145 |     1287   1987 |        0 |        0
204.16/204.28	c  204s |      21 |  1070615 |  1030045 |     1287   2002 |        0 |        0
206.26/206.30	c  206s |      21 |  1080982 |  1039945 |     1287   2016 |        0 |        0
208.26/208.30	c  208s |      21 |  1091085 |  1049645 |     1287   2030 |        0 |        0
210.26/210.31	c  210s |      21 |  1100961 |  1059145 |     1287   2044 |        0 |        0
212.26/212.32	c  212s |      21 |  1110722 |  1068545 |     1287   2058 |        0 |        0
214.26/214.34	c  214s |      21 |  1121124 |  1078445 |     1287   2073 |        0 |        0
216.25/216.35	c  216s |      21 |  1131321 |  1088145 |     1287   2087 |        0 |        0
218.25/218.37	c  218s |      21 |  1141562 |  1097945 |     1287   2101 |        0 |        0
220.25/220.39	c  220s |      21 |  1151549 |  1107545 |     1287   2115 |        0 |        0
222.35/222.40	c  222s |      21 |  1161658 |  1117245 |     1287   2130 |        0 |        0
224.36/224.41	c  224s |      21 |  1171412 |  1126745 |     1287   2144 |        0 |        0
226.35/226.43	c  226s |      21 |  1181157 |  1136245 |     1287   2158 |        0 |        0
228.35/228.44	c  228s |      21 |  1190868 |  1145545 |     1287   2171 |        0 |        0
230.35/230.46	c  230s |      21 |  1200959 |  1155245 |     1287   2185 |        0 |        0
232.35/232.47	c  232s |      21 |  1211011 |  1164645 |     1287   2199 |        0 |        0
234.36/234.47	c  234s |      21 |  1220936 |  1173745 |     1287   2213 |        0 |        0
236.35/236.48	c  236s |      21 |  1230768 |  1183245 |     1287   2227 |        0 |        0
238.45/238.50	c  238s |      21 |  1240496 |  1192745 |     1287   2241 |        0 |        0
240.45/240.50	c  240s |      21 |  1249855 |  1201945 |     1287   2254 |        0 |        0
242.46/242.51	c  242s |      21 |  1259486 |  1211245 |     1287   2268 |        0 |        0
244.46/244.53	c  244s |      21 |  1269598 |  1221045 |     1287   2282 |        0 |        0
246.46/246.55	c  246s |      21 |  1279478 |  1230645 |     1287   2296 |        0 |        0
248.45/248.57	c  248s |      21 |  1289133 |  1240045 |     1287   2310 |        0 |        0
250.45/250.59	c  250s |      21 |  1298831 |  1249345 |     1287   2324 |        0 |        0
252.55/252.60	c  252s |      21 |  1308456 |  1258545 |     1287   2337 |        0 |        0
254.55/254.63	c  254s |      21 |  1318017 |  1267745 |     1287   2351 |        0 |        0
256.55/256.64	c  256s |      21 |  1327798 |  1277145 |     1287   2364 |        0 |        0
258.56/258.65	c  258s |      21 |  1337466 |  1286545 |     1287   2378 |        0 |        0
260.55/260.66	c  260s |      21 |  1347172 |  1295945 |     1287   2392 |        0 |        0
262.55/262.68	c  262s |      21 |  1357041 |  1305445 |     1287   2406 |        0 |        0
264.55/264.68	c  264s |      21 |  1366739 |  1314645 |     1287   2419 |        0 |        0
266.55/266.69	c  266s |      21 |  1376280 |  1323845 |     1287   2433 |        0 |        0
268.65/268.70	c  268s |      21 |  1385898 |  1333145 |     1287   2447 |        0 |        0
270.66/270.70	c  270s |      21 |  1395396 |  1342345 |     1287   2460 |        0 |        0
272.65/272.73	c  272s |      21 |  1404868 |  1351245 |     1287   2473 |        0 |        0
274.65/274.74	c  274s |      21 |  1414271 |  1360345 |     1287   2487 |        0 |        0
276.65/276.75	c  276s |      21 |  1423686 |  1369345 |     1287   2500 |        0 |        0
278.65/278.76	c  278s |      21 |  1433493 |  1378545 |     1287   2513 |        0 |        0
280.65/280.78	c  280s |      21 |  1443535 |  1388145 |     1287   2527 |        0 |        0
282.65/282.80	c  282s |      21 |  1453411 |  1397745 |     1287   2542 |        0 |        0
284.74/284.82	c  284s |      21 |  1463625 |  1407345 |     1287   2556 |        0 |        0
286.74/286.83	c  286s |      21 |  1473340 |  1416745 |     1287   2569 |        0 |        0
288.74/288.85	c  288s |      21 |  1482819 |  1425745 |     1287   2583 |        0 |        0
290.74/290.86	c  290s |      21 |  1492700 |  1434945 |     1287   2596 |        0 |        0
292.74/292.87	c  292s |      21 |  1502292 |  1444145 |     1287   2610 |        0 |        0
294.75/294.88	c  294s |      21 |  1511838 |  1453445 |     1287   2623 |        0 |        0
296.74/296.88	c  296s |      21 |  1521100 |  1462445 |     1287   2637 |        0 |        0
298.74/298.89	c  298s |      21 |  1530768 |  1471345 |     1287   2650 |        0 |        0
300.84/300.90	c  300s |      21 |  1540165 |  1480345 |     1287   2663 |        0 |        0
302.84/302.91	c  302s |      21 |  1549370 |  1489345 |     1287   2676 |        0 |        0
304.84/304.91	c  304s |      21 |  1558586 |  1498245 |     1416   2688 |        0 |        0
305.34/305.45	c  305s |      22 |  1561113 |  1500622 |     1416   2691 |        0 |        0
307.34/307.45	c  307s |      22 |  1571084 |  1510222 |     1416   2704 |        0 |        0
309.34/309.46	c  309s |      22 |  1581088 |  1519822 |     1416   2717 |        0 |        0
311.35/311.48	c  311s |      22 |  1590942 |  1529322 |     1416   2729 |        0 |        0
313.34/313.48	c  313s |      22 |  1600282 |  1538422 |     1416   2742 |        0 |        0
315.34/315.49	c  315s |      22 |  1609919 |  1547622 |     1416   2754 |        0 |        0
317.44/317.50	c  317s |      22 |  1619409 |  1556822 |     1416   2766 |        0 |        0
319.44/319.51	c  319s |      22 |  1628868 |  1565822 |     1416   2778 |        0 |        0
321.44/321.52	c  321s |      22 |  1638346 |  1574622 |     1416   2790 |        0 |        0
323.45/323.52	c  323s |      22 |  1647742 |  1583422 |     1416   2802 |        0 |        0
325.44/325.53	c  325s |      22 |  1657320 |  1592622 |     1416   2814 |        0 |        0
327.44/327.55	c  327s |      22 |  1666808 |  1601822 |     1416   2826 |        0 |        0
329.44/329.57	c  329s |      22 |  1676005 |  1610822 |     1416   2838 |        0 |        0
331.44/331.58	c  331s |      22 |  1685607 |  1620022 |     1416   2851 |        0 |        0
333.44/333.59	c  333s |      22 |  1695017 |  1629022 |     1416   2863 |        0 |        0
335.55/335.62	c  335s |      22 |  1704957 |  1638622 |     1416   2876 |        0 |        0
337.54/337.63	c  337s |      22 |  1714639 |  1647922 |     1416   2888 |        0 |        0
339.54/339.64	c  339s |      22 |  1724188 |  1657122 |     1416   2900 |        0 |        0
341.54/341.66	c  341s |      22 |  1733651 |  1666322 |     1416   2913 |        0 |        0
343.53/343.67	c  343s |      22 |  1743182 |  1675522 |     1416   2925 |        0 |        0
345.53/345.68	c  345s |      22 |  1752684 |  1684722 |     1416   2937 |        0 |        0
347.54/347.68	c  347s |      22 |  1762183 |  1693922 |     1416   2950 |        0 |        0
349.53/349.70	c  349s |      22 |  1771503 |  1702922 |     1416   2962 |        0 |        0
351.63/351.71	c  351s |      22 |  1780896 |  1712022 |     1416   2974 |        0 |        0
353.63/353.73	c  353s |      22 |  1790472 |  1721222 |     1416   2986 |        0 |        0
355.63/355.74	c  355s |      22 |  1799786 |  1730222 |     1416   2998 |        0 |        0
357.63/357.75	c  357s |      22 |  1809080 |  1739122 |     1416   3010 |        0 |        0
359.64/359.76	c  359s |      22 |  1818403 |  1748122 |     1416   3022 |        0 |        0
361.63/361.77	c  361s |      22 |  1827623 |  1756922 |     1416   3034 |        0 |        0
363.63/363.77	c  363s |      22 |  1837159 |  1766122 |     1416   3046 |        0 |        0
365.63/365.78	c  365s |      22 |  1846520 |  1775222 |     1416   3059 |        0 |        0
367.73/367.80	c  367s |      22 |  1855963 |  1784422 |     1416   3071 |        0 |        0
369.73/369.82	c  369s |      22 |  1865610 |  1793622 |     1416   3083 |        0 |        0
371.74/371.83	c  371s |      22 |  1875125 |  1802822 |     1416   3095 |        0 |        0
373.74/373.85	c  373s |      22 |  1884518 |  1811922 |     1416   3108 |        0 |        0
375.74/375.87	c  375s |      22 |  1893707 |  1820822 |     1416   3120 |        0 |        0
377.74/377.88	c  377s |      22 |  1903170 |  1829922 |     1416   3132 |        0 |        0
379.84/379.90	c  379s |      22 |  1912826 |  1839022 |     1416   3144 |        0 |        0
381.83/381.90	c  381s |      22 |  1922140 |  1847922 |     1416   3156 |        0 |        0
383.84/383.92	c  383s |      22 |  1931297 |  1856722 |     1416   3168 |        0 |        0
385.83/385.92	c  385s |      22 |  1940539 |  1865622 |     1416   3180 |        0 |        0
387.83/387.92	c  387s |      22 |  1949680 |  1874522 |     1416   3191 |        0 |        0
389.83/389.94	c  389s |      22 |  1958969 |  1883422 |     1416   3203 |        0 |        0
391.83/391.95	c  391s |      22 |  1968011 |  1892122 |     1416   3215 |        0 |        0
393.84/393.97	c  393s |      22 |  1977325 |  1900822 |     1416   3227 |        0 |        0
395.83/395.97	c  395s |      22 |  1987069 |  1910122 |     1416   3239 |        0 |        0
397.83/397.98	c  397s |      22 |  1996717 |  1919422 |     1416   3252 |        0 |        0
399.93/400.00	c  399s |      22 |  2006728 |  1928722 |     1416   3264 |        0 |        0
401.93/402.02	c  402s |      22 |  2016725 |  1938122 |     1416   3277 |        0 |        0
403.93/404.04	c  404s |      22 |  2026572 |  1947622 |     1416   3289 |        0 |        0
405.93/406.04	c  406s |      22 |  2036265 |  1957022 |     1416   3302 |        0 |        0
407.93/408.04	c  408s |      22 |  2045563 |  1965922 |     1416   3314 |        0 |        0
409.92/410.06	c  410s |      22 |  2054804 |  1974922 |     1416   3326 |        0 |        0
411.92/412.07	c  412s |      22 |  2064585 |  1984322 |     1416   3338 |        0 |        0
413.92/414.09	c  414s |      22 |  2074154 |  1993422 |     1416   3351 |        0 |        0
416.02/416.10	c  416s |      22 |  2083570 |  2002322 |     1416   3363 |        0 |        0
418.03/418.11	c  418s |      22 |  2092993 |  2011322 |     1416   3375 |        0 |        0
420.02/420.12	c  420s |      22 |  2102600 |  2020522 |     1416   3387 |        0 |        0
422.02/422.14	c  422s |      22 |  2112024 |  2029422 |     1416   3399 |        0 |        0
424.02/424.14	c  424s |      22 |  2121193 |  2038122 |     1416   3411 |        0 |        0
426.02/426.15	c  426s |      22 |  2130470 |  2047122 |     1416   3423 |        0 |        0
428.02/428.16	c  428s |      22 |  2139623 |  2055822 |     1416   3434 |        0 |        0
430.03/430.18	c  430s |      22 |  2149037 |  2064922 |     1416   3446 |        0 |        0
432.02/432.19	c  432s |      22 |  2158268 |  2073822 |     1416   3458 |        0 |        0
434.12/434.20	c  434s |      22 |  2167588 |  2082722 |     1416   3470 |        0 |        0
436.13/436.21	c  436s |      22 |  2176715 |  2091422 |     1416   3482 |        0 |        0
438.13/438.22	c  438s |      22 |  2185513 |  2099722 |     1416   3493 |        0 |        0
440.13/440.24	c  440s |      22 |  2194811 |  2108822 |     1416   3505 |        0 |        0
442.13/442.26	c  442s |      22 |  2204175 |  2117822 |     1416   3517 |        0 |        0
444.12/444.27	c  444s |      22 |  2213502 |  2126722 |     1416   3529 |        0 |        0
446.12/446.28	c  446s |      22 |  2222700 |  2135622 |     1416   3541 |        0 |        0
448.12/448.29	c  448s |      22 |  2231873 |  2144322 |     1416   3553 |        0 |        0
450.22/450.31	c  450s |      22 |  2241284 |  2153122 |     1416   3564 |        0 |        0
452.22/452.32	c  452s |      22 |  2250183 |  2161722 |     1416   3576 |        0 |        0
454.23/454.33	c  454s |      22 |  2260265 |  2170822 |     1416   3588 |        0 |        0
456.22/456.34	c  456s |      22 |  2270228 |  2180222 |     1416   3601 |        0 |        0
458.22/458.35	c  458s |      22 |  2279783 |  2189422 |     1416   3613 |        0 |        0
460.22/460.37	c  460s |      22 |  2289446 |  2198722 |     1416   3625 |        0 |        0
462.22/462.37	c  462s |      22 |  2298811 |  2207722 |     1416   3637 |        0 |        0
464.22/464.39	c  464s |      22 |  2308302 |  2216822 |     1416   3650 |        0 |        0
466.22/466.39	c  466s |      22 |  2317373 |  2225622 |     1416   3661 |        0 |        0
468.32/468.40	c  468s |      22 |  2326828 |  2234722 |     1416   3674 |        0 |        0
470.32/470.42	c  470s |      22 |  2335966 |  2243522 |     1558   3684 |        0 |        0
471.92/472.09	c  472s |      23 |  2343756 |  2251038 |     1558   3693 |        0 |        0
473.91/474.10	c  474s |      23 |  2353483 |  2260238 |     1558   3705 |        0 |        0
476.01/476.12	c  476s |      23 |  2363380 |  2269738 |     1558   3716 |        0 |        0
478.01/478.13	c  478s |      23 |  2373001 |  2279038 |     1558   3728 |        0 |        0
480.01/480.14	c  480s |      23 |  2382861 |  2288238 |     1558   3739 |        0 |        0
482.01/482.15	c  482s |      23 |  2392378 |  2297338 |     1558   3750 |        0 |        0
484.02/484.16	c  484s |      23 |  2401983 |  2306338 |     1558   3761 |        0 |        0
486.01/486.17	c  486s |      23 |  2411277 |  2315138 |     1558   3772 |        0 |        0
488.02/488.18	c  488s |      23 |  2420796 |  2324338 |     1558   3783 |        0 |        0
490.02/490.19	c  490s |      23 |  2430066 |  2333338 |     1558   3794 |        0 |        0
492.02/492.19	c  492s |      23 |  2439412 |  2342238 |     1558   3805 |        0 |        0
494.12/494.20	c  494s |      23 |  2449075 |  2351438 |     1558   3816 |        0 |        0
496.12/496.21	c  496s |      23 |  2458240 |  2360338 |     1558   3827 |        0 |        0
498.12/498.23	c  498s |      23 |  2467510 |  2369338 |     1558   3838 |        0 |        0
500.12/500.24	c  500s |      23 |  2476826 |  2378338 |     1558   3849 |        0 |        0
502.12/502.25	c  502s |      23 |  2486057 |  2387238 |     1558   3860 |        0 |        0
504.11/504.25	c  504s |      23 |  2494995 |  2395938 |     1558   3870 |        0 |        0
506.11/506.26	c  506s |      23 |  2504840 |  2405438 |     1558   3882 |        0 |        0
508.12/508.26	c  508s |      23 |  2514463 |  2414738 |     1558   3893 |        0 |        0
510.11/510.27	c  510s |      23 |  2524062 |  2424038 |     1558   3904 |        0 |        0
512.11/512.27	c  512s |      23 |  2533805 |  2433438 |     1558   3916 |        0 |        0
514.11/514.28	c  514s |      23 |  2543380 |  2442638 |     1558   3927 |        0 |        0
516.11/516.29	c  516s |      23 |  2552833 |  2451738 |     1558   3938 |        0 |        0
518.12/518.29	c  518s |      23 |  2562383 |  2460838 |     1558   3949 |        0 |        0
520.11/520.29	c  520s |      23 |  2571921 |  2470138 |     1558   3961 |        0 |        0
522.21/522.31	c  522s |      23 |  2581405 |  2479338 |     1558   3972 |        0 |        0
524.21/524.31	c  524s |      23 |  2591130 |  2488538 |     1558   3983 |        0 |        0
526.21/526.33	c  526s |      23 |  2600752 |  2497738 |     1558   3994 |        0 |        0
528.21/528.34	c  528s |      23 |  2610133 |  2506638 |     1558   4005 |        0 |        0
530.21/530.35	c  530s |      23 |  2619532 |  2515738 |     1558   4016 |        0 |        0
532.20/532.36	c  532s |      23 |  2628843 |  2524738 |     1558   4027 |        0 |        0
534.20/534.37	c  534s |      23 |  2638183 |  2533738 |     1558   4038 |        0 |        0
536.31/536.40	c  536s |      23 |  2647651 |  2542838 |     1558   4050 |        0 |        0
538.31/538.43	c  538s |      23 |  2656997 |  2551838 |     1558   4061 |        0 |        0
540.31/540.45	c  540s |      23 |  2666411 |  2560838 |     1558   4072 |        0 |        0
542.32/542.46	c  542s |      23 |  2675306 |  2569338 |     1558   4082 |        0 |        0
544.31/544.48	c  544s |      23 |  2685687 |  2579038 |     1558   4094 |        0 |        0
546.41/546.50	c  546s |      23 |  2695499 |  2588238 |     1558   4105 |        0 |        0
548.41/548.51	c  548s |      23 |  2704946 |  2597338 |     1558   4116 |        0 |        0
550.41/550.52	c  550s |      23 |  2714354 |  2606438 |     1558   4127 |        0 |        0
552.40/552.53	c  552s |      23 |  2723622 |  2615338 |     1558   4138 |        0 |        0
554.41/554.54	c  554s |      23 |  2732801 |  2624238 |     1558   4149 |        0 |        0
556.40/556.56	c  556s |      23 |  2742400 |  2633238 |     1558   4160 |        0 |        0
558.40/558.58	c  558s |      23 |  2751584 |  2642038 |     1558   4171 |        0 |        0
560.40/560.60	c  560s |      23 |  2760896 |  2651038 |     1558   4182 |        0 |        0
562.50/562.60	c  562s |      23 |  2770174 |  2659938 |     1558   4193 |        0 |        0
564.50/564.63	c  564s |      23 |  2779324 |  2668838 |     1558   4204 |        0 |        0
566.51/566.65	c  566s |      23 |  2788419 |  2677638 |     1558   4214 |        0 |        0
568.50/568.65	c  568s |      23 |  2798081 |  2686938 |     1558   4226 |        0 |        0
570.50/570.66	c  570s |      23 |  2807450 |  2696038 |     1558   4237 |        0 |        0
572.50/572.67	c  572s |      23 |  2816640 |  2704938 |     1558   4248 |        0 |        0
574.50/574.69	c  574s |      23 |  2825892 |  2713938 |     1558   4259 |        0 |        0
576.60/576.71	c  576s |      23 |  2835182 |  2722938 |     1558   4270 |        0 |        0
578.60/578.73	c  578s |      23 |  2844450 |  2731938 |     1558   4281 |        0 |        0
580.60/580.75	c  580s |      23 |  2853595 |  2740838 |     1558   4291 |        0 |        0
582.60/582.77	c  582s |      23 |  2862541 |  2749538 |     1558   4302 |        0 |        0
584.60/584.77	c  584s |      23 |  2872009 |  2758638 |     1558   4313 |        0 |        0
586.59/586.77	c  586s |      23 |  2881275 |  2767438 |     1558   4324 |        0 |        0
588.60/588.78	c  588s |      23 |  2890193 |  2776038 |     1558   4334 |        0 |        0
590.61/590.79	c  590s |      23 |  2899085 |  2784738 |     1558   4345 |        0 |        0
592.60/592.79	c  592s |      23 |  2908308 |  2793638 |     1558   4356 |        0 |        0
594.60/594.79	c  594s |      23 |  2917360 |  2802438 |     1558   4367 |        0 |        0
596.60/596.79	c  596s |      23 |  2926498 |  2811138 |     1558   4377 |        0 |        0
598.60/598.79	c  598s |      23 |  2935424 |  2819638 |     1558   4388 |        0 |        0
600.69/600.81	c  600s |      23 |  2944365 |  2828338 |     1558   4398 |        0 |        0
602.70/602.82	c  602s |      23 |  2953523 |  2837138 |     1558   4409 |        0 |        0
604.69/604.83	c  604s |      23 |  2963274 |  2846338 |     1558   4420 |        0 |        0
606.69/606.83	c  606s |      23 |  2972628 |  2855338 |     1558   4431 |        0 |        0
608.69/608.86	c  608s |      23 |  2982252 |  2864638 |     1558   4443 |        0 |        0
610.69/610.86	c  610s |      23 |  2991774 |  2873738 |     1558   4454 |        0 |        0
612.70/612.87	c  612s |      23 |  3001399 |  2882738 |     1558   4465 |        0 |        0
614.69/614.88	c  614s |      23 |  3010732 |  2891538 |     1558   4475 |        0 |        0
616.69/616.88	c  616s |      23 |  3019741 |  2900138 |     1558   4486 |        0 |        0
618.69/618.89	c  618s |      23 |  3029139 |  2908938 |     1558   4497 |        0 |        0
620.79/620.90	c  620s |      23 |  3038344 |  2917538 |     1558   4507 |        0 |        0
622.79/622.91	c  622s |      23 |  3047727 |  2926238 |     1558   4518 |        0 |        0
624.80/624.93	c  624s |      23 |  3056982 |  2935138 |     1558   4529 |        0 |        0
626.79/626.95	c  626s |      23 |  3066224 |  2943938 |     1558   4539 |        0 |        0
628.79/628.95	c  628s |      23 |  3075342 |  2952538 |     1558   4550 |        0 |        0
630.79/630.96	c  630s |      23 |  3084607 |  2961238 |     1558   4560 |        0 |        0
632.80/632.98	c  632s |      23 |  3093541 |  2969738 |     1558   4571 |        0 |        0
634.80/634.99	c  634s |      23 |  3102352 |  2978238 |     1558   4581 |        0 |        0
636.80/637.00	c  636s |      23 |  3111358 |  2986838 |     1558   4592 |        0 |        0
638.89/639.00	c  638s |      23 |  3120612 |  2995538 |     1558   4602 |        0 |        0
640.89/641.00	c  640s |      23 |  3130128 |  3004738 |     1558   4614 |        0 |        0
642.89/643.01	c  642s |      23 |  3139845 |  3013938 |     1558   4625 |        0 |        0
644.89/645.03	c  645s |      23 |  3149324 |  3023038 |     1558   4636 |        0 |        0
646.89/647.03	c  647s |      23 |  3158791 |  3031838 |     1558   4647 |        0 |        0
648.90/649.05	c  649s |      23 |  3167825 |  3040638 |     1558   4657 |        0 |        0
650.89/651.07	c  651s |      23 |  3177061 |  3049538 |     1558   4668 |        0 |        0
652.89/653.08	c  653s |      23 |  3186172 |  3058238 |     1558   4679 |        0 |        0
654.89/655.08	c  655s |      23 |  3195169 |  3066938 |     1558   4689 |        0 |        0
656.99/657.10	c  657s |      23 |  3204378 |  3075738 |     1558   4700 |        0 |        0
658.99/659.11	c  659s |      23 |  3213267 |  3084238 |     1558   4711 |        0 |        0
660.99/661.12	c  661s |      23 |  3222340 |  3093038 |     1558   4721 |        0 |        0
662.99/663.12	c  663s |      23 |  3231192 |  3101638 |     1558   4732 |        0 |        0
664.98/665.12	c  665s |      23 |  3240032 |  3110138 |     1558   4742 |        0 |        0
666.98/667.14	c  667s |      23 |  3249122 |  3118838 |     1558   4753 |        0 |        0
668.98/669.14	c  669s |      23 |  3257917 |  3127338 |     1558   4763 |        0 |        0
670.99/671.14	c  671s |      23 |  3266680 |  3135838 |     1558   4774 |        0 |        0
672.98/673.15	c  673s |      23 |  3275474 |  3144338 |     1558   4784 |        0 |        0
674.98/675.15	c  675s |      23 |  3284887 |  3153338 |     1558   4795 |        0 |        0
676.98/677.15	c  677s |      23 |  3294518 |  3162538 |     1558   4806 |        0 |        0
678.98/679.17	c  679s |      23 |  3303724 |  3171338 |     1558   4817 |        0 |        0
680.99/681.18	c  681s |      23 |  3312957 |  3180138 |     1558   4828 |        0 |        0
683.00/683.18	c  683s |      23 |  3322131 |  3189038 |     1558   4839 |        0 |        0
684.99/685.19	c  685s |      23 |  3331326 |  3197738 |     1558   4849 |        0 |        0
687.09/687.20	c  687s |      23 |  3340403 |  3206338 |     1558   4860 |        0 |        0
689.09/689.22	c  689s |      23 |  3349694 |  3215138 |     1558   4870 |        0 |        0
691.09/691.23	c  691s |      23 |  3358858 |  3223738 |     1558   4881 |        0 |        0
693.09/693.25	c  693s |      23 |  3368097 |  3232538 |     1558   4892 |        0 |        0
695.09/695.26	c  695s |      23 |  3377278 |  3241338 |     1558   4902 |        0 |        0
697.09/697.28	c  697s |      23 |  3386088 |  3249938 |     1558   4913 |        0 |        0
699.08/699.28	c  699s |      23 |  3395232 |  3258738 |     1558   4924 |        0 |        0
701.18/701.30	c  701s |      23 |  3404514 |  3267538 |     1558   4934 |        0 |        0
703.18/703.32	c  703s |      23 |  3413503 |  3276138 |     1558   4945 |        0 |        0
705.18/705.32	c  705s |      23 |  3422325 |  3284638 |     1558   4955 |        0 |        0
707.19/707.34	c  707s |      23 |  3431270 |  3293138 |     1558   4966 |        0 |        0
709.18/709.36	c  709s |      23 |  3439881 |  3301438 |     1558   4976 |        0 |        0
711.18/711.37	c  711s |      23 |  3449106 |  3310238 |     1558   4987 |        0 |        0
713.18/713.38	c  713s |      23 |  3458263 |  3318938 |     1558   4997 |        0 |        0
715.18/715.39	c  715s |      23 |  3467146 |  3327438 |     1558   5008 |        0 |        0
717.28/717.40	c  717s |      23 |  3476109 |  3336038 |     1558   5018 |        0 |        0
719.28/719.42	c  719s |      23 |  3484933 |  3344438 |     1558   5028 |        0 |        0
721.28/721.44	c  721s |      23 |  3493645 |  3352838 |     1714   5039 |        0 |        0
723.28/723.44	c  723s |      23 |  3502631 |  3361338 |     1714   5048 |        0 |        0
725.27/725.44	c  725s |      23 |  3511982 |  3370138 |     1714   5058 |        0 |        0
726.77/726.96	c  726s |      24 |  3518696 |  3376662 |     1714   5065 |        0 |        0
728.77/728.96	c  728s |      24 |  3528534 |  3385762 |     1714   5075 |        0 |        0
730.78/730.97	c  730s |      24 |  3538563 |  3394862 |     1714   5085 |        0 |        0
732.78/732.99	c  732s |      24 |  3548009 |  3403762 |     1714   5095 |        0 |        0
734.88/735.01	c  734s |      24 |  3557124 |  3412462 |     1714   5105 |        0 |        0
736.89/737.03	c  737s |      24 |  3566185 |  3421162 |     1714   5115 |        0 |        0
738.88/739.04	c  739s |      24 |  3575286 |  3429962 |     1714   5124 |        0 |        0
740.88/741.06	c  741s |      24 |  3584507 |  3438662 |     1714   5134 |        0 |        0
742.88/743.08	c  743s |      24 |  3593652 |  3447462 |     1714   5144 |        0 |        0
744.98/745.10	c  745s |      24 |  3602613 |  3456062 |     1714   5154 |        0 |        0
746.98/747.10	c  747s |      24 |  3611756 |  3464762 |     1714   5163 |        0 |        0
748.98/749.12	c  749s |      24 |  3620929 |  3473662 |     1714   5173 |        0 |        0
750.98/751.13	c  751s |      24 |  3629866 |  3482262 |     1714   5183 |        0 |        0
752.97/753.13	c  753s |      24 |  3638836 |  3490862 |     1714   5192 |        0 |        0
754.97/755.14	c  755s |      24 |  3647919 |  3499662 |     1714   5202 |        0 |        0
756.97/757.16	c  757s |      24 |  3656861 |  3508362 |     1714   5212 |        0 |        0
758.98/759.17	c  759s |      24 |  3665583 |  3516962 |     1714   5221 |        0 |        0
760.97/761.17	c  761s |      24 |  3674404 |  3525562 |     1714   5231 |        0 |        0
762.97/763.18	c  763s |      24 |  3683246 |  3534162 |     1714   5240 |        0 |        0
765.07/765.20	c  765s |      24 |  3691970 |  3542562 |     1714   5250 |        0 |        0
767.07/767.22	c  767s |      24 |  3701376 |  3551462 |     1714   5260 |        0 |        0
769.07/769.22	c  769s |      24 |  3710377 |  3560062 |     1714   5269 |        0 |        0
771.07/771.22	c  771s |      24 |  3719509 |  3568862 |     1714   5279 |        0 |        0
773.07/773.23	c  773s |      24 |  3728880 |  3577662 |     1714   5289 |        0 |        0
775.07/775.24	c  775s |      24 |  3737789 |  3586062 |     1714   5298 |        0 |        0
777.07/777.26	c  777s |      24 |  3746635 |  3594562 |     1714   5308 |        0 |        0
779.17/779.30	c  779s |      24 |  3755531 |  3602962 |     1714   5317 |        0 |        0
781.17/781.33	c  781s |      24 |  3764594 |  3611462 |     1714   5327 |        0 |        0
783.18/783.33	c  783s |      24 |  3773314 |  3619862 |     1714   5336 |        0 |        0
785.17/785.34	c  785s |      24 |  3781928 |  3628062 |     1714   5345 |        0 |        0
787.17/787.36	c  787s |      24 |  3790937 |  3636562 |     1714   5355 |        0 |        0
789.17/789.38	c  789s |      24 |  3800143 |  3645162 |     1714   5364 |        0 |        0
791.17/791.39	c  791s |      24 |  3809030 |  3653562 |     1714   5373 |        0 |        0
793.27/793.40	c  793s |      24 |  3817576 |  3661762 |     1714   5383 |        0 |        0
795.28/795.41	c  795s |      24 |  3826829 |  3670762 |     1714   5393 |        0 |        0
797.27/797.42	c  797s |      24 |  3836055 |  3679662 |     1714   5403 |        0 |        0
799.27/799.44	c  799s |      24 |  3845293 |  3688562 |     1714   5412 |        0 |        0
801.27/801.45	c  801s |      24 |  3854119 |  3697062 |     1714   5422 |        0 |        0
803.26/803.45	c  803s |      24 |  3862818 |  3705462 |     1714   5431 |        0 |        0
805.26/805.47	c  805s |      24 |  3871712 |  3714062 |     1714   5441 |        0 |        0
807.27/807.47	c  807s |      24 |  3880774 |  3722862 |     1714   5451 |        0 |        0
809.26/809.49	c  809s |      24 |  3889705 |  3731462 |     1714   5460 |        0 |        0
811.36/811.50	c  811s |      24 |  3898614 |  3740062 |     1714   5470 |        0 |        0
813.36/813.51	c  813s |      24 |  3907375 |  3748562 |     1714   5479 |        0 |        0
815.36/815.53	c  815s |      24 |  3916152 |  3756962 |     1714   5489 |        0 |        0
817.36/817.54	c  817s |      24 |  3924827 |  3765262 |     1714   5498 |        0 |        0
819.37/819.57	c  819s |      24 |  3934095 |  3773862 |     1714   5508 |        0 |        0
821.37/821.57	c  821s |      24 |  3942856 |  3782262 |     1714   5517 |        0 |        0
823.37/823.57	c  823s |      24 |  3951493 |  3790662 |     1714   5526 |        0 |        0
825.37/825.58	c  825s |      24 |  3960222 |  3798962 |     1714   5536 |        0 |        0
827.47/827.60	c  827s |      24 |  3968941 |  3807362 |     1714   5545 |        0 |        0
829.47/829.61	c  829s |      24 |  3977770 |  3815862 |     1714   5554 |        0 |        0
831.47/831.63	c  831s |      24 |  3986304 |  3824062 |     1714   5564 |        0 |        0
833.46/833.65	c  833s |      24 |  3994984 |  3832362 |     1714   5573 |        0 |        0
835.46/835.66	c  835s |      24 |  4003488 |  3840562 |     1714   5582 |        0 |        0
837.46/837.67	c  837s |      24 |  4013151 |  3849762 |     1714   5592 |        0 |        0
839.46/839.69	c  839s |      24 |  4022612 |  3858662 |     1714   5602 |        0 |        0
841.56/841.71	c  841s |      24 |  4032141 |  3867562 |     1714   5612 |        0 |        0
843.57/843.72	c  843s |      24 |  4041362 |  3876462 |     1714   5622 |        0 |        0
845.56/845.73	c  845s |      24 |  4050304 |  3885162 |     1714   5632 |        0 |        0
847.56/847.73	c  847s |      24 |  4059143 |  3893762 |     1714   5641 |        0 |        0
849.56/849.74	c  849s |      24 |  4068131 |  3902362 |     1714   5651 |        0 |        0
851.56/851.76	c  851s |      24 |  4077051 |  3910862 |     1714   5660 |        0 |        0
853.57/853.77	c  853s |      24 |  4086149 |  3919562 |     1714   5670 |        0 |        0
855.56/855.78	c  855s |      24 |  4094934 |  3928062 |     1714   5679 |        0 |        0
857.56/857.78	c  857s |      24 |  4103579 |  3936462 |     1714   5689 |        0 |        0
859.56/859.78	c  859s |      24 |  4112587 |  3945062 |     1714   5698 |        0 |        0
861.56/861.78	c  861s |      24 |  4121199 |  3953362 |     1714   5708 |        0 |        0
863.56/863.78	c  863s |      24 |  4129694 |  3961562 |     1714   5717 |        0 |        0
865.56/865.79	c  865s |      24 |  4138623 |  3970062 |     1714   5726 |        0 |        0
867.66/867.80	c  867s |      24 |  4147501 |  3978662 |     1714   5736 |        0 |        0
869.65/869.81	c  869s |      24 |  4156272 |  3987162 |     1714   5745 |        0 |        0
871.65/871.82	c  871s |      24 |  4164937 |  3995562 |     1714   5755 |        0 |        0
873.65/873.82	c  873s |      24 |  4173676 |  4003862 |     1714   5764 |        0 |        0
875.65/875.82	c  875s |      24 |  4182250 |  4012162 |     1714   5773 |        0 |        0
877.66/877.84	c  877s |      24 |  4191033 |  4020562 |     1714   5783 |        0 |        0
879.65/879.86	c  879s |      24 |  4200105 |  4029262 |     1714   5792 |        0 |        0
881.65/881.87	c  881s |      24 |  4208854 |  4037662 |     1714   5802 |        0 |        0
883.65/883.87	c  883s |      24 |  4217492 |  4046062 |     1714   5811 |        0 |        0
885.65/885.88	c  885s |      24 |  4226221 |  4054562 |     1714   5820 |        0 |        0
887.75/887.90	c  887s |      24 |  4234762 |  4062762 |     1714   5830 |        0 |        0
889.65/889.90	c  889s |      24 |  4243372 |  4070862 |     1714   5839 |        0 |        0
891.76/891.90	c  891s |      24 |  4251841 |  4079062 |     1714   5848 |        0 |        0
893.76/893.91	c  893s |      24 |  4260326 |  4087162 |     1714   5857 |        0 |        0
895.76/895.92	c  895s |      24 |  4269464 |  4095962 |     1714   5867 |        0 |        0
897.76/897.95	c  897s |      24 |  4278820 |  4104962 |     1714   5877 |        0 |        0
899.76/899.98	c  899s |      24 |  4288052 |  4113962 |     1714   5887 |        0 |        0
901.75/901.99	c  901s |      24 |  4297010 |  4122662 |     1714   5896 |        0 |        0
903.85/904.00	c  903s |      24 |  4305874 |  4131262 |     1714   5906 |        0 |        0
905.85/906.02	c  906s |      24 |  4314742 |  4139862 |     1714   5915 |        0 |        0
907.85/908.03	c  908s |      24 |  4323476 |  4148362 |     1714   5925 |        0 |        0
909.85/910.05	c  910s |      24 |  4332313 |  4156962 |     1714   5934 |        0 |        0
911.86/912.06	c  912s |      24 |  4341214 |  4165562 |     1714   5944 |        0 |        0
913.85/914.06	c  914s |      24 |  4349863 |  4173862 |     1714   5953 |        0 |        0
915.85/916.07	c  916s |      24 |  4358751 |  4182462 |     1714   5963 |        0 |        0
917.85/918.08	c  918s |      24 |  4367405 |  4190962 |     1714   5972 |        0 |        0
919.85/920.09	c  920s |      24 |  4376327 |  4199662 |     1714   5982 |        0 |        0
921.95/922.10	c  922s |      24 |  4385036 |  4208162 |     1714   5992 |        0 |        0
923.95/924.11	c  924s |      24 |  4393542 |  4216462 |     1714   6001 |        0 |        0
925.94/926.12	c  926s |      24 |  4402557 |  4225262 |     1714   6011 |        0 |        0
927.94/928.13	c  928s |      24 |  4411451 |  4233862 |     1714   6020 |        0 |        0
929.94/930.15	c  930s |      24 |  4420211 |  4242362 |     1714   6030 |        0 |        0
931.95/932.16	c  932s |      24 |  4428922 |  4250762 |     1714   6039 |        0 |        0
933.95/934.18	c  934s |      24 |  4437397 |  4258962 |     1714   6048 |        0 |        0
935.96/936.19	c  936s |      24 |  4445762 |  4267062 |     1714   6057 |        0 |        0
937.95/938.19	c  938s |      24 |  4454801 |  4275762 |     1714   6067 |        0 |        0
940.05/940.20	c  940s |      24 |  4463884 |  4284362 |     1714   6076 |        0 |        0
942.05/942.22	c  942s |      24 |  4472734 |  4292862 |     1714   6086 |        0 |        0
944.05/944.23	c  944s |      24 |  4481556 |  4301362 |     1714   6095 |        0 |        0
946.05/946.23	c  946s |      24 |  4490193 |  4309762 |     1714   6105 |        0 |        0
948.06/948.24	c  948s |      24 |  4498831 |  4318262 |     1714   6114 |        0 |        0
950.05/950.26	c  950s |      24 |  4507498 |  4326662 |     1714   6124 |        0 |        0
952.05/952.27	c  952s |      24 |  4516181 |  4335162 |     1714   6133 |        0 |        0
954.05/954.28	c  954s |      24 |  4524660 |  4343362 |     1714   6142 |        0 |        0
956.05/956.29	c  956s |      24 |  4533330 |  4351762 |     1714   6152 |        0 |        0
958.15/958.31	c  958s |      24 |  4542147 |  4360262 |     1714   6161 |        0 |        0
960.15/960.31	c  960s |      24 |  4550765 |  4368762 |     1714   6171 |        0 |        0
962.14/962.33	c  962s |      24 |  4559185 |  4376962 |     1714   6180 |        0 |        0
964.14/964.33	c  964s |      24 |  4567497 |  4385062 |     1714   6189 |        0 |        0
966.14/966.35	c  966s |      24 |  4576065 |  4393262 |     1714   6198 |        0 |        0
968.14/968.37	c  968s |      24 |  4585104 |  4402062 |     1714   6208 |        0 |        0
970.15/970.38	c  970s |      24 |  4594018 |  4410662 |     1714   6217 |        0 |        0
972.14/972.39	c  972s |      24 |  4602867 |  4419262 |     1714   6227 |        0 |        0
974.24/974.40	c  974s |      24 |  4611640 |  4427762 |     1714   6237 |        0 |        0
976.24/976.41	c  976s |      24 |  4620338 |  4436162 |     1714   6246 |        0 |        0
978.24/978.43	c  978s |      24 |  4629108 |  4444562 |     1714   6255 |        0 |        0
980.24/980.44	c  980s |      24 |  4637784 |  4452962 |     1714   6265 |        0 |        0
982.24/982.45	c  982s |      24 |  4646363 |  4461262 |     1714   6274 |        0 |        0
984.24/984.47	c  984s |      24 |  4655075 |  4469662 |     1714   6283 |        0 |        0
986.24/986.48	c  986s |      24 |  4663982 |  4478262 |     1714   6293 |        0 |        0
988.24/988.48	c  988s |      24 |  4672760 |  4486562 |     1714   6302 |        0 |        0
990.34/990.51	c  990s |      24 |  4681251 |  4494762 |     1714   6311 |        0 |        0
992.34/992.52	c  992s |      24 |  4689933 |  4503162 |     1714   6321 |        0 |        0
994.34/994.53	c  994s |      24 |  4698598 |  4511562 |     1714   6330 |        0 |        0
996.33/996.55	c  996s |      24 |  4707298 |  4519862 |     1714   6339 |        0 |        0
998.33/998.56	c  998s |      24 |  4716041 |  4528262 |     1714   6349 |        0 |        0
1000.33/1000.57	c 1000s |      24 |  4724734 |  4536462 |     1714   6358 |        0 |        0
1002.33/1002.59	c 1002s |      24 |  4733232 |  4544362 |     1714   6367 |        0 |        0
1004.43/1004.61	c 1004s |      24 |  4742494 |  4553162 |     1714   6376 |        0 |        0
1006.44/1006.63	c 1006s |      24 |  4751745 |  4562062 |     1714   6386 |        0 |        0
1008.43/1008.63	c 1008s |      24 |  4760984 |  4570962 |     1714   6396 |        0 |        0
1010.43/1010.64	c 1010s |      24 |  4769968 |  4579562 |     1714   6406 |        0 |        0
1012.43/1012.65	c 1012s |      24 |  4779133 |  4588462 |     1714   6416 |        0 |        0
1014.43/1014.67	c 1014s |      24 |  4788302 |  4597362 |     1714   6426 |        0 |        0
1016.43/1016.68	c 1016s |      24 |  4797256 |  4606062 |     1714   6435 |        0 |        0
1018.45/1018.70	c 1018s |      24 |  4806111 |  4614562 |     1714   6445 |        0 |        0
1020.54/1020.71	c 1020s |      24 |  4815111 |  4623262 |     1714   6455 |        0 |        0
1022.54/1022.71	c 1022s |      24 |  4824161 |  4631862 |     1714   6464 |        0 |        0
1024.54/1024.73	c 1024s |      24 |  4833141 |  4640462 |     1714   6474 |        0 |        0
1026.54/1026.74	c 1026s |      24 |  4842206 |  4649062 |     1714   6483 |        0 |        0
1028.54/1028.74	c 1028s |      24 |  4850983 |  4657562 |     1714   6493 |        0 |        0
1030.54/1030.76	c 1030s |      24 |  4859766 |  4666062 |     1714   6502 |        0 |        0
1032.53/1032.79	c 1032s |      24 |  4868361 |  4674362 |     1714   6512 |        0 |        0
1034.63/1034.80	c 1034s |      24 |  4877341 |  4683062 |     1714   6521 |        0 |        0
1036.63/1036.80	c 1036s |      24 |  4886153 |  4691662 |     1714   6531 |        0 |        0
1038.63/1038.80	c 1038s |      24 |  4894966 |  4700162 |     1714   6540 |        0 |        0
1040.63/1040.81	c 1040s |      24 |  4903791 |  4708662 |     1714   6550 |        0 |        0
1042.64/1042.81	c 1042s |      24 |  4912477 |  4716962 |     1714   6559 |        0 |        0
1044.63/1044.83	c 1044s |      24 |  4920970 |  4725162 |     1714   6568 |        0 |        0
1046.63/1046.84	c 1046s |      24 |  4929795 |  4733762 |     1714   6578 |        0 |        0
1048.63/1048.85	c 1048s |      24 |  4938627 |  4742362 |     1714   6587 |        0 |        0
1050.63/1050.85	c 1050s |      24 |  4947485 |  4750962 |     1714   6597 |        0 |        0
1052.64/1052.87	c 1052s |      24 |  4956376 |  4759562 |     1714   6606 |        0 |        0
1054.63/1054.88	c 1054s |      24 |  4965057 |  4768062 |     1714   6616 |        0 |        0
1056.63/1056.89	c 1056s |      24 |  4973827 |  4776562 |     1714   6625 |        0 |        0
1058.73/1058.91	c 1058s |      24 |  4982541 |  4785062 |     1714   6635 |        0 |        0
1060.73/1060.92	c 1060s |      24 |  4991542 |  4793762 |     1714   6645 |        0 |        0
1062.73/1062.93	c 1062s |      24 |  5000074 |  4802062 |     1714   6654 |        0 |        0
1064.73/1064.95	c 1064s |      24 |  5008810 |  4810562 |     1714   6663 |        0 |        0
1066.73/1066.95	c 1066s |      24 |  5017540 |  4819062 |     1714   6673 |        0 |        0
1068.73/1068.96	c 1068s |      24 |  5026199 |  4827362 |     1714   6682 |        0 |        0
1070.73/1070.97	c 1070s |      24 |  5034728 |  4835562 |     1714   6691 |        0 |        0
1072.72/1072.99	c 1072s |      24 |  5043025 |  4843662 |     1714   6700 |        0 |        0
1074.82/1075.00	c 1074s |      24 |  5051384 |  4851762 |     1714   6709 |        0 |        0
1076.83/1077.02	c 1077s |      24 |  5060316 |  4860462 |     1714   6719 |        0 |        0
1078.82/1079.03	c 1079s |      24 |  5069277 |  4869062 |     1714   6729 |        0 |        0
1080.82/1081.05	c 1081s |      24 |  5078191 |  4877662 |     1714   6738 |        0 |        0
1082.82/1083.07	c 1083s |      24 |  5086997 |  4886162 |     1714   6748 |        0 |        0
1084.82/1085.07	c 1085s |      24 |  5095632 |  4894562 |     1714   6757 |        0 |        0
1086.83/1087.10	c 1087s |      24 |  5104325 |  4903062 |     1714   6767 |        0 |        0
1088.83/1089.10	c 1089s |      24 |  5113098 |  4911462 |     1714   6776 |        0 |        0
1090.93/1091.12	c 1091s |      24 |  5121763 |  4919862 |     1714   6785 |        0 |        0
1092.93/1093.13	c 1093s |      24 |  5130629 |  4928262 |     1714   6795 |        0 |        0
1094.93/1095.15	c 1095s |      24 |  5139433 |  4936862 |     1714   6804 |        0 |        0
1096.93/1097.17	c 1097s |      24 |  5148035 |  4945162 |     1714   6814 |        0 |        0
1098.93/1099.18	c 1099s |      24 |  5156833 |  4953562 |     1714   6823 |        0 |        0
1100.93/1101.20	c 1101s |      24 |  5165385 |  4961962 |     1714   6832 |        0 |        0
1103.03/1103.22	c 1103s |      24 |  5173917 |  4970262 |     1714   6842 |        0 |        0
1105.03/1105.24	c 1105s |      24 |  5182329 |  4978362 |     1714   6851 |        0 |        0
1107.02/1107.26	c 1107s |      24 |  5191476 |  4987062 |     1714   6860 |        0 |        0
1109.02/1109.28	c 1109s |      24 |  5200629 |  4995762 |     1714   6870 |        0 |        0
1111.02/1111.29	c 1111s |      24 |  5209469 |  5004262 |     1714   6880 |        0 |        0
1113.03/1113.29	c 1113s |      24 |  5218013 |  5012562 |     1714   6889 |        0 |        0
1115.12/1115.31	c 1115s |      24 |  5226704 |  5020962 |     1714   6898 |        0 |        0
1117.12/1117.33	c 1117s |      24 |  5235483 |  5029362 |     1886   6907 |        0 |        0
1119.12/1119.35	c 1119s |      24 |  5244088 |  5037562 |     1886   6916 |        0 |        0
1121.12/1121.37	c 1121s |      24 |  5252406 |  5045462 |     1886   6924 |        0 |        0
1123.12/1123.38	c 1123s |      24 |  5260866 |  5053562 |     1886   6932 |        0 |        0
1125.12/1125.39	c 1125s |      24 |  5269040 |  5061462 |     1886   6940 |        0 |        0
1126.02/1126.28	c 1126s |      25 |  5272866 |  5065098 |     1886   6944 |        0 |        0
1128.02/1128.28	c 1128s |      25 |  5282176 |  5073898 |     1886   6953 |        0 |        0
1130.02/1130.29	c 1130s |      25 |  5291027 |  5082498 |     1886   6961 |        0 |        0
1132.01/1132.30	c 1132s |      25 |  5299889 |  5090998 |     1886   6970 |        0 |        0
1134.11/1134.30	c 1134s |      25 |  5308792 |  5099498 |     1886   6979 |        0 |        0
1136.12/1136.31	c 1136s |      25 |  5317989 |  5108098 |     1886   6987 |        0 |        0
1138.11/1138.32	c 1138s |      25 |  5326728 |  5116498 |     1886   6996 |        0 |        0
1140.11/1140.33	c 1140s |      25 |  5335878 |  5125198 |     1886   7005 |        0 |        0
1142.11/1142.35	c 1142s |      25 |  5344917 |  5133798 |     1886   7014 |        0 |        0
1144.11/1144.36	c 1144s |      25 |  5354013 |  5142398 |     1886   7022 |        0 |        0
1146.12/1146.38	c 1146s |      25 |  5362729 |  5150698 |     1886   7031 |        0 |        0
1148.11/1148.38	c 1148s |      25 |  5371641 |  5159098 |     1886   7039 |        0 |        0
1150.11/1150.39	c 1150s |      25 |  5380371 |  5167298 |     1886   7048 |        0 |        0
1152.11/1152.39	c 1152s |      25 |  5389629 |  5175998 |     1886   7056 |        0 |        0
1154.21/1154.40	c 1154s |      25 |  5398286 |  5184298 |     1886   7065 |        0 |        0
1156.21/1156.41	c 1156s |      25 |  5407357 |  5192898 |     1886   7074 |        0 |        0
1158.22/1158.42	c 1158s |      25 |  5416602 |  5201598 |     1886   7082 |        0 |        0
1160.21/1160.43	c 1160s |      25 |  5425411 |  5210098 |     1886   7091 |        0 |        0
1162.22/1162.44	c 1162s |      25 |  5434146 |  5218598 |     1886   7100 |        0 |        0
1164.22/1164.45	c 1164s |      25 |  5442902 |  5227098 |     1886   7108 |        0 |        0
1166.22/1166.47	c 1166s |      25 |  5451528 |  5235498 |     1886   7117 |        0 |        0
1168.22/1168.48	c 1168s |      25 |  5460273 |  5243998 |     1886   7126 |        0 |        0
1170.22/1170.48	c 1170s |      25 |  5469245 |  5252598 |     1886   7134 |        0 |        0
1172.21/1172.49	c 1172s |      25 |  5477906 |  5260998 |     1886   7143 |        0 |        0
1174.21/1174.49	c 1174s |      25 |  5486733 |  5269398 |     1886   7151 |        0 |        0
1176.21/1176.49	c 1176s |      25 |  5495659 |  5277998 |     1886   7160 |        0 |        0
1178.31/1178.50	c 1178s |      25 |  5504541 |  5286598 |     1886   7169 |        0 |        0
1180.31/1180.51	c 1180s |      25 |  5513396 |  5295098 |     1886   7178 |        0 |        0
1182.32/1182.52	c 1182s |      25 |  5522049 |  5303498 |     1886   7186 |        0 |        0
1184.31/1184.53	c 1184s |      25 |  5530531 |  5311698 |     1886   7194 |        0 |        0
1186.31/1186.54	c 1186s |      25 |  5539190 |  5319998 |     1886   7203 |        0 |        0
1188.31/1188.55	c 1188s |      25 |  5548646 |  5328998 |     1886   7212 |        0 |        0
1190.31/1190.57	c 1190s |      25 |  5557971 |  5337698 |     1886   7221 |        0 |        0
1192.31/1192.57	c 1192s |      25 |  5567046 |  5346298 |     1886   7230 |        0 |        0
1194.31/1194.58	c 1194s |      25 |  5575787 |  5354598 |     1886   7238 |        0 |        0
1196.31/1196.59	c 1196s |      25 |  5584437 |  5362898 |     1886   7246 |        0 |        0
1198.40/1198.61	c 1198s |      25 |  5593327 |  5371398 |     1886   7255 |        0 |        0
1200.40/1200.63	c 1200s |      25 |  5602195 |  5379898 |     1886   7264 |        0 |        0
1202.40/1202.64	c 1202s |      25 |  5610846 |  5388198 |     1886   7272 |        0 |        0
1204.41/1204.64	c 1204s |      25 |  5619780 |  5396698 |     1886   7281 |        0 |        0
1206.40/1206.66	c 1206s |      25 |  5628618 |  5405098 |     1886   7289 |        0 |        0
1208.40/1208.68	c 1208s |      25 |  5637037 |  5413198 |     1886   7298 |        0 |        0
1210.40/1210.69	c 1210s |      25 |  5645769 |  5421498 |     1886   7306 |        0 |        0
1212.50/1212.73	c 1212s |      25 |  5654689 |  5429898 |     1886   7315 |        0 |        0
1214.50/1214.75	c 1214s |      25 |  5663698 |  5438198 |     1886   7323 |        0 |        0
1216.51/1216.76	c 1216s |      25 |  5672094 |  5446298 |     1886   7331 |        0 |        0
1218.50/1218.78	c 1218s |      25 |  5680898 |  5454698 |     1886   7340 |        0 |        0
1220.50/1220.79	c 1220s |      25 |  5689845 |  5463398 |     1886   7349 |        0 |        0
1222.60/1222.80	c 1222s |      25 |  5698880 |  5472098 |     1886   7357 |        0 |        0
1224.60/1224.81	c 1224s |      25 |  5708281 |  5480998 |     1886   7366 |        0 |        0
1226.60/1226.82	c 1226s |      25 |  5717284 |  5489698 |     1886   7375 |        0 |        0
1228.60/1228.83	c 1228s |      25 |  5726140 |  5498298 |     1886   7384 |        0 |        0
1230.60/1230.83	c 1230s |      25 |  5735002 |  5506798 |     1886   7393 |        0 |        0
1232.60/1232.84	c 1232s |      25 |  5743648 |  5515098 |     1886   7401 |        0 |        0
1234.60/1234.85	c 1234s |      25 |  5752191 |  5523398 |     1886   7410 |        0 |        0
1236.60/1236.86	c 1236s |      25 |  5760941 |  5531898 |     1886   7418 |        0 |        0
1238.60/1238.87	c 1238s |      25 |  5769829 |  5540398 |     1886   7427 |        0 |        0
1240.61/1240.87	c 1240s |      25 |  5778741 |  5548998 |     1886   7436 |        0 |        0
1242.60/1242.89	c 1242s |      25 |  5787349 |  5557298 |     1886   7444 |        0 |        0
1244.70/1244.90	c 1244s |      25 |  5795953 |  5565598 |     1886   7452 |        0 |        0
1246.70/1246.91	c 1246s |      25 |  5804316 |  5573598 |     1886   7461 |        0 |        0
1248.70/1248.92	c 1248s |      25 |  5812950 |  5581998 |     1886   7469 |        0 |        0
1250.70/1250.92	c 1250s |      25 |  5821593 |  5590298 |     1886   7478 |        0 |        0
1252.71/1252.94	c 1252s |      25 |  5830031 |  5598498 |     1886   7486 |        0 |        0
1254.70/1254.94	c 1254s |      25 |  5838557 |  5606698 |     1886   7494 |        0 |        0
1256.70/1256.94	c 1256s |      25 |  5847403 |  5615198 |     1886   7503 |        0 |        0
1258.70/1258.95	c 1258s |      25 |  5856279 |  5623698 |     1886   7512 |        0 |        0
1260.70/1260.96	c 1260s |      25 |  5864903 |  5631898 |     1886   7520 |        0 |        0
1262.70/1262.98	c 1262s |      25 |  5873275 |  5639998 |     1886   7528 |        0 |        0
1264.70/1264.98	c 1264s |      25 |  5881734 |  5648098 |     1886   7536 |        0 |        0
1266.70/1266.99	c 1266s |      25 |  5890386 |  5656398 |     1886   7545 |        0 |        0
1268.80/1269.00	c 1268s |      25 |  5898980 |  5664498 |     1886   7553 |        0 |        0
1270.79/1271.01	c 1270s |      25 |  5907956 |  5672898 |     1886   7562 |        0 |        0
1272.79/1273.01	c 1272s |      25 |  5916824 |  5681498 |     1886   7570 |        0 |        0
1274.80/1275.03	c 1275s |      25 |  5925814 |  5690098 |     1886   7579 |        0 |        0
1276.79/1277.05	c 1277s |      25 |  5934560 |  5698498 |     1886   7588 |        0 |        0
1278.79/1279.07	c 1279s |      25 |  5943336 |  5706898 |     1886   7596 |        0 |        0
1280.79/1281.09	c 1281s |      25 |  5951969 |  5715198 |     1886   7605 |        0 |        0
1282.89/1283.11	c 1283s |      25 |  5960547 |  5723498 |     1886   7613 |        0 |        0
1284.89/1285.12	c 1285s |      25 |  5969227 |  5731698 |     1886   7621 |        0 |        0
1286.90/1287.13	c 1287s |      25 |  5977746 |  5739898 |     1886   7630 |        0 |        0
1288.89/1289.14	c 1289s |      25 |  5986438 |  5748198 |     1886   7638 |        0 |        0
1290.89/1291.15	c 1291s |      25 |  5995112 |  5756598 |     1886   7647 |        0 |        0
1292.89/1293.17	c 1293s |      25 |  6003468 |  5764698 |     1886   7655 |        0 |        0
1294.89/1295.19	c 1295s |      25 |  6012046 |  5772898 |     1886   7663 |        0 |        0
1296.99/1297.21	c 1297s |      25 |  6020736 |  5781198 |     1886   7672 |        0 |        0
1299.00/1299.23	c 1299s |      25 |  6029427 |  5789598 |     1886   7680 |        0 |        0
1300.99/1301.26	c 1301s |      25 |  6038279 |  5797798 |     1886   7688 |        0 |        0
1302.99/1303.26	c 1303s |      25 |  6046927 |  5805998 |     1886   7697 |        0 |        0
1304.99/1305.27	c 1305s |      25 |  6055376 |  5814098 |     1886   7705 |        0 |        0
1306.99/1307.27	c 1307s |      25 |  6064089 |  5822398 |     1886   7713 |        0 |        0
1308.99/1309.28	c 1309s |      25 |  6073079 |  5831098 |     1886   7722 |        0 |        0
1311.00/1311.28	c 1311s |      25 |  6081840 |  5839498 |     1886   7731 |        0 |        0
1313.09/1313.30	c 1313s |      25 |  6090604 |  5847898 |     1886   7739 |        0 |        0
1315.09/1315.31	c 1315s |      25 |  6099173 |  5856098 |     1886   7748 |        0 |        0
1317.09/1317.31	c 1317s |      25 |  6107676 |  5864198 |     1886   7756 |        0 |        0
1319.09/1319.32	c 1319s |      25 |  6116083 |  5872398 |     1886   7764 |        0 |        0
1321.09/1321.35	c 1321s |      25 |  6124552 |  5880598 |     1886   7773 |        0 |        0
1323.10/1323.35	c 1323s |      25 |  6133027 |  5888698 |     1886   7781 |        0 |        0
1325.09/1325.35	c 1325s |      25 |  6141472 |  5896698 |     1886   7789 |        0 |        0
1327.09/1327.35	c 1327s |      25 |  6149898 |  5904798 |     1886   7797 |        0 |        0
1329.09/1329.36	c 1329s |      25 |  6158183 |  5912798 |     1886   7805 |        0 |        0
1331.09/1331.38	c 1331s |      25 |  6166382 |  5920798 |     1886   7813 |        0 |        0
1333.10/1333.39	c 1333s |      25 |  6175488 |  5929598 |     1886   7822 |        0 |        0
1335.20/1335.40	c 1335s |      25 |  6184453 |  5938198 |     1886   7831 |        0 |        0
1337.19/1337.41	c 1337s |      25 |  6193051 |  5946398 |     1886   7839 |        0 |        0
1339.19/1339.43	c 1339s |      25 |  6201894 |  5954598 |     1886   7848 |        0 |        0
1341.19/1341.44	c 1341s |      25 |  6210671 |  5963098 |     1886   7856 |        0 |        0
1343.19/1343.45	c 1343s |      25 |  6219099 |  5971198 |     1886   7865 |        0 |        0
1345.19/1345.46	c 1345s |      25 |  6227704 |  5979598 |     1886   7873 |        0 |        0
1347.19/1347.47	c 1347s |      25 |  6236173 |  5987798 |     1886   7881 |        0 |        0
1349.18/1349.48	c 1349s |      25 |  6245044 |  5996198 |     1886   7890 |        0 |        0
1351.28/1351.50	c 1351s |      25 |  6253619 |  6004498 |     1886   7898 |        0 |        0
1353.28/1353.51	c 1353s |      25 |  6262216 |  6012798 |     1886   7907 |        0 |        0
1355.28/1355.52	c 1355s |      25 |  6271046 |  6021098 |     1886   7915 |        0 |        0
1357.29/1357.53	c 1357s |      25 |  6279802 |  6029198 |     1886   7924 |        0 |        0
1359.28/1359.53	c 1359s |      25 |  6288299 |  6037198 |     1886   7932 |        0 |        0
1361.28/1361.54	c 1361s |      25 |  6297066 |  6045498 |     1886   7940 |        0 |        0
1363.28/1363.55	c 1363s |      25 |  6305702 |  6053698 |     1886   7948 |        0 |        0
1365.28/1365.57	c 1365s |      25 |  6314119 |  6061798 |     1886   7957 |        0 |        0
1367.28/1367.58	c 1367s |      25 |  6322432 |  6069798 |     1886   7965 |        0 |        0
1369.29/1369.58	c 1369s |      25 |  6330906 |  6077898 |     1886   7973 |        0 |        0
1371.38/1371.60	c 1371s |      25 |  6339494 |  6085998 |     1886   7981 |        0 |        0
1373.38/1373.60	c 1373s |      25 |  6347947 |  6093898 |     1886   7989 |        0 |        0
1375.38/1375.62	c 1375s |      25 |  6356853 |  6102198 |     1886   7998 |        0 |        0
1377.38/1377.62	c 1377s |      25 |  6365788 |  6110598 |     1886   8006 |        0 |        0
1379.38/1379.64	c 1379s |      25 |  6374238 |  6118698 |     1886   8015 |        0 |        0
1381.38/1381.66	c 1381s |      25 |  6382604 |  6126798 |     1886   8023 |        0 |        0
1383.38/1383.68	c 1383s |      25 |  6391100 |  6134898 |     1886   8031 |        0 |        0
1385.37/1385.68	c 1385s |      25 |  6399589 |  6142998 |     1886   8039 |        0 |        0
1387.47/1387.70	c 1387s |      25 |  6408255 |  6151398 |     1886   8048 |        0 |        0
1389.47/1389.70	c 1389s |      25 |  6416492 |  6159398 |     1886   8056 |        0 |        0
1391.48/1391.72	c 1391s |      25 |  6424690 |  6167398 |     1886   8064 |        0 |        0
1393.48/1393.73	c 1393s |      25 |  6433159 |  6175498 |     1886   8072 |        0 |        0
1395.47/1395.73	c 1395s |      25 |  6441845 |  6183798 |     1886   8081 |        0 |        0
1397.47/1397.74	c 1397s |      25 |  6450264 |  6191798 |     1886   8089 |        0 |        0
1399.47/1399.76	c 1399s |      25 |  6458979 |  6200098 |     1886   8097 |        0 |        0
1401.47/1401.78	c 1401s |      25 |  6467635 |  6208098 |     1886   8106 |        0 |        0
1403.57/1403.81	c 1403s |      25 |  6475885 |  6216098 |     1886   8114 |        0 |        0
1405.58/1405.82	c 1405s |      25 |  6484249 |  6224198 |     1886   8122 |        0 |        0
1407.57/1407.83	c 1407s |      25 |  6492282 |  6231998 |     1886   8130 |        0 |        0
1409.57/1409.84	c 1409s |      25 |  6500854 |  6240098 |     1886   8138 |        0 |        0
1411.57/1411.86	c 1411s |      25 |  6509196 |  6247998 |     1886   8146 |        0 |        0
1413.57/1413.86	c 1413s |      25 |  6517551 |  6255698 |     1886   8154 |        0 |        0
1415.57/1415.86	c 1415s |      25 |  6525786 |  6263498 |     1886   8162 |        0 |        0
1417.56/1417.87	c 1417s |      25 |  6534890 |  6272198 |     1886   8171 |        0 |        0
1419.56/1419.87	c 1419s |      25 |  6543708 |  6280698 |     1886   8179 |        0 |        0
1421.56/1421.88	c 1421s |      25 |  6552521 |  6289098 |     1886   8188 |        0 |        0
1423.66/1423.90	c 1423s |      25 |  6561374 |  6297698 |     1886   8197 |        0 |        0
1425.66/1425.92	c 1425s |      25 |  6570008 |  6305998 |     1886   8205 |        0 |        0
1427.66/1427.92	c 1427s |      25 |  6578797 |  6314198 |     1886   8213 |        0 |        0
1429.65/1429.94	c 1429s |      25 |  6587474 |  6322598 |     1886   8222 |        0 |        0
1431.65/1431.96	c 1431s |      25 |  6596089 |  6330898 |     1886   8230 |        0 |        0
1433.65/1433.97	c 1433s |      25 |  6604603 |  6339098 |     1886   8239 |        0 |        0
1435.65/1435.99	c 1435s |      25 |  6613338 |  6347498 |     1886   8247 |        0 |        0
1437.75/1438.01	c 1437s |      25 |  6621970 |  6355798 |     1886   8256 |        0 |        0
1439.76/1440.02	c 1440s |      25 |  6630686 |  6363998 |     1886   8264 |        0 |        0
1441.75/1442.05	c 1442s |      25 |  6639451 |  6372298 |     1886   8272 |        0 |        0
1443.75/1444.05	c 1444s |      25 |  6648019 |  6380598 |     1886   8281 |        0 |        0
1445.75/1446.06	c 1446s |      25 |  6656460 |  6388798 |     1886   8289 |        0 |        0
1447.75/1448.08	c 1448s |      25 |  6664905 |  6396898 |     1886   8297 |        0 |        0
1449.85/1450.10	c 1450s |      25 |  6673576 |  6405198 |     1886   8306 |        0 |        0
1451.76/1452.10	c 1452s |      25 |  6682113 |  6413398 |     1886   8314 |        0 |        0
1453.85/1454.13	c 1454s |      25 |  6690803 |  6421598 |     1886   8323 |        0 |        0
1455.85/1456.15	c 1456s |      25 |  6699710 |  6430098 |     1886   8331 |        0 |        0
1457.85/1458.16	c 1458s |      25 |  6708300 |  6438298 |     1886   8340 |        0 |        0
1459.85/1460.17	c 1460s |      25 |  6716924 |  6446598 |     1886   8348 |        0 |        0
1461.85/1462.17	c 1462s |      25 |  6725311 |  6454698 |     1886   8356 |        0 |        0
1463.85/1464.17	c 1464s |      25 |  6733554 |  6462698 |     1886   8364 |        0 |        0
1465.84/1466.19	c 1466s |      25 |  6741891 |  6470798 |     1886   8373 |        0 |        0
1467.94/1468.21	c 1468s |      25 |  6750818 |  6479398 |     1886   8381 |        0 |        0
1469.94/1470.21	c 1470s |      25 |  6759623 |  6487798 |     1886   8390 |        0 |        0
1471.94/1472.23	c 1472s |      25 |  6768076 |  6495898 |     1886   8398 |        0 |        0
1473.94/1474.25	c 1474s |      25 |  6776801 |  6504298 |     1886   8407 |        0 |        0
1475.94/1476.25	c 1476s |      25 |  6785006 |  6512198 |     1886   8415 |        0 |        0
1477.93/1478.26	c 1478s |      25 |  6793426 |  6520398 |     1886   8423 |        0 |        0
1479.93/1480.27	c 1480s |      25 |  6802161 |  6528698 |     1886   8432 |        0 |        0
1481.93/1482.28	c 1482s |      25 |  6810896 |  6537098 |     1886   8440 |        0 |        0
1483.93/1484.29	c 1484s |      25 |  6819394 |  6545298 |     1886   8448 |        0 |        0
1485.94/1486.29	c 1486s |      25 |  6827785 |  6553398 |     1886   8457 |        0 |        0
1487.93/1488.30	c 1488s |      25 |  6836427 |  6561698 |     1886   8465 |        0 |        0
1490.03/1490.33	c 1490s |      25 |  6845090 |  6569998 |     1886   8474 |        0 |        0
1492.03/1492.33	c 1492s |      25 |  6853660 |  6578298 |     1886   8482 |        0 |        0
1494.03/1494.34	c 1494s |      25 |  6862091 |  6586498 |     1886   8490 |        0 |        0
1496.02/1496.35	c 1496s |      25 |  6870512 |  6594598 |     1886   8499 |        0 |        0
1498.03/1498.36	c 1498s |      25 |  6879277 |  6602998 |     1886   8507 |        0 |        0
1500.02/1500.38	c 1500s |      25 |  6888233 |  6611498 |     1886   8516 |        0 |        0
1502.02/1502.39	c 1502s |      25 |  6897008 |  6619898 |     1886   8524 |        0 |        0
1504.12/1504.40	c 1504s |      25 |  6905560 |  6628098 |     1886   8533 |        0 |        0
1506.13/1506.41	c 1506s |      25 |  6914283 |  6636498 |     1886   8541 |        0 |        0
1508.13/1508.43	c 1508s |      25 |  6923070 |  6644898 |     1886   8550 |        0 |        0
1510.13/1510.45	c 1510s |      25 |  6931873 |  6653198 |     1886   8558 |        0 |        0
1512.13/1512.45	c 1512s |      25 |  6940346 |  6661198 |     1886   8566 |        0 |        0
1514.13/1514.47	c 1514s |      25 |  6948699 |  6669198 |     1886   8575 |        0 |        0
1516.12/1516.47	c 1516s |      25 |  6956971 |  6677198 |     1886   8583 |        0 |        0
1518.12/1518.48	c 1518s |      25 |  6965431 |  6685398 |     1886   8591 |        0 |        0
1520.22/1520.50	c 1520s |      25 |  6973954 |  6693598 |     1886   8599 |        0 |        0
1522.23/1522.53	c 1522s |      25 |  6982214 |  6701498 |     1886   8608 |        0 |        0
1524.22/1524.53	c 1524s |      25 |  6990534 |  6709498 |     1886   8616 |        0 |        0
1526.22/1526.54	c 1526s |      25 |  6999558 |  6717998 |     1886   8624 |        0 |        0
1528.22/1528.55	c 1528s |      25 |  7009002 |  6726998 |     1886   8633 |        0 |        0
1530.22/1530.57	c 1530s |      25 |  7018272 |  6735798 |     1886   8642 |        0 |        0
1532.22/1532.59	c 1532s |      25 |  7027518 |  6744598 |     1886   8651 |        0 |        0
1534.22/1534.60	c 1534s |      25 |  7036533 |  6753198 |     1886   8660 |        0 |        0
1536.31/1536.62	c 1536s |      25 |  7045692 |  6761998 |     1886   8669 |        0 |        0
1538.31/1538.62	c 1538s |      25 |  7054572 |  6770498 |     1886   8678 |        0 |        0
1540.31/1540.64	c 1540s |      25 |  7063459 |  6779098 |     1886   8686 |        0 |        0
1542.31/1542.65	c 1542s |      25 |  7072564 |  6787898 |     1886   8695 |        0 |        0
1544.31/1544.66	c 1544s |      25 |  7081686 |  6796698 |     1886   8704 |        0 |        0
1546.31/1546.67	c 1546s |      25 |  7090980 |  6805698 |     1886   8713 |        0 |        0
1548.30/1548.68	c 1548s |      25 |  7100318 |  6814598 |     1886   8722 |        0 |        0
1550.30/1550.68	c 1550s |      25 |  7109130 |  6822998 |     1886   8731 |        0 |        0
1552.40/1552.70	c 1552s |      25 |  7118081 |  6831598 |     1886   8740 |        0 |        0
1554.40/1554.70	c 1554s |      25 |  7127499 |  6840598 |     1886   8749 |        0 |        0
1556.40/1556.73	c 1556s |      25 |  7136521 |  6849198 |     1886   8758 |        0 |        0
1558.41/1558.75	c 1558s |      25 |  7145702 |  6857998 |     1886   8767 |        0 |        0
1560.40/1560.76	c 1560s |      25 |  7154665 |  6866598 |     1886   8775 |        0 |        0
1562.40/1562.77	c 1562s |      25 |  7163795 |  6875298 |     1886   8784 |        0 |        0
1564.40/1564.78	c 1564s |      25 |  7172688 |  6883798 |     1886   8793 |        0 |        0
1566.49/1566.80	c 1566s |      25 |  7181909 |  6892798 |     1886   8802 |        0 |        0
1568.49/1568.81	c 1568s |      25 |  7191015 |  6901598 |     1886   8811 |        0 |        0
1570.50/1570.82	c 1570s |      25 |  7200027 |  6910298 |     1886   8820 |        0 |        0
1572.49/1572.82	c 1572s |      25 |  7208998 |  6918898 |     1886   8828 |        0 |        0
1574.50/1574.84	c 1574s |      25 |  7218119 |  6927598 |     1886   8837 |        0 |        0
1576.50/1576.86	c 1576s |      25 |  7226819 |  6935898 |     1886   8846 |        0 |        0
1578.50/1578.88	c 1578s |      25 |  7235743 |  6944598 |     1886   8855 |        0 |        0
1580.50/1580.89	c 1580s |      25 |  7244682 |  6953198 |     1886   8863 |        0 |        0
1582.50/1582.90	c 1582s |      25 |  7253317 |  6961598 |     1886   8872 |        0 |        0
1584.60/1584.92	c 1584s |      25 |  7262050 |  6970098 |     1886   8881 |        0 |        0
1586.59/1586.92	c 1586s |      25 |  7271603 |  6979098 |     1886   8890 |        0 |        0
1588.59/1588.94	c 1588s |      25 |  7280970 |  6987898 |     1886   8899 |        0 |        0
1590.59/1590.95	c 1590s |      25 |  7290076 |  6996698 |     1886   8908 |        0 |        0
1592.60/1592.97	c 1592s |      25 |  7299158 |  7005498 |     1886   8916 |        0 |        0
1594.59/1594.97	c 1594s |      25 |  7308342 |  7014098 |     1886   8925 |        0 |        0
1596.59/1596.98	c 1596s |      25 |  7317106 |  7022398 |     1886   8934 |        0 |        0
1598.69/1599.00	c 1598s |      25 |  7326164 |  7031098 |     1886   8943 |        0 |        0
1600.69/1601.00	c 1600s |      25 |  7335176 |  7039698 |     1886   8951 |        0 |        0
1602.69/1603.00	c 1602s |      25 |  7344274 |  7048398 |     1886   8960 |        0 |        0
1604.69/1605.02	c 1605s |      25 |  7353532 |  7057398 |     1886   8969 |        0 |        0
1606.68/1607.04	c 1607s |      25 |  7362745 |  7066298 |     1886   8978 |        0 |        0
1608.68/1609.06	c 1609s |      25 |  7371976 |  7075198 |     1886   8987 |        0 |        0
1610.68/1611.06	c 1611s |      25 |  7380795 |  7083598 |     1886   8996 |        0 |        0
1612.68/1613.06	c 1613s |      25 |  7389722 |  7092298 |     1886   9005 |        0 |        0
1614.68/1615.08	c 1615s |      25 |  7398542 |  7100798 |     1886   9013 |        0 |        0
1616.68/1617.10	c 1617s |      25 |  7407525 |  7109398 |     1886   9022 |        0 |        0
1618.77/1619.11	c 1619s |      25 |  7416417 |  7117998 |     1886   9031 |        0 |        0
1620.77/1621.13	c 1621s |      25 |  7425074 |  7126398 |     1886   9039 |        0 |        0
1622.77/1623.14	c 1623s |      25 |  7433837 |  7134798 |     1886   9048 |        0 |        0
1624.77/1625.15	c 1625s |      25 |  7442464 |  7143098 |     1886   9056 |        0 |        0
1626.77/1627.15	c 1627s |      25 |  7451045 |  7151398 |     1886   9065 |        0 |        0
1628.77/1629.17	c 1629s |      25 |  7460012 |  7159798 |     1886   9073 |        0 |        0
1630.77/1631.19	c 1631s |      25 |  7469283 |  7168698 |     1886   9083 |        0 |        0
1632.87/1633.20	c 1633s |      25 |  7478678 |  7177698 |     1886   9092 |        0 |        0
1634.87/1635.21	c 1635s |      25 |  7487916 |  7186698 |     1886   9101 |        0 |        0
1636.87/1637.23	c 1637s |      25 |  7497137 |  7195498 |     1886   9110 |        0 |        0
1638.87/1639.24	c 1639s |      25 |  7506208 |  7204298 |     1886   9119 |        0 |        0
1640.87/1641.26	c 1641s |      25 |  7515177 |  7212998 |     1886   9128 |        0 |        0
1642.87/1643.27	c 1643s |      25 |  7524160 |  7221598 |     1886   9136 |        0 |        0
1644.87/1645.29	c 1645s |      25 |  7533362 |  7230498 |     1886   9145 |        0 |        0
1646.96/1647.31	c 1647s |      25 |  7542631 |  7239398 |     1886   9154 |        0 |        0
1648.96/1649.33	c 1649s |      25 |  7551547 |  7247998 |     1886   9163 |        0 |        0
1650.96/1651.35	c 1651s |      25 |  7560612 |  7256598 |     1886   9172 |        0 |        0
1652.97/1653.36	c 1653s |      25 |  7569771 |  7265398 |     1886   9181 |        0 |        0
1654.96/1655.38	c 1655s |      25 |  7578746 |  7273998 |     1886   9190 |        0 |        0
1657.06/1657.40	c 1657s |      25 |  7587684 |  7282598 |     1886   9198 |        0 |        0
1659.05/1659.41	c 1659s |      25 |  7596780 |  7291298 |     1886   9207 |        0 |        0
1661.05/1661.41	c 1661s |      25 |  7605475 |  7299698 |     1886   9216 |        0 |        0
1663.05/1663.42	c 1663s |      25 |  7614209 |  7308198 |     1886   9225 |        0 |        0
1665.06/1665.43	c 1665s |      25 |  7622951 |  7316598 |     1886   9233 |        0 |        0
1667.05/1667.45	c 1667s |      25 |  7631637 |  7324998 |     1886   9242 |        0 |        0
1669.05/1669.47	c 1669s |      25 |  7640970 |  7333998 |     1886   9251 |        0 |        0
1671.05/1671.49	c 1671s |      25 |  7650313 |  7342998 |     1886   9260 |        0 |        0
1673.15/1673.50	c 1673s |      25 |  7659417 |  7351798 |     1886   9269 |        0 |        0
1675.15/1675.51	c 1675s |      25 |  7668512 |  7360598 |     1886   9278 |        0 |        0
1677.15/1677.52	c 1677s |      25 |  7677317 |  7369098 |     1886   9286 |        0 |        0
1679.16/1679.53	c 1679s |      25 |  7686478 |  7377898 |     1886   9295 |        0 |        0
1681.16/1681.55	c 1681s |      25 |  7695312 |  7386498 |     1886   9304 |        0 |        0
1683.16/1683.55	c 1683s |      25 |  7704501 |  7395398 |     1886   9313 |        0 |        0
1685.15/1685.55	c 1685s |      25 |  7713293 |  7403998 |     1886   9322 |        0 |        0
1687.16/1687.56	c 1687s |      25 |  7722065 |  7412598 |     1886   9331 |        0 |        0
1689.15/1689.57	c 1689s |      25 |  7731121 |  7421298 |     1886   9340 |        0 |        0
1691.15/1691.59	c 1691s |      25 |  7740255 |  7430098 |     1886   9349 |        0 |        0
1693.25/1693.60	c 1693s |      25 |  7749198 |  7438698 |     1886   9357 |        0 |        0
1695.25/1695.61	c 1695s |      25 |  7758069 |  7447098 |     1886   9366 |        0 |        0
1697.24/1697.62	c 1697s |      25 |  7766988 |  7455698 |     1886   9375 |        0 |        0
1699.25/1699.64	c 1699s |      25 |  7775906 |  7464298 |     1886   9383 |        0 |        0
1701.24/1701.66	c 1701s |      25 |  7784835 |  7472898 |     1886   9392 |        0 |        0
1703.24/1703.67	c 1703s |      25 |  7793594 |  7481398 |     1886   9401 |        0 |        0
1705.24/1705.68	c 1705s |      25 |  7802687 |  7490098 |     1886   9410 |        0 |        0
1707.23/1707.69	c 1707s |      25 |  7811627 |  7498598 |     1886   9418 |        0 |        0
1709.33/1709.70	c 1709s |      25 |  7820474 |  7507098 |     1886   9427 |        0 |        0
1711.34/1711.72	c 1711s |      25 |  7829417 |  7515598 |     1886   9436 |        0 |        0
1713.33/1713.73	c 1713s |      25 |  7838233 |  7523998 |     1886   9444 |        0 |        0
1715.33/1715.75	c 1715s |      25 |  7847348 |  7532498 |     1886   9453 |        0 |        0
1717.33/1717.78	c 1717s |      25 |  7856189 |  7540798 |     1886   9461 |        0 |        0
1719.43/1719.83	c 1719s |      25 |  7865379 |  7549598 |     2075   9470 |        0 |        0
1721.43/1721.84	c 1721s |      25 |  7874133 |  7557998 |     2075   9478 |        0 |        0
1723.44/1723.85	c 1723s |      25 |  7882932 |  7566398 |     2075   9485 |        0 |        0
1725.43/1725.87	c 1725s |      25 |  7891482 |  7574598 |     2075   9493 |        0 |        0
1727.43/1727.89	c 1727s |      25 |  7900318 |  7582898 |     2075   9501 |        0 |        0
1729.53/1729.90	c 1729s |      25 |  7908956 |  7590998 |     2075   9508 |        0 |        0
1731.13/1731.53	c 1731s |      26 |  7916005 |  7597752 |     2075   9514 |        0 |        0
1733.12/1733.55	c 1733s |      26 |  7925480 |  7606852 |     2075   9523 |        0 |        0
1735.12/1735.55	c 1735s |      26 |  7934910 |  7615952 |     2075   9531 |        0 |        0
1737.12/1737.56	c 1737s |      26 |  7944171 |  7624852 |     2075   9540 |        0 |        0
1739.12/1739.57	c 1739s |      26 |  7953719 |  7633952 |     2075   9548 |        0 |        0
1741.12/1741.58	c 1741s |      26 |  7962960 |  7642652 |     2075   9556 |        0 |        0
1743.13/1743.59	c 1743s |      26 |  7972145 |  7651552 |     2075   9564 |        0 |        0
1745.22/1745.60	c 1745s |      26 |  7981444 |  7660552 |     2075   9573 |        0 |        0
1747.22/1747.61	c 1747s |      26 |  7990593 |  7669452 |     2075   9581 |        0 |        0
1749.22/1749.62	c 1749s |      26 |  7999771 |  7678352 |     2075   9589 |        0 |        0
1751.22/1751.63	c 1751s |      26 |  8008862 |  7687052 |     2075   9597 |        0 |        0
1753.22/1753.65	c 1753s |      26 |  8018462 |  7696052 |     2075   9606 |        0 |        0
1755.22/1755.66	c 1755s |      26 |  8027567 |  7704752 |     2075   9614 |        0 |        0
1757.22/1757.66	c 1757s |      26 |  8036609 |  7713352 |     2075   9622 |        0 |        0
1759.22/1759.67	c 1759s |      26 |  8045712 |  7722052 |     2075   9630 |        0 |        0
1761.22/1761.69	c 1761s |      26 |  8054772 |  7730852 |     2075   9638 |        0 |        0
1763.22/1763.69	c 1763s |      26 |  8063864 |  7739652 |     2075   9646 |        0 |        0
1765.32/1765.70	c 1765s |      26 |  8073277 |  7748652 |     2075   9654 |        0 |        0
1767.32/1767.71	c 1767s |      26 |  8082409 |  7757452 |     2075   9663 |        0 |        0
1769.31/1769.73	c 1769s |      26 |  8091326 |  7766152 |     2075   9671 |        0 |        0
1771.31/1771.74	c 1771s |      26 |  8100332 |  7774852 |     2075   9679 |        0 |        0
1773.31/1773.76	c 1773s |      26 |  8109894 |  7784052 |     2075   9687 |        0 |        0
1775.31/1775.76	c 1775s |      26 |  8119600 |  7793252 |     2075   9696 |        0 |        0
1777.31/1777.78	c 1777s |      26 |  8129434 |  7802552 |     2075   9704 |        0 |        0
1779.31/1779.78	c 1779s |      26 |  8138879 |  7811652 |     2075   9713 |        0 |        0
1781.41/1781.80	c 1781s |      26 |  8148505 |  7820752 |     2075   9721 |        0 |        0
1783.40/1783.80	c 1783s |      26 |  8158202 |  7829952 |     2075   9730 |        0 |        0
1785.40/1785.81	c 1785s |      26 |  8167803 |  7839152 |     2075   9738 |        0 |        0
1787.40/1787.82	c 1787s |      26 |  8177052 |  7847952 |     2075   9746 |        0 |        0
1789.41/1789.82	c 1789s |      26 |  8186011 |  7856352 |     2075   9754 |        0 |        0
1791.40/1791.83	c 1791s |      26 |  8195235 |  7864952 |     2075   9762 |        0 |        0
1793.40/1793.84	c 1793s |      26 |  8204690 |  7873752 |     2075   9770 |        0 |        0
1795.40/1795.84	c 1795s |      26 |  8214176 |  7882552 |     2075   9779 |        0 |        0
1797.40/1797.84	c 1797s |      26 |  8223631 |  7891252 |     2075   9787 |        0 |        0
1799.40/1799.85	c 1799s |      26 |  8233223 |  7900452 |     2075   9795 |        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-4089421-1466027311/watcher-4089421-1466027311 -o /tmp/evaluation-result-4089421-1466027311/solver-4089421-1466027311 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466019588-9689 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089421-1466027311.opb 

pid=11029
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.33 2.27 2.23 3/181 11032
/proc/meminfo: memFree=29315092/32872528 swapFree=1481856/1661728
[pid=11032] ppid=11029 vsize=670140 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (toysat) R 11029 11032 6232 0 -1 4202496 2495 0 0 0 0 0 0 0 20 0 4 0 4777556 686223360 2344 33554432000 4194304 16246674 140734646716128 140734646715552 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11032/statm: 168047 2352 441 2943 0 164941 0
[pid=11032/tid=11033] ppid=11029 vsize=688572 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11033/stat : 11033 (toysat) S 11029 11032 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4777556 705097728 2413 33554432000 4194304 16246674 140734646716128 139705134853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11032/tid=11034] ppid=11029 vsize=692668 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11034/stat : 11034 (toysat) S 11029 11032 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4777556 709292032 2431 33554432000 4194304 16246674 140734646716128 139705124363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11032/tid=11035] ppid=11029 vsize=696764 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11035/stat : 11035 (toysat) S 11029 11032 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4777556 713486336 2448 33554432000 4194304 16246674 140734646716128 139705113889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100136 s]
/proc/loadavg: 2.33 2.27 2.23 3/181 11032
/proc/meminfo: memFree=29315092/32872528 swapFree=1481856/1661728
[pid=11032] ppid=11029 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/11032/stat : 11032 (toysat) R 11029 11032 6232 0 -1 4202496 29761 0 0 0 5 4 0 0 20 0 4 0 4777556 1247350784 29599 33554432000 4194304 16246674 140734646716128 140734646715552 5707789 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11032/statm: 304529 29614 711 2943 0 301423 0
[pid=11032/tid=11033] ppid=11029 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11033/stat : 11033 (toysat) S 11029 11032 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4777556 1247350784 29625 33554432000 4194304 16246674 140734646716128 139705134853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11032/tid=11034] ppid=11029 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11034/stat : 11034 (toysat) S 11029 11032 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4777556 1247350784 29633 33554432000 4194304 16246674 140734646716128 139705124363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11032/tid=11035] ppid=11029 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11035/stat : 11035 (toysat) S 11029 11032 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4777556 1247350784 29642 33554432000 4194304 16246674 140734646716128 139705113889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200534 s]
/proc/loadavg: 2.33 2.27 2.23 3/181 11032
/proc/meminfo: memFree=29315092/32872528 swapFree=1481856/1661728
[pid=11032] ppid=11029 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/11032/stat : 11032 (toysat) R 11029 11032 6232 0 -1 4202496 59225 0 0 0 11 8 0 0 20 0 4 0 4777556 1247350784 59063 33554432000 4194304 16246674 140734646716128 140734646698048 5707789 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11032/statm: 304529 59082 711 2943 0 301423 0
[pid=11032/tid=11033] ppid=11029 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11033/stat : 11033 (toysat) S 11029 11032 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4777556 1247350784 59093 33554432000 4194304 16246674 140734646716128 139705134853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11032/tid=11034] ppid=11029 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11034/stat : 11034 (toysat) S 11029 11032 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4777556 1247350784 59104 33554432000 4194304 16246674 140734646716128 139705124363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11032/tid=11035] ppid=11029 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11035/stat : 11035 (toysat) S 11029 11032 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4777556 1247350784 59112 33554432000 4194304 16246674 140734646716128 139705113889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300493 s]
/proc/loadavg: 2.33 2.27 2.23 3/181 11032
/proc/meminfo: memFree=29315092/32872528 swapFree=1481856/1661728
[pid=11032] ppid=11029 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/11032/stat : 11032 (toysat) R 11029 11032 6232 0 -1 4202496 88341 0 0 0 17 12 0 0 20 0 4 0 4777556 1247350784 88179 33554432000 4194304 16246674 140734646716128 140734646698048 5707789 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11032/statm: 304529 88192 711 2943 0 301423 0
[pid=11032/tid=11033] ppid=11029 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11033/stat : 11033 (toysat) S 11029 11032 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4777556 1247350784 88202 33554432000 4194304 16246674 140734646716128 139705134853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11032/tid=11034] ppid=11029 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11034/stat : 11034 (toysat) S 11029 11032 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4777556 1247350784 88211 33554432000 4194304 16246674 140734646716128 139705124363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11032/tid=11035] ppid=11029 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11035/stat : 11035 (toysat) S 11029 11032 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4777556 1247350784 88219 33554432000 4194304 16246674 140734646716128 139705113889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700417 s]
/proc/loadavg: 2.33 2.27 2.23 3/181 11032
/proc/meminfo: memFree=29315092/32872528 swapFree=1481856/1661728
[pid=11032] ppid=11029 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/11032/stat : 11032 (toysat) R 11029 11032 6232 0 -1 4202496 206693 0 0 0 44 25 0 0 20 0 4 0 4777556 1247350784 206532 33554432000 4194304 16246674 140734646716128 140734646698048 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11032/statm: 304529 206549 711 2943 0 301423 0
[pid=11032/tid=11033] ppid=11029 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11033/stat : 11033 (toysat) S 11029 11032 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4777556 1247350784 206560 33554432000 4194304 16246674 140734646716128 139705134853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11032/tid=11034] ppid=11029 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11034/stat : 11034 (toysat) S 11029 11032 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4777556 1247350784 206570 33554432000 4194304 16246674 140734646716128 139705124363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11032/tid=11035] ppid=11029 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11035/stat : 11035 (toysat) S 11029 11032 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4777556 1247350784 206577 33554432000 4194304 16246674 140734646716128 139705113889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.33 2.27 2.23 3/185 11036
/proc/meminfo: memFree=28333584/32872528 swapFree=1481856/1661728
[pid=11032] ppid=11029 vsize=1305156 CPUtime=1.49 cores=1,3,5,7
/proc/11032/stat : 11032 (toysat) R 11029 11032 6232 0 -1 4202496 267204 0 0 0 116 33 0 0 20 0 4 0 4777556 1336479744 267022 33554432000 4194304 16246674 140734646716128 140734646698048 5553664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11032/statm: 326289 267022 789 2943 0 323183 0
[pid=11032/tid=11033] ppid=11029 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11033/stat : 11033 (toysat) S 11029 11032 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4777556 1336479744 267022 33554432000 4194304 16246674 140734646716128 139705134853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11032/tid=11034] ppid=11029 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11034/stat : 11034 (toysat) S 11029 11032 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4777556 1336479744 267022 33554432000 4194304 16246674 140734646716128 139705124363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11032/tid=11035] ppid=11029 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11035/stat : 11035 (toysat) S 11029 11032 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4777556 1336479744 267022 33554432000 4194304 16246674 140734646716128 139705113889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10043 s]
/proc/loadavg: 2.33 2.27 2.23 3/185 11036
/proc/meminfo: memFree=28245296/32872528 swapFree=1481856/1661728
[pid=11032] ppid=11029 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/11032/stat : 11032 (toysat) R 11029 11032 6232 0 -1 4202496 267524 0 0 0 276 33 0 0 20 0 4 0 4777556 1337528320 267342 33554432000 4194304 16246674 140734646716128 140734646699128 5667272 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11032/statm: 326545 267342 789 2943 0 323439 0
[pid=11032/tid=11033] ppid=11029 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11033/stat : 11033 (toysat) S 11029 11032 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4777556 1337528320 267342 33554432000 4194304 16246674 140734646716128 139705134853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11032/tid=11034] ppid=11029 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11034/stat : 11034 (toysat) S 11029 11032 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4777556 1337528320 267342 33554432000 4194304 16246674 140734646716128 139705124363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11032/tid=11035] ppid=11029 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11035/stat : 11035 (toysat) S 11029 11032 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4777556 1337528320 267342 33554432000 4194304 16246674 140734646716128 139705113889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.30 2.27 2.23 3/185 11036
/proc/meminfo: memFree=28245852/32872528 swapFree=1481856/1661728
[pid=11032] ppid=11029 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/11032/stat : 11032 (toysat) R 11029 11032 6232 0 -1 4202496 267567 0 0 0 596 33 0 0 20 0 4 0 4777556 1337528320 267385 33554432000 4194304 16246674 140734646716128 140734646698048 12483183 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11032/statm: 326545 267385 791 2943 0 323439 0
[pid=11032/tid=11033] ppid=11029 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11033/stat : 11033 (toysat) S 11029 11032 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4777556 1337528320 267385 33554432000 4194304 16246674 140734646716128 139705134853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11032/tid=11034] ppid=11029 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11034/stat : 11034 (toysat) S 11029 11032 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4777556 1337528320 267385 33554432000 4194304 16246674 140734646716128 139705124363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11032/tid=11035] ppid=11029 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11035/stat : 11035 (toysat) S 11029 11032 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4777556 1337528320 267385 33554432000 4194304 16246674 140734646716128 139705113889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.28 2.26 2.22 3/185 11036
/proc/meminfo: memFree=28245536/32872528 swapFree=1481856/1661728
[pid=11032] ppid=11029 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/11032/stat : 11032 (toysat) R 11029 11032 6232 0 -1 4202496 267586 0 0 0 1236 33 0 0 20 0 4 0 4777556 1338576896 267404 33554432000 4194304 16246674 140734646716128 140734646698048 13191638 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11032/statm: 326801 267404 791 2943 0 323695 0
[pid=11032/tid=11033] ppid=11029 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11033/stat : 11033 (toysat) S 11029 11032 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4777556 1338576896 267404 33554432000 4194304 16246674 140734646716128 139705134853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11032/tid=11034] ppid=11029 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11034/stat : 11034 (toysat) S 11029 11032 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4777556 1338576896 267404 33554432000 4194304 16246674 140734646716128 139705124363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11032/tid=11035] ppid=11029 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11035/stat : 11035 (toysat) S 11029 11032 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4777556 1338576896 267404 33554432000 4194304 16246674 140734646716128 139705113889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.22 2.25 2.22 3/185 11036
/proc/meminfo: memFree=28245820/32872528 swapFree=1481856/1661728
[pid=11032] ppid=11029 vsize=1307204 CPUtime=25.48 cores=1,3,5,7
/proc/11032/stat : 11032 (toysat) R 11029 11032 6232 0 -1 4202496 267606 0 0 0 2515 33 0 0 20 0 4 0 4777556 1338576896 267424 33554432000 4194304 16246674 140734646716128 140734646698048 5553664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11032/statm: 326801 267424 792 2943 0 323695 0
[pid=11032/tid=11033] ppid=11029 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11033/stat : 11033 (toysat) S 11029 11032 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4777556 1338576896 267424 33554432000 4194304 16246674 140734646716128 139705134853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11032/tid=11034] ppid=11029 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11034/stat : 11034 (toysat) S 11029 11032 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4777556 1338576896 267424 33554432000 4194304 16246674 140734646716128 139705124363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11032/tid=11035] ppid=11029 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11035/stat : 11035 (toysat) S 11029 11032 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4777556 1338576896 267424 33554432000 4194304 16246674 140734646716128 139705113889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.34 2.27 2.23 3/185 11036
/proc/meminfo: memFree=28244708/32872528 swapFree=1481856/1661728
[pid=11032] ppid=11029 vsize=1307204 CPUtime=51.09 cores=1,3,5,7
/proc/11032/stat : 11032 (toysat) R 11029 11032 6232 0 -1 4202496 267834 0 0 0 5075 34 0 0 20 0 4 0 4777556 1338576896 267652 33554432000 4194304 16246674 140734646716128 140734646698048 12875549 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11032/statm: 326801 267652 793 2943 0 323695 0
[pid=11032/tid=11033] ppid=11029 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11033/stat : 11033 (toysat) S 11029 11032 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4777556 1338576896 267652 33554432000 4194304 16246674 140734646716128 139705134853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11032/tid=11034] ppid=11029 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11034/stat : 11034 (toysat) S 11029 11032 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4777556 1338576896 267652 33554432000 4194304 16246674 140734646716128 139705124363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11032/tid=11035] ppid=11029 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11035/stat : 11035 (toysat) S 11029 11032 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4777556 1338576896 267652 33554432000 4194304 16246674 140734646716128 139705113889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1307204

[startup+102.301 s]
/proc/loadavg: 2.26 2.26 2.23 3/186 11040
/proc/meminfo: memFree=28242180/32872528 swapFree=1481856/1661728
[pid=11032] ppid=11029 vsize=1309252 CPUtime=102.28 cores=1,3,5,7
/proc/11032/stat : 11032 (toysat) R 11029 11032 6232 0 -1 4202496 268260 0 0 0 10193 35 0 0 20 0 4 0 4777556 1340674048 268078 33554432000 4194304 16246674 140734646716128 140734646698048 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11032/statm: 327313 268078 793 2943 0 324207 0
[pid=11032/tid=11033] ppid=11029 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11033/stat : 11033 (toysat) S 11029 11032 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4777556 1340674048 268078 33554432000 4194304 16246674 140734646716128 139705134853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11032/tid=11034] ppid=11029 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11034/stat : 11034 (toysat) S 11029 11032 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4777556 1340674048 268078 33554432000 4194304 16246674 140734646716128 139705124363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11032/tid=11035] ppid=11029 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11035/stat : 11035 (toysat) S 11029 11032 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4777556 1340674048 268078 33554432000 4194304 16246674 140734646716128 139705113889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1309252


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

/proc/11032/task/11035/stat : 11035 (toysat) S 11029 11032 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4777556 1345916928 269279 33554432000 4194304 16246674 140734646716128 139705113889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1314372

[startup+1302.3 s]
/proc/loadavg: 2.26 2.27 2.25 3/186 11105
/proc/meminfo: memFree=28224244/32872528 swapFree=1481856/1661728
[pid=11032] ppid=11029 vsize=1314372 CPUtime=1302.09 cores=1,3,5,7
/proc/11032/stat : 11032 (toysat) R 11029 11032 6232 0 -1 4202496 269575 0 0 0 130154 55 0 0 20 0 4 0 4777556 1345916928 269393 33554432000 4194304 16246674 140734646716128 140734646698048 5721633 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11032/statm: 328593 269393 793 2943 0 325487 0
[pid=11032/tid=11033] ppid=11029 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11033/stat : 11033 (toysat) S 11029 11032 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4777556 1345916928 269393 33554432000 4194304 16246674 140734646716128 139705134853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11032/tid=11034] ppid=11029 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11034/stat : 11034 (toysat) S 11029 11032 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4777556 1345916928 269393 33554432000 4194304 16246674 140734646716128 139705124363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11032/tid=11035] ppid=11029 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11035/stat : 11035 (toysat) S 11029 11032 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4777556 1345916928 269393 33554432000 4194304 16246674 140734646716128 139705113889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1314372

[startup+1362.3 s]
/proc/loadavg: 2.31 2.28 2.25 3/185 11106
/proc/meminfo: memFree=28223516/32872528 swapFree=1481856/1661728
[pid=11032] ppid=11029 vsize=1314372 CPUtime=1362.08 cores=1,3,5,7
/proc/11032/stat : 11032 (toysat) R 11029 11032 6232 0 -1 4202496 269575 0 0 0 136152 56 0 0 20 0 4 0 4777556 1345916928 269393 33554432000 4194304 16246674 140734646716128 140734646698048 5677179 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11032/statm: 328593 269393 793 2943 0 325487 0
[pid=11032/tid=11033] ppid=11029 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11033/stat : 11033 (toysat) S 11029 11032 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4777556 1345916928 269393 33554432000 4194304 16246674 140734646716128 139705134853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11032/tid=11034] ppid=11029 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11034/stat : 11034 (toysat) S 11029 11032 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4777556 1345916928 269393 33554432000 4194304 16246674 140734646716128 139705124363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11032/tid=11035] ppid=11029 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11035/stat : 11035 (toysat) S 11029 11032 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4777556 1345916928 269393 33554432000 4194304 16246674 140734646716128 139705113889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1314372

[startup+1422.3 s]
/proc/loadavg: 2.21 2.26 2.25 3/185 11108
/proc/meminfo: memFree=28223064/32872528 swapFree=1481856/1661728
[pid=11032] ppid=11029 vsize=1314372 CPUtime=1422.07 cores=1,3,5,7
/proc/11032/stat : 11032 (toysat) R 11029 11032 6232 0 -1 4202496 269653 0 0 0 142150 57 0 0 20 0 4 0 4777556 1345916928 269700 33554432000 4194304 16246674 140734646716128 140734646698048 13006805 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11032/statm: 328593 269700 793 2943 0 325487 0
[pid=11032/tid=11033] ppid=11029 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11033/stat : 11033 (toysat) S 11029 11032 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4777556 1345916928 269700 33554432000 4194304 16246674 140734646716128 139705134853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11032/tid=11034] ppid=11029 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11034/stat : 11034 (toysat) S 11029 11032 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4777556 1345916928 269700 33554432000 4194304 16246674 140734646716128 139705124363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11032/tid=11035] ppid=11029 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11035/stat : 11035 (toysat) S 11029 11032 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4777556 1345916928 269700 33554432000 4194304 16246674 140734646716128 139705113889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1314372

[startup+1482.3 s]
/proc/loadavg: 2.27 2.27 2.25 3/185 11109
/proc/meminfo: memFree=28222572/32872528 swapFree=1481856/1661728
[pid=11032] ppid=11029 vsize=1314372 CPUtime=1482.03 cores=1,3,5,7
/proc/11032/stat : 11032 (toysat) R 11029 11032 6232 0 -1 4202496 269691 0 0 0 148145 58 0 0 20 0 4 0 4777556 1345916928 269700 33554432000 4194304 16246674 140734646716128 140734646698048 5721708 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11032/statm: 328593 269700 793 2943 0 325487 0
[pid=11032/tid=11033] ppid=11029 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11033/stat : 11033 (toysat) S 11029 11032 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4777556 1345916928 269700 33554432000 4194304 16246674 140734646716128 139705134853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11032/tid=11034] ppid=11029 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11034/stat : 11034 (toysat) S 11029 11032 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4777556 1345916928 269700 33554432000 4194304 16246674 140734646716128 139705124363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11032/tid=11035] ppid=11029 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11035/stat : 11035 (toysat) S 11029 11032 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4777556 1345916928 269700 33554432000 4194304 16246674 140734646716128 139705113889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1314372

[startup+1542.31 s]
/proc/loadavg: 2.39 2.29 2.26 2/176 11143
/proc/meminfo: memFree=29321436/32872528 swapFree=1481856/1661728
[pid=11032] ppid=11029 vsize=1315396 CPUtime=1542.02 cores=1,3,5,7
/proc/11032/stat : 11032 (toysat) R 11029 11032 6232 0 -1 4202496 269762 0 0 0 154143 59 0 0 20 0 4 0 4777556 1346965504 269733 33554432000 4194304 16246674 140734646716128 140734646698048 13193804 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11032/statm: 328849 269733 793 2943 0 325743 0
[pid=11032/tid=11033] ppid=11029 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11033/stat : 11033 (toysat) S 11029 11032 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4777556 1346965504 269733 33554432000 4194304 16246674 140734646716128 139705134853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11032/tid=11034] ppid=11029 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11034/stat : 11034 (toysat) S 11029 11032 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4777556 1346965504 269733 33554432000 4194304 16246674 140734646716128 139705124363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11032/tid=11035] ppid=11029 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11035/stat : 11035 (toysat) S 11029 11032 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4777556 1346965504 269733 33554432000 4194304 16246674 140734646716128 139705113889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.27 2.28 2.26 3/185 11159
/proc/meminfo: memFree=28231540/32872528 swapFree=1481856/1661728
[pid=11032] ppid=11029 vsize=1315396 CPUtime=1601.99 cores=1,3,5,7
/proc/11032/stat : 11032 (toysat) R 11029 11032 6232 0 -1 4202496 270021 0 0 0 160139 60 0 0 20 0 4 0 4777556 1346965504 269956 33554432000 4194304 16246674 140734646716128 140734646698048 13949845 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11032/statm: 328849 269956 793 2943 0 325743 0
[pid=11032/tid=11033] ppid=11029 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11033/stat : 11033 (toysat) S 11029 11032 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4777556 1346965504 269956 33554432000 4194304 16246674 140734646716128 139705134853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11032/tid=11034] ppid=11029 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11034/stat : 11034 (toysat) S 11029 11032 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4777556 1346965504 269956 33554432000 4194304 16246674 140734646716128 139705124363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11032/tid=11035] ppid=11029 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11035/stat : 11035 (toysat) S 11029 11032 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4777556 1346965504 269956 33554432000 4194304 16246674 140734646716128 139705113889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 2.33 2.29 2.26 3/185 11160
/proc/meminfo: memFree=28231308/32872528 swapFree=1481856/1661728
[pid=11032] ppid=11029 vsize=1315396 CPUtime=1661.95 cores=1,3,5,7
/proc/11032/stat : 11032 (toysat) R 11029 11032 6232 0 -1 4202496 270057 0 0 0 166134 61 0 0 20 0 4 0 4777556 1346965504 269956 33554432000 4194304 16246674 140734646716128 140734646698048 5721414 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11032/statm: 328849 269956 793 2943 0 325743 0
[pid=11032/tid=11033] ppid=11029 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11033/stat : 11033 (toysat) S 11029 11032 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4777556 1346965504 269956 33554432000 4194304 16246674 140734646716128 139705134853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11032/tid=11034] ppid=11029 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11034/stat : 11034 (toysat) S 11029 11032 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4777556 1346965504 269956 33554432000 4194304 16246674 140734646716128 139705124363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11032/tid=11035] ppid=11029 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11035/stat : 11035 (toysat) S 11029 11032 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4777556 1346965504 269956 33554432000 4194304 16246674 140734646716128 139705113889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 2.33 2.30 2.27 3/185 11162
/proc/meminfo: memFree=28231072/32872528 swapFree=1481856/1661728
[pid=11032] ppid=11029 vsize=1315396 CPUtime=1721.93 cores=1,3,5,7
/proc/11032/stat : 11032 (toysat) R 11029 11032 6232 0 -1 4202496 270099 0 0 0 172131 62 0 0 20 0 4 0 4777556 1346965504 269956 33554432000 4194304 16246674 140734646716128 140734646698048 13950192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11032/statm: 328849 269956 793 2943 0 325743 0
[pid=11032/tid=11033] ppid=11029 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11033/stat : 11033 (toysat) S 11029 11032 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4777556 1346965504 269956 33554432000 4194304 16246674 140734646716128 139705134853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11032/tid=11034] ppid=11029 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11034/stat : 11034 (toysat) S 11029 11032 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4777556 1346965504 269956 33554432000 4194304 16246674 140734646716128 139705124363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11032/tid=11035] ppid=11029 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11035/stat : 11035 (toysat) S 11029 11032 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4777556 1346965504 269956 33554432000 4194304 16246674 140734646716128 139705113889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 1315396

[startup+1782.3 s]
/proc/loadavg: 2.28 2.29 2.27 3/185 11163
/proc/meminfo: memFree=28230468/32872528 swapFree=1481856/1661728
[pid=11032] ppid=11029 vsize=1315396 CPUtime=1781.91 cores=1,3,5,7
/proc/11032/stat : 11032 (toysat) R 11029 11032 6232 0 -1 4202496 270139 0 0 0 178128 63 0 0 20 0 4 0 4777556 1346965504 269956 33554432000 4194304 16246674 140734646716128 140734646698048 5721633 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11032/statm: 328849 269956 793 2943 0 325743 0
[pid=11032/tid=11033] ppid=11029 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11033/stat : 11033 (toysat) S 11029 11032 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4777556 1346965504 269956 33554432000 4194304 16246674 140734646716128 139705134853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11032/tid=11034] ppid=11029 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11034/stat : 11034 (toysat) S 11029 11032 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4777556 1346965504 269956 33554432000 4194304 16246674 140734646716128 139705124363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11032/tid=11035] ppid=11029 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11035/stat : 11035 (toysat) S 11029 11032 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4777556 1346965504 269956 33554432000 4194304 16246674 140734646716128 139705113889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 1315396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.34 2.30 2.27 3/185 11164
/proc/meminfo: memFree=28230364/32872528 swapFree=1481856/1661728
[pid=11032] ppid=11029 vsize=1315396 CPUtime=1800 cores=1,3,5,7
/proc/11032/stat : 11032 (toysat) R 11029 11032 6232 0 -1 4202496 270152 0 0 0 179937 63 0 0 20 0 4 0 4777556 1346965504 269956 33554432000 4194304 16246674 140734646716128 140734646698048 5674002 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11032/statm: 328849 269956 793 2943 0 325743 0
[pid=11032/tid=11033] ppid=11029 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11033/stat : 11033 (toysat) S 11029 11032 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4777556 1346965504 269956 33554432000 4194304 16246674 140734646716128 139705134853360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11032/tid=11034] ppid=11029 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11034/stat : 11034 (toysat) S 11029 11032 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4777556 1346965504 269956 33554432000 4194304 16246674 140734646716128 139705124363504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11032/tid=11035] ppid=11029 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/11032/task/11035/stat : 11035 (toysat) S 11029 11032 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4777556 1346965504 269956 33554432000 4194304 16246674 140734646716128 139705113889968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1315396

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.43
CPU time (s): 1800.03
CPU user time (s): 1799.38
CPU system time (s): 0.658899
CPU usage (%): 99.9781
Max. virtual memory (cumulated for all children) (KiB): 1315396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.658899
maximum resident set size= 1079824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270152
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= 283
involuntary context switches= 1876

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.52231 second user time and 7.00094 second system time

The end

Begin job on node134 at 2016-06-15 23:48:31
IDJOB=4089421
IDBENCH=107404
IDSOLVER=2542
FILE ID=node134/4089421-1466027311
RUNJOBID= node134-1466019588-9689
PBS_JOBID= 19902814
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/vertexcover-instances/normalized-vertexcover-grid10x17-hard.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089421-1466027311/watcher-4089421-1466027311 -o /tmp/evaluation-result-4089421-1466027311/solver-4089421-1466027311 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466019588-9689 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089421-1466027311.opb

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

MD5SUM BENCH= 3f37c5eafe5b8960f8d73d1c5e5fbdad
RANDOM SEED=924387902

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
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.020
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:        29316008 kB
Buffers:           24956 kB
Cached:            79120 kB
SwapCached:        17324 kB
Active:          1139388 kB
Inactive:          55308 kB
Active(anon):    1074904 kB
Inactive(anon):    17972 kB
Active(file):      64484 kB
Inactive(file):    37336 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67083700 kB
Dirty:             16316 kB
Writeback:             0 kB
AnonPages:       2735184 kB
Mapped:            10444 kB
Shmem:                 0 kB
Slab:             567036 kB
SReclaimable:      11140 kB
SUnreclaim:       555896 kB
KernelStack:        1536 kB
PageTables:         9236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2881264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    180224 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node134 at 2016-06-16 00:18:32