0.00/0.00	c 2016-06-15T19:41:07+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-4088679-1466012467.opb"]
0.00/0.01	c use --random-gen="66663893 4028131236 2635082568 1800702778 4232424767 20548257 820882323 1357597276 3392805016 1593127710 2171474712 275283041 1379292525 3132498564 1233468589 490995122 3467778221 2741986560 2992860015 2927836641 459943916 2107442822 4083197290 38088048 554728058 2218223602 3491017038 1190304165 1191564658 3937959634 2395286728 3900222043 4070832236 2599508889 546412370 3617483628 2813930175 4087331206 265135106 1066233368 3016508769 2465823589 926428773 880846780 1731250786 1023116399 4216780792 1874027806 371071301 3069135695 343410234 2007098904 4000403505 2006794231 4043229910 2231750826 2259637384 2925352792 4064751529 1087409131 4008795324 4149257664 1301317481 3729065644 4168550489 2729767278 4063964234 645968777 1584861119 3290290205 3295646231 718148639 823284009 3335008729 551091898 2946899866 3059763551 3726565041 3456848152 1097822766 2448685679 986015917 4166900369 3020689183 2571419993 1040357954 3226546494 4049169398 3199091478 3231656039 3615385495 420124259 1964713483 1870650843 1546237553 958304365 1661856318 2361865527 1554339796 3369298565 2049717083 310137127 2127757792 401956961 866752299 833705099 1330043443 216537699 63096969 190324947 2118713386 1115136790 2083117267 3592111941 1991378663 1601483919 758536893 684341318 2487220954 1508801302 1132696536 3883681236 4064809269 3737641484 597583246 2007198775 1718530210 1008995010 2062797238 1146491830 2218528102 2682700076 1187759298 4211211737 1734830213 2058765272 3369398025 3287117204 3313296590 2367117340 3397333446 1180372047 404718368 912922443 904480749 2946056354 3703318812 2034848214 2714436535 3118243732 3632837858 3267378997 3557165704 3362074593 1007273289 287483334 1752378904 2209123252 720335864 3188655125 3497965702 2735249740 627600132 3480798047 2398385589 1890887983 1890377902 2548443232 2574914156 3175028356 2116718463 3037900619 2961152320 3843058629 1297922132 2630063244 2555433958 3888109675 2306740045 2232796983 2472139166 4039020563 436743387 1471682175 1391444875 4040660685 446852970 2065655995 769330999 3946269777 3037132657 876011615 954013882 2895443923 2512331293 1035515684 4139427352 548049471 1324257467 718339792 2095060591 3126440710 1089210128 1334788214 3105982124 3577360374 86881243 2680605573 2719153476 1669522626 647443134 2685704744 2187476525 1523802515 2665017916 4201189423 3723269365 969361652 1395530715 2991890673 3408744540 2498675580 3119434450 2422635322 558295851 946741054 1361504994 3666524637 3088379413 1460457588 471761951 3954081928 4155501959 868379205 8873184 236791490 3684096117 1712853415 1773694648 1591481220 3123622322 2089071549 870989814 1436120865 1856014818 1506616728 1819675155 3456189382 1338401192 1685800891 2415487708 1852173315 3994541826 2793818037 227308547 2460357106 255 362436" option to reproduce the execution
0.00/0.02	c #vars 1301
0.00/0.02	c #constraints 651
0.00/0.04	c Solving starts ...
0.00/0.04	c ============================[ Search Statistics ]============================
0.00/0.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.04	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.04	c =============================================================================
0.00/0.04	c  0.0s |       0 |        0 |        0 |      867      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      739 |      100 |      867      0 |        0 |        0
0.00/0.07	c  0.0s |       2 |     1545 |      250 |      954      0 |        0 |        0
0.00/0.09	c  0.0s |       3 |     2453 |      475 |     1050      0 |        0 |        0
0.09/0.12	c  0.1s |       4 |     3399 |      813 |     1155      0 |        0 |        0
0.09/0.18	c  0.1s |       5 |     4638 |     1320 |     1271      0 |        0 |        0
0.18/0.27	c  0.2s |       6 |     6014 |     2081 |     1539      1 |        0 |        0
0.39/0.41	c  0.4s |       7 |     7862 |     3223 |     1693      2 |        0 |        0
0.59/0.66	c  0.6s |       8 |    10554 |     4936 |     1863      3 |        0 |        0
0.99/1.03	c  1.0s |       9 |    14531 |     7506 |     2050      5 |        0 |        0
1.39/1.47	c  1.4s |      10 |    20749 |    11361 |     2255      7 |        0 |        0
1.99/2.04	c  2.0s |      11 |    29281 |    17144 |     2481     12 |        0 |        0
3.18/3.27	c  3.2s |      12 |    41538 |    25819 |     2730     16 |        0 |        0
4.89/4.92	c  4.9s |      13 |    60808 |    38832 |     3004     23 |        0 |        0
6.89/6.93	c  6.9s |      13 |    80469 |    53332 |     3004     31 |        0 |        0
7.49/7.54	c  7.5s |      14 |    87083 |    58352 |     3305     33 |        0 |        0
9.49/9.55	c  9.5s |      14 |   101280 |    69752 |     3305     38 |        0 |        0
11.49/11.56	c 11.5s |      14 |   119856 |    82852 |     3305     45 |        0 |        0
12.20/12.22	c 12.2s |      15 |   125850 |    87632 |     3636     47 |        0 |        0
14.19/14.23	c 14.2s |      15 |   152582 |   106132 |     3636     55 |        0 |        0
16.19/16.24	c 16.2s |      15 |   177004 |   123732 |     3636     62 |        0 |        0
17.69/17.71	c 17.7s |      16 |   186047 |   131552 |     4000     66 |        0 |        0
19.69/19.72	c 19.7s |      16 |   203771 |   144952 |     4000     71 |        0 |        0
21.69/21.73	c 21.7s |      16 |   218690 |   156152 |     4000     76 |        0 |        0
23.69/23.74	c 23.7s |      16 |   235972 |   169152 |     4000     81 |        0 |        0
25.69/25.74	c 25.7s |      16 |   251566 |   181152 |     4000     86 |        0 |        0
27.69/27.75	c 27.7s |      16 |   268164 |   193452 |     4000     91 |        0 |        0
28.29/28.32	c 28.3s |      17 |   273647 |   197432 |     4400     93 |        0 |        0
30.29/30.32	c 30.3s |      17 |   291924 |   210832 |     4400     98 |        0 |        0
32.28/32.33	c 32.3s |      17 |   310171 |   224732 |     4400    103 |        0 |        0
34.28/34.34	c 34.3s |      17 |   329962 |   239532 |     4400    109 |        0 |        0
36.29/36.34	c 36.3s |      17 |   340657 |   248632 |     4400    113 |        0 |        0
38.28/38.34	c 38.3s |      17 |   354335 |   259332 |     4400    117 |        0 |        0
40.28/40.35	c 40.3s |      17 |   372437 |   273032 |     4400    122 |        0 |        0
42.29/42.36	c 42.3s |      17 |   385304 |   283432 |     4400    126 |        0 |        0
44.29/44.37	c 44.3s |      17 |   399261 |   294332 |     4840    130 |        0 |        0
44.69/44.79	c 44.7s |      18 |   401541 |   296252 |     4840    131 |        0 |        0
46.78/46.80	c 46.8s |      18 |   420866 |   310352 |     4840    136 |        0 |        0
48.78/48.80	c 48.8s |      18 |   435852 |   321952 |     4840    140 |        0 |        0
50.78/50.81	c 50.8s |      18 |   454501 |   335852 |     4840    145 |        0 |        0
52.79/52.84	c 52.8s |      18 |   469816 |   347952 |     4840    150 |        0 |        0
54.78/54.85	c 54.8s |      18 |   484209 |   358652 |     4840    153 |        0 |        0
56.78/56.86	c 56.8s |      18 |   498801 |   370252 |     4840    157 |        0 |        0
58.78/58.87	c 58.8s |      18 |   513292 |   381352 |     4840    161 |        0 |        0
60.78/60.89	c 60.8s |      18 |   524923 |   391052 |     4840    165 |        0 |        0
62.79/62.89	c 62.9s |      18 |   533459 |   398552 |     4840    167 |        0 |        0
64.89/64.91	c 64.9s |      18 |   540819 |   405152 |     4840    170 |        0 |        0
66.88/66.92	c 66.9s |      18 |   548523 |   411952 |     4840    172 |        0 |        0
68.88/68.92	c 68.9s |      18 |   562576 |   422952 |     4840    176 |        0 |        0
70.88/70.93	c 70.9s |      18 |   578851 |   435352 |     4840    180 |        0 |        0
72.28/72.32	c 72.3s |      19 |   590823 |   444482 |     5324    184 |        0 |        0
74.28/74.34	c 74.3s |      19 |   607644 |   456482 |     5324    188 |        0 |        0
76.28/76.36	c 76.3s |      19 |   620516 |   465882 |     5324    191 |        0 |        0
78.28/78.36	c 78.3s |      19 |   639476 |   480282 |     5324    196 |        0 |        0
80.28/80.38	c 80.3s |      19 |   659578 |   493182 |     5324    200 |        0 |        0
82.27/82.39	c 82.3s |      19 |   677346 |   505582 |     5324    204 |        0 |        0
84.27/84.39	c 84.3s |      19 |   692454 |   516382 |     5324    207 |        0 |        0
86.37/86.41	c 86.4s |      19 |   709206 |   528482 |     5324    211 |        0 |        0
88.37/88.42	c 88.4s |      19 |   722446 |   538082 |     5324    214 |        0 |        0
90.37/90.42	c 90.4s |      19 |   741418 |   551382 |     5324    219 |        0 |        0
92.38/92.43	c 92.4s |      19 |   759686 |   564382 |     5324    223 |        0 |        0
94.37/94.43	c 94.4s |      19 |   777653 |   577482 |     5324    227 |        0 |        0
96.37/96.43	c 96.4s |      19 |   794492 |   589882 |     5324    231 |        0 |        0
98.37/98.43	c 98.4s |      19 |   811807 |   602582 |     5324    235 |        0 |        0
100.37/100.44	c  100s |      19 |   828679 |   614782 |     5324    239 |        0 |        0
102.38/102.44	c  102s |      19 |   841979 |   625082 |     5324    242 |        0 |        0
104.37/104.44	c  104s |      19 |   853907 |   634582 |     5324    246 |        0 |        0
106.37/106.46	c  106s |      19 |   873693 |   648682 |     5324    250 |        0 |        0
108.37/108.46	c  108s |      19 |   887702 |   659082 |     5324    253 |        0 |        0
109.57/109.65	c  109s |      20 |   899245 |   666827 |     5857    256 |        0 |        0
111.57/111.68	c  111s |      20 |   914174 |   678127 |     5857    260 |        0 |        0
113.56/113.69	c  113s |      20 |   929653 |   690327 |     5857    264 |        0 |        0
115.66/115.70	c  115s |      20 |   945438 |   701927 |     5857    267 |        0 |        0
117.56/117.70	c  117s |      20 |   959317 |   712627 |     5857    271 |        0 |        0
119.67/119.72	c  119s |      20 |   971679 |   722127 |     5857    274 |        0 |        0
121.67/121.72	c  121s |      20 |   988861 |   734927 |     5857    278 |        0 |        0
123.67/123.73	c  123s |      20 |  1006213 |   748227 |     5857    283 |        0 |        0
125.67/125.74	c  125s |      20 |  1020387 |   759327 |     5857    286 |        0 |        0
127.67/127.74	c  127s |      20 |  1037994 |   772827 |     5857    291 |        0 |        0
129.66/129.74	c  129s |      20 |  1058330 |   787527 |     5857    295 |        0 |        0
131.66/131.75	c  131s |      20 |  1071927 |   798327 |     5857    299 |        0 |        0
133.66/133.77	c  133s |      20 |  1081749 |   806527 |     5857    302 |        0 |        0
135.66/135.77	c  135s |      20 |  1100605 |   820227 |     5857    306 |        0 |        0
137.66/137.78	c  137s |      20 |  1118854 |   834027 |     5857    310 |        0 |        0
139.67/139.79	c  139s |      20 |  1136074 |   846827 |     5857    315 |        0 |        0
141.76/141.81	c  141s |      20 |  1151903 |   858427 |     5857    318 |        0 |        0
143.76/143.81	c  143s |      20 |  1164248 |   868727 |     5857    322 |        0 |        0
145.76/145.81	c  145s |      20 |  1180792 |   880827 |     5857    326 |        0 |        0
147.76/147.81	c  147s |      20 |  1196138 |   892527 |     5857    329 |        0 |        0
149.76/149.82	c  149s |      20 |  1206494 |   901227 |     5857    332 |        0 |        0
151.76/151.85	c  151s |      20 |  1216739 |   909827 |     5857    335 |        0 |        0
153.76/153.85	c  153s |      20 |  1230111 |   920027 |     5857    338 |        0 |        0
155.76/155.86	c  155s |      20 |  1247059 |   932827 |     5857    343 |        0 |        0
157.86/157.90	c  157s |      20 |  1259458 |   943127 |     5857    346 |        0 |        0
159.86/159.91	c  159s |      20 |  1276717 |   955727 |     5857    350 |        0 |        0
161.86/161.92	c  161s |      20 |  1293067 |   968327 |     5857    354 |        0 |        0
163.86/163.94	c  163s |      20 |  1301433 |   975627 |     5857    357 |        0 |        0
165.86/165.95	c  165s |      20 |  1310067 |   983127 |     5857    359 |        0 |        0
167.86/167.95	c  167s |      20 |  1320082 |   991227 |     5857    362 |        0 |        0
169.86/169.96	c  169s |      20 |  1330740 |  1000027 |     6443    364 |        0 |        0
169.96/170.00	c  169s |      21 |  1331177 |  1000345 |     6443    364 |        0 |        0
171.96/172.00	c  171s |      21 |  1352527 |  1014345 |     6443    368 |        0 |        0
173.96/174.01	c  173s |      21 |  1370400 |  1026845 |     6443    372 |        0 |        0
175.97/176.06	c  176s |      21 |  1384764 |  1037645 |     6443    375 |        0 |        0
177.96/178.07	c  178s |      21 |  1397803 |  1047845 |     6443    377 |        0 |        0
179.96/180.08	c  180s |      21 |  1412416 |  1058845 |     6443    380 |        0 |        0
181.96/182.09	c  182s |      21 |  1423607 |  1067845 |     6443    383 |        0 |        0
184.06/184.11	c  184s |      21 |  1435773 |  1077345 |     6443    386 |        0 |        0
186.06/186.13	c  186s |      21 |  1448623 |  1087345 |     6443    388 |        0 |        0
188.06/188.16	c  188s |      21 |  1461038 |  1097645 |     6443    391 |        0 |        0
190.06/190.18	c  190s |      21 |  1470835 |  1105145 |     6443    393 |        0 |        0
192.06/192.18	c  192s |      21 |  1480441 |  1113145 |     6443    395 |        0 |        0
194.06/194.18	c  194s |      21 |  1494066 |  1123245 |     6443    398 |        0 |        0
196.05/196.20	c  196s |      21 |  1509106 |  1134245 |     6443    401 |        0 |        0
198.15/198.21	c  198s |      21 |  1522357 |  1144245 |     6443    404 |        0 |        0
200.16/200.21	c  200s |      21 |  1537143 |  1155245 |     6443    407 |        0 |        0
202.15/202.22	c  202s |      21 |  1554372 |  1168345 |     6443    410 |        0 |        0
204.15/204.22	c  204s |      21 |  1571048 |  1181045 |     6443    414 |        0 |        0
206.15/206.22	c  206s |      21 |  1582688 |  1190245 |     6443    416 |        0 |        0
208.15/208.23	c  208s |      21 |  1593360 |  1198345 |     6443    419 |        0 |        0
210.16/210.23	c  210s |      21 |  1606202 |  1208645 |     6443    421 |        0 |        0
212.15/212.25	c  212s |      21 |  1618882 |  1218645 |     6443    424 |        0 |        0
214.15/214.25	c  214s |      21 |  1632289 |  1228745 |     6443    427 |        0 |        0
216.15/216.27	c  216s |      21 |  1644250 |  1237945 |     6443    430 |        0 |        0
218.25/218.32	c  218s |      21 |  1652767 |  1245245 |     6443    432 |        0 |        0
220.25/220.35	c  220s |      21 |  1660101 |  1251445 |     6443    433 |        0 |        0
222.25/222.35	c  222s |      21 |  1671496 |  1260345 |     6443    436 |        0 |        0
224.25/224.36	c  224s |      21 |  1687563 |  1272545 |     6443    439 |        0 |        0
226.25/226.37	c  226s |      21 |  1703327 |  1284845 |     6443    443 |        0 |        0
228.25/228.37	c  228s |      21 |  1720529 |  1297445 |     6443    446 |        0 |        0
230.25/230.38	c  230s |      21 |  1736364 |  1309145 |     6443    450 |        0 |        0
232.24/232.38	c  232s |      21 |  1754648 |  1322145 |     6443    453 |        0 |        0
234.25/234.38	c  234s |      21 |  1771895 |  1335245 |     6443    457 |        0 |        0
236.24/236.39	c  236s |      21 |  1787123 |  1346745 |     6443    460 |        0 |        0
238.24/238.39	c  238s |      21 |  1797293 |  1354845 |     6443    462 |        0 |        0
240.34/240.40	c  240s |      21 |  1812968 |  1366845 |     6443    466 |        0 |        0
242.35/242.40	c  242s |      21 |  1827415 |  1377845 |     6443    469 |        0 |        0
244.35/244.40	c  244s |      21 |  1838633 |  1386745 |     6443    472 |        0 |        0
246.35/246.42	c  246s |      21 |  1853374 |  1398145 |     6443    475 |        0 |        0
248.35/248.48	c  248s |      21 |  1861259 |  1404845 |     6443    477 |        0 |        0
250.35/250.49	c  250s |      21 |  1870172 |  1412545 |     6443    479 |        0 |        0
252.44/252.51	c  252s |      21 |  1882014 |  1421845 |     6443    481 |        0 |        0
254.44/254.51	c  254s |      21 |  1899130 |  1434245 |     6443    485 |        0 |        0
256.44/256.56	c  256s |      21 |  1915639 |  1446645 |     6443    489 |        0 |        0
258.45/258.56	c  258s |      21 |  1929409 |  1457045 |     6443    491 |        0 |        0
260.44/260.57	c  260s |      21 |  1949829 |  1471045 |     6443    495 |        0 |        0
262.44/262.59	c  262s |      21 |  1969600 |  1485045 |     6443    499 |        0 |        0
264.44/264.59	c  264s |      21 |  1979764 |  1493345 |     7088    501 |        0 |        0
266.04/266.12	c  266s |      22 |  1989389 |  1500622 |     7088    503 |        0 |        0
268.05/268.13	c  268s |      22 |  2004268 |  1511822 |     7088    506 |        0 |        0
270.04/270.13	c  270s |      22 |  2023310 |  1524922 |     7088    509 |        0 |        0
272.04/272.13	c  272s |      22 |  2039706 |  1536922 |     7088    513 |        0 |        0
274.04/274.14	c  274s |      22 |  2055534 |  1548522 |     7088    515 |        0 |        0
276.05/276.15	c  276s |      22 |  2071446 |  1560522 |     7088    518 |        0 |        0
278.04/278.16	c  278s |      22 |  2089847 |  1574022 |     7088    522 |        0 |        0
280.04/280.16	c  280s |      22 |  2105066 |  1585222 |     7088    525 |        0 |        0
282.04/282.16	c  282s |      22 |  2124129 |  1599522 |     7088    528 |        0 |        0
284.04/284.17	c  284s |      22 |  2135223 |  1608422 |     7088    530 |        0 |        0
286.04/286.18	c  286s |      22 |  2147822 |  1618722 |     7088    533 |        0 |        0
288.04/288.19	c  288s |      22 |  2158885 |  1627222 |     7088    535 |        0 |        0
290.13/290.21	c  290s |      22 |  2176567 |  1640222 |     7088    539 |        0 |        0
292.14/292.22	c  292s |      22 |  2192333 |  1651722 |     7088    541 |        0 |        0
294.14/294.23	c  294s |      22 |  2209779 |  1663922 |     7088    544 |        0 |        0
296.14/296.27	c  296s |      22 |  2220356 |  1672322 |     7088    547 |        0 |        0
298.15/298.27	c  298s |      22 |  2229494 |  1679622 |     7088    548 |        0 |        0
300.14/300.28	c  300s |      22 |  2239386 |  1687422 |     7088    550 |        0 |        0
302.24/302.31	c  302s |      22 |  2248686 |  1695022 |     7088    552 |        0 |        0
304.24/304.32	c  304s |      22 |  2261940 |  1704822 |     7088    555 |        0 |        0
306.24/306.33	c  306s |      22 |  2276796 |  1715522 |     7088    558 |        0 |        0
308.24/308.34	c  308s |      22 |  2290005 |  1725322 |     7088    560 |        0 |        0
310.25/310.36	c  310s |      22 |  2303047 |  1735322 |     7088    562 |        0 |        0
312.24/312.37	c  312s |      22 |  2317796 |  1747122 |     7088    565 |        0 |        0
314.24/314.37	c  314s |      22 |  2331803 |  1757922 |     7088    568 |        0 |        0
316.24/316.38	c  316s |      22 |  2344192 |  1767822 |     7088    571 |        0 |        0
318.24/318.38	c  318s |      22 |  2356679 |  1777822 |     7088    573 |        0 |        0
320.24/320.40	c  320s |      22 |  2370288 |  1788122 |     7088    576 |        0 |        0
322.34/322.42	c  322s |      22 |  2380725 |  1796422 |     7088    578 |        0 |        0
324.33/324.43	c  324s |      22 |  2394750 |  1806422 |     7088    580 |        0 |        0
326.33/326.44	c  326s |      22 |  2409738 |  1817922 |     7088    583 |        0 |        0
328.33/328.46	c  328s |      22 |  2425342 |  1830022 |     7088    586 |        0 |        0
330.33/330.47	c  330s |      22 |  2437081 |  1839422 |     7088    589 |        0 |        0
332.33/332.47	c  332s |      22 |  2449888 |  1849322 |     7088    591 |        0 |        0
334.34/334.48	c  334s |      22 |  2464993 |  1860522 |     7088    594 |        0 |        0
336.33/336.48	c  336s |      22 |  2482060 |  1873222 |     7088    597 |        0 |        0
338.33/338.49	c  338s |      22 |  2498158 |  1885022 |     7088    600 |        0 |        0
340.43/340.50	c  340s |      22 |  2514175 |  1897222 |     7088    603 |        0 |        0
342.43/342.51	c  342s |      22 |  2528136 |  1908222 |     7088    606 |        0 |        0
344.43/344.54	c  344s |      22 |  2539998 |  1918122 |     7088    608 |        0 |        0
346.44/346.54	c  346s |      22 |  2554831 |  1929422 |     7088    611 |        0 |        0
348.43/348.58	c  348s |      22 |  2565009 |  1938022 |     7088    613 |        0 |        0
350.43/350.60	c  350s |      22 |  2574729 |  1946322 |     7088    615 |        0 |        0
352.53/352.61	c  352s |      22 |  2583663 |  1953822 |     7088    617 |        0 |        0
354.53/354.62	c  354s |      22 |  2592287 |  1961022 |     7088    619 |        0 |        0
356.52/356.62	c  356s |      22 |  2603885 |  1970422 |     7088    622 |        0 |        0
358.54/358.69	c  358s |      22 |  2618718 |  1981822 |     7088    625 |        0 |        0
360.63/360.70	c  360s |      22 |  2632591 |  1992822 |     7088    627 |        0 |        0
362.63/362.71	c  362s |      22 |  2648849 |  2005322 |     7088    630 |        0 |        0
364.63/364.71	c  364s |      22 |  2663852 |  2016422 |     7088    633 |        0 |        0
366.63/366.71	c  366s |      22 |  2679553 |  2027722 |     7088    636 |        0 |        0
368.63/368.71	c  368s |      22 |  2697808 |  2041122 |     7088    640 |        0 |        0
370.64/370.73	c  370s |      22 |  2715625 |  2053822 |     7088    643 |        0 |        0
372.63/372.73	c  372s |      22 |  2731508 |  2066022 |     7088    646 |        0 |        0
374.63/374.73	c  374s |      22 |  2739869 |  2073322 |     7088    648 |        0 |        0
376.63/376.78	c  376s |      22 |  2753024 |  2083522 |     7088    650 |        0 |        0
378.62/378.79	c  378s |      22 |  2768155 |  2095322 |     7088    653 |        0 |        0
380.72/380.80	c  380s |      22 |  2781707 |  2105822 |     7088    656 |        0 |        0
382.73/382.82	c  382s |      22 |  2792189 |  2114222 |     7088    658 |        0 |        0
384.72/384.83	c  384s |      22 |  2804539 |  2123622 |     7088    660 |        0 |        0
386.72/386.84	c  386s |      22 |  2820339 |  2135922 |     7088    664 |        0 |        0
388.72/388.85	c  388s |      22 |  2836773 |  2148122 |     7088    667 |        0 |        0
390.72/390.86	c  390s |      22 |  2854209 |  2161422 |     7088    670 |        0 |        0
392.73/392.87	c  392s |      22 |  2867144 |  2171722 |     7088    673 |        0 |        0
394.72/394.88	c  394s |      22 |  2877594 |  2180322 |     7088    675 |        0 |        0
396.72/396.88	c  396s |      22 |  2893003 |  2191922 |     7088    678 |        0 |        0
398.72/398.88	c  398s |      22 |  2906058 |  2202122 |     7088    680 |        0 |        0
400.72/400.89	c  400s |      22 |  2919303 |  2212822 |     7088    683 |        0 |        0
402.72/402.89	c  402s |      22 |  2929404 |  2221022 |     7088    685 |        0 |        0
404.82/405.00	c  404s |      22 |  2940145 |  2229222 |     7088    687 |        0 |        0
406.82/407.00	c  406s |      22 |  2954920 |  2240922 |     7797    690 |        0 |        0
408.71/408.85	c  408s |      23 |  2968470 |  2251038 |     7797    692 |        0 |        0
410.71/410.86	c  410s |      23 |  2985176 |  2262138 |     7797    695 |        0 |        0
412.71/412.86	c  412s |      23 |  2995821 |  2270638 |     7797    697 |        0 |        0
414.72/414.88	c  414s |      23 |  3007409 |  2279538 |     7797    699 |        0 |        0
416.71/416.88	c  416s |      23 |  3016844 |  2287238 |     7797    701 |        0 |        0
418.81/418.90	c  418s |      23 |  3028644 |  2295838 |     7797    703 |        0 |        0
420.81/420.91	c  420s |      23 |  3038097 |  2303238 |     7797    705 |        0 |        0
422.81/422.93	c  422s |      23 |  3048982 |  2311838 |     7797    707 |        0 |        0
424.82/424.94	c  424s |      23 |  3060390 |  2320538 |     7797    709 |        0 |        0
426.83/426.96	c  426s |      23 |  3075893 |  2331238 |     7797    711 |        0 |        0
428.82/428.96	c  428s |      23 |  3087675 |  2340338 |     7797    713 |        0 |        0
430.82/430.97	c  430s |      23 |  3102175 |  2351138 |     7797    716 |        0 |        0
432.82/432.99	c  432s |      23 |  3116099 |  2362038 |     7797    719 |        0 |        0
434.81/434.99	c  434s |      23 |  3133494 |  2374438 |     7797    721 |        0 |        0
436.91/437.01	c  436s |      23 |  3149744 |  2386638 |     7797    724 |        0 |        0
438.92/439.02	c  438s |      23 |  3165277 |  2398338 |     7797    727 |        0 |        0
440.91/441.02	c  440s |      23 |  3180353 |  2409838 |     7797    730 |        0 |        0
442.91/443.02	c  442s |      23 |  3192151 |  2419138 |     7797    732 |        0 |        0
444.91/445.02	c  444s |      23 |  3208050 |  2430638 |     7797    735 |        0 |        0
446.91/447.03	c  446s |      23 |  3221355 |  2440838 |     7797    737 |        0 |        0
448.91/449.05	c  449s |      23 |  3232188 |  2449538 |     7797    739 |        0 |        0
450.91/451.06	c  451s |      23 |  3246304 |  2459738 |     7797    741 |        0 |        0
452.91/453.07	c  453s |      23 |  3259164 |  2469238 |     7797    744 |        0 |        0
454.91/455.09	c  455s |      23 |  3272576 |  2479838 |     7797    746 |        0 |        0
456.91/457.10	c  457s |      23 |  3280577 |  2486538 |     7797    748 |        0 |        0
459.01/459.18	c  459s |      23 |  3289494 |  2493738 |     7797    750 |        0 |        0
461.10/461.20	c  461s |      23 |  3302885 |  2503538 |     7797    752 |        0 |        0
463.11/463.21	c  463s |      23 |  3314662 |  2512538 |     7797    754 |        0 |        0
465.10/465.24	c  465s |      23 |  3328086 |  2522738 |     7797    756 |        0 |        0
467.10/467.24	c  467s |      23 |  3343825 |  2534438 |     7797    759 |        0 |        0
469.10/469.25	c  469s |      23 |  3360809 |  2547238 |     7797    762 |        0 |        0
471.10/471.27	c  471s |      23 |  3370460 |  2554538 |     7797    764 |        0 |        0
473.10/473.27	c  473s |      23 |  3379789 |  2562038 |     7797    766 |        0 |        0
475.10/475.29	c  475s |      23 |  3395064 |  2573338 |     7797    768 |        0 |        0
477.10/477.29	c  477s |      23 |  3408062 |  2583738 |     7797    771 |        0 |        0
479.20/479.32	c  479s |      23 |  3415808 |  2590338 |     7797    772 |        0 |        0
481.19/481.34	c  481s |      23 |  3425757 |  2598338 |     7797    774 |        0 |        0
483.19/483.35	c  483s |      23 |  3435769 |  2606238 |     7797    776 |        0 |        0
485.19/485.37	c  485s |      23 |  3447406 |  2614838 |     7797    778 |        0 |        0
487.20/487.37	c  487s |      23 |  3460539 |  2624838 |     7797    781 |        0 |        0
489.19/489.38	c  489s |      23 |  3473189 |  2634738 |     7797    783 |        0 |        0
491.19/491.40	c  491s |      23 |  3484004 |  2643338 |     7797    785 |        0 |        0
493.29/493.44	c  493s |      23 |  3492289 |  2650538 |     7797    787 |        0 |        0
495.29/495.46	c  495s |      23 |  3500347 |  2657238 |     7797    788 |        0 |        0
497.29/497.47	c  497s |      23 |  3509547 |  2664538 |     7797    790 |        0 |        0
499.29/499.48	c  499s |      23 |  3523171 |  2674638 |     7797    792 |        0 |        0
501.29/501.49	c  501s |      23 |  3535049 |  2683638 |     7797    794 |        0 |        0
503.39/503.57	c  503s |      23 |  3548112 |  2693438 |     7797    797 |        0 |        0
505.39/505.57	c  505s |      23 |  3561923 |  2703838 |     7797    799 |        0 |        0
507.38/507.58	c  507s |      23 |  3577598 |  2715438 |     7797    802 |        0 |        0
509.38/509.58	c  509s |      23 |  3590439 |  2725338 |     7797    804 |        0 |        0
511.49/511.60	c  511s |      23 |  3603211 |  2735138 |     7797    807 |        0 |        0
513.48/513.60	c  513s |      23 |  3619687 |  2747538 |     7797    809 |        0 |        0
515.48/515.60	c  515s |      23 |  3633532 |  2758238 |     7797    812 |        0 |        0
517.48/517.62	c  517s |      23 |  3646473 |  2768238 |     7797    814 |        0 |        0
519.48/519.62	c  519s |      23 |  3661227 |  2779338 |     7797    817 |        0 |        0
521.47/521.66	c  521s |      23 |  3674750 |  2789838 |     7797    819 |        0 |        0
523.48/523.66	c  523s |      23 |  3691179 |  2801638 |     7797    822 |        0 |        0
525.47/525.67	c  525s |      23 |  3705228 |  2812538 |     7797    825 |        0 |        0
527.47/527.68	c  527s |      23 |  3718813 |  2822938 |     7797    827 |        0 |        0
529.57/529.70	c  529s |      23 |  3733957 |  2834438 |     7797    830 |        0 |        0
531.57/531.71	c  531s |      23 |  3749159 |  2846038 |     7797    833 |        0 |        0
533.57/533.71	c  533s |      23 |  3768643 |  2860438 |     7797    836 |        0 |        0
535.58/535.71	c  535s |      23 |  3787404 |  2874638 |     7797    839 |        0 |        0
537.58/537.73	c  537s |      23 |  3803631 |  2886938 |     7797    842 |        0 |        0
539.58/539.73	c  539s |      23 |  3818798 |  2898238 |     7797    845 |        0 |        0
541.57/541.73	c  541s |      23 |  3830936 |  2908238 |     7797    847 |        0 |        0
543.57/543.75	c  543s |      23 |  3840386 |  2915438 |     7797    849 |        0 |        0
545.58/545.76	c  545s |      23 |  3847570 |  2921738 |     7797    850 |        0 |        0
547.57/547.77	c  547s |      23 |  3854666 |  2928038 |     7797    852 |        0 |        0
549.57/549.78	c  549s |      23 |  3862287 |  2934638 |     7797    853 |        0 |        0
551.57/551.80	c  551s |      23 |  3870057 |  2941138 |     7797    855 |        0 |        0
553.66/553.80	c  553s |      23 |  3877227 |  2947138 |     7797    856 |        0 |        0
555.66/555.81	c  555s |      23 |  3884795 |  2953438 |     7797    858 |        0 |        0
557.67/557.84	c  557s |      23 |  3893404 |  2960738 |     7797    859 |        0 |        0
559.66/559.85	c  559s |      23 |  3901123 |  2966938 |     7797    861 |        0 |        0
561.66/561.88	c  561s |      23 |  3909660 |  2973938 |     7797    863 |        0 |        0
563.66/563.89	c  563s |      23 |  3921286 |  2982838 |     7797    865 |        0 |        0
565.76/565.92	c  565s |      23 |  3933301 |  2992338 |     7797    867 |        0 |        0
567.76/567.93	c  567s |      23 |  3942144 |  2999838 |     7797    869 |        0 |        0
569.76/569.94	c  569s |      23 |  3954576 |  3009538 |     7797    871 |        0 |        0
571.75/571.97	c  571s |      23 |  3962806 |  3016838 |     7797    873 |        0 |        0
573.75/573.97	c  573s |      23 |  3972573 |  3024438 |     7797    874 |        0 |        0
575.75/575.97	c  575s |      23 |  3984796 |  3033438 |     7797    876 |        0 |        0
577.75/577.98	c  577s |      23 |  3996984 |  3043138 |     7797    879 |        0 |        0
579.74/579.98	c  579s |      23 |  4015587 |  3057538 |     7797    882 |        0 |        0
581.75/581.99	c  581s |      23 |  4030285 |  3068938 |     7797    885 |        0 |        0
583.85/584.00	c  583s |      23 |  4041252 |  3077738 |     7797    887 |        0 |        0
585.85/586.00	c  585s |      23 |  4055113 |  3088538 |     7797    889 |        0 |        0
587.85/588.00	c  587s |      23 |  4071492 |  3100938 |     7797    892 |        0 |        0
589.85/590.01	c  589s |      23 |  4085430 |  3112238 |     7797    895 |        0 |        0
591.84/592.01	c  591s |      23 |  4099424 |  3123538 |     7797    898 |        0 |        0
593.85/594.02	c  593s |      23 |  4114503 |  3134838 |     7797    900 |        0 |        0
595.84/596.03	c  595s |      23 |  4131927 |  3148338 |     7797    903 |        0 |        0
597.84/598.04	c  597s |      23 |  4147271 |  3159538 |     7797    906 |        0 |        0
599.84/600.05	c  600s |      23 |  4163700 |  3172038 |     7797    909 |        0 |        0
601.84/602.05	c  602s |      23 |  4177148 |  3182438 |     7797    912 |        0 |        0
603.84/604.06	c  604s |      23 |  4192637 |  3194438 |     7797    914 |        0 |        0
605.84/606.10	c  606s |      23 |  4202632 |  3202738 |     7797    916 |        0 |        0
607.94/608.11	c  608s |      23 |  4212941 |  3211038 |     7797    918 |        0 |        0
609.93/610.11	c  610s |      23 |  4226297 |  3220838 |     7797    921 |        0 |        0
611.93/612.14	c  612s |      23 |  4240415 |  3231938 |     7797    923 |        0 |        0
613.93/614.14	c  614s |      23 |  4254263 |  3242638 |     7797    926 |        0 |        0
615.94/616.15	c  616s |      23 |  4266917 |  3252538 |     7797    928 |        0 |        0
617.93/618.15	c  618s |      23 |  4282155 |  3264238 |     7797    931 |        0 |        0
619.92/620.16	c  620s |      23 |  4296981 |  3275138 |     7797    933 |        0 |        0
621.92/622.16	c  622s |      23 |  4308166 |  3284538 |     7797    936 |        0 |        0
623.92/624.18	c  624s |      23 |  4320921 |  3294638 |     7797    938 |        0 |        0
625.92/626.19	c  626s |      23 |  4333298 |  3304738 |     7797    940 |        0 |        0
627.93/628.20	c  628s |      23 |  4342874 |  3312938 |     7797    942 |        0 |        0
630.02/630.20	c  630s |      23 |  4354400 |  3321938 |     7797    944 |        0 |        0
632.01/632.21	c  632s |      23 |  4368752 |  3332938 |     7797    947 |        0 |        0
634.01/634.26	c  634s |      23 |  4382739 |  3343838 |     7797    950 |        0 |        0
636.01/636.27	c  636s |      23 |  4395249 |  3353538 |     8577    952 |        0 |        0
638.01/638.28	c  638s |      23 |  4410787 |  3365538 |     8577    954 |        0 |        0
640.02/640.30	c  640s |      23 |  4422978 |  3375238 |     8577    956 |        0 |        0
640.41/640.64	c  640s |      24 |  4424723 |  3376662 |     8577    957 |        0 |        0
642.41/642.66	c  642s |      24 |  4441494 |  3388862 |     8577    959 |        0 |        0
644.42/644.67	c  644s |      24 |  4457519 |  3400662 |     8577    962 |        0 |        0
646.41/646.68	c  646s |      24 |  4471461 |  3412062 |     8577    964 |        0 |        0
648.51/648.70	c  648s |      24 |  4482970 |  3421262 |     8577    966 |        0 |        0
650.51/650.70	c  650s |      24 |  4492792 |  3429462 |     8577    968 |        0 |        0
652.51/652.71	c  652s |      24 |  4505332 |  3438662 |     8577    970 |        0 |        0
654.51/654.71	c  654s |      24 |  4520985 |  3450462 |     8577    973 |        0 |        0
656.51/656.73	c  656s |      24 |  4540804 |  3465162 |     8577    976 |        0 |        0
658.50/658.73	c  658s |      24 |  4557249 |  3477862 |     8577    978 |        0 |        0
660.50/660.73	c  660s |      24 |  4570821 |  3487462 |     8577    980 |        0 |        0
662.50/662.76	c  662s |      24 |  4585157 |  3498362 |     8577    983 |        0 |        0
664.50/664.77	c  664s |      24 |  4600181 |  3509062 |     8577    985 |        0 |        0
666.50/666.77	c  666s |      24 |  4619097 |  3522962 |     8577    988 |        0 |        0
668.50/668.79	c  668s |      24 |  4637186 |  3536062 |     8577    991 |        0 |        0
670.49/670.79	c  670s |      24 |  4646957 |  3543962 |     8577    993 |        0 |        0
672.49/672.79	c  672s |      24 |  4659825 |  3553762 |     8577    995 |        0 |        0
674.49/674.79	c  674s |      24 |  4670648 |  3562462 |     8577    997 |        0 |        0
676.59/676.80	c  676s |      24 |  4685346 |  3573862 |     8577    999 |        0 |        0
678.60/678.81	c  678s |      24 |  4697259 |  3583262 |     8577   1001 |        0 |        0
680.58/680.83	c  680s |      24 |  4711810 |  3594662 |     8577   1003 |        0 |        0
682.58/682.85	c  682s |      24 |  4720483 |  3601662 |     8577   1005 |        0 |        0
684.68/684.92	c  684s |      24 |  4736098 |  3613462 |     8577   1008 |        0 |        0
686.68/686.92	c  686s |      24 |  4752603 |  3625662 |     8577   1010 |        0 |        0
688.68/688.94	c  688s |      24 |  4770543 |  3638862 |     8577   1013 |        0 |        0
690.69/690.94	c  690s |      24 |  4785009 |  3649862 |     8577   1015 |        0 |        0
692.68/692.96	c  692s |      24 |  4800834 |  3661462 |     8577   1018 |        0 |        0
694.68/694.96	c  694s |      24 |  4812123 |  3670462 |     8577   1020 |        0 |        0
696.68/696.97	c  696s |      24 |  4823090 |  3679562 |     8577   1022 |        0 |        0
698.68/698.98	c  698s |      24 |  4832212 |  3687062 |     8577   1023 |        0 |        0
700.77/701.00	c  700s |      24 |  4846663 |  3697962 |     8577   1026 |        0 |        0
702.78/703.01	c  702s |      24 |  4859073 |  3707362 |     8577   1028 |        0 |        0
704.77/705.02	c  704s |      24 |  4876691 |  3720362 |     8577   1031 |        0 |        0
706.77/707.07	c  707s |      24 |  4891881 |  3731762 |     8577   1033 |        0 |        0
708.77/709.07	c  709s |      24 |  4911822 |  3746562 |     8577   1036 |        0 |        0
710.77/711.09	c  711s |      24 |  4927576 |  3758462 |     8577   1039 |        0 |        0
712.77/713.09	c  713s |      24 |  4944260 |  3770862 |     8577   1041 |        0 |        0
714.77/715.09	c  715s |      24 |  4959365 |  3782462 |     8577   1044 |        0 |        0
716.87/717.11	c  717s |      24 |  4969714 |  3790862 |     8577   1046 |        0 |        0
718.87/719.13	c  719s |      24 |  4983665 |  3801762 |     8577   1048 |        0 |        0
720.87/721.15	c  721s |      24 |  4998837 |  3813362 |     8577   1051 |        0 |        0
722.87/723.16	c  723s |      24 |  5016431 |  3826062 |     8577   1053 |        0 |        0
724.86/725.16	c  725s |      24 |  5031114 |  3836762 |     8577   1056 |        0 |        0
726.87/727.17	c  727s |      24 |  5050521 |  3850762 |     8577   1059 |        0 |        0
728.86/729.18	c  729s |      24 |  5064096 |  3861262 |     8577   1061 |        0 |        0
730.96/731.20	c  731s |      24 |  5079224 |  3872762 |     8577   1063 |        0 |        0
732.96/733.21	c  733s |      24 |  5093929 |  3883962 |     8577   1066 |        0 |        0
734.96/735.24	c  735s |      24 |  5103188 |  3891662 |     8577   1067 |        0 |        0
736.96/737.24	c  737s |      24 |  5120116 |  3904062 |     8577   1070 |        0 |        0
738.96/739.26	c  739s |      24 |  5130761 |  3912462 |     8577   1072 |        0 |        0
740.95/741.27	c  741s |      24 |  5144553 |  3923162 |     8577   1074 |        0 |        0
742.95/743.29	c  743s |      24 |  5155842 |  3932162 |     8577   1076 |        0 |        0
745.05/745.30	c  745s |      24 |  5167201 |  3941062 |     8577   1078 |        0 |        0
747.05/747.31	c  747s |      24 |  5178763 |  3949662 |     8577   1080 |        0 |        0
749.05/749.32	c  749s |      24 |  5189697 |  3958262 |     8577   1082 |        0 |        0
751.05/751.34	c  751s |      24 |  5198923 |  3965762 |     8577   1083 |        0 |        0
753.04/753.35	c  753s |      24 |  5208154 |  3973162 |     8577   1085 |        0 |        0
755.04/755.36	c  755s |      24 |  5218965 |  3981962 |     8577   1087 |        0 |        0
757.04/757.37	c  757s |      24 |  5235478 |  3993862 |     8577   1089 |        0 |        0
759.14/759.40	c  759s |      24 |  5251058 |  4005562 |     8577   1092 |        0 |        0
761.13/761.41	c  761s |      24 |  5263412 |  4015562 |     8577   1094 |        0 |        0
763.14/763.41	c  763s |      24 |  5280032 |  4027562 |     8577   1097 |        0 |        0
765.14/765.42	c  765s |      24 |  5291505 |  4036762 |     8577   1099 |        0 |        0
767.14/767.43	c  767s |      24 |  5310147 |  4049762 |     8577   1101 |        0 |        0
769.14/769.46	c  769s |      24 |  5327909 |  4063262 |     8577   1104 |        0 |        0
771.14/771.47	c  771s |      24 |  5344516 |  4075162 |     8577   1107 |        0 |        0
773.14/773.47	c  773s |      24 |  5360035 |  4087362 |     8577   1109 |        0 |        0
775.14/775.49	c  775s |      24 |  5368610 |  4094662 |     8577   1111 |        0 |        0
777.14/777.50	c  777s |      24 |  5377736 |  4101862 |     8577   1113 |        0 |        0
779.24/779.50	c  779s |      24 |  5391001 |  4112362 |     8577   1115 |        0 |        0
781.23/781.50	c  781s |      24 |  5402352 |  4121262 |     8577   1117 |        0 |        0
783.23/783.51	c  783s |      24 |  5412011 |  4129262 |     8577   1119 |        0 |        0
785.23/785.52	c  785s |      24 |  5424855 |  4139062 |     8577   1121 |        0 |        0
787.23/787.54	c  787s |      24 |  5434283 |  4146862 |     8577   1122 |        0 |        0
789.23/789.55	c  789s |      24 |  5441481 |  4153262 |     8577   1124 |        0 |        0
791.22/791.55	c  791s |      24 |  5451147 |  4161062 |     8577   1125 |        0 |        0
793.22/793.56	c  793s |      24 |  5459732 |  4168362 |     8577   1127 |        0 |        0
795.22/795.57	c  795s |      24 |  5472911 |  4178062 |     8577   1129 |        0 |        0
797.22/797.58	c  797s |      24 |  5485853 |  4188662 |     8577   1131 |        0 |        0
799.32/799.60	c  799s |      24 |  5493783 |  4194962 |     8577   1133 |        0 |        0
801.31/801.61	c  801s |      24 |  5509812 |  4207062 |     8577   1135 |        0 |        0
803.31/803.61	c  803s |      24 |  5521024 |  4215562 |     8577   1137 |        0 |        0
805.31/805.61	c  805s |      24 |  5534790 |  4226462 |     8577   1139 |        0 |        0
807.31/807.61	c  807s |      24 |  5547631 |  4236362 |     8577   1141 |        0 |        0
809.32/809.62	c  809s |      24 |  5564859 |  4249762 |     8577   1144 |        0 |        0
811.31/811.63	c  811s |      24 |  5581924 |  4262762 |     8577   1147 |        0 |        0
813.31/813.64	c  813s |      24 |  5597054 |  4274062 |     8577   1150 |        0 |        0
815.31/815.66	c  815s |      24 |  5613076 |  4286062 |     8577   1152 |        0 |        0
817.31/817.67	c  817s |      24 |  5626075 |  4296362 |     8577   1154 |        0 |        0
819.41/819.75	c  819s |      24 |  5638925 |  4306162 |     8577   1157 |        0 |        0
821.51/821.81	c  821s |      24 |  5651082 |  4315762 |     8577   1159 |        0 |        0
823.50/823.81	c  823s |      24 |  5663904 |  4325762 |     8577   1161 |        0 |        0
825.50/825.82	c  825s |      24 |  5673975 |  4333862 |     8577   1162 |        0 |        0
827.50/827.84	c  827s |      24 |  5684235 |  4341862 |     8577   1164 |        0 |        0
829.50/829.85	c  829s |      24 |  5694565 |  4350462 |     8577   1166 |        0 |        0
831.50/831.86	c  831s |      24 |  5704048 |  4358262 |     8577   1168 |        0 |        0
833.50/833.86	c  833s |      24 |  5715401 |  4367162 |     8577   1170 |        0 |        0
835.50/835.87	c  835s |      24 |  5729638 |  4378362 |     8577   1172 |        0 |        0
837.49/837.89	c  837s |      24 |  5742520 |  4388262 |     8577   1174 |        0 |        0
839.59/839.91	c  839s |      24 |  5754696 |  4397762 |     8577   1176 |        0 |        0
841.59/841.93	c  841s |      24 |  5766871 |  4407362 |     8577   1178 |        0 |        0
843.59/843.94	c  843s |      24 |  5781872 |  4418962 |     8577   1181 |        0 |        0
845.60/845.95	c  845s |      24 |  5794477 |  4428562 |     8577   1183 |        0 |        0
847.60/847.95	c  847s |      24 |  5805094 |  4437262 |     8577   1185 |        0 |        0
849.60/849.95	c  849s |      24 |  5819376 |  4448362 |     8577   1187 |        0 |        0
851.59/851.96	c  851s |      24 |  5833271 |  4458862 |     8577   1189 |        0 |        0
853.69/854.00	c  853s |      24 |  5850246 |  4471662 |     8577   1192 |        0 |        0
855.69/856.00	c  855s |      24 |  5866088 |  4483962 |     8577   1195 |        0 |        0
857.70/858.01	c  857s |      24 |  5879587 |  4494662 |     8577   1197 |        0 |        0
859.69/860.04	c  859s |      24 |  5895770 |  4506762 |     8577   1200 |        0 |        0
861.68/862.04	c  861s |      24 |  5910460 |  4518062 |     8577   1202 |        0 |        0
863.68/864.05	c  864s |      24 |  5926015 |  4529162 |     8577   1204 |        0 |        0
865.68/866.06	c  866s |      24 |  5944330 |  4542662 |     8577   1207 |        0 |        0
867.69/868.08	c  868s |      24 |  5958426 |  4553662 |     8577   1210 |        0 |        0
869.68/870.09	c  870s |      24 |  5970832 |  4563362 |     8577   1212 |        0 |        0
871.68/872.09	c  872s |      24 |  5986092 |  4574962 |     8577   1214 |        0 |        0
873.78/874.10	c  874s |      24 |  6001268 |  4586962 |     8577   1217 |        0 |        0
875.78/876.12	c  876s |      24 |  6015722 |  4597962 |     8577   1219 |        0 |        0
877.78/878.13	c  878s |      24 |  6029242 |  4608462 |     8577   1221 |        0 |        0
879.78/880.13	c  880s |      24 |  6041504 |  4618262 |     8577   1223 |        0 |        0
881.77/882.13	c  882s |      24 |  6051012 |  4626162 |     8577   1225 |        0 |        0
883.77/884.14	c  884s |      24 |  6065465 |  4636862 |     8577   1227 |        0 |        0
885.77/886.14	c  886s |      24 |  6080101 |  4648162 |     8577   1230 |        0 |        0
887.77/888.16	c  888s |      24 |  6092940 |  4658262 |     8577   1232 |        0 |        0
889.76/890.18	c  890s |      24 |  6106836 |  4668862 |     8577   1234 |        0 |        0
891.77/892.19	c  892s |      24 |  6122203 |  4680662 |     8577   1237 |        0 |        0
893.76/894.20	c  894s |      24 |  6138373 |  4692762 |     8577   1239 |        0 |        0
895.86/896.20	c  896s |      24 |  6154815 |  4705662 |     8577   1242 |        0 |        0
897.86/898.24	c  898s |      24 |  6168498 |  4716362 |     8577   1245 |        0 |        0
899.86/900.25	c  900s |      24 |  6183517 |  4728262 |     8577   1247 |        0 |        0
901.85/902.27	c  902s |      24 |  6192416 |  4735562 |     8577   1249 |        0 |        0
903.86/904.28	c  904s |      24 |  6207125 |  4746062 |     8577   1251 |        0 |        0
905.85/906.28	c  906s |      24 |  6219104 |  4755562 |     8577   1253 |        0 |        0
907.85/908.29	c  908s |      24 |  6232366 |  4765362 |     8577   1255 |        0 |        0
909.95/910.30	c  910s |      24 |  6247774 |  4777062 |     8577   1257 |        0 |        0
911.95/912.33	c  912s |      24 |  6260972 |  4787362 |     8577   1260 |        0 |        0
913.95/914.34	c  914s |      24 |  6272822 |  4796962 |     8577   1262 |        0 |        0
915.95/916.35	c  916s |      24 |  6285127 |  4806662 |     8577   1264 |        0 |        0
917.95/918.37	c  918s |      24 |  6294316 |  4814162 |     8577   1265 |        0 |        0
919.95/920.38	c  920s |      24 |  6307009 |  4823862 |     8577   1268 |        0 |        0
921.95/922.38	c  922s |      24 |  6317599 |  4832362 |     8577   1269 |        0 |        0
924.05/924.45	c  924s |      24 |  6330174 |  4842362 |     8577   1272 |        0 |        0
926.05/926.45	c  926s |      24 |  6343617 |  4852962 |     8577   1274 |        0 |        0
928.05/928.47	c  928s |      24 |  6352935 |  4860462 |     8577   1275 |        0 |        0
930.04/930.48	c  930s |      24 |  6365705 |  4870362 |     8577   1278 |        0 |        0
932.04/932.48	c  932s |      24 |  6380858 |  4881762 |     8577   1280 |        0 |        0
934.14/934.51	c  934s |      24 |  6388121 |  4888062 |     8577   1281 |        0 |        0
936.14/936.56	c  936s |      24 |  6400810 |  4897862 |     8577   1283 |        0 |        0
938.14/938.58	c  938s |      24 |  6411800 |  4906862 |     8577   1285 |        0 |        0
940.14/940.59	c  940s |      24 |  6425522 |  4916762 |     8577   1288 |        0 |        0
942.13/942.59	c  942s |      24 |  6436317 |  4925062 |     8577   1289 |        0 |        0
944.13/944.59	c  944s |      24 |  6446376 |  4933262 |     8577   1291 |        0 |        0
946.13/946.59	c  946s |      24 |  6455058 |  4939962 |     8577   1293 |        0 |        0
948.23/948.61	c  948s |      24 |  6467666 |  4950262 |     8577   1295 |        0 |        0
950.22/950.63	c  950s |      24 |  6476971 |  4957762 |     8577   1296 |        0 |        0
952.23/952.63	c  952s |      24 |  6488644 |  4967062 |     8577   1298 |        0 |        0
954.22/954.65	c  954s |      24 |  6500033 |  4975962 |     8577   1300 |        0 |        0
956.22/956.66	c  956s |      24 |  6510875 |  4984462 |     8577   1302 |        0 |        0
958.22/958.66	c  958s |      24 |  6519490 |  4991762 |     8577   1304 |        0 |        0
960.22/960.69	c  960s |      24 |  6528066 |  4998662 |     8577   1305 |        0 |        0
962.22/962.69	c  962s |      24 |  6539553 |  5007262 |     8577   1307 |        0 |        0
964.22/964.70	c  964s |      24 |  6550479 |  5016062 |     8577   1309 |        0 |        0
966.32/966.72	c  966s |      24 |  6564238 |  5026662 |     8577   1311 |        0 |        0
968.42/968.84	c  968s |      24 |  6573442 |  5034162 |     9435   1313 |        0 |        0
970.41/970.85	c  970s |      24 |  6584083 |  5042062 |     9435   1314 |        0 |        0
972.41/972.87	c  972s |      24 |  6593811 |  5050262 |     9435   1316 |        0 |        0
974.51/974.90	c  974s |      24 |  6601575 |  5057262 |     9435   1317 |        0 |        0
976.52/976.91	c  976s |      24 |  6609785 |  5063562 |     9435   1318 |        0 |        0
977.01/977.49	c  977s |      25 |  6612105 |  5065098 |     9435   1319 |        0 |        0
979.11/979.50	c  979s |      25 |  6630652 |  5078498 |     9435   1321 |        0 |        0
981.10/981.52	c  981s |      25 |  6645450 |  5089798 |     9435   1323 |        0 |        0
983.11/983.52	c  983s |      25 |  6656377 |  5098498 |     9435   1325 |        0 |        0
985.10/985.53	c  985s |      25 |  6670907 |  5109698 |     9435   1327 |        0 |        0
987.10/987.55	c  987s |      25 |  6680424 |  5117398 |     9435   1329 |        0 |        0
989.10/989.56	c  989s |      25 |  6697885 |  5130298 |     9435   1331 |        0 |        0
991.10/991.58	c  991s |      25 |  6711414 |  5140498 |     9435   1334 |        0 |        0
993.10/993.58	c  993s |      25 |  6724066 |  5150698 |     9435   1336 |        0 |        0
995.10/995.60	c  995s |      25 |  6732119 |  5157298 |     9435   1337 |        0 |        0
997.20/997.60	c  997s |      25 |  6739952 |  5163498 |     9435   1338 |        0 |        0
999.20/999.61	c  999s |      25 |  6749760 |  5170998 |     9435   1340 |        0 |        0
1001.19/1001.64	c 1001s |      25 |  6761741 |  5180298 |     9435   1341 |        0 |        0
1003.19/1003.64	c 1003s |      25 |  6772313 |  5188498 |     9435   1343 |        0 |        0
1005.19/1005.65	c 1005s |      25 |  6785741 |  5198698 |     9435   1345 |        0 |        0
1007.20/1007.65	c 1007s |      25 |  6798212 |  5209098 |     9435   1347 |        0 |        0
1009.19/1009.66	c 1009s |      25 |  6806593 |  5216198 |     9435   1348 |        0 |        0
1011.18/1011.67	c 1011s |      25 |  6816212 |  5223698 |     9435   1350 |        0 |        0
1013.18/1013.69	c 1013s |      25 |  6826800 |  5232498 |     9435   1352 |        0 |        0
1015.28/1015.72	c 1015s |      25 |  6835547 |  5239698 |     9435   1353 |        0 |        0
1017.28/1017.74	c 1017s |      25 |  6847634 |  5249098 |     9435   1355 |        0 |        0
1019.29/1019.76	c 1019s |      25 |  6861270 |  5260298 |     9435   1357 |        0 |        0
1021.28/1021.76	c 1021s |      25 |  6875519 |  5271198 |     9435   1359 |        0 |        0
1023.28/1023.77	c 1023s |      25 |  6890014 |  5282198 |     9435   1362 |        0 |        0
1025.28/1025.77	c 1025s |      25 |  6906668 |  5294698 |     9435   1364 |        0 |        0
1027.28/1027.77	c 1027s |      25 |  6919904 |  5304698 |     9435   1366 |        0 |        0
1029.29/1029.77	c 1029s |      25 |  6936225 |  5316498 |     9435   1368 |        0 |        0
1031.28/1031.79	c 1031s |      25 |  6949854 |  5327198 |     9435   1370 |        0 |        0
1033.37/1033.81	c 1033s |      25 |  6963470 |  5337498 |     9435   1373 |        0 |        0
1035.37/1035.82	c 1035s |      25 |  6976700 |  5347598 |     9435   1375 |        0 |        0
1037.37/1037.84	c 1037s |      25 |  6988228 |  5357198 |     9435   1376 |        0 |        0
1039.37/1039.86	c 1039s |      25 |  6998796 |  5365898 |     9435   1378 |        0 |        0
1041.38/1041.88	c 1041s |      25 |  7012986 |  5377098 |     9435   1380 |        0 |        0
1043.37/1043.89	c 1043s |      25 |  7026552 |  5387598 |     9435   1382 |        0 |        0
1045.47/1045.92	c 1045s |      25 |  7040133 |  5398198 |     9435   1385 |        0 |        0
1047.47/1047.92	c 1047s |      25 |  7049850 |  5405898 |     9435   1386 |        0 |        0
1049.47/1049.92	c 1049s |      25 |  7064652 |  5417198 |     9435   1388 |        0 |        0
1051.47/1051.94	c 1051s |      25 |  7077109 |  5426598 |     9435   1390 |        0 |        0
1053.47/1053.95	c 1053s |      25 |  7090630 |  5436898 |     9435   1392 |        0 |        0
1055.46/1055.96	c 1055s |      25 |  7099944 |  5444798 |     9435   1394 |        0 |        0
1057.46/1057.98	c 1057s |      25 |  7106778 |  5450798 |     9435   1395 |        0 |        0
1059.46/1059.99	c 1059s |      25 |  7118291 |  5460398 |     9435   1397 |        0 |        0
1061.56/1062.01	c 1061s |      25 |  7129048 |  5468698 |     9435   1399 |        0 |        0
1063.56/1064.03	c 1063s |      25 |  7138980 |  5476698 |     9435   1400 |        0 |        0
1065.56/1066.05	c 1066s |      25 |  7148366 |  5483998 |     9435   1402 |        0 |        0
1067.56/1068.05	c 1068s |      25 |  7159242 |  5492298 |     9435   1403 |        0 |        0
1069.56/1070.06	c 1070s |      25 |  7173918 |  5503398 |     9435   1405 |        0 |        0
1071.55/1072.06	c 1072s |      25 |  7187101 |  5513898 |     9435   1408 |        0 |        0
1073.55/1074.07	c 1074s |      25 |  7200575 |  5523898 |     9435   1410 |        0 |        0
1075.55/1076.08	c 1076s |      25 |  7217066 |  5536398 |     9435   1412 |        0 |        0
1077.56/1078.08	c 1078s |      25 |  7231326 |  5547398 |     9435   1414 |        0 |        0
1079.55/1080.09	c 1080s |      25 |  7246083 |  5558698 |     9435   1416 |        0 |        0
1081.65/1082.17	c 1082s |      25 |  7254572 |  5566198 |     9435   1418 |        0 |        0
1083.65/1084.19	c 1084s |      25 |  7263983 |  5573598 |     9435   1419 |        0 |        0
1085.75/1086.20	c 1086s |      25 |  7275105 |  5581998 |     9435   1421 |        0 |        0
1087.75/1088.21	c 1088s |      25 |  7288714 |  5592198 |     9435   1423 |        0 |        0
1089.75/1090.23	c 1090s |      25 |  7296722 |  5598998 |     9435   1424 |        0 |        0
1091.75/1092.24	c 1092s |      25 |  7303659 |  5605098 |     9435   1426 |        0 |        0
1093.76/1094.26	c 1094s |      25 |  7315224 |  5613998 |     9435   1427 |        0 |        0
1095.75/1096.26	c 1096s |      25 |  7323504 |  5620798 |     9435   1429 |        0 |        0
1097.75/1098.27	c 1098s |      25 |  7334812 |  5629598 |     9435   1430 |        0 |        0
1099.85/1100.32	c 1100s |      25 |  7348608 |  5639798 |     9435   1433 |        0 |        0
1101.86/1102.32	c 1102s |      25 |  7359274 |  5648498 |     9435   1434 |        0 |        0
1103.85/1104.33	c 1104s |      25 |  7369575 |  5657098 |     9435   1436 |        0 |        0
1105.85/1106.34	c 1106s |      25 |  7378797 |  5664798 |     9435   1437 |        0 |        0
1107.85/1108.34	c 1108s |      25 |  7385703 |  5670398 |     9435   1439 |        0 |        0
1109.85/1110.35	c 1110s |      25 |  7394600 |  5677398 |     9435   1440 |        0 |        0
1111.85/1112.37	c 1112s |      25 |  7404452 |  5685298 |     9435   1441 |        0 |        0
1113.85/1114.40	c 1114s |      25 |  7417882 |  5695698 |     9435   1444 |        0 |        0
1115.94/1116.41	c 1116s |      25 |  7427429 |  5703498 |     9435   1445 |        0 |        0
1117.94/1118.42	c 1118s |      25 |  7437786 |  5711298 |     9435   1447 |        0 |        0
1119.94/1120.44	c 1120s |      25 |  7449077 |  5720598 |     9435   1448 |        0 |        0
1121.94/1122.46	c 1122s |      25 |  7462628 |  5730598 |     9435   1450 |        0 |        0
1124.04/1124.52	c 1124s |      25 |  7476132 |  5740798 |     9435   1453 |        0 |        0
1126.05/1126.52	c 1126s |      25 |  7486980 |  5749598 |     9435   1454 |        0 |        0
1128.04/1128.54	c 1128s |      25 |  7496751 |  5757598 |     9435   1456 |        0 |        0
1130.04/1130.55	c 1130s |      25 |  7507675 |  5766198 |     9435   1458 |        0 |        0
1132.04/1132.55	c 1132s |      25 |  7519074 |  5775498 |     9435   1459 |        0 |        0
1134.04/1134.56	c 1134s |      25 |  7528880 |  5782898 |     9435   1461 |        0 |        0
1136.04/1136.56	c 1136s |      25 |  7540856 |  5792198 |     9435   1463 |        0 |        0
1138.05/1138.56	c 1138s |      25 |  7554259 |  5802498 |     9435   1465 |        0 |        0
1140.14/1140.61	c 1140s |      25 |  7564874 |  5811198 |     9435   1467 |        0 |        0
1142.14/1142.63	c 1142s |      25 |  7573923 |  5818798 |     9435   1468 |        0 |        0
1144.14/1144.63	c 1144s |      25 |  7582302 |  5825698 |     9435   1469 |        0 |        0
1146.14/1146.63	c 1146s |      25 |  7594120 |  5834598 |     9435   1471 |        0 |        0
1148.14/1148.68	c 1148s |      25 |  7603385 |  5842098 |     9435   1473 |        0 |        0
1150.14/1150.69	c 1150s |      25 |  7617924 |  5853098 |     9435   1475 |        0 |        0
1152.24/1152.70	c 1152s |      25 |  7628046 |  5861398 |     9435   1477 |        0 |        0
1154.24/1154.74	c 1154s |      25 |  7637489 |  5869598 |     9435   1478 |        0 |        0
1156.24/1156.76	c 1156s |      25 |  7647901 |  5877698 |     9435   1480 |        0 |        0
1158.24/1158.76	c 1158s |      25 |  7658656 |  5886098 |     9435   1481 |        0 |        0
1160.33/1160.80	c 1160s |      25 |  7667638 |  5893698 |     9435   1483 |        0 |        0
1162.24/1162.80	c 1162s |      25 |  7679403 |  5902898 |     9435   1485 |        0 |        0
1164.33/1164.81	c 1164s |      25 |  7689136 |  5910998 |     9435   1486 |        0 |        0
1166.33/1166.81	c 1166s |      25 |  7699434 |  5919198 |     9435   1488 |        0 |        0
1168.33/1168.82	c 1168s |      25 |  7712290 |  5929098 |     9435   1490 |        0 |        0
1170.33/1170.83	c 1170s |      25 |  7722975 |  5937898 |     9435   1492 |        0 |        0
1172.33/1172.83	c 1172s |      25 |  7736362 |  5947998 |     9435   1494 |        0 |        0
1174.34/1174.83	c 1174s |      25 |  7747345 |  5957098 |     9435   1496 |        0 |        0
1176.33/1176.84	c 1176s |      25 |  7756983 |  5964398 |     9435   1497 |        0 |        0
1178.33/1178.84	c 1178s |      25 |  7768859 |  5974098 |     9435   1499 |        0 |        0
1180.34/1180.84	c 1180s |      25 |  7781715 |  5984198 |     9435   1501 |        0 |        0
1182.34/1182.85	c 1182s |      25 |  7794346 |  5993998 |     9435   1503 |        0 |        0
1184.44/1184.98	c 1184s |      25 |  7803936 |  6001198 |     9435   1504 |        0 |        0
1186.44/1186.98	c 1186s |      25 |  7816855 |  6011098 |     9435   1506 |        0 |        0
1188.44/1188.99	c 1188s |      25 |  7826185 |  6018898 |     9435   1508 |        0 |        0
1190.44/1190.99	c 1190s |      25 |  7837466 |  6028198 |     9435   1510 |        0 |        0
1192.53/1193.00	c 1192s |      25 |  7849210 |  6037498 |     9435   1511 |        0 |        0
1194.53/1195.02	c 1194s |      25 |  7858648 |  6044998 |     9435   1513 |        0 |        0
1196.53/1197.03	c 1196s |      25 |  7872043 |  6054998 |     9435   1515 |        0 |        0
1198.54/1199.04	c 1198s |      25 |  7885840 |  6066198 |     9435   1517 |        0 |        0
1200.53/1201.06	c 1201s |      25 |  7894764 |  6073998 |     9435   1519 |        0 |        0
1202.53/1203.08	c 1203s |      25 |  7907713 |  6083898 |     9435   1521 |        0 |        0
1204.53/1205.08	c 1205s |      25 |  7920651 |  6094298 |     9435   1523 |        0 |        0
1206.53/1207.08	c 1207s |      25 |  7933040 |  6104198 |     9435   1525 |        0 |        0
1208.63/1209.12	c 1209s |      25 |  7943288 |  6112898 |     9435   1527 |        0 |        0
1210.64/1211.14	c 1211s |      25 |  7957819 |  6124098 |     9435   1529 |        0 |        0
1212.63/1213.16	c 1213s |      25 |  7968905 |  6132798 |     9435   1530 |        0 |        0
1214.63/1215.17	c 1215s |      25 |  7982860 |  6143598 |     9435   1533 |        0 |        0
1216.63/1217.19	c 1217s |      25 |  7995703 |  6153398 |     9435   1535 |        0 |        0
1218.72/1219.20	c 1219s |      25 |  8009611 |  6163798 |     9435   1537 |        0 |        0
1220.72/1221.20	c 1221s |      25 |  8020728 |  6172498 |     9435   1538 |        0 |        0
1222.73/1223.22	c 1223s |      25 |  8035657 |  6183798 |     9435   1541 |        0 |        0
1224.72/1225.23	c 1225s |      25 |  8048371 |  6193698 |     9435   1543 |        0 |        0
1226.72/1227.24	c 1227s |      25 |  8062487 |  6204698 |     9435   1545 |        0 |        0
1228.72/1229.25	c 1229s |      25 |  8076433 |  6215498 |     9435   1547 |        0 |        0
1230.72/1231.25	c 1231s |      25 |  8089395 |  6225498 |     9435   1549 |        0 |        0
1232.73/1233.26	c 1233s |      25 |  8097124 |  6231998 |     9435   1550 |        0 |        0
1234.72/1235.28	c 1235s |      25 |  8105618 |  6238998 |     9435   1551 |        0 |        0
1236.82/1237.31	c 1237s |      25 |  8112432 |  6244398 |     9435   1553 |        0 |        0
1238.82/1239.34	c 1239s |      25 |  8125577 |  6253898 |     9435   1554 |        0 |        0
1240.82/1241.37	c 1241s |      25 |  8139493 |  6264598 |     9435   1557 |        0 |        0
1242.82/1243.37	c 1243s |      25 |  8147204 |  6271198 |     9435   1558 |        0 |        0
1244.82/1245.38	c 1245s |      25 |  8154140 |  6276898 |     9435   1559 |        0 |        0
1246.82/1247.40	c 1247s |      25 |  8161597 |  6283498 |     9435   1560 |        0 |        0
1248.93/1249.41	c 1249s |      25 |  8170621 |  6290698 |     9435   1562 |        0 |        0
1250.93/1251.41	c 1251s |      25 |  8183883 |  6300898 |     9435   1564 |        0 |        0
1252.93/1253.42	c 1253s |      25 |  8193336 |  6308898 |     9435   1565 |        0 |        0
1254.93/1255.43	c 1255s |      25 |  8203186 |  6316698 |     9435   1567 |        0 |        0
1256.93/1257.43	c 1257s |      25 |  8212882 |  6324398 |     9435   1568 |        0 |        0
1258.92/1259.44	c 1259s |      25 |  8222953 |  6332398 |     9435   1570 |        0 |        0
1260.92/1261.45	c 1261s |      25 |  8232221 |  6339798 |     9435   1571 |        0 |        0
1262.92/1263.47	c 1263s |      25 |  8240199 |  6346098 |     9435   1573 |        0 |        0
1264.92/1265.49	c 1265s |      25 |  8248060 |  6352298 |     9435   1574 |        0 |        0
1267.02/1267.50	c 1267s |      25 |  8257331 |  6360098 |     9435   1576 |        0 |        0
1269.03/1269.52	c 1269s |      25 |  8266308 |  6367098 |     9435   1577 |        0 |        0
1271.02/1271.55	c 1271s |      25 |  8274868 |  6374098 |     9435   1578 |        0 |        0
1273.22/1273.71	c 1273s |      25 |  8284501 |  6381698 |     9435   1580 |        0 |        0
1275.22/1275.72	c 1275s |      25 |  8299223 |  6392898 |     9435   1582 |        0 |        0
1277.22/1277.73	c 1277s |      25 |  8311841 |  6402998 |     9435   1584 |        0 |        0
1279.22/1279.74	c 1279s |      25 |  8323210 |  6412298 |     9435   1586 |        0 |        0
1281.22/1281.75	c 1281s |      25 |  8336337 |  6422298 |     9435   1588 |        0 |        0
1283.22/1283.75	c 1283s |      25 |  8349806 |  6432598 |     9435   1590 |        0 |        0
1285.22/1285.76	c 1285s |      25 |  8361996 |  6442498 |     9435   1592 |        0 |        0
1287.31/1287.80	c 1287s |      25 |  8372044 |  6450998 |     9435   1594 |        0 |        0
1289.31/1289.81	c 1289s |      25 |  8382372 |  6458898 |     9435   1595 |        0 |        0
1291.31/1291.83	c 1291s |      25 |  8393136 |  6466898 |     9435   1597 |        0 |        0
1293.31/1293.84	c 1293s |      25 |  8403404 |  6474998 |     9435   1598 |        0 |        0
1295.32/1295.84	c 1295s |      25 |  8418353 |  6486298 |     9435   1601 |        0 |        0
1297.31/1297.87	c 1297s |      25 |  8429389 |  6495198 |     9435   1602 |        0 |        0
1299.31/1299.89	c 1299s |      25 |  8442530 |  6504898 |     9435   1604 |        0 |        0
1301.41/1301.90	c 1301s |      25 |  8453174 |  6512798 |     9435   1606 |        0 |        0
1303.41/1303.91	c 1303s |      25 |  8466327 |  6522998 |     9435   1608 |        0 |        0
1305.41/1305.91	c 1305s |      25 |  8480628 |  6533798 |     9435   1610 |        0 |        0
1307.42/1307.91	c 1307s |      25 |  8497740 |  6546898 |     9435   1613 |        0 |        0
1309.41/1309.92	c 1309s |      25 |  8512584 |  6558398 |     9435   1615 |        0 |        0
1311.41/1311.94	c 1311s |      25 |  8527367 |  6569398 |     9435   1617 |        0 |        0
1313.41/1313.95	c 1313s |      25 |  8538633 |  6578198 |     9435   1619 |        0 |        0
1315.41/1315.96	c 1315s |      25 |  8551928 |  6588398 |     9435   1621 |        0 |        0
1317.42/1317.97	c 1317s |      25 |  8564806 |  6598198 |     9435   1623 |        0 |        0
1319.41/1319.98	c 1319s |      25 |  8579866 |  6609798 |     9435   1625 |        0 |        0
1321.41/1321.99	c 1321s |      25 |  8588729 |  6617198 |     9435   1626 |        0 |        0
1323.51/1324.00	c 1323s |      25 |  8595933 |  6622998 |     9435   1628 |        0 |        0
1325.51/1326.00	c 1325s |      25 |  8608227 |  6632998 |     9435   1630 |        0 |        0
1327.51/1328.03	c 1327s |      25 |  8619661 |  6641898 |     9435   1631 |        0 |        0
1329.52/1330.05	c 1330s |      25 |  8629547 |  6650098 |     9435   1633 |        0 |        0
1331.51/1332.06	c 1332s |      25 |  8641916 |  6659698 |     9435   1635 |        0 |        0
1333.51/1334.07	c 1334s |      25 |  8653544 |  6668798 |     9435   1637 |        0 |        0
1335.51/1336.07	c 1336s |      25 |  8665536 |  6678198 |     9435   1639 |        0 |        0
1337.51/1338.07	c 1338s |      25 |  8680105 |  6689898 |     9435   1641 |        0 |        0
1339.51/1340.08	c 1340s |      25 |  8694532 |  6700998 |     9435   1643 |        0 |        0
1341.51/1342.09	c 1342s |      25 |  8705865 |  6710298 |     9435   1645 |        0 |        0
1343.61/1344.10	c 1344s |      25 |  8719835 |  6720598 |     9435   1647 |        0 |        0
1345.61/1346.11	c 1346s |      25 |  8733356 |  6731198 |     9435   1649 |        0 |        0
1347.61/1348.13	c 1348s |      25 |  8745434 |  6740698 |     9435   1651 |        0 |        0
1349.61/1350.19	c 1350s |      25 |  8756165 |  6748998 |     9435   1653 |        0 |        0
1351.71/1352.20	c 1352s |      25 |  8768969 |  6758798 |     9435   1654 |        0 |        0
1353.71/1354.21	c 1354s |      25 |  8779871 |  6767398 |     9435   1656 |        0 |        0
1355.70/1356.22	c 1356s |      25 |  8792757 |  6777098 |     9435   1658 |        0 |        0
1357.70/1358.23	c 1358s |      25 |  8807824 |  6788098 |     9435   1660 |        0 |        0
1359.70/1360.25	c 1360s |      25 |  8822114 |  6799098 |     9435   1662 |        0 |        0
1361.70/1362.26	c 1362s |      25 |  8835122 |  6809298 |     9435   1664 |        0 |        0
1363.70/1364.26	c 1364s |      25 |  8843286 |  6816198 |     9435   1666 |        0 |        0
1365.71/1366.27	c 1366s |      25 |  8853755 |  6824198 |     9435   1667 |        0 |        0
1367.70/1368.29	c 1368s |      25 |  8867442 |  6834898 |     9435   1670 |        0 |        0
1369.80/1370.30	c 1370s |      25 |  8873976 |  6840398 |     9435   1671 |        0 |        0
1371.80/1372.33	c 1372s |      25 |  8890067 |  6851798 |     9435   1673 |        0 |        0
1373.80/1374.33	c 1374s |      25 |  8899953 |  6859698 |     9435   1674 |        0 |        0
1375.80/1376.35	c 1376s |      25 |  8911845 |  6868898 |     9435   1676 |        0 |        0
1377.80/1378.37	c 1378s |      25 |  8922520 |  6877498 |     9435   1678 |        0 |        0
1379.80/1380.38	c 1380s |      25 |  8929354 |  6883298 |     9435   1679 |        0 |        0
1381.80/1382.39	c 1382s |      25 |  8944073 |  6894598 |     9435   1681 |        0 |        0
1383.79/1384.40	c 1384s |      25 |  8957628 |  6904898 |     9435   1683 |        0 |        0
1385.89/1386.42	c 1386s |      25 |  8969875 |  6914498 |     9435   1685 |        0 |        0
1387.89/1388.43	c 1388s |      25 |  8981925 |  6923998 |     9435   1687 |        0 |        0
1389.90/1390.44	c 1390s |      25 |  8995359 |  6934298 |     9435   1689 |        0 |        0
1391.90/1392.47	c 1392s |      25 |  9006602 |  6942998 |     9435   1691 |        0 |        0
1393.90/1394.48	c 1394s |      25 |  9017514 |  6951098 |     9435   1693 |        0 |        0
1395.90/1396.49	c 1396s |      25 |  9029901 |  6960598 |     9435   1694 |        0 |        0
1398.10/1398.62	c 1398s |      25 |  9038471 |  6967198 |     9435   1696 |        0 |        0
1400.10/1400.63	c 1400s |      25 |  9053653 |  6978298 |     9435   1698 |        0 |        0
1402.10/1402.64	c 1402s |      25 |  9064089 |  6987098 |     9435   1700 |        0 |        0
1404.10/1404.65	c 1404s |      25 |  9073270 |  6994798 |     9435   1701 |        0 |        0
1406.10/1406.67	c 1406s |      25 |  9082290 |  7001898 |     9435   1703 |        0 |        0
1408.10/1408.67	c 1408s |      25 |  9093861 |  7010598 |     9435   1704 |        0 |        0
1410.10/1410.69	c 1410s |      25 |  9101864 |  7017398 |     9435   1706 |        0 |        0
1412.20/1412.70	c 1412s |      25 |  9115863 |  7028098 |     9435   1708 |        0 |        0
1414.20/1414.74	c 1414s |      25 |  9127685 |  7036798 |     9435   1710 |        0 |        0
1416.19/1416.77	c 1416s |      25 |  9141612 |  7047498 |     9435   1712 |        0 |        0
1418.19/1418.78	c 1418s |      25 |  9154031 |  7056898 |     9435   1714 |        0 |        0
1420.19/1420.79	c 1420s |      25 |  9162613 |  7064398 |     9435   1715 |        0 |        0
1422.29/1422.80	c 1422s |      25 |  9168359 |  7069198 |     9435   1716 |        0 |        0
1424.29/1424.85	c 1424s |      25 |  9179121 |  7077198 |     9435   1718 |        0 |        0
1426.30/1426.85	c 1426s |      25 |  9193710 |  7088498 |     9435   1720 |        0 |        0
1428.29/1428.87	c 1428s |      25 |  9203641 |  7096698 |     9435   1721 |        0 |        0
1430.29/1430.87	c 1430s |      25 |  9212322 |  7103898 |     9435   1723 |        0 |        0
1432.29/1432.89	c 1432s |      25 |  9222949 |  7112298 |     9435   1725 |        0 |        0
1434.39/1434.91	c 1434s |      25 |  9228711 |  7117498 |     9435   1726 |        0 |        0
1436.39/1436.93	c 1436s |      25 |  9240906 |  7126998 |     9435   1727 |        0 |        0
1438.39/1438.94	c 1438s |      25 |  9252715 |  7136098 |     9435   1729 |        0 |        0
1440.39/1440.95	c 1440s |      25 |  9263677 |  7143998 |     9435   1731 |        0 |        0
1442.39/1442.96	c 1442s |      25 |  9274428 |  7152698 |     9435   1733 |        0 |        0
1444.39/1444.97	c 1444s |      25 |  9285271 |  7161598 |     9435   1734 |        0 |        0
1446.38/1446.97	c 1446s |      25 |  9296848 |  7170298 |     9435   1736 |        0 |        0
1448.38/1448.98	c 1448s |      25 |  9309678 |  7179898 |     9435   1738 |        0 |        0
1450.39/1450.98	c 1450s |      25 |  9319837 |  7187998 |     9435   1740 |        0 |        0
1452.48/1453.00	c 1452s |      25 |  9329678 |  7196198 |     9435   1741 |        0 |        0
1454.48/1455.02	c 1454s |      25 |  9337581 |  7202898 |     9435   1742 |        0 |        0
1456.48/1457.04	c 1456s |      25 |  9345851 |  7209598 |     9435   1744 |        0 |        0
1458.48/1459.04	c 1458s |      25 |  9359346 |  7219998 |     9435   1746 |        0 |        0
1460.48/1461.05	c 1461s |      25 |  9367093 |  7226598 |     9435   1747 |        0 |        0
1462.48/1463.06	c 1463s |      25 |  9380085 |  7236498 |     9435   1749 |        0 |        0
1464.48/1465.07	c 1465s |      25 |  9393733 |  7246998 |     9435   1751 |        0 |        0
1466.48/1467.07	c 1467s |      25 |  9407170 |  7256998 |     9435   1753 |        0 |        0
1468.48/1469.07	c 1469s |      25 |  9419968 |  7266898 |     9435   1755 |        0 |        0
1470.48/1471.08	c 1471s |      25 |  9429823 |  7274698 |     9435   1757 |        0 |        0
1472.68/1473.21	c 1473s |      25 |  9442996 |  7284198 |     9435   1759 |        0 |        0
1474.68/1475.22	c 1475s |      25 |  9457532 |  7295998 |     9435   1761 |        0 |        0
1476.67/1477.22	c 1477s |      25 |  9465017 |  7302498 |     9435   1762 |        0 |        0
1478.67/1479.23	c 1479s |      25 |  9475304 |  7310198 |     9435   1764 |        0 |        0
1480.67/1481.25	c 1481s |      25 |  9485567 |  7318198 |     9435   1765 |        0 |        0
1482.67/1483.28	c 1483s |      25 |  9493273 |  7324698 |     9435   1767 |        0 |        0
1484.68/1485.29	c 1485s |      25 |  9507413 |  7334998 |     9435   1769 |        0 |        0
1486.69/1487.30	c 1487s |      25 |  9520248 |  7344798 |     9435   1771 |        0 |        0
1488.78/1489.34	c 1489s |      25 |  9533488 |  7354798 |     9435   1773 |        0 |        0
1490.78/1491.36	c 1491s |      25 |  9545927 |  7364698 |     9435   1774 |        0 |        0
1492.78/1493.38	c 1493s |      25 |  9556580 |  7372698 |     9435   1776 |        0 |        0
1494.78/1495.38	c 1495s |      25 |  9569803 |  7382598 |     9435   1778 |        0 |        0
1496.78/1497.38	c 1497s |      25 |  9580313 |  7391198 |     9435   1780 |        0 |        0
1498.79/1499.40	c 1499s |      25 |  9594638 |  7401998 |     9435   1782 |        0 |        0
1500.88/1501.41	c 1501s |      25 |  9606761 |  7411798 |     9435   1784 |        0 |        0
1502.88/1503.44	c 1503s |      25 |  9619830 |  7422098 |     9435   1786 |        0 |        0
1504.88/1505.45	c 1505s |      25 |  9633207 |  7432398 |     9435   1788 |        0 |        0
1506.88/1507.48	c 1507s |      25 |  9641724 |  7439398 |     9435   1789 |        0 |        0
1508.88/1509.48	c 1509s |      25 |  9649865 |  7445998 |     9435   1791 |        0 |        0
1510.98/1511.51	c 1511s |      25 |  9659739 |  7453698 |     9435   1792 |        0 |        0
1512.98/1513.52	c 1513s |      25 |  9672573 |  7463698 |     9435   1794 |        0 |        0
1514.98/1515.52	c 1515s |      25 |  9688239 |  7475798 |     9435   1796 |        0 |        0
1516.98/1517.53	c 1517s |      25 |  9700322 |  7485398 |     9435   1798 |        0 |        0
1518.98/1519.55	c 1519s |      25 |  9711471 |  7493798 |     9435   1800 |        0 |        0
1520.97/1521.55	c 1521s |      25 |  9720854 |  7501198 |     9435   1802 |        0 |        0
1522.98/1523.55	c 1523s |      25 |  9732946 |  7510698 |     9435   1803 |        0 |        0
1524.97/1525.57	c 1525s |      25 |  9744454 |  7519498 |     9435   1805 |        0 |        0
1526.97/1527.57	c 1527s |      25 |  9759252 |  7530398 |     9435   1807 |        0 |        0
1528.97/1529.60	c 1529s |      25 |  9771622 |  7539898 |     9435   1809 |        0 |        0
1531.07/1531.61	c 1531s |      25 |  9784514 |  7549498 |    10379   1811 |        0 |        0
1533.07/1533.62	c 1533s |      25 |  9795083 |  7557898 |    10379   1812 |        0 |        0
1535.08/1535.63	c 1535s |      25 |  9803025 |  7564698 |    10379   1814 |        0 |        0
1537.07/1537.64	c 1537s |      25 |  9810203 |  7570598 |    10379   1815 |        0 |        0
1539.07/1539.65	c 1539s |      25 |  9820946 |  7578898 |    10379   1816 |        0 |        0
1541.07/1541.65	c 1541s |      25 |  9831845 |  7587598 |    10379   1818 |        0 |        0
1543.07/1543.67	c 1543s |      25 |  9839422 |  7593498 |    10379   1819 |        0 |        0
1543.87/1544.41	c 1544s |      26 |  9845503 |  7597752 |    10379   1820 |        0 |        0
1545.87/1546.41	c 1546s |      26 |  9860906 |  7608152 |    10379   1821 |        0 |        0
1547.87/1548.42	c 1548s |      26 |  9873617 |  7617452 |    10379   1823 |        0 |        0
1549.87/1550.43	c 1550s |      26 |  9885929 |  7626852 |    10379   1825 |        0 |        0
1551.87/1552.43	c 1552s |      26 |  9895516 |  7634552 |    10379   1826 |        0 |        0
1553.87/1554.44	c 1554s |      26 |  9911395 |  7645852 |    10379   1828 |        0 |        0
1555.86/1556.45	c 1556s |      26 |  9927177 |  7657652 |    10379   1831 |        0 |        0
1557.86/1558.46	c 1558s |      26 |  9940944 |  7668152 |    10379   1832 |        0 |        0
1559.86/1560.47	c 1560s |      26 |  9951613 |  7676452 |    10379   1834 |        0 |        0
1561.86/1562.47	c 1562s |      26 |  9962559 |  7684452 |    10379   1836 |        0 |        0
1563.96/1564.55	c 1564s |      26 |  9981147 |  7695752 |    10379   1838 |        0 |        0
1565.97/1566.56	c 1566s |      26 |  9997377 |  7706752 |    10379   1840 |        0 |        0
1567.96/1568.58	c 1568s |      26 | 10012832 |  7716952 |    10379   1841 |        0 |        0
1569.96/1570.60	c 1570s |      26 | 10024365 |  7725052 |    10379   1843 |        0 |        0
1572.06/1572.60	c 1572s |      26 | 10037384 |  7734152 |    10379   1845 |        0 |        0
1574.06/1574.60	c 1574s |      26 | 10055634 |  7746352 |    10379   1847 |        0 |        0
1576.06/1576.62	c 1576s |      26 | 10068361 |  7755652 |    10379   1848 |        0 |        0
1578.07/1578.64	c 1578s |      26 | 10086259 |  7767452 |    10379   1851 |        0 |        0
1580.06/1580.65	c 1580s |      26 | 10105962 |  7780552 |    10379   1853 |        0 |        0
1582.06/1582.65	c 1582s |      26 | 10121852 |  7792052 |    10379   1855 |        0 |        0
1584.06/1584.66	c 1584s |      26 | 10139887 |  7805052 |    10379   1857 |        0 |        0
1586.06/1586.66	c 1586s |      26 | 10155878 |  7816852 |    10379   1859 |        0 |        0
1588.06/1588.68	c 1588s |      26 | 10166574 |  7825252 |    10379   1861 |        0 |        0
1590.06/1590.69	c 1590s |      26 | 10180771 |  7835652 |    10379   1863 |        0 |        0
1592.16/1592.70	c 1592s |      26 | 10193886 |  7845552 |    10379   1865 |        0 |        0
1594.15/1594.70	c 1594s |      26 | 10208117 |  7855652 |    10379   1866 |        0 |        0
1596.15/1596.71	c 1596s |      26 | 10219168 |  7864652 |    10379   1868 |        0 |        0
1598.25/1598.82	c 1598s |      26 | 10235214 |  7876152 |    10379   1870 |        0 |        0
1600.25/1600.82	c 1600s |      26 | 10250561 |  7887852 |    10379   1872 |        0 |        0
1602.26/1602.83	c 1602s |      26 | 10262097 |  7896952 |    10379   1874 |        0 |        0
1604.25/1604.83	c 1604s |      26 | 10278337 |  7908152 |    10379   1876 |        0 |        0
1606.25/1606.84	c 1606s |      26 | 10292045 |  7918052 |    10379   1878 |        0 |        0
1608.25/1608.84	c 1608s |      26 | 10305743 |  7927952 |    10379   1880 |        0 |        0
1610.25/1610.85	c 1610s |      26 | 10323724 |  7941052 |    10379   1882 |        0 |        0
1612.25/1612.85	c 1612s |      26 | 10337420 |  7950952 |    10379   1884 |        0 |        0
1614.27/1614.87	c 1614s |      26 | 10352649 |  7962252 |    10379   1886 |        0 |        0
1616.36/1616.91	c 1616s |      26 | 10364320 |  7971552 |    10379   1888 |        0 |        0
1618.36/1618.91	c 1618s |      26 | 10373232 |  7978752 |    10379   1889 |        0 |        0
1620.36/1620.93	c 1620s |      26 | 10382929 |  7986152 |    10379   1890 |        0 |        0
1622.36/1622.93	c 1622s |      26 | 10397272 |  7996252 |    10379   1892 |        0 |        0
1624.36/1624.94	c 1624s |      26 | 10409832 |  8005452 |    10379   1894 |        0 |        0
1626.36/1626.94	c 1626s |      26 | 10421926 |  8014952 |    10379   1895 |        0 |        0
1628.36/1628.95	c 1628s |      26 | 10432888 |  8023652 |    10379   1897 |        0 |        0
1630.46/1631.01	c 1630s |      26 | 10447355 |  8034252 |    10379   1899 |        0 |        0
1632.45/1633.02	c 1632s |      26 | 10466309 |  8048352 |    10379   1901 |        0 |        0
1634.45/1635.02	c 1634s |      26 | 10482146 |  8060752 |    10379   1903 |        0 |        0
1636.45/1637.03	c 1636s |      26 | 10494789 |  8070452 |    10379   1905 |        0 |        0
1638.46/1639.05	c 1639s |      26 | 10503648 |  8077552 |    10379   1907 |        0 |        0
1640.45/1641.07	c 1641s |      26 | 10512033 |  8084252 |    10379   1908 |        0 |        0
1642.45/1643.10	c 1643s |      26 | 10520946 |  8091052 |    10379   1909 |        0 |        0
1644.55/1645.10	c 1645s |      26 | 10537038 |  8102752 |    10379   1911 |        0 |        0
1646.55/1647.11	c 1647s |      26 | 10549470 |  8112552 |    10379   1913 |        0 |        0
1648.55/1649.12	c 1649s |      26 | 10560399 |  8121352 |    10379   1914 |        0 |        0
1650.56/1651.15	c 1651s |      26 | 10573168 |  8131552 |    10379   1916 |        0 |        0
1652.55/1653.15	c 1653s |      26 | 10580765 |  8137852 |    10379   1917 |        0 |        0
1654.65/1655.25	c 1655s |      26 | 10587153 |  8143552 |    10379   1918 |        0 |        0
1656.65/1657.25	c 1657s |      26 | 10594699 |  8149752 |    10379   1919 |        0 |        0
1658.65/1659.26	c 1659s |      26 | 10602130 |  8155852 |    10379   1921 |        0 |        0
1660.65/1661.29	c 1661s |      26 | 10614994 |  8165952 |    10379   1922 |        0 |        0
1662.75/1663.32	c 1663s |      26 | 10622963 |  8172652 |    10379   1924 |        0 |        0
1664.75/1665.34	c 1665s |      26 | 10630294 |  8179052 |    10379   1925 |        0 |        0
1666.74/1667.34	c 1667s |      26 | 10639215 |  8186352 |    10379   1926 |        0 |        0
1668.74/1669.34	c 1669s |      26 | 10653107 |  8196552 |    10379   1928 |        0 |        0
1670.74/1671.36	c 1671s |      26 | 10666845 |  8207252 |    10379   1930 |        0 |        0
1672.74/1673.38	c 1673s |      26 | 10678791 |  8216652 |    10379   1932 |        0 |        0
1674.75/1675.39	c 1675s |      26 | 10694050 |  8228452 |    10379   1934 |        0 |        0
1676.84/1677.50	c 1677s |      26 | 10707650 |  8238752 |    10379   1936 |        0 |        0
1678.94/1679.51	c 1679s |      26 | 10719468 |  8247852 |    10379   1937 |        0 |        0
1681.04/1681.61	c 1681s |      26 | 10728559 |  8255252 |    10379   1939 |        0 |        0
1683.14/1683.73	c 1683s |      26 | 10743062 |  8266252 |    10379   1940 |        0 |        0
1685.14/1685.73	c 1685s |      26 | 10757770 |  8277652 |    10379   1943 |        0 |        0
1687.14/1687.74	c 1687s |      26 | 10769421 |  8286752 |    10379   1944 |        0 |        0
1689.15/1689.75	c 1689s |      26 | 10779827 |  8295052 |    10379   1946 |        0 |        0
1691.14/1691.77	c 1691s |      26 | 10786748 |  8301152 |    10379   1947 |        0 |        0
1693.24/1693.80	c 1693s |      26 | 10793766 |  8306652 |    10379   1948 |        0 |        0
1695.24/1695.80	c 1695s |      26 | 10804961 |  8315352 |    10379   1950 |        0 |        0
1697.24/1697.81	c 1697s |      26 | 10818045 |  8324852 |    10379   1951 |        0 |        0
1699.24/1699.82	c 1699s |      26 | 10833598 |  8335952 |    10379   1953 |        0 |        0
1701.25/1701.84	c 1701s |      26 | 10843900 |  8343552 |    10379   1955 |        0 |        0
1703.24/1703.88	c 1703s |      26 | 10855015 |  8352152 |    10379   1956 |        0 |        0
1705.34/1705.90	c 1705s |      26 | 10864723 |  8359752 |    10379   1958 |        0 |        0
1707.34/1707.91	c 1707s |      26 | 10880012 |  8371352 |    10379   1960 |        0 |        0
1709.34/1709.92	c 1709s |      26 | 10894700 |  8382552 |    10379   1962 |        0 |        0
1711.34/1711.92	c 1711s |      26 | 10910544 |  8394152 |    10379   1964 |        0 |        0
1713.34/1713.93	c 1713s |      26 | 10925209 |  8404952 |    10379   1966 |        0 |        0
1715.33/1715.94	c 1715s |      26 | 10941068 |  8416652 |    10379   1968 |        0 |        0
1717.33/1717.94	c 1717s |      26 | 10958919 |  8429852 |    10379   1970 |        0 |        0
1719.33/1719.95	c 1719s |      26 | 10973367 |  8441052 |    10379   1972 |        0 |        0
1721.33/1721.96	c 1721s |      26 | 10986884 |  8451052 |    10379   1974 |        0 |        0
1723.33/1723.96	c 1723s |      26 | 11002270 |  8462252 |    10379   1976 |        0 |        0
1725.34/1725.98	c 1725s |      26 | 11013652 |  8470952 |    10379   1977 |        0 |        0
1727.43/1728.01	c 1727s |      26 | 11028878 |  8482452 |    10379   1980 |        0 |        0
1729.44/1730.01	c 1729s |      26 | 11038919 |  8490552 |    10379   1981 |        0 |        0
1731.44/1732.03	c 1731s |      26 | 11051595 |  8500152 |    10379   1983 |        0 |        0
1733.44/1734.03	c 1733s |      26 | 11066212 |  8510252 |    10379   1985 |        0 |        0
1735.44/1736.03	c 1735s |      26 | 11084912 |  8524152 |    10379   1987 |        0 |        0
1737.44/1738.04	c 1737s |      26 | 11103021 |  8537452 |    10379   1989 |        0 |        0
1739.44/1740.04	c 1740s |      26 | 11118804 |  8549152 |    10379   1992 |        0 |        0
1741.43/1742.05	c 1742s |      26 | 11132021 |  8559552 |    10379   1993 |        0 |        0
1743.43/1744.06	c 1744s |      26 | 11145688 |  8569552 |    10379   1995 |        0 |        0
1745.43/1746.06	c 1746s |      26 | 11156896 |  8578252 |    10379   1997 |        0 |        0
1747.44/1748.07	c 1748s |      26 | 11167935 |  8586852 |    10379   1998 |        0 |        0
1749.43/1750.07	c 1750s |      26 | 11178488 |  8595352 |    10379   2000 |        0 |        0
1751.43/1752.07	c 1752s |      26 | 11189864 |  8604152 |    10379   2001 |        0 |        0
1753.53/1754.10	c 1754s |      26 | 11205229 |  8615952 |    10379   2004 |        0 |        0
1755.53/1756.11	c 1756s |      26 | 11219299 |  8626252 |    10379   2005 |        0 |        0
1757.53/1758.12	c 1758s |      26 | 11234675 |  8637852 |    10379   2007 |        0 |        0
1759.54/1760.14	c 1760s |      26 | 11245191 |  8646552 |    10379   2009 |        0 |        0
1761.53/1762.14	c 1762s |      26 | 11253759 |  8653252 |    10379   2010 |        0 |        0
1763.53/1764.14	c 1764s |      26 | 11267387 |  8663652 |    10379   2012 |        0 |        0
1765.53/1766.15	c 1766s |      26 | 11281528 |  8674352 |    10379   2014 |        0 |        0
1767.53/1768.16	c 1768s |      26 | 11295206 |  8684452 |    10379   2016 |        0 |        0
1769.53/1770.18	c 1770s |      26 | 11304928 |  8692552 |    10379   2017 |        0 |        0
1771.54/1772.20	c 1772s |      26 | 11312922 |  8698752 |    10379   2018 |        0 |        0
1773.63/1774.21	c 1774s |      26 | 11326839 |  8709252 |    10379   2020 |        0 |        0
1775.63/1776.27	c 1776s |      26 | 11337160 |  8717152 |    10379   2022 |        0 |        0
1777.63/1778.27	c 1778s |      26 | 11349148 |  8726452 |    10379   2023 |        0 |        0
1779.63/1780.29	c 1780s |      26 | 11359932 |  8734852 |    10379   2025 |        0 |        0
1781.73/1782.30	c 1782s |      26 | 11369807 |  8742552 |    10379   2026 |        0 |        0
1783.73/1784.33	c 1784s |      26 | 11378303 |  8749452 |    10379   2027 |        0 |        0
1785.73/1786.34	c 1786s |      26 | 11388126 |  8756452 |    10379   2029 |        0 |        0
1787.73/1788.35	c 1788s |      26 | 11398488 |  8764652 |    10379   2030 |        0 |        0
1789.73/1790.35	c 1790s |      26 | 11411200 |  8774252 |    10379   2032 |        0 |        0
1791.72/1792.38	c 1792s |      26 | 11424575 |  8784652 |    10379   2034 |        0 |        0
1793.72/1794.39	c 1794s |      26 | 11432500 |  8791152 |    10379   2035 |        0 |        0
1795.73/1796.39	c 1796s |      26 | 11441504 |  8798652 |    10379   2036 |        0 |        0
1797.82/1798.40	c 1798s |      26 | 11450948 |  8806252 |    10379   2038 |        0 |        0
1799.82/1800.41	c 1800s |      26 | 11461157 |  8814252 |    10379   2039 |        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-4088679-1466012467/watcher-4088679-1466012467 -o /tmp/evaluation-result-4088679-1466012467/solver-4088679-1466012467 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5772 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088679-1466012467.opb 

