0.00/0.00	c 2016-06-16T01:14:16+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-4089722-1466032456.opb"]
0.00/0.01	c use --random-gen="2249968119 2914632065 3782932314 1396422277 2267884133 3331261964 2578380394 3484483080 1596490299 915533972 1726313112 3700649558 4217893675 3126886347 1437428896 565407917 313820249 1321037737 891159810 237008833 1425630728 1032464149 3535958758 1998463772 331578051 2331672625 1514808941 1137234694 3560106874 3776890083 899843106 2384661035 1151659755 374564444 1279786971 868891853 1302826950 2552112971 3045664225 1971784123 2627464749 1382933332 3982484220 849432398 3242163356 2538813567 151872364 1973429277 2127561751 1268257814 3664771405 1977596999 189380199 2660377676 442987132 1047405655 1722292504 385158797 788092772 654628025 2789843479 3599613078 3656811789 4052425856 2855052041 166385113 3211118975 152364914 956236957 881808151 2173981890 3739413850 1691436537 2072903493 406685017 3486233741 3055010527 3026963716 1488667865 3961151861 4084975385 389900491 87372708 4153377544 2481078298 3403141251 2885390610 1157830838 221478909 2328196148 4125121185 2554252976 1655663251 2694329151 3360899997 1446378674 795680063 2614754858 1298188136 537505202 2396111857 996616162 163402492 1378297918 3489081312 3262394838 3476136552 2562836741 2344511679 1442682849 1069891595 462098957 1636725758 676350350 3772629486 1720510132 1157706111 1844186915 2622809237 1070329845 1031040245 1916376531 2592916988 4150487813 4246194877 3676550806 3653981612 2199598085 2194587275 2997147133 1554842004 3173865069 1542430909 2706108949 2255782292 318203708 3615410853 592065805 1258876756 2653478677 2096958098 2749155339 2966390625 1123571914 3499319628 2028225774 1688872554 3170548650 3072553152 3303067678 4011344950 156932971 2945405381 3469610725 2864394229 1220664110 923972995 4102528233 3650200989 778848978 923314535 2355789365 1787967341 2221440617 3557477695 2500427385 1591819495 2493537738 1723557812 812521622 1610399041 2384231736 3664622543 3441832623 3419611061 2045930622 809612528 3967188171 1286868112 1629785336 2270163190 3842593494 4094812385 1822908838 2885773927 2461948713 750517747 506658980 2003268708 152257406 3818318277 533719425 1941537196 2244576879 764693473 2324121937 1760033120 3462223876 1802457184 2326154055 521646787 3078357335 2545267715 1390992947 1490435778 1526852085 639783572 4098176752 2922212183 3894070821 2457146895 3080329712 3688874872 3061238335 2036029309 3506796013 2694679338 1132969815 588354978 3929439656 2447832959 2539455434 3078888314 3330525398 988093670 405695532 930312148 4180316137 3354863010 3645322750 87768352 272799974 1340308509 1752328623 4219699104 580013682 1518473421 1132343151 2260126368 785242345 707699717 914522756 249518963 677149684 4045360468 2160085516 4283523034 1260896864 2622512659 2200328016 1194041229 3288940638 2774426711 3460274584 2810102856 2377799736 255 362436" option to reproduce the execution
0.00/0.01	c #vars 199
0.00/0.01	c #constraints 100
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      133      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      151 |      100 |      133      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      387 |      250 |      147      0 |        0 |        0
0.00/0.08	c  0.1s |       3 |      686 |      475 |      162      2 |        0 |        0
0.09/0.13	c  0.1s |       4 |     1195 |      813 |      179      4 |        0 |        0
0.19/0.20	c  0.2s |       5 |     1855 |     1320 |      197      7 |        0 |        0
0.28/0.32	c  0.3s |       6 |     2787 |     2081 |      239     12 |        0 |        0
0.48/0.52	c  0.5s |       7 |     4218 |     3223 |      263     19 |        0 |        0
0.78/0.82	c  0.8s |       8 |     6449 |     4936 |      290     28 |        0 |        0
1.19/1.22	c  1.2s |       9 |     9349 |     7506 |      319     41 |        0 |        0
1.68/1.73	c  1.7s |      10 |    13802 |    11361 |      351     59 |        0 |        0
2.48/2.56	c  2.5s |      11 |    20602 |    17144 |      387     86 |        0 |        0
3.78/3.84	c  3.8s |      12 |    30797 |    25819 |      426    123 |        0 |        0
5.59/5.64	c  5.6s |      13 |    45471 |    38832 |      469    172 |        0 |        0
7.58/7.65	c  7.6s |      13 |    60834 |    52032 |      469    221 |        0 |        0
8.58/8.62	c  8.6s |      14 |    68177 |    58352 |      516    245 |        0 |        0
10.58/10.62	c 10.6s |      14 |    85212 |    71852 |      516    293 |        0 |        0
12.58/12.63	c 12.6s |      14 |   101919 |    85452 |      516    340 |        0 |        0
12.88/12.96	c 12.9s |      15 |   104521 |    87632 |      568    348 |        0 |        0
14.88/14.96	c 14.9s |      15 |   119292 |   100532 |      568    387 |        0 |        0
16.88/16.98	c 17.0s |      15 |   132813 |   112532 |      568    425 |        0 |        0
18.88/18.99	c 19.0s |      15 |   146461 |   124732 |      568    463 |        0 |        0
20.08/20.15	c 20.1s |      16 |   154100 |   131552 |      625    484 |        0 |        0
22.09/22.16	c 22.1s |      16 |   169517 |   144252 |      625    520 |        0 |        0
24.09/24.16	c 24.1s |      16 |   185510 |   157352 |      625    558 |        0 |        0
26.09/26.17	c 26.2s |      16 |   201668 |   170252 |      625    596 |        0 |        0
28.09/28.17	c 28.2s |      16 |   216925 |   182852 |      625    633 |        0 |        0
30.09/30.18	c 30.2s |      16 |   232549 |   195652 |      625    670 |        0 |        0
30.39/30.45	c 30.4s |      17 |   234697 |   197432 |      688    675 |        0 |        0
32.39/32.46	c 32.4s |      17 |   249139 |   209932 |      688    708 |        0 |        0
34.38/34.47	c 34.5s |      17 |   263408 |   222432 |      688    741 |        0 |        0
36.39/36.47	c 36.5s |      17 |   277781 |   235032 |      688    775 |        0 |        0
38.38/38.49	c 38.5s |      17 |   292626 |   247732 |      688    809 |        0 |        0
40.38/40.49	c 40.5s |      17 |   307024 |   260232 |      688    843 |        0 |        0
42.48/42.51	c 42.5s |      17 |   321697 |   272732 |      688    876 |        0 |        0
44.48/44.52	c 44.5s |      17 |   335427 |   284732 |      688    908 |        0 |        0
46.38/46.47	c 46.5s |      18 |   348572 |   296252 |      757    937 |        0 |        0
48.39/48.47	c 48.5s |      18 |   364096 |   309452 |      757    969 |        0 |        0
50.38/50.48	c 50.5s |      18 |   379639 |   322352 |      757   1001 |        0 |        0
52.38/52.49	c 52.5s |      18 |   395844 |   335552 |      757   1034 |        0 |        0
54.38/54.49	c 54.5s |      18 |   410864 |   348352 |      757   1065 |        0 |        0
56.38/56.49	c 56.5s |      18 |   423988 |   360052 |      757   1093 |        0 |        0
58.48/58.51	c 58.5s |      18 |   437775 |   372152 |      757   1122 |        0 |        0
60.48/60.51	c 60.5s |      18 |   451801 |   384252 |      757   1152 |        0 |        0
62.48/62.52	c 62.5s |      18 |   465473 |   396452 |      757   1182 |        0 |        0
64.48/64.53	c 64.5s |      18 |   478459 |   408052 |      757   1210 |        0 |        0
66.47/66.54	c 66.5s |      18 |   491326 |   419552 |      757   1238 |        0 |        0
68.47/68.55	c 68.5s |      18 |   504553 |   431152 |      757   1266 |        0 |        0
70.48/70.55	c 70.5s |      18 |   517825 |   442752 |      833   1294 |        0 |        0
70.77/70.85	c 70.8s |      19 |   519782 |   444482 |      833   1298 |        0 |        0
72.77/72.85	c 72.8s |      19 |   533063 |   455982 |      833   1324 |        0 |        0
74.78/74.86	c 74.8s |      19 |   546103 |   467482 |      833   1349 |        0 |        0
76.77/76.87	c 76.8s |      19 |   559475 |   479182 |      833   1375 |        0 |        0
78.77/78.87	c 78.8s |      19 |   572574 |   490482 |      833   1400 |        0 |        0
80.77/80.87	c 80.9s |      19 |   585475 |   501782 |      833   1425 |        0 |        0
82.77/82.89	c 82.9s |      19 |   599254 |   513682 |      833   1452 |        0 |        0
84.78/84.89	c 84.9s |      19 |   612225 |   524982 |      833   1478 |        0 |        0
86.77/86.90	c 86.9s |      19 |   625062 |   536282 |      833   1503 |        0 |        0
88.87/88.90	c 88.9s |      19 |   637102 |   547182 |      833   1527 |        0 |        0
90.87/90.91	c 90.9s |      19 |   649867 |   558582 |      833   1553 |        0 |        0
92.87/92.92	c 92.9s |      19 |   663544 |   570282 |      833   1579 |        0 |        0
94.87/94.94	c 94.9s |      19 |   676408 |   581582 |      833   1604 |        0 |        0
96.88/96.94	c 96.9s |      19 |   688860 |   592782 |      833   1629 |        0 |        0
98.87/98.94	c 98.9s |      19 |   701914 |   604082 |      833   1654 |        0 |        0
100.87/100.96	c  100s |      19 |   714860 |   615482 |      833   1680 |        0 |        0
102.87/102.96	c  102s |      19 |   728202 |   626982 |      833   1705 |        0 |        0
104.87/104.98	c  104s |      19 |   741946 |   638782 |      833   1732 |        0 |        0
106.87/106.99	c  106s |      19 |   756457 |   650882 |      833   1759 |        0 |        0
108.87/109.00	c  108s |      19 |   770376 |   662782 |      917   1785 |        0 |        0
109.67/109.76	c  109s |      20 |   774851 |   666827 |      917   1793 |        0 |        0
111.67/111.77	c  111s |      20 |   788335 |   678727 |      917   1818 |        0 |        0
113.67/113.78	c  113s |      20 |   801261 |   690227 |      917   1841 |        0 |        0
115.67/115.79	c  115s |      20 |   814407 |   701627 |      917   1864 |        0 |        0
117.67/117.80	c  117s |      20 |   827352 |   713027 |      917   1887 |        0 |        0
119.76/119.81	c  119s |      20 |   840524 |   724427 |      917   1911 |        0 |        0
121.76/121.81	c  121s |      20 |   852783 |   735227 |      917   1933 |        0 |        0
123.76/123.81	c  123s |      20 |   865348 |   746227 |      917   1955 |        0 |        0
125.76/125.83	c  125s |      20 |   877941 |   757227 |      917   1977 |        0 |        0
127.76/127.83	c  127s |      20 |   890026 |   768027 |      917   1999 |        0 |        0
129.77/129.84	c  129s |      20 |   902333 |   778927 |      917   2022 |        0 |        0
131.76/131.85	c  131s |      20 |   915428 |   790427 |      917   2045 |        0 |        0
133.76/133.87	c  133s |      20 |   928398 |   801827 |      917   2068 |        0 |        0
135.76/135.88	c  135s |      20 |   940935 |   813027 |      917   2091 |        0 |        0
137.76/137.89	c  137s |      20 |   953819 |   824327 |      917   2114 |        0 |        0
139.86/139.90	c  139s |      20 |   966442 |   835527 |      917   2137 |        0 |        0
141.87/141.91	c  141s |      20 |   978908 |   846627 |      917   2160 |        0 |        0
143.86/143.93	c  143s |      20 |   991535 |   857827 |      917   2182 |        0 |        0
145.87/145.94	c  145s |      20 |  1004224 |   869127 |      917   2206 |        0 |        0
147.87/147.95	c  147s |      20 |  1017191 |   880727 |      917   2229 |        0 |        0
149.87/149.96	c  149s |      20 |  1029474 |   891827 |      917   2252 |        0 |        0
151.87/151.97	c  151s |      20 |  1042261 |   903027 |      917   2275 |        0 |        0
153.87/153.98	c  153s |      20 |  1055289 |   914527 |      917   2298 |        0 |        0
155.87/155.99	c  155s |      20 |  1068042 |   925827 |      917   2321 |        0 |        0
157.97/158.00	c  157s |      20 |  1081256 |   937427 |      917   2345 |        0 |        0
159.96/160.01	c  159s |      20 |  1094204 |   948627 |      917   2368 |        0 |        0
161.96/162.02	c  162s |      20 |  1106258 |   959327 |      917   2390 |        0 |        0
163.97/164.03	c  164s |      20 |  1117813 |   969727 |      917   2411 |        0 |        0
165.96/166.04	c  166s |      20 |  1129284 |   980127 |      917   2432 |        0 |        0
167.96/168.04	c  168s |      20 |  1141172 |   990827 |      917   2454 |        0 |        0
169.76/169.86	c  169s |      21 |  1151711 |  1000345 |     1009   2472 |        0 |        0
171.76/171.87	c  171s |      21 |  1164717 |  1011645 |     1009   2493 |        0 |        0
173.77/173.88	c  173s |      21 |  1176889 |  1022545 |     1009   2514 |        0 |        0
175.76/175.89	c  175s |      21 |  1189883 |  1033845 |     1009   2535 |        0 |        0
177.86/177.91	c  177s |      21 |  1201887 |  1044545 |     1009   2555 |        0 |        0
179.86/179.91	c  179s |      21 |  1214445 |  1055645 |     1009   2576 |        0 |        0
181.86/181.91	c  181s |      21 |  1227928 |  1067145 |     1009   2597 |        0 |        0
183.86/183.92	c  183s |      21 |  1241103 |  1078345 |     1009   2618 |        0 |        0
185.87/185.93	c  185s |      21 |  1254539 |  1089645 |     1009   2639 |        0 |        0
187.86/187.94	c  187s |      21 |  1267141 |  1100545 |     1009   2660 |        0 |        0
189.86/189.95	c  189s |      21 |  1279571 |  1111445 |     1009   2680 |        0 |        0
191.86/191.95	c  191s |      21 |  1292498 |  1122645 |     1009   2701 |        0 |        0
193.86/193.97	c  193s |      21 |  1305160 |  1133645 |     1009   2722 |        0 |        0
195.86/195.97	c  195s |      21 |  1318228 |  1145145 |     1009   2743 |        0 |        0
197.86/197.98	c  197s |      21 |  1331080 |  1156345 |     1009   2764 |        0 |        0
199.86/199.99	c  199s |      21 |  1344762 |  1167945 |     1009   2786 |        0 |        0
201.86/201.99	c  201s |      21 |  1357726 |  1179045 |     1009   2807 |        0 |        0
203.96/204.00	c  203s |      21 |  1371278 |  1190445 |     1009   2828 |        0 |        0
205.95/206.00	c  205s |      21 |  1384570 |  1201745 |     1009   2849 |        0 |        0
207.96/208.01	c  207s |      21 |  1397665 |  1212945 |     1009   2871 |        0 |        0
209.95/210.03	c  210s |      21 |  1410333 |  1223845 |     1009   2891 |        0 |        0
211.95/212.03	c  212s |      21 |  1422144 |  1234445 |     1009   2911 |        0 |        0
213.95/214.04	c  214s |      21 |  1434106 |  1245045 |     1009   2931 |        0 |        0
215.95/216.05	c  216s |      21 |  1446471 |  1256045 |     1009   2951 |        0 |        0
217.95/218.06	c  218s |      21 |  1459030 |  1266945 |     1009   2972 |        0 |        0
219.96/220.07	c  220s |      21 |  1471196 |  1277745 |     1009   2992 |        0 |        0
221.95/222.09	c  222s |      21 |  1483739 |  1288745 |     1009   3012 |        0 |        0
223.95/224.10	c  224s |      21 |  1497018 |  1299845 |     1009   3033 |        0 |        0
226.05/226.11	c  226s |      21 |  1508609 |  1310145 |     1009   3053 |        0 |        0
228.05/228.11	c  228s |      21 |  1519834 |  1320245 |     1009   3072 |        0 |        0
230.05/230.12	c  230s |      21 |  1531213 |  1330445 |     1009   3091 |        0 |        0
232.06/232.14	c  232s |      21 |  1543212 |  1341145 |     1009   3111 |        0 |        0
234.05/234.16	c  234s |      21 |  1555049 |  1351745 |     1009   3130 |        0 |        0
236.05/236.17	c  236s |      21 |  1566667 |  1362045 |     1009   3149 |        0 |        0
238.05/238.18	c  238s |      21 |  1577808 |  1372145 |     1009   3168 |        0 |        0
240.05/240.18	c  240s |      21 |  1589469 |  1382445 |     1009   3188 |        0 |        0
242.06/242.19	c  242s |      21 |  1601617 |  1393045 |     1009   3207 |        0 |        0
244.05/244.19	c  244s |      21 |  1613902 |  1403645 |     1009   3228 |        0 |        0
246.15/246.20	c  246s |      21 |  1626186 |  1414345 |     1009   3248 |        0 |        0
248.15/248.20	c  248s |      21 |  1638828 |  1425145 |     1009   3268 |        0 |        0
250.15/250.20	c  250s |      21 |  1650857 |  1435645 |     1009   3288 |        0 |        0
252.15/252.21	c  252s |      21 |  1663060 |  1446245 |     1009   3308 |        0 |        0
254.15/254.21	c  254s |      21 |  1675390 |  1456845 |     1009   3328 |        0 |        0
256.15/256.22	c  256s |      21 |  1687496 |  1467345 |     1009   3347 |        0 |        0
258.14/258.22	c  258s |      21 |  1699908 |  1478045 |     1009   3368 |        0 |        0
260.14/260.22	c  260s |      21 |  1711919 |  1488545 |     1009   3387 |        0 |        0
262.14/262.23	c  262s |      21 |  1724451 |  1499145 |     1110   3406 |        0 |        0
262.44/262.51	c  262s |      22 |  1726106 |  1500622 |     1110   3408 |        0 |        0
264.44/264.52	c  264s |      22 |  1739151 |  1511722 |     1110   3427 |        0 |        0
266.44/266.52	c  266s |      22 |  1752109 |  1522622 |     1110   3446 |        0 |        0
268.45/268.53	c  268s |      22 |  1765549 |  1533922 |     1110   3466 |        0 |        0
270.44/270.54	c  270s |      22 |  1778600 |  1544922 |     1110   3484 |        0 |        0
272.44/272.54	c  272s |      22 |  1790649 |  1555222 |     1110   3502 |        0 |        0
274.44/274.56	c  274s |      22 |  1803231 |  1566122 |     1110   3521 |        0 |        0
276.44/276.56	c  276s |      22 |  1816068 |  1577322 |     1110   3540 |        0 |        0
278.44/278.56	c  278s |      22 |  1827967 |  1588022 |     1110   3558 |        0 |        0
280.45/280.57	c  280s |      22 |  1839724 |  1598422 |     1110   3576 |        0 |        0
282.44/282.58	c  282s |      22 |  1852306 |  1609222 |     1110   3594 |        0 |        0
284.44/284.59	c  284s |      22 |  1863713 |  1619422 |     1110   3612 |        0 |        0
286.54/286.60	c  286s |      22 |  1875387 |  1629822 |     1110   3630 |        0 |        0
288.55/288.61	c  288s |      22 |  1887696 |  1640522 |     1110   3648 |        0 |        0
290.54/290.62	c  290s |      22 |  1900053 |  1651222 |     1110   3666 |        0 |        0
292.55/292.64	c  292s |      22 |  1911674 |  1661622 |     1110   3684 |        0 |        0
294.54/294.65	c  294s |      22 |  1922920 |  1671722 |     1110   3702 |        0 |        0
296.54/296.67	c  296s |      22 |  1934003 |  1681922 |     1110   3719 |        0 |        0
298.54/298.68	c  298s |      22 |  1945526 |  1692122 |     1110   3737 |        0 |        0
300.54/300.68	c  300s |      22 |  1957338 |  1702322 |     1110   3754 |        0 |        0
302.55/302.69	c  302s |      22 |  1968868 |  1712422 |     1110   3771 |        0 |        0
304.53/304.70	c  304s |      22 |  1980740 |  1722622 |     1110   3789 |        0 |        0
306.63/306.70	c  306s |      22 |  1992775 |  1733222 |     1110   3807 |        0 |        0
308.63/308.72	c  308s |      22 |  2005005 |  1743922 |     1110   3825 |        0 |        0
310.63/310.73	c  310s |      22 |  2016949 |  1754422 |     1110   3843 |        0 |        0
312.63/312.74	c  312s |      22 |  2028452 |  1764622 |     1110   3861 |        0 |        0
314.63/314.76	c  314s |      22 |  2039842 |  1774822 |     1110   3879 |        0 |        0
316.63/316.77	c  316s |      22 |  2051683 |  1785322 |     1110   3897 |        0 |        0
318.63/318.78	c  318s |      22 |  2064344 |  1796322 |     1110   3915 |        0 |        0
320.62/320.79	c  320s |      22 |  2077041 |  1807222 |     1110   3934 |        0 |        0
322.62/322.79	c  322s |      22 |  2089238 |  1818022 |     1110   3953 |        0 |        0
324.62/324.79	c  324s |      22 |  2102190 |  1829022 |     1110   3971 |        0 |        0
326.63/326.80	c  326s |      22 |  2114700 |  1839822 |     1110   3990 |        0 |        0
328.72/328.81	c  328s |      22 |  2127569 |  1850822 |     1110   4009 |        0 |        0
330.72/330.82	c  330s |      22 |  2139967 |  1861522 |     1110   4027 |        0 |        0
332.72/332.83	c  332s |      22 |  2151991 |  1872122 |     1110   4046 |        0 |        0
334.72/334.85	c  334s |      22 |  2163708 |  1882522 |     1110   4064 |        0 |        0
336.72/336.86	c  336s |      22 |  2176366 |  1893522 |     1110   4082 |        0 |        0
338.72/338.87	c  338s |      22 |  2188307 |  1904022 |     1110   4100 |        0 |        0
340.72/340.87	c  340s |      22 |  2200765 |  1915022 |     1110   4119 |        0 |        0
342.72/342.87	c  342s |      22 |  2212225 |  1925322 |     1110   4137 |        0 |        0
344.71/344.89	c  344s |      22 |  2224037 |  1935822 |     1110   4155 |        0 |        0
346.81/346.91	c  346s |      22 |  2235519 |  1946122 |     1110   4173 |        0 |        0
348.81/348.91	c  348s |      22 |  2247293 |  1956522 |     1110   4191 |        0 |        0
350.82/350.92	c  350s |      22 |  2258882 |  1966922 |     1110   4209 |        0 |        0
352.81/352.92	c  352s |      22 |  2270676 |  1977322 |     1110   4227 |        0 |        0
354.80/354.93	c  354s |      22 |  2281729 |  1987322 |     1110   4244 |        0 |        0
356.80/356.93	c  356s |      22 |  2292982 |  1997522 |     1110   4262 |        0 |        0
358.80/358.94	c  358s |      22 |  2304541 |  2007822 |     1110   4279 |        0 |        0
360.81/360.95	c  360s |      22 |  2316138 |  2018222 |     1110   4297 |        0 |        0
362.80/362.96	c  362s |      22 |  2327599 |  2028522 |     1110   4315 |        0 |        0
364.80/364.97	c  364s |      22 |  2338971 |  2038722 |     1110   4333 |        0 |        0
366.80/366.98	c  366s |      22 |  2351210 |  2049322 |     1110   4351 |        0 |        0
368.80/368.98	c  368s |      22 |  2362817 |  2059622 |     1110   4369 |        0 |        0
370.80/370.99	c  370s |      22 |  2374218 |  2069722 |     1110   4386 |        0 |        0
372.90/373.01	c  372s |      22 |  2386122 |  2080322 |     1110   4404 |        0 |        0
374.89/375.01	c  374s |      22 |  2397339 |  2090422 |     1110   4422 |        0 |        0
376.89/377.01	c  376s |      22 |  2408377 |  2100422 |     1110   4439 |        0 |        0
378.89/379.03	c  379s |      22 |  2419649 |  2110622 |     1110   4457 |        0 |        0
380.89/381.06	c  381s |      22 |  2431223 |  2121022 |     1110   4475 |        0 |        0
382.89/383.07	c  383s |      22 |  2442782 |  2131322 |     1110   4492 |        0 |        0
384.90/385.09	c  385s |      22 |  2454231 |  2141622 |     1110   4510 |        0 |        0
386.99/387.11	c  387s |      22 |  2465295 |  2151522 |     1110   4527 |        0 |        0
388.99/389.11	c  389s |      22 |  2476626 |  2161622 |     1110   4545 |        0 |        0
390.99/391.11	c  391s |      22 |  2488461 |  2172122 |     1110   4563 |        0 |        0
392.99/393.12	c  393s |      22 |  2500302 |  2182522 |     1110   4581 |        0 |        0
394.99/395.14	c  395s |      22 |  2512007 |  2193022 |     1110   4599 |        0 |        0
396.99/397.14	c  397s |      22 |  2523726 |  2203422 |     1110   4616 |        0 |        0
398.98/399.15	c  399s |      22 |  2535080 |  2213522 |     1110   4634 |        0 |        0
400.98/401.17	c  401s |      22 |  2547156 |  2224122 |     1110   4652 |        0 |        0
402.98/403.17	c  403s |      22 |  2560062 |  2235122 |     1221   4670 |        0 |        0
404.98/405.18	c  405s |      22 |  2571138 |  2245022 |     1221   4686 |        0 |        0
406.18/406.37	c  406s |      23 |  2577958 |  2251038 |     1221   4695 |        0 |        0
408.18/408.38	c  408s |      23 |  2590283 |  2261738 |     1221   4712 |        0 |        0
410.19/410.38	c  410s |      23 |  2602285 |  2272338 |     1221   4729 |        0 |        0
412.18/412.39	c  412s |      23 |  2615915 |  2283838 |     1221   4747 |        0 |        0
414.27/414.41	c  414s |      23 |  2629088 |  2295038 |     1221   4765 |        0 |        0
416.27/416.41	c  416s |      23 |  2641932 |  2306238 |     1221   4782 |        0 |        0
418.27/418.42	c  418s |      23 |  2653818 |  2316938 |     1221   4799 |        0 |        0
420.27/420.43	c  420s |      23 |  2666565 |  2328038 |     1221   4816 |        0 |        0
422.28/422.44	c  422s |      23 |  2679468 |  2339138 |     1221   4834 |        0 |        0
424.27/424.45	c  424s |      23 |  2691781 |  2350038 |     1221   4851 |        0 |        0
426.27/426.46	c  426s |      23 |  2703949 |  2360738 |     1221   4867 |        0 |        0
428.27/428.46	c  428s |      23 |  2716686 |  2371638 |     1221   4885 |        0 |        0
430.27/430.48	c  430s |      23 |  2729067 |  2382438 |     1221   4902 |        0 |        0
432.27/432.48	c  432s |      23 |  2742151 |  2393538 |     1221   4919 |        0 |        0
434.26/434.48	c  434s |      23 |  2754729 |  2404438 |     1221   4936 |        0 |        0
436.26/436.49	c  436s |      23 |  2766919 |  2415238 |     1221   4953 |        0 |        0
438.36/438.50	c  438s |      23 |  2779092 |  2425938 |     1221   4970 |        0 |        0
440.37/440.51	c  440s |      23 |  2791809 |  2436938 |     1221   4987 |        0 |        0
442.37/442.52	c  442s |      23 |  2805574 |  2448338 |     1221   5005 |        0 |        0
444.37/444.54	c  444s |      23 |  2819702 |  2460038 |     1221   5024 |        0 |        0
446.36/446.55	c  446s |      23 |  2833295 |  2471538 |     1221   5042 |        0 |        0
448.36/448.55	c  448s |      23 |  2845622 |  2482238 |     1221   5058 |        0 |        0
450.36/450.55	c  450s |      23 |  2857597 |  2492938 |     1221   5075 |        0 |        0
452.36/452.56	c  452s |      23 |  2870348 |  2503838 |     1221   5092 |        0 |        0
454.36/454.58	c  454s |      23 |  2882168 |  2514338 |     1221   5109 |        0 |        0
456.36/456.58	c  456s |      23 |  2894305 |  2524938 |     1221   5125 |        0 |        0
458.46/458.60	c  458s |      23 |  2905887 |  2535338 |     1221   5141 |        0 |        0
460.46/460.62	c  460s |      23 |  2918278 |  2546238 |     1221   5159 |        0 |        0
462.45/462.63	c  462s |      23 |  2930182 |  2556838 |     1221   5175 |        0 |        0
464.45/464.64	c  464s |      23 |  2942638 |  2567738 |     1221   5192 |        0 |        0
466.45/466.65	c  466s |      23 |  2955146 |  2578638 |     1221   5210 |        0 |        0
468.46/468.66	c  468s |      23 |  2967625 |  2589438 |     1221   5227 |        0 |        0
470.45/470.67	c  470s |      23 |  2980272 |  2600138 |     1221   5243 |        0 |        0
472.45/472.68	c  472s |      23 |  2992611 |  2610838 |     1221   5260 |        0 |        0
474.45/474.68	c  474s |      23 |  3005343 |  2621838 |     1221   5277 |        0 |        0
476.45/476.69	c  476s |      23 |  3017377 |  2632238 |     1221   5294 |        0 |        0
478.55/478.70	c  478s |      23 |  3029368 |  2642738 |     1221   5310 |        0 |        0
480.55/480.72	c  480s |      23 |  3041338 |  2653338 |     1221   5327 |        0 |        0
482.54/482.72	c  482s |      23 |  3053590 |  2664038 |     1221   5344 |        0 |        0
484.54/484.74	c  484s |      23 |  3065825 |  2674838 |     1221   5361 |        0 |        0
486.54/486.74	c  486s |      23 |  3077640 |  2685438 |     1221   5377 |        0 |        0
488.54/488.75	c  488s |      23 |  3089643 |  2696138 |     1221   5394 |        0 |        0
490.55/490.76	c  490s |      23 |  3101508 |  2706738 |     1221   5411 |        0 |        0
492.54/492.77	c  492s |      23 |  3112608 |  2716738 |     1221   5426 |        0 |        0
494.54/494.77	c  494s |      23 |  3124314 |  2727038 |     1221   5442 |        0 |        0
496.53/496.78	c  496s |      23 |  3137281 |  2738238 |     1221   5460 |        0 |        0
498.53/498.79	c  498s |      23 |  3149123 |  2748538 |     1221   5476 |        0 |        0
500.63/500.80	c  500s |      23 |  3161770 |  2759438 |     1221   5493 |        0 |        0
502.64/502.81	c  502s |      23 |  3173588 |  2769938 |     1221   5510 |        0 |        0
504.63/504.82	c  504s |      23 |  3186520 |  2781038 |     1221   5527 |        0 |        0
506.63/506.83	c  506s |      23 |  3199525 |  2792238 |     1221   5545 |        0 |        0
508.63/508.85	c  508s |      23 |  3212394 |  2803338 |     1221   5562 |        0 |        0
510.63/510.85	c  510s |      23 |  3225649 |  2814538 |     1221   5580 |        0 |        0
512.63/512.86	c  512s |      23 |  3238908 |  2826038 |     1221   5598 |        0 |        0
514.63/514.87	c  514s |      23 |  3251369 |  2836838 |     1221   5614 |        0 |        0
516.62/516.87	c  516s |      23 |  3263119 |  2847338 |     1221   5631 |        0 |        0
518.62/518.89	c  518s |      23 |  3275901 |  2858438 |     1221   5648 |        0 |        0
520.62/520.89	c  520s |      23 |  3287623 |  2868938 |     1221   5665 |        0 |        0
522.62/522.89	c  522s |      23 |  3300046 |  2879838 |     1221   5682 |        0 |        0
524.72/524.91	c  524s |      23 |  3312216 |  2890638 |     1221   5699 |        0 |        0
526.72/526.91	c  526s |      23 |  3324241 |  2901438 |     1221   5716 |        0 |        0
528.72/528.92	c  528s |      23 |  3337145 |  2912638 |     1221   5733 |        0 |        0
530.72/530.93	c  530s |      23 |  3349156 |  2923238 |     1221   5750 |        0 |        0
532.72/532.93	c  532s |      23 |  3361437 |  2934038 |     1221   5767 |        0 |        0
534.71/534.93	c  534s |      23 |  3374187 |  2944938 |     1221   5784 |        0 |        0
536.72/536.95	c  536s |      23 |  3386880 |  2956038 |     1221   5801 |        0 |        0
538.71/538.96	c  538s |      23 |  3399677 |  2967038 |     1221   5819 |        0 |        0
540.71/540.96	c  540s |      23 |  3411953 |  2977838 |     1221   5835 |        0 |        0
542.71/542.98	c  542s |      23 |  3424133 |  2988438 |     1221   5852 |        0 |        0
544.71/544.98	c  544s |      23 |  3436320 |  2999038 |     1221   5869 |        0 |        0
546.71/546.99	c  546s |      23 |  3447965 |  3009338 |     1221   5885 |        0 |        0
548.81/549.01	c  548s |      23 |  3459828 |  3019638 |     1221   5901 |        0 |        0
550.81/551.03	c  551s |      23 |  3472259 |  3030538 |     1221   5918 |        0 |        0
552.81/553.03	c  553s |      23 |  3485409 |  3041638 |     1221   5936 |        0 |        0
554.80/555.04	c  555s |      23 |  3498999 |  3052938 |     1221   5953 |        0 |        0
556.80/557.04	c  557s |      23 |  3511447 |  3063738 |     1221   5970 |        0 |        0
558.80/559.06	c  559s |      23 |  3523823 |  3074338 |     1221   5987 |        0 |        0
560.82/561.06	c  561s |      23 |  3536822 |  3085438 |     1221   6004 |        0 |        0
562.81/563.07	c  563s |      23 |  3549151 |  3096138 |     1221   6021 |        0 |        0
564.81/565.08	c  565s |      23 |  3562451 |  3107438 |     1221   6039 |        0 |        0
566.81/567.09	c  567s |      23 |  3575877 |  3118738 |     1221   6057 |        0 |        0
568.91/569.10	c  569s |      23 |  3588249 |  3129638 |     1221   6074 |        0 |        0
570.91/571.10	c  571s |      23 |  3601139 |  3140838 |     1221   6092 |        0 |        0
572.91/573.11	c  573s |      23 |  3612895 |  3151338 |     1221   6108 |        0 |        0
574.90/575.13	c  575s |      23 |  3624576 |  3161838 |     1221   6125 |        0 |        0
576.90/577.14	c  577s |      23 |  3637799 |  3172938 |     1221   6142 |        0 |        0
578.90/579.15	c  579s |      23 |  3649565 |  3183338 |     1221   6158 |        0 |        0
580.90/581.16	c  581s |      23 |  3661539 |  3193838 |     1221   6175 |        0 |        0
582.90/583.17	c  583s |      23 |  3674245 |  3204838 |     1221   6192 |        0 |        0
584.89/585.18	c  585s |      23 |  3686128 |  3215338 |     1221   6209 |        0 |        0
586.89/587.19	c  587s |      23 |  3698946 |  3226438 |     1221   6226 |        0 |        0
588.99/589.20	c  589s |      23 |  3711079 |  3237238 |     1221   6243 |        0 |        0
590.99/591.21	c  591s |      23 |  3723929 |  3248338 |     1221   6261 |        0 |        0
592.99/593.22	c  593s |      23 |  3736663 |  3259438 |     1221   6278 |        0 |        0
595.00/595.22	c  595s |      23 |  3749125 |  3270538 |     1221   6296 |        0 |        0
596.99/597.23	c  597s |      23 |  3762083 |  3281738 |     1221   6313 |        0 |        0
598.99/599.23	c  599s |      23 |  3775394 |  3293338 |     1221   6331 |        0 |        0
600.99/601.24	c  601s |      23 |  3787986 |  3304438 |     1221   6349 |        0 |        0
602.99/603.25	c  603s |      23 |  3800515 |  3315538 |     1221   6366 |        0 |        0
604.98/605.26	c  605s |      23 |  3813308 |  3326838 |     1221   6384 |        0 |        0
606.99/607.27	c  607s |      23 |  3826357 |  3338138 |     1221   6402 |        0 |        0
608.98/609.28	c  609s |      23 |  3839893 |  3349638 |     1221   6420 |        0 |        0
610.98/611.28	c  611s |      23 |  3852657 |  3360738 |     1344   6436 |        0 |        0
612.98/613.29	c  613s |      23 |  3865834 |  3371838 |     1344   6452 |        0 |        0
613.88/614.16	c  614s |      24 |  3871365 |  3376662 |     1344   6459 |        0 |        0
615.88/616.16	c  616s |      24 |  3884303 |  3387462 |     1344   6474 |        0 |        0
617.88/618.18	c  618s |      24 |  3896224 |  3397862 |     1344   6489 |        0 |        0
619.88/620.19	c  620s |      24 |  3907873 |  3408262 |     1344   6504 |        0 |        0
621.88/622.19	c  622s |      24 |  3920523 |  3419062 |     1344   6520 |        0 |        0
623.97/624.20	c  624s |      24 |  3933551 |  3430162 |     1344   6536 |        0 |        0
625.97/626.21	c  626s |      24 |  3946760 |  3441262 |     1344   6552 |        0 |        0
627.98/628.22	c  628s |      24 |  3958356 |  3451362 |     1344   6566 |        0 |        0
629.97/630.23	c  630s |      24 |  3969737 |  3461462 |     1344   6580 |        0 |        0
631.97/632.24	c  632s |      24 |  3982035 |  3471962 |     1344   6595 |        0 |        0
633.96/634.24	c  634s |      24 |  3995658 |  3482962 |     1344   6611 |        0 |        0
635.96/636.25	c  636s |      24 |  4007862 |  3493362 |     1344   6626 |        0 |        0
637.96/638.26	c  638s |      24 |  4019978 |  3503662 |     1344   6641 |        0 |        0
639.97/640.27	c  640s |      24 |  4033264 |  3514562 |     1344   6656 |        0 |        0
641.96/642.28	c  642s |      24 |  4046085 |  3525162 |     1344   6672 |        0 |        0
643.96/644.29	c  644s |      24 |  4059236 |  3536062 |     1344   6687 |        0 |        0
645.97/646.29	c  646s |      24 |  4072207 |  3547062 |     1344   6703 |        0 |        0
648.07/648.30	c  648s |      24 |  4084724 |  3557762 |     1344   6719 |        0 |        0
650.07/650.31	c  650s |      24 |  4096509 |  3568162 |     1344   6733 |        0 |        0
652.07/652.32	c  652s |      24 |  4108551 |  3578662 |     1344   6748 |        0 |        0
654.06/654.32	c  654s |      24 |  4121243 |  3589562 |     1344   6764 |        0 |        0
656.06/656.34	c  656s |      24 |  4133897 |  3600362 |     1344   6779 |        0 |        0
658.06/658.34	c  658s |      24 |  4146208 |  3610962 |     1344   6795 |        0 |        0
660.06/660.36	c  660s |      24 |  4158631 |  3621362 |     1344   6809 |        0 |        0
662.07/662.37	c  662s |      24 |  4170661 |  3631562 |     1344   6824 |        0 |        0
664.06/664.38	c  664s |      24 |  4182515 |  3641762 |     1344   6839 |        0 |        0
666.06/666.39	c  666s |      24 |  4194373 |  3651662 |     1344   6853 |        0 |        0
668.16/668.40	c  668s |      24 |  4206502 |  3661762 |     1344   6867 |        0 |        0
670.16/670.41	c  670s |      24 |  4218024 |  3671762 |     1344   6882 |        0 |        0
672.15/672.42	c  672s |      24 |  4230350 |  3682062 |     1344   6897 |        0 |        0
674.16/674.43	c  674s |      24 |  4242075 |  3692062 |     1344   6911 |        0 |        0
676.15/676.43	c  676s |      24 |  4254111 |  3702462 |     1344   6926 |        0 |        0
678.15/678.45	c  678s |      24 |  4265894 |  3713062 |     1344   6941 |        0 |        0
680.15/680.46	c  680s |      24 |  4278056 |  3723562 |     1344   6956 |        0 |        0
682.15/682.47	c  682s |      24 |  4290449 |  3734362 |     1344   6971 |        0 |        0
684.14/684.48	c  684s |      24 |  4303008 |  3744962 |     1344   6987 |        0 |        0
686.15/686.49	c  686s |      24 |  4315322 |  3755562 |     1344   7002 |        0 |        0
688.14/688.49	c  688s |      24 |  4327698 |  3766262 |     1344   7017 |        0 |        0
690.24/690.50	c  690s |      24 |  4341010 |  3777362 |     1344   7033 |        0 |        0
692.24/692.51	c  692s |      24 |  4353099 |  3787862 |     1344   7048 |        0 |        0
694.24/694.51	c  694s |      24 |  4364946 |  3798362 |     1344   7063 |        0 |        0
696.24/696.53	c  696s |      24 |  4376124 |  3808362 |     1344   7078 |        0 |        0
698.24/698.54	c  698s |      24 |  4387947 |  3818662 |     1344   7092 |        0 |        0
700.24/700.56	c  700s |      24 |  4399758 |  3829162 |     1344   7108 |        0 |        0
702.24/702.58	c  702s |      24 |  4411546 |  3839362 |     1344   7122 |        0 |        0
704.24/704.59	c  704s |      24 |  4422150 |  3848962 |     1344   7136 |        0 |        0
706.24/706.59	c  706s |      24 |  4433344 |  3858862 |     1344   7150 |        0 |        0
708.34/708.61	c  708s |      24 |  4444334 |  3868662 |     1344   7163 |        0 |        0
710.35/710.61	c  710s |      24 |  4454861 |  3878062 |     1344   7177 |        0 |        0
712.34/712.61	c  712s |      24 |  4465534 |  3887462 |     1344   7190 |        0 |        0
714.33/714.63	c  714s |      24 |  4476354 |  3897262 |     1344   7204 |        0 |        0
716.33/716.65	c  716s |      24 |  4487776 |  3907262 |     1344   7219 |        0 |        0
718.33/718.65	c  718s |      24 |  4498843 |  3917162 |     1344   7233 |        0 |        0
720.34/720.66	c  720s |      24 |  4508923 |  3926462 |     1344   7247 |        0 |        0
722.33/722.66	c  722s |      24 |  4519152 |  3935862 |     1344   7260 |        0 |        0
724.32/724.69	c  724s |      24 |  4530420 |  3945762 |     1344   7275 |        0 |        0
726.32/726.69	c  726s |      24 |  4541696 |  3955762 |     1344   7289 |        0 |        0
728.42/728.71	c  728s |      24 |  4553683 |  3966062 |     1344   7304 |        0 |        0
730.42/730.71	c  730s |      24 |  4565669 |  3976362 |     1344   7318 |        0 |        0
732.43/732.72	c  732s |      24 |  4576839 |  3986262 |     1344   7333 |        0 |        0
734.42/734.73	c  734s |      24 |  4587931 |  3996262 |     1344   7347 |        0 |        0
736.42/736.73	c  736s |      24 |  4599294 |  4006362 |     1344   7361 |        0 |        0
738.42/738.75	c  738s |      24 |  4611480 |  4016762 |     1344   7376 |        0 |        0
740.42/740.77	c  740s |      24 |  4623058 |  4026862 |     1344   7391 |        0 |        0
742.42/742.77	c  742s |      24 |  4634475 |  4036862 |     1344   7405 |        0 |        0
744.42/744.78	c  744s |      24 |  4646212 |  4047062 |     1344   7420 |        0 |        0
746.41/746.79	c  746s |      24 |  4657914 |  4057362 |     1344   7434 |        0 |        0
748.41/748.79	c  748s |      24 |  4669298 |  4067462 |     1344   7449 |        0 |        0
750.51/750.81	c  750s |      24 |  4681699 |  4078062 |     1344   7464 |        0 |        0
752.51/752.82	c  752s |      24 |  4693669 |  4088562 |     1344   7479 |        0 |        0
754.51/754.83	c  754s |      24 |  4705428 |  4098862 |     1344   7494 |        0 |        0
756.52/756.83	c  756s |      24 |  4716669 |  4108962 |     1344   7508 |        0 |        0
758.51/758.84	c  758s |      24 |  4727966 |  4119062 |     1344   7523 |        0 |        0
760.51/760.85	c  760s |      24 |  4739956 |  4129562 |     1344   7538 |        0 |        0
762.51/762.87	c  762s |      24 |  4751787 |  4139962 |     1344   7553 |        0 |        0
764.50/764.88	c  764s |      24 |  4763697 |  4150262 |     1344   7568 |        0 |        0
766.51/766.88	c  766s |      24 |  4775231 |  4160362 |     1344   7582 |        0 |        0
768.50/768.89	c  768s |      24 |  4787027 |  4170662 |     1344   7597 |        0 |        0
770.60/770.90	c  770s |      24 |  4799018 |  4181162 |     1344   7612 |        0 |        0
772.60/772.91	c  772s |      24 |  4811448 |  4191662 |     1344   7627 |        0 |        0
774.59/774.93	c  774s |      24 |  4823638 |  4202062 |     1344   7642 |        0 |        0
776.59/776.93	c  776s |      24 |  4836307 |  4212762 |     1344   7658 |        0 |        0
778.61/778.93	c  778s |      24 |  4848217 |  4223062 |     1344   7672 |        0 |        0
780.60/780.94	c  780s |      24 |  4860773 |  4233662 |     1344   7687 |        0 |        0
782.60/782.95	c  782s |      24 |  4874957 |  4245062 |     1344   7704 |        0 |        0
784.60/784.97	c  784s |      24 |  4888008 |  4255862 |     1344   7719 |        0 |        0
786.60/786.98	c  786s |      24 |  4899997 |  4266062 |     1344   7734 |        0 |        0
788.70/789.00	c  788s |      24 |  4913154 |  4276862 |     1344   7749 |        0 |        0
790.60/791.00	c  790s |      24 |  4926331 |  4287662 |     1344   7765 |        0 |        0
792.70/793.02	c  792s |      24 |  4939398 |  4298462 |     1344   7780 |        0 |        0
794.69/795.02	c  795s |      24 |  4951740 |  4308762 |     1344   7795 |        0 |        0
796.69/797.03	c  797s |      24 |  4963719 |  4319062 |     1344   7810 |        0 |        0
798.69/799.04	c  799s |      24 |  4975867 |  4329562 |     1344   7825 |        0 |        0
800.69/801.05	c  801s |      24 |  4988806 |  4340262 |     1344   7840 |        0 |        0
802.70/803.06	c  803s |      24 |  5000376 |  4350362 |     1344   7854 |        0 |        0
804.69/805.07	c  805s |      24 |  5012007 |  4360462 |     1344   7869 |        0 |        0
806.69/807.07	c  807s |      24 |  5023602 |  4370562 |     1344   7883 |        0 |        0
808.69/809.08	c  809s |      24 |  5037139 |  4381562 |     1344   7899 |        0 |        0
810.68/811.09	c  811s |      24 |  5050346 |  4392462 |     1344   7915 |        0 |        0
812.78/813.10	c  813s |      24 |  5062244 |  4402662 |     1344   7929 |        0 |        0
814.79/815.11	c  815s |      24 |  5075044 |  4413262 |     1344   7945 |        0 |        0
816.78/817.11	c  817s |      24 |  5087216 |  4423562 |     1344   7959 |        0 |        0
818.78/819.13	c  819s |      24 |  5100342 |  4434362 |     1344   7975 |        0 |        0
820.78/821.14	c  821s |      24 |  5114818 |  4445562 |     1344   7991 |        0 |        0
822.78/823.15	c  823s |      24 |  5126898 |  4455962 |     1344   8006 |        0 |        0
824.78/825.17	c  825s |      24 |  5140197 |  4466762 |     1344   8021 |        0 |        0
826.77/827.17	c  827s |      24 |  5152835 |  4477462 |     1344   8037 |        0 |        0
828.77/829.19	c  829s |      24 |  5165155 |  4487962 |     1344   8052 |        0 |        0
830.87/831.20	c  831s |      24 |  5177617 |  4498562 |     1344   8067 |        0 |        0
832.87/833.21	c  833s |      24 |  5189872 |  4508962 |     1344   8082 |        0 |        0
834.87/835.22	c  835s |      24 |  5201356 |  4519062 |     1344   8096 |        0 |        0
836.88/837.22	c  837s |      24 |  5213495 |  4529562 |     1344   8111 |        0 |        0
838.87/839.24	c  839s |      24 |  5225640 |  4540062 |     1344   8126 |        0 |        0
840.87/841.26	c  841s |      24 |  5237796 |  4550462 |     1344   8141 |        0 |        0
842.87/843.26	c  843s |      24 |  5250129 |  4560762 |     1344   8156 |        0 |        0
844.86/845.27	c  845s |      24 |  5262005 |  4570862 |     1344   8170 |        0 |        0
846.86/847.27	c  847s |      24 |  5273741 |  4581062 |     1344   8185 |        0 |        0
848.87/849.28	c  849s |      24 |  5285634 |  4591562 |     1344   8200 |        0 |        0
850.86/851.28	c  851s |      24 |  5297977 |  4601962 |     1344   8215 |        0 |        0
852.96/853.30	c  853s |      24 |  5309950 |  4612162 |     1344   8230 |        0 |        0
854.96/855.30	c  855s |      24 |  5323018 |  4622962 |     1344   8245 |        0 |        0
856.96/857.31	c  857s |      24 |  5335115 |  4633262 |     1344   8260 |        0 |        0
858.96/859.32	c  859s |      24 |  5347150 |  4643562 |     1344   8275 |        0 |        0
860.96/861.33	c  861s |      24 |  5360455 |  4654362 |     1344   8290 |        0 |        0
862.95/863.33	c  863s |      24 |  5373872 |  4665362 |     1344   8306 |        0 |        0
864.95/865.34	c  865s |      24 |  5386171 |  4675862 |     1344   8321 |        0 |        0
866.95/867.35	c  867s |      24 |  5399610 |  4686962 |     1344   8337 |        0 |        0
868.95/869.36	c  869s |      24 |  5412123 |  4697562 |     1344   8353 |        0 |        0
870.95/871.37	c  871s |      24 |  5424916 |  4708062 |     1344   8368 |        0 |        0
872.95/873.38	c  873s |      24 |  5437190 |  4718562 |     1344   8383 |        0 |        0
874.94/875.39	c  875s |      24 |  5448859 |  4728662 |     1344   8398 |        0 |        0
877.04/877.41	c  877s |      24 |  5461311 |  4739062 |     1344   8413 |        0 |        0
879.04/879.43	c  879s |      24 |  5472467 |  4748862 |     1344   8427 |        0 |        0
881.04/881.43	c  881s |      24 |  5485288 |  4759462 |     1344   8442 |        0 |        0
883.05/883.45	c  883s |      24 |  5498159 |  4770162 |     1344   8457 |        0 |        0
885.04/885.45	c  885s |      24 |  5510020 |  4780562 |     1344   8472 |        0 |        0
887.04/887.47	c  887s |      24 |  5522111 |  4791162 |     1344   8488 |        0 |        0
889.04/889.48	c  889s |      24 |  5533643 |  4801162 |     1344   8502 |        0 |        0
891.04/891.49	c  891s |      24 |  5545764 |  4811462 |     1344   8517 |        0 |        0
893.14/893.50	c  893s |      24 |  5558176 |  4821962 |     1344   8532 |        0 |        0
895.04/895.50	c  895s |      24 |  5570174 |  4832362 |     1344   8547 |        0 |        0
897.14/897.51	c  897s |      24 |  5583165 |  4842962 |     1344   8562 |        0 |        0
899.14/899.53	c  899s |      24 |  5595320 |  4853462 |     1344   8577 |        0 |        0
901.13/901.54	c  901s |      24 |  5607366 |  4863862 |     1344   8592 |        0 |        0
903.13/903.56	c  903s |      24 |  5619474 |  4874362 |     1344   8607 |        0 |        0
905.13/905.58	c  905s |      24 |  5631182 |  4884762 |     1344   8622 |        0 |        0
907.13/907.58	c  907s |      24 |  5643077 |  4895262 |     1344   8637 |        0 |        0
909.13/909.58	c  909s |      24 |  5655256 |  4906162 |     1344   8652 |        0 |        0
911.23/911.60	c  911s |      24 |  5667720 |  4916862 |     1344   8667 |        0 |        0
913.22/913.62	c  913s |      24 |  5679404 |  4926962 |     1344   8682 |        0 |        0
915.22/915.63	c  915s |      24 |  5690858 |  4936962 |     1344   8696 |        0 |        0
917.22/917.64	c  917s |      24 |  5701698 |  4946662 |     1344   8710 |        0 |        0
919.23/919.65	c  919s |      24 |  5712790 |  4956462 |     1344   8724 |        0 |        0
921.22/921.67	c  921s |      24 |  5724699 |  4966762 |     1344   8738 |        0 |        0
923.22/923.68	c  923s |      24 |  5736924 |  4977262 |     1344   8753 |        0 |        0
925.32/925.70	c  925s |      24 |  5749852 |  4987962 |     1344   8769 |        0 |        0
927.32/927.70	c  927s |      24 |  5762548 |  4998462 |     1344   8784 |        0 |        0
929.32/929.72	c  929s |      24 |  5774278 |  5008462 |     1344   8798 |        0 |        0
931.33/931.72	c  931s |      24 |  5784884 |  5017962 |     1344   8811 |        0 |        0
933.32/933.72	c  933s |      24 |  5796722 |  5028062 |     1344   8826 |        0 |        0
935.32/935.74	c  935s |      24 |  5809457 |  5038562 |     1479   8839 |        0 |        0
937.32/937.75	c  937s |      24 |  5822349 |  5049162 |     1479   8853 |        0 |        0
939.32/939.76	c  939s |      24 |  5834537 |  5059162 |     1479   8866 |        0 |        0
940.42/940.87	c  940s |      25 |  5841921 |  5065098 |     1479   8874 |        0 |        0
942.42/942.88	c  942s |      25 |  5854932 |  5075898 |     1479   8888 |        0 |        0
944.42/944.90	c  944s |      25 |  5867050 |  5086098 |     1479   8901 |        0 |        0
946.51/946.91	c  946s |      25 |  5878218 |  5095798 |     1479   8914 |        0 |        0
948.51/948.92	c  948s |      25 |  5891471 |  5106498 |     1479   8928 |        0 |        0
950.51/950.94	c  950s |      25 |  5904759 |  5117198 |     1479   8942 |        0 |        0
952.51/952.96	c  952s |      25 |  5917897 |  5127898 |     1479   8956 |        0 |        0
954.52/954.96	c  954s |      25 |  5929754 |  5138098 |     1479   8969 |        0 |        0
956.51/956.97	c  956s |      25 |  5942525 |  5148798 |     1479   8983 |        0 |        0
958.51/958.99	c  958s |      25 |  5955330 |  5159498 |     1479   8997 |        0 |        0
960.51/960.99	c  960s |      25 |  5967054 |  5169598 |     1479   9010 |        0 |        0
962.61/963.01	c  962s |      25 |  5978112 |  5179298 |     1479   9022 |        0 |        0
964.61/965.03	c  965s |      25 |  5989486 |  5189198 |     1479   9035 |        0 |        0
966.62/967.04	c  967s |      25 |  6001084 |  5199198 |     1479   9048 |        0 |        0
968.61/969.06	c  969s |      25 |  6013420 |  5209298 |     1479   9062 |        0 |        0
970.61/971.07	c  971s |      25 |  6025352 |  5219398 |     1479   9075 |        0 |        0
972.61/973.07	c  973s |      25 |  6037176 |  5229398 |     1479   9088 |        0 |        0
974.60/975.09	c  975s |      25 |  6049984 |  5239998 |     1479   9102 |        0 |        0
976.70/977.10	c  977s |      25 |  6062719 |  5250598 |     1479   9116 |        0 |        0
978.71/979.11	c  979s |      25 |  6076164 |  5261398 |     1479   9130 |        0 |        0
980.71/981.12	c  981s |      25 |  6090021 |  5272398 |     1479   9144 |        0 |        0
982.71/983.12	c  983s |      25 |  6102327 |  5282698 |     1479   9157 |        0 |        0
984.71/985.12	c  985s |      25 |  6114660 |  5292798 |     1479   9171 |        0 |        0
986.71/987.13	c  987s |      25 |  6125679 |  5302398 |     1479   9183 |        0 |        0
988.71/989.13	c  989s |      25 |  6136537 |  5311898 |     1479   9196 |        0 |        0
990.72/991.14	c  991s |      25 |  6148327 |  5321898 |     1479   9209 |        0 |        0
992.71/993.16	c  993s |      25 |  6160785 |  5332298 |     1479   9222 |        0 |        0
994.71/995.18	c  995s |      25 |  6172207 |  5342098 |     1479   9235 |        0 |        0
996.71/997.19	c  997s |      25 |  6183582 |  5351798 |     1479   9248 |        0 |        0
998.81/999.20	c  999s |      25 |  6195868 |  5361898 |     1479   9261 |        0 |        0
1000.81/1001.22	c 1001s |      25 |  6207721 |  5371998 |     1479   9274 |        0 |        0
1002.81/1003.22	c 1003s |      25 |  6219182 |  5381798 |     1479   9287 |        0 |        0
1004.81/1005.23	c 1005s |      25 |  6230164 |  5391298 |     1479   9299 |        0 |        0
1006.81/1007.23	c 1007s |      25 |  6241714 |  5401398 |     1479   9312 |        0 |        0
1008.81/1009.25	c 1009s |      25 |  6253734 |  5411798 |     1479   9326 |        0 |        0
1010.81/1011.27	c 1011s |      25 |  6266313 |  5422198 |     1479   9340 |        0 |        0
1012.81/1013.28	c 1013s |      25 |  6278841 |  5432698 |     1479   9353 |        0 |        0
1014.80/1015.29	c 1015s |      25 |  6290968 |  5442998 |     1479   9367 |        0 |        0
1016.90/1017.30	c 1017s |      25 |  6302596 |  5452998 |     1479   9380 |        0 |        0
1018.90/1019.30	c 1019s |      25 |  6314000 |  5462898 |     1479   9393 |        0 |        0
1020.90/1021.32	c 1021s |      25 |  6326104 |  5473298 |     1479   9406 |        0 |        0
1022.90/1023.33	c 1023s |      25 |  6337749 |  5483398 |     1479   9420 |        0 |        0
1024.91/1025.34	c 1025s |      25 |  6350895 |  5494098 |     1479   9433 |        0 |        0
1026.90/1027.34	c 1027s |      25 |  6363462 |  5504598 |     1479   9447 |        0 |        0
1028.90/1029.34	c 1029s |      25 |  6375153 |  5514398 |     1479   9460 |        0 |        0
1030.90/1031.36	c 1031s |      25 |  6387678 |  5524798 |     1479   9474 |        0 |        0
1032.90/1033.37	c 1033s |      25 |  6399407 |  5534798 |     1479   9487 |        0 |        0
1034.90/1035.38	c 1035s |      25 |  6411064 |  5544798 |     1479   9500 |        0 |        0
1036.91/1037.38	c 1037s |      25 |  6423344 |  5554998 |     1479   9513 |        0 |        0
1038.90/1039.38	c 1039s |      25 |  6435792 |  5565298 |     1479   9526 |        0 |        0
1040.90/1041.39	c 1041s |      25 |  6448104 |  5575498 |     1479   9540 |        0 |        0
1042.90/1043.39	c 1043s |      25 |  6460076 |  5585698 |     1479   9553 |        0 |        0
1045.00/1045.40	c 1045s |      25 |  6471550 |  5595498 |     1479   9566 |        0 |        0
1047.00/1047.42	c 1047s |      25 |  6483152 |  5605498 |     1479   9579 |        0 |        0
1049.00/1049.44	c 1049s |      25 |  6494817 |  5615598 |     1479   9592 |        0 |        0
1050.99/1051.45	c 1051s |      25 |  6506420 |  5625698 |     1479   9605 |        0 |        0
1052.99/1053.46	c 1053s |      25 |  6518131 |  5635698 |     1479   9618 |        0 |        0
1054.99/1055.46	c 1055s |      25 |  6531225 |  5646298 |     1479   9632 |        0 |        0
1056.99/1057.47	c 1057s |      25 |  6544118 |  5656898 |     1479   9646 |        0 |        0
1059.00/1059.49	c 1059s |      25 |  6555871 |  5666698 |     1479   9658 |        0 |        0
1060.99/1061.49	c 1061s |      25 |  6567509 |  5676898 |     1479   9672 |        0 |        0
1063.09/1063.51	c 1063s |      25 |  6578791 |  5686698 |     1479   9685 |        0 |        0
1065.09/1065.51	c 1065s |      25 |  6590427 |  5696698 |     1479   9698 |        0 |        0
1067.10/1067.51	c 1067s |      25 |  6602018 |  5706698 |     1479   9711 |        0 |        0
1069.10/1069.51	c 1069s |      25 |  6614158 |  5716998 |     1479   9724 |        0 |        0
1071.10/1071.53	c 1071s |      25 |  6626275 |  5727098 |     1479   9737 |        0 |        0
1073.10/1073.53	c 1073s |      25 |  6637919 |  5736998 |     1479   9750 |        0 |        0
1075.10/1075.55	c 1075s |      25 |  6649809 |  5747198 |     1479   9764 |        0 |        0
1077.10/1077.56	c 1077s |      25 |  6662252 |  5757498 |     1479   9777 |        0 |        0
1079.10/1079.57	c 1079s |      25 |  6674424 |  5767698 |     1479   9790 |        0 |        0
1081.09/1081.57	c 1081s |      25 |  6686277 |  5777698 |     1479   9804 |        0 |        0
1083.10/1083.59	c 1083s |      25 |  6698495 |  5787798 |     1479   9817 |        0 |        0
1085.09/1085.59	c 1085s |      25 |  6710701 |  5798198 |     1479   9830 |        0 |        0
1087.19/1087.61	c 1087s |      25 |  6722838 |  5808498 |     1479   9844 |        0 |        0
1089.19/1089.62	c 1089s |      25 |  6733857 |  5818298 |     1479   9857 |        0 |        0
1091.19/1091.63	c 1091s |      25 |  6745014 |  5827998 |     1479   9869 |        0 |        0
1093.19/1093.64	c 1093s |      25 |  6756457 |  5837798 |     1479   9882 |        0 |        0
1095.20/1095.65	c 1095s |      25 |  6767858 |  5847698 |     1479   9895 |        0 |        0
1097.19/1097.66	c 1097s |      25 |  6779023 |  5857498 |     1479   9908 |        0 |        0
1099.19/1099.66	c 1099s |      25 |  6791206 |  5867698 |     1479   9921 |        0 |        0
1101.19/1101.67	c 1101s |      25 |  6802670 |  5877598 |     1479   9934 |        0 |        0
1103.19/1103.69	c 1103s |      25 |  6813290 |  5886998 |     1479   9946 |        0 |        0
1105.29/1105.70	c 1105s |      25 |  6823861 |  5896398 |     1479   9959 |        0 |        0
1107.19/1107.70	c 1107s |      25 |  6834240 |  5905698 |     1479   9971 |        0 |        0
1109.29/1109.72	c 1109s |      25 |  6845311 |  5915398 |     1479   9983 |        0 |        0
1111.29/1111.72	c 1111s |      25 |  6856741 |  5925298 |     1479   9996 |        0 |        0
1113.29/1113.74	c 1113s |      25 |  6868719 |  5935398 |     1479  10010 |        0 |        0
1115.29/1115.75	c 1115s |      25 |  6879751 |  5944998 |     1479  10022 |        0 |        0
1117.29/1117.77	c 1117s |      25 |  6890535 |  5954398 |     1479  10034 |        0 |        0
1119.28/1119.78	c 1119s |      25 |  6901386 |  5963998 |     1479  10047 |        0 |        0
1121.28/1121.78	c 1121s |      25 |  6912486 |  5973798 |     1479  10060 |        0 |        0
1123.28/1123.79	c 1123s |      25 |  6923765 |  5983598 |     1479  10072 |        0 |        0
1125.38/1125.81	c 1125s |      25 |  6935980 |  5993998 |     1479  10086 |        0 |        0
1127.39/1127.81	c 1127s |      25 |  6946765 |  6003598 |     1479  10098 |        0 |        0
1129.40/1129.81	c 1129s |      25 |  6958026 |  6013398 |     1479  10111 |        0 |        0
1131.39/1131.82	c 1131s |      25 |  6969648 |  6023198 |     1479  10124 |        0 |        0
1133.39/1133.84	c 1133s |      25 |  6981698 |  6033398 |     1479  10137 |        0 |        0
1135.39/1135.84	c 1135s |      25 |  6993490 |  6043398 |     1479  10151 |        0 |        0
1137.39/1137.84	c 1137s |      25 |  7004547 |  6052998 |     1479  10163 |        0 |        0
1139.39/1139.86	c 1139s |      25 |  7016155 |  6062998 |     1479  10176 |        0 |        0
1141.39/1141.87	c 1141s |      25 |  7027838 |  6073098 |     1479  10189 |        0 |        0
1143.39/1143.88	c 1143s |      25 |  7039417 |  6083198 |     1479  10203 |        0 |        0
1145.39/1145.89	c 1145s |      25 |  7051477 |  6093398 |     1479  10216 |        0 |        0
1147.49/1147.91	c 1147s |      25 |  7062295 |  6102998 |     1479  10228 |        0 |        0
1149.48/1149.93	c 1149s |      25 |  7073280 |  6112498 |     1479  10241 |        0 |        0
1151.48/1151.93	c 1151s |      25 |  7084864 |  6122498 |     1479  10254 |        0 |        0
1153.49/1153.94	c 1153s |      25 |  7097736 |  6132998 |     1479  10268 |        0 |        0
1155.48/1155.95	c 1155s |      25 |  7110575 |  6143798 |     1479  10282 |        0 |        0
1157.48/1157.96	c 1157s |      25 |  7123541 |  6154498 |     1479  10296 |        0 |        0
1159.48/1159.98	c 1159s |      25 |  7136400 |  6165098 |     1479  10310 |        0 |        0
1161.48/1162.00	c 1161s |      25 |  7149366 |  6175598 |     1479  10323 |        0 |        0
1163.58/1164.01	c 1163s |      25 |  7162278 |  6185998 |     1479  10337 |        0 |        0
1165.59/1166.03	c 1166s |      25 |  7175847 |  6196798 |     1479  10351 |        0 |        0
1167.58/1168.04	c 1168s |      25 |  7187509 |  6206698 |     1479  10364 |        0 |        0
1169.58/1170.05	c 1170s |      25 |  7198288 |  6216198 |     1479  10377 |        0 |        0
1171.58/1172.05	c 1172s |      25 |  7209881 |  6226098 |     1479  10390 |        0 |        0
1173.58/1174.07	c 1174s |      25 |  7223297 |  6236798 |     1479  10404 |        0 |        0
1175.58/1176.09	c 1176s |      25 |  7236722 |  6247498 |     1479  10418 |        0 |        0
1177.58/1178.10	c 1178s |      25 |  7248826 |  6257598 |     1479  10431 |        0 |        0
1179.68/1180.10	c 1180s |      25 |  7260663 |  6267598 |     1479  10444 |        0 |        0
1181.68/1182.11	c 1182s |      25 |  7272795 |  6277698 |     1479  10457 |        0 |        0
1183.68/1184.12	c 1184s |      25 |  7284618 |  6287798 |     1479  10470 |        0 |        0
1185.68/1186.12	c 1186s |      25 |  7296487 |  6297998 |     1479  10484 |        0 |        0
1187.68/1188.14	c 1188s |      25 |  7307866 |  6307898 |     1479  10497 |        0 |        0
1189.68/1190.14	c 1190s |      25 |  7318889 |  6317498 |     1479  10509 |        0 |        0
1191.67/1192.16	c 1192s |      25 |  7330292 |  6327298 |     1479  10522 |        0 |        0
1193.67/1194.17	c 1194s |      25 |  7341352 |  6336898 |     1479  10535 |        0 |        0
1195.67/1196.18	c 1196s |      25 |  7353215 |  6346898 |     1479  10548 |        0 |        0
1197.67/1198.19	c 1198s |      25 |  7364593 |  6356598 |     1479  10560 |        0 |        0
1199.68/1200.20	c 1200s |      25 |  7376574 |  6366598 |     1479  10573 |        0 |        0
1201.77/1202.22	c 1202s |      25 |  7389106 |  6376898 |     1479  10587 |        0 |        0
1203.77/1204.22	c 1204s |      25 |  7400861 |  6386798 |     1479  10600 |        0 |        0
1205.77/1206.23	c 1206s |      25 |  7412945 |  6396698 |     1479  10613 |        0 |        0
1207.77/1208.24	c 1208s |      25 |  7424241 |  6406498 |     1479  10625 |        0 |        0
1209.77/1210.25	c 1210s |      25 |  7436003 |  6416498 |     1479  10639 |        0 |        0
1211.78/1212.26	c 1212s |      25 |  7448451 |  6426598 |     1479  10652 |        0 |        0
1213.77/1214.28	c 1214s |      25 |  7460650 |  6436598 |     1479  10665 |        0 |        0
1215.87/1216.30	c 1216s |      25 |  7471905 |  6446298 |     1479  10678 |        0 |        0
1217.87/1218.32	c 1218s |      25 |  7483275 |  6456198 |     1479  10690 |        0 |        0
1219.87/1220.32	c 1220s |      25 |  7494598 |  6465998 |     1479  10703 |        0 |        0
1221.87/1222.33	c 1222s |      25 |  7505325 |  6475598 |     1479  10716 |        0 |        0
1223.87/1224.35	c 1224s |      25 |  7515907 |  6485098 |     1479  10728 |        0 |        0
1225.87/1226.35	c 1226s |      25 |  7527177 |  6494898 |     1479  10741 |        0 |        0
1227.87/1228.37	c 1228s |      25 |  7537702 |  6504098 |     1479  10753 |        0 |        0
1229.87/1230.38	c 1230s |      25 |  7548798 |  6513798 |     1479  10765 |        0 |        0
1231.87/1232.38	c 1232s |      25 |  7560960 |  6524098 |     1479  10779 |        0 |        0
1233.88/1234.38	c 1234s |      25 |  7573231 |  6534498 |     1479  10792 |        0 |        0
1235.87/1236.40	c 1236s |      25 |  7586452 |  6545398 |     1479  10807 |        0 |        0
1237.97/1238.41	c 1238s |      25 |  7598540 |  6555598 |     1479  10820 |        0 |        0
1239.97/1240.42	c 1240s |      25 |  7612050 |  6566598 |     1479  10834 |        0 |        0
1241.97/1242.44	c 1242s |      25 |  7624978 |  6577398 |     1479  10849 |        0 |        0
1243.97/1244.46	c 1244s |      25 |  7636260 |  6587198 |     1479  10861 |        0 |        0
1245.98/1246.46	c 1246s |      25 |  7648372 |  6597598 |     1479  10875 |        0 |        0
1247.97/1248.47	c 1248s |      25 |  7661286 |  6608198 |     1479  10889 |        0 |        0
1249.97/1250.48	c 1250s |      25 |  7672957 |  6618198 |     1479  10902 |        0 |        0
1251.97/1252.49	c 1252s |      25 |  7684202 |  6627998 |     1479  10915 |        0 |        0
1254.07/1254.51	c 1254s |      25 |  7696715 |  6638298 |     1479  10928 |        0 |        0
1256.07/1256.51	c 1256s |      25 |  7708242 |  6648198 |     1479  10941 |        0 |        0
1258.07/1258.52	c 1258s |      25 |  7718895 |  6657598 |     1479  10953 |        0 |        0
1260.07/1260.53	c 1260s |      25 |  7730233 |  6667298 |     1479  10966 |        0 |        0
1262.07/1262.54	c 1262s |      25 |  7741699 |  6677198 |     1479  10979 |        0 |        0
1264.07/1264.57	c 1264s |      25 |  7753021 |  6686898 |     1479  10992 |        0 |        0
1266.07/1266.58	c 1266s |      25 |  7764298 |  6696698 |     1479  11004 |        0 |        0
1268.07/1268.58	c 1268s |      25 |  7775107 |  6706198 |     1479  11017 |        0 |        0
1270.07/1270.60	c 1270s |      25 |  7785979 |  6715698 |     1479  11029 |        0 |        0
1272.16/1272.61	c 1272s |      25 |  7797208 |  6725298 |     1479  11042 |        0 |        0
1274.16/1274.61	c 1274s |      25 |  7807823 |  6734598 |     1479  11054 |        0 |        0
1276.16/1276.62	c 1276s |      25 |  7819478 |  6744398 |     1479  11067 |        0 |        0
1278.16/1278.64	c 1278s |      25 |  7830463 |  6753998 |     1479  11079 |        0 |        0
1280.16/1280.66	c 1280s |      25 |  7841235 |  6763598 |     1479  11092 |        0 |        0
1282.17/1282.66	c 1282s |      25 |  7853186 |  6773798 |     1479  11105 |        0 |        0
1284.16/1284.68	c 1284s |      25 |  7864567 |  6783798 |     1479  11118 |        0 |        0
1286.16/1286.68	c 1286s |      25 |  7875077 |  6793198 |     1479  11130 |        0 |        0
1288.16/1288.69	c 1288s |      25 |  7885869 |  6802598 |     1479  11143 |        0 |        0
1290.26/1290.71	c 1290s |      25 |  7897469 |  6812498 |     1479  11155 |        0 |        0
1292.26/1292.71	c 1292s |      25 |  7909272 |  6822598 |     1479  11169 |        0 |        0
1294.27/1294.72	c 1294s |      25 |  7920246 |  6832298 |     1479  11181 |        0 |        0
1296.26/1296.72	c 1296s |      25 |  7932174 |  6842398 |     1479  11195 |        0 |        0
1298.26/1298.73	c 1298s |      25 |  7943964 |  6852398 |     1479  11208 |        0 |        0
1300.26/1300.73	c 1300s |      25 |  7956181 |  6862598 |     1479  11221 |        0 |        0
1302.26/1302.74	c 1302s |      25 |  7967562 |  6872598 |     1479  11234 |        0 |        0
1304.27/1304.75	c 1304s |      25 |  7979052 |  6882398 |     1479  11247 |        0 |        0
1306.26/1306.75	c 1306s |      25 |  7990301 |  6892198 |     1479  11259 |        0 |        0
1308.26/1308.77	c 1308s |      25 |  8000873 |  6901498 |     1479  11272 |        0 |        0
1310.26/1310.78	c 1310s |      25 |  8010661 |  6910498 |     1479  11283 |        0 |        0
1312.26/1312.79	c 1312s |      25 |  8021506 |  6919998 |     1479  11296 |        0 |        0
1314.36/1314.80	c 1314s |      25 |  8032755 |  6929698 |     1479  11308 |        0 |        0
1316.36/1316.80	c 1316s |      25 |  8044714 |  6939898 |     1479  11322 |        0 |        0
1318.35/1318.82	c 1318s |      25 |  8055799 |  6949498 |     1479  11334 |        0 |        0
1320.35/1320.82	c 1320s |      25 |  8066504 |  6958698 |     1479  11346 |        0 |        0
1322.35/1322.83	c 1322s |      25 |  8077442 |  6968098 |     1479  11359 |        0 |        0
1324.35/1324.84	c 1324s |      25 |  8088425 |  6977498 |     1479  11371 |        0 |        0
1326.35/1326.84	c 1326s |      25 |  8099939 |  6987398 |     1479  11384 |        0 |        0
1328.36/1328.85	c 1328s |      25 |  8111255 |  6997398 |     1479  11397 |        0 |        0
1330.35/1330.86	c 1330s |      25 |  8121503 |  7006598 |     1479  11409 |        0 |        0
1332.35/1332.88	c 1332s |      25 |  8133118 |  7016498 |     1479  11422 |        0 |        0
1334.35/1334.88	c 1334s |      25 |  8145558 |  7026698 |     1479  11435 |        0 |        0
1336.35/1336.89	c 1336s |      25 |  8157487 |  7036598 |     1479  11448 |        0 |        0
1338.36/1338.89	c 1338s |      25 |  8169076 |  7046498 |     1479  11461 |        0 |        0
1340.46/1340.91	c 1340s |      25 |  8180541 |  7056298 |     1479  11474 |        0 |        0
1342.45/1342.91	c 1342s |      25 |  8192514 |  7066298 |     1479  11487 |        0 |        0
1344.45/1344.93	c 1344s |      25 |  8205628 |  7077198 |     1479  11501 |        0 |        0
1346.45/1346.93	c 1346s |      25 |  8218261 |  7087798 |     1479  11515 |        0 |        0
1348.45/1348.94	c 1348s |      25 |  8231057 |  7098398 |     1479  11529 |        0 |        0
1350.46/1350.95	c 1350s |      25 |  8243433 |  7108798 |     1479  11542 |        0 |        0
1352.45/1352.97	c 1352s |      25 |  8256897 |  7119498 |     1479  11556 |        0 |        0
1354.45/1354.97	c 1354s |      25 |  8269512 |  7129898 |     1479  11570 |        0 |        0
1356.45/1356.97	c 1356s |      25 |  8282456 |  7140498 |     1479  11584 |        0 |        0
1358.45/1358.97	c 1358s |      25 |  8295250 |  7150998 |     1479  11598 |        0 |        0
1360.45/1360.99	c 1360s |      25 |  8309532 |  7162198 |     1479  11612 |        0 |        0
1362.45/1363.00	c 1362s |      25 |  8323150 |  7173198 |     1479  11627 |        0 |        0
1364.55/1365.00	c 1364s |      25 |  8336628 |  7184098 |     1479  11641 |        0 |        0
1366.55/1367.02	c 1367s |      25 |  8350490 |  7195198 |     1479  11655 |        0 |        0
1368.55/1369.04	c 1369s |      25 |  8363519 |  7205898 |     1479  11669 |        0 |        0
1370.55/1371.06	c 1371s |      25 |  8376315 |  7216598 |     1479  11683 |        0 |        0
1372.55/1373.08	c 1373s |      25 |  8388036 |  7226698 |     1479  11697 |        0 |        0
1374.56/1375.10	c 1375s |      25 |  8400190 |  7237198 |     1479  11710 |        0 |        0
1376.65/1377.11	c 1377s |      25 |  8412440 |  7247598 |     1479  11724 |        0 |        0
1378.65/1379.12	c 1379s |      25 |  8424621 |  7257998 |     1479  11737 |        0 |        0
1380.65/1381.13	c 1381s |      25 |  8435906 |  7267998 |     1479  11751 |        0 |        0
1382.65/1383.13	c 1383s |      25 |  8447412 |  7278198 |     1479  11764 |        0 |        0
1384.65/1385.14	c 1385s |      25 |  8458543 |  7288098 |     1479  11777 |        0 |        0
1386.66/1387.14	c 1387s |      25 |  8469799 |  7298098 |     1479  11790 |        0 |        0
1388.65/1389.15	c 1389s |      25 |  8481169 |  7308098 |     1479  11803 |        0 |        0
1390.65/1391.16	c 1391s |      25 |  8492931 |  7318298 |     1479  11816 |        0 |        0
1392.65/1393.18	c 1393s |      25 |  8503762 |  7328098 |     1479  11829 |        0 |        0
1394.65/1395.19	c 1395s |      25 |  8515111 |  7338098 |     1479  11843 |        0 |        0
1396.65/1397.19	c 1397s |      25 |  8526651 |  7348198 |     1479  11856 |        0 |        0
1398.65/1399.19	c 1399s |      25 |  8538206 |  7358298 |     1479  11869 |        0 |        0
1400.75/1401.20	c 1401s |      25 |  8548803 |  7367898 |     1479  11882 |        0 |        0
1402.75/1403.21	c 1403s |      25 |  8559729 |  7377698 |     1479  11894 |        0 |        0
1404.75/1405.22	c 1405s |      25 |  8571105 |  7387698 |     1479  11907 |        0 |        0
1406.75/1407.23	c 1407s |      25 |  8581723 |  7397298 |     1479  11920 |        0 |        0
1408.75/1409.24	c 1409s |      25 |  8593329 |  7407398 |     1479  11933 |        0 |        0
1410.74/1411.25	c 1411s |      25 |  8604335 |  7417198 |     1479  11946 |        0 |        0
1412.74/1413.25	c 1413s |      25 |  8614799 |  7426698 |     1479  11958 |        0 |        0
1414.74/1415.27	c 1415s |      25 |  8625788 |  7436598 |     1479  11971 |        0 |        0
1416.74/1417.27	c 1417s |      25 |  8636738 |  7446298 |     1479  11984 |        0 |        0
1418.74/1419.28	c 1419s |      25 |  8647949 |  7456198 |     1479  11997 |        0 |        0
1420.75/1421.30	c 1421s |      25 |  8659409 |  7466298 |     1479  12010 |        0 |        0
1422.84/1423.30	c 1423s |      25 |  8670735 |  7476198 |     1479  12023 |        0 |        0
1424.84/1425.33	c 1425s |      25 |  8681461 |  7485798 |     1479  12036 |        0 |        0
1426.84/1427.34	c 1427s |      25 |  8692317 |  7495498 |     1479  12048 |        0 |        0
1428.84/1429.34	c 1429s |      25 |  8703093 |  7505098 |     1479  12061 |        0 |        0
1430.84/1431.36	c 1431s |      25 |  8713758 |  7514698 |     1479  12073 |        0 |        0
1432.85/1433.38	c 1433s |      25 |  8725337 |  7524798 |     1479  12087 |        0 |        0
1434.84/1435.39	c 1435s |      25 |  8736148 |  7534498 |     1479  12099 |        0 |        0
1436.94/1437.41	c 1437s |      25 |  8746686 |  7543998 |     1627  12112 |        0 |        0
1438.94/1439.42	c 1439s |      25 |  8757309 |  7553498 |     1627  12123 |        0 |        0
1440.94/1441.44	c 1441s |      25 |  8767874 |  7562898 |     1627  12134 |        0 |        0
1442.94/1443.45	c 1443s |      25 |  8778824 |  7572498 |     1627  12146 |        0 |        0
1444.94/1445.45	c 1445s |      25 |  8789636 |  7582098 |     1627  12158 |        0 |        0
1446.94/1447.46	c 1447s |      25 |  8799933 |  7591398 |     1627  12169 |        0 |        0
1448.24/1448.80	c 1448s |      26 |  8807077 |  7597752 |     1627  12176 |        0 |        0
1450.34/1450.80	c 1450s |      26 |  8818368 |  7607552 |     1627  12188 |        0 |        0
1452.34/1452.81	c 1452s |      26 |  8829650 |  7617452 |     1627  12200 |        0 |        0
1454.33/1454.82	c 1454s |      26 |  8840731 |  7627152 |     1627  12211 |        0 |        0
1456.33/1456.83	c 1456s |      26 |  8852466 |  7636952 |     1627  12223 |        0 |        0
1458.33/1458.84	c 1458s |      26 |  8863306 |  7646452 |     1627  12234 |        0 |        0
1460.34/1460.85	c 1460s |      26 |  8875050 |  7656452 |     1627  12246 |        0 |        0
1462.33/1462.86	c 1462s |      26 |  8887416 |  7666852 |     1627  12258 |        0 |        0
1464.33/1464.87	c 1464s |      26 |  8899148 |  7676952 |     1627  12270 |        0 |        0
1466.33/1466.87	c 1466s |      26 |  8909989 |  7686452 |     1627  12282 |        0 |        0
1468.33/1468.88	c 1468s |      26 |  8921155 |  7696152 |     1627  12293 |        0 |        0
1470.34/1470.89	c 1470s |      26 |  8932566 |  7706052 |     1627  12305 |        0 |        0
1472.34/1472.89	c 1472s |      26 |  8944297 |  7716052 |     1627  12317 |        0 |        0
1474.44/1474.90	c 1474s |      26 |  8955800 |  7725952 |     1627  12329 |        0 |        0
1476.44/1476.92	c 1476s |      26 |  8967210 |  7735852 |     1627  12341 |        0 |        0
1478.44/1478.93	c 1478s |      26 |  8978833 |  7745852 |     1627  12353 |        0 |        0
1480.44/1480.94	c 1480s |      26 |  8990611 |  7755952 |     1627  12365 |        0 |        0
1482.44/1482.97	c 1482s |      26 |  9002054 |  7765852 |     1627  12377 |        0 |        0
1484.43/1484.97	c 1484s |      26 |  9013565 |  7775852 |     1627  12388 |        0 |        0
1486.43/1486.99	c 1486s |      26 |  9027134 |  7786752 |     1627  12401 |        0 |        0
1488.43/1488.99	c 1488s |      26 |  9040811 |  7797752 |     1627  12415 |        0 |        0
1490.53/1491.00	c 1490s |      26 |  9053887 |  7808652 |     1627  12428 |        0 |        0
1492.53/1493.01	c 1492s |      26 |  9066882 |  7819452 |     1627  12440 |        0 |        0
1494.54/1495.03	c 1495s |      26 |  9078933 |  7829652 |     1627  12452 |        0 |        0
1496.53/1497.04	c 1497s |      26 |  9090304 |  7839652 |     1627  12464 |        0 |        0
1498.53/1499.05	c 1499s |      26 |  9101646 |  7849452 |     1627  12476 |        0 |        0
1500.53/1501.07	c 1501s |      26 |  9113098 |  7859352 |     1627  12488 |        0 |        0
1502.53/1503.08	c 1503s |      26 |  9125613 |  7869652 |     1627  12500 |        0 |        0
1504.53/1505.09	c 1505s |      26 |  9137463 |  7879752 |     1627  12512 |        0 |        0
1506.64/1507.10	c 1507s |      26 |  9149663 |  7889952 |     1627  12524 |        0 |        0
1508.63/1509.12	c 1509s |      26 |  9161242 |  7899952 |     1627  12536 |        0 |        0
1510.63/1511.13	c 1511s |      26 |  9173523 |  7910252 |     1627  12549 |        0 |        0
1512.63/1513.14	c 1513s |      26 |  9185590 |  7920552 |     1627  12561 |        0 |        0
1514.63/1515.15	c 1515s |      26 |  9198134 |  7930952 |     1627  12573 |        0 |        0
1516.63/1517.16	c 1517s |      26 |  9210863 |  7941552 |     1627  12586 |        0 |        0
1518.63/1519.16	c 1519s |      26 |  9222987 |  7951752 |     1627  12598 |        0 |        0
1520.62/1521.17	c 1521s |      26 |  9235651 |  7962352 |     1627  12611 |        0 |        0
1522.62/1523.18	c 1523s |      26 |  9247282 |  7972552 |     1627  12623 |        0 |        0
1524.72/1525.20	c 1525s |      26 |  9259855 |  7983052 |     1627  12635 |        0 |        0
1526.72/1527.22	c 1527s |      26 |  9271719 |  7992952 |     1627  12647 |        0 |        0
1528.72/1529.23	c 1529s |      26 |  9283653 |  8003052 |     1627  12659 |        0 |        0
1530.73/1531.24	c 1531s |      26 |  9295868 |  8013252 |     1627  12671 |        0 |        0
1532.72/1533.25	c 1533s |      26 |  9307700 |  8023252 |     1627  12683 |        0 |        0
1534.72/1535.25	c 1535s |      26 |  9320583 |  8033752 |     1627  12696 |        0 |        0
1536.72/1537.26	c 1537s |      26 |  9333247 |  8044252 |     1627  12708 |        0 |        0
1538.72/1539.26	c 1539s |      26 |  9346113 |  8054952 |     1627  12721 |        0 |        0
1540.73/1541.26	c 1541s |      26 |  9358197 |  8065252 |     1627  12733 |        0 |        0
1542.72/1543.27	c 1543s |      26 |  9370282 |  8075652 |     1627  12746 |        0 |        0
1544.72/1545.27	c 1545s |      26 |  9382109 |  8085752 |     1627  12758 |        0 |        0
1546.72/1547.29	c 1547s |      26 |  9394795 |  8096052 |     1627  12770 |        0 |        0
1548.82/1549.30	c 1549s |      26 |  9407577 |  8106452 |     1627  12782 |        0 |        0
1550.82/1551.31	c 1551s |      26 |  9419722 |  8116352 |     1627  12794 |        0 |        0
1552.83/1553.32	c 1553s |      26 |  9433231 |  8127152 |     1627  12807 |        0 |        0
1554.82/1555.33	c 1555s |      26 |  9445895 |  8137652 |     1627  12820 |        0 |        0
1556.82/1557.33	c 1557s |      26 |  9458362 |  8147952 |     1627  12832 |        0 |        0
1558.82/1559.33	c 1559s |      26 |  9470937 |  8158252 |     1627  12844 |        0 |        0
1560.82/1561.34	c 1561s |      26 |  9483467 |  8168752 |     1627  12857 |        0 |        0
1562.82/1563.35	c 1563s |      26 |  9495790 |  8178752 |     1627  12869 |        0 |        0
1564.82/1565.35	c 1565s |      26 |  9508396 |  8189252 |     1627  12881 |        0 |        0
1566.81/1567.36	c 1567s |      26 |  9520993 |  8199652 |     1627  12894 |        0 |        0
1568.81/1569.36	c 1569s |      26 |  9534008 |  8210052 |     1627  12906 |        0 |        0
1570.81/1571.37	c 1571s |      26 |  9547283 |  8220552 |     1627  12919 |        0 |        0
1572.82/1573.39	c 1573s |      26 |  9559805 |  8230752 |     1627  12931 |        0 |        0
1574.92/1575.41	c 1575s |      26 |  9572397 |  8241352 |     1627  12943 |        0 |        0
1576.93/1577.42	c 1577s |      26 |  9585982 |  8252452 |     1627  12957 |        0 |        0
1578.92/1579.43	c 1579s |      26 |  9599142 |  8263152 |     1627  12969 |        0 |        0
1580.92/1581.44	c 1581s |      26 |  9611088 |  8273252 |     1627  12981 |        0 |        0
1582.92/1583.45	c 1583s |      26 |  9624550 |  8283852 |     1627  12994 |        0 |        0
1584.92/1585.46	c 1585s |      26 |  9636750 |  8294052 |     1627  13006 |        0 |        0
1586.93/1587.47	c 1587s |      26 |  9649233 |  8304352 |     1627  13019 |        0 |        0
1588.92/1589.47	c 1589s |      26 |  9661515 |  8314552 |     1627  13031 |        0 |        0
1590.92/1591.48	c 1591s |      26 |  9674624 |  8325152 |     1627  13043 |        0 |        0
1592.92/1593.48	c 1593s |      26 |  9689212 |  8336252 |     1627  13057 |        0 |        0
1594.92/1595.49	c 1595s |      26 |  9702619 |  8347052 |     1627  13070 |        0 |        0
1597.02/1597.50	c 1597s |      26 |  9714497 |  8357252 |     1627  13082 |        0 |        0
1599.02/1599.52	c 1599s |      26 |  9725326 |  8366952 |     1627  13093 |        0 |        0
1601.02/1601.52	c 1601s |      26 |  9736226 |  8376652 |     1627  13105 |        0 |        0
1603.01/1603.52	c 1603s |      26 |  9748903 |  8386952 |     1627  13117 |        0 |        0
1605.01/1605.54	c 1605s |      26 |  9762424 |  8397952 |     1627  13131 |        0 |        0
1607.01/1607.55	c 1607s |      26 |  9775335 |  8408652 |     1627  13143 |        0 |        0
1609.01/1609.55	c 1609s |      26 |  9788433 |  8419452 |     1627  13156 |        0 |        0
1611.02/1611.57	c 1611s |      26 |  9800377 |  8429552 |     1627  13168 |        0 |        0
1613.01/1613.58	c 1613s |      26 |  9813040 |  8439952 |     1627  13181 |        0 |        0
1615.01/1615.58	c 1615s |      26 |  9825440 |  8450252 |     1627  13193 |        0 |        0
1617.01/1617.59	c 1617s |      26 |  9837293 |  8460452 |     1627  13205 |        0 |        0
1619.01/1619.59	c 1619s |      26 |  9849957 |  8471052 |     1627  13218 |        0 |        0
1621.11/1621.60	c 1621s |      26 |  9861717 |  8481052 |     1627  13230 |        0 |        0
1623.12/1623.62	c 1623s |      26 |  9873805 |  8491352 |     1627  13242 |        0 |        0
1625.11/1625.63	c 1625s |      26 |  9885242 |  8501352 |     1627  13254 |        0 |        0
1627.11/1627.64	c 1627s |      26 |  9896550 |  8511352 |     1627  13266 |        0 |        0
1629.11/1629.64	c 1629s |      26 |  9908656 |  8521552 |     1627  13278 |        0 |        0
1631.11/1631.64	c 1631s |      26 |  9921028 |  8531952 |     1627  13290 |        0 |        0
1633.11/1633.66	c 1633s |      26 |  9932928 |  8542152 |     1627  13302 |        0 |        0
1635.11/1635.68	c 1635s |      26 |  9944567 |  8552052 |     1627  13314 |        0 |        0
1637.11/1637.69	c 1637s |      26 |  9957098 |  8562552 |     1627  13327 |        0 |        0
1639.10/1639.69	c 1639s |      26 |  9968834 |  8572652 |     1627  13339 |        0 |        0
1641.20/1641.70	c 1641s |      26 |  9980231 |  8582452 |     1627  13350 |        0 |        0
1643.20/1643.70	c 1643s |      26 |  9992141 |  8592552 |     1627  13362 |        0 |        0
1645.22/1645.71	c 1645s |      26 | 10003938 |  8602652 |     1627  13374 |        0 |        0
1647.21/1647.72	c 1647s |      26 | 10015856 |  8612652 |     1627  13386 |        0 |        0
1649.21/1649.73	c 1649s |      26 | 10027099 |  8622352 |     1627  13398 |        0 |        0
1651.21/1651.73	c 1651s |      26 | 10038863 |  8632352 |     1627  13410 |        0 |        0
1653.21/1653.74	c 1653s |      26 | 10050145 |  8642152 |     1627  13421 |        0 |        0
1655.21/1655.74	c 1655s |      26 | 10061964 |  8652352 |     1627  13433 |        0 |        0
1657.22/1657.75	c 1657s |      26 | 10074374 |  8662652 |     1627  13445 |        0 |        0
1659.21/1659.75	c 1659s |      26 | 10087608 |  8673452 |     1627  13458 |        0 |        0
1661.21/1661.77	c 1661s |      26 | 10099522 |  8683652 |     1627  13471 |        0 |        0
1663.21/1663.77	c 1663s |      26 | 10110719 |  8693452 |     1627  13482 |        0 |        0
1665.21/1665.78	c 1665s |      26 | 10123703 |  8704152 |     1627  13495 |        0 |        0
1667.21/1667.79	c 1667s |      26 | 10135686 |  8714352 |     1627  13507 |        0 |        0
1669.21/1669.79	c 1669s |      26 | 10147759 |  8724552 |     1627  13519 |        0 |        0
1671.31/1671.81	c 1671s |      26 | 10160300 |  8735052 |     1627  13532 |        0 |        0
1673.30/1673.81	c 1673s |      26 | 10172220 |  8745252 |     1627  13544 |        0 |        0
1675.30/1675.82	c 1675s |      26 | 10183889 |  8755252 |     1627  13556 |        0 |        0
1677.30/1677.83	c 1677s |      26 | 10196025 |  8765552 |     1627  13568 |        0 |        0
1679.31/1679.83	c 1679s |      26 | 10208268 |  8775952 |     1627  13580 |        0 |        0
1681.30/1681.85	c 1681s |      26 | 10219946 |  8785952 |     1627  13592 |        0 |        0
1683.30/1683.86	c 1683s |      26 | 10232217 |  8796352 |     1627  13605 |        0 |        0
1685.30/1685.86	c 1685s |      26 | 10244588 |  8806752 |     1627  13617 |        0 |        0
1687.30/1687.88	c 1687s |      26 | 10256997 |  8817152 |     1627  13630 |        0 |        0
1689.30/1689.89	c 1689s |      26 | 10268823 |  8827152 |     1627  13642 |        0 |        0
1691.31/1691.90	c 1691s |      26 | 10281026 |  8837352 |     1627  13654 |        0 |        0
1693.40/1693.91	c 1693s |      26 | 10293631 |  8847852 |     1627  13666 |        0 |        0
1695.40/1695.92	c 1695s |      26 | 10305965 |  8858252 |     1627  13679 |        0 |        0
1697.40/1697.93	c 1697s |      26 | 10317832 |  8868252 |     1627  13691 |        0 |        0
1699.40/1699.94	c 1699s |      26 | 10330295 |  8878752 |     1627  13703 |        0 |        0
1701.40/1701.95	c 1701s |      26 | 10342048 |  8888852 |     1627  13715 |        0 |        0
1703.40/1703.96	c 1703s |      26 | 10353795 |  8898852 |     1627  13727 |        0 |        0
1705.40/1705.98	c 1705s |      26 | 10365695 |  8908952 |     1627  13739 |        0 |        0
1707.40/1707.99	c 1707s |      26 | 10378934 |  8919552 |     1627  13752 |        0 |        0
1709.50/1710.01	c 1709s |      26 | 10389969 |  8929252 |     1627  13763 |        0 |        0
1711.49/1712.01	c 1711s |      26 | 10401877 |  8939252 |     1627  13775 |        0 |        0
1713.49/1714.02	c 1714s |      26 | 10413929 |  8949352 |     1627  13787 |        0 |        0
1715.50/1716.03	c 1716s |      26 | 10427099 |  8959852 |     1627  13800 |        0 |        0
1717.49/1718.05	c 1718s |      26 | 10439572 |  8970052 |     1627  13812 |        0 |        0
1719.49/1720.05	c 1720s |      26 | 10451862 |  8980352 |     1627  13824 |        0 |        0
1721.50/1722.06	c 1722s |      26 | 10464192 |  8990452 |     1627  13836 |        0 |        0
1723.50/1724.08	c 1724s |      26 | 10475682 |  9000252 |     1627  13848 |        0 |        0
1725.51/1726.08	c 1726s |      26 | 10488190 |  9010752 |     1627  13860 |        0 |        0
1727.50/1728.10	c 1728s |      26 | 10500596 |  9020952 |     1627  13873 |        0 |        0
1729.60/1730.10	c 1730s |      26 | 10512176 |  9030752 |     1627  13884 |        0 |        0
1731.60/1732.12	c 1732s |      26 | 10524384 |  9040952 |     1627  13896 |        0 |        0
1733.60/1734.13	c 1734s |      26 | 10537315 |  9051552 |     1627  13909 |        0 |        0
1735.60/1736.13	c 1736s |      26 | 10549898 |  9061852 |     1627  13922 |        0 |        0
1737.60/1738.14	c 1738s |      26 | 10562409 |  9072252 |     1627  13934 |        0 |        0
1739.60/1740.16	c 1740s |      26 | 10575087 |  9082752 |     1627  13947 |        0 |        0
1741.60/1742.17	c 1742s |      26 | 10586918 |  9092952 |     1627  13959 |        0 |        0
1743.60/1744.18	c 1744s |      26 | 10599694 |  9103452 |     1627  13971 |        0 |        0
1745.60/1746.19	c 1746s |      26 | 10613325 |  9114352 |     1627  13984 |        0 |        0
1747.60/1748.19	c 1748s |      26 | 10625894 |  9124752 |     1627  13997 |        0 |        0
1749.70/1750.20	c 1750s |      26 | 10638150 |  9135052 |     1627  14009 |        0 |        0
1751.69/1752.21	c 1752s |      26 | 10650877 |  9145552 |     1627  14021 |        0 |        0
1753.69/1754.22	c 1754s |      26 | 10661713 |  9155152 |     1627  14033 |        0 |        0
1755.69/1756.23	c 1756s |      26 | 10673914 |  9165452 |     1627  14045 |        0 |        0
1757.69/1758.24	c 1758s |      26 | 10685250 |  9175252 |     1627  14057 |        0 |        0
1759.69/1760.24	c 1760s |      26 | 10698038 |  9185752 |     1627  14069 |        0 |        0
1761.70/1762.26	c 1762s |      26 | 10710326 |  9196152 |     1627  14082 |        0 |        0
1763.69/1764.28	c 1764s |      26 | 10723080 |  9206652 |     1627  14094 |        0 |        0
1765.79/1766.30	c 1766s |      26 | 10735787 |  9217052 |     1627  14107 |        0 |        0
1767.79/1768.32	c 1768s |      26 | 10747756 |  9227052 |     1627  14119 |        0 |        0
1769.79/1770.34	c 1770s |      26 | 10761173 |  9237952 |     1627  14132 |        0 |        0
1771.79/1772.35	c 1772s |      26 | 10773376 |  9248352 |     1627  14144 |        0 |        0
1773.80/1774.35	c 1774s |      26 | 10785630 |  9258852 |     1627  14156 |        0 |        0
1775.79/1776.37	c 1776s |      26 | 10799062 |  9269552 |     1627  14169 |        0 |        0
1777.79/1778.37	c 1778s |      26 | 10812059 |  9280052 |     1627  14182 |        0 |        0
1779.79/1780.38	c 1780s |      26 | 10824448 |  9290252 |     1627  14194 |        0 |        0
1781.79/1782.39	c 1782s |      26 | 10836533 |  9300252 |     1627  14206 |        0 |        0
1783.88/1784.40	c 1784s |      26 | 10849110 |  9310452 |     1627  14218 |        0 |        0
1785.89/1786.41	c 1786s |      26 | 10860232 |  9320152 |     1627  14229 |        0 |        0
1787.88/1788.42	c 1788s |      26 | 10871568 |  9329952 |     1627  14241 |        0 |        0
1789.88/1790.42	c 1790s |      26 | 10883975 |  9340452 |     1627  14254 |        0 |        0
1791.88/1792.44	c 1792s |      26 | 10896765 |  9351252 |     1627  14267 |        0 |        0
1793.88/1794.45	c 1794s |      26 | 10909789 |  9361952 |     1627  14279 |        0 |        0
1795.89/1796.46	c 1796s |      26 | 10922903 |  9372752 |     1627  14292 |        0 |        0
1797.88/1798.48	c 1798s |      26 | 10935992 |  9383452 |     1627  14305 |        0 |        0
1799.88/1800.48	c 1800s |      26 | 10948496 |  9393852 |     1627  14317 |        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-4089722-1466032456/watcher-4089722-1466032456 -o /tmp/evaluation-result-4089722-1466032456/solver-4089722-1466032456 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466019588-9688 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089722-1466032456.opb 

