0.00/0.00	c 2016-06-07T03:43:03+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-4078997-1465263782.opb"]
0.00/0.01	c use --random-gen="59054570 731926971 3010414610 2930978446 2322762538 2284253136 1002222437 1797421665 3447836140 2574734089 928237818 2480879393 2212775051 2507579172 772853493 2547571631 521315896 1225688129 2191906490 158592123 2802228494 2863072560 1108719245 683582437 1224555158 20670464 901764888 2545167635 1937136097 4125147704 1027034138 1408703554 3454739920 1568485127 522802351 70477778 783664193 2269556209 1829207390 3778662214 2658396786 2427832863 278393944 1796561009 2754756628 996065258 281892864 3069846668 3683185184 1193824939 727091190 1121362805 2924534912 3746522051 1054881861 1723034821 1363580320 1366889912 3958836951 1322087962 1458526861 1284086489 1397935824 1614064877 2331192039 1901805054 696829807 3576676505 3122609777 2772225890 1236139994 2541749914 4112739636 1829591299 343429650 642913507 2450305071 1526285630 299944435 1321451398 3612120850 2468971238 412549427 1360577790 2364662559 1842789784 3378591396 404822518 2023757223 468630119 103267954 3434037284 4166929977 340586700 434750436 506809609 167027789 2513944139 2956330544 1010964051 1471137884 2592932805 227834387 3213993127 274272143 10995519 2769317626 4123523084 1901505438 1690639248 1559807895 1412303794 2905518777 504133994 1776102913 1282756861 161011089 326747658 3467378879 1276549560 1206222115 37710973 1835844790 1471840458 3775385365 4283003134 3467646066 2906299150 3490212968 1675367600 2993298192 4093176519 4235240069 4031765089 3838446041 1920639137 4168822390 4268009650 3718814766 4034113177 953043161 1029484233 853222296 1224357399 224706379 2393027616 3997200201 3766648598 2120019120 3384864143 3108829425 52997907 3405462722 43141770 2683861995 3279209400 3936082534 1381595479 632501136 1203526141 185892538 672605601 1940986571 1093440551 360337810 3519725657 3330086712 3255767920 3200657552 3064637708 3263284855 2812772294 2689488826 1801755854 3523340821 1975996358 2282755037 65279369 3011465362 2326361651 677332798 3903746252 2460667480 3650084421 3647385125 1154415903 1687709830 1238819719 2028335870 789825348 1250333365 587446491 820899636 2582944072 2362203947 1902025204 3244423562 1931314099 1963692697 4196939888 249539126 832234343 652153860 1954991600 1689451671 3716313234 392755797 1282975031 1904809282 1259600436 791004599 907819705 2491808534 2139910760 1090917692 69945554 3706635433 3945568761 871975845 186726609 2367330419 3345383554 2374140017 2199362967 2678430136 686206360 800008479 1366504625 1285580718 2025064565 1539714564 3651516194 3008588074 3447006779 640406912 3819068082 1777151576 1584142915 1239553642 3534186316 507247108 2668758960 2831355286 2827388766 2524588615 3722110954 49715827 2451781760 46553919 2865616073 4182800301 1538056107 3319302086 1068131102 1786310629 2823469612 255 362436" option to reproduce the execution
0.00/0.01	c #vars 100
0.00/0.01	c #constraints 152
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      491      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      200 |      100 |      491      0 |        0 |        0
0.00/0.07	c  0.0s |       2 |      978 |      250 |      541      0 |        0 |        0
0.09/0.12	c  0.1s |       3 |     1286 |      475 |      596      0 |        0 |        0
0.09/0.19	c  0.2s |       4 |     1680 |      813 |      656      1 |        0 |        0
0.29/0.31	c  0.3s |       5 |     2284 |     1320 |      722      2 |        0 |        0
0.39/0.46	c  0.4s |       6 |     3151 |     2081 |      875      4 |        0 |        0
0.69/0.70	c  0.7s |       7 |     4416 |     3223 |      963      6 |        0 |        0
0.98/1.07	c  1.0s |       8 |     6236 |     4936 |     1060      9 |        0 |        0
1.39/1.46	c  1.4s |       9 |     9037 |     7506 |     1166     14 |        0 |        0
1.98/2.04	c  2.0s |      10 |    13180 |    11361 |     1283     20 |        0 |        0
2.78/2.85	c  2.8s |      11 |    19665 |    17144 |     1412     28 |        0 |        0
4.09/4.12	c  4.1s |      12 |    29222 |    25819 |     1554     40 |        0 |        0
6.09/6.13	c  6.1s |      12 |    41911 |    37819 |     1554     55 |        0 |        0
6.19/6.28	c  6.3s |      13 |    43111 |    38832 |     1710     56 |        0 |        0
8.19/8.29	c  8.3s |      13 |    56644 |    51332 |     1710     70 |        0 |        0
9.29/9.33	c  9.3s |      14 |    64403 |    58352 |     1882     78 |        0 |        0
11.29/11.34	c 11.3s |      14 |    78829 |    71352 |     1882     92 |        0 |        0
13.29/13.35	c 13.3s |      14 |    94023 |    84852 |     1882    106 |        0 |        0
13.68/13.72	c 13.7s |      15 |    97224 |    87632 |     2071    108 |        0 |        0
15.68/15.73	c 15.7s |      15 |   111393 |   100332 |     2071    120 |        0 |        0
17.69/17.73	c 17.7s |      15 |   124655 |   112532 |     2071    132 |        0 |        0
19.68/19.74	c 19.7s |      15 |   139468 |   125732 |     2071    144 |        0 |        0
20.68/20.72	c 20.7s |      16 |   145681 |   131552 |     2279    149 |        0 |        0
22.68/22.74	c 22.7s |      16 |   157856 |   142852 |     2279    159 |        0 |        0
24.68/24.75	c 24.7s |      16 |   170809 |   154752 |     2279    169 |        0 |        0
26.68/26.75	c 26.7s |      16 |   181993 |   165352 |     2279    178 |        0 |        0
28.69/28.75	c 28.7s |      16 |   194077 |   176552 |     2279    188 |        0 |        0
30.68/30.77	c 30.7s |      16 |   207702 |   188852 |     2279    199 |        0 |        0
32.28/32.33	c 32.3s |      17 |   216754 |   197432 |     2507    206 |        0 |        0
34.29/34.34	c 34.3s |      17 |   227827 |   207832 |     2507    214 |        0 |        0
36.29/36.34	c 36.3s |      17 |   240950 |   219732 |     2507    223 |        0 |        0
38.28/38.35	c 38.3s |      17 |   252194 |   230332 |     2507    231 |        0 |        0
40.28/40.36	c 40.3s |      17 |   265861 |   242632 |     2507    241 |        0 |        0
42.28/42.37	c 42.3s |      17 |   279937 |   255032 |     2507    251 |        0 |        0
44.28/44.38	c 44.3s |      17 |   293696 |   267332 |     2507    260 |        0 |        0
46.29/46.38	c 46.4s |      17 |   308353 |   280232 |     2507    270 |        0 |        0
48.39/48.40	c 48.4s |      17 |   319948 |   291032 |     2507    279 |        0 |        0
49.28/49.39	c 49.4s |      18 |   325524 |   296252 |     2758    283 |        0 |        0
51.38/51.40	c 51.4s |      18 |   336672 |   306552 |     2758    290 |        0 |        0
53.38/53.42	c 53.4s |      18 |   348114 |   317152 |     2758    297 |        0 |        0
55.38/55.43	c 55.4s |      18 |   360778 |   328452 |     2758    306 |        0 |        0
57.38/57.43	c 57.4s |      18 |   373627 |   340152 |     2758    314 |        0 |        0
59.38/59.43	c 59.4s |      18 |   385587 |   351052 |     2758    322 |        0 |        0
61.38/61.46	c 61.4s |      18 |   398938 |   362752 |     2758    330 |        0 |        0
63.37/63.46	c 63.4s |      18 |   409705 |   372852 |     2758    337 |        0 |        0
65.37/65.46	c 65.4s |      18 |   422815 |   384552 |     2758    345 |        0 |        0
67.37/67.47	c 67.4s |      18 |   435852 |   396352 |     2758    354 |        0 |        0
69.38/69.47	c 69.4s |      18 |   448189 |   407752 |     2758    362 |        0 |        0
71.37/71.49	c 71.5s |      18 |   460692 |   419152 |     2758    370 |        0 |        0
73.37/73.49	c 73.5s |      18 |   473006 |   430152 |     2758    378 |        0 |        0
75.47/75.50	c 75.5s |      18 |   485395 |   441452 |     3034    386 |        0 |        0
75.98/76.02	c 76.0s |      19 |   489053 |   444482 |     3034    388 |        0 |        0
77.98/78.03	c 78.0s |      19 |   521597 |   455882 |     3034    395 |        0 |        0
79.98/80.03	c 80.0s |      19 |   540015 |   466882 |     3034    402 |        0 |        0
81.98/82.04	c 82.0s |      19 |   552853 |   477482 |     3034    409 |        0 |        0
83.98/84.05	c 84.0s |      19 |   567380 |   489082 |     3034    416 |        0 |        0
85.98/86.06	c 86.0s |      19 |   582268 |   501582 |     3034    424 |        0 |        0
87.99/88.07	c 88.0s |      19 |   598659 |   513882 |     3034    432 |        0 |        0
89.98/90.08	c 90.1s |      19 |   613671 |   525582 |     3034    440 |        0 |        0
91.98/92.08	c 92.1s |      19 |   627411 |   536682 |     3034    447 |        0 |        0
93.98/94.08	c 94.1s |      19 |   642882 |   548282 |     3034    455 |        0 |        0
96.07/96.10	c 96.1s |      19 |   660446 |   560282 |     3034    463 |        0 |        0
98.07/98.10	c 98.1s |      19 |   674829 |   571582 |     3034    470 |        0 |        0
100.08/100.11	c  100s |      19 |   688477 |   582282 |     3034    477 |        0 |        0
102.07/102.13	c  102s |      19 |   702517 |   592882 |     3034    484 |        0 |        0
104.07/104.13	c  104s |      19 |   720390 |   604682 |     3034    491 |        0 |        0
106.07/106.14	c  106s |      19 |   735598 |   616182 |     3034    499 |        0 |        0
108.07/108.15	c  108s |      19 |   752766 |   628282 |     3034    506 |        0 |        0
110.08/110.15	c  110s |      19 |   771596 |   640182 |     3034    514 |        0 |        0
112.07/112.16	c  112s |      19 |   791197 |   652382 |     3034    522 |        0 |        0
114.07/114.17	c  114s |      19 |   816245 |   664382 |     3338    529 |        0 |        0
114.48/114.56	c  114s |      20 |   821134 |   666827 |     3338    531 |        0 |        0
116.47/116.57	c  116s |      20 |   838278 |   677827 |     3338    537 |        0 |        0
118.47/118.58	c  118s |      20 |   853193 |   689127 |     3338    544 |        0 |        0
120.47/120.59	c  120s |      20 |   868043 |   700827 |     3338    551 |        0 |        0
122.57/122.60	c  122s |      20 |   883294 |   712427 |     3338    557 |        0 |        0
124.57/124.62	c  124s |      20 |   901476 |   724027 |     3338    564 |        0 |        0
126.58/126.62	c  126s |      20 |   918577 |   735727 |     3338    571 |        0 |        0
128.57/128.63	c  128s |      20 |   934420 |   745727 |     3338    577 |        0 |        0
130.57/130.64	c  130s |      20 |   949057 |   757627 |     3338    584 |        0 |        0
132.56/132.65	c  132s |      20 |   963578 |   769027 |     3338    591 |        0 |        0
134.56/134.66	c  134s |      20 |   978215 |   779627 |     3338    597 |        0 |        0
136.56/136.67	c  136s |      20 |   992483 |   790227 |     3338    603 |        0 |        0
138.57/138.69	c  138s |      20 |  1007609 |   800927 |     3338    610 |        0 |        0
140.66/140.70	c  140s |      20 |  1022526 |   811527 |     3338    616 |        0 |        0
142.66/142.73	c  142s |      20 |  1035798 |   821527 |     3338    622 |        0 |        0
144.66/144.74	c  144s |      20 |  1047882 |   831427 |     3338    627 |        0 |        0
146.77/146.87	c  146s |      20 |  1061870 |   841127 |     3338    633 |        0 |        0
148.87/148.90	c  148s |      20 |  1074281 |   850627 |     3338    639 |        0 |        0
150.87/150.91	c  150s |      20 |  1087124 |   860527 |     3338    644 |        0 |        0
152.87/152.92	c  152s |      20 |  1099766 |   870627 |     3338    650 |        0 |        0
154.87/154.92	c  154s |      20 |  1111922 |   880527 |     3338    656 |        0 |        0
156.87/156.93	c  156s |      20 |  1124149 |   890327 |     3338    662 |        0 |        0
158.86/158.93	c  158s |      20 |  1138155 |   900727 |     3338    668 |        0 |        0
160.86/160.96	c  160s |      20 |  1151235 |   912027 |     3338    674 |        0 |        0
162.87/162.97	c  162s |      20 |  1163164 |   922427 |     3338    680 |        0 |        0
164.86/164.98	c  164s |      20 |  1175053 |   932727 |     3338    686 |        0 |        0
166.86/166.99	c  166s |      20 |  1188005 |   943927 |     3338    693 |        0 |        0
168.96/169.01	c  168s |      20 |  1202436 |   956127 |     3338    700 |        0 |        0
170.96/171.02	c  170s |      20 |  1216106 |   967727 |     3338    707 |        0 |        0
172.96/173.03	c  173s |      20 |  1229486 |   978927 |     3338    714 |        0 |        0
174.97/175.04	c  175s |      20 |  1243219 |   990327 |     3338    721 |        0 |        0
176.96/177.01	c  176s |      21 |  1254760 |  1000345 |     3672    726 |        0 |        0
178.96/179.02	c  178s |      21 |  1266271 |  1008945 |     3672    730 |        0 |        0
180.96/181.04	c  181s |      21 |  1278055 |  1018245 |     3672    735 |        0 |        0
182.96/183.05	c  183s |      21 |  1296873 |  1027645 |     3672    740 |        0 |        0
184.96/185.08	c  185s |      21 |  1310917 |  1037345 |     3672    746 |        0 |        0
186.96/187.08	c  187s |      21 |  1325112 |  1047345 |     3672    751 |        0 |        0
189.06/189.10	c  189s |      21 |  1338246 |  1056645 |     3672    756 |        0 |        0
191.06/191.11	c  191s |      21 |  1351214 |  1066545 |     3672    761 |        0 |        0
193.06/193.13	c  193s |      21 |  1366195 |  1076845 |     3672    767 |        0 |        0
195.06/195.13	c  195s |      21 |  1379104 |  1087145 |     3672    772 |        0 |        0
197.06/197.14	c  197s |      21 |  1390837 |  1097045 |     3672    777 |        0 |        0
199.06/199.15	c  199s |      21 |  1403838 |  1106845 |     3672    783 |        0 |        0
201.06/201.17	c  201s |      21 |  1416975 |  1116945 |     3672    788 |        0 |        0
203.06/203.18	c  203s |      21 |  1429779 |  1126245 |     3672    793 |        0 |        0
205.05/205.18	c  205s |      21 |  1442273 |  1135445 |     3672    798 |        0 |        0
207.05/207.18	c  207s |      21 |  1454398 |  1144945 |     3672    803 |        0 |        0
209.16/209.20	c  209s |      21 |  1467909 |  1154245 |     3672    808 |        0 |        0
211.17/211.22	c  211s |      21 |  1479137 |  1163345 |     3672    813 |        0 |        0
213.16/213.23	c  213s |      21 |  1490204 |  1172645 |     3672    817 |        0 |        0
215.16/215.25	c  215s |      21 |  1501287 |  1182145 |     3672    822 |        0 |        0
217.16/217.27	c  217s |      21 |  1513826 |  1192445 |     3672    828 |        0 |        0
219.16/219.27	c  219s |      21 |  1527402 |  1203945 |     3672    834 |        0 |        0
221.16/221.27	c  221s |      21 |  1541171 |  1215545 |     3672    840 |        0 |        0
223.15/223.28	c  223s |      21 |  1555398 |  1227245 |     3672    847 |        0 |        0
225.15/225.30	c  225s |      21 |  1569875 |  1239245 |     3672    853 |        0 |        0
227.25/227.31	c  227s |      21 |  1583341 |  1250345 |     3672    859 |        0 |        0
229.25/229.32	c  229s |      21 |  1596238 |  1260845 |     3672    865 |        0 |        0
231.26/231.32	c  231s |      21 |  1609397 |  1271945 |     3672    871 |        0 |        0
233.26/233.34	c  233s |      21 |  1622566 |  1282745 |     3672    877 |        0 |        0
235.26/235.34	c  235s |      21 |  1636494 |  1294245 |     3672    883 |        0 |        0
237.25/237.35	c  237s |      21 |  1650448 |  1305045 |     3672    889 |        0 |        0
239.25/239.36	c  239s |      21 |  1665256 |  1316945 |     3672    895 |        0 |        0
241.25/241.38	c  241s |      21 |  1678947 |  1328245 |     3672    901 |        0 |        0
243.25/243.38	c  243s |      21 |  1691860 |  1338845 |     3672    907 |        0 |        0
245.26/245.39	c  245s |      21 |  1705511 |  1349545 |     3672    912 |        0 |        0
247.35/247.40	c  247s |      21 |  1719164 |  1360945 |     3672    919 |        0 |        0
249.35/249.41	c  249s |      21 |  1734275 |  1371845 |     3672    924 |        0 |        0
251.35/251.42	c  251s |      21 |  1747821 |  1383045 |     3672    930 |        0 |        0
253.35/253.43	c  253s |      21 |  1762582 |  1394745 |     3672    937 |        0 |        0
255.35/255.44	c  255s |      21 |  1777778 |  1406245 |     3672    943 |        0 |        0
257.35/257.45	c  257s |      21 |  1792519 |  1417045 |     3672    949 |        0 |        0
259.35/259.45	c  259s |      21 |  1806858 |  1427945 |     3672    955 |        0 |        0
261.35/261.48	c  261s |      21 |  1819800 |  1439045 |     3672    961 |        0 |        0
263.35/263.48	c  263s |      21 |  1833701 |  1450245 |     3672    967 |        0 |        0
265.34/265.50	c  265s |      21 |  1848446 |  1461745 |     3672    973 |        0 |        0
267.45/267.52	c  267s |      21 |  1863291 |  1472645 |     3672    979 |        0 |        0
269.46/269.52	c  269s |      21 |  1876406 |  1483345 |     3672    984 |        0 |        0
271.45/271.53	c  271s |      21 |  1890355 |  1493645 |     4040    990 |        0 |        0
272.76/272.84	c  272s |      22 |  1899689 |  1500622 |     4040    993 |        0 |        0
274.75/274.85	c  274s |      22 |  1921198 |  1510322 |     4040    998 |        0 |        0
276.75/276.85	c  276s |      22 |  1936627 |  1520522 |     4040   1003 |        0 |        0
278.75/278.85	c  278s |      22 |  1952601 |  1531022 |     4040   1008 |        0 |        0
280.75/280.86	c  280s |      22 |  1968346 |  1541322 |     4040   1013 |        0 |        0
282.75/282.88	c  282s |      22 |  1980466 |  1551222 |     4040   1017 |        0 |        0
284.74/284.88	c  284s |      22 |  1992888 |  1561322 |     4040   1022 |        0 |        0
286.74/286.89	c  286s |      22 |  2006334 |  1571522 |     4040   1027 |        0 |        0
288.74/288.89	c  288s |      22 |  2020255 |  1581722 |     4040   1032 |        0 |        0
290.84/290.90	c  290s |      22 |  2035579 |  1591922 |     4040   1037 |        0 |        0
292.84/292.91	c  292s |      22 |  2053989 |  1602522 |     4040   1042 |        0 |        0
294.85/294.92	c  294s |      22 |  2072526 |  1613422 |     4040   1048 |        0 |        0
296.84/296.94	c  296s |      22 |  2086120 |  1623522 |     4040   1053 |        0 |        0
298.84/298.95	c  298s |      22 |  2097722 |  1633622 |     4040   1057 |        0 |        0
300.84/300.95	c  300s |      22 |  2109531 |  1643722 |     4040   1062 |        0 |        0
302.85/302.96	c  302s |      22 |  2122322 |  1653922 |     4040   1067 |        0 |        0
304.84/304.97	c  304s |      22 |  2134357 |  1663822 |     4040   1072 |        0 |        0
306.85/306.97	c  306s |      22 |  2147356 |  1674122 |     4040   1077 |        0 |        0
308.84/308.98	c  308s |      22 |  2159520 |  1684522 |     4040   1082 |        0 |        0
310.84/310.99	c  310s |      22 |  2171654 |  1695022 |     4040   1087 |        0 |        0
312.94/313.01	c  312s |      22 |  2184517 |  1705322 |     4040   1092 |        0 |        0
314.94/315.01	c  314s |      22 |  2197428 |  1715822 |     4040   1098 |        0 |        0
316.94/317.02	c  316s |      22 |  2211430 |  1726422 |     4040   1103 |        0 |        0
318.94/319.03	c  319s |      22 |  2223939 |  1736422 |     4040   1108 |        0 |        0
320.94/321.04	c  321s |      22 |  2238454 |  1748022 |     4040   1113 |        0 |        0
322.94/323.05	c  323s |      22 |  2251460 |  1757922 |     4040   1118 |        0 |        0
324.94/325.06	c  325s |      22 |  2264721 |  1768422 |     4040   1123 |        0 |        0
326.94/327.08	c  327s |      22 |  2277231 |  1778322 |     4040   1128 |        0 |        0
328.94/329.09	c  329s |      22 |  2294042 |  1789222 |     4040   1133 |        0 |        0
330.93/331.10	c  331s |      22 |  2308862 |  1800122 |     4040   1139 |        0 |        0
333.03/333.12	c  333s |      22 |  2320239 |  1809822 |     4040   1143 |        0 |        0
335.03/335.12	c  335s |      22 |  2333656 |  1820122 |     4040   1148 |        0 |        0
337.03/337.13	c  337s |      22 |  2345935 |  1829822 |     4040   1153 |        0 |        0
339.04/339.14	c  339s |      22 |  2357727 |  1839422 |     4040   1158 |        0 |        0
341.05/341.14	c  341s |      22 |  2368895 |  1848822 |     4040   1162 |        0 |        0
343.04/343.15	c  343s |      22 |  2380592 |  1858222 |     4040   1167 |        0 |        0
345.04/345.17	c  345s |      22 |  2392372 |  1867522 |     4040   1172 |        0 |        0
347.04/347.19	c  347s |      22 |  2406561 |  1877822 |     4040   1177 |        0 |        0
349.04/349.19	c  349s |      22 |  2421935 |  1888322 |     4040   1182 |        0 |        0
351.14/351.20	c  351s |      22 |  2435868 |  1898722 |     4040   1187 |        0 |        0
353.05/353.20	c  353s |      22 |  2450358 |  1909922 |     4040   1192 |        0 |        0
355.14/355.20	c  355s |      22 |  2463116 |  1920422 |     4040   1197 |        0 |        0
357.14/357.22	c  357s |      22 |  2475439 |  1930422 |     4040   1202 |        0 |        0
359.14/359.23	c  359s |      22 |  2493775 |  1941122 |     4040   1207 |        0 |        0
361.14/361.24	c  361s |      22 |  2508954 |  1951722 |     4040   1213 |        0 |        0
363.13/363.25	c  363s |      22 |  2521683 |  1961822 |     4040   1218 |        0 |        0
365.14/365.25	c  365s |      22 |  2535312 |  1972422 |     4040   1223 |        0 |        0
367.13/367.27	c  367s |      22 |  2548582 |  1982322 |     4040   1228 |        0 |        0
369.13/369.29	c  369s |      22 |  2563973 |  1993222 |     4040   1233 |        0 |        0
371.13/371.30	c  371s |      22 |  2577484 |  2003122 |     4040   1238 |        0 |        0
373.23/373.31	c  373s |      22 |  2590007 |  2012922 |     4040   1242 |        0 |        0
375.23/375.31	c  375s |      22 |  2603480 |  2022922 |     4040   1247 |        0 |        0
377.23/377.33	c  377s |      22 |  2617919 |  2032722 |     4040   1252 |        0 |        0
379.23/379.33	c  379s |      22 |  2631213 |  2042522 |     4040   1257 |        0 |        0
381.23/381.35	c  381s |      22 |  2643706 |  2052622 |     4040   1262 |        0 |        0
383.23/383.35	c  383s |      22 |  2656549 |  2062122 |     4040   1266 |        0 |        0
385.23/385.37	c  385s |      22 |  2668770 |  2071922 |     4040   1271 |        0 |        0
387.33/387.41	c  387s |      22 |  2682720 |  2082322 |     4040   1276 |        0 |        0
389.34/389.41	c  389s |      22 |  2695271 |  2092022 |     4040   1281 |        0 |        0
391.33/391.42	c  391s |      22 |  2710048 |  2101922 |     4040   1286 |        0 |        0
393.33/393.43	c  393s |      22 |  2727092 |  2113022 |     4040   1291 |        0 |        0
395.33/395.44	c  395s |      22 |  2741195 |  2123622 |     4040   1296 |        0 |        0
397.32/397.46	c  397s |      22 |  2758964 |  2133722 |     4040   1301 |        0 |        0
399.33/399.47	c  399s |      22 |  2773261 |  2144222 |     4040   1306 |        0 |        0
401.32/401.47	c  401s |      22 |  2785644 |  2154322 |     4040   1311 |        0 |        0
403.32/403.48	c  403s |      22 |  2797617 |  2164322 |     4040   1316 |        0 |        0
405.42/405.50	c  405s |      22 |  2811907 |  2175122 |     4040   1322 |        0 |        0
407.43/407.51	c  407s |      22 |  2828027 |  2185622 |     4040   1327 |        0 |        0
409.43/409.51	c  409s |      22 |  2843648 |  2196322 |     4040   1332 |        0 |        0
411.44/411.52	c  411s |      22 |  2858666 |  2206422 |     4040   1337 |        0 |        0
413.43/413.52	c  413s |      22 |  2871367 |  2216222 |     4040   1342 |        0 |        0
415.43/415.53	c  415s |      22 |  2889184 |  2226422 |     4040   1347 |        0 |        0
417.43/417.54	c  417s |      22 |  2909261 |  2237522 |     4444   1352 |        0 |        0
419.43/419.55	c  419s |      22 |  2924012 |  2247422 |     4444   1356 |        0 |        0
420.13/420.30	c  420s |      23 |  2928337 |  2251038 |     4444   1358 |        0 |        0
422.23/422.31	c  422s |      23 |  2947063 |  2260938 |     4444   1362 |        0 |        0
424.22/424.32	c  424s |      23 |  2959947 |  2270538 |     4444   1366 |        0 |        0
426.22/426.33	c  426s |      23 |  2972618 |  2279638 |     4444   1370 |        0 |        0
428.32/428.40	c  428s |      23 |  2985315 |  2288538 |     4444   1374 |        0 |        0
430.32/430.41	c  430s |      23 |  2997530 |  2297938 |     4444   1378 |        0 |        0
432.33/432.43	c  432s |      23 |  3009258 |  2307938 |     4444   1383 |        0 |        0
434.32/434.45	c  434s |      23 |  3022408 |  2318338 |     4444   1388 |        0 |        0
436.32/436.47	c  436s |      23 |  3034658 |  2328338 |     4444   1392 |        0 |        0
438.32/438.49	c  438s |      23 |  3048850 |  2338638 |     4444   1397 |        0 |        0
440.42/440.50	c  440s |      23 |  3062430 |  2348838 |     4444   1401 |        0 |        0
442.42/442.52	c  442s |      23 |  3075931 |  2358338 |     4444   1405 |        0 |        0
444.42/444.53	c  444s |      23 |  3088860 |  2367938 |     4444   1410 |        0 |        0
446.42/446.53	c  446s |      23 |  3104374 |  2377738 |     4444   1414 |        0 |        0
448.42/448.55	c  448s |      23 |  3118495 |  2387938 |     4444   1418 |        0 |        0
450.42/450.57	c  450s |      23 |  3131066 |  2397938 |     4444   1423 |        0 |        0
452.42/452.57	c  452s |      23 |  3148209 |  2407938 |     4444   1427 |        0 |        0
454.42/454.58	c  454s |      23 |  3162672 |  2418438 |     4444   1432 |        0 |        0
456.53/456.62	c  456s |      23 |  3177969 |  2428938 |     4444   1437 |        0 |        0
458.52/458.63	c  458s |      23 |  3194105 |  2439438 |     4444   1441 |        0 |        0
460.52/460.64	c  460s |      23 |  3211873 |  2450638 |     4444   1446 |        0 |        0
462.52/462.65	c  462s |      23 |  3226647 |  2460738 |     4444   1451 |        0 |        0
464.52/464.65	c  464s |      23 |  3249571 |  2471938 |     4444   1456 |        0 |        0
466.52/466.66	c  466s |      23 |  3267127 |  2482938 |     4444   1460 |        0 |        0
468.52/468.67	c  468s |      23 |  3288917 |  2493838 |     4444   1465 |        0 |        0
470.52/470.67	c  470s |      23 |  3304115 |  2504438 |     4444   1470 |        0 |        0
472.52/472.69	c  472s |      23 |  3317919 |  2514338 |     4444   1474 |        0 |        0
474.51/474.69	c  474s |      23 |  3336708 |  2524238 |     4444   1479 |        0 |        0
476.61/476.70	c  476s |      23 |  3350834 |  2533838 |     4444   1483 |        0 |        0
478.61/478.70	c  478s |      23 |  3364312 |  2543638 |     4444   1487 |        0 |        0
480.62/480.71	c  480s |      23 |  3379078 |  2553938 |     4444   1492 |        0 |        0
482.61/482.73	c  482s |      23 |  3391115 |  2563538 |     4444   1496 |        0 |        0
484.62/484.76	c  484s |      23 |  3403627 |  2573438 |     4444   1501 |        0 |        0
486.72/486.80	c  486s |      23 |  3416636 |  2583338 |     4444   1505 |        0 |        0
488.72/488.80	c  488s |      23 |  3429349 |  2593338 |     4444   1509 |        0 |        0
490.71/490.81	c  490s |      23 |  3441931 |  2603638 |     4444   1514 |        0 |        0
492.72/492.81	c  492s |      23 |  3454256 |  2614138 |     4444   1519 |        0 |        0
494.71/494.82	c  494s |      23 |  3467139 |  2624738 |     4444   1523 |        0 |        0
496.71/496.82	c  496s |      23 |  3480456 |  2635438 |     4444   1528 |        0 |        0
498.71/498.82	c  498s |      23 |  3492606 |  2645738 |     4444   1533 |        0 |        0
500.71/500.84	c  500s |      23 |  3506314 |  2656538 |     4444   1537 |        0 |        0
502.71/502.84	c  502s |      23 |  3518734 |  2666638 |     4444   1542 |        0 |        0
504.71/504.85	c  504s |      23 |  3530782 |  2676338 |     4444   1546 |        0 |        0
506.72/506.85	c  506s |      23 |  3544776 |  2687338 |     4444   1551 |        0 |        0
508.72/508.86	c  508s |      23 |  3558097 |  2697838 |     4444   1556 |        0 |        0
510.72/510.88	c  510s |      23 |  3571840 |  2708138 |     4444   1560 |        0 |        0
512.72/512.88	c  512s |      23 |  3585555 |  2719038 |     4444   1565 |        0 |        0
514.72/514.89	c  514s |      23 |  3598219 |  2728938 |     4444   1570 |        0 |        0
516.71/516.90	c  516s |      23 |  3610915 |  2739438 |     4444   1574 |        0 |        0
518.81/518.91	c  518s |      23 |  3624256 |  2750338 |     4444   1579 |        0 |        0
520.81/520.93	c  520s |      23 |  3637357 |  2760938 |     4444   1584 |        0 |        0
522.81/522.93	c  522s |      23 |  3650406 |  2771838 |     4444   1589 |        0 |        0
524.81/524.93	c  524s |      23 |  3662789 |  2781738 |     4444   1593 |        0 |        0
526.82/526.94	c  526s |      23 |  3676055 |  2792138 |     4444   1598 |        0 |        0
528.81/528.95	c  528s |      23 |  3688893 |  2802338 |     4444   1602 |        0 |        0
530.81/530.96	c  530s |      23 |  3701425 |  2812838 |     4444   1607 |        0 |        0
532.81/532.96	c  532s |      23 |  3715845 |  2822338 |     4444   1611 |        0 |        0
534.81/534.97	c  534s |      23 |  3727149 |  2832038 |     4444   1616 |        0 |        0
536.81/536.99	c  536s |      23 |  3739713 |  2842438 |     4444   1620 |        0 |        0
538.81/538.99	c  538s |      23 |  3753152 |  2853138 |     4444   1625 |        0 |        0
540.91/541.02	c  540s |      23 |  3766544 |  2862938 |     4444   1629 |        0 |        0
542.91/543.03	c  542s |      23 |  3779961 |  2873138 |     4444   1634 |        0 |        0
544.91/545.04	c  545s |      23 |  3794539 |  2883038 |     4444   1638 |        0 |        0
547.00/547.15	c  547s |      23 |  3807111 |  2893238 |     4444   1643 |        0 |        0
549.00/549.18	c  549s |      23 |  3822743 |  2903738 |     4444   1648 |        0 |        0
551.01/551.19	c  551s |      23 |  3835215 |  2913938 |     4444   1652 |        0 |        0
553.00/553.19	c  553s |      23 |  3847272 |  2923738 |     4444   1656 |        0 |        0
555.10/555.21	c  555s |      23 |  3859668 |  2934238 |     4444   1661 |        0 |        0
557.11/557.23	c  557s |      23 |  3872794 |  2944338 |     4444   1666 |        0 |        0
559.11/559.24	c  559s |      23 |  3885180 |  2954238 |     4444   1670 |        0 |        0
561.11/561.26	c  561s |      23 |  3902388 |  2965238 |     4444   1675 |        0 |        0
563.11/563.27	c  563s |      23 |  3916217 |  2975838 |     4444   1679 |        0 |        0
565.11/565.28	c  565s |      23 |  3930196 |  2986338 |     4444   1684 |        0 |        0
567.11/567.29	c  567s |      23 |  3946343 |  2997638 |     4444   1689 |        0 |        0
569.21/569.31	c  569s |      23 |  3959963 |  3008238 |     4444   1694 |        0 |        0
571.21/571.32	c  571s |      23 |  3972996 |  3018938 |     4444   1699 |        0 |        0
573.20/573.33	c  573s |      23 |  3986263 |  3030138 |     4444   1704 |        0 |        0
575.21/575.34	c  575s |      23 |  3998389 |  3039138 |     4444   1708 |        0 |        0
577.20/577.34	c  577s |      23 |  4009265 |  3048338 |     4444   1712 |        0 |        0
579.20/579.36	c  579s |      23 |  4021145 |  3058338 |     4444   1716 |        0 |        0
581.20/581.36	c  581s |      23 |  4033019 |  3067838 |     4444   1720 |        0 |        0
583.20/583.38	c  583s |      23 |  4044675 |  3077138 |     4444   1725 |        0 |        0
585.30/585.42	c  585s |      23 |  4056105 |  3086338 |     4444   1729 |        0 |        0
587.30/587.44	c  587s |      23 |  4069844 |  3096638 |     4444   1733 |        0 |        0
589.30/589.45	c  589s |      23 |  4082185 |  3106438 |     4444   1738 |        0 |        0
591.30/591.47	c  591s |      23 |  4094205 |  3116338 |     4444   1742 |        0 |        0
593.30/593.48	c  593s |      23 |  4108167 |  3126538 |     4444   1746 |        0 |        0
595.30/595.50	c  595s |      23 |  4122412 |  3136538 |     4444   1751 |        0 |        0
597.40/597.51	c  597s |      23 |  4135301 |  3146938 |     4444   1756 |        0 |        0
599.40/599.52	c  599s |      23 |  4147194 |  3157138 |     4444   1760 |        0 |        0
601.40/601.52	c  601s |      23 |  4159058 |  3166838 |     4444   1764 |        0 |        0
603.39/603.54	c  603s |      23 |  4169588 |  3175138 |     4444   1768 |        0 |        0
605.39/605.54	c  605s |      23 |  4181979 |  3185538 |     4444   1773 |        0 |        0
607.40/607.55	c  607s |      23 |  4195546 |  3196438 |     4444   1777 |        0 |        0
609.41/609.56	c  609s |      23 |  4209160 |  3206938 |     4444   1782 |        0 |        0
611.40/611.58	c  611s |      23 |  4221016 |  3216538 |     4444   1786 |        0 |        0
613.50/613.60	c  613s |      23 |  4234641 |  3226938 |     4444   1791 |        0 |        0
615.50/615.61	c  615s |      23 |  4246664 |  3236738 |     4444   1795 |        0 |        0
617.50/617.62	c  617s |      23 |  4259722 |  3246338 |     4444   1800 |        0 |        0
619.49/619.62	c  619s |      23 |  4272585 |  3256738 |     4444   1804 |        0 |        0
621.50/621.62	c  621s |      23 |  4287170 |  3266538 |     4444   1809 |        0 |        0
623.49/623.66	c  623s |      23 |  4303432 |  3277338 |     4444   1814 |        0 |        0
625.59/625.72	c  625s |      23 |  4317987 |  3288538 |     4444   1819 |        0 |        0
627.60/627.75	c  627s |      23 |  4332307 |  3298438 |     4444   1823 |        0 |        0
629.70/629.80	c  629s |      23 |  4343988 |  3307238 |     4444   1827 |        0 |        0
631.70/631.81	c  631s |      23 |  4356856 |  3316938 |     4444   1831 |        0 |        0
633.70/633.83	c  633s |      23 |  4369838 |  3325838 |     4444   1835 |        0 |        0
635.70/635.85	c  635s |      23 |  4382827 |  3336138 |     4444   1840 |        0 |        0
637.69/637.85	c  637s |      23 |  4394862 |  3345338 |     4444   1844 |        0 |        0
639.69/639.85	c  639s |      23 |  4407917 |  3356138 |     4889   1848 |        0 |        0
641.69/641.86	c  641s |      23 |  4420958 |  3366438 |     4889   1852 |        0 |        0
643.69/643.87	c  643s |      23 |  4433814 |  3376638 |     4889   1857 |        0 |        0
643.69/643.88	c  643s |      24 |  4433840 |  3376662 |     4889   1857 |        0 |        0
645.69/645.88	c  645s |      24 |  4449594 |  3385662 |     4889   1860 |        0 |        0
647.69/647.88	c  647s |      24 |  4461948 |  3394362 |     4889   1864 |        0 |        0
649.69/649.89	c  649s |      24 |  4473321 |  3403062 |     4889   1867 |        0 |        0
651.79/651.91	c  651s |      24 |  4487800 |  3411962 |     4889   1871 |        0 |        0
653.79/653.92	c  653s |      24 |  4505157 |  3422162 |     4889   1875 |        0 |        0
655.79/655.92	c  655s |      24 |  4519196 |  3431662 |     4889   1879 |        0 |        0
657.79/657.93	c  657s |      24 |  4530277 |  3440462 |     4889   1882 |        0 |        0
659.78/659.93	c  659s |      24 |  4541422 |  3449362 |     4889   1886 |        0 |        0
661.78/661.95	c  661s |      24 |  4555493 |  3458962 |     4889   1890 |        0 |        0
663.78/663.96	c  663s |      24 |  4573808 |  3468562 |     4889   1894 |        0 |        0
665.78/665.97	c  665s |      24 |  4596730 |  3479262 |     4889   1898 |        0 |        0
667.88/668.02	c  667s |      24 |  4610107 |  3488862 |     4889   1902 |        0 |        0
669.89/670.03	c  670s |      24 |  4622777 |  3498162 |     4889   1905 |        0 |        0
671.88/672.05	c  672s |      24 |  4638164 |  3507462 |     4889   1909 |        0 |        0
673.88/674.06	c  674s |      24 |  4652358 |  3516762 |     4889   1913 |        0 |        0
675.89/676.06	c  676s |      24 |  4664420 |  3525962 |     4889   1917 |        0 |        0
677.89/678.07	c  678s |      24 |  4676403 |  3535362 |     4889   1920 |        0 |        0
679.89/680.09	c  680s |      24 |  4687610 |  3543962 |     4889   1924 |        0 |        0
681.89/682.10	c  682s |      24 |  4698645 |  3551662 |     4889   1927 |        0 |        0
683.99/684.11	c  684s |      24 |  4711593 |  3561062 |     4889   1931 |        0 |        0
685.99/686.12	c  686s |      24 |  4724776 |  3569962 |     4889   1934 |        0 |        0
687.99/688.13	c  688s |      24 |  4738131 |  3579062 |     4889   1938 |        0 |        0
689.98/690.14	c  690s |      24 |  4749379 |  3587562 |     4889   1941 |        0 |        0
691.98/692.15	c  692s |      24 |  4759552 |  3595862 |     4889   1945 |        0 |        0
693.99/694.17	c  694s |      24 |  4772138 |  3604662 |     4889   1948 |        0 |        0
695.98/696.19	c  696s |      24 |  4781610 |  3612862 |     4889   1952 |        0 |        0
698.08/698.20	c  698s |      24 |  4792564 |  3621162 |     4889   1955 |        0 |        0
700.08/700.23	c  700s |      24 |  4805399 |  3629862 |     4889   1958 |        0 |        0
702.08/702.24	c  702s |      24 |  4815295 |  3637962 |     4889   1962 |        0 |        0
704.08/704.25	c  704s |      24 |  4827514 |  3646962 |     4889   1965 |        0 |        0
706.09/706.27	c  706s |      24 |  4838856 |  3655862 |     4889   1969 |        0 |        0
708.18/708.31	c  708s |      24 |  4850404 |  3664662 |     4889   1973 |        0 |        0
710.18/710.31	c  710s |      24 |  4862223 |  3673462 |     4889   1976 |        0 |        0
712.18/712.32	c  712s |      24 |  4873124 |  3682162 |     4889   1980 |        0 |        0
714.18/714.33	c  714s |      24 |  4883734 |  3691062 |     4889   1983 |        0 |        0
716.18/716.34	c  716s |      24 |  4894292 |  3699962 |     4889   1987 |        0 |        0
718.18/718.36	c  718s |      24 |  4904946 |  3708662 |     4889   1990 |        0 |        0
720.17/720.38	c  720s |      24 |  4915182 |  3716562 |     4889   1993 |        0 |        0
722.28/722.40	c  722s |      24 |  4925366 |  3725462 |     4889   1997 |        0 |        0
724.28/724.47	c  724s |      24 |  4937038 |  3734562 |     4889   2001 |        0 |        0
726.28/726.48	c  726s |      24 |  4950223 |  3744062 |     4889   2005 |        0 |        0
728.38/728.50	c  728s |      24 |  4964363 |  3753362 |     4889   2008 |        0 |        0
730.39/730.50	c  730s |      24 |  4975373 |  3762662 |     4889   2012 |        0 |        0
732.38/732.52	c  732s |      24 |  4985892 |  3771162 |     4889   2016 |        0 |        0
734.38/734.52	c  734s |      24 |  4996969 |  3780662 |     4889   2019 |        0 |        0
736.38/736.54	c  736s |      24 |  5009779 |  3790462 |     4889   2023 |        0 |        0
738.37/738.55	c  738s |      24 |  5022689 |  3800362 |     4889   2027 |        0 |        0
740.37/740.56	c  740s |      24 |  5034440 |  3809962 |     4889   2031 |        0 |        0
742.38/742.57	c  742s |      24 |  5046128 |  3819662 |     4889   2035 |        0 |        0
744.47/744.61	c  744s |      24 |  5059904 |  3829662 |     4889   2039 |        0 |        0
746.47/746.62	c  746s |      24 |  5072496 |  3838962 |     4889   2043 |        0 |        0
748.47/748.64	c  748s |      24 |  5083763 |  3847962 |     4889   2047 |        0 |        0
750.48/750.65	c  750s |      24 |  5094881 |  3857162 |     4889   2050 |        0 |        0
752.48/752.65	c  752s |      24 |  5106040 |  3866062 |     4889   2054 |        0 |        0
754.48/754.66	c  754s |      24 |  5118715 |  3875562 |     4889   2058 |        0 |        0
756.48/756.67	c  756s |      24 |  5134831 |  3885162 |     4889   2062 |        0 |        0
758.48/758.68	c  758s |      24 |  5150291 |  3894862 |     4889   2066 |        0 |        0
760.58/760.70	c  760s |      24 |  5163448 |  3904562 |     4889   2070 |        0 |        0
762.58/762.71	c  762s |      24 |  5174675 |  3913662 |     4889   2073 |        0 |        0
764.57/764.73	c  764s |      24 |  5187657 |  3923162 |     4889   2077 |        0 |        0
766.58/766.74	c  766s |      24 |  5204796 |  3933062 |     4889   2081 |        0 |        0
768.67/768.80	c  768s |      24 |  5221392 |  3943462 |     4889   2085 |        0 |        0
770.67/770.82	c  770s |      24 |  5235278 |  3953062 |     4889   2089 |        0 |        0
772.67/772.82	c  772s |      24 |  5250944 |  3962462 |     4889   2093 |        0 |        0
774.67/774.83	c  774s |      24 |  5263476 |  3971662 |     4889   2097 |        0 |        0
776.67/776.84	c  776s |      24 |  5275068 |  3981062 |     4889   2100 |        0 |        0
778.68/778.86	c  778s |      24 |  5287348 |  3990462 |     4889   2104 |        0 |        0
780.67/780.87	c  780s |      24 |  5298809 |  3999862 |     4889   2108 |        0 |        0
782.67/782.87	c  782s |      24 |  5310653 |  4008962 |     4889   2112 |        0 |        0
784.67/784.88	c  784s |      24 |  5324412 |  4018962 |     4889   2116 |        0 |        0
786.67/786.89	c  786s |      24 |  5336924 |  4028662 |     4889   2119 |        0 |        0
788.77/788.90	c  788s |      24 |  5348651 |  4037562 |     4889   2123 |        0 |        0
790.67/790.90	c  790s |      24 |  5359336 |  4046762 |     4889   2127 |        0 |        0
792.77/792.91	c  792s |      24 |  5370138 |  4055562 |     4889   2130 |        0 |        0
794.77/794.92	c  794s |      24 |  5379885 |  4064262 |     4889   2134 |        0 |        0
796.77/796.92	c  796s |      24 |  5390439 |  4072962 |     4889   2137 |        0 |        0
798.77/798.94	c  798s |      24 |  5403181 |  4082562 |     4889   2141 |        0 |        0
800.77/800.95	c  800s |      24 |  5413683 |  4091362 |     4889   2145 |        0 |        0
802.76/802.97	c  802s |      24 |  5425777 |  4100962 |     4889   2149 |        0 |        0
804.76/804.97	c  804s |      24 |  5437661 |  4110462 |     4889   2152 |        0 |        0
806.76/806.98	c  806s |      24 |  5450107 |  4119762 |     4889   2156 |        0 |        0
808.86/809.00	c  808s |      24 |  5463617 |  4129862 |     4889   2160 |        0 |        0
810.86/811.00	c  810s |      24 |  5476045 |  4139362 |     4889   2164 |        0 |        0
812.87/813.01	c  812s |      24 |  5487868 |  4148362 |     4889   2168 |        0 |        0
814.87/815.01	c  814s |      24 |  5500792 |  4158762 |     4889   2172 |        0 |        0
816.87/817.02	c  816s |      24 |  5511678 |  4167462 |     4889   2175 |        0 |        0
818.87/819.02	c  818s |      24 |  5523212 |  4177262 |     4889   2179 |        0 |        0
820.87/821.03	c  821s |      24 |  5534649 |  4186862 |     4889   2183 |        0 |        0
822.86/823.04	c  823s |      24 |  5549188 |  4196262 |     4889   2187 |        0 |        0
824.87/825.05	c  825s |      24 |  5562379 |  4205662 |     4889   2191 |        0 |        0
826.86/827.05	c  827s |      24 |  5577113 |  4215062 |     4889   2195 |        0 |        0
828.86/829.06	c  829s |      24 |  5589323 |  4224862 |     4889   2198 |        0 |        0
830.86/831.08	c  831s |      24 |  5601745 |  4234662 |     4889   2202 |        0 |        0
832.86/833.09	c  833s |      24 |  5613961 |  4244062 |     4889   2206 |        0 |        0
834.87/835.09	c  835s |      24 |  5627892 |  4253562 |     4889   2210 |        0 |        0
836.96/837.11	c  837s |      24 |  5641674 |  4263462 |     4889   2214 |        0 |        0
838.97/839.11	c  839s |      24 |  5656511 |  4273362 |     4889   2218 |        0 |        0
840.96/841.13	c  841s |      24 |  5671476 |  4283462 |     4889   2222 |        0 |        0
842.96/843.13	c  843s |      24 |  5686327 |  4292962 |     4889   2226 |        0 |        0
844.96/845.14	c  845s |      24 |  5702109 |  4302862 |     4889   2230 |        0 |        0
846.97/847.15	c  847s |      24 |  5715101 |  4312862 |     4889   2234 |        0 |        0
848.96/849.16	c  849s |      24 |  5731232 |  4322562 |     4889   2238 |        0 |        0
850.96/851.17	c  851s |      24 |  5747405 |  4332762 |     4889   2242 |        0 |        0
852.96/853.17	c  853s |      24 |  5762483 |  4342062 |     4889   2246 |        0 |        0
854.96/855.18	c  855s |      24 |  5776002 |  4351362 |     4889   2250 |        0 |        0
857.06/857.21	c  857s |      24 |  5789369 |  4360962 |     4889   2254 |        0 |        0
859.07/859.22	c  859s |      24 |  5802022 |  4370662 |     4889   2257 |        0 |        0
861.06/861.23	c  861s |      24 |  5815064 |  4379962 |     4889   2261 |        0 |        0
863.06/863.24	c  863s |      24 |  5826364 |  4389362 |     4889   2265 |        0 |        0
865.06/865.24	c  865s |      24 |  5837738 |  4398962 |     4889   2269 |        0 |        0
867.06/867.25	c  867s |      24 |  5850465 |  4407962 |     4889   2272 |        0 |        0
869.05/869.27	c  869s |      24 |  5861882 |  4416962 |     4889   2276 |        0 |        0
871.06/871.29	c  871s |      24 |  5872840 |  4426162 |     4889   2280 |        0 |        0
873.15/873.32	c  873s |      24 |  5884325 |  4435662 |     4889   2284 |        0 |        0
875.16/875.32	c  875s |      24 |  5899336 |  4446562 |     4889   2288 |        0 |        0
877.16/877.33	c  877s |      24 |  5913261 |  4456462 |     4889   2292 |        0 |        0
879.16/879.34	c  879s |      24 |  5925438 |  4465862 |     4889   2296 |        0 |        0
881.16/881.36	c  881s |      24 |  5940686 |  4476562 |     4889   2300 |        0 |        0
883.16/883.36	c  883s |      24 |  5951428 |  4484762 |     4889   2304 |        0 |        0
885.16/885.38	c  885s |      24 |  5964987 |  4494262 |     4889   2307 |        0 |        0
887.25/887.40	c  887s |      24 |  5979569 |  4504262 |     4889   2311 |        0 |        0
889.25/889.41	c  889s |      24 |  5991988 |  4513962 |     4889   2315 |        0 |        0
891.25/891.44	c  891s |      24 |  6004416 |  4523262 |     4889   2319 |        0 |        0
893.25/893.44	c  893s |      24 |  6018473 |  4532862 |     4889   2323 |        0 |        0
895.26/895.44	c  895s |      24 |  6033063 |  4542562 |     4889   2327 |        0 |        0
897.25/897.44	c  897s |      24 |  6047761 |  4552462 |     4889   2331 |        0 |        0
899.25/899.46	c  899s |      24 |  6061819 |  4562662 |     4889   2335 |        0 |        0
901.25/901.47	c  901s |      24 |  6073983 |  4571562 |     4889   2339 |        0 |        0
903.25/903.48	c  903s |      24 |  6087143 |  4580962 |     4889   2342 |        0 |        0
905.26/905.49	c  905s |      24 |  6101250 |  4590462 |     4889   2346 |        0 |        0
907.26/907.49	c  907s |      24 |  6112433 |  4599562 |     4889   2350 |        0 |        0
909.35/909.51	c  909s |      24 |  6124542 |  4608162 |     4889   2353 |        0 |        0
911.35/911.52	c  911s |      24 |  6136934 |  4617662 |     4889   2357 |        0 |        0
913.35/913.53	c  913s |      24 |  6148071 |  4626362 |     4889   2361 |        0 |        0
915.35/915.54	c  915s |      24 |  6160232 |  4635562 |     4889   2364 |        0 |        0
917.36/917.57	c  917s |      24 |  6170147 |  4644062 |     4889   2368 |        0 |        0
919.35/919.58	c  919s |      24 |  6180510 |  4653162 |     4889   2372 |        0 |        0
921.35/921.59	c  921s |      24 |  6191011 |  4662162 |     4889   2375 |        0 |        0
923.45/923.61	c  923s |      24 |  6203052 |  4671362 |     4889   2379 |        0 |        0
925.45/925.66	c  925s |      24 |  6214704 |  4680962 |     4889   2383 |        0 |        0
927.45/927.67	c  927s |      24 |  6226469 |  4690862 |     4889   2387 |        0 |        0
929.45/929.67	c  929s |      24 |  6238575 |  4700962 |     4889   2391 |        0 |        0
931.44/931.67	c  931s |      24 |  6249789 |  4710062 |     4889   2395 |        0 |        0
933.44/933.68	c  933s |      24 |  6261968 |  4719762 |     4889   2398 |        0 |        0
935.54/935.72	c  935s |      24 |  6275054 |  4729962 |     4889   2403 |        0 |        0
937.54/937.75	c  937s |      24 |  6287879 |  4739962 |     4889   2407 |        0 |        0
939.54/939.76	c  939s |      24 |  6298976 |  4749362 |     4889   2410 |        0 |        0
941.55/941.76	c  941s |      24 |  6310628 |  4758762 |     4889   2414 |        0 |        0
943.54/943.78	c  943s |      24 |  6323911 |  4768262 |     4889   2418 |        0 |        0
945.65/945.81	c  945s |      24 |  6334532 |  4777162 |     4889   2422 |        0 |        0
947.65/947.83	c  947s |      24 |  6347738 |  4787362 |     4889   2426 |        0 |        0
949.65/949.83	c  949s |      24 |  6360555 |  4797062 |     4889   2430 |        0 |        0
951.65/951.84	c  951s |      24 |  6376402 |  4807062 |     4889   2433 |        0 |        0
953.65/953.84	c  953s |      24 |  6387792 |  4816262 |     4889   2437 |        0 |        0
955.65/955.84	c  955s |      24 |  6399129 |  4825762 |     4889   2441 |        0 |        0
957.65/957.87	c  957s |      24 |  6409956 |  4834962 |     4889   2445 |        0 |        0
959.64/959.88	c  959s |      24 |  6423365 |  4844462 |     4889   2449 |        0 |        0
961.64/961.89	c  961s |      24 |  6435149 |  4854062 |     4889   2452 |        0 |        0
963.74/963.91	c  963s |      24 |  6448045 |  4864062 |     4889   2456 |        0 |        0
965.75/965.92	c  965s |      24 |  6460930 |  4873762 |     4889   2460 |        0 |        0
967.74/967.93	c  967s |      24 |  6474010 |  4883962 |     4889   2464 |        0 |        0
969.74/969.95	c  969s |      24 |  6485896 |  4894262 |     4889   2469 |        0 |        0
971.74/971.96	c  971s |      24 |  6497290 |  4903762 |     4889   2472 |        0 |        0
973.74/973.97	c  973s |      24 |  6509689 |  4913362 |     4889   2476 |        0 |        0
975.74/975.99	c  975s |      24 |  6521548 |  4922862 |     4889   2480 |        0 |        0
977.74/978.00	c  977s |      24 |  6534676 |  4932762 |     4889   2484 |        0 |        0
979.84/980.01	c  979s |      24 |  6545061 |  4941762 |     4889   2488 |        0 |        0
981.84/982.01	c  981s |      24 |  6555959 |  4950962 |     4889   2491 |        0 |        0
983.84/984.02	c  983s |      24 |  6567380 |  4960562 |     4889   2495 |        0 |        0
985.84/986.04	c  986s |      24 |  6578759 |  4969862 |     4889   2499 |        0 |        0
987.84/988.05	c  988s |      24 |  6590128 |  4978862 |     4889   2503 |        0 |        0
989.84/990.06	c  990s |      24 |  6601169 |  4988062 |     4889   2506 |        0 |        0
991.84/992.07	c  992s |      24 |  6613826 |  4996462 |     4889   2510 |        0 |        0
993.84/994.09	c  994s |      24 |  6626683 |  5004662 |     4889   2513 |        0 |        0
995.93/996.11	c  996s |      24 |  6639078 |  5013262 |     4889   2516 |        0 |        0
997.93/998.12	c  998s |      24 |  6656042 |  5021962 |     4889   2520 |        0 |        0
999.94/1000.13	c 1000s |      24 |  6667552 |  5030162 |     5378   2523 |        0 |        0
1001.95/1002.16	c 1002s |      24 |  6678119 |  5037962 |     5378   2526 |        0 |        0
1003.94/1004.18	c 1004s |      24 |  6689778 |  5046262 |     5378   2529 |        0 |        0
1005.94/1006.19	c 1006s |      24 |  6700295 |  5054262 |     5378   2532 |        0 |        0
1007.94/1008.19	c 1008s |      24 |  6709721 |  5062562 |     5378   2535 |        0 |        0
1008.64/1008.85	c 1008s |      25 |  6712577 |  5065098 |     5378   2536 |        0 |        0
1010.64/1010.87	c 1010s |      25 |  6723869 |  5074698 |     5378   2539 |        0 |        0
1012.64/1012.88	c 1012s |      25 |  6735678 |  5084698 |     5378   2543 |        0 |        0
1014.74/1014.90	c 1014s |      25 |  6746351 |  5093998 |     5378   2547 |        0 |        0
1016.74/1016.90	c 1016s |      25 |  6756712 |  5103098 |     5378   2550 |        0 |        0
1018.74/1018.91	c 1018s |      25 |  6767850 |  5112598 |     5378   2553 |        0 |        0
1020.74/1020.92	c 1020s |      25 |  6782436 |  5121998 |     5378   2557 |        0 |        0
1022.73/1022.98	c 1022s |      25 |  6801091 |  5132098 |     5378   2561 |        0 |        0
1024.73/1024.99	c 1024s |      25 |  6812094 |  5140498 |     5378   2564 |        0 |        0
1026.83/1027.01	c 1026s |      25 |  6822107 |  5148498 |     5378   2567 |        0 |        0
1028.83/1029.06	c 1029s |      25 |  6832781 |  5157598 |     5378   2570 |        0 |        0
1030.83/1031.06	c 1031s |      25 |  6845252 |  5166998 |     5378   2573 |        0 |        0
1032.83/1033.07	c 1033s |      25 |  6858449 |  5176898 |     5378   2577 |        0 |        0
1034.83/1035.07	c 1035s |      25 |  6870857 |  5185998 |     5378   2580 |        0 |        0
1036.83/1037.09	c 1037s |      25 |  6883763 |  5195098 |     5378   2584 |        0 |        0
1038.83/1039.09	c 1039s |      25 |  6901721 |  5205598 |     5378   2588 |        0 |        0
1040.93/1041.11	c 1041s |      25 |  6917950 |  5214698 |     5378   2591 |        0 |        0
1042.93/1043.12	c 1043s |      25 |  6934018 |  5224798 |     5378   2595 |        0 |        0
1044.94/1045.14	c 1045s |      25 |  6949813 |  5234098 |     5378   2598 |        0 |        0
1046.93/1047.14	c 1047s |      25 |  6967174 |  5242898 |     5378   2601 |        0 |        0
1048.93/1049.15	c 1049s |      25 |  6988116 |  5252098 |     5378   2605 |        0 |        0
1050.93/1051.18	c 1051s |      25 |  6999832 |  5260398 |     5378   2608 |        0 |        0
1052.93/1053.19	c 1053s |      25 |  7011201 |  5268998 |     5378   2611 |        0 |        0
1055.02/1055.22	c 1055s |      25 |  7024656 |  5277398 |     5378   2614 |        0 |        0
1057.03/1057.24	c 1057s |      25 |  7041946 |  5286598 |     5378   2617 |        0 |        0
1059.02/1059.26	c 1059s |      25 |  7052138 |  5294898 |     5378   2620 |        0 |        0
1061.03/1061.29	c 1061s |      25 |  7065979 |  5303898 |     5378   2624 |        0 |        0
1063.13/1063.31	c 1063s |      25 |  7076286 |  5312498 |     5378   2627 |        0 |        0
1065.13/1065.32	c 1065s |      25 |  7087434 |  5321098 |     5378   2630 |        0 |        0
1067.13/1067.33	c 1067s |      25 |  7097431 |  5329598 |     5378   2633 |        0 |        0
1069.14/1069.34	c 1069s |      25 |  7109526 |  5338098 |     5378   2636 |        0 |        0
1071.13/1071.35	c 1071s |      25 |  7120944 |  5347298 |     5378   2639 |        0 |        0
1073.13/1073.36	c 1073s |      25 |  7131664 |  5356098 |     5378   2643 |        0 |        0
1075.13/1075.38	c 1075s |      25 |  7141054 |  5364098 |     5378   2646 |        0 |        0
1077.13/1077.38	c 1077s |      25 |  7153211 |  5374398 |     5378   2649 |        0 |        0
1079.13/1079.39	c 1079s |      25 |  7164289 |  5383998 |     5378   2653 |        0 |        0
1081.23/1081.41	c 1081s |      25 |  7176135 |  5393898 |     5378   2656 |        0 |        0
1083.22/1083.43	c 1083s |      25 |  7188111 |  5404198 |     5378   2660 |        0 |        0
1085.22/1085.43	c 1085s |      25 |  7198917 |  5413598 |     5378   2664 |        0 |        0
1087.22/1087.44	c 1087s |      25 |  7210402 |  5423398 |     5378   2667 |        0 |        0
1089.22/1089.49	c 1089s |      25 |  7222153 |  5432998 |     5378   2671 |        0 |        0
1091.32/1091.50	c 1091s |      25 |  7233109 |  5442298 |     5378   2674 |        0 |        0
1093.32/1093.51	c 1093s |      25 |  7243065 |  5450798 |     5378   2677 |        0 |        0
1095.31/1095.52	c 1095s |      25 |  7253767 |  5459798 |     5378   2681 |        0 |        0
1097.31/1097.54	c 1097s |      25 |  7264613 |  5469198 |     5378   2684 |        0 |        0
1099.41/1099.61	c 1099s |      25 |  7275147 |  5477698 |     5378   2687 |        0 |        0
1101.41/1101.62	c 1101s |      25 |  7287401 |  5487498 |     5378   2691 |        0 |        0
1103.41/1103.64	c 1103s |      25 |  7297246 |  5496098 |     5378   2694 |        0 |        0
1105.42/1105.65	c 1105s |      25 |  7308320 |  5505098 |     5378   2697 |        0 |        0
1107.41/1107.68	c 1107s |      25 |  7319022 |  5513698 |     5378   2701 |        0 |        0
1109.51/1109.70	c 1109s |      25 |  7328805 |  5522398 |     5378   2704 |        0 |        0
1111.51/1111.71	c 1111s |      25 |  7338731 |  5530698 |     5378   2707 |        0 |        0
1113.50/1113.72	c 1113s |      25 |  7349773 |  5540198 |     5378   2710 |        0 |        0
1115.60/1115.86	c 1115s |      25 |  7360569 |  5549198 |     5378   2714 |        0 |        0
1117.61/1117.86	c 1117s |      25 |  7372040 |  5558798 |     5378   2717 |        0 |        0
1119.72/1119.95	c 1119s |      25 |  7383568 |  5568598 |     5378   2721 |        0 |        0
1121.71/1121.95	c 1121s |      25 |  7395081 |  5578098 |     5378   2724 |        0 |        0
1123.71/1123.97	c 1123s |      25 |  7405368 |  5586298 |     5378   2727 |        0 |        0
1125.71/1125.97	c 1125s |      25 |  7416846 |  5596198 |     5378   2731 |        0 |        0
1127.70/1127.99	c 1127s |      25 |  7428128 |  5605498 |     5378   2734 |        0 |        0
1129.80/1130.09	c 1130s |      25 |  7439187 |  5614398 |     5378   2738 |        0 |        0
1131.80/1132.09	c 1132s |      25 |  7450755 |  5623598 |     5378   2741 |        0 |        0
1133.90/1134.12	c 1134s |      25 |  7462231 |  5633098 |     5378   2744 |        0 |        0
1135.89/1136.13	c 1136s |      25 |  7471520 |  5640798 |     5378   2747 |        0 |        0
1137.89/1138.14	c 1138s |      25 |  7481931 |  5649698 |     5378   2751 |        0 |        0
1139.89/1140.15	c 1140s |      25 |  7492121 |  5657798 |     5378   2754 |        0 |        0
1141.89/1142.17	c 1142s |      25 |  7502950 |  5666998 |     5378   2757 |        0 |        0
1143.90/1144.17	c 1144s |      25 |  7513450 |  5675298 |     5378   2760 |        0 |        0
1145.90/1146.18	c 1146s |      25 |  7526444 |  5684298 |     5378   2763 |        0 |        0
1148.00/1148.23	c 1148s |      25 |  7537558 |  5693098 |     5378   2767 |        0 |        0
1149.99/1150.25	c 1150s |      25 |  7548455 |  5701698 |     5378   2770 |        0 |        0
1151.99/1152.27	c 1152s |      25 |  7559161 |  5710898 |     5378   2773 |        0 |        0
1153.99/1154.27	c 1154s |      25 |  7568726 |  5719598 |     5378   2776 |        0 |        0
1156.00/1156.29	c 1156s |      25 |  7579746 |  5728498 |     5378   2780 |        0 |        0
1157.99/1158.29	c 1158s |      25 |  7589791 |  5737198 |     5378   2783 |        0 |        0
1160.09/1160.30	c 1160s |      25 |  7600587 |  5746498 |     5378   2786 |        0 |        0
1162.08/1162.32	c 1162s |      25 |  7611911 |  5755798 |     5378   2790 |        0 |        0
1164.18/1164.44	c 1164s |      25 |  7623499 |  5764898 |     5378   2793 |        0 |        0
1166.18/1166.46	c 1166s |      25 |  7637504 |  5774498 |     5378   2796 |        0 |        0
1168.19/1168.46	c 1168s |      25 |  7646838 |  5782698 |     5378   2799 |        0 |        0
1170.29/1170.51	c 1170s |      25 |  7657254 |  5791198 |     5378   2803 |        0 |        0
1172.28/1172.54	c 1172s |      25 |  7667791 |  5799598 |     5378   2806 |        0 |        0
1174.28/1174.55	c 1174s |      25 |  7678046 |  5808098 |     5378   2809 |        0 |        0
1176.28/1176.55	c 1176s |      25 |  7687639 |  5816298 |     5378   2812 |        0 |        0
1178.28/1178.55	c 1178s |      25 |  7697685 |  5824498 |     5378   2815 |        0 |        0
1180.28/1180.57	c 1180s |      25 |  7707648 |  5832998 |     5378   2818 |        0 |        0
1182.28/1182.58	c 1182s |      25 |  7718170 |  5841798 |     5378   2821 |        0 |        0
1184.27/1184.59	c 1184s |      25 |  7727584 |  5849598 |     5378   2824 |        0 |        0
1186.37/1186.61	c 1186s |      25 |  7738497 |  5858398 |     5378   2827 |        0 |        0
1188.37/1188.62	c 1188s |      25 |  7749732 |  5867798 |     5378   2831 |        0 |        0
1190.37/1190.64	c 1190s |      25 |  7759701 |  5875498 |     5378   2834 |        0 |        0
1192.36/1192.65	c 1192s |      25 |  7770194 |  5884098 |     5378   2837 |        0 |        0
1194.37/1194.69	c 1194s |      25 |  7780377 |  5892498 |     5378   2840 |        0 |        0
1196.36/1196.69	c 1196s |      25 |  7792501 |  5900998 |     5378   2843 |        0 |        0
1198.46/1198.70	c 1198s |      25 |  7803120 |  5909398 |     5378   2846 |        0 |        0
1200.46/1200.70	c 1200s |      25 |  7813213 |  5917698 |     5378   2849 |        0 |        0
1202.46/1202.78	c 1202s |      25 |  7823188 |  5925898 |     5378   2852 |        0 |        0
1204.46/1204.78	c 1204s |      25 |  7834219 |  5934998 |     5378   2855 |        0 |        0
1206.46/1206.80	c 1206s |      25 |  7844361 |  5943898 |     5378   2859 |        0 |        0
1208.56/1208.82	c 1208s |      25 |  7855823 |  5953398 |     5378   2862 |        0 |        0
1210.57/1210.82	c 1210s |      25 |  7866058 |  5961898 |     5378   2865 |        0 |        0
1212.56/1212.82	c 1212s |      25 |  7876334 |  5970598 |     5378   2868 |        0 |        0
1214.56/1214.86	c 1214s |      25 |  7886465 |  5979298 |     5378   2872 |        0 |        0
1216.56/1216.87	c 1216s |      25 |  7897893 |  5988798 |     5378   2875 |        0 |        0
1218.56/1218.88	c 1218s |      25 |  7907025 |  5996598 |     5378   2878 |        0 |        0
1220.65/1220.90	c 1220s |      25 |  7917722 |  6005398 |     5378   2881 |        0 |        0
1222.65/1222.92	c 1222s |      25 |  7926746 |  6013098 |     5378   2884 |        0 |        0
1224.65/1224.94	c 1224s |      25 |  7936311 |  6020998 |     5378   2887 |        0 |        0
1226.65/1226.96	c 1226s |      25 |  7945879 |  6028898 |     5378   2890 |        0 |        0
1228.65/1228.97	c 1228s |      25 |  7956071 |  6036498 |     5378   2892 |        0 |        0
1230.76/1231.01	c 1230s |      25 |  7966623 |  6044798 |     5378   2896 |        0 |        0
1232.75/1233.05	c 1233s |      25 |  7975592 |  6052198 |     5378   2898 |        0 |        0
1234.75/1235.06	c 1235s |      25 |  7992738 |  6061898 |     5378   2902 |        0 |        0
1236.75/1237.06	c 1237s |      25 |  8006273 |  6070398 |     5378   2905 |        0 |        0
1238.75/1239.06	c 1239s |      25 |  8016698 |  6079298 |     5378   2908 |        0 |        0
1240.75/1241.08	c 1241s |      25 |  8026797 |  6087998 |     5378   2911 |        0 |        0
1242.75/1243.09	c 1243s |      25 |  8037547 |  6096298 |     5378   2914 |        0 |        0
1244.74/1245.09	c 1245s |      25 |  8048204 |  6105198 |     5378   2918 |        0 |        0
1246.84/1247.10	c 1247s |      25 |  8059489 |  6114398 |     5378   2921 |        0 |        0
1248.84/1249.10	c 1249s |      25 |  8069131 |  6122798 |     5378   2924 |        0 |        0
1250.84/1251.12	c 1251s |      25 |  8079805 |  6131998 |     5378   2927 |        0 |        0
1252.84/1253.13	c 1253s |      25 |  8088961 |  6140098 |     5378   2930 |        0 |        0
1254.84/1255.14	c 1255s |      25 |  8099327 |  6149098 |     5378   2934 |        0 |        0
1256.84/1257.15	c 1257s |      25 |  8109972 |  6158298 |     5378   2937 |        0 |        0
1258.83/1259.18	c 1259s |      25 |  8121255 |  6167698 |     5378   2941 |        0 |        0
1260.93/1261.20	c 1261s |      25 |  8130635 |  6175598 |     5378   2943 |        0 |        0
1262.93/1263.22	c 1263s |      25 |  8141876 |  6184198 |     5378   2947 |        0 |        0
1264.93/1265.23	c 1265s |      25 |  8152461 |  6192398 |     5378   2950 |        0 |        0
1266.94/1267.25	c 1267s |      25 |  8168626 |  6200798 |     5378   2953 |        0 |        0
1268.93/1269.27	c 1269s |      25 |  8178337 |  6208798 |     5378   2956 |        0 |        0
1271.02/1271.36	c 1271s |      25 |  8188409 |  6217398 |     5378   2959 |        0 |        0
1273.02/1273.37	c 1273s |      25 |  8198610 |  6225898 |     5378   2962 |        0 |        0
1275.02/1275.38	c 1275s |      25 |  8209057 |  6234498 |     5378   2965 |        0 |        0
1277.02/1277.38	c 1277s |      25 |  8218396 |  6242598 |     5378   2968 |        0 |        0
1279.03/1279.39	c 1279s |      25 |  8229286 |  6250998 |     5378   2971 |        0 |        0
1281.01/1281.40	c 1281s |      25 |  8238446 |  6259098 |     5378   2974 |        0 |        0
1283.11/1283.41	c 1283s |      25 |  8248260 |  6267598 |     5378   2977 |        0 |        0
1285.11/1285.41	c 1285s |      25 |  8261514 |  6276398 |     5378   2980 |        0 |        0
1287.12/1287.42	c 1287s |      25 |  8273621 |  6285598 |     5378   2984 |        0 |        0
1289.12/1289.44	c 1289s |      25 |  8286833 |  6294098 |     5378   2987 |        0 |        0
1291.12/1291.44	c 1291s |      25 |  8301050 |  6302598 |     5378   2990 |        0 |        0
1293.11/1293.46	c 1293s |      25 |  8313247 |  6311298 |     5378   2993 |        0 |        0
1295.11/1295.46	c 1295s |      25 |  8328682 |  6320298 |     5378   2996 |        0 |        0
1297.11/1297.47	c 1297s |      25 |  8344142 |  6329898 |     5378   3000 |        0 |        0
1299.11/1299.49	c 1299s |      25 |  8357725 |  6339498 |     5378   3003 |        0 |        0
1301.20/1301.53	c 1301s |      25 |  8370152 |  6348398 |     5378   3007 |        0 |        0
1303.21/1303.57	c 1303s |      25 |  8384323 |  6357898 |     5378   3010 |        0 |        0
1305.20/1305.59	c 1305s |      25 |  8395287 |  6366298 |     5378   3013 |        0 |        0
1307.30/1307.61	c 1307s |      25 |  8407021 |  6376298 |     5378   3017 |        0 |        0
1309.30/1309.61	c 1309s |      25 |  8416887 |  6384198 |     5378   3020 |        0 |        0
1311.29/1311.62	c 1311s |      25 |  8428214 |  6393498 |     5378   3023 |        0 |        0
1313.30/1313.63	c 1313s |      25 |  8440159 |  6402898 |     5378   3027 |        0 |        0
1315.31/1315.63	c 1315s |      25 |  8450248 |  6411498 |     5378   3030 |        0 |        0
1317.30/1317.66	c 1317s |      25 |  8459943 |  6419298 |     5378   3033 |        0 |        0
1319.30/1319.68	c 1319s |      25 |  8469602 |  6427998 |     5378   3036 |        0 |        0
1321.29/1321.68	c 1321s |      25 |  8481163 |  6437198 |     5378   3039 |        0 |        0
1323.29/1323.69	c 1323s |      25 |  8491605 |  6445998 |     5378   3042 |        0 |        0
1325.39/1325.70	c 1325s |      25 |  8502939 |  6455598 |     5378   3046 |        0 |        0
1327.40/1327.72	c 1327s |      25 |  8513119 |  6464298 |     5378   3049 |        0 |        0
1329.39/1329.73	c 1329s |      25 |  8523976 |  6472098 |     5378   3052 |        0 |        0
1331.39/1331.76	c 1331s |      25 |  8541601 |  6481598 |     5378   3056 |        0 |        0
1333.48/1333.83	c 1333s |      25 |  8553828 |  6490098 |     5378   3059 |        0 |        0
1335.48/1335.85	c 1335s |      25 |  8564080 |  6498898 |     5378   3062 |        0 |        0
1337.48/1337.86	c 1337s |      25 |  8575250 |  6507498 |     5378   3065 |        0 |        0
1339.49/1339.88	c 1339s |      25 |  8586841 |  6516298 |     5378   3068 |        0 |        0
1341.47/1341.89	c 1341s |      25 |  8597580 |  6524998 |     5378   3071 |        0 |        0
1343.57/1343.91	c 1343s |      25 |  8607164 |  6533298 |     5378   3074 |        0 |        0
1345.57/1345.92	c 1345s |      25 |  8617731 |  6541898 |     5378   3078 |        0 |        0
1347.57/1347.92	c 1347s |      25 |  8631342 |  6551698 |     5378   3081 |        0 |        0
1349.57/1349.93	c 1349s |      25 |  8643638 |  6561498 |     5378   3085 |        0 |        0
1351.58/1351.94	c 1351s |      25 |  8655181 |  6569698 |     5378   3088 |        0 |        0
1353.58/1353.94	c 1353s |      25 |  8666207 |  6578598 |     5378   3091 |        0 |        0
1355.58/1355.95	c 1355s |      25 |  8683604 |  6587498 |     5378   3094 |        0 |        0
1357.57/1357.97	c 1357s |      25 |  8696290 |  6597198 |     5378   3098 |        0 |        0
1359.57/1359.98	c 1359s |      25 |  8707177 |  6606498 |     5378   3101 |        0 |        0
1361.67/1362.02	c 1361s |      25 |  8717420 |  6615398 |     5378   3105 |        0 |        0
1363.68/1364.03	c 1364s |      25 |  8727976 |  6623798 |     5378   3108 |        0 |        0
1365.67/1366.04	c 1366s |      25 |  8737679 |  6632198 |     5378   3111 |        0 |        0
1367.67/1368.05	c 1368s |      25 |  8747754 |  6640898 |     5378   3114 |        0 |        0
1369.67/1370.06	c 1370s |      25 |  8757619 |  6649398 |     5378   3117 |        0 |        0
1371.66/1372.08	c 1372s |      25 |  8767417 |  6657798 |     5378   3120 |        0 |        0
1373.76/1374.10	c 1374s |      25 |  8777733 |  6666698 |     5378   3123 |        0 |        0
1375.66/1376.10	c 1376s |      25 |  8786494 |  6674398 |     5378   3126 |        0 |        0
1377.76/1378.12	c 1378s |      25 |  8796643 |  6683298 |     5378   3129 |        0 |        0
1379.76/1380.12	c 1380s |      25 |  8806733 |  6691798 |     5378   3132 |        0 |        0
1381.76/1382.13	c 1382s |      25 |  8817016 |  6700398 |     5378   3136 |        0 |        0
1383.76/1384.14	c 1384s |      25 |  8827197 |  6708598 |     5378   3139 |        0 |        0
1385.76/1386.15	c 1386s |      25 |  8838289 |  6717398 |     5378   3142 |        0 |        0
1387.75/1388.16	c 1388s |      25 |  8848615 |  6725498 |     5378   3145 |        0 |        0
1389.75/1390.18	c 1390s |      25 |  8860142 |  6733798 |     5378   3148 |        0 |        0
1391.86/1392.20	c 1392s |      25 |  8869758 |  6741398 |     5378   3151 |        0 |        0
1393.86/1394.21	c 1394s |      25 |  8879656 |  6748698 |     5378   3153 |        0 |        0
1395.86/1396.23	c 1396s |      25 |  8890738 |  6756998 |     5378   3156 |        0 |        0
1397.86/1398.24	c 1398s |      25 |  8902404 |  6765798 |     5378   3160 |        0 |        0
1399.85/1400.25	c 1400s |      25 |  8913980 |  6774298 |     5378   3163 |        0 |        0
1401.85/1402.27	c 1402s |      25 |  8922655 |  6781798 |     5378   3165 |        0 |        0
1403.95/1404.31	c 1404s |      25 |  8932144 |  6790198 |     5378   3169 |        0 |        0
1405.95/1406.31	c 1406s |      25 |  8942323 |  6798998 |     5378   3172 |        0 |        0
1407.95/1408.32	c 1408s |      25 |  8951406 |  6807098 |     5378   3175 |        0 |        0
1409.95/1410.37	c 1410s |      25 |  8959971 |  6814798 |     5378   3178 |        0 |        0
1411.94/1412.39	c 1412s |      25 |  8969285 |  6822798 |     5378   3180 |        0 |        0
1414.04/1414.40	c 1414s |      25 |  8978242 |  6830798 |     5378   3183 |        0 |        0
1416.04/1416.41	c 1416s |      25 |  8987831 |  6839298 |     5378   3186 |        0 |        0
1418.04/1418.42	c 1418s |      25 |  8997389 |  6847598 |     5378   3189 |        0 |        0
1420.04/1420.44	c 1420s |      25 |  9007735 |  6856498 |     5378   3193 |        0 |        0
1422.04/1422.45	c 1422s |      25 |  9017643 |  6864798 |     5378   3196 |        0 |        0
1424.03/1424.46	c 1424s |      25 |  9028252 |  6873898 |     5378   3199 |        0 |        0
1426.03/1426.48	c 1426s |      25 |  9038290 |  6882198 |     5378   3202 |        0 |        0
1428.04/1428.49	c 1428s |      25 |  9049178 |  6891198 |     5378   3206 |        0 |        0
1430.14/1430.54	c 1430s |      25 |  9057733 |  6898198 |     5378   3208 |        0 |        0
1432.13/1432.54	c 1432s |      25 |  9068106 |  6906998 |     5378   3211 |        0 |        0
1434.14/1434.56	c 1434s |      25 |  9079107 |  6915698 |     5378   3215 |        0 |        0
1436.13/1436.58	c 1436s |      25 |  9088997 |  6923798 |     5378   3217 |        0 |        0
1438.23/1438.60	c 1438s |      25 |  9099805 |  6932398 |     5378   3221 |        0 |        0
1440.23/1440.61	c 1440s |      25 |  9110139 |  6941198 |     5378   3224 |        0 |        0
1442.22/1442.62	c 1442s |      25 |  9120095 |  6949898 |     5378   3227 |        0 |        0
1444.22/1444.64	c 1444s |      25 |  9128117 |  6956798 |     5378   3230 |        0 |        0
1446.23/1446.69	c 1446s |      25 |  9138207 |  6964998 |     5378   3233 |        0 |        0
1448.22/1448.70	c 1448s |      25 |  9149021 |  6973298 |     5378   3236 |        0 |        0
1450.32/1450.71	c 1450s |      25 |  9159779 |  6981998 |     5378   3239 |        0 |        0
1452.31/1452.71	c 1452s |      25 |  9169354 |  6990198 |     5378   3242 |        0 |        0
1454.31/1454.71	c 1454s |      25 |  9179478 |  6998998 |     5378   3245 |        0 |        0
1456.31/1456.73	c 1456s |      25 |  9188973 |  7006398 |     5378   3248 |        0 |        0
1458.32/1458.74	c 1458s |      25 |  9198407 |  7014298 |     5378   3251 |        0 |        0
1460.31/1460.74	c 1460s |      25 |  9208613 |  7022998 |     5378   3254 |        0 |        0
1462.31/1462.77	c 1462s |      25 |  9218984 |  7031298 |     5378   3257 |        0 |        0
1464.31/1464.78	c 1464s |      25 |  9229540 |  7039198 |     5378   3260 |        0 |        0
1466.41/1466.80	c 1466s |      25 |  9239428 |  7047298 |     5378   3263 |        0 |        0
1468.40/1468.82	c 1468s |      25 |  9249963 |  7055698 |     5378   3266 |        0 |        0
1470.41/1470.83	c 1470s |      25 |  9261495 |  7064398 |     5378   3269 |        0 |        0
1472.40/1472.84	c 1472s |      25 |  9271691 |  7072398 |     5378   3272 |        0 |        0
1474.40/1474.84	c 1474s |      25 |  9282992 |  7080698 |     5378   3275 |        0 |        0
1476.40/1476.87	c 1476s |      25 |  9294301 |  7089198 |     5378   3278 |        0 |        0
1478.40/1478.88	c 1478s |      25 |  9304038 |  7097598 |     5378   3281 |        0 |        0
1480.40/1480.89	c 1480s |      25 |  9313925 |  7105698 |     5378   3284 |        0 |        0
1482.51/1482.91	c 1482s |      25 |  9323507 |  7113598 |     5378   3287 |        0 |        0
1484.50/1484.91	c 1484s |      25 |  9333764 |  7122198 |     5378   3290 |        0 |        0
1486.50/1486.93	c 1486s |      25 |  9343764 |  7130698 |     5378   3293 |        0 |        0
1488.50/1488.97	c 1488s |      25 |  9354330 |  7139098 |     5378   3297 |        0 |        0
1490.49/1490.97	c 1490s |      25 |  9363224 |  7146798 |     5378   3299 |        0 |        0
1492.49/1492.99	c 1492s |      25 |  9372027 |  7154498 |     5378   3302 |        0 |        0
1494.59/1495.00	c 1494s |      25 |  9381833 |  7163098 |     5378   3305 |        0 |        0
1496.58/1497.02	c 1496s |      25 |  9391842 |  7171698 |     5378   3308 |        0 |        0
1498.58/1499.05	c 1499s |      25 |  9400847 |  7179598 |     5378   3311 |        0 |        0
1500.58/1501.07	c 1501s |      25 |  9409569 |  7187398 |     5378   3314 |        0 |        0
1502.58/1503.08	c 1503s |      25 |  9418698 |  7195598 |     5378   3317 |        0 |        0
1504.57/1505.09	c 1505s |      25 |  9427505 |  7203398 |     5378   3320 |        0 |        0
1506.68/1507.11	c 1507s |      25 |  9436828 |  7211498 |     5378   3323 |        0 |        0
1508.67/1509.11	c 1509s |      25 |  9446308 |  7219598 |     5378   3326 |        0 |        0
1510.68/1511.12	c 1511s |      25 |  9455496 |  7227698 |     5378   3329 |        0 |        0
1512.68/1513.13	c 1513s |      25 |  9464810 |  7235598 |     5378   3332 |        0 |        0
1514.68/1515.15	c 1515s |      25 |  9474288 |  7243798 |     5378   3335 |        0 |        0
1516.68/1517.15	c 1517s |      25 |  9483518 |  7251898 |     5378   3338 |        0 |        0
1518.68/1519.16	c 1519s |      25 |  9492645 |  7259798 |     5378   3341 |        0 |        0
1520.67/1521.18	c 1521s |      25 |  9501262 |  7267498 |     5378   3343 |        0 |        0
1522.77/1523.20	c 1523s |      25 |  9510419 |  7275498 |     5378   3346 |        0 |        0
1524.77/1525.22	c 1525s |      25 |  9519543 |  7283498 |     5378   3349 |        0 |        0
1526.77/1527.22	c 1527s |      25 |  9529538 |  7292098 |     5378   3352 |        0 |        0
1528.77/1529.23	c 1529s |      25 |  9538810 |  7300098 |     5378   3355 |        0 |        0
1530.77/1531.26	c 1531s |      25 |  9548745 |  7308698 |     5378   3359 |        0 |        0
1532.76/1533.27	c 1533s |      25 |  9557712 |  7316598 |     5378   3361 |        0 |        0
1534.86/1535.30	c 1535s |      25 |  9566901 |  7324698 |     5378   3364 |        0 |        0
1536.86/1537.30	c 1537s |      25 |  9576294 |  7332598 |     5378   3367 |        0 |        0
1538.96/1539.44	c 1539s |      25 |  9586092 |  7340798 |     5378   3370 |        0 |        0
1540.95/1541.44	c 1541s |      25 |  9595787 |  7349298 |     5378   3373 |        0 |        0
1542.97/1543.46	c 1543s |      25 |  9605630 |  7357698 |     5378   3376 |        0 |        0
1544.96/1545.47	c 1545s |      25 |  9614941 |  7365698 |     5378   3379 |        0 |        0
1546.96/1547.49	c 1547s |      25 |  9624167 |  7373698 |     5378   3382 |        0 |        0
1548.96/1549.49	c 1549s |      25 |  9633375 |  7381798 |     5378   3385 |        0 |        0
1550.95/1551.49	c 1551s |      25 |  9642743 |  7389998 |     5378   3388 |        0 |        0
1553.05/1553.51	c 1553s |      25 |  9651574 |  7397398 |     5378   3391 |        0 |        0
1555.06/1555.53	c 1555s |      25 |  9661530 |  7405298 |     5378   3394 |        0 |        0
1557.05/1557.54	c 1557s |      25 |  9670597 |  7412998 |     5378   3397 |        0 |        0
1559.05/1559.58	c 1559s |      25 |  9679747 |  7420798 |     5378   3400 |        0 |        0
1561.14/1561.60	c 1561s |      25 |  9689328 |  7428698 |     5378   3402 |        0 |        0
1563.14/1563.62	c 1563s |      25 |  9698587 |  7436798 |     5378   3405 |        0 |        0
1565.14/1565.63	c 1565s |      25 |  9708082 |  7444898 |     5378   3408 |        0 |        0
1567.15/1567.66	c 1567s |      25 |  9716542 |  7452398 |     5378   3411 |        0 |        0
1569.14/1569.67	c 1569s |      25 |  9725614 |  7460298 |     5378   3414 |        0 |        0
1571.13/1571.68	c 1571s |      25 |  9735135 |  7468598 |     5378   3417 |        0 |        0
1573.13/1573.69	c 1573s |      25 |  9743740 |  7476098 |     5378   3420 |        0 |        0
1575.13/1575.69	c 1575s |      25 |  9752703 |  7483698 |     5378   3423 |        0 |        0
1577.24/1577.70	c 1577s |      25 |  9762938 |  7492098 |     5378   3426 |        0 |        0
1579.15/1579.70	c 1579s |      25 |  9773267 |  7500598 |     5378   3429 |        0 |        0
1581.24/1581.71	c 1581s |      25 |  9784300 |  7508998 |     5378   3432 |        0 |        0
1583.24/1583.72	c 1583s |      25 |  9795231 |  7517498 |     5378   3435 |        0 |        0
1585.24/1585.73	c 1585s |      25 |  9805655 |  7526398 |     5378   3438 |        0 |        0
1587.24/1587.73	c 1587s |      25 |  9815810 |  7534098 |     5378   3441 |        0 |        0
1589.24/1589.73	c 1589s |      25 |  9827042 |  7542898 |     5378   3444 |        0 |        0
1591.24/1591.75	c 1591s |      25 |  9836915 |  7550898 |     5916   3447 |        0 |        0
1593.23/1593.76	c 1593s |      25 |  9847068 |  7558798 |     5916   3449 |        0 |        0
1595.23/1595.76	c 1595s |      25 |  9857336 |  7567498 |     5916   3452 |        0 |        0
1597.23/1597.76	c 1597s |      25 |  9867529 |  7575898 |     5916   3455 |        0 |        0
1599.23/1599.78	c 1599s |      25 |  9877367 |  7583698 |     5916   3458 |        0 |        0
1601.32/1601.83	c 1601s |      25 |  9887430 |  7591998 |     5916   3461 |        0 |        0
1602.62/1603.11	c 1603s |      26 |  9894561 |  7597752 |     5916   3462 |        0 |        0
1604.62/1605.12	c 1605s |      26 |  9905035 |  7605052 |     5916   3465 |        0 |        0
1606.63/1607.16	c 1607s |      26 |  9917453 |  7612952 |     5916   3468 |        0 |        0
1608.62/1609.17	c 1609s |      26 |  9929088 |  7621552 |     5916   3470 |        0 |        0
1610.62/1611.18	c 1611s |      26 |  9946371 |  7630752 |     5916   3473 |        0 |        0
1612.71/1613.20	c 1613s |      26 |  9956524 |  7639052 |     5916   3476 |        0 |        0
1614.71/1615.20	c 1615s |      26 |  9965922 |  7646752 |     5916   3479 |        0 |        0
1616.71/1617.22	c 1617s |      26 |  9976526 |  7655252 |     5916   3482 |        0 |        0
1618.72/1619.22	c 1619s |      26 |  9988005 |  7664052 |     5916   3485 |        0 |        0
1620.81/1621.31	c 1621s |      26 |  9998981 |  7672752 |     5916   3488 |        0 |        0
1622.80/1623.32	c 1623s |      26 | 10010391 |  7681552 |     5916   3490 |        0 |        0
1624.81/1625.32	c 1625s |      26 | 10020808 |  7690352 |     5916   3493 |        0 |        0
1626.81/1627.33	c 1627s |      26 | 10032027 |  7698752 |     5916   3496 |        0 |        0
1628.81/1629.35	c 1629s |      26 | 10046791 |  7706752 |     5916   3499 |        0 |        0
1630.82/1631.36	c 1631s |      26 | 10064631 |  7716452 |     5916   3502 |        0 |        0
1632.80/1633.37	c 1633s |      26 | 10084326 |  7725952 |     5916   3505 |        0 |        0
1634.80/1635.37	c 1635s |      26 | 10102244 |  7734952 |     5916   3508 |        0 |        0
1636.80/1637.38	c 1637s |      26 | 10119488 |  7743852 |     5916   3511 |        0 |        0
1638.80/1639.39	c 1639s |      26 | 10135253 |  7753052 |     5916   3514 |        0 |        0
1640.89/1641.40	c 1641s |      26 | 10149228 |  7761452 |     5916   3517 |        0 |        0
1642.90/1643.41	c 1643s |      26 | 10161688 |  7770252 |     5916   3520 |        0 |        0
1644.90/1645.41	c 1645s |      26 | 10173868 |  7779052 |     5916   3523 |        0 |        0
1646.90/1647.43	c 1647s |      26 | 10186880 |  7788052 |     5916   3526 |        0 |        0
1648.90/1649.44	c 1649s |      26 | 10197019 |  7795352 |     5916   3529 |        0 |        0
1650.90/1651.46	c 1651s |      26 | 10209607 |  7804152 |     5916   3531 |        0 |        0
1652.90/1653.46	c 1653s |      26 | 10220837 |  7812052 |     5916   3534 |        0 |        0
1654.89/1655.48	c 1655s |      26 | 10232634 |  7820952 |     5916   3537 |        0 |        0
1656.89/1657.49	c 1657s |      26 | 10242545 |  7828952 |     5916   3540 |        0 |        0
1658.99/1659.50	c 1659s |      26 | 10252260 |  7837152 |     5916   3542 |        0 |        0
1660.99/1661.52	c 1661s |      26 | 10264035 |  7845852 |     5916   3545 |        0 |        0
1662.98/1663.52	c 1663s |      26 | 10274968 |  7854752 |     5916   3548 |        0 |        0
1664.99/1665.55	c 1665s |      26 | 10289416 |  7863452 |     5916   3551 |        0 |        0
1666.98/1667.55	c 1667s |      26 | 10308974 |  7872652 |     5916   3554 |        0 |        0
1668.98/1669.57	c 1669s |      26 | 10322926 |  7881852 |     5916   3557 |        0 |        0
1670.98/1671.58	c 1671s |      26 | 10336017 |  7890652 |     5916   3560 |        0 |        0
1672.98/1673.60	c 1673s |      26 | 10347064 |  7899452 |     5916   3563 |        0 |        0
1675.08/1675.60	c 1675s |      26 | 10360529 |  7908852 |     5916   3566 |        0 |        0
1677.08/1677.62	c 1677s |      26 | 10371191 |  7917752 |     5916   3569 |        0 |        0
1679.28/1679.81	c 1679s |      26 | 10382405 |  7926252 |     5916   3572 |        0 |        0
1681.28/1681.82	c 1681s |      26 | 10393546 |  7934852 |     5916   3575 |        0 |        0
1683.28/1683.83	c 1683s |      26 | 10405350 |  7943352 |     5916   3578 |        0 |        0
1685.38/1685.97	c 1685s |      26 | 10414765 |  7950852 |     5916   3580 |        0 |        0
1687.38/1687.98	c 1687s |      26 | 10426298 |  7959552 |     5916   3583 |        0 |        0
1689.38/1689.99	c 1689s |      26 | 10437702 |  7968352 |     5916   3586 |        0 |        0
1691.47/1692.01	c 1691s |      26 | 10448042 |  7976952 |     5916   3589 |        0 |        0
1693.48/1694.02	c 1693s |      26 | 10459720 |  7985652 |     5916   3592 |        0 |        0
1695.47/1696.03	c 1696s |      26 | 10470678 |  7994652 |     5916   3595 |        0 |        0
1697.47/1698.04	c 1698s |      26 | 10482537 |  8003352 |     5916   3598 |        0 |        0
1699.47/1700.05	c 1700s |      26 | 10496132 |  8012452 |     5916   3601 |        0 |        0
1701.47/1702.06	c 1702s |      26 | 10507077 |  8021352 |     5916   3604 |        0 |        0
1703.47/1704.07	c 1704s |      26 | 10516719 |  8029452 |     5916   3607 |        0 |        0
1705.46/1706.07	c 1706s |      26 | 10526297 |  8037352 |     5916   3609 |        0 |        0
1707.46/1708.08	c 1708s |      26 | 10536472 |  8045852 |     5916   3612 |        0 |        0
1709.46/1710.09	c 1710s |      26 | 10546379 |  8053852 |     5916   3615 |        0 |        0
1711.55/1712.10	c 1712s |      26 | 10557590 |  8062752 |     5916   3618 |        0 |        0
1713.55/1714.10	c 1714s |      26 | 10568910 |  8071652 |     5916   3621 |        0 |        0
1715.57/1716.11	c 1716s |      26 | 10580743 |  8080452 |     5916   3624 |        0 |        0
1717.56/1718.12	c 1718s |      26 | 10593515 |  8089052 |     5916   3626 |        0 |        0
1719.56/1720.13	c 1720s |      26 | 10602904 |  8096852 |     5916   3629 |        0 |        0
1721.56/1722.14	c 1722s |      26 | 10612640 |  8104852 |     5916   3632 |        0 |        0
1723.56/1724.15	c 1724s |      26 | 10624316 |  8113352 |     5916   3635 |        0 |        0
1725.56/1726.16	c 1726s |      26 | 10634700 |  8121852 |     5916   3637 |        0 |        0
1727.56/1728.18	c 1728s |      26 | 10647212 |  8130852 |     5916   3640 |        0 |        0
1729.56/1730.19	c 1730s |      26 | 10660340 |  8139852 |     5916   3643 |        0 |        0
1731.65/1732.21	c 1732s |      26 | 10672337 |  8148652 |     5916   3646 |        0 |        0
1733.65/1734.21	c 1734s |      26 | 10683059 |  8156652 |     5916   3649 |        0 |        0
1735.65/1736.22	c 1736s |      26 | 10692141 |  8163752 |     5916   3651 |        0 |        0
1737.65/1738.23	c 1738s |      26 | 10704948 |  8172352 |     5916   3654 |        0 |        0
1739.66/1740.24	c 1740s |      26 | 10717764 |  8181152 |     5916   3657 |        0 |        0
1741.75/1742.37	c 1742s |      26 | 10729873 |  8190552 |     5916   3660 |        0 |        0
1743.75/1744.38	c 1744s |      26 | 10741269 |  8199752 |     5916   3663 |        0 |        0
1745.75/1746.38	c 1746s |      26 | 10751739 |  8208552 |     5916   3666 |        0 |        0
1747.85/1748.40	c 1748s |      26 | 10763578 |  8216952 |     5916   3669 |        0 |        0
1749.85/1750.40	c 1750s |      26 | 10777571 |  8225552 |     5916   3672 |        0 |        0
1751.86/1752.42	c 1752s |      26 | 10790467 |  8233752 |     5916   3675 |        0 |        0
1753.85/1754.42	c 1754s |      26 | 10802759 |  8241252 |     5916   3677 |        0 |        0
1755.85/1756.43	c 1756s |      26 | 10820536 |  8250152 |     5916   3680 |        0 |        0
1757.85/1758.44	c 1758s |      26 | 10835743 |  8259252 |     5916   3683 |        0 |        0
1759.85/1760.45	c 1760s |      26 | 10845393 |  8267252 |     5916   3686 |        0 |        0
1761.85/1762.48	c 1762s |      26 | 10854433 |  8274952 |     5916   3688 |        0 |        0
1763.86/1764.48	c 1764s |      26 | 10862658 |  8282152 |     5916   3691 |        0 |        0
1765.85/1766.48	c 1766s |      26 | 10871785 |  8290152 |     5916   3694 |        0 |        0
1767.95/1768.51	c 1768s |      26 | 10881944 |  8298952 |     5916   3696 |        0 |        0
1769.95/1770.51	c 1770s |      26 | 10891618 |  8307152 |     5916   3699 |        0 |        0
1771.95/1772.52	c 1772s |      26 | 10901709 |  8315652 |     5916   3702 |        0 |        0
1773.95/1774.54	c 1774s |      26 | 10912602 |  8324652 |     5916   3705 |        0 |        0
1775.95/1776.55	c 1776s |      26 | 10922215 |  8333052 |     5916   3708 |        0 |        0
1777.94/1778.57	c 1778s |      26 | 10931388 |  8341152 |     5916   3711 |        0 |        0
1780.04/1780.62	c 1780s |      26 | 10941348 |  8349852 |     5916   3714 |        0 |        0
1782.04/1782.63	c 1782s |      26 | 10951275 |  8358452 |     5916   3716 |        0 |        0
1784.04/1784.64	c 1784s |      26 | 10961151 |  8366852 |     5916   3719 |        0 |        0
1786.04/1786.66	c 1786s |      26 | 10971397 |  8375652 |     5916   3722 |        0 |        0
1788.05/1788.68	c 1788s |      26 | 10981485 |  8384352 |     5916   3725 |        0 |        0
1790.04/1790.69	c 1790s |      26 | 10991528 |  8393052 |     5916   3728 |        0 |        0
1792.14/1792.71	c 1792s |      26 | 11001026 |  8401252 |     5916   3731 |        0 |        0
1794.14/1794.72	c 1794s |      26 | 11012007 |  8410652 |     5916   3734 |        0 |        0
1796.14/1796.72	c 1796s |      26 | 11021758 |  8419052 |     5916   3737 |        0 |        0
1798.14/1798.73	c 1798s |      26 | 11033047 |  8428652 |     5916   3740 |        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-4078997-1465263782/watcher-4078997-1465263782 -o /tmp/evaluation-result-4078997-1465263782/solver-4078997-1465263782 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9912 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078997-1465263782.opb 

