0.00/0.00	c 2016-06-15T21:38:58+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-4088966-1466019537.opb"]
0.00/0.01	c use --random-gen="2387033135 3059503052 1905267306 3151147982 1188868259 2570685525 2976602029 4211877619 3624005070 3951340403 2994645144 2892425428 608089951 2768187034 1025084767 4087383195 3730389044 3511184530 1483956168 2666841149 4214516389 3121154397 3983823653 3026048391 3805395775 3540101127 2409590834 2824404257 2157029585 2059289758 2364601841 2477509270 27294538 3813297001 3015542305 1886814505 4003575363 2845447456 1071788717 2648963382 3852157502 2946618881 1148425586 89298668 1029330153 3398850169 3714726246 3393623872 943253434 916731666 1908611774 3946640095 1406231290 181508850 1696877259 391981862 3680043204 1772579993 3335729286 3925471525 393467308 2698894871 298075647 2638459819 126091705 2414507533 3970904811 1470007987 3444918827 1941281436 1873670637 1820451720 2882201805 1832602296 3477381800 2079973516 1209869035 1470131657 1717351568 3045447050 1479886789 3745668748 1325686410 1051063510 2167812990 1612740611 1043042820 3651216300 2105448020 2495743792 3718552191 375217479 3242777194 3138488498 796855632 4057154434 1145905363 463857488 1334213054 4255956532 765057692 2398174992 4006305762 3968201841 3057813463 3439630340 837103656 3632001527 1409664971 1117841049 4136294399 4018890499 3964086803 1253245294 3905509226 1650723900 3458735235 2269490125 198180471 2276331308 1535116705 1953607235 4067626175 1258053085 54153749 3515347259 3514318897 1142654966 2343310402 2836905920 3534661864 417864807 706989050 720086094 2687483710 2942971334 376501362 133366765 4159027931 870743792 337163529 2991869177 199912030 446121520 1132551444 2209074155 2986303285 3191079181 3926826549 2084995537 3499393158 3969183898 411363549 1185719746 2948740105 4120543607 4059650091 4067830382 2892551748 4174811213 3425553603 3610391503 1310511504 2161163612 3875440094 2431715755 1224207634 2433448605 2275006583 1385396463 3372364920 2021657494 1311900128 2328019118 893732286 2075978835 4201736245 1570424318 3520731925 4254073378 2166233474 1809122902 2201285515 861832833 1739686429 3909760104 17224470 3608351826 2731015205 4192381934 141453136 249999662 3027008105 2755405967 989598760 4100990159 356944392 833989512 2917229802 2526356781 2111426776 2411161215 879825478 2464475419 2125066204 1033482933 3247314430 1452207015 1322077962 467429282 3584408956 425982327 4103298124 1355787386 21001871 4009658331 948111682 2811235765 998102968 1527963949 3079836707 1594653013 4206561669 1172061701 2350122174 2933433828 2198122263 2091468015 3160157531 3414609101 1686069817 4053022259 2217665764 927423701 3991251122 1545378402 3464195341 2426868686 3064658077 939225507 1697376405 3562593243 2042254308 2997200393 909327101 1457990913 2752394791 2154368476 1466240054 223303408 3171841194 4053459454 2619757937 706262356 126825734 2125463178 255 362436" option to reproduce the execution
0.00/0.02	c #vars 150
0.00/0.02	c #constraints 301
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 |      150      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      166 |      100 |      150      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      387 |      250 |      165      1 |        0 |        0
0.08/0.10	c  0.1s |       3 |      679 |      475 |      182      2 |        0 |        0
0.08/0.17	c  0.2s |       4 |     1084 |      813 |      201      5 |        0 |        0
0.18/0.27	c  0.3s |       5 |     1656 |     1320 |      222      8 |        0 |        0
0.39/0.43	c  0.4s |       6 |     2489 |     2081 |      270     13 |        0 |        0
0.58/0.66	c  0.6s |       7 |     3707 |     3223 |      297     20 |        0 |        0
0.88/0.95	c  0.9s |       8 |     5502 |     4936 |      327     29 |        0 |        0
1.28/1.31	c  1.3s |       9 |     8178 |     7506 |      360     42 |        0 |        0
1.78/1.88	c  1.9s |      10 |    12136 |    11361 |      397     60 |        0 |        0
2.58/2.70	c  2.7s |      11 |    18044 |    17144 |      437     85 |        0 |        0
3.88/3.95	c  3.9s |      12 |    26963 |    25819 |      481    120 |        0 |        0
5.78/5.84	c  5.8s |      13 |    40334 |    38832 |      530    167 |        0 |        0
7.79/7.84	c  7.8s |      13 |    54026 |    52232 |      530    212 |        0 |        0
8.68/8.75	c  8.7s |      14 |    60301 |    58352 |      583    233 |        0 |        0
10.68/10.77	c 10.7s |      14 |    73774 |    71552 |      583    274 |        0 |        0
12.68/12.77	c 12.8s |      14 |    87139 |    84652 |      583    314 |        0 |        0
13.19/13.24	c 13.2s |      15 |    90170 |    87632 |      642    323 |        0 |        0
15.18/15.24	c 15.2s |      15 |   103450 |   100532 |      642    360 |        0 |        0
17.18/17.25	c 17.2s |      15 |   116469 |   113332 |      642    396 |        0 |        0
19.18/19.25	c 19.2s |      15 |   129368 |   126032 |      642    432 |        0 |        0
20.08/20.13	c 20.1s |      16 |   135037 |   131552 |      707    448 |        0 |        0
22.08/22.15	c 22.1s |      16 |   148539 |   144652 |      707    482 |        0 |        0
24.08/24.15	c 24.1s |      16 |   161682 |   157552 |      707    515 |        0 |        0
26.08/26.15	c 26.1s |      16 |   174695 |   170352 |      707    548 |        0 |        0
28.08/28.17	c 28.1s |      16 |   187660 |   183052 |      707    581 |        0 |        0
30.08/30.18	c 30.2s |      16 |   200764 |   195852 |      707    615 |        0 |        0
30.38/30.42	c 30.4s |      17 |   202369 |   197432 |      778    618 |        0 |        0
32.38/32.42	c 32.4s |      17 |   215593 |   210232 |      778    649 |        0 |        0
34.38/34.43	c 34.4s |      17 |   228698 |   222932 |      778    679 |        0 |        0
36.38/36.45	c 36.4s |      17 |   241882 |   235732 |      778    710 |        0 |        0
38.38/38.46	c 38.4s |      17 |   254849 |   248332 |      778    740 |        0 |        0
40.37/40.47	c 40.4s |      17 |   268027 |   260932 |      778    770 |        0 |        0
42.37/42.47	c 42.5s |      17 |   280689 |   273232 |      778    799 |        0 |        0
44.37/44.49	c 44.5s |      17 |   293429 |   285532 |      778    828 |        0 |        0
46.19/46.21	c 46.2s |      18 |   304425 |   296252 |      856    853 |        0 |        0
48.18/48.22	c 48.2s |      18 |   317447 |   308752 |      856    881 |        0 |        0
50.18/50.23	c 50.2s |      18 |   330307 |   321152 |      856    908 |        0 |        0
52.18/52.25	c 52.2s |      18 |   343070 |   333552 |      856    935 |        0 |        0
54.18/54.25	c 54.2s |      18 |   355735 |   345852 |      856    961 |        0 |        0
56.19/56.26	c 56.2s |      18 |   368378 |   358152 |      856    988 |        0 |        0
58.18/58.28	c 58.3s |      18 |   380993 |   370252 |      856   1015 |        0 |        0
60.18/60.28	c 60.3s |      18 |   393448 |   382252 |      856   1041 |        0 |        0
62.28/62.30	c 62.3s |      18 |   406009 |   394352 |      856   1067 |        0 |        0
64.28/64.30	c 64.3s |      18 |   418235 |   406252 |      856   1093 |        0 |        0
66.28/66.30	c 66.3s |      18 |   431037 |   418452 |      856   1120 |        0 |        0
68.29/68.31	c 68.3s |      18 |   443517 |   430552 |      856   1146 |        0 |        0
70.28/70.31	c 70.3s |      18 |   455984 |   442652 |      942   1172 |        0 |        0
70.58/70.62	c 70.6s |      19 |   457895 |   444482 |      942   1176 |        0 |        0
72.59/72.63	c 72.6s |      19 |   470617 |   456782 |      942   1200 |        0 |        0
74.58/74.64	c 74.6s |      19 |   483310 |   469182 |      942   1225 |        0 |        0
76.58/76.64	c 76.6s |      19 |   496177 |   481582 |      942   1250 |        0 |        0
78.58/78.64	c 78.6s |      19 |   508612 |   493482 |      942   1274 |        0 |        0
80.58/80.66	c 80.6s |      19 |   521165 |   505482 |      942   1298 |        0 |        0
82.58/82.66	c 82.6s |      19 |   533910 |   517782 |      942   1322 |        0 |        0
84.57/84.67	c 84.7s |      19 |   546210 |   529682 |      942   1346 |        0 |        0
86.57/86.69	c 86.7s |      19 |   558782 |   541482 |      942   1369 |        0 |        0
88.57/88.69	c 88.7s |      19 |   570715 |   552982 |      942   1392 |        0 |        0
90.67/90.71	c 90.7s |      19 |   582975 |   564782 |      942   1416 |        0 |        0
92.67/92.73	c 92.7s |      19 |   595197 |   576482 |      942   1439 |        0 |        0
94.68/94.74	c 94.7s |      19 |   607595 |   588182 |      942   1463 |        0 |        0
96.67/96.75	c 96.7s |      19 |   620044 |   600082 |      942   1486 |        0 |        0
98.67/98.76	c 98.7s |      19 |   632201 |   611882 |      942   1510 |        0 |        0
100.67/100.77	c  100s |      19 |   644446 |   623582 |      942   1533 |        0 |        0
102.67/102.77	c  102s |      19 |   656405 |   634982 |      942   1556 |        0 |        0
104.67/104.77	c  104s |      19 |   668187 |   646382 |      942   1579 |        0 |        0
106.67/106.78	c  106s |      19 |   680688 |   658482 |      942   1603 |        0 |        0
108.07/108.19	c  108s |      20 |   689194 |   666827 |     1037   1618 |        0 |        0
110.17/110.21	c  110s |      20 |   701458 |   678527 |     1037   1640 |        0 |        0
112.17/112.21	c  112s |      20 |   713909 |   690427 |     1037   1661 |        0 |        0
114.16/114.22	c  114s |      20 |   725833 |   702027 |     1037   1682 |        0 |        0
116.16/116.22	c  116s |      20 |   738081 |   713727 |     1037   1704 |        0 |        0
118.16/118.23	c  118s |      20 |   750208 |   725527 |     1037   1725 |        0 |        0
120.16/120.24	c  120s |      20 |   762435 |   737327 |     1037   1747 |        0 |        0
122.18/122.25	c  122s |      20 |   774614 |   748927 |     1037   1768 |        0 |        0
124.17/124.27	c  124s |      20 |   786795 |   760827 |     1037   1790 |        0 |        0
126.17/126.27	c  126s |      20 |   798889 |   772627 |     1037   1811 |        0 |        0
128.17/128.29	c  128s |      20 |   811025 |   784327 |     1037   1832 |        0 |        0
130.27/130.30	c  130s |      20 |   822979 |   795927 |     1037   1853 |        0 |        0
132.27/132.32	c  132s |      20 |   834821 |   807327 |     1037   1874 |        0 |        0
134.27/134.33	c  134s |      20 |   846619 |   818727 |     1037   1895 |        0 |        0
136.27/136.33	c  136s |      20 |   858760 |   830527 |     1037   1917 |        0 |        0
138.27/138.34	c  138s |      20 |   870812 |   842127 |     1037   1938 |        0 |        0
140.26/140.35	c  140s |      20 |   882894 |   853727 |     1037   1959 |        0 |        0
142.26/142.36	c  142s |      20 |   894764 |   865227 |     1037   1980 |        0 |        0
144.26/144.36	c  144s |      20 |   906706 |   876627 |     1037   2001 |        0 |        0
146.27/146.38	c  146s |      20 |   918625 |   888127 |     1037   2021 |        0 |        0
148.26/148.38	c  148s |      20 |   930540 |   899727 |     1037   2043 |        0 |        0
150.26/150.39	c  150s |      20 |   942586 |   911527 |     1037   2064 |        0 |        0
152.36/152.40	c  152s |      20 |   954357 |   923027 |     1037   2085 |        0 |        0
154.36/154.42	c  154s |      20 |   966244 |   934627 |     1037   2106 |        0 |        0
156.36/156.43	c  156s |      20 |   977900 |   945927 |     1037   2127 |        0 |        0
158.36/158.43	c  158s |      20 |   989948 |   957627 |     1037   2148 |        0 |        0
160.36/160.44	c  160s |      20 |  1001500 |   968927 |     1037   2169 |        0 |        0
162.36/162.44	c  162s |      20 |  1013599 |   980727 |     1037   2190 |        0 |        0
164.36/164.46	c  164s |      20 |  1025840 |   992627 |     1037   2212 |        0 |        0
165.76/165.84	c  165s |      21 |  1033976 |  1000345 |     1141   2225 |        0 |        0
167.76/167.85	c  167s |      21 |  1046279 |  1012045 |     1141   2244 |        0 |        0
169.76/169.86	c  169s |      21 |  1058459 |  1023745 |     1141   2264 |        0 |        0
171.76/171.86	c  171s |      21 |  1070460 |  1035345 |     1141   2283 |        0 |        0
173.77/173.87	c  173s |      21 |  1082711 |  1047045 |     1141   2302 |        0 |        0
175.76/175.88	c  175s |      21 |  1094782 |  1058645 |     1141   2322 |        0 |        0
177.76/177.89	c  177s |      21 |  1107005 |  1070345 |     1141   2341 |        0 |        0
179.86/179.90	c  179s |      21 |  1119353 |  1081845 |     1141   2360 |        0 |        0
181.86/181.90	c  181s |      21 |  1131528 |  1093445 |     1141   2379 |        0 |        0
183.86/183.91	c  183s |      21 |  1143701 |  1105045 |     1141   2399 |        0 |        0
185.87/185.93	c  185s |      21 |  1156114 |  1116445 |     1141   2418 |        0 |        0
187.86/187.93	c  187s |      21 |  1168295 |  1128145 |     1141   2437 |        0 |        0
189.86/189.94	c  189s |      21 |  1180258 |  1139445 |     1141   2456 |        0 |        0
191.86/191.95	c  191s |      21 |  1192343 |  1150845 |     1141   2475 |        0 |        0
193.85/193.96	c  193s |      21 |  1204817 |  1162245 |     1141   2494 |        0 |        0
195.86/195.96	c  195s |      21 |  1216704 |  1173445 |     1141   2513 |        0 |        0
197.85/197.97	c  197s |      21 |  1228345 |  1184545 |     1141   2531 |        0 |        0
199.85/199.98	c  199s |      21 |  1240537 |  1196145 |     1141   2550 |        0 |        0
201.85/202.00	c  201s |      21 |  1252618 |  1207745 |     1141   2570 |        0 |        0
203.95/204.01	c  203s |      21 |  1264580 |  1219245 |     1141   2589 |        0 |        0
205.95/206.02	c  206s |      21 |  1276510 |  1230745 |     1141   2608 |        0 |        0
207.96/208.03	c  208s |      21 |  1288515 |  1242345 |     1141   2627 |        0 |        0
209.95/210.04	c  210s |      21 |  1300318 |  1253545 |     1141   2646 |        0 |        0
211.95/212.06	c  212s |      21 |  1311835 |  1264745 |     1141   2665 |        0 |        0
213.95/214.06	c  214s |      21 |  1323587 |  1276045 |     1141   2683 |        0 |        0
215.96/216.08	c  216s |      21 |  1335738 |  1287645 |     1141   2703 |        0 |        0
217.96/218.09	c  218s |      21 |  1347797 |  1298945 |     1141   2721 |        0 |        0
219.96/220.10	c  220s |      21 |  1359593 |  1310145 |     1141   2740 |        0 |        0
222.05/222.11	c  222s |      21 |  1371305 |  1321245 |     1141   2759 |        0 |        0
224.05/224.13	c  224s |      21 |  1383127 |  1332345 |     1141   2777 |        0 |        0
226.05/226.13	c  226s |      21 |  1394802 |  1343345 |     1141   2795 |        0 |        0
228.05/228.14	c  228s |      21 |  1406355 |  1354245 |     1141   2814 |        0 |        0
230.05/230.15	c  230s |      21 |  1418199 |  1365645 |     1141   2832 |        0 |        0
232.05/232.15	c  232s |      21 |  1429951 |  1377045 |     1141   2851 |        0 |        0
234.05/234.16	c  234s |      21 |  1441648 |  1388445 |     1141   2870 |        0 |        0
236.05/236.17	c  236s |      21 |  1453150 |  1399545 |     1141   2889 |        0 |        0
238.05/238.19	c  238s |      21 |  1464664 |  1410745 |     1141   2908 |        0 |        0
240.15/240.21	c  240s |      21 |  1476298 |  1422045 |     1141   2926 |        0 |        0
242.15/242.21	c  242s |      21 |  1487903 |  1433245 |     1141   2945 |        0 |        0
244.15/244.24	c  244s |      21 |  1499661 |  1444545 |     1141   2964 |        0 |        0
246.15/246.25	c  246s |      21 |  1511112 |  1455745 |     1141   2983 |        0 |        0
248.15/248.25	c  248s |      21 |  1522411 |  1466645 |     1141   3001 |        0 |        0
250.15/250.26	c  250s |      21 |  1533600 |  1477545 |     1141   3019 |        0 |        0
252.14/252.26	c  252s |      21 |  1545529 |  1489145 |     1141   3038 |        0 |        0
254.15/254.27	c  254s |      21 |  1557160 |  1500445 |     1256   3055 |        0 |        0
254.24/254.30	c  254s |      22 |  1557352 |  1500622 |     1256   3056 |        0 |        0
256.25/256.32	c  256s |      22 |  1570216 |  1512222 |     1256   3073 |        0 |        0
258.24/258.32	c  258s |      22 |  1582328 |  1523822 |     1256   3091 |        0 |        0
260.24/260.33	c  260s |      22 |  1594667 |  1535622 |     1256   3109 |        0 |        0
262.24/262.33	c  262s |      22 |  1606716 |  1547022 |     1256   3126 |        0 |        0
264.24/264.34	c  264s |      22 |  1618685 |  1558322 |     1256   3143 |        0 |        0
266.26/266.35	c  266s |      22 |  1630653 |  1569822 |     1256   3161 |        0 |        0
268.25/268.37	c  268s |      22 |  1642563 |  1581122 |     1256   3178 |        0 |        0
270.25/270.37	c  270s |      22 |  1654857 |  1592422 |     1256   3195 |        0 |        0
272.25/272.38	c  272s |      22 |  1666610 |  1603722 |     1256   3212 |        0 |        0
274.25/274.38	c  274s |      22 |  1678111 |  1614922 |     1256   3229 |        0 |        0
276.24/276.39	c  276s |      22 |  1689618 |  1626122 |     1256   3246 |        0 |        0
278.25/278.40	c  278s |      22 |  1701103 |  1637222 |     1256   3263 |        0 |        0
280.34/280.41	c  280s |      22 |  1713153 |  1648522 |     1256   3280 |        0 |        0
282.34/282.42	c  282s |      22 |  1725258 |  1659922 |     1256   3297 |        0 |        0
284.34/284.43	c  284s |      22 |  1737170 |  1671122 |     1256   3314 |        0 |        0
286.34/286.43	c  286s |      22 |  1749070 |  1682222 |     1256   3331 |        0 |        0
288.34/288.44	c  288s |      22 |  1760616 |  1693322 |     1256   3348 |        0 |        0
290.35/290.46	c  290s |      22 |  1772212 |  1704422 |     1256   3365 |        0 |        0
292.34/292.47	c  292s |      22 |  1783896 |  1715522 |     1256   3382 |        0 |        0
294.34/294.48	c  294s |      22 |  1796004 |  1727022 |     1256   3399 |        0 |        0
296.44/296.50	c  296s |      22 |  1807800 |  1738322 |     1256   3417 |        0 |        0
298.44/298.51	c  298s |      22 |  1819378 |  1749522 |     1256   3434 |        0 |        0
300.44/300.52	c  300s |      22 |  1830807 |  1760622 |     1256   3450 |        0 |        0
302.44/302.52	c  302s |      22 |  1842128 |  1771522 |     1256   3467 |        0 |        0
304.44/304.52	c  304s |      22 |  1853493 |  1782622 |     1256   3484 |        0 |        0
306.44/306.53	c  306s |      22 |  1864617 |  1793322 |     1256   3500 |        0 |        0
308.44/308.54	c  308s |      22 |  1876241 |  1804322 |     1256   3517 |        0 |        0
310.43/310.54	c  310s |      22 |  1888155 |  1815522 |     1256   3534 |        0 |        0
312.45/312.54	c  312s |      22 |  1899627 |  1826722 |     1256   3551 |        0 |        0
314.44/314.55	c  314s |      22 |  1911434 |  1837822 |     1256   3568 |        0 |        0
316.44/316.56	c  316s |      22 |  1922888 |  1848822 |     1256   3584 |        0 |        0
318.44/318.57	c  318s |      22 |  1934388 |  1859822 |     1256   3601 |        0 |        0
320.44/320.57	c  320s |      22 |  1945682 |  1870722 |     1256   3618 |        0 |        0
322.44/322.58	c  322s |      22 |  1956851 |  1881522 |     1256   3634 |        0 |        0
324.44/324.60	c  324s |      22 |  1968526 |  1892422 |     1256   3651 |        0 |        0
326.54/326.61	c  326s |      22 |  1980226 |  1903322 |     1256   3667 |        0 |        0
328.54/328.63	c  328s |      22 |  1991832 |  1914322 |     1256   3684 |        0 |        0
330.54/330.65	c  330s |      22 |  2003386 |  1925622 |     1256   3701 |        0 |        0
332.54/332.65	c  332s |      22 |  2014861 |  1936822 |     1256   3718 |        0 |        0
334.54/334.67	c  334s |      22 |  2026260 |  1947922 |     1256   3735 |        0 |        0
336.54/336.67	c  336s |      22 |  2037465 |  1958722 |     1256   3751 |        0 |        0
338.54/338.68	c  338s |      22 |  2048851 |  1969822 |     1256   3768 |        0 |        0
340.54/340.68	c  340s |      22 |  2060224 |  1980922 |     1256   3785 |        0 |        0
342.53/342.69	c  342s |      22 |  2071549 |  1992022 |     1256   3802 |        0 |        0
344.53/344.69	c  344s |      22 |  2082522 |  2002722 |     1256   3818 |        0 |        0
346.63/346.70	c  346s |      22 |  2093646 |  2013522 |     1256   3834 |        0 |        0
348.64/348.70	c  348s |      22 |  2104919 |  2024522 |     1256   3851 |        0 |        0
350.63/350.71	c  350s |      22 |  2116141 |  2035422 |     1256   3868 |        0 |        0
352.63/352.71	c  352s |      22 |  2127226 |  2046222 |     1256   3884 |        0 |        0
354.63/354.73	c  354s |      22 |  2138551 |  2057222 |     1256   3901 |        0 |        0
356.63/356.73	c  356s |      22 |  2149941 |  2068222 |     1256   3918 |        0 |        0
358.63/358.73	c  358s |      22 |  2161283 |  2079122 |     1256   3934 |        0 |        0
360.63/360.75	c  360s |      22 |  2172546 |  2090122 |     1256   3951 |        0 |        0
362.63/362.75	c  362s |      22 |  2183562 |  2100822 |     1256   3967 |        0 |        0
364.63/364.76	c  364s |      22 |  2194888 |  2111822 |     1256   3984 |        0 |        0
366.63/366.77	c  366s |      22 |  2206095 |  2122522 |     1256   4000 |        0 |        0
368.63/368.78	c  368s |      22 |  2217591 |  2133522 |     1256   4017 |        0 |        0
370.64/370.79	c  370s |      22 |  2229557 |  2144922 |     1256   4034 |        0 |        0
372.73/372.80	c  372s |      22 |  2241480 |  2156222 |     1256   4051 |        0 |        0
374.73/374.82	c  374s |      22 |  2252959 |  2167222 |     1256   4068 |        0 |        0
376.73/376.83	c  376s |      22 |  2264929 |  2178222 |     1256   4085 |        0 |        0
378.73/378.83	c  378s |      22 |  2276700 |  2189222 |     1256   4101 |        0 |        0
380.73/380.84	c  380s |      22 |  2288018 |  2200122 |     1256   4118 |        0 |        0
382.73/382.85	c  382s |      22 |  2299678 |  2211422 |     1256   4135 |        0 |        0
384.72/384.85	c  384s |      22 |  2310858 |  2222322 |     1256   4152 |        0 |        0
386.72/386.87	c  386s |      22 |  2322355 |  2233422 |     1256   4169 |        0 |        0
388.72/388.88	c  388s |      22 |  2334048 |  2244522 |     1382   4184 |        0 |        0
389.93/390.09	c  390s |      23 |  2340858 |  2251038 |     1382   4193 |        0 |        0
391.93/392.09	c  392s |      23 |  2352763 |  2262238 |     1382   4209 |        0 |        0
393.93/394.09	c  394s |      23 |  2364800 |  2273638 |     1382   4224 |        0 |        0
396.04/396.11	c  396s |      23 |  2376431 |  2284738 |     1382   4240 |        0 |        0
398.03/398.12	c  398s |      23 |  2388186 |  2295938 |     1382   4255 |        0 |        0
400.03/400.12	c  400s |      23 |  2399764 |  2306938 |     1382   4270 |        0 |        0
402.03/402.14	c  402s |      23 |  2411386 |  2318138 |     1382   4286 |        0 |        0
404.03/404.15	c  404s |      23 |  2423080 |  2329238 |     1382   4301 |        0 |        0
406.03/406.15	c  406s |      23 |  2434593 |  2340238 |     1382   4316 |        0 |        0
408.03/408.16	c  408s |      23 |  2446316 |  2351338 |     1382   4332 |        0 |        0
410.03/410.18	c  410s |      23 |  2457771 |  2362438 |     1382   4347 |        0 |        0
412.03/412.19	c  412s |      23 |  2469236 |  2373238 |     1382   4362 |        0 |        0
414.13/414.20	c  414s |      23 |  2480772 |  2384238 |     1382   4377 |        0 |        0
416.13/416.21	c  416s |      23 |  2492514 |  2395338 |     1382   4393 |        0 |        0
418.13/418.21	c  418s |      23 |  2503963 |  2406238 |     1382   4408 |        0 |        0
420.13/420.21	c  420s |      23 |  2515661 |  2417238 |     1382   4423 |        0 |        0
422.12/422.22	c  422s |      23 |  2527285 |  2428238 |     1382   4438 |        0 |        0
424.12/424.23	c  424s |      23 |  2538547 |  2438838 |     1382   4453 |        0 |        0
426.12/426.24	c  426s |      23 |  2549758 |  2449338 |     1382   4468 |        0 |        0
428.12/428.25	c  428s |      23 |  2561227 |  2460138 |     1382   4483 |        0 |        0
430.13/430.26	c  430s |      23 |  2572605 |  2470938 |     1382   4498 |        0 |        0
432.12/432.27	c  432s |      23 |  2584365 |  2482138 |     1382   4513 |        0 |        0
434.12/434.28	c  434s |      23 |  2596042 |  2493238 |     1382   4528 |        0 |        0
436.12/436.29	c  436s |      23 |  2607354 |  2504138 |     1382   4544 |        0 |        0
438.22/438.31	c  438s |      23 |  2618845 |  2515038 |     1382   4559 |        0 |        0
440.22/440.31	c  440s |      23 |  2630163 |  2525838 |     1382   4574 |        0 |        0
442.22/442.33	c  442s |      23 |  2641617 |  2536738 |     1382   4589 |        0 |        0
444.22/444.33	c  444s |      23 |  2653304 |  2547738 |     1382   4604 |        0 |        0
446.22/446.34	c  446s |      23 |  2664861 |  2558338 |     1382   4619 |        0 |        0
448.22/448.35	c  448s |      23 |  2676109 |  2569038 |     1382   4633 |        0 |        0
450.22/450.35	c  450s |      23 |  2687543 |  2579538 |     1382   4648 |        0 |        0
452.22/452.36	c  452s |      23 |  2699029 |  2590538 |     1382   4663 |        0 |        0
454.22/454.36	c  454s |      23 |  2710545 |  2601538 |     1382   4678 |        0 |        0
456.21/456.38	c  456s |      23 |  2722194 |  2612438 |     1382   4693 |        0 |        0
458.21/458.39	c  458s |      23 |  2734021 |  2623338 |     1382   4709 |        0 |        0
460.21/460.39	c  460s |      23 |  2745636 |  2634238 |     1382   4724 |        0 |        0
462.31/462.41	c  462s |      23 |  2757347 |  2645038 |     1382   4739 |        0 |        0
464.31/464.43	c  464s |      23 |  2768967 |  2656038 |     1382   4754 |        0 |        0
466.33/466.45	c  466s |      23 |  2780288 |  2666738 |     1382   4769 |        0 |        0
468.32/468.46	c  468s |      23 |  2791808 |  2677438 |     1382   4783 |        0 |        0
470.32/470.47	c  470s |      23 |  2803184 |  2688238 |     1382   4798 |        0 |        0
472.32/472.47	c  472s |      23 |  2814299 |  2698638 |     1382   4813 |        0 |        0
474.32/474.48	c  474s |      23 |  2825757 |  2709338 |     1382   4828 |        0 |        0
476.32/476.49	c  476s |      23 |  2837072 |  2719938 |     1382   4842 |        0 |        0
478.32/478.49	c  478s |      23 |  2848047 |  2730338 |     1382   4857 |        0 |        0
480.42/480.51	c  480s |      23 |  2859087 |  2740938 |     1382   4871 |        0 |        0
482.42/482.51	c  482s |      23 |  2870489 |  2751938 |     1382   4886 |        0 |        0
484.42/484.52	c  484s |      23 |  2881911 |  2762838 |     1382   4902 |        0 |        0
486.42/486.53	c  486s |      23 |  2893399 |  2773838 |     1382   4917 |        0 |        0
488.42/488.53	c  488s |      23 |  2904911 |  2784838 |     1382   4932 |        0 |        0
490.41/490.55	c  490s |      23 |  2916367 |  2795738 |     1382   4947 |        0 |        0
492.41/492.56	c  492s |      23 |  2927821 |  2806638 |     1382   4962 |        0 |        0
494.41/494.56	c  494s |      23 |  2939048 |  2817338 |     1382   4977 |        0 |        0
496.41/496.57	c  496s |      23 |  2950571 |  2828238 |     1382   4992 |        0 |        0
498.41/498.57	c  498s |      23 |  2962060 |  2839138 |     1382   5007 |        0 |        0
500.42/500.57	c  500s |      23 |  2973578 |  2850138 |     1382   5022 |        0 |        0
502.41/502.58	c  502s |      23 |  2984716 |  2860838 |     1382   5037 |        0 |        0
504.41/504.58	c  504s |      23 |  2995801 |  2871538 |     1382   5052 |        0 |        0
506.41/506.59	c  506s |      23 |  3006910 |  2882238 |     1382   5067 |        0 |        0
508.51/508.60	c  508s |      23 |  3018375 |  2893138 |     1382   5082 |        0 |        0
510.51/510.61	c  510s |      23 |  3029530 |  2903738 |     1382   5097 |        0 |        0
512.51/512.62	c  512s |      23 |  3040891 |  2914738 |     1382   5112 |        0 |        0
514.51/514.64	c  514s |      23 |  3052239 |  2925538 |     1382   5127 |        0 |        0
516.50/516.65	c  516s |      23 |  3063299 |  2936138 |     1382   5142 |        0 |        0
518.50/518.66	c  518s |      23 |  3074376 |  2946838 |     1382   5156 |        0 |        0
520.50/520.67	c  520s |      23 |  3085409 |  2957338 |     1382   5171 |        0 |        0
522.51/522.67	c  522s |      23 |  3096555 |  2968038 |     1382   5186 |        0 |        0
524.50/524.69	c  524s |      23 |  3107777 |  2978738 |     1382   5201 |        0 |        0
526.60/526.70	c  526s |      23 |  3118902 |  2989538 |     1382   5216 |        0 |        0
528.60/528.72	c  528s |      23 |  3129879 |  3000038 |     1382   5230 |        0 |        0
530.60/530.73	c  530s |      23 |  3140960 |  3010638 |     1382   5245 |        0 |        0
532.60/532.75	c  532s |      23 |  3152215 |  3021238 |     1382   5260 |        0 |        0
534.61/534.76	c  534s |      23 |  3163848 |  3032238 |     1382   5275 |        0 |        0
536.60/536.76	c  536s |      23 |  3175259 |  3042838 |     1382   5290 |        0 |        0
538.60/538.77	c  538s |      23 |  3186550 |  3053338 |     1382   5304 |        0 |        0
540.60/540.78	c  540s |      23 |  3197692 |  3063738 |     1382   5319 |        0 |        0
542.70/542.80	c  542s |      23 |  3209070 |  3074438 |     1382   5333 |        0 |        0
544.70/544.81	c  544s |      23 |  3220229 |  3085238 |     1382   5348 |        0 |        0
546.71/546.82	c  546s |      23 |  3231628 |  3096038 |     1382   5363 |        0 |        0
548.71/548.82	c  548s |      23 |  3242851 |  3106738 |     1382   5378 |        0 |        0
550.71/550.84	c  550s |      23 |  3253990 |  3117438 |     1382   5393 |        0 |        0
552.71/552.85	c  552s |      23 |  3265049 |  3128038 |     1382   5408 |        0 |        0
554.70/554.85	c  554s |      23 |  3276225 |  3138838 |     1382   5423 |        0 |        0
556.70/556.86	c  556s |      23 |  3287350 |  3149538 |     1382   5437 |        0 |        0
558.71/558.86	c  558s |      23 |  3298255 |  3160038 |     1382   5452 |        0 |        0
560.70/560.87	c  560s |      23 |  3309203 |  3170438 |     1382   5466 |        0 |        0
562.70/562.87	c  562s |      23 |  3320155 |  3180938 |     1382   5481 |        0 |        0
564.70/564.88	c  564s |      23 |  3330960 |  3191438 |     1382   5495 |        0 |        0
566.70/566.89	c  566s |      23 |  3342044 |  3202038 |     1382   5510 |        0 |        0
568.80/568.90	c  568s |      23 |  3353056 |  3212738 |     1382   5525 |        0 |        0
570.81/570.91	c  570s |      23 |  3363834 |  3223138 |     1382   5539 |        0 |        0
572.80/572.92	c  572s |      23 |  3374984 |  3233438 |     1382   5553 |        0 |        0
574.80/574.93	c  574s |      23 |  3386045 |  3243938 |     1382   5568 |        0 |        0
576.80/576.93	c  576s |      23 |  3397136 |  3254438 |     1382   5583 |        0 |        0
578.80/578.95	c  578s |      23 |  3408268 |  3264938 |     1382   5597 |        0 |        0
580.80/580.96	c  580s |      23 |  3419128 |  3275138 |     1382   5611 |        0 |        0
582.80/582.97	c  582s |      23 |  3429914 |  3285438 |     1382   5625 |        0 |        0
584.80/584.97	c  584s |      23 |  3440580 |  3295638 |     1382   5640 |        0 |        0
586.79/586.98	c  586s |      23 |  3451886 |  3306538 |     1382   5655 |        0 |        0
588.79/588.99	c  588s |      23 |  3463277 |  3317438 |     1382   5670 |        0 |        0
590.79/590.99	c  590s |      23 |  3475075 |  3328238 |     1382   5685 |        0 |        0
592.80/593.00	c  592s |      23 |  3486604 |  3339038 |     1382   5699 |        0 |        0
594.89/595.01	c  594s |      23 |  3497991 |  3349638 |     1382   5714 |        0 |        0
596.89/597.02	c  597s |      23 |  3508963 |  3360138 |     1521   5728 |        0 |        0
598.89/599.04	c  599s |      23 |  3520447 |  3370738 |     1521   5741 |        0 |        0
599.99/600.19	c  600s |      24 |  3526689 |  3376662 |     1521   5748 |        0 |        0
601.99/602.19	c  602s |      24 |  3538277 |  3387662 |     1521   5762 |        0 |        0
604.09/604.20	c  604s |      24 |  3549697 |  3398562 |     1521   5776 |        0 |        0
606.10/606.21	c  606s |      24 |  3560723 |  3409262 |     1521   5789 |        0 |        0
608.10/608.21	c  608s |      24 |  3572122 |  3420062 |     1521   5803 |        0 |        0
610.10/610.23	c  610s |      24 |  3583452 |  3430962 |     1521   5817 |        0 |        0
612.10/612.24	c  612s |      24 |  3594746 |  3441862 |     1521   5831 |        0 |        0
614.09/614.25	c  614s |      24 |  3606125 |  3452762 |     1521   5844 |        0 |        0
616.09/616.27	c  616s |      24 |  3617155 |  3463362 |     1521   5858 |        0 |        0
618.10/618.28	c  618s |      24 |  3628234 |  3473962 |     1521   5871 |        0 |        0
620.09/620.29	c  620s |      24 |  3639736 |  3484762 |     1521   5885 |        0 |        0
622.09/622.29	c  622s |      24 |  3650978 |  3495462 |     1521   5898 |        0 |        0
624.19/624.31	c  624s |      24 |  3662088 |  3506162 |     1521   5912 |        0 |        0
626.19/626.32	c  626s |      24 |  3673076 |  3516662 |     1521   5925 |        0 |        0
628.19/628.34	c  628s |      24 |  3683900 |  3526962 |     1521   5938 |        0 |        0
630.20/630.34	c  630s |      24 |  3695294 |  3537662 |     1521   5951 |        0 |        0
632.19/632.34	c  632s |      24 |  3706477 |  3548162 |     1521   5965 |        0 |        0
634.19/634.35	c  634s |      24 |  3717791 |  3558762 |     1521   5978 |        0 |        0
636.19/636.35	c  636s |      24 |  3728791 |  3569262 |     1521   5991 |        0 |        0
638.19/638.36	c  638s |      24 |  3739701 |  3579762 |     1521   6004 |        0 |        0
640.19/640.37	c  640s |      24 |  3751073 |  3590662 |     1521   6018 |        0 |        0
642.19/642.37	c  642s |      24 |  3762821 |  3601562 |     1521   6032 |        0 |        0
644.18/644.39	c  644s |      24 |  3774329 |  3612562 |     1521   6046 |        0 |        0
646.18/646.39	c  646s |      24 |  3785770 |  3623162 |     1521   6059 |        0 |        0
648.29/648.40	c  648s |      24 |  3796807 |  3633662 |     1521   6072 |        0 |        0
650.29/650.40	c  650s |      24 |  3807384 |  3643662 |     1521   6085 |        0 |        0
652.30/652.42	c  652s |      24 |  3818160 |  3654062 |     1521   6098 |        0 |        0
654.29/654.43	c  654s |      24 |  3829050 |  3664562 |     1521   6111 |        0 |        0
656.29/656.44	c  656s |      24 |  3840095 |  3674962 |     1521   6124 |        0 |        0
658.29/658.45	c  658s |      24 |  3851176 |  3685262 |     1521   6137 |        0 |        0
660.29/660.47	c  660s |      24 |  3861923 |  3695662 |     1521   6150 |        0 |        0
662.29/662.49	c  662s |      24 |  3872726 |  3706162 |     1521   6164 |        0 |        0
664.30/664.50	c  664s |      24 |  3883417 |  3716462 |     1521   6177 |        0 |        0
666.39/666.51	c  666s |      24 |  3894155 |  3726762 |     1521   6190 |        0 |        0
668.39/668.52	c  668s |      24 |  3904976 |  3737162 |     1521   6203 |        0 |        0
670.39/670.53	c  670s |      24 |  3916237 |  3747862 |     1521   6216 |        0 |        0
672.39/672.56	c  672s |      24 |  3927502 |  3758462 |     1521   6230 |        0 |        0
674.39/674.57	c  674s |      24 |  3938700 |  3768962 |     1521   6243 |        0 |        0
676.39/676.57	c  676s |      24 |  3949505 |  3779462 |     1521   6256 |        0 |        0
678.38/678.57	c  678s |      24 |  3960702 |  3790062 |     1521   6269 |        0 |        0
680.38/680.57	c  680s |      24 |  3971525 |  3800362 |     1521   6282 |        0 |        0
682.38/682.59	c  682s |      24 |  3982529 |  3810962 |     1521   6296 |        0 |        0
684.48/684.60	c  684s |      24 |  3993238 |  3821262 |     1521   6309 |        0 |        0
686.48/686.61	c  686s |      24 |  4004057 |  3831762 |     1521   6322 |        0 |        0
688.49/688.63	c  688s |      24 |  4015035 |  3842262 |     1521   6335 |        0 |        0
690.48/690.63	c  690s |      24 |  4025944 |  3852762 |     1521   6349 |        0 |        0
692.48/692.63	c  692s |      24 |  4036715 |  3863062 |     1521   6362 |        0 |        0
694.48/694.64	c  694s |      24 |  4047644 |  3873362 |     1521   6375 |        0 |        0
696.48/696.65	c  696s |      24 |  4058505 |  3883862 |     1521   6388 |        0 |        0
698.48/698.66	c  698s |      24 |  4069443 |  3894362 |     1521   6401 |        0 |        0
700.48/700.68	c  700s |      24 |  4080140 |  3904862 |     1521   6414 |        0 |        0
702.48/702.69	c  702s |      24 |  4091147 |  3915362 |     1521   6427 |        0 |        0
704.47/704.69	c  704s |      24 |  4102223 |  3925862 |     1521   6441 |        0 |        0
706.57/706.70	c  706s |      24 |  4112885 |  3936162 |     1521   6454 |        0 |        0
708.57/708.71	c  708s |      24 |  4123665 |  3946462 |     1521   6467 |        0 |        0
710.58/710.73	c  710s |      24 |  4134310 |  3956562 |     1521   6479 |        0 |        0
712.57/712.73	c  712s |      24 |  4144854 |  3966762 |     1521   6492 |        0 |        0
714.57/714.74	c  714s |      24 |  4155338 |  3976862 |     1521   6505 |        0 |        0
716.57/716.74	c  716s |      24 |  4166111 |  3987262 |     1521   6518 |        0 |        0
718.58/718.75	c  718s |      24 |  4176831 |  3997662 |     1521   6531 |        0 |        0
720.58/720.76	c  720s |      24 |  4187180 |  4007662 |     1521   6544 |        0 |        0
722.58/722.77	c  722s |      24 |  4197776 |  4017962 |     1521   6557 |        0 |        0
724.57/724.77	c  724s |      24 |  4209296 |  4028662 |     1521   6570 |        0 |        0
726.57/726.78	c  726s |      24 |  4220510 |  4039362 |     1521   6584 |        0 |        0
728.57/728.79	c  728s |      24 |  4231509 |  4049762 |     1521   6597 |        0 |        0
730.67/730.81	c  730s |      24 |  4242458 |  4060162 |     1521   6610 |        0 |        0
732.67/732.82	c  732s |      24 |  4253528 |  4070662 |     1521   6623 |        0 |        0
734.68/734.85	c  734s |      24 |  4264841 |  4081362 |     1521   6637 |        0 |        0
736.67/736.85	c  736s |      24 |  4275855 |  4091562 |     1521   6649 |        0 |        0
738.67/738.86	c  738s |      24 |  4286758 |  4102062 |     1521   6663 |        0 |        0
740.67/740.86	c  740s |      24 |  4297617 |  4112562 |     1521   6676 |        0 |        0
742.67/742.88	c  742s |      24 |  4308531 |  4123062 |     1521   6689 |        0 |        0
744.67/744.89	c  744s |      24 |  4319329 |  4133462 |     1521   6702 |        0 |        0
746.67/746.89	c  746s |      24 |  4330236 |  4143762 |     1521   6715 |        0 |        0
748.77/748.90	c  748s |      24 |  4341065 |  4154162 |     1521   6728 |        0 |        0
750.77/750.90	c  750s |      24 |  4351805 |  4164462 |     1521   6741 |        0 |        0
752.76/752.91	c  752s |      24 |  4362510 |  4174762 |     1521   6754 |        0 |        0
754.76/754.92	c  754s |      24 |  4373264 |  4185162 |     1521   6768 |        0 |        0
756.77/756.94	c  756s |      24 |  4384144 |  4195762 |     1521   6781 |        0 |        0
758.76/758.94	c  758s |      24 |  4394981 |  4206062 |     1521   6794 |        0 |        0
760.76/760.94	c  760s |      24 |  4405681 |  4216262 |     1521   6807 |        0 |        0
762.75/762.96	c  762s |      24 |  4416538 |  4226762 |     1521   6820 |        0 |        0
764.75/764.97	c  764s |      24 |  4426925 |  4236862 |     1521   6833 |        0 |        0
766.75/766.97	c  766s |      24 |  4437344 |  4247062 |     1521   6846 |        0 |        0
768.76/768.98	c  768s |      24 |  4447908 |  4257362 |     1521   6859 |        0 |        0
770.75/770.99	c  770s |      24 |  4458544 |  4267662 |     1521   6872 |        0 |        0
772.75/772.99	c  772s |      24 |  4469072 |  4277862 |     1521   6885 |        0 |        0
774.85/775.00	c  774s |      24 |  4479607 |  4288062 |     1521   6898 |        0 |        0
776.85/777.02	c  776s |      24 |  4490545 |  4298562 |     1521   6911 |        0 |        0
778.85/779.03	c  779s |      24 |  4501497 |  4308762 |     1521   6924 |        0 |        0
780.86/781.03	c  781s |      24 |  4512075 |  4318762 |     1521   6936 |        0 |        0
782.85/783.03	c  783s |      24 |  4522690 |  4328662 |     1521   6949 |        0 |        0
784.85/785.04	c  785s |      24 |  4534149 |  4339362 |     1521   6962 |        0 |        0
786.85/787.05	c  787s |      24 |  4545325 |  4349962 |     1521   6976 |        0 |        0
788.85/789.06	c  789s |      24 |  4556275 |  4360362 |     1521   6989 |        0 |        0
790.85/791.06	c  791s |      24 |  4566941 |  4370662 |     1521   7002 |        0 |        0
792.84/793.07	c  793s |      24 |  4577782 |  4380962 |     1521   7015 |        0 |        0
794.84/795.07	c  795s |      24 |  4588887 |  4391362 |     1521   7028 |        0 |        0
796.84/797.07	c  797s |      24 |  4599503 |  4401362 |     1521   7040 |        0 |        0
798.84/799.08	c  799s |      24 |  4610120 |  4411562 |     1521   7053 |        0 |        0
800.84/801.08	c  801s |      24 |  4621202 |  4422162 |     1521   7067 |        0 |        0
802.84/803.08	c  803s |      24 |  4631960 |  4432562 |     1521   7080 |        0 |        0
804.83/805.08	c  805s |      24 |  4642789 |  4442862 |     1521   7093 |        0 |        0
806.83/807.09	c  807s |      24 |  4653762 |  4453262 |     1521   7106 |        0 |        0
808.93/809.11	c  809s |      24 |  4664531 |  4463462 |     1521   7119 |        0 |        0
810.93/811.12	c  811s |      24 |  4675288 |  4473662 |     1521   7132 |        0 |        0
812.92/813.13	c  813s |      24 |  4685858 |  4483762 |     1521   7144 |        0 |        0
814.93/815.15	c  815s |      24 |  4697113 |  4494362 |     1521   7158 |        0 |        0
816.92/817.15	c  817s |      24 |  4707851 |  4504662 |     1521   7171 |        0 |        0
818.93/819.16	c  819s |      24 |  4718760 |  4515062 |     1521   7184 |        0 |        0
820.93/821.17	c  821s |      24 |  4729743 |  4525562 |     1521   7197 |        0 |        0
822.92/823.18	c  823s |      24 |  4740436 |  4535662 |     1521   7210 |        0 |        0
824.93/825.18	c  825s |      24 |  4751364 |  4545862 |     1521   7223 |        0 |        0
826.92/827.18	c  827s |      24 |  4762002 |  4556062 |     1521   7236 |        0 |        0
828.92/829.20	c  829s |      24 |  4772723 |  4566362 |     1521   7249 |        0 |        0
831.02/831.20	c  831s |      24 |  4783466 |  4576362 |     1521   7261 |        0 |        0
833.02/833.22	c  833s |      24 |  4794313 |  4586762 |     1521   7274 |        0 |        0
835.02/835.23	c  835s |      24 |  4804908 |  4596862 |     1521   7287 |        0 |        0
837.03/837.25	c  837s |      24 |  4815856 |  4606962 |     1521   7300 |        0 |        0
839.02/839.26	c  839s |      24 |  4826418 |  4616962 |     1521   7313 |        0 |        0
841.02/841.26	c  841s |      24 |  4837568 |  4627362 |     1521   7326 |        0 |        0
843.01/843.28	c  843s |      24 |  4848343 |  4637662 |     1521   7339 |        0 |        0
845.01/845.28	c  845s |      24 |  4858944 |  4647962 |     1521   7352 |        0 |        0
847.11/847.30	c  847s |      24 |  4869620 |  4658262 |     1521   7365 |        0 |        0
849.12/849.31	c  849s |      24 |  4880425 |  4668562 |     1521   7378 |        0 |        0
851.11/851.32	c  851s |      24 |  4890885 |  4678562 |     1521   7390 |        0 |        0
853.11/853.32	c  853s |      24 |  4901428 |  4688562 |     1521   7403 |        0 |        0
855.11/855.32	c  855s |      24 |  4911715 |  4698462 |     1521   7416 |        0 |        0
857.10/857.33	c  857s |      24 |  4922366 |  4708562 |     1521   7428 |        0 |        0
859.10/859.35	c  859s |      24 |  4933488 |  4719062 |     1521   7442 |        0 |        0
861.11/861.37	c  861s |      24 |  4944428 |  4729462 |     1521   7455 |        0 |        0
863.11/863.38	c  863s |      24 |  4955414 |  4739962 |     1521   7468 |        0 |        0
865.11/865.39	c  865s |      24 |  4966424 |  4750362 |     1521   7481 |        0 |        0
867.21/867.40	c  867s |      24 |  4977428 |  4760762 |     1521   7494 |        0 |        0
869.21/869.41	c  869s |      24 |  4988363 |  4771262 |     1521   7507 |        0 |        0
871.21/871.42	c  871s |      24 |  4999413 |  4781662 |     1521   7520 |        0 |        0
873.21/873.43	c  873s |      24 |  5009957 |  4791962 |     1521   7533 |        0 |        0
875.20/875.45	c  875s |      24 |  5020920 |  4802462 |     1521   7547 |        0 |        0
877.20/877.46	c  877s |      24 |  5031620 |  4812762 |     1521   7560 |        0 |        0
879.20/879.47	c  879s |      24 |  5042220 |  4822962 |     1521   7572 |        0 |        0
881.20/881.48	c  881s |      24 |  5053096 |  4833262 |     1521   7585 |        0 |        0
883.21/883.49	c  883s |      24 |  5064196 |  4843762 |     1521   7599 |        0 |        0
885.20/885.50	c  885s |      24 |  5074725 |  4853962 |     1521   7611 |        0 |        0
887.30/887.51	c  887s |      24 |  5085297 |  4864162 |     1521   7624 |        0 |        0
889.30/889.53	c  889s |      24 |  5095833 |  4874162 |     1521   7637 |        0 |        0
891.30/891.55	c  891s |      24 |  5106219 |  4884162 |     1521   7650 |        0 |        0
893.29/893.57	c  893s |      24 |  5116776 |  4894462 |     1521   7663 |        0 |        0
895.30/895.57	c  895s |      24 |  5127403 |  4904662 |     1521   7675 |        0 |        0
897.29/897.57	c  897s |      24 |  5137651 |  4914562 |     1521   7688 |        0 |        0
899.29/899.59	c  899s |      24 |  5148025 |  4924662 |     1521   7701 |        0 |        0
901.39/901.61	c  901s |      24 |  5158651 |  4934862 |     1521   7714 |        0 |        0
903.39/903.61	c  903s |      24 |  5169212 |  4945062 |     1521   7726 |        0 |        0
905.39/905.63	c  905s |      24 |  5179693 |  4955262 |     1521   7739 |        0 |        0
907.39/907.65	c  907s |      24 |  5189996 |  4965262 |     1521   7752 |        0 |        0
909.38/909.67	c  909s |      24 |  5200918 |  4975662 |     1521   7765 |        0 |        0
911.38/911.68	c  911s |      24 |  5211512 |  4985862 |     1521   7778 |        0 |        0
913.38/913.69	c  913s |      24 |  5222195 |  4996162 |     1521   7791 |        0 |        0
915.48/915.70	c  915s |      24 |  5232805 |  5006262 |     1521   7804 |        0 |        0
917.48/917.70	c  917s |      24 |  5243587 |  5016462 |     1521   7817 |        0 |        0
919.49/919.72	c  919s |      24 |  5254170 |  5026562 |     1521   7829 |        0 |        0
921.47/921.72	c  921s |      24 |  5264823 |  5036762 |     1674   7841 |        0 |        0
923.47/923.73	c  923s |      24 |  5275222 |  5046662 |     1674   7853 |        0 |        0
925.47/925.74	c  925s |      24 |  5285631 |  5056562 |     1674   7864 |        0 |        0
927.18/927.49	c  927s |      25 |  5294422 |  5065098 |     1674   7874 |        0 |        0
929.28/929.50	c  929s |      25 |  5305371 |  5075598 |     1674   7886 |        0 |        0
931.27/931.52	c  931s |      25 |  5316032 |  5086098 |     1674   7898 |        0 |        0
933.27/933.52	c  933s |      25 |  5326535 |  5096298 |     1674   7910 |        0 |        0
935.26/935.53	c  935s |      25 |  5337518 |  5106798 |     1674   7922 |        0 |        0
937.26/937.54	c  937s |      25 |  5348537 |  5117098 |     1674   7934 |        0 |        0
939.28/939.55	c  939s |      25 |  5359074 |  5127198 |     1674   7945 |        0 |        0
941.27/941.56	c  941s |      25 |  5369600 |  5137398 |     1674   7957 |        0 |        0
943.27/943.56	c  943s |      25 |  5380298 |  5147698 |     1674   7969 |        0 |        0
945.27/945.57	c  945s |      25 |  5390938 |  5157898 |     1674   7980 |        0 |        0
947.27/947.58	c  947s |      25 |  5402250 |  5168498 |     1674   7993 |        0 |        0
949.26/949.59	c  949s |      25 |  5413488 |  5178798 |     1674   8005 |        0 |        0
951.27/951.60	c  951s |      25 |  5424115 |  5188798 |     1674   8016 |        0 |        0
953.36/953.62	c  953s |      25 |  5434339 |  5198598 |     1674   8027 |        0 |        0
955.36/955.62	c  955s |      25 |  5444956 |  5208598 |     1674   8039 |        0 |        0
957.36/957.62	c  957s |      25 |  5455232 |  5218298 |     1674   8050 |        0 |        0
959.36/959.63	c  959s |      25 |  5466550 |  5228998 |     1674   8062 |        0 |        0
961.36/961.65	c  961s |      25 |  5477430 |  5239198 |     1674   8074 |        0 |        0
963.36/963.65	c  963s |      25 |  5487996 |  5249398 |     1674   8086 |        0 |        0
965.35/965.66	c  965s |      25 |  5498625 |  5259498 |     1674   8097 |        0 |        0
967.35/967.67	c  967s |      25 |  5509054 |  5269498 |     1674   8109 |        0 |        0
969.35/969.67	c  969s |      25 |  5519746 |  5279598 |     1674   8120 |        0 |        0
971.35/971.67	c  971s |      25 |  5530340 |  5289598 |     1674   8132 |        0 |        0
973.36/973.69	c  973s |      25 |  5540805 |  5299398 |     1674   8143 |        0 |        0
975.45/975.72	c  975s |      25 |  5551447 |  5309498 |     1674   8155 |        0 |        0
977.45/977.74	c  977s |      25 |  5561960 |  5319398 |     1674   8166 |        0 |        0
979.45/979.74	c  979s |      25 |  5572419 |  5329398 |     1674   8177 |        0 |        0
981.44/981.76	c  981s |      25 |  5583590 |  5339798 |     1674   8189 |        0 |        0
983.44/983.77	c  983s |      25 |  5593994 |  5349898 |     1674   8201 |        0 |        0
985.45/985.77	c  985s |      25 |  5604425 |  5359998 |     1674   8213 |        0 |        0
987.44/987.78	c  987s |      25 |  5615137 |  5369898 |     1674   8224 |        0 |        0
989.44/989.79	c  989s |      25 |  5625768 |  5380098 |     1674   8236 |        0 |        0
991.43/991.79	c  991s |      25 |  5636034 |  5389898 |     1674   8247 |        0 |        0
993.54/993.80	c  993s |      25 |  5646431 |  5399798 |     1674   8258 |        0 |        0
995.54/995.82	c  995s |      25 |  5657086 |  5409898 |     1674   8270 |        0 |        0
997.55/997.83	c  997s |      25 |  5668021 |  5420198 |     1674   8282 |        0 |        0
999.54/999.85	c  999s |      25 |  5679048 |  5430398 |     1674   8293 |        0 |        0
1001.53/1001.85	c 1001s |      25 |  5689322 |  5440098 |     1674   8305 |        0 |        0
1003.53/1003.87	c 1003s |      25 |  5699647 |  5449798 |     1674   8316 |        0 |        0
1005.53/1005.88	c 1005s |      25 |  5709891 |  5459398 |     1674   8327 |        0 |        0
1007.53/1007.90	c 1007s |      25 |  5720360 |  5469498 |     1674   8338 |        0 |        0
1009.64/1009.91	c 1009s |      25 |  5730715 |  5479498 |     1674   8350 |        0 |        0
1011.63/1011.93	c 1011s |      25 |  5741166 |  5489598 |     1674   8362 |        0 |        0
1013.63/1013.96	c 1013s |      25 |  5751558 |  5499598 |     1674   8373 |        0 |        0
1015.63/1015.97	c 1015s |      25 |  5761866 |  5509598 |     1674   8385 |        0 |        0
1017.63/1017.98	c 1017s |      25 |  5772287 |  5519498 |     1674   8396 |        0 |        0
1019.63/1019.99	c 1019s |      25 |  5782657 |  5529098 |     1674   8407 |        0 |        0
1021.63/1022.00	c 1021s |      25 |  5792932 |  5538598 |     1674   8418 |        0 |        0
1023.72/1024.00	c 1023s |      25 |  5803653 |  5548898 |     1674   8430 |        0 |        0
1025.72/1026.00	c 1025s |      25 |  5813946 |  5558898 |     1674   8441 |        0 |        0
1027.72/1028.02	c 1027s |      25 |  5824288 |  5568898 |     1674   8453 |        0 |        0
1029.72/1030.02	c 1029s |      25 |  5834738 |  5578898 |     1674   8464 |        0 |        0
1031.72/1032.02	c 1032s |      25 |  5845073 |  5588898 |     1674   8476 |        0 |        0
1033.72/1034.02	c 1034s |      25 |  5855554 |  5598998 |     1674   8487 |        0 |        0
1035.72/1036.04	c 1036s |      25 |  5865811 |  5608998 |     1674   8499 |        0 |        0
1037.72/1038.04	c 1038s |      25 |  5875825 |  5618698 |     1674   8510 |        0 |        0
1039.72/1040.05	c 1040s |      25 |  5885953 |  5628598 |     1674   8521 |        0 |        0
1041.71/1042.05	c 1042s |      25 |  5896412 |  5638698 |     1674   8533 |        0 |        0
1043.72/1044.07	c 1044s |      25 |  5906916 |  5648798 |     1674   8545 |        0 |        0
1045.71/1046.07	c 1046s |      25 |  5917332 |  5658798 |     1674   8556 |        0 |        0
1047.71/1048.08	c 1048s |      25 |  5927711 |  5668898 |     1674   8568 |        0 |        0
1049.71/1050.09	c 1050s |      25 |  5938051 |  5678798 |     1674   8579 |        0 |        0
1051.80/1052.10	c 1052s |      25 |  5948396 |  5688698 |     1674   8591 |        0 |        0
1053.80/1054.12	c 1054s |      25 |  5958841 |  5698798 |     1674   8602 |        0 |        0
1055.81/1056.12	c 1056s |      25 |  5969119 |  5708698 |     1674   8614 |        0 |        0
1057.80/1058.13	c 1058s |      25 |  5979302 |  5718498 |     1674   8625 |        0 |        0
1059.80/1060.14	c 1060s |      25 |  5989482 |  5728298 |     1674   8636 |        0 |        0
1061.80/1062.15	c 1062s |      25 |  6000195 |  5738398 |     1674   8648 |        0 |        0
1063.80/1064.17	c 1064s |      25 |  6010489 |  5748298 |     1674   8659 |        0 |        0
1065.80/1066.18	c 1066s |      25 |  6020879 |  5758298 |     1674   8671 |        0 |        0
1067.80/1068.20	c 1068s |      25 |  6031126 |  5767998 |     1674   8682 |        0 |        0
1069.89/1070.21	c 1070s |      25 |  6041368 |  5777798 |     1674   8693 |        0 |        0
1071.89/1072.23	c 1072s |      25 |  6051509 |  5787698 |     1674   8704 |        0 |        0
1073.89/1074.25	c 1074s |      25 |  6061877 |  5797698 |     1674   8716 |        0 |        0
1075.89/1076.27	c 1076s |      25 |  6072309 |  5807698 |     1674   8728 |        0 |        0
1077.89/1078.29	c 1078s |      25 |  6082363 |  5817398 |     1674   8739 |        0 |        0
1079.89/1080.30	c 1080s |      25 |  6092474 |  5827198 |     1674   8750 |        0 |        0
1081.98/1082.31	c 1082s |      25 |  6102382 |  5836798 |     1674   8761 |        0 |        0
1083.98/1084.32	c 1084s |      25 |  6113049 |  5846998 |     1674   8773 |        0 |        0
1085.99/1086.34	c 1086s |      25 |  6123370 |  5856998 |     1674   8784 |        0 |        0
1087.99/1088.35	c 1088s |      25 |  6133603 |  5866898 |     1674   8796 |        0 |        0
1089.99/1090.36	c 1090s |      25 |  6144162 |  5876798 |     1674   8807 |        0 |        0
1091.99/1092.38	c 1092s |      25 |  6154592 |  5886598 |     1674   8818 |        0 |        0
1093.99/1094.39	c 1094s |      25 |  6164946 |  5896398 |     1674   8829 |        0 |        0
1096.09/1096.40	c 1096s |      25 |  6174840 |  5905998 |     1674   8841 |        0 |        0
1098.09/1098.40	c 1098s |      25 |  6185228 |  5915998 |     1674   8852 |        0 |        0
1100.09/1100.40	c 1100s |      25 |  6195383 |  5925698 |     1674   8863 |        0 |        0
1102.08/1102.41	c 1102s |      25 |  6205522 |  5935498 |     1674   8874 |        0 |        0
1104.09/1104.42	c 1104s |      25 |  6216256 |  5945698 |     1674   8886 |        0 |        0
1106.08/1106.43	c 1106s |      25 |  6226894 |  5955598 |     1674   8898 |        0 |        0
1108.08/1108.43	c 1108s |      25 |  6236932 |  5965098 |     1674   8908 |        0 |        0
1110.08/1110.43	c 1110s |      25 |  6246973 |  5974798 |     1674   8920 |        0 |        0
1112.07/1112.45	c 1112s |      25 |  6257475 |  5984898 |     1674   8931 |        0 |        0
1114.08/1114.46	c 1114s |      25 |  6267687 |  5994898 |     1674   8943 |        0 |        0
1116.07/1116.46	c 1116s |      25 |  6277892 |  6004698 |     1674   8954 |        0 |        0
1118.07/1118.47	c 1118s |      25 |  6288316 |  6014798 |     1674   8966 |        0 |        0
1120.07/1120.48	c 1120s |      25 |  6298468 |  6024698 |     1674   8977 |        0 |        0
1122.07/1122.49	c 1122s |      25 |  6308496 |  6034398 |     1674   8988 |        0 |        0
1124.07/1124.49	c 1124s |      25 |  6318764 |  6044298 |     1674   9000 |        0 |        0
1126.07/1126.50	c 1126s |      25 |  6328777 |  6053998 |     1674   9011 |        0 |        0
1128.17/1128.51	c 1128s |      25 |  6338780 |  6063498 |     1674   9022 |        0 |        0
1130.17/1130.52	c 1130s |      25 |  6349149 |  6073398 |     1674   9033 |        0 |        0
1132.16/1132.53	c 1132s |      25 |  6359445 |  6083298 |     1674   9044 |        0 |        0
1134.16/1134.55	c 1134s |      25 |  6369577 |  6093098 |     1674   9056 |        0 |        0
1136.16/1136.56	c 1136s |      25 |  6379579 |  6102698 |     1674   9067 |        0 |        0
1138.17/1138.56	c 1138s |      25 |  6390127 |  6112698 |     1674   9078 |        0 |        0
1140.16/1140.58	c 1140s |      25 |  6400495 |  6122498 |     1674   9090 |        0 |        0
1142.16/1142.58	c 1142s |      25 |  6410808 |  6132198 |     1674   9101 |        0 |        0
1144.16/1144.59	c 1144s |      25 |  6420958 |  6141798 |     1674   9112 |        0 |        0
1146.26/1146.60	c 1146s |      25 |  6430995 |  6151498 |     1674   9123 |        0 |        0
1148.26/1148.61	c 1148s |      25 |  6441359 |  6161398 |     1674   9134 |        0 |        0
1150.26/1150.62	c 1150s |      25 |  6451603 |  6171298 |     1674   9146 |        0 |        0
1152.25/1152.63	c 1152s |      25 |  6461785 |  6180898 |     1674   9157 |        0 |        0
1154.25/1154.65	c 1154s |      25 |  6471885 |  6190498 |     1674   9168 |        0 |        0
1156.25/1156.65	c 1156s |      25 |  6482202 |  6200198 |     1674   9179 |        0 |        0
1158.25/1158.66	c 1158s |      25 |  6492000 |  6209498 |     1674   9190 |        0 |        0
1160.25/1160.67	c 1160s |      25 |  6502362 |  6219498 |     1674   9201 |        0 |        0
1162.24/1162.69	c 1162s |      25 |  6512713 |  6229498 |     1674   9213 |        0 |        0
1164.34/1164.70	c 1164s |      25 |  6522893 |  6239098 |     1674   9224 |        0 |        0
1166.34/1166.70	c 1166s |      25 |  6532785 |  6248598 |     1674   9235 |        0 |        0
1168.34/1168.72	c 1168s |      25 |  6542727 |  6258098 |     1674   9246 |        0 |        0
1170.34/1170.73	c 1170s |      25 |  6552650 |  6267598 |     1674   9256 |        0 |        0
1172.34/1172.75	c 1172s |      25 |  6562612 |  6277098 |     1674   9267 |        0 |        0
1174.33/1174.75	c 1174s |      25 |  6572849 |  6286698 |     1674   9278 |        0 |        0
1176.33/1176.75	c 1176s |      25 |  6582661 |  6295998 |     1674   9289 |        0 |        0
1178.33/1178.77	c 1178s |      25 |  6592998 |  6305998 |     1674   9301 |        0 |        0
1180.33/1180.79	c 1180s |      25 |  6603182 |  6315798 |     1674   9312 |        0 |        0
1182.43/1182.80	c 1182s |      25 |  6613028 |  6325098 |     1674   9322 |        0 |        0
1184.33/1184.80	c 1184s |      25 |  6622858 |  6334498 |     1674   9333 |        0 |        0
1186.42/1186.83	c 1186s |      25 |  6632955 |  6344298 |     1674   9345 |        0 |        0
1188.42/1188.84	c 1188s |      25 |  6643118 |  6353998 |     1674   9356 |        0 |        0
1190.42/1190.85	c 1190s |      25 |  6653166 |  6363698 |     1674   9367 |        0 |        0
1192.43/1192.86	c 1192s |      25 |  6662939 |  6373198 |     1674   9378 |        0 |        0
1194.43/1194.86	c 1194s |      25 |  6672755 |  6382698 |     1674   9389 |        0 |        0
1196.44/1196.88	c 1196s |      25 |  6682685 |  6392298 |     1674   9400 |        0 |        0
1198.43/1198.88	c 1198s |      25 |  6692534 |  6401798 |     1674   9411 |        0 |        0
1200.43/1200.89	c 1200s |      25 |  6702801 |  6411598 |     1674   9422 |        0 |        0
1202.52/1202.90	c 1202s |      25 |  6712818 |  6421298 |     1674   9433 |        0 |        0
1204.52/1204.90	c 1204s |      25 |  6722756 |  6430798 |     1674   9444 |        0 |        0
1206.52/1206.90	c 1206s |      25 |  6732591 |  6440298 |     1674   9455 |        0 |        0
1208.53/1208.92	c 1208s |      25 |  6742478 |  6449898 |     1674   9466 |        0 |        0
1210.52/1210.92	c 1210s |      25 |  6752408 |  6459498 |     1674   9477 |        0 |        0
1212.51/1212.93	c 1212s |      25 |  6762180 |  6468798 |     1674   9488 |        0 |        0
1214.51/1214.93	c 1214s |      25 |  6771762 |  6478098 |     1674   9498 |        0 |        0
1216.51/1216.94	c 1216s |      25 |  6781619 |  6487598 |     1674   9509 |        0 |        0
1218.52/1218.96	c 1218s |      25 |  6791407 |  6496798 |     1674   9520 |        0 |        0
1220.51/1220.96	c 1220s |      25 |  6801336 |  6505998 |     1674   9531 |        0 |        0
1222.50/1222.98	c 1222s |      25 |  6811454 |  6515398 |     1674   9541 |        0 |        0
1224.60/1225.00	c 1224s |      25 |  6821523 |  6524898 |     1674   9552 |        0 |        0
1226.60/1227.01	c 1226s |      25 |  6831455 |  6534098 |     1674   9563 |        0 |        0
1228.60/1229.02	c 1229s |      25 |  6841335 |  6543398 |     1674   9574 |        0 |        0
1230.61/1231.03	c 1231s |      25 |  6851064 |  6552598 |     1674   9584 |        0 |        0
1232.60/1233.05	c 1233s |      25 |  6860791 |  6561898 |     1674   9595 |        0 |        0
1234.60/1235.07	c 1235s |      25 |  6871064 |  6571498 |     1674   9606 |        0 |        0
1236.60/1237.08	c 1237s |      25 |  6881218 |  6581198 |     1674   9617 |        0 |        0
1238.59/1239.09	c 1239s |      25 |  6891639 |  6591098 |     1674   9628 |        0 |        0
1240.69/1241.11	c 1241s |      25 |  6901907 |  6600898 |     1674   9640 |        0 |        0
1242.70/1243.12	c 1243s |      25 |  6912543 |  6610998 |     1674   9651 |        0 |        0
1244.69/1245.12	c 1245s |      25 |  6922651 |  6620598 |     1674   9662 |        0 |        0
1246.69/1247.13	c 1247s |      25 |  6932590 |  6630198 |     1674   9673 |        0 |        0
1248.69/1249.14	c 1249s |      25 |  6942771 |  6639898 |     1674   9684 |        0 |        0
1250.69/1251.16	c 1251s |      25 |  6952946 |  6649698 |     1674   9696 |        0 |        0
1252.68/1253.18	c 1253s |      25 |  6962740 |  6659198 |     1674   9707 |        0 |        0
1254.69/1255.19	c 1255s |      25 |  6972722 |  6668698 |     1674   9717 |        0 |        0
1256.78/1257.21	c 1257s |      25 |  6982601 |  6678098 |     1674   9728 |        0 |        0
1258.78/1259.22	c 1259s |      25 |  6992575 |  6687698 |     1674   9739 |        0 |        0
1260.78/1261.23	c 1261s |      25 |  7002527 |  6697198 |     1674   9750 |        0 |        0
1262.78/1263.24	c 1263s |      25 |  7012429 |  6706498 |     1674   9761 |        0 |        0
1264.77/1265.26	c 1265s |      25 |  7022239 |  6715998 |     1674   9772 |        0 |        0
1266.78/1267.27	c 1267s |      25 |  7032148 |  6725398 |     1674   9783 |        0 |        0
1268.77/1269.29	c 1269s |      25 |  7042499 |  6735198 |     1674   9794 |        0 |        0
1270.87/1271.30	c 1271s |      25 |  7052636 |  6744698 |     1674   9805 |        0 |        0
1272.87/1273.33	c 1273s |      25 |  7062498 |  6754098 |     1674   9816 |        0 |        0
1274.88/1275.34	c 1275s |      25 |  7072298 |  6763498 |     1674   9826 |        0 |        0
1276.88/1277.34	c 1277s |      25 |  7081944 |  6772598 |     1674   9837 |        0 |        0
1278.88/1279.36	c 1279s |      25 |  7091690 |  6781898 |     1674   9848 |        0 |        0
1280.87/1281.37	c 1281s |      25 |  7101813 |  6791598 |     1674   9859 |        0 |        0
1282.87/1283.39	c 1283s |      25 |  7111952 |  6801298 |     1674   9870 |        0 |        0
1284.97/1285.41	c 1285s |      25 |  7121924 |  6810798 |     1674   9881 |        0 |        0
1286.97/1287.41	c 1287s |      25 |  7131784 |  6820198 |     1674   9892 |        0 |        0
1288.97/1289.42	c 1289s |      25 |  7141508 |  6829698 |     1674   9902 |        0 |        0
1290.98/1291.43	c 1291s |      25 |  7151265 |  6839198 |     1674   9913 |        0 |        0
1292.96/1293.43	c 1293s |      25 |  7161203 |  6848798 |     1674   9924 |        0 |        0
1294.96/1295.44	c 1295s |      25 |  7171047 |  6858298 |     1674   9935 |        0 |        0
1296.96/1297.45	c 1297s |      25 |  7180620 |  6867498 |     1674   9946 |        0 |        0
1298.96/1299.46	c 1299s |      25 |  7190541 |  6876998 |     1674   9957 |        0 |        0
1300.97/1301.47	c 1301s |      25 |  7200517 |  6886198 |     1674   9967 |        0 |        0
1302.96/1303.48	c 1303s |      25 |  7210313 |  6895598 |     1674   9978 |        0 |        0
1305.06/1305.50	c 1305s |      25 |  7219909 |  6904898 |     1674   9989 |        0 |        0
1307.06/1307.51	c 1307s |      25 |  7229471 |  6914198 |     1674  10000 |        0 |        0
1309.06/1309.53	c 1309s |      25 |  7238956 |  6923398 |     1674  10010 |        0 |        0
1311.06/1311.53	c 1311s |      25 |  7248863 |  6932598 |     1674  10021 |        0 |        0
1313.06/1313.54	c 1313s |      25 |  7258482 |  6941798 |     1674  10031 |        0 |        0
1315.05/1315.56	c 1315s |      25 |  7267920 |  6950898 |     1674  10042 |        0 |        0
1317.05/1317.59	c 1317s |      25 |  7277559 |  6960198 |     1674  10053 |        0 |        0
1319.15/1319.61	c 1319s |      25 |  7287140 |  6969398 |     1674  10063 |        0 |        0
1321.15/1321.62	c 1321s |      25 |  7297136 |  6978998 |     1674  10074 |        0 |        0
1323.15/1323.63	c 1323s |      25 |  7306851 |  6988298 |     1674  10085 |        0 |        0
1325.16/1325.63	c 1325s |      25 |  7316664 |  6997698 |     1674  10096 |        0 |        0
1327.15/1327.65	c 1327s |      25 |  7326396 |  7007098 |     1674  10106 |        0 |        0
1329.15/1329.66	c 1329s |      25 |  7336131 |  7016298 |     1674  10117 |        0 |        0
1331.15/1331.68	c 1331s |      25 |  7345700 |  7025398 |     1674  10128 |        0 |        0
1333.24/1333.70	c 1333s |      25 |  7355818 |  7034998 |     1674  10139 |        0 |        0
1335.24/1335.70	c 1335s |      25 |  7365652 |  7043898 |     1674  10149 |        0 |        0
1337.25/1337.71	c 1337s |      25 |  7375241 |  7053098 |     1674  10159 |        0 |        0
1339.24/1339.73	c 1339s |      25 |  7385058 |  7062398 |     1674  10170 |        0 |        0
1341.24/1341.73	c 1341s |      25 |  7394848 |  7071698 |     1674  10181 |        0 |        0
1343.24/1343.73	c 1343s |      25 |  7404575 |  7080898 |     1674  10191 |        0 |        0
1345.24/1345.75	c 1345s |      25 |  7413745 |  7089698 |     1674  10202 |        0 |        0
1347.24/1347.76	c 1347s |      25 |  7423247 |  7098898 |     1674  10212 |        0 |        0
1349.24/1349.78	c 1349s |      25 |  7432750 |  7107998 |     1674  10223 |        0 |        0
1351.24/1351.79	c 1351s |      25 |  7442299 |  7117198 |     1674  10233 |        0 |        0
1353.34/1353.80	c 1353s |      25 |  7451580 |  7126198 |     1674  10244 |        0 |        0
1355.34/1355.81	c 1355s |      25 |  7460956 |  7135198 |     1674  10254 |        0 |        0
1357.34/1357.83	c 1357s |      25 |  7470757 |  7144298 |     1674  10265 |        0 |        0
1359.34/1359.84	c 1359s |      25 |  7480535 |  7153698 |     1674  10275 |        0 |        0
1361.35/1361.85	c 1361s |      25 |  7489996 |  7162798 |     1674  10286 |        0 |        0
1363.34/1363.86	c 1363s |      25 |  7499601 |  7172098 |     1674  10296 |        0 |        0
1365.34/1365.86	c 1365s |      25 |  7509266 |  7181198 |     1674  10307 |        0 |        0
1367.34/1367.87	c 1367s |      25 |  7518916 |  7190198 |     1674  10317 |        0 |        0
1369.34/1369.87	c 1369s |      25 |  7528613 |  7199398 |     1674  10328 |        0 |        0
1371.35/1371.87	c 1371s |      25 |  7538248 |  7208498 |     1674  10338 |        0 |        0
1373.34/1373.88	c 1373s |      25 |  7547828 |  7217798 |     1674  10349 |        0 |        0
1375.34/1375.89	c 1375s |      25 |  7557180 |  7226898 |     1674  10360 |        0 |        0
1377.44/1377.90	c 1377s |      25 |  7567041 |  7236398 |     1674  10370 |        0 |        0
1379.44/1379.91	c 1379s |      25 |  7576684 |  7245698 |     1674  10381 |        0 |        0
1381.44/1381.92	c 1381s |      25 |  7586187 |  7254898 |     1674  10392 |        0 |        0
1383.44/1383.94	c 1383s |      25 |  7596001 |  7264198 |     1674  10403 |        0 |        0
1385.44/1385.95	c 1385s |      25 |  7605541 |  7273298 |     1674  10413 |        0 |        0
1387.44/1387.97	c 1387s |      25 |  7615332 |  7282498 |     1674  10424 |        0 |        0
1389.43/1389.98	c 1389s |      25 |  7625012 |  7291498 |     1674  10434 |        0 |        0
1391.53/1392.01	c 1391s |      25 |  7634686 |  7300598 |     1674  10445 |        0 |        0
1393.53/1394.02	c 1394s |      25 |  7643896 |  7309298 |     1674  10455 |        0 |        0
1395.54/1396.04	c 1396s |      25 |  7653435 |  7318398 |     1674  10465 |        0 |        0
1397.53/1398.05	c 1398s |      25 |  7662662 |  7327298 |     1674  10475 |        0 |        0
1399.53/1400.06	c 1400s |      25 |  7671964 |  7336298 |     1674  10486 |        0 |        0
1401.53/1402.09	c 1402s |      25 |  7681425 |  7345198 |     1674  10496 |        0 |        0
1403.53/1404.09	c 1404s |      25 |  7690575 |  7353798 |     1674  10506 |        0 |        0
1405.63/1406.11	c 1406s |      25 |  7700539 |  7362998 |     1674  10516 |        0 |        0
1407.64/1408.11	c 1408s |      25 |  7710095 |  7372198 |     1674  10527 |        0 |        0
1409.63/1410.13	c 1410s |      25 |  7719591 |  7381398 |     1674  10537 |        0 |        0
1411.63/1412.13	c 1412s |      25 |  7728779 |  7390298 |     1674  10548 |        0 |        0
1413.63/1414.14	c 1414s |      25 |  7738549 |  7399598 |     1674  10558 |        0 |        0
1415.63/1416.15	c 1416s |      25 |  7747903 |  7408698 |     1674  10569 |        0 |        0
1417.63/1418.18	c 1418s |      25 |  7757364 |  7417798 |     1674  10579 |        0 |        0
1419.63/1420.19	c 1420s |      25 |  7767555 |  7427598 |     1674  10591 |        0 |        0
1421.72/1422.20	c 1422s |      25 |  7777571 |  7437098 |     1674  10602 |        0 |        0
1423.73/1424.20	c 1424s |      25 |  7787440 |  7446498 |     1674  10612 |        0 |        0
1425.73/1426.22	c 1426s |      25 |  7797352 |  7455798 |     1674  10623 |        0 |        0
1427.73/1428.23	c 1428s |      25 |  7807422 |  7465298 |     1674  10634 |        0 |        0
1429.73/1430.24	c 1430s |      25 |  7817562 |  7474898 |     1674  10645 |        0 |        0
1431.74/1432.24	c 1432s |      25 |  7827553 |  7484398 |     1674  10656 |        0 |        0
1433.73/1434.26	c 1434s |      25 |  7837413 |  7493798 |     1674  10667 |        0 |        0
1435.73/1436.27	c 1436s |      25 |  7847257 |  7503098 |     1674  10677 |        0 |        0
1437.73/1438.27	c 1438s |      25 |  7857069 |  7512398 |     1674  10688 |        0 |        0
1439.73/1440.28	c 1440s |      25 |  7866546 |  7521298 |     1674  10698 |        0 |        0
1441.83/1442.30	c 1442s |      25 |  7876134 |  7530398 |     1674  10709 |        0 |        0
1443.73/1444.30	c 1444s |      25 |  7885734 |  7539598 |     1674  10719 |        0 |        0
1445.83/1446.31	c 1446s |      25 |  7895469 |  7548898 |     1842  10729 |        0 |        0
1447.83/1448.33	c 1448s |      25 |  7905162 |  7558198 |     1842  10739 |        0 |        0
1449.83/1450.33	c 1450s |      25 |  7914876 |  7567398 |     1842  10748 |        0 |        0
1451.83/1452.34	c 1452s |      25 |  7924207 |  7576298 |     1842  10758 |        0 |        0
1453.84/1454.35	c 1454s |      25 |  7933548 |  7585398 |     1842  10767 |        0 |        0
1455.83/1456.37	c 1456s |      25 |  7943137 |  7594498 |     1842  10777 |        0 |        0
1456.53/1457.09	c 1457s |      26 |  7946593 |  7597752 |     1842  10780 |        0 |        0
1458.63/1459.10	c 1459s |      26 |  7956933 |  7607552 |     1842  10790 |        0 |        0
1460.63/1461.11	c 1461s |      26 |  7967243 |  7617452 |     1842  10801 |        0 |        0
1462.63/1463.12	c 1463s |      26 |  7977478 |  7626952 |     1842  10811 |        0 |        0
1464.63/1465.13	c 1465s |      26 |  7987551 |  7636652 |     1842  10821 |        0 |        0
1466.63/1467.14	c 1467s |      26 |  7997379 |  7645952 |     1842  10831 |        0 |        0
1468.62/1469.14	c 1469s |      26 |  8007282 |  7655452 |     1842  10841 |        0 |        0
1470.62/1471.15	c 1471s |      26 |  8017570 |  7665152 |     1842  10851 |        0 |        0
1472.62/1473.15	c 1473s |      26 |  8027758 |  7674852 |     1842  10861 |        0 |        0
1474.63/1475.16	c 1475s |      26 |  8037912 |  7684452 |     1842  10871 |        0 |        0
1476.62/1477.18	c 1477s |      26 |  8047903 |  7693952 |     1842  10881 |        0 |        0
1478.62/1479.19	c 1479s |      26 |  8057625 |  7703352 |     1842  10891 |        0 |        0
1480.72/1481.20	c 1481s |      26 |  8068025 |  7713252 |     1842  10901 |        0 |        0
1482.72/1483.21	c 1483s |      26 |  8078154 |  7722652 |     1842  10911 |        0 |        0
1484.72/1485.22	c 1485s |      26 |  8088002 |  7732052 |     1842  10921 |        0 |        0
1486.73/1487.24	c 1487s |      26 |  8098281 |  7741752 |     1842  10931 |        0 |        0
1488.72/1489.26	c 1489s |      26 |  8108131 |  7751052 |     1842  10941 |        0 |        0
1490.72/1491.28	c 1491s |      26 |  8117980 |  7760452 |     1842  10951 |        0 |        0
1492.82/1493.30	c 1493s |      26 |  8127833 |  7769852 |     1842  10960 |        0 |        0
1494.82/1495.31	c 1495s |      26 |  8137930 |  7779352 |     1842  10970 |        0 |        0
1496.82/1497.34	c 1497s |      26 |  8147622 |  7788452 |     1842  10980 |        0 |        0
1498.82/1499.35	c 1499s |      26 |  8157711 |  7798152 |     1842  10990 |        0 |        0
1500.81/1501.35	c 1501s |      26 |  8167310 |  7807352 |     1842  11000 |        0 |        0
1502.81/1503.37	c 1503s |      26 |  8177283 |  7816852 |     1842  11010 |        0 |        0
1504.81/1505.38	c 1505s |      26 |  8187402 |  7826352 |     1842  11020 |        0 |        0
1506.91/1507.40	c 1507s |      26 |  8196911 |  7835452 |     1842  11029 |        0 |        0
1508.91/1509.42	c 1509s |      26 |  8206590 |  7844752 |     1842  11039 |        0 |        0
1510.92/1511.43	c 1511s |      26 |  8216357 |  7854052 |     1842  11049 |        0 |        0
1512.91/1513.44	c 1513s |      26 |  8226338 |  7863552 |     1842  11059 |        0 |        0
1514.91/1515.45	c 1515s |      26 |  8236300 |  7873052 |     1842  11069 |        0 |        0
1516.91/1517.45	c 1517s |      26 |  8246038 |  7882452 |     1842  11078 |        0 |        0
1518.91/1519.46	c 1519s |      26 |  8256050 |  7892052 |     1842  11088 |        0 |        0
1520.92/1521.47	c 1521s |      26 |  8265456 |  7900952 |     1842  11098 |        0 |        0
1522.91/1523.47	c 1523s |      26 |  8275256 |  7910252 |     1842  11108 |        0 |        0
1524.91/1525.48	c 1525s |      26 |  8285114 |  7919652 |     1842  11117 |        0 |        0
1526.91/1527.50	c 1527s |      26 |  8295252 |  7928952 |     1842  11127 |        0 |        0
1529.01/1529.51	c 1529s |      26 |  8305041 |  7938052 |     1842  11137 |        0 |        0
1531.01/1531.53	c 1531s |      26 |  8314343 |  7946752 |     1842  11146 |        0 |        0
1533.02/1533.55	c 1533s |      26 |  8324234 |  7956152 |     1842  11156 |        0 |        0
1535.01/1535.57	c 1535s |      26 |  8334283 |  7965652 |     1842  11166 |        0 |        0
1537.01/1537.58	c 1537s |      26 |  8343946 |  7974852 |     1842  11175 |        0 |        0
1539.11/1539.60	c 1539s |      26 |  8353638 |  7984152 |     1842  11185 |        0 |        0
1541.11/1541.60	c 1541s |      26 |  8363181 |  7993152 |     1842  11194 |        0 |        0
1543.11/1543.61	c 1543s |      26 |  8372769 |  8002052 |     1842  11204 |        0 |        0
1545.11/1545.63	c 1545s |      26 |  8382508 |  8011352 |     1842  11213 |        0 |        0
1547.11/1547.63	c 1547s |      26 |  8392002 |  8020452 |     1842  11223 |        0 |        0
1549.11/1549.65	c 1549s |      26 |  8401750 |  8029852 |     1842  11233 |        0 |        0
1551.11/1551.65	c 1551s |      26 |  8411671 |  8039252 |     1842  11243 |        0 |        0
1553.11/1553.66	c 1553s |      26 |  8421228 |  8048452 |     1842  11252 |        0 |        0
1555.11/1555.68	c 1555s |      26 |  8430949 |  8057652 |     1842  11262 |        0 |        0
1557.12/1557.70	c 1557s |      26 |  8440809 |  8067052 |     1842  11272 |        0 |        0
1559.21/1559.70	c 1559s |      26 |  8450232 |  8075952 |     1842  11281 |        0 |        0
1561.21/1561.71	c 1561s |      26 |  8459875 |  8085152 |     1842  11291 |        0 |        0
1563.21/1563.72	c 1563s |      26 |  8469536 |  8094352 |     1842  11300 |        0 |        0
1565.21/1565.73	c 1565s |      26 |  8479104 |  8103452 |     1842  11310 |        0 |        0
1567.21/1567.73	c 1567s |      26 |  8488339 |  8112452 |     1842  11319 |        0 |        0
1569.21/1569.74	c 1569s |      26 |  8498397 |  8121952 |     1842  11329 |        0 |        0
1571.21/1571.74	c 1571s |      26 |  8508125 |  8131352 |     1842  11339 |        0 |        0
1573.21/1573.74	c 1573s |      26 |  8517903 |  8140752 |     1842  11349 |        0 |        0
1575.21/1575.75	c 1575s |      26 |  8527172 |  8149752 |     1842  11358 |        0 |        0
1577.21/1577.77	c 1577s |      26 |  8536612 |  8158852 |     1842  11368 |        0 |        0
1579.21/1579.79	c 1579s |      26 |  8546183 |  8168052 |     1842  11378 |        0 |        0
1581.21/1581.80	c 1581s |      26 |  8555717 |  8177252 |     1842  11387 |        0 |        0
1583.31/1583.82	c 1583s |      26 |  8565231 |  8186452 |     1842  11397 |        0 |        0
1585.31/1585.83	c 1585s |      26 |  8574894 |  8195652 |     1842  11406 |        0 |        0
1587.30/1587.83	c 1587s |      26 |  8584087 |  8204452 |     1842  11416 |        0 |        0
1589.30/1589.84	c 1589s |      26 |  8593205 |  8213252 |     1842  11425 |        0 |        0
1591.31/1591.86	c 1591s |      26 |  8602708 |  8222252 |     1842  11434 |        0 |        0
1593.30/1593.87	c 1593s |      26 |  8611840 |  8231152 |     1842  11444 |        0 |        0
1595.30/1595.89	c 1595s |      26 |  8621257 |  8240252 |     1842  11453 |        0 |        0
1597.30/1597.89	c 1597s |      26 |  8630474 |  8249152 |     1842  11462 |        0 |        0
1599.40/1599.90	c 1599s |      26 |  8639835 |  8258152 |     1842  11472 |        0 |        0
1601.40/1601.91	c 1601s |      26 |  8650134 |  8267952 |     1842  11482 |        0 |        0
1603.41/1603.91	c 1603s |      26 |  8659923 |  8277152 |     1842  11492 |        0 |        0
1605.40/1605.93	c 1605s |      26 |  8669858 |  8286452 |     1842  11501 |        0 |        0
1607.40/1607.94	c 1607s |      26 |  8679628 |  8295552 |     1842  11511 |        0 |        0
1609.40/1609.96	c 1609s |      26 |  8689300 |  8304652 |     1842  11521 |        0 |        0
1611.40/1611.96	c 1611s |      26 |  8698834 |  8313752 |     1842  11530 |        0 |        0
1613.40/1613.98	c 1613s |      26 |  8708277 |  8322652 |     1842  11539 |        0 |        0
1615.40/1615.98	c 1615s |      26 |  8717642 |  8331652 |     1842  11549 |        0 |        0
1617.50/1618.00	c 1617s |      26 |  8727013 |  8340552 |     1842  11558 |        0 |        0
1619.50/1620.02	c 1619s |      26 |  8736309 |  8349452 |     1842  11567 |        0 |        0
1621.50/1622.02	c 1622s |      26 |  8745800 |  8358452 |     1842  11577 |        0 |        0
1623.50/1624.03	c 1624s |      26 |  8755148 |  8367352 |     1842  11586 |        0 |        0
1625.50/1626.04	c 1626s |      26 |  8765008 |  8376652 |     1842  11596 |        0 |        0
1627.50/1628.05	c 1628s |      26 |  8774502 |  8385852 |     1842  11606 |        0 |        0
1629.50/1630.07	c 1630s |      26 |  8784126 |  8395052 |     1842  11615 |        0 |        0
1631.50/1632.09	c 1632s |      26 |  8793586 |  8403952 |     1842  11625 |        0 |        0
1633.60/1634.11	c 1634s |      26 |  8802905 |  8412952 |     1842  11634 |        0 |        0
1635.60/1636.12	c 1636s |      26 |  8812309 |  8421952 |     1842  11643 |        0 |        0
1637.60/1638.13	c 1638s |      26 |  8821400 |  8430752 |     1842  11653 |        0 |        0
1639.61/1640.13	c 1640s |      26 |  8830915 |  8439852 |     1842  11662 |        0 |        0
1641.60/1642.15	c 1642s |      26 |  8840326 |  8448952 |     1842  11672 |        0 |        0
1643.60/1644.16	c 1644s |      26 |  8849713 |  8457952 |     1842  11681 |        0 |        0
1645.60/1646.18	c 1646s |      26 |  8859139 |  8467052 |     1842  11691 |        0 |        0
1647.60/1648.20	c 1648s |      26 |  8868383 |  8475952 |     1842  11700 |        0 |        0
1649.70/1650.21	c 1650s |      26 |  8877591 |  8484752 |     1842  11709 |        0 |        0
1651.70/1652.22	c 1652s |      26 |  8887738 |  8494352 |     1842  11719 |        0 |        0
1653.70/1654.22	c 1654s |      26 |  8897270 |  8503452 |     1842  11729 |        0 |        0
1655.70/1656.22	c 1656s |      26 |  8907057 |  8512652 |     1842  11738 |        0 |        0
1657.70/1658.24	c 1658s |      26 |  8917013 |  8522152 |     1842  11748 |        0 |        0
1659.69/1660.25	c 1660s |      26 |  8927015 |  8531652 |     1842  11758 |        0 |        0
1661.70/1662.27	c 1662s |      26 |  8936678 |  8540852 |     1842  11768 |        0 |        0
1663.69/1664.27	c 1664s |      26 |  8946505 |  8550152 |     1842  11778 |        0 |        0
1665.69/1666.29	c 1666s |      26 |  8956411 |  8559452 |     1842  11787 |        0 |        0
1667.79/1668.30	c 1668s |      26 |  8966274 |  8568852 |     1842  11797 |        0 |        0
1669.79/1670.32	c 1670s |      26 |  8975917 |  8578152 |     1842  11807 |        0 |        0
1671.79/1672.33	c 1672s |      26 |  8985852 |  8587452 |     1842  11817 |        0 |        0
1673.80/1674.35	c 1674s |      26 |  8995553 |  8596652 |     1842  11826 |        0 |        0
1675.79/1676.36	c 1676s |      26 |  9005125 |  8605752 |     1842  11836 |        0 |        0
1677.79/1678.38	c 1678s |      26 |  9014575 |  8614752 |     1842  11845 |        0 |        0
1679.89/1680.40	c 1680s |      26 |  9023890 |  8623552 |     1842  11855 |        0 |        0
1681.89/1682.41	c 1682s |      26 |  9033846 |  8632752 |     1842  11864 |        0 |        0
1683.89/1684.42	c 1684s |      26 |  9043819 |  8642252 |     1842  11874 |        0 |        0
1685.90/1686.43	c 1686s |      26 |  9053640 |  8651552 |     1842  11884 |        0 |        0
1687.89/1688.45	c 1688s |      26 |  9063175 |  8660752 |     1842  11894 |        0 |        0
1689.89/1690.46	c 1690s |      26 |  9072788 |  8669852 |     1842  11903 |        0 |        0
1691.89/1692.47	c 1692s |      26 |  9082788 |  8679252 |     1842  11913 |        0 |        0
1693.89/1694.47	c 1694s |      26 |  9092421 |  8688452 |     1842  11923 |        0 |        0
1695.89/1696.49	c 1696s |      26 |  9101940 |  8697552 |     1842  11932 |        0 |        0
1697.99/1698.51	c 1698s |      26 |  9111484 |  8706652 |     1842  11942 |        0 |        0
1699.98/1700.52	c 1700s |      26 |  9121103 |  8715852 |     1842  11951 |        0 |        0
1701.98/1702.52	c 1702s |      26 |  9130719 |  8724952 |     1842  11961 |        0 |        0
1703.98/1704.53	c 1704s |      26 |  9140070 |  8733852 |     1842  11970 |        0 |        0
1705.98/1706.53	c 1706s |      26 |  9149822 |  8743252 |     1842  11980 |        0 |        0
1707.98/1708.54	c 1708s |      26 |  9159409 |  8752552 |     1842  11990 |        0 |        0
1709.99/1710.56	c 1710s |      26 |  9169175 |  8761852 |     1842  12000 |        0 |        0
1711.98/1712.57	c 1712s |      26 |  9179181 |  8771352 |     1842  12010 |        0 |        0
1713.98/1714.58	c 1714s |      26 |  9188811 |  8780552 |     1842  12019 |        0 |        0
1716.09/1716.60	c 1716s |      26 |  9198516 |  8789752 |     1842  12029 |        0 |        0
1718.09/1718.62	c 1718s |      26 |  9208122 |  8798952 |     1842  12039 |        0 |        0
1720.09/1720.64	c 1720s |      26 |  9217599 |  8808052 |     1842  12048 |        0 |        0
1722.09/1722.65	c 1722s |      26 |  9227039 |  8816852 |     1842  12057 |        0 |        0
1724.09/1724.66	c 1724s |      26 |  9236647 |  8825952 |     1842  12067 |        0 |        0
1726.09/1726.67	c 1726s |      26 |  9245695 |  8834652 |     1842  12076 |        0 |        0
1728.09/1728.67	c 1728s |      26 |  9255052 |  8843352 |     1842  12085 |        0 |        0
1730.09/1730.69	c 1730s |      26 |  9264561 |  8852252 |     1842  12094 |        0 |        0
1732.19/1732.71	c 1732s |      26 |  9273872 |  8861052 |     1842  12104 |        0 |        0
1734.19/1734.72	c 1734s |      26 |  9283559 |  8870152 |     1842  12113 |        0 |        0
1736.18/1736.72	c 1736s |      26 |  9292651 |  8878952 |     1842  12122 |        0 |        0
1738.18/1738.74	c 1738s |      26 |  9302346 |  8888152 |     1842  12132 |        0 |        0
1740.18/1740.76	c 1740s |      26 |  9311875 |  8897252 |     1842  12142 |        0 |        0
1742.18/1742.78	c 1742s |      26 |  9321644 |  8906452 |     1842  12151 |        0 |        0
1744.19/1744.79	c 1744s |      26 |  9331183 |  8915652 |     1842  12161 |        0 |        0
1746.18/1746.79	c 1746s |      26 |  9340765 |  8924652 |     1842  12170 |        0 |        0
1748.28/1748.80	c 1748s |      26 |  9350497 |  8933852 |     1842  12180 |        0 |        0
1750.28/1750.82	c 1750s |      26 |  9360048 |  8942952 |     1842  12189 |        0 |        0
1752.28/1752.83	c 1752s |      26 |  9369429 |  8951952 |     1842  12199 |        0 |        0
1754.28/1754.84	c 1754s |      26 |  9378830 |  8961052 |     1842  12208 |        0 |        0
1756.29/1756.86	c 1756s |      26 |  9388286 |  8970152 |     1842  12218 |        0 |        0
1758.28/1758.89	c 1758s |      26 |  9397684 |  8979252 |     1842  12228 |        0 |        0
1760.38/1760.90	c 1760s |      26 |  9406738 |  8987952 |     1842  12237 |        0 |        0
1762.38/1762.92	c 1762s |      26 |  9416212 |  8996952 |     1842  12246 |        0 |        0
1764.38/1764.93	c 1764s |      26 |  9426187 |  9006552 |     1842  12256 |        0 |        0
1766.38/1766.94	c 1766s |      26 |  9435938 |  9015952 |     1842  12266 |        0 |        0
1768.38/1768.94	c 1768s |      26 |  9445966 |  9025452 |     1842  12276 |        0 |        0
1770.38/1770.95	c 1770s |      26 |  9455895 |  9034852 |     1842  12286 |        0 |        0
1772.38/1772.96	c 1772s |      26 |  9465586 |  9044052 |     1842  12295 |        0 |        0
1774.38/1774.96	c 1774s |      26 |  9475031 |  9053152 |     1842  12305 |        0 |        0
1776.38/1776.97	c 1776s |      26 |  9484800 |  9062452 |     1842  12315 |        0 |        0
1778.37/1778.98	c 1778s |      26 |  9494489 |  9071652 |     1842  12324 |        0 |        0
1780.38/1780.99	c 1780s |      26 |  9504291 |  9080952 |     1842  12334 |        0 |        0
1782.37/1782.99	c 1782s |      26 |  9514081 |  9090252 |     1842  12344 |        0 |        0
1784.47/1785.00	c 1784s |      26 |  9523758 |  9099452 |     1842  12353 |        0 |        0
1786.47/1787.01	c 1786s |      26 |  9533529 |  9108752 |     1842  12363 |        0 |        0
1788.47/1789.02	c 1789s |      26 |  9543383 |  9118152 |     1842  12373 |        0 |        0
1790.47/1791.04	c 1791s |      26 |  9552863 |  9127252 |     1842  12383 |        0 |        0
1792.48/1793.06	c 1793s |      26 |  9562197 |  9136252 |     1842  12392 |        0 |        0
1794.47/1795.06	c 1795s |      26 |  9572068 |  9145552 |     1842  12402 |        0 |        0
1796.47/1797.06	c 1797s |      26 |  9581600 |  9154752 |     1842  12411 |        0 |        0
1798.47/1799.06	c 1799s |      26 |  9591471 |  9164152 |     1842  12421 |        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-4088966-1466019537/watcher-4088966-1466019537 -o /tmp/evaluation-result-4088966-1466019537/solver-4088966-1466019537 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466013843-5838 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088966-1466019537.opb 