pid=11459
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.19 2.20 2.18 3/181 11462
/proc/meminfo: memFree=29292872/32872528 swapFree=1481856/1661728
[pid=11462] ppid=11459 vsize=591292 CPUtime=0 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 6232 0 -1 4202496 2184 0 0 0 0 0 0 0 20 0 4 0 5292004 605483008 2544 33554432000 4194304 16246674 140736035110048 140736035109472 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11462/statm: 148591 2552 441 2943 0 145485 0
[pid=11462/tid=11463] ppid=11459 vsize=608700 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5292004 623308800 2609 33554432000 4194304 16246674 140736035110048 140632615005424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=612796 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5292004 627503104 2627 33554432000 4194304 16246674 140736035110048 140632530070768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=616892 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5292004 631697408 2643 33554432000 4194304 16246674 140736035110048 140632519597232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100128 s]
/proc/loadavg: 2.19 2.20 2.18 3/181 11462
/proc/meminfo: memFree=29292872/32872528 swapFree=1481856/1661728
[pid=11462] ppid=11459 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 6232 0 -1 4202496 23087 0 0 0 6 3 0 0 20 0 4 0 5292004 1247350784 23436 33554432000 4194304 16246674 140736035110048 140736035109472 13191557 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11462/statm: 304529 23444 716 2943 0 301423 0
[pid=11462/tid=11463] ppid=11459 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5292004 1247350784 23455 33554432000 4194304 16246674 140736035110048 140632615005424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5292004 1247350784 23464 33554432000 4194304 16246674 140736035110048 140632530070768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5292004 1247350784 23469 33554432000 4194304 16246674 140736035110048 140632519597232 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.200476 s]
/proc/loadavg: 2.19 2.20 2.18 3/181 11462
/proc/meminfo: memFree=29292872/32872528 swapFree=1481856/1661728
[pid=11462] ppid=11459 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 6232 0 -1 4202496 44943 0 0 0 13 6 0 0 20 0 4 0 5292004 1247350784 45292 33554432000 4194304 16246674 140736035110048 140736035109472 6023439 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11462/statm: 304529 45303 716 2943 0 301423 0
[pid=11462/tid=11463] ppid=11459 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5292004 1247350784 45312 33554432000 4194304 16246674 140736035110048 140632615005424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5292004 1247350784 45318 33554432000 4194304 16246674 140736035110048 140632530070768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5292004 1247350784 45318 33554432000 4194304 16246674 140736035110048 140632519597232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300443 s]
/proc/loadavg: 2.19 2.20 2.18 3/181 11462
/proc/meminfo: memFree=29292872/32872528 swapFree=1481856/1661728
[pid=11462] ppid=11459 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 6232 0 -1 4202496 66561 0 0 0 19 9 0 0 20 0 4 0 5292004 1247350784 66910 33554432000 4194304 16246674 140736035110048 140736035109472 5545885 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11462/statm: 304529 66922 716 2943 0 301423 0
[pid=11462/tid=11463] ppid=11459 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5292004 1247350784 66929 33554432000 4194304 16246674 140736035110048 140632615005424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5292004 1247350784 66934 33554432000 4194304 16246674 140736035110048 140632530070768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5292004 1247350784 66939 33554432000 4194304 16246674 140736035110048 140632519597232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700401 s]
/proc/loadavg: 2.19 2.20 2.18 3/181 11462
/proc/meminfo: memFree=29292872/32872528 swapFree=1481856/1661728
[pid=11462] ppid=11459 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 6232 0 -1 4202496 156404 0 0 0 45 23 0 0 20 0 4 0 5292004 1247350784 156753 33554432000 4194304 16246674 140736035110048 140736035093048 5589077 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 304529 156769 716 2943 0 301423 0
[pid=11462/tid=11463] ppid=11459 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5292004 1247350784 156779 33554432000 4194304 16246674 140736035110048 140632615005424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5292004 1247350784 156789 33554432000 4194304 16246674 140736035110048 140632530070768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5292004 1247350784 156798 33554432000 4194304 16246674 140736035110048 140632519597232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.26 2.21 2.18 3/185 11466
/proc/meminfo: memFree=28310456/32872528 swapFree=1481856/1661728
[pid=11462] ppid=11459 vsize=1219140 CPUtime=1.48 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 6232 0 -1 4202496 245590 0 0 0 112 36 0 0 20 0 4 0 5292004 1248399360 245919 33554432000 4194304 16246674 140736035110048 140736035092816 13927423 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 304785 245919 792 2943 0 301679 0
[pid=11462/tid=11463] ppid=11459 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5292004 1248399360 245919 33554432000 4194304 16246674 140736035110048 140632615005424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5292004 1248399360 245919 33554432000 4194304 16246674 140736035110048 140632530070768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5292004 1248399360 245919 33554432000 4194304 16246674 140736035110048 140632519597232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1219140