pid=13041
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.21 2.18 2.16 4/179 13044
/proc/meminfo: memFree=29521668/32872528 swapFree=12208/1156848
[pid=13044] ppid=13041 vsize=612796 CPUtime=0 cores=1,3,5,7
/proc/13044/stat : 13044 (toysat) R 13041 13044 9895 0 -1 4202496 2267 0 0 0 0 0 0 0 20 0 4 0 108312814 627503104 2628 33554432000 4194304 16246674 140735278710976 140735278710400 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13044/statm: 153967 2637 441 2943 0 150861 0
[pid=13044/tid=13045] ppid=13041 vsize=631228 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13045/stat : 13045 (toysat) S 13041 13044 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108312815 646377472 2699 33554432000 4194304 16246674 140735278710976 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13044/tid=13046] ppid=13041 vsize=635324 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13046/stat : 13046 (toysat) S 13041 13044 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108312815 650571776 2716 33554432000 4194304 16246674 140735278710976 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13044/tid=13047] ppid=13041 vsize=640444 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13047/stat : 13047 (toysat) S 13041 13044 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108312815 655814656 2732 33554432000 4194304 16246674 140735278710976 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.21 2.18 2.16 4/179 13044
/proc/meminfo: memFree=29521668/32872528 swapFree=12208/1156848
[pid=13044] ppid=13041 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/13044/stat : 13044 (toysat) R 13041 13044 9895 0 -1 4202496 25677 0 0 0 5 4 0 0 20 0 4 0 108312814 1247350784 26028 33554432000 4194304 16246674 140735278710976 140735278710400 5661217 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13044/statm: 304529 26042 718 2943 0 301423 0
[pid=13044/tid=13045] ppid=13041 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13045/stat : 13045 (toysat) S 13041 13044 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108312815 1247350784 26052 33554432000 4194304 16246674 140735278710976 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13044/tid=13046] ppid=13041 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13046/stat : 13046 (toysat) S 13041 13044 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108312815 1247350784 26058 33554432000 4194304 16246674 140735278710976 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13044/tid=13047] ppid=13041 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13047/stat : 13047 (toysat) S 13041 13044 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108312815 1247350784 26065 33554432000 4194304 16246674 140735278710976 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200537 s]
/proc/loadavg: 2.21 2.18 2.16 4/179 13044
/proc/meminfo: memFree=29521668/32872528 swapFree=12208/1156848
[pid=13044] ppid=13041 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/13044/stat : 13044 (toysat) R 13041 13044 9895 0 -1 4202496 48348 0 0 0 12 7 0 0 20 0 4 0 108312814 1247350784 48698 33554432000 4194304 16246674 140735278710976 140735278710400 5723366 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13044/statm: 304529 48710 726 2943 0 301423 0
[pid=13044/tid=13045] ppid=13041 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13045/stat : 13045 (toysat) S 13041 13044 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108312815 1247350784 48713 33554432000 4194304 16246674 140735278710976 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13044/tid=13046] ppid=13041 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13046/stat : 13046 (toysat) S 13041 13044 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108312815 1247350784 48717 33554432000 4194304 16246674 140735278710976 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13044/tid=13047] ppid=13041 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13047/stat : 13047 (toysat) S 13041 13044 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108312815 1247350784 48721 33554432000 4194304 16246674 140735278710976 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300484 s]
/proc/loadavg: 2.21 2.18 2.16 4/179 13044
/proc/meminfo: memFree=29521668/32872528 swapFree=12208/1156848
[pid=13044] ppid=13041 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/13044/stat : 13044 (toysat) R 13041 13044 9895 0 -1 4202496 69610 0 0 0 19 10 0 0 20 0 4 0 108312814 1247350784 69961 33554432000 4194304 16246674 140735278710976 140735278710400 5675010 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13044/statm: 304529 69969 726 2943 0 301423 0
[pid=13044/tid=13045] ppid=13041 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13045/stat : 13045 (toysat) S 13041 13044 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108312815 1247350784 69974 33554432000 4194304 16246674 140735278710976 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13044/tid=13046] ppid=13041 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13046/stat : 13046 (toysat) S 13041 13044 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108312815 1247350784 69981 33554432000 4194304 16246674 140735278710976 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13044/tid=13047] ppid=13041 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13047/stat : 13047 (toysat) S 13041 13044 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108312815 1247350784 69989 33554432000 4194304 16246674 140735278710976 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700419 s]
/proc/loadavg: 2.21 2.18 2.16 4/179 13044
/proc/meminfo: memFree=29521668/32872528 swapFree=12208/1156848
[pid=13044] ppid=13041 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/13044/stat : 13044 (toysat) R 13041 13044 9895 0 -1 4202496 158235 0 0 0 47 22 0 0 20 0 4 0 108312814 1247350784 158586 33554432000 4194304 16246674 140735278710976 140735278692864 5723366 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13044/statm: 304529 158598 726 2943 0 301423 0
[pid=13044/tid=13045] ppid=13041 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13045/stat : 13045 (toysat) S 13041 13044 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108312815 1247350784 158606 33554432000 4194304 16246674 140735278710976 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13044/tid=13046] ppid=13041 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13046/stat : 13046 (toysat) S 13041 13044 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108312815 1247350784 158616 33554432000 4194304 16246674 140735278710976 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13044/tid=13047] ppid=13041 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13047/stat : 13047 (toysat) S 13041 13044 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108312815 1247350784 158624 33554432000 4194304 16246674 140735278710976 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.21 2.18 2.16 3/183 13048
/proc/meminfo: memFree=28540640/32872528 swapFree=12208/1156848
[pid=13044] ppid=13041 vsize=1220164 CPUtime=1.49 cores=1,3,5,7
/proc/13044/stat : 13044 (toysat) R 13041 13044 9895 0 -1 4202496 245819 0 0 0 116 33 0 0 20 0 4 0 108312814 1249447936 246149 33554432000 4194304 16246674 140735278710976 140735278710288 6020485 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13044/statm: 305041 246149 795 2943 0 301935 0
[pid=13044/tid=13045] ppid=13041 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13045/stat : 13045 (toysat) S 13041 13044 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108312815 1249447936 246149 33554432000 4194304 16246674 140735278710976 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13044/tid=13046] ppid=13041 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13046/stat : 13046 (toysat) S 13041 13044 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108312815 1249447936 246149 33554432000 4194304 16246674 140735278710976 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13044/tid=13047] ppid=13041 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13047/stat : 13047 (toysat) S 13041 13044 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108312815 1249447936 246149 33554432000 4194304 16246674 140735278710976 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1220164