pid=5863
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.10 1.83 1.78 3/179 5866
/proc/meminfo: memFree=30504960/32872528 swapFree=524788/557492
[pid=5866] ppid=5863 vsize=711100 CPUtime=0 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 5756 0 -1 4202496 2651 0 0 0 0 0 0 0 20 0 4 0 3296792 728166400 3011 33554432000 4194304 16246674 140735621425440 140735621424864 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 178287 3021 441 2943 0 175181 0
[pid=5866/tid=5867] ppid=5863 vsize=728508 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3296792 745992192 3081 33554432000 4194304 16246674 140735621425440 140151287164144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=732604 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3296792 750186496 3097 33554432000 4194304 16246674 140735621425440 140151276674288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=737724 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3296792 755429376 3114 33554432000 4194304 16246674 140735621425440 140151158205616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100122 s]
/proc/loadavg: 2.10 1.83 1.78 3/179 5866
/proc/meminfo: memFree=30504960/32872528 swapFree=524788/557492
[pid=5866] ppid=5863 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 5756 0 -1 4202496 22611 0 0 0 5 4 0 0 20 0 4 0 3296792 1247350784 22960 33554432000 4194304 16246674 140735621425440 140735621424864 5546098 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 304529 22968 709 2943 0 301423 0
[pid=5866/tid=5867] ppid=5863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3296792 1247350784 22974 33554432000 4194304 16246674 140735621425440 140151287164144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3296792 1247350784 22981 33554432000 4194304 16246674 140735621425440 140151276674288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3296792 1247350784 22988 33554432000 4194304 16246674 140735621425440 140151158205616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200461 s]
/proc/loadavg: 2.10 1.83 1.78 3/179 5866
/proc/meminfo: memFree=30504960/32872528 swapFree=524788/557492
[pid=5866] ppid=5863 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 5756 0 -1 4202496 43369 0 0 0 12 6 0 0 20 0 4 0 3296792 1247350784 43718 33554432000 4194304 16246674 140735621425440 140735621424864 13192590 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 304529 43726 716 2943 0 301423 0
[pid=5866/tid=5867] ppid=5863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3296792 1247350784 43734 33554432000 4194304 16246674 140735621425440 140151287164144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3296792 1247350784 43734 33554432000 4194304 16246674 140735621425440 140151276674288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3296792 1247350784 43735 33554432000 4194304 16246674 140735621425440 140151158205616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300429 s]
/proc/loadavg: 2.10 1.83 1.78 3/179 5866
/proc/meminfo: memFree=30504960/32872528 swapFree=524788/557492
[pid=5866] ppid=5863 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 5756 0 -1 4202496 63408 0 0 0 19 10 0 0 20 0 4 0 3296792 1247350784 63757 33554432000 4194304 16246674 140735621425440 140735621424864 5675357 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 304529 63769 716 2943 0 301423 0
[pid=5866/tid=5867] ppid=5863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3296792 1247350784 63774 33554432000 4194304 16246674 140735621425440 140151287164144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3296792 1247350784 63778 33554432000 4194304 16246674 140735621425440 140151276674288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3296792 1247350784 63783 33554432000 4194304 16246674 140735621425440 140151158205616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700352 s]
/proc/loadavg: 2.10 1.83 1.78 3/179 5866
/proc/meminfo: memFree=30504960/32872528 swapFree=524788/557492
[pid=5866] ppid=5863 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 5756 0 -1 4202496 141465 0 0 0 48 21 0 0 20 0 4 0 3296792 1247350784 141814 33554432000 4194304 16246674 140735621425440 140735621424864 5677277 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 304529 141823 717 2943 0 301423 0
[pid=5866/tid=5867] ppid=5863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3296792 1247350784 141829 33554432000 4194304 16246674 140735621425440 140151287164144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3296792 1247350784 141836 33554432000 4194304 16246674 140735621425440 140151276674288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3296792 1247350784 141843 33554432000 4194304 16246674 140735621425440 140151158205616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50035 s]
/proc/loadavg: 2.10 1.83 1.78 3/183 5870
/proc/meminfo: memFree=29631144/32872528 swapFree=524788/557492
[pid=5866] ppid=5863 vsize=1223236 CPUtime=1.49 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 5756 0 -1 4202496 239267 0 0 0 115 34 0 0 20 0 4 0 3296792 1252593664 239596 33554432000 4194304 16246674 140735621425440 140735621424752 6846041 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 305809 239596 791 2943 0 302703 0
[pid=5866/tid=5867] ppid=5863 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3296792 1252593664 239596 33554432000 4194304 16246674 140735621425440 140151287164144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3296792 1252593664 239596 33554432000 4194304 16246674 140735621425440 140151276674288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3296792 1252593664 239596 33554432000 4194304 16246674 140735621425440 140151158205616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1223236