[startup+3.10042 s]
/proc/loadavg: 2.26 2.21 2.18 3/185 11466
/proc/meminfo: memFree=28222904/32872528 swapFree=1481856/1661728
[pid=11462] ppid=11459 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 6232 0 -1 4202496 267424 0 0 0 269 39 0 0 20 0 4 0 5292004 1337528320 267753 33554432000 4194304 16246674 140736035110048 140736035091968 12478079 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 326545 267753 794 2943 0 323439 0
[pid=11462/tid=11463] ppid=11459 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5292004 1337528320 267753 33554432000 4194304 16246674 140736035110048 140632615005424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5292004 1337528320 267753 33554432000 4194304 16246674 140736035110048 140632530070768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5292004 1337528320 267753 33554432000 4194304 16246674 140736035110048 140632519597232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.26 2.21 2.18 3/185 11466
/proc/meminfo: memFree=28221800/32872528 swapFree=1481856/1661728
[pid=11462] ppid=11459 vsize=1306180 CPUtime=6.28 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 6232 0 -1 4202496 267455 0 0 0 589 39 0 0 20 0 4 0 5292004 1337528320 267784 33554432000 4194304 16246674 140736035110048 140736035093048 5717716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 326545 267784 794 2943 0 323439 0
[pid=11462/tid=11463] ppid=11459 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5292004 1337528320 267784 33554432000 4194304 16246674 140736035110048 140632615005424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5292004 1337528320 267784 33554432000 4194304 16246674 140736035110048 140632530070768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5292004 1337528320 267784 33554432000 4194304 16246674 140736035110048 140632519597232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.22 2.20 2.18 3/185 11466
/proc/meminfo: memFree=28221704/32872528 swapFree=1481856/1661728
[pid=11462] ppid=11459 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 6232 0 -1 4202496 267479 0 0 0 1229 39 0 0 20 0 4 0 5292004 1337528320 267808 33554432000 4194304 16246674 140736035110048 140736035091968 6021388 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 326545 267808 794 2943 0 323439 0
[pid=11462/tid=11463] ppid=11459 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5292004 1337528320 267808 33554432000 4194304 16246674 140736035110048 140632615005424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5292004 1337528320 267808 33554432000 4194304 16246674 140736035110048 140632530070768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5292004 1337528320 267808 33554432000 4194304 16246674 140736035110048 140632519597232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.18 2.20 2.18 4/185 11466
/proc/meminfo: memFree=28222196/32872528 swapFree=1481856/1661728
[pid=11462] ppid=11459 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 6232 0 -1 4202496 267481 0 0 0 2509 40 0 0 20 0 4 0 5292004 1337528320 267810 33554432000 4194304 16246674 140736035110048 140736035091968 12459993 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 326545 267810 794 2943 0 323439 0
[pid=11462/tid=11463] ppid=11459 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5292004 1337528320 267810 33554432000 4194304 16246674 140736035110048 140632615005424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5292004 1337528320 267810 33554432000 4194304 16246674 140736035110048 140632530070768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5292004 1337528320 267810 33554432000 4194304 16246674 140736035110048 140632519597232 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) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.16 2.19 2.18 3/185 11466
/proc/meminfo: memFree=28222052/32872528 swapFree=1481856/1661728
[pid=11462] ppid=11459 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 6232 0 -1 4202496 267519 0 0 0 5068 40 0 0 20 0 4 0 5292004 1337528320 267848 33554432000 4194304 16246674 140736035110048 140736035093048 13191512 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 326545 267848 794 2943 0 323439 0
[pid=11462/tid=11463] ppid=11459 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5292004 1337528320 267848 33554432000 4194304 16246674 140736035110048 140632615005424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5292004 1337528320 267848 33554432000 4194304 16246674 140736035110048 140632530070768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5292004 1337528320 267848 33554432000 4194304 16246674 140736035110048 140632519597232 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) 1306180