[startup+3.10043 s]
/proc/loadavg: 2.21 2.18 2.16 4/183 13048
/proc/meminfo: memFree=28452304/32872528 swapFree=12208/1156848
[pid=13044] ppid=13041 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/13044/stat : 13044 (toysat) R 13041 13044 9895 0 -1 4202496 267415 0 0 0 273 35 0 0 20 0 4 0 108312814 1337528320 267745 33554432000 4194304 16246674 140735278710976 140735278692864 6021684 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13044/statm: 326545 267745 795 2943 0 323439 0
[pid=13044/tid=13045] ppid=13041 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13045/stat : 13045 (toysat) S 13041 13044 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108312815 1337528320 267745 33554432000 4194304 16246674 140735278710976 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13044/tid=13046] ppid=13041 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13046/stat : 13046 (toysat) S 13041 13044 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108312815 1337528320 267745 33554432000 4194304 16246674 140735278710976 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13044/tid=13047] ppid=13041 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13047/stat : 13047 (toysat) S 13041 13044 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108312815 1337528320 267745 33554432000 4194304 16246674 140735278710976 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 2.19 2.18 2.15 3/183 13048
/proc/meminfo: memFree=28446600/32872528 swapFree=12208/1156848
[pid=13044] ppid=13041 vsize=1310276 CPUtime=6.29 cores=1,3,5,7
/proc/13044/stat : 13044 (toysat) R 13041 13044 9895 0 -1 4202496 268479 0 0 0 593 36 0 0 20 0 4 0 108312814 1341722624 268809 33554432000 4194304 16246674 140735278710976 140735278693976 5673837 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13044/statm: 327569 268809 797 2943 0 324463 0
[pid=13044/tid=13045] ppid=13041 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13045/stat : 13045 (toysat) S 13041 13044 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108312815 1341722624 268809 33554432000 4194304 16246674 140735278710976 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13044/tid=13046] ppid=13041 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13046/stat : 13046 (toysat) S 13041 13044 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108312815 1341722624 268809 33554432000 4194304 16246674 140735278710976 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13044/tid=13047] ppid=13041 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13047/stat : 13047 (toysat) S 13041 13044 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108312815 1341722624 268809 33554432000 4194304 16246674 140735278710976 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1310276