[startup+3.10036 s]
/proc/loadavg: 2.10 1.83 1.78 3/183 5870
/proc/meminfo: memFree=29487040/32872528 swapFree=524788/557492
[pid=5866] ppid=5863 vsize=1300036 CPUtime=3.09 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 5756 0 -1 4202496 264482 0 0 0 272 37 0 0 20 0 4 0 3296792 1331236864 264811 33554432000 4194304 16246674 140735621425440 140735621408440 5829251 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 325009 264811 791 2943 0 321903 0
[pid=5866/tid=5867] ppid=5863 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3296792 1331236864 264811 33554432000 4194304 16246674 140735621425440 140151287164144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3296792 1331236864 264811 33554432000 4194304 16246674 140735621425440 140151276674288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3296792 1331236864 264811 33554432000 4194304 16246674 140735621425440 140151158205616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1300036

[startup+6.30036 s]
/proc/loadavg: 2.09 1.83 1.78 3/183 5870
/proc/meminfo: memFree=29427828/32872528 swapFree=524788/557492
[pid=5866] ppid=5863 vsize=1312324 CPUtime=6.29 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 5756 0 -1 4202496 269112 0 0 0 591 38 0 0 20 0 4 0 3296792 1343819776 269441 33554432000 4194304 16246674 140735621425440 140735621407360 5546623 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 328081 269441 794 2943 0 324975 0
[pid=5866/tid=5867] ppid=5863 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3296792 1343819776 269441 33554432000 4194304 16246674 140735621425440 140151287164144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3296792 1343819776 269441 33554432000 4194304 16246674 140735621425440 140151276674288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3296792 1343819776 269441 33554432000 4194304 16246674 140735621425440 140151158205616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.08 1.84 1.78 3/183 5870
/proc/meminfo: memFree=29423384/32872528 swapFree=524788/557492
[pid=5866] ppid=5863 vsize=1312324 CPUtime=12.69 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 5756 0 -1 4202496 269112 0 0 0 1231 38 0 0 20 0 4 0 3296792 1343819776 269441 33554432000 4194304 16246674 140735621425440 140735621408440 5822604 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 328081 269441 794 2943 0 324975 0
[pid=5866/tid=5867] ppid=5863 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3296792 1343819776 269441 33554432000 4194304 16246674 140735621425440 140151287164144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3296792 1343819776 269441 33554432000 4194304 16246674 140735621425440 140151276674288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3296792 1343819776 269441 33554432000 4194304 16246674 140735621425440 140151158205616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.06 1.84 1.78 3/183 5870
/proc/meminfo: memFree=29406360/32872528 swapFree=524788/557492
[pid=5866] ppid=5863 vsize=1314372 CPUtime=25.49 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 5756 0 -1 4202496 269624 0 0 0 2511 38 0 0 20 0 4 0 3296792 1345916928 269953 33554432000 4194304 16246674 140735621425440 140735621407360 5675473 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 328593 269953 794 2943 0 325487 0
[pid=5866/tid=5867] ppid=5863 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3296792 1345916928 269953 33554432000 4194304 16246674 140735621425440 140151287164144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3296792 1345916928 269953 33554432000 4194304 16246674 140735621425440 140151276674288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3296792 1345916928 269953 33554432000 4194304 16246674 140735621425440 140151158205616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1314372