[startup+102.3 s]
/proc/loadavg: 2.18 2.19 2.18 3/185 11467
/proc/meminfo: memFree=28221824/32872528 swapFree=1481856/1661728
[pid=11462] ppid=11459 vsize=1306180 CPUtime=102.27 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 6232 0 -1 4202496 267519 0 0 0 10187 40 0 0 20 0 4 0 5292004 1337528320 267848 33554432000 4194304 16246674 140736035110048 140736035091968 5722816 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 326545 267848 794 2943 0 323439 0
[pid=11462/tid=11463] ppid=11459 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5292004 1337528320 267848 33554432000 4194304 16246674 140736035110048 140632615005424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5292004 1337528320 267848 33554432000 4194304 16246674 140736035110048 140632530070768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5292004 1337528320 267848 33554432000 4194304 16246674 140736035110048 140632519597232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1306180


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

/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5292004 1339625472 268475 33554432000 4194304 16246674 140736035110048 140632519597232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1308228

[startup+1302.3 s]
/proc/loadavg: 2.24 2.28 2.23 3/185 11547
/proc/meminfo: memFree=28224384/32872528 swapFree=1481856/1661728
[pid=11462] ppid=11459 vsize=1308228 CPUtime=1301.86 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 6232 0 -1 4202496 268311 0 0 0 130133 53 0 0 20 0 4 0 5292004 1339625472 268475 33554432000 4194304 16246674 140736035110048 140736035093048 5677829 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 327057 268475 796 2943 0 323951 0
[pid=11462/tid=11463] ppid=11459 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5292004 1339625472 268475 33554432000 4194304 16246674 140736035110048 140632615005424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5292004 1339625472 268475 33554432000 4194304 16246674 140736035110048 140632530070768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5292004 1339625472 268475 33554432000 4194304 16246674 140736035110048 140632519597232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1308228