pid=6715
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.34 2.26 2.23 3/179 6718
/proc/meminfo: memFree=29472676/32872528 swapFree=1369816/1516984
[pid=6718] ppid=6715 vsize=175548 CPUtime=0 cores=0,2,4,6
/proc/6718/stat : 6718 (toysat) S 6715 6718 5822 0 -1 4202496 411 0 0 0 0 0 0 0 20 0 4 0 4000231 179761152 791 33554432000 4194304 16246674 140733513928144 140733513927568 14069300 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6718/statm: 60271 792 216 2943 0 57165 0
[pid=6718/tid=6719] ppid=6715 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6719/stat : 6719 (toysat) S 6715 6718 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4000232 246870016 853 33554432000 4194304 16246674 140733513928144 140539581148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6718/tid=6720] ppid=6715 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6720/stat : 6720 (toysat) S 6715 6718 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4000232 246870016 880 33554432000 4194304 16246674 140733513928144 140539570658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6718/tid=6721] ppid=6715 vsize=241088 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6721/stat : 6721 (toysat) S 6715 6718 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4000232 246874112 888 33554432000 4194304 16246674 140733513928144 140539450092720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.34 2.26 2.23 3/179 6718
/proc/meminfo: memFree=29472676/32872528 swapFree=1369816/1516984
[pid=6718] ppid=6715 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/6718/stat : 6718 (toysat) R 6715 6718 5822 0 -1 4202496 28228 0 0 0 4 4 0 0 20 0 4 0 4000231 1247350784 28579 33554432000 4194304 16246674 140733513928144 140733513927568 5723873 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6718/statm: 304529 28590 712 2943 0 301423 0
[pid=6718/tid=6719] ppid=6715 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6719/stat : 6719 (toysat) S 6715 6718 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4000232 1247350784 28594 33554432000 4194304 16246674 140733513928144 140539581148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6718/tid=6720] ppid=6715 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6720/stat : 6720 (toysat) S 6715 6718 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4000232 1247350784 28599 33554432000 4194304 16246674 140733513928144 140539570658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6718/tid=6721] ppid=6715 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6721/stat : 6721 (toysat) S 6715 6718 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4000232 1247350784 28610 33554432000 4194304 16246674 140733513928144 140539450092720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200528 s]
/proc/loadavg: 2.34 2.26 2.23 3/179 6718
/proc/meminfo: memFree=29472676/32872528 swapFree=1369816/1516984
[pid=6718] ppid=6715 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/6718/stat : 6718 (toysat) R 6715 6718 5822 0 -1 4202496 57406 0 0 0 10 8 0 0 20 0 4 0 4000231 1247350784 57757 33554432000 4194304 16246674 140733513928144 140733513927568 5516309 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6718/statm: 304529 57763 712 2943 0 301423 0
[pid=6718/tid=6719] ppid=6715 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6719/stat : 6719 (toysat) S 6715 6718 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4000232 1247350784 57773 33554432000 4194304 16246674 140733513928144 140539581148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6718/tid=6720] ppid=6715 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6720/stat : 6720 (toysat) S 6715 6718 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4000232 1247350784 57785 33554432000 4194304 16246674 140733513928144 140539570658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6718/tid=6721] ppid=6715 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6721/stat : 6721 (toysat) S 6715 6718 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4000232 1247350784 57795 33554432000 4194304 16246674 140733513928144 140539450092720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300514 s]
/proc/loadavg: 2.34 2.26 2.23 3/179 6718
/proc/meminfo: memFree=29472676/32872528 swapFree=1369816/1516984
[pid=6718] ppid=6715 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/6718/stat : 6718 (toysat) R 6715 6718 5822 0 -1 4202496 86511 0 0 0 17 12 0 0 20 0 4 0 4000231 1247350784 86861 33554432000 4194304 16246674 140733513928144 140733513910016 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6718/statm: 304529 86879 712 2943 0 301423 0
[pid=6718/tid=6719] ppid=6715 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6719/stat : 6719 (toysat) S 6715 6718 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4000232 1247350784 86887 33554432000 4194304 16246674 140733513928144 140539581148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6718/tid=6720] ppid=6715 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6720/stat : 6720 (toysat) S 6715 6718 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4000232 1247350784 86894 33554432000 4194304 16246674 140733513928144 140539570658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6718/tid=6721] ppid=6715 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6721/stat : 6721 (toysat) S 6715 6718 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4000232 1247350784 86899 33554432000 4194304 16246674 140733513928144 140539450092720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700525 s]
/proc/loadavg: 2.34 2.26 2.23 3/179 6718
/proc/meminfo: memFree=29472676/32872528 swapFree=1369816/1516984
[pid=6718] ppid=6715 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/6718/stat : 6718 (toysat) R 6715 6718 5822 0 -1 4202496 203788 0 0 0 41 27 0 0 20 0 4 0 4000231 1247350784 204139 33554432000 4194304 16246674 140733513928144 140733513910016 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6718/statm: 304529 204154 713 2943 0 301423 0
[pid=6718/tid=6719] ppid=6715 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6719/stat : 6719 (toysat) S 6715 6718 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4000232 1247350784 204163 33554432000 4194304 16246674 140733513928144 140539581148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6718/tid=6720] ppid=6715 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6720/stat : 6720 (toysat) S 6715 6718 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4000232 1247350784 204172 33554432000 4194304 16246674 140733513928144 140539570658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6718/tid=6721] ppid=6715 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6721/stat : 6721 (toysat) S 6715 6718 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4000232 1247350784 204178 33554432000 4194304 16246674 140733513928144 140539450092720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50044 s]
/proc/loadavg: 2.31 2.26 2.23 3/183 6722
/proc/meminfo: memFree=28490532/32872528 swapFree=1369816/1516984
[pid=6718] ppid=6715 vsize=1305156 CPUtime=1.48 cores=0,2,4,6
/proc/6718/stat : 6718 (toysat) R 6715 6718 5822 0 -1 4202496 267224 0 0 0 112 36 0 0 20 0 4 0 4000231 1336479744 267554 33554432000 4194304 16246674 140733513928144 140733513910016 12875485 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6718/statm: 326289 267554 790 2943 0 323183 0
[pid=6718/tid=6719] ppid=6715 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6719/stat : 6719 (toysat) S 6715 6718 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4000232 1336479744 267554 33554432000 4194304 16246674 140733513928144 140539581148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6718/tid=6720] ppid=6715 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6720/stat : 6720 (toysat) S 6715 6718 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4000232 1336479744 267554 33554432000 4194304 16246674 140733513928144 140539570658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6718/tid=6721] ppid=6715 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6721/stat : 6721 (toysat) S 6715 6718 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4000232 1336479744 267554 33554432000 4194304 16246674 140733513928144 140539450092720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1305156