[startup+51.1004 s]
/proc/loadavg: 2.04 1.85 1.79 3/183 5870
/proc/meminfo: memFree=29363044/32872528 swapFree=524788/557492
[pid=5866] ppid=5863 vsize=1323588 CPUtime=51.08 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 5756 0 -1 4202496 271928 0 0 0 5069 39 0 0 20 0 4 0 3296792 1355354112 272257 33554432000 4194304 16246674 140735621425440 140735621408440 5822428 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 330897 272257 794 2943 0 327791 0
[pid=5866/tid=5867] ppid=5863 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3296792 1355354112 272257 33554432000 4194304 16246674 140735621425440 140151287164144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3296792 1355354112 272257 33554432000 4194304 16246674 140735621425440 140151276674288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3296792 1355354112 272257 33554432000 4194304 16246674 140735621425440 140151158205616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1323588

[startup+102.3 s]
/proc/loadavg: 2.02 1.87 1.79 3/183 5871
/proc/meminfo: memFree=29361560/32872528 swapFree=524788/557492
[pid=5866] ppid=5863 vsize=1324612 CPUtime=102.28 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 5756 0 -1 4202496 272184 0 0 0 10189 39 0 0 20 0 4 0 3296792 1356402688 272513 33554432000 4194304 16246674 140735621425440 140735621407360 12483423 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 331153 272513 794 2943 0 328047 0
[pid=5866/tid=5867] ppid=5863 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3296792 1356402688 272513 33554432000 4194304 16246674 140735621425440 140151287164144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3296792 1356402688 272513 33554432000 4194304 16246674 140735621425440 140151276674288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3296792 1356402688 272513 33554432000 4194304 16246674 140735621425440 140151158205616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1324612


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