[startup+1362.3 s]
/proc/loadavg: 2.13 2.24 2.22 3/185 11548
/proc/meminfo: memFree=28224096/32872528 swapFree=1481856/1661728
[pid=11462] ppid=11459 vsize=1308228 CPUtime=1361.85 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 6232 0 -1 4202496 268311 0 0 0 136132 53 0 0 20 0 4 0 5292004 1339625472 268475 33554432000 4194304 16246674 140736035110048 140736035091968 5823690 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 327057 268475 796 2943 0 323951 0
[pid=11462/tid=11463] ppid=11459 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5292004 1339625472 268475 33554432000 4194304 16246674 140736035110048 140632615005424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5292004 1339625472 268475 33554432000 4194304 16246674 140736035110048 140632530070768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5292004 1339625472 268475 33554432000 4194304 16246674 140736035110048 140632519597232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1308228

[startup+1422.3 s]
/proc/loadavg: 2.25 2.25 2.23 4/184 11549
/proc/meminfo: memFree=28224832/32872528 swapFree=1481856/1661728
[pid=11462] ppid=11459 vsize=1308228 CPUtime=1421.85 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 6232 0 -1 4202496 268311 0 0 0 142131 54 0 0 20 0 4 0 5292004 1339625472 268475 33554432000 4194304 16246674 140736035110048 140736035093048 12874957 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 327057 268475 796 2943 0 323951 0
[pid=11462/tid=11463] ppid=11459 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5292004 1339625472 268475 33554432000 4194304 16246674 140736035110048 140632615005424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5292004 1339625472 268475 33554432000 4194304 16246674 140736035110048 140632530070768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5292004 1339625472 268475 33554432000 4194304 16246674 140736035110048 140632519597232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1308228