[startup+3.10044 s]
/proc/loadavg: 2.31 2.26 2.23 3/183 6722
/proc/meminfo: memFree=28402988/32872528 swapFree=1369816/1516984
[pid=6718] ppid=6715 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/6718/stat : 6718 (toysat) R 6715 6718 5822 0 -1 4202496 267408 0 0 0 272 36 0 0 20 0 4 0 4000231 1337528320 267738 33554432000 4194304 16246674 140733513928144 140733513911144 5722648 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6718/statm: 326545 267738 790 2943 0 323439 0
[pid=6718/tid=6719] ppid=6715 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6719/stat : 6719 (toysat) S 6715 6718 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4000232 1337528320 267738 33554432000 4194304 16246674 140733513928144 140539581148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6718/tid=6720] ppid=6715 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6720/stat : 6720 (toysat) S 6715 6718 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4000232 1337528320 267738 33554432000 4194304 16246674 140733513928144 140539570658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6718/tid=6721] ppid=6715 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6721/stat : 6721 (toysat) S 6715 6718 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4000232 1337528320 267738 33554432000 4194304 16246674 140733513928144 140539450092720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30039 s]
/proc/loadavg: 2.31 2.26 2.23 3/183 6722
/proc/meminfo: memFree=28402180/32872528 swapFree=1369816/1516984
[pid=6718] ppid=6715 vsize=1306180 CPUtime=6.28 cores=0,2,4,6
/proc/6718/stat : 6718 (toysat) R 6715 6718 5822 0 -1 4202496 267500 0 0 0 592 36 0 0 20 0 4 0 4000231 1337528320 267830 33554432000 4194304 16246674 140733513928144 140733513910016 6021388 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6718/statm: 326545 267830 790 2943 0 323439 0
[pid=6718/tid=6719] ppid=6715 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6719/stat : 6719 (toysat) S 6715 6718 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4000232 1337528320 267830 33554432000 4194304 16246674 140733513928144 140539581148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6718/tid=6720] ppid=6715 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6720/stat : 6720 (toysat) S 6715 6718 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4000232 1337528320 267830 33554432000 4194304 16246674 140733513928144 140539570658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6718/tid=6721] ppid=6715 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6721/stat : 6721 (toysat) S 6715 6718 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4000232 1337528320 267830 33554432000 4194304 16246674 140733513928144 140539450092720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7005 s]
/proc/loadavg: 2.26 2.25 2.23 3/183 6722
/proc/meminfo: memFree=28402212/32872528 swapFree=1369816/1516984
[pid=6718] ppid=6715 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/6718/stat : 6718 (toysat) R 6715 6718 5822 0 -1 4202496 267501 0 0 0 1232 36 0 0 20 0 4 0 4000231 1337528320 267831 33554432000 4194304 16246674 140733513928144 140733513910016 13192907 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6718/statm: 326545 267831 790 2943 0 323439 0
[pid=6718/tid=6719] ppid=6715 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6719/stat : 6719 (toysat) S 6715 6718 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4000232 1337528320 267831 33554432000 4194304 16246674 140733513928144 140539581148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6718/tid=6720] ppid=6715 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6720/stat : 6720 (toysat) S 6715 6718 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4000232 1337528320 267831 33554432000 4194304 16246674 140733513928144 140539570658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6718/tid=6721] ppid=6715 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6721/stat : 6721 (toysat) S 6715 6718 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4000232 1337528320 267831 33554432000 4194304 16246674 140733513928144 140539450092720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.29 2.26 2.23 3/183 6722
/proc/meminfo: memFree=28401696/32872528 swapFree=1369816/1516984
[pid=6718] ppid=6715 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/6718/stat : 6718 (toysat) R 6715 6718 5822 0 -1 4202496 267532 0 0 0 2512 36 0 0 20 0 4 0 4000231 1337528320 267862 33554432000 4194304 16246674 140733513928144 140733513910016 12477720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6718/statm: 326545 267862 790 2943 0 323439 0
[pid=6718/tid=6719] ppid=6715 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6719/stat : 6719 (toysat) S 6715 6718 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4000232 1337528320 267862 33554432000 4194304 16246674 140733513928144 140539581148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6718/tid=6720] ppid=6715 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6720/stat : 6720 (toysat) S 6715 6718 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4000232 1337528320 267862 33554432000 4194304 16246674 140733513928144 140539570658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6718/tid=6721] ppid=6715 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6721/stat : 6721 (toysat) S 6715 6718 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4000232 1337528320 267862 33554432000 4194304 16246674 140733513928144 140539450092720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.27 2.25 2.23 3/183 6722
/proc/meminfo: memFree=28400556/32872528 swapFree=1369816/1516984
[pid=6718] ppid=6715 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/6718/stat : 6718 (toysat) R 6715 6718 5822 0 -1 4202496 267822 0 0 0 5071 37 0 0 20 0 4 0 4000231 1338576896 268152 33554432000 4194304 16246674 140733513928144 140733513910016 5721352 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6718/statm: 326801 268152 790 2943 0 323695 0
[pid=6718/tid=6719] ppid=6715 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6719/stat : 6719 (toysat) S 6715 6718 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4000232 1338576896 268152 33554432000 4194304 16246674 140733513928144 140539581148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6718/tid=6720] ppid=6715 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6720/stat : 6720 (toysat) S 6715 6718 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4000232 1338576896 268152 33554432000 4194304 16246674 140733513928144 140539570658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6718/tid=6721] ppid=6715 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6721/stat : 6721 (toysat) S 6715 6718 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4000232 1338576896 268152 33554432000 4194304 16246674 140733513928144 140539450092720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.301 s]
/proc/loadavg: 2.27 2.25 2.23 3/184 6726
/proc/meminfo: memFree=28399352/32872528 swapFree=1369816/1516984
[pid=6718] ppid=6715 vsize=1308228 CPUtime=102.28 cores=0,2,4,6
/proc/6718/stat : 6718 (toysat) R 6715 6718 5822 0 -1 4202496 268085 0 0 0 10191 37 0 0 20 0 4 0 4000231 1339625472 268415 33554432000 4194304 16246674 140733513928144 140733513911144 12483317 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6718/statm: 327057 268415 792 2943 0 323951 0
[pid=6718/tid=6719] ppid=6715 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6719/stat : 6719 (toysat) S 6715 6718 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4000232 1339625472 268415 33554432000 4194304 16246674 140733513928144 140539581148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6718/tid=6720] ppid=6715 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6720/stat : 6720 (toysat) S 6715 6718 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4000232 1339625472 268415 33554432000 4194304 16246674 140733513928144 140539570658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6718/tid=6721] ppid=6715 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6721/stat : 6721 (toysat) S 6715 6718 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4000232 1339625472 268415 33554432000 4194304 16246674 140733513928144 140539450092720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1308228


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