/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3296792 1385762816 279938 33554432000 4194304 16246674 140735621425440 140151158205616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 1353284

[startup+1302.3 s]
/proc/loadavg: 2.22 2.15 2.02 3/183 5972
/proc/meminfo: memFree=29314764/32872528 swapFree=524788/557492
[pid=5866] ppid=5863 vsize=1353284 CPUtime=1301.81 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 5756 0 -1 4202496 279788 0 0 0 130123 58 0 0 20 0 4 0 3296792 1385762816 279938 33554432000 4194304 16246674 140735621425440 140735621408432 5822756 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5866/statm: 338321 279938 795 2943 0 335215 0
[pid=5866/tid=5867] ppid=5863 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3296792 1385762816 279938 33554432000 4194304 16246674 140735621425440 140151287164144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3296792 1385762816 279938 33554432000 4194304 16246674 140735621425440 140151276674288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3296792 1385762816 279938 33554432000 4194304 16246674 140735621425440 140151158205616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 1353284

[startup+1362.3 s]
/proc/loadavg: 2.13 2.14 2.02 4/183 5973
/proc/meminfo: memFree=29314048/32872528 swapFree=524788/557492
[pid=5866] ppid=5863 vsize=1353284 CPUtime=1361.8 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 5756 0 -1 4202496 279788 0 0 0 136121 59 0 0 20 0 4 0 3296792 1385762816 279938 33554432000 4194304 16246674 140735621425440 140735621408432 13001791 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5866/statm: 338321 279938 795 2943 0 335215 0
[pid=5866/tid=5867] ppid=5863 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3296792 1385762816 279938 33554432000 4194304 16246674 140735621425440 140151287164144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3296792 1385762816 279938 33554432000 4194304 16246674 140735621425440 140151276674288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3296792 1385762816 279938 33554432000 4194304 16246674 140735621425440 140151158205616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 1353284