[startup+12.7004 s]
/proc/loadavg: 2.26 2.19 2.16 4/183 13048
/proc/meminfo: memFree=28444992/32872528 swapFree=12208/1156848
[pid=13044] ppid=13041 vsize=1311300 CPUtime=12.69 cores=1,3,5,7
/proc/13044/stat : 13044 (toysat) R 13041 13044 9895 0 -1 4202496 268859 0 0 0 1233 36 0 0 20 0 4 0 108312814 1342771200 269189 33554432000 4194304 16246674 140735278710976 140735278693976 5674030 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13044/statm: 327825 269189 797 2943 0 324719 0
[pid=13044/tid=13045] ppid=13041 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13045/stat : 13045 (toysat) S 13041 13044 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108312815 1342771200 269189 33554432000 4194304 16246674 140735278710976 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13044/tid=13046] ppid=13041 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13046/stat : 13046 (toysat) S 13041 13044 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108312815 1342771200 269189 33554432000 4194304 16246674 140735278710976 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13044/tid=13047] ppid=13041 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13047/stat : 13047 (toysat) S 13041 13044 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108312815 1342771200 269189 33554432000 4194304 16246674 140735278710976 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1311300

[startup+25.5005 s]
/proc/loadavg: 2.20 2.18 2.16 3/183 13048
/proc/meminfo: memFree=28445280/32872528 swapFree=12208/1156848
[pid=13044] ppid=13041 vsize=1311300 CPUtime=25.48 cores=1,3,5,7
/proc/13044/stat : 13044 (toysat) R 13041 13044 9895 0 -1 4202496 268859 0 0 0 2512 36 0 0 20 0 4 0 108312814 1342771200 269189 33554432000 4194304 16246674 140735278710976 140735278693976 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13044/statm: 327825 269189 797 2943 0 324719 0
[pid=13044/tid=13045] ppid=13041 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13045/stat : 13045 (toysat) S 13041 13044 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108312815 1342771200 269189 33554432000 4194304 16246674 140735278710976 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13044/tid=13046] ppid=13041 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13046/stat : 13046 (toysat) S 13041 13044 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108312815 1342771200 269189 33554432000 4194304 16246674 140735278710976 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13044/tid=13047] ppid=13041 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13047/stat : 13047 (toysat) S 13041 13044 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108312815 1342771200 269189 33554432000 4194304 16246674 140735278710976 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1311300