[startup+1482.3 s]
/proc/loadavg: 2.29 2.25 2.22 3/185 11551
/proc/meminfo: memFree=28223280/32872528 swapFree=1481856/1661728
[pid=11462] ppid=11459 vsize=1308228 CPUtime=1481.83 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 6232 0 -1 4202496 268443 0 0 0 148128 55 0 0 20 0 4 0 5292004 1339625472 268607 33554432000 4194304 16246674 140736035110048 140736035091968 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 327057 268607 796 2943 0 323951 0
[pid=11462/tid=11463] ppid=11459 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5292004 1339625472 268607 33554432000 4194304 16246674 140736035110048 140632615005424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5292004 1339625472 268607 33554432000 4194304 16246674 140736035110048 140632530070768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5292004 1339625472 268607 33554432000 4194304 16246674 140736035110048 140632519597232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1308228

[startup+1542.31 s]
/proc/loadavg: 2.24 2.25 2.22 3/185 11552
/proc/meminfo: memFree=28223492/32872528 swapFree=1481856/1661728
[pid=11462] ppid=11459 vsize=1308228 CPUtime=1541.83 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 6232 0 -1 4202496 268443 0 0 0 154128 55 0 0 20 0 4 0 5292004 1339625472 268607 33554432000 4194304 16246674 140736035110048 140736035091968 5669177 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 327057 268607 796 2943 0 323951 0
[pid=11462/tid=11463] ppid=11459 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5292004 1339625472 268607 33554432000 4194304 16246674 140736035110048 140632615005424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5292004 1339625472 268607 33554432000 4194304 16246674 140736035110048 140632530070768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5292004 1339625472 268607 33554432000 4194304 16246674 140736035110048 140632519597232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1308228