/proc/6718/task/6721/stat : 6721 (toysat) S 6715 6718 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4000232 1345916928 270209 33554432000 4194304 16246674 140733513928144 140539450092720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1314372

[startup+1302.3 s]
/proc/loadavg: 2.30 2.25 2.21 3/184 6756
/proc/meminfo: memFree=28383192/32872528 swapFree=1369816/1516984
[pid=6718] ppid=6715 vsize=1314372 CPUtime=1301.86 cores=0,2,4,6
/proc/6718/stat : 6718 (toysat) R 6715 6718 5822 0 -1 4202496 270011 0 0 0 130129 57 0 0 20 0 4 0 4000231 1345916928 270209 33554432000 4194304 16246674 140733513928144 140733513910016 5545898 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6718/statm: 328593 270209 794 2943 0 325487 0
[pid=6718/tid=6719] ppid=6715 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6719/stat : 6719 (toysat) S 6715 6718 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4000232 1345916928 270209 33554432000 4194304 16246674 140733513928144 140539581148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6718/tid=6720] ppid=6715 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6720/stat : 6720 (toysat) S 6715 6718 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4000232 1345916928 270209 33554432000 4194304 16246674 140733513928144 140539570658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6718/tid=6721] ppid=6715 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6721/stat : 6721 (toysat) S 6715 6718 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4000232 1345916928 270209 33554432000 4194304 16246674 140733513928144 140539450092720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1314372