[startup+51.1005 s]
/proc/loadavg: 2.20 2.18 2.16 3/183 13048
/proc/meminfo: memFree=28439208/32872528 swapFree=12208/1156848
[pid=13044] ppid=13041 vsize=1317444 CPUtime=51.08 cores=1,3,5,7
/proc/13044/stat : 13044 (toysat) R 13041 13044 9895 0 -1 4202496 270395 0 0 0 5071 37 0 0 20 0 4 0 108312814 1349062656 270725 33554432000 4194304 16246674 140735278710976 140735278692864 5707715 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13044/statm: 329361 270725 797 2943 0 326255 0
[pid=13044/tid=13045] ppid=13041 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13045/stat : 13045 (toysat) S 13041 13044 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108312815 1349062656 270725 33554432000 4194304 16246674 140735278710976 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13044/tid=13046] ppid=13041 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13046/stat : 13046 (toysat) S 13041 13044 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108312815 1349062656 270725 33554432000 4194304 16246674 140735278710976 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13044/tid=13047] ppid=13041 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13047/stat : 13047 (toysat) S 13041 13044 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108312815 1349062656 270725 33554432000 4194304 16246674 140735278710976 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1317444

[startup+102.301 s]
/proc/loadavg: 2.28 2.21 2.17 3/183 13049
/proc/meminfo: memFree=28434752/32872528 swapFree=12208/1156848
[pid=13044] ppid=13041 vsize=1317444 CPUtime=102.28 cores=1,3,5,7
/proc/13044/stat : 13044 (toysat) R 13041 13044 9895 0 -1 4202496 270397 0 0 0 10190 38 0 0 20 0 4 0 108312814 1349062656 270727 33554432000 4194304 16246674 140735278710976 140735278693976 5722834 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13044/statm: 329361 270727 799 2943 0 326255 0
[pid=13044/tid=13045] ppid=13041 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13045/stat : 13045 (toysat) S 13041 13044 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108312815 1349062656 270727 33554432000 4194304 16246674 140735278710976 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13044/tid=13046] ppid=13041 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13046/stat : 13046 (toysat) S 13041 13044 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108312815 1349062656 270727 33554432000 4194304 16246674 140735278710976 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13044/tid=13047] ppid=13041 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13047/stat : 13047 (toysat) S 13041 13044 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108312815 1349062656 270727 33554432000 4194304 16246674 140735278710976 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1317444


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