[startup+1422.3 s]
/proc/loadavg: 2.16 2.14 2.03 3/183 5974
/proc/meminfo: memFree=29311100/32872528 swapFree=524788/557492
[pid=5866] ppid=5863 vsize=1356356 CPUtime=1421.8 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 5756 0 -1 4202496 280556 0 0 0 142120 60 0 0 20 0 4 0 3296792 1388908544 280706 33554432000 4194304 16246674 140735621425440 140735621407360 5722960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5866/statm: 339089 280706 795 2943 0 335983 0
[pid=5866/tid=5867] ppid=5863 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3296792 1388908544 280706 33554432000 4194304 16246674 140735621425440 140151287164144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3296792 1388908544 280706 33554432000 4194304 16246674 140735621425440 140151276674288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3296792 1388908544 280706 33554432000 4194304 16246674 140735621425440 140151158205616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1356356

[startup+1482.3 s]
/proc/loadavg: 2.24 2.16 2.04 3/183 5976
/proc/meminfo: memFree=29310136/32872528 swapFree=524788/557492
[pid=5866] ppid=5863 vsize=1357380 CPUtime=1481.77 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 5756 0 -1 4202496 280812 0 0 0 148117 60 0 0 20 0 4 0 3296792 1389957120 280962 33554432000 4194304 16246674 140735621425440 140735621407360 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5866/statm: 339345 280962 795 2943 0 336239 0
[pid=5866/tid=5867] ppid=5863 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3296792 1389957120 280962 33554432000 4194304 16246674 140735621425440 140151287164144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3296792 1389957120 280962 33554432000 4194304 16246674 140735621425440 140151276674288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3296792 1389957120 280962 33554432000 4194304 16246674 140735621425440 140151158205616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 1357380