[startup+1602.3 s]
/proc/loadavg: 2.20 2.23 2.22 4/186 11556
/proc/meminfo: memFree=28221680/32872528 swapFree=1481856/1661728
[pid=11462] ppid=11459 vsize=1308228 CPUtime=1601.82 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 6232 0 -1 4202496 268443 0 0 0 160126 56 0 0 20 0 4 0 5292004 1339625472 268607 33554432000 4194304 16246674 140736035110048 140736035091968 13198488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 327057 268607 796 2943 0 323951 0
[pid=11462/tid=11463] ppid=11459 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5292004 1339625472 268607 33554432000 4194304 16246674 140736035110048 140632615005424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5292004 1339625472 268607 33554432000 4194304 16246674 140736035110048 140632530070768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5292004 1339625472 268607 33554432000 4194304 16246674 140736035110048 140632519597232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1308228

[startup+1662.3 s]
/proc/loadavg: 2.17 2.22 2.21 3/185 11557
/proc/meminfo: memFree=28222368/32872528 swapFree=1481856/1661728
[pid=11462] ppid=11459 vsize=1308228 CPUtime=1661.81 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 6232 0 -1 4202496 268443 0 0 0 166124 57 0 0 20 0 4 0 5292004 1339625472 268607 33554432000 4194304 16246674 140736035110048 140736035091968 12483423 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 327057 268607 796 2943 0 323951 0
[pid=11462/tid=11463] ppid=11459 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5292004 1339625472 268607 33554432000 4194304 16246674 140736035110048 140632615005424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5292004 1339625472 268607 33554432000 4194304 16246674 140736035110048 140632530070768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5292004 1339625472 268607 33554432000 4194304 16246674 140736035110048 140632519597232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1308228