/proc/13044/task/13047/stat : 13047 (toysat) S 13041 13044 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108312815 1358499840 273034 33554432000 4194304 16246674 140735278710976 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 1326660

[startup+1302.3 s]
/proc/loadavg: 2.17 2.17 2.17 3/183 13102
/proc/meminfo: memFree=28317476/32872528 swapFree=12208/1156848
[pid=13044] ppid=13041 vsize=1326660 CPUtime=1302 cores=1,3,5,7
/proc/13044/stat : 13044 (toysat) R 13041 13044 9895 0 -1 4202496 272858 0 0 0 130129 71 0 0 20 0 4 0 108312814 1358499840 273034 33554432000 4194304 16246674 140735278710976 140735278693968 5673048 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13044/statm: 331665 273034 799 2943 0 328559 0
[pid=13044/tid=13045] ppid=13041 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13045/stat : 13045 (toysat) S 13041 13044 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108312815 1358499840 273034 33554432000 4194304 16246674 140735278710976 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13044/tid=13046] ppid=13041 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13046/stat : 13046 (toysat) S 13041 13044 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108312815 1358499840 273034 33554432000 4194304 16246674 140735278710976 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13044/tid=13047] ppid=13041 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13047/stat : 13047 (toysat) S 13041 13044 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108312815 1358499840 273034 33554432000 4194304 16246674 140735278710976 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1326660