[startup+1542.31 s]
/proc/loadavg: 2.14 2.14 2.04 3/183 5977
/proc/meminfo: memFree=29310168/32872528 swapFree=524788/557492
[pid=5866] ppid=5863 vsize=1357380 CPUtime=1541.77 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 5756 0 -1 4202496 280812 0 0 0 154116 61 0 0 20 0 4 0 3296792 1389957120 280962 33554432000 4194304 16246674 140735621425440 140735621407360 5823947 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5866/statm: 339345 280962 795 2943 0 336239 0
[pid=5866/tid=5867] ppid=5863 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3296792 1389957120 280962 33554432000 4194304 16246674 140735621425440 140151287164144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3296792 1389957120 280962 33554432000 4194304 16246674 140735621425440 140151276674288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3296792 1389957120 280962 33554432000 4194304 16246674 140735621425440 140151158205616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 1357380

[startup+1602.3 s]
/proc/loadavg: 2.09 2.13 2.04 3/183 5978
/proc/meminfo: memFree=29310072/32872528 swapFree=524788/557492
[pid=5866] ppid=5863 vsize=1357380 CPUtime=1601.75 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 5756 0 -1 4202496 280812 0 0 0 160114 61 0 0 20 0 4 0 3296792 1389957120 280962 33554432000 4194304 16246674 140735621425440 140735621407360 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5866/statm: 339345 280962 795 2943 0 336239 0
[pid=5866/tid=5867] ppid=5863 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3296792 1389957120 280962 33554432000 4194304 16246674 140735621425440 140151287164144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3296792 1389957120 280962 33554432000 4194304 16246674 140735621425440 140151276674288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3296792 1389957120 280962 33554432000 4194304 16246674 140735621425440 140151158205616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 1357380