[startup+1722.3 s]
/proc/loadavg: 2.26 2.23 2.21 3/185 11558
/proc/meminfo: memFree=28222124/32872528 swapFree=1481856/1661728
[pid=11462] ppid=11459 vsize=1308228 CPUtime=1721.8 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 6232 0 -1 4202496 268443 0 0 0 172122 58 0 0 20 0 4 0 5292004 1339625472 268607 33554432000 4194304 16246674 140736035110048 140736035091968 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 327057 268607 796 2943 0 323951 0
[pid=11462/tid=11463] ppid=11459 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5292004 1339625472 268607 33554432000 4194304 16246674 140736035110048 140632615005424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5292004 1339625472 268607 33554432000 4194304 16246674 140736035110048 140632530070768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5292004 1339625472 268607 33554432000 4194304 16246674 140736035110048 140632519597232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1308228

[startup+1782.3 s]
/proc/loadavg: 2.33 2.25 2.22 4/185 11560
/proc/meminfo: memFree=28221976/32872528 swapFree=1481856/1661728
[pid=11462] ppid=11459 vsize=1308228 CPUtime=1781.79 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 6232 0 -1 4202496 268467 0 0 0 178121 58 0 0 20 0 4 0 5292004 1339625472 268631 33554432000 4194304 16246674 140736035110048 140736035091968 13943668 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 327057 268631 796 2943 0 323951 0
[pid=11462/tid=11463] ppid=11459 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5292004 1339625472 268631 33554432000 4194304 16246674 140736035110048 140632615005424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5292004 1339625472 268631 33554432000 4194304 16246674 140736035110048 140632530070768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5292004 1339625472 268631 33554432000 4194304 16246674 140736035110048 140632519597232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1308228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.33 2.25 2.22 3/185 11560
/proc/meminfo: memFree=28221852/32872528 swapFree=1481856/1661728
[pid=11462] ppid=11459 vsize=1308228 CPUtime=1800.08 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 6232 0 -1 4202496 268467 0 0 0 179950 58 0 0 20 0 4 0 5292004 1339625472 268631 33554432000 4194304 16246674 140736035110048 140736035091968 5827792 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 327057 268631 796 2943 0 323951 0
[pid=11462/tid=11463] ppid=11459 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5292004 1339625472 268631 33554432000 4194304 16246674 140736035110048 140632615005424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5292004 1339625472 268631 33554432000 4194304 16246674 140736035110048 140632530070768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5292004 1339625472 268631 33554432000 4194304 16246674 140736035110048 140632519597232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1308228

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 11462 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.1
CPU user time (s): 1799.51
CPU system time (s): 0.58891
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.58891
maximum resident set size= 1074524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268467
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= 435
involuntary context switches= 1964

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.21321 second user time and 7.72283 second system time

The end

Begin job on node134 at 2016-06-16 01:14:16
IDJOB=4089722
IDBENCH=107447
IDSOLVER=2542
FILE ID=node134/4089722-1466032456
RUNJOBID= node134-1466019588-9688
PBS_JOBID= 19902814
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 252dbddb8cf95ef49566c954f0fe0e66
RANDOM SEED=1565804654

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29293152 kB
Buffers:           33192 kB
Cached:            81904 kB
SwapCached:        17352 kB
Active:          1149856 kB
Inactive:          64524 kB
Active(anon):    1083512 kB
Inactive(anon):    18004 kB
Active(file):      66344 kB
Inactive(file):    46520 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67083704 kB
Dirty:             16352 kB
Writeback:             4 kB
AnonPages:       2745944 kB
Mapped:            10404 kB
Shmem:                 0 kB
Slab:             567060 kB
SReclaimable:      11220 kB
SUnreclaim:       555840 kB
KernelStack:        1520 kB
PageTables:         9568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2889444 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    612352 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node134 at 2016-06-16 01:44:17