[startup+1362.3 s]
/proc/loadavg: 2.33 2.26 2.22 4/184 6780
/proc/meminfo: memFree=28382636/32872528 swapFree=1369816/1516984
[pid=6718] ppid=6715 vsize=1314372 CPUtime=1361.84 cores=0,2,4,6
/proc/6718/stat : 6718 (toysat) R 6715 6718 5822 0 -1 4202496 270038 0 0 0 136126 58 0 0 20 0 4 0 4000231 1345916928 270209 33554432000 4194304 16246674 140733513928144 140733513927240 5721721 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6718/statm: 328593 270209 794 2943 0 325487 0
[pid=6718/tid=6719] ppid=6715 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6719/stat : 6719 (toysat) S 6715 6718 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4000232 1345916928 270209 33554432000 4194304 16246674 140733513928144 140539581148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6718/tid=6720] ppid=6715 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6720/stat : 6720 (toysat) S 6715 6718 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4000232 1345916928 270209 33554432000 4194304 16246674 140733513928144 140539570658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6718/tid=6721] ppid=6715 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6721/stat : 6721 (toysat) S 6715 6718 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4000232 1345916928 270209 33554432000 4194304 16246674 140733513928144 140539450092720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1314372

[startup+1422.3 s]
/proc/loadavg: 2.22 2.24 2.21 4/183 6781
/proc/meminfo: memFree=28383212/32872528 swapFree=1369816/1516984
[pid=6718] ppid=6715 vsize=1314372 CPUtime=1421.83 cores=0,2,4,6
/proc/6718/stat : 6718 (toysat) R 6715 6718 5822 0 -1 4202496 270038 0 0 0 142125 58 0 0 20 0 4 0 4000231 1345916928 270209 33554432000 4194304 16246674 140733513928144 140733513910016 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6718/statm: 328593 270209 794 2943 0 325487 0
[pid=6718/tid=6719] ppid=6715 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6719/stat : 6719 (toysat) S 6715 6718 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4000232 1345916928 270209 33554432000 4194304 16246674 140733513928144 140539581148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6718/tid=6720] ppid=6715 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6720/stat : 6720 (toysat) S 6715 6718 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4000232 1345916928 270209 33554432000 4194304 16246674 140733513928144 140539570658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6718/tid=6721] ppid=6715 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6721/stat : 6721 (toysat) S 6715 6718 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4000232 1345916928 270209 33554432000 4194304 16246674 140733513928144 140539450092720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1314372