[startup+1662.3 s]
/proc/loadavg: 2.19 2.15 2.05 3/183 5979
/proc/meminfo: memFree=29309608/32872528 swapFree=524788/557492
[pid=5866] ppid=5863 vsize=1357380 CPUtime=1661.75 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 5756 0 -1 4202496 280812 0 0 0 166113 62 0 0 20 0 4 0 3296792 1389957120 280962 33554432000 4194304 16246674 140735621425440 140735621407360 5662371 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5866/statm: 339345 280962 795 2943 0 336239 0
[pid=5866/tid=5867] ppid=5863 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3296792 1389957120 280962 33554432000 4194304 16246674 140735621425440 140151287164144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3296792 1389957120 280962 33554432000 4194304 16246674 140735621425440 140151276674288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3296792 1389957120 280962 33554432000 4194304 16246674 140735621425440 140151158205616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1357380

[startup+1722.3 s]
/proc/loadavg: 2.16 2.15 2.05 3/183 5980
/proc/meminfo: memFree=29309524/32872528 swapFree=524788/557492
[pid=5866] ppid=5863 vsize=1357380 CPUtime=1721.73 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 5756 0 -1 4202496 280812 0 0 0 172111 62 0 0 20 0 4 0 3296792 1389957120 280962 33554432000 4194304 16246674 140735621425440 140735621408432 5523416 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5866/statm: 339345 280962 795 2943 0 336239 0
[pid=5866/tid=5867] ppid=5863 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3296792 1389957120 280962 33554432000 4194304 16246674 140735621425440 140151287164144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3296792 1389957120 280962 33554432000 4194304 16246674 140735621425440 140151276674288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3296792 1389957120 280962 33554432000 4194304 16246674 140735621425440 140151158205616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 1357380

[startup+1782.3 s]
/proc/loadavg: 2.10 2.13 2.05 3/184 5985
/proc/meminfo: memFree=29307300/32872528 swapFree=524788/557492
[pid=5866] ppid=5863 vsize=1357380 CPUtime=1781.73 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 5756 0 -1 4202496 280812 0 0 0 178110 63 0 0 20 0 4 0 3296792 1389957120 280962 33554432000 4194304 16246674 140735621425440 140735621407360 5522913 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5866/statm: 339345 280962 795 2943 0 336239 0
[pid=5866/tid=5867] ppid=5863 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3296792 1389957120 280962 33554432000 4194304 16246674 140735621425440 140151287164144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3296792 1389957120 280962 33554432000 4194304 16246674 140735621425440 140151276674288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3296792 1389957120 280962 33554432000 4194304 16246674 140735621425440 140151158205616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1357380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.20 2.16 2.06 3/183 5986
/proc/meminfo: memFree=29306792/32872528 swapFree=524788/557492
[pid=5866] ppid=5863 vsize=1357380 CPUtime=1800.02 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 5756 0 -1 4202496 280812 0 0 0 179939 63 0 0 20 0 4 0 3296792 1389957120 280962 33554432000 4194304 16246674 140735621425440 140735621408432 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5866/statm: 339345 280962 795 2943 0 336239 0
[pid=5866/tid=5867] ppid=5863 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3296792 1389957120 280962 33554432000 4194304 16246674 140735621425440 140151287164144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3296792 1389957120 280962 33554432000 4194304 16246674 140735621425440 140151276674288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3296792 1389957120 280962 33554432000 4194304 16246674 140735621425440 140151158205616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1357380

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 5866 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.04
CPU user time (s): 1799.4
CPU system time (s): 0.635903
CPU usage (%): 99.9682
Max. virtual memory (cumulated for all children) (KiB): 1357380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.4
system time used= 0.635903
maximum resident set size= 1123848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280812
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= 448
involuntary context switches= 3079

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.39633 second user time and 7.27689 second system time

The end

Begin job on node106 at 2016-06-15 19:41:07
IDJOB=4088679
IDBENCH=107298
IDSOLVER=2542
FILE ID=node106/4088679-1466012467
RUNJOBID= node106-1466012020-5772
PBS_JOBID= 19902815
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/EC_ODD_GRIDS/normalized-ECgrid5x130split.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088679-1466012467/watcher-4088679-1466012467 -o /tmp/evaluation-result-4088679-1466012467/solver-4088679-1466012467 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5772 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088679-1466012467.opb

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

MD5SUM BENCH= d001c128c188d58459ae32050123e31b
RANDOM SEED=2060001842

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30505596 kB
Buffers:            8584 kB
Cached:            66576 kB
SwapCached:         1436 kB
Active:          1086680 kB
Inactive:          12040 kB
Active(anon):    1024880 kB
Inactive(anon):     1220 kB
Active(file):      61800 kB
Inactive(file):    10820 kB
Unevictable:      557492 kB
Mlocked:          524788 kB
SwapTotal:      67108856 kB
SwapFree:       67099216 kB
Dirty:             16344 kB
Writeback:             0 kB
AnonPages:       1580284 kB
Mapped:             9528 kB
Shmem:                 0 kB
Slab:             576528 kB
SReclaimable:      20568 kB
SUnreclaim:       555960 kB
KernelStack:        1480 kB
PageTables:         7164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1775692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 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= 71708 MiB
End job on node106 at 2016-06-15 20:11:07