[startup+1362.3 s]
/proc/loadavg: 2.24 2.19 2.18 3/183 13103
/proc/meminfo: memFree=28317324/32872528 swapFree=12208/1156848
[pid=13044] ppid=13041 vsize=1326660 CPUtime=1361.97 cores=1,3,5,7
/proc/13044/stat : 13044 (toysat) R 13041 13044 9895 0 -1 4202496 272902 0 0 0 136124 73 0 0 20 0 4 0 108312814 1358499840 273034 33554432000 4194304 16246674 140735278710976 140735278693976 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13044/statm: 331665 273034 799 2943 0 328559 0
[pid=13044/tid=13045] ppid=13041 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13045/stat : 13045 (toysat) S 13041 13044 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108312815 1358499840 273034 33554432000 4194304 16246674 140735278710976 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13044/tid=13046] ppid=13041 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13046/stat : 13046 (toysat) S 13041 13044 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108312815 1358499840 273034 33554432000 4194304 16246674 140735278710976 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13044/tid=13047] ppid=13041 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13047/stat : 13047 (toysat) S 13041 13044 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108312815 1358499840 273034 33554432000 4194304 16246674 140735278710976 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 1326660

[startup+1422.3 s]
/proc/loadavg: 2.21 2.18 2.18 3/183 13105
/proc/meminfo: memFree=28312648/32872528 swapFree=12208/1156848
[pid=13044] ppid=13041 vsize=1326660 CPUtime=1421.94 cores=1,3,5,7
/proc/13044/stat : 13044 (toysat) R 13041 13044 9895 0 -1 4202496 272942 0 0 0 142120 74 0 0 20 0 4 0 108312814 1358499840 273034 33554432000 4194304 16246674 140735278710976 140735278692864 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13044/statm: 331665 273034 799 2943 0 328559 0
[pid=13044/tid=13045] ppid=13041 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13045/stat : 13045 (toysat) S 13041 13044 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108312815 1358499840 273034 33554432000 4194304 16246674 140735278710976 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13044/tid=13046] ppid=13041 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13046/stat : 13046 (toysat) S 13041 13044 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108312815 1358499840 273034 33554432000 4194304 16246674 140735278710976 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13044/tid=13047] ppid=13041 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13047/stat : 13047 (toysat) S 13041 13044 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108312815 1358499840 273034 33554432000 4194304 16246674 140735278710976 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1326660