[startup+1482.3 s]
/proc/loadavg: 2.22 2.24 2.21 3/183 6782
/proc/meminfo: memFree=28382968/32872528 swapFree=1369816/1516984
[pid=6718] ppid=6715 vsize=1314372 CPUtime=1481.82 cores=0,2,4,6
/proc/6718/stat : 6718 (toysat) R 6715 6718 5822 0 -1 4202496 270038 0 0 0 148123 59 0 0 20 0 4 0 4000231 1345916928 270209 33554432000 4194304 16246674 140733513928144 140733513910016 6009712 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6718/statm: 328593 270209 794 2943 0 325487 0
[pid=6718/tid=6719] ppid=6715 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6719/stat : 6719 (toysat) S 6715 6718 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4000232 1345916928 270209 33554432000 4194304 16246674 140733513928144 140539581148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6718/tid=6720] ppid=6715 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6720/stat : 6720 (toysat) S 6715 6718 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4000232 1345916928 270209 33554432000 4194304 16246674 140733513928144 140539570658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6718/tid=6721] ppid=6715 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6721/stat : 6721 (toysat) S 6715 6718 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4000232 1345916928 270209 33554432000 4194304 16246674 140733513928144 140539450092720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1314372

[startup+1542.31 s]
/proc/loadavg: 2.25 2.24 2.21 3/183 6833
/proc/meminfo: memFree=28391560/32872528 swapFree=1369816/1516984
[pid=6718] ppid=6715 vsize=1314372 CPUtime=1541.81 cores=0,2,4,6
/proc/6718/stat : 6718 (toysat) R 6715 6718 5822 0 -1 4202496 270038 0 0 0 154122 59 0 0 20 0 4 0 4000231 1345916928 270209 33554432000 4194304 16246674 140733513928144 140733513910016 5717908 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6718/statm: 328593 270209 794 2943 0 325487 0
[pid=6718/tid=6719] ppid=6715 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6719/stat : 6719 (toysat) S 6715 6718 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4000232 1345916928 270209 33554432000 4194304 16246674 140733513928144 140539581148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6718/tid=6720] ppid=6715 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6720/stat : 6720 (toysat) S 6715 6718 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4000232 1345916928 270209 33554432000 4194304 16246674 140733513928144 140539570658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6718/tid=6721] ppid=6715 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6721/stat : 6721 (toysat) S 6715 6718 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4000232 1345916928 270209 33554432000 4194304 16246674 140733513928144 140539450092720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1314372

[startup+1602.3 s]
/proc/loadavg: 2.26 2.24 2.20 3/183 6834
/proc/meminfo: memFree=28391688/32872528 swapFree=1369816/1516984
[pid=6718] ppid=6715 vsize=1314372 CPUtime=1601.8 cores=0,2,4,6
/proc/6718/stat : 6718 (toysat) R 6715 6718 5822 0 -1 4202496 270038 0 0 0 160120 60 0 0 20 0 4 0 4000231 1345916928 270209 33554432000 4194304 16246674 140733513928144 140733513911144 13820864 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6718/statm: 328593 270209 794 2943 0 325487 0
[pid=6718/tid=6719] ppid=6715 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6719/stat : 6719 (toysat) S 6715 6718 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4000232 1345916928 270209 33554432000 4194304 16246674 140733513928144 140539581148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6718/tid=6720] ppid=6715 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6720/stat : 6720 (toysat) S 6715 6718 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4000232 1345916928 270209 33554432000 4194304 16246674 140733513928144 140539570658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6718/tid=6721] ppid=6715 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6721/stat : 6721 (toysat) S 6715 6718 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4000232 1345916928 270209 33554432000 4194304 16246674 140733513928144 140539450092720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1314372

[startup+1662.3 s]
/proc/loadavg: 2.20 2.22 2.20 3/183 6835
/proc/meminfo: memFree=28389464/32872528 swapFree=1369816/1516984
[pid=6718] ppid=6715 vsize=1316420 CPUtime=1661.79 cores=0,2,4,6
/proc/6718/stat : 6718 (toysat) R 6715 6718 5822 0 -1 4202496 270550 0 0 0 166118 61 0 0 20 0 4 0 4000231 1348014080 270721 33554432000 4194304 16246674 140733513928144 140733513910016 5822492 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6718/statm: 329105 270721 794 2943 0 325999 0
[pid=6718/tid=6719] ppid=6715 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6719/stat : 6719 (toysat) S 6715 6718 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4000232 1348014080 270721 33554432000 4194304 16246674 140733513928144 140539581148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6718/tid=6720] ppid=6715 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6720/stat : 6720 (toysat) S 6715 6718 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4000232 1348014080 270721 33554432000 4194304 16246674 140733513928144 140539570658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6718/tid=6721] ppid=6715 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6721/stat : 6721 (toysat) S 6715 6718 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4000232 1348014080 270721 33554432000 4194304 16246674 140733513928144 140539450092720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1316420