[startup+1482.3 s]
/proc/loadavg: 2.16 2.17 2.18 4/183 13106
/proc/meminfo: memFree=28312196/32872528 swapFree=12208/1156848
[pid=13044] ppid=13041 vsize=1326660 CPUtime=1481.9 cores=1,3,5,7
/proc/13044/stat : 13044 (toysat) R 13041 13044 9895 0 -1 4202496 272987 0 0 0 148114 76 0 0 20 0 4 0 108312814 1358499840 273034 33554432000 4194304 16246674 140735278710976 140735278693976 5822761 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13044/statm: 331665 273034 799 2943 0 328559 0
[pid=13044/tid=13045] ppid=13041 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13045/stat : 13045 (toysat) S 13041 13044 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108312815 1358499840 273034 33554432000 4194304 16246674 140735278710976 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13044/tid=13046] ppid=13041 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13046/stat : 13046 (toysat) S 13041 13044 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108312815 1358499840 273034 33554432000 4194304 16246674 140735278710976 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13044/tid=13047] ppid=13041 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13047/stat : 13047 (toysat) S 13041 13044 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108312815 1358499840 273034 33554432000 4194304 16246674 140735278710976 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1326660

[startup+1542.31 s]
/proc/loadavg: 2.18 2.17 2.17 3/175 13115
/proc/meminfo: memFree=29540160/32872528 swapFree=12208/1156848
[pid=13044] ppid=13041 vsize=1326660 CPUtime=1541.86 cores=1,3,5,7
/proc/13044/stat : 13044 (toysat) R 13041 13044 9895 0 -1 4202496 273031 0 0 0 154109 77 0 0 20 0 4 0 108312814 1358499840 273034 33554432000 4194304 16246674 140735278710976 140735278692864 5667689 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13044/statm: 331665 273034 799 2943 0 328559 0
[pid=13044/tid=13045] ppid=13041 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13045/stat : 13045 (toysat) S 13041 13044 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108312815 1358499840 273034 33554432000 4194304 16246674 140735278710976 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13044/tid=13046] ppid=13041 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13046/stat : 13046 (toysat) S 13041 13044 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108312815 1358499840 273034 33554432000 4194304 16246674 140735278710976 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13044/tid=13047] ppid=13041 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13047/stat : 13047 (toysat) S 13041 13044 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108312815 1358499840 273034 33554432000 4194304 16246674 140735278710976 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1326660

[startup+1602.3 s]
/proc/loadavg: 2.12 2.15 2.17 3/183 13156
/proc/meminfo: memFree=28439292/32872528 swapFree=12208/1156848
[pid=13044] ppid=13041 vsize=1326660 CPUtime=1601.82 cores=1,3,5,7
/proc/13044/stat : 13044 (toysat) R 13041 13044 9895 0 -1 4202496 273077 0 0 0 160103 79 0 0 20 0 4 0 108312814 1358499840 273034 33554432000 4194304 16246674 140735278710976 140735278692864 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13044/statm: 331665 273034 799 2943 0 328559 0
[pid=13044/tid=13045] ppid=13041 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13045/stat : 13045 (toysat) S 13041 13044 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108312815 1358499840 273034 33554432000 4194304 16246674 140735278710976 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13044/tid=13046] ppid=13041 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13046/stat : 13046 (toysat) S 13041 13044 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108312815 1358499840 273034 33554432000 4194304 16246674 140735278710976 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13044/tid=13047] ppid=13041 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13047/stat : 13047 (toysat) S 13041 13044 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108312815 1358499840 273034 33554432000 4194304 16246674 140735278710976 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1326660

[startup+1662.3 s]
/proc/loadavg: 2.33 2.20 2.18 3/184 13160
/proc/meminfo: memFree=28431144/32872528 swapFree=12208/1156848
[pid=13044] ppid=13041 vsize=1326660 CPUtime=1661.78 cores=1,3,5,7
/proc/13044/stat : 13044 (toysat) R 13041 13044 9895 0 -1 4202496 273112 0 0 0 166097 81 0 0 20 0 4 0 108312814 1358499840 273034 33554432000 4194304 16246674 140735278710976 140735278693976 5808428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13044/statm: 331665 273034 799 2943 0 328559 0
[pid=13044/tid=13045] ppid=13041 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13045/stat : 13045 (toysat) S 13041 13044 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108312815 1358499840 273034 33554432000 4194304 16246674 140735278710976 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13044/tid=13046] ppid=13041 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13046/stat : 13046 (toysat) S 13041 13044 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108312815 1358499840 273034 33554432000 4194304 16246674 140735278710976 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13044/tid=13047] ppid=13041 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13047/stat : 13047 (toysat) S 13041 13044 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108312815 1358499840 273034 33554432000 4194304 16246674 140735278710976 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1326660

[startup+1722.3 s]
/proc/loadavg: 2.24 2.19 2.18 3/183 13162
/proc/meminfo: memFree=28430944/32872528 swapFree=12208/1156848
[pid=13044] ppid=13041 vsize=1326660 CPUtime=1721.76 cores=1,3,5,7
/proc/13044/stat : 13044 (toysat) R 13041 13044 9895 0 -1 4202496 273154 0 0 0 172093 83 0 0 20 0 4 0 108312814 1358499840 273034 33554432000 4194304 16246674 140735278710976 140735278693976 6012041 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13044/statm: 331665 273034 799 2943 0 328559 0
[pid=13044/tid=13045] ppid=13041 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13045/stat : 13045 (toysat) S 13041 13044 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108312815 1358499840 273034 33554432000 4194304 16246674 140735278710976 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13044/tid=13046] ppid=13041 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13046/stat : 13046 (toysat) S 13041 13044 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108312815 1358499840 273034 33554432000 4194304 16246674 140735278710976 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13044/tid=13047] ppid=13041 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13047/stat : 13047 (toysat) S 13041 13044 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108312815 1358499840 273034 33554432000 4194304 16246674 140735278710976 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1326660

[startup+1782.3 s]
/proc/loadavg: 2.28 2.20 2.18 3/183 13163
/proc/meminfo: memFree=28428168/32872528 swapFree=12208/1156848
[pid=13044] ppid=13041 vsize=1328708 CPUtime=1781.74 cores=1,3,5,7
/proc/13044/stat : 13044 (toysat) R 13041 13044 9895 0 -1 4202496 273668 0 0 0 178090 84 0 0 20 0 4 0 108312814 1360596992 273546 33554432000 4194304 16246674 140735278710976 140735278692864 5823849 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13044/statm: 332177 273546 799 2943 0 329071 0
[pid=13044/tid=13045] ppid=13041 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13045/stat : 13045 (toysat) S 13041 13044 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108312815 1360596992 273546 33554432000 4194304 16246674 140735278710976 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13044/tid=13046] ppid=13041 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13046/stat : 13046 (toysat) S 13041 13044 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108312815 1360596992 273546 33554432000 4194304 16246674 140735278710976 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13044/tid=13047] ppid=13041 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13047/stat : 13047 (toysat) S 13041 13044 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108312815 1360596992 273546 33554432000 4194304 16246674 140735278710976 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1328708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.20 2.19 2.18 3/183 13164
/proc/meminfo: memFree=28428672/32872528 swapFree=12208/1156848
[pid=13044] ppid=13041 vsize=1328708 CPUtime=1800.04 cores=1,3,5,7
/proc/13044/stat : 13044 (toysat) R 13041 13044 9895 0 -1 4202496 273668 0 0 0 179920 84 0 0 20 0 4 0 108312814 1360596992 273546 33554432000 4194304 16246674 140735278710976 140735278692864 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13044/statm: 332177 273546 799 2943 0 329071 0
[pid=13044/tid=13045] ppid=13041 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13045/stat : 13045 (toysat) S 13041 13044 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108312815 1360596992 273546 33554432000 4194304 16246674 140735278710976 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13044/tid=13046] ppid=13041 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13046/stat : 13046 (toysat) S 13041 13044 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108312815 1360596992 273546 33554432000 4194304 16246674 140735278710976 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13044/tid=13047] ppid=13041 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/13044/task/13047/stat : 13047 (toysat) S 13041 13044 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108312815 1360596992 273546 33554432000 4194304 16246674 140735278710976 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1328708

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 13044 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.06
CPU user time (s): 1799.21
CPU system time (s): 0.847871
CPU usage (%): 99.9694
Max. virtual memory (cumulated for all children) (KiB): 1328708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.21
system time used= 0.847871
maximum resident set size= 1094184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273668
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= 470
involuntary context switches= 1843

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.47032 second user time and 7.05993 second system time

The end

Begin job on node114 at 2016-06-07 03:43:02
IDJOB=4078997
IDBENCH=48318
IDSOLVER=2542
FILE ID=node114/4078997-1465263782
RUNJOBID= node114-1465241547-9912
PBS_JOBID= 19843245
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_50_10_1_15.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078997-1465263782/watcher-4078997-1465263782 -o /tmp/evaluation-result-4078997-1465263782/solver-4078997-1465263782 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9912 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078997-1465263782.opb

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

MD5SUM BENCH= c7cfddeeb3bb3e7896ee6eefe7e9ac17
RANDOM SEED=238046157

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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:        29521940 kB
Buffers:          121192 kB
Cached:           223436 kB
SwapCached:         1696 kB
Active:          1249060 kB
Inactive:         210444 kB
Active(anon):    1115896 kB
Inactive(anon):     1252 kB
Active(file):     133164 kB
Inactive(file):   209192 kB
Unevictable:     1156848 kB
Mlocked:           12208 kB
SwapTotal:      67108856 kB
SwapFree:       67096680 kB
Dirty:             16316 kB
Writeback:             0 kB
AnonPages:       2271116 kB
Mapped:            10660 kB
Shmem:                 0 kB
Slab:             601332 kB
SReclaimable:      44800 kB
SUnreclaim:       556532 kB
KernelStack:        1472 kB
PageTables:         8052 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2413448 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1150976 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 node114 at 2016-06-07 04:13:03