[startup+1722.3 s]
/proc/loadavg: 2.36 2.26 2.21 3/183 6836
/proc/meminfo: memFree=28388348/32872528 swapFree=1369816/1516984
[pid=6718] ppid=6715 vsize=1316420 CPUtime=1721.79 cores=0,2,4,6
/proc/6718/stat : 6718 (toysat) R 6715 6718 5822 0 -1 4202496 270550 0 0 0 172117 62 0 0 20 0 4 0 4000231 1348014080 270721 33554432000 4194304 16246674 140733513928144 140733513927320 5823584 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6718/statm: 329105 270721 794 2943 0 325999 0
[pid=6718/tid=6719] ppid=6715 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6719/stat : 6719 (toysat) S 6715 6718 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4000232 1348014080 270721 33554432000 4194304 16246674 140733513928144 140539581148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6718/tid=6720] ppid=6715 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6720/stat : 6720 (toysat) S 6715 6718 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4000232 1348014080 270721 33554432000 4194304 16246674 140733513928144 140539570658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6718/tid=6721] ppid=6715 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6721/stat : 6721 (toysat) S 6715 6718 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4000232 1348014080 270721 33554432000 4194304 16246674 140733513928144 140539450092720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1316420

[startup+1782.3 s]
/proc/loadavg: 2.22 2.24 2.20 3/183 6837
/proc/meminfo: memFree=28387980/32872528 swapFree=1369816/1516984
[pid=6718] ppid=6715 vsize=1316420 CPUtime=1781.77 cores=0,2,4,6
/proc/6718/stat : 6718 (toysat) R 6715 6718 5822 0 -1 4202496 270550 0 0 0 178115 62 0 0 20 0 4 0 4000231 1348014080 270721 33554432000 4194304 16246674 140733513928144 140733513910016 13927222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6718/statm: 329105 270721 794 2943 0 325999 0
[pid=6718/tid=6719] ppid=6715 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6719/stat : 6719 (toysat) S 6715 6718 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4000232 1348014080 270721 33554432000 4194304 16246674 140733513928144 140539581148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6718/tid=6720] ppid=6715 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6720/stat : 6720 (toysat) S 6715 6718 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4000232 1348014080 270721 33554432000 4194304 16246674 140733513928144 140539570658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6718/tid=6721] ppid=6715 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6721/stat : 6721 (toysat) S 6715 6718 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4000232 1348014080 270721 33554432000 4194304 16246674 140733513928144 140539450092720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1316420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.24 2.24 2.20 3/183 6837
/proc/meminfo: memFree=28387992/32872528 swapFree=1369816/1516984
[pid=6718] ppid=6715 vsize=1316420 CPUtime=1800.07 cores=0,2,4,6
/proc/6718/stat : 6718 (toysat) R 6715 6718 5822 0 -1 4202496 270550 0 0 0 179945 62 0 0 20 0 4 0 4000231 1348014080 270721 33554432000 4194304 16246674 140733513928144 140733513911144 5722849 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6718/statm: 329105 270721 794 2943 0 325999 0
[pid=6718/tid=6719] ppid=6715 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6719/stat : 6719 (toysat) S 6715 6718 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4000232 1348014080 270721 33554432000 4194304 16246674 140733513928144 140539581148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6718/tid=6720] ppid=6715 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6720/stat : 6720 (toysat) S 6715 6718 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4000232 1348014080 270721 33554432000 4194304 16246674 140733513928144 140539570658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6718/tid=6721] ppid=6715 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6718/task/6721/stat : 6721 (toysat) S 6715 6718 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4000232 1348014080 270721 33554432000 4194304 16246674 140733513928144 140539450092720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1316420

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 6718 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.61
CPU time (s): 1800.09
CPU user time (s): 1799.46
CPU system time (s): 0.626904
CPU usage (%): 99.9709
Max. virtual memory (cumulated for all children) (KiB): 1316420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.626904
maximum resident set size= 1082884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270550
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 429
involuntary context switches= 1902

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.61284 second user time and 8.23775 second system time

The end

Begin job on node129 at 2016-06-15 21:38:57
IDJOB=4088966
IDBENCH=107339
IDSOLVER=2542
FILE ID=node129/4088966-1466019537
RUNJOBID= node129-1466013843-5838
PBS_JOBID= 19902811
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 986cb7ae832d6e4976155b718deb2264
RANDOM SEED=332238779

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29473328 kB
Buffers:           11216 kB
Cached:            73420 kB
SwapCached:        20176 kB
Active:          1133844 kB
Inactive:          46056 kB
Active(anon):    1077436 kB
Inactive(anon):    20104 kB
Active(file):      56408 kB
Inactive(file):    25952 kB
Unevictable:     1516984 kB
Mlocked:         1369816 kB
SwapTotal:      67108856 kB
SwapFree:       67081528 kB
Dirty:             16328 kB
Writeback:             0 kB
AnonPages:       2593484 kB
Mapped:            10260 kB
Shmem:                 0 kB
Slab:             566784 kB
SReclaimable:      10772 kB
SUnreclaim:       556012 kB
KernelStack:        1456 kB
PageTables:         9520 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2737060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    149504 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node129 at 2016-06-15 22:08:58