0.00/0.00	c 2016-06-30T20:14:36+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-4120178-1467310476.opb"]
0.00/0.01	c use --random-gen="3376195881 3746798746 1480191906 4207879293 3428059403 3077298944 3569063779 4101606707 3758790243 3963211675 1525616546 1443309982 4284661161 2625486638 3756837722 2206161138 1799043059 2062999146 2327000069 3084493175 1027466080 377199325 1818209866 2094093918 2311281624 1949494749 2260255962 834883493 986391684 2272310443 466951454 253959015 321735671 4047596714 1104396759 699337494 113561402 3922146771 264774961 3571148332 2157238429 2746233777 2254540546 3959381224 2153444078 4218775825 2613162158 4173172867 3813078906 3753962469 3566089003 4059232004 3547756472 3662908355 3788135570 2877577757 2939662388 3757933623 3298528363 1416195799 2129806743 825143493 1196762730 2658143325 2850180563 4267304304 1754237933 3445083679 186403790 3759909835 2350459797 3464003738 355985161 4235744479 3455879057 131841855 3873140504 2982025389 1935132948 928753499 1070489358 1430459042 868861766 1676541025 3514825013 681296050 2612009955 3057856949 1676270236 947122705 1573858759 2652641374 1872248278 1712100587 688707200 1813230177 1011486312 2106532724 1431953097 2663584278 4122776080 1542295645 2649576466 1167075925 3396270859 2457951415 2503939987 3544294515 3069662395 222726251 1316244158 3165277385 1674172518 2989761401 1557303498 3509994032 3893987592 3368778533 3571737162 2526052134 1202081218 2380430858 1948932076 1586796568 1652279514 2622408625 3925882063 1282357716 1598951132 1324374660 1670304320 2495418903 1022399034 3517928585 475317329 739726749 2854819164 1047018492 3449189329 283937643 2384100272 2937134187 1255606312 928076266 4113334082 284429107 1049141238 1963776352 3563384394 774935154 439803088 1307874009 524518329 3270672782 2368675633 2060480909 452231175 3746294218 1666290959 3517778330 992173740 2179814200 2889742652 3544465108 2767432515 403437461 3924782300 318206914 371529188 3335969302 3863096489 4210527515 4052143357 3634606148 2093659843 3042068756 2874234902 3089170711 1153030843 1029402991 4169057375 1158339323 2767184316 3124848434 2869554967 364411350 1338663383 1048826376 471638418 733510441 2984420168 2535748390 1051876181 3979123254 3853319079 675281001 705405204 1878237930 4124955531 590337524 1646355371 4104045785 3500341311 3719712694 319863543 2816203112 1759628094 4061097370 3524378288 1788818341 1863049485 3870944640 2363526572 2158680611 2594872452 3955150413 2285292749 3556075100 1976949392 2325441294 2462185198 2937164377 4088825004 4182637639 3533943287 1276904640 3795288744 2886618223 3335936000 3452132904 2685847628 3868516986 3589426789 2158838896 2897038035 1009346786 1045741490 3977915192 209758280 3890551321 350856158 1530371097 184629204 3776720356 3656154432 1592473042 1120534858 1369781877 629132757 3411987044 1998381782 292740163 111918881 1660881196 2861974457 2288539212 255 362436" option to reproduce the execution
0.00/0.01	c #vars 141
0.00/0.01	c #constraints 376
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      172      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      197 |      100 |      172      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      448 |      250 |      190      0 |        0 |        0
0.00/0.06	c  0.0s |       3 |      775 |      475 |      210      2 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1227 |      813 |      232      4 |        0 |        0
0.09/0.14	c  0.1s |       5 |     1802 |     1320 |      256      8 |        0 |        0
0.19/0.22	c  0.2s |       6 |     2948 |     2081 |      311     12 |        0 |        0
0.29/0.34	c  0.3s |       7 |     4211 |     3223 |      343     18 |        0 |        0
0.49/0.50	c  0.5s |       8 |     6964 |     4936 |      378     27 |        0 |        0
0.69/0.78	c  0.8s |       9 |    10288 |     7506 |      416     39 |        0 |        0
1.09/1.18	c  1.2s |      10 |    15126 |    11361 |      458     56 |        0 |        0
1.49/1.58	c  1.6s |      11 |    22846 |    17144 |      504     80 |        0 |        0
2.19/2.21	c  2.2s |      12 |    34216 |    25819 |      555    111 |        0 |        0
3.09/3.14	c  3.1s |      13 |    51037 |    38832 |      611    157 |        0 |        0
4.49/4.53	c  4.5s |      14 |    79342 |    58352 |      673    218 |        0 |        0
6.48/6.53	c  6.5s |      14 |   115453 |    84352 |      673    293 |        0 |        0
6.69/6.79	c  6.8s |      15 |   119822 |    87632 |      741    303 |        0 |        0
8.68/8.79	c  8.8s |      15 |   162033 |   117032 |      741    380 |        0 |        0
9.78/9.81	c  9.8s |      16 |   182037 |   131552 |      816    418 |        0 |        0
11.78/11.81	c 11.8s |      16 |   218573 |   158352 |      816    483 |        0 |        0
13.78/13.81	c 13.8s |      16 |   256662 |   185052 |      816    547 |        0 |        0
14.68/14.73	c 14.7s |      17 |   274754 |   197432 |      898    577 |        0 |        0
16.69/16.74	c 16.7s |      17 |   312644 |   224932 |      898    637 |        0 |        0
18.70/18.74	c 18.7s |      17 |   350460 |   252032 |      898    696 |        0 |        0
20.69/20.75	c 20.7s |      17 |   389629 |   279932 |      898    757 |        0 |        0
21.89/21.94	c 21.9s |      18 |   411782 |   296252 |      988    792 |        0 |        0
23.89/23.95	c 23.9s |      18 |   447057 |   321352 |      988    842 |        0 |        0
25.89/25.96	c 25.9s |      18 |   480276 |   346452 |      988    893 |        0 |        0
27.89/27.96	c 27.9s |      18 |   514499 |   371952 |      988    944 |        0 |        0
29.89/29.96	c 29.9s |      18 |   544779 |   395752 |      988    991 |        0 |        0
31.89/31.96	c 31.9s |      18 |   577250 |   419952 |      988   1040 |        0 |        0
33.88/33.97	c 34.0s |      18 |   610296 |   443752 |     1087   1087 |        0 |        0
33.98/34.03	c 34.0s |      19 |   611224 |   444482 |     1087   1088 |        0 |        0
35.98/36.04	c 36.0s |      19 |   640852 |   466682 |     1087   1128 |        0 |        0
37.98/38.04	c 38.0s |      19 |   672210 |   491182 |     1087   1173 |        0 |        0
39.98/40.05	c 40.0s |      19 |   709267 |   517882 |     1087   1221 |        0 |        0
41.98/42.05	c 42.0s |      19 |   742350 |   543082 |     1087   1267 |        0 |        0
43.98/44.05	c 44.0s |      19 |   775530 |   568382 |     1087   1313 |        0 |        0
45.98/46.06	c 46.0s |      19 |   810005 |   594082 |     1087   1360 |        0 |        0
47.98/48.06	c 48.0s |      19 |   846702 |   620282 |     1087   1408 |        0 |        0
49.98/50.07	c 50.0s |      19 |   883275 |   646882 |     1087   1456 |        0 |        0
51.58/51.61	c 51.6s |      20 |   910684 |   666827 |     1196   1491 |        0 |        0
53.58/53.62	c 53.6s |      20 |   940829 |   690027 |     1196   1530 |        0 |        0
55.58/55.62	c 55.6s |      20 |   970794 |   712727 |     1196   1567 |        0 |        0
57.58/57.63	c 57.6s |      20 |  1000329 |   735327 |     1196   1605 |        0 |        0
59.58/59.63	c 59.6s |      20 |  1029614 |   758027 |     1196   1642 |        0 |        0
61.59/61.64	c 61.6s |      20 |  1057082 |   779827 |     1196   1678 |        0 |        0
63.58/63.64	c 63.6s |      20 |  1088300 |   803127 |     1196   1717 |        0 |        0
65.58/65.64	c 65.6s |      20 |  1117297 |   825627 |     1196   1754 |        0 |        0
67.58/67.64	c 67.6s |      20 |  1143363 |   846227 |     1196   1787 |        0 |        0
69.58/69.65	c 69.6s |      20 |  1169427 |   867227 |     1196   1821 |        0 |        0
71.58/71.65	c 71.6s |      20 |  1196142 |   888527 |     1196   1856 |        0 |        0
73.57/73.66	c 73.6s |      20 |  1221503 |   908627 |     1196   1890 |        0 |        0
75.57/75.66	c 75.6s |      20 |  1246866 |   928627 |     1196   1923 |        0 |        0
77.57/77.67	c 77.6s |      20 |  1275611 |   950027 |     1196   1958 |        0 |        0
79.57/79.67	c 79.7s |      20 |  1303350 |   971927 |     1196   1995 |        0 |        0
81.57/81.67	c 81.7s |      20 |  1329530 |   993027 |     1196   2030 |        0 |        0
82.27/82.34	c 82.3s |      21 |  1339131 |  1000345 |     1316   2040 |        0 |        0
84.27/84.35	c 84.3s |      21 |  1368594 |  1022445 |     1316   2074 |        0 |        0
86.27/86.36	c 86.3s |      21 |  1395522 |  1044045 |     1316   2106 |        0 |        0
88.28/88.36	c 88.3s |      21 |  1420529 |  1064645 |     1316   2137 |        0 |        0
90.29/90.36	c 90.3s |      21 |  1450451 |  1087145 |     1316   2171 |        0 |        0
92.28/92.37	c 92.3s |      21 |  1478861 |  1109445 |     1316   2204 |        0 |        0
94.27/94.37	c 94.4s |      21 |  1507040 |  1131345 |     1316   2237 |        0 |        0
96.27/96.38	c 96.4s |      21 |  1533899 |  1152945 |     1316   2270 |        0 |        0
98.27/98.38	c 98.4s |      21 |  1567072 |  1177445 |     1316   2307 |        0 |        0
100.27/100.39	c  100s |      21 |  1599563 |  1201645 |     1316   2343 |        0 |        0
102.28/102.39	c  102s |      21 |  1632034 |  1225645 |     1316   2379 |        0 |        0
104.37/104.40	c  104s |      21 |  1663814 |  1249245 |     1316   2415 |        0 |        0
106.37/106.41	c  106s |      21 |  1693740 |  1272145 |     1316   2449 |        0 |        0
108.37/108.42	c  108s |      21 |  1720512 |  1293745 |     1316   2482 |        0 |        0
110.37/110.42	c  110s |      21 |  1751528 |  1316245 |     1316   2516 |        0 |        0
112.37/112.43	c  112s |      21 |  1781446 |  1339045 |     1316   2550 |        0 |        0
114.37/114.44	c  114s |      21 |  1812122 |  1361745 |     1316   2585 |        0 |        0
116.37/116.44	c  116s |      21 |  1844074 |  1385245 |     1316   2620 |        0 |        0
118.37/118.44	c  118s |      21 |  1873103 |  1407745 |     1316   2654 |        0 |        0
120.37/120.45	c  120s |      21 |  1902681 |  1430445 |     1316   2688 |        0 |        0
122.37/122.46	c  122s |      21 |  1931061 |  1452745 |     1316   2722 |        0 |        0
124.38/124.46	c  124s |      21 |  1961267 |  1476345 |     1316   2757 |        0 |        0
126.37/126.47	c  126s |      21 |  1988527 |  1498345 |     1448   2789 |        0 |        0
126.67/126.70	c  126s |      22 |  1991039 |  1500622 |     1448   2792 |        0 |        0
128.68/128.71	c  128s |      22 |  2019674 |  1521822 |     1448   2821 |        0 |        0
130.67/130.71	c  130s |      22 |  2047689 |  1543122 |     1448   2850 |        0 |        0
132.67/132.72	c  132s |      22 |  2075804 |  1564522 |     1448   2880 |        0 |        0
134.67/134.72	c  134s |      22 |  2104832 |  1587122 |     1448   2911 |        0 |        0
136.67/136.73	c  136s |      22 |  2133855 |  1609822 |     1448   2942 |        0 |        0
138.67/138.73	c  138s |      22 |  2159307 |  1630222 |     1448   2970 |        0 |        0
140.66/140.73	c  140s |      22 |  2184475 |  1649722 |     1448   2997 |        0 |        0
142.67/142.73	c  142s |      22 |  2213534 |  1671822 |     1448   3027 |        0 |        0
144.67/144.74	c  144s |      22 |  2247310 |  1696622 |     1448   3061 |        0 |        0
146.67/146.75	c  146s |      22 |  2279703 |  1721222 |     1448   3095 |        0 |        0
148.67/148.75	c  148s |      22 |  2310700 |  1744622 |     1448   3127 |        0 |        0
150.67/150.76	c  150s |      22 |  2343017 |  1768622 |     1448   3160 |        0 |        0
152.67/152.77	c  152s |      22 |  2374624 |  1792022 |     1448   3192 |        0 |        0
154.67/154.77	c  154s |      22 |  2408538 |  1816622 |     1448   3225 |        0 |        0
156.66/156.77	c  156s |      22 |  2440192 |  1840922 |     1448   3259 |        0 |        0
158.66/158.77	c  158s |      22 |  2474125 |  1865122 |     1448   3292 |        0 |        0
160.67/160.78	c  160s |      22 |  2501434 |  1886022 |     1448   3321 |        0 |        0
162.66/162.78	c  162s |      22 |  2527265 |  1905322 |     1448   3347 |        0 |        0
164.66/164.79	c  164s |      22 |  2556583 |  1927222 |     1448   3377 |        0 |        0
166.67/166.79	c  166s |      22 |  2588573 |  1950922 |     1448   3410 |        0 |        0
168.77/168.80	c  168s |      22 |  2622030 |  1975422 |     1448   3444 |        0 |        0
170.77/170.80	c  170s |      22 |  2656508 |  2000122 |     1448   3478 |        0 |        0
172.77/172.80	c  172s |      22 |  2691053 |  2025622 |     1448   3513 |        0 |        0
174.77/174.81	c  174s |      22 |  2727095 |  2051622 |     1448   3548 |        0 |        0
176.77/176.81	c  176s |      22 |  2759394 |  2075722 |     1448   3581 |        0 |        0
178.76/178.81	c  178s |      22 |  2793568 |  2100722 |     1448   3616 |        0 |        0
180.76/180.81	c  180s |      22 |  2828127 |  2126222 |     1448   3651 |        0 |        0
182.76/182.82	c  182s |      22 |  2861429 |  2151422 |     1448   3685 |        0 |        0
184.77/184.82	c  184s |      22 |  2895588 |  2176522 |     1448   3720 |        0 |        0
186.76/186.82	c  186s |      22 |  2923901 |  2198522 |     1448   3750 |        0 |        0
188.76/188.83	c  188s |      22 |  2952086 |  2220022 |     1448   3780 |        0 |        0
190.76/190.84	c  190s |      22 |  2979022 |  2241722 |     1593   3808 |        0 |        0
191.66/191.70	c  191s |      23 |  2990929 |  2251038 |     1593   3820 |        0 |        0
193.67/193.71	c  193s |      23 |  3017606 |  2270838 |     1593   3845 |        0 |        0
195.66/195.72	c  195s |      23 |  3040419 |  2289438 |     1593   3868 |        0 |        0
197.66/197.73	c  197s |      23 |  3067049 |  2309638 |     1593   3893 |        0 |        0
199.66/199.73	c  199s |      23 |  3094452 |  2330138 |     1593   3918 |        0 |        0
201.66/201.74	c  201s |      23 |  3119408 |  2350138 |     1593   3943 |        0 |        0
203.66/203.75	c  203s |      23 |  3146909 |  2371038 |     1593   3969 |        0 |        0
205.66/205.76	c  205s |      23 |  3172515 |  2390838 |     1593   3994 |        0 |        0
207.66/207.76	c  207s |      23 |  3197740 |  2410338 |     1593   4018 |        0 |        0
209.66/209.77	c  209s |      23 |  3224477 |  2431638 |     1593   4045 |        0 |        0
211.66/211.77	c  211s |      23 |  3248920 |  2451538 |     1593   4070 |        0 |        0
213.65/213.78	c  213s |      23 |  3276401 |  2473138 |     1593   4096 |        0 |        0
215.66/215.78	c  215s |      23 |  3305864 |  2494838 |     1593   4124 |        0 |        0
217.65/217.79	c  217s |      23 |  3334225 |  2516038 |     1593   4150 |        0 |        0
219.65/219.79	c  219s |      23 |  3362139 |  2536738 |     1593   4176 |        0 |        0
221.75/221.80	c  221s |      23 |  3389383 |  2557538 |     1593   4202 |        0 |        0
223.75/223.81	c  223s |      23 |  3419292 |  2579738 |     1593   4230 |        0 |        0
225.75/225.81	c  225s |      23 |  3450249 |  2602838 |     1593   4258 |        0 |        0
227.76/227.82	c  227s |      23 |  3478887 |  2623838 |     1593   4285 |        0 |        0
229.75/229.82	c  229s |      23 |  3508467 |  2646138 |     1593   4312 |        0 |        0
231.75/231.83	c  231s |      23 |  3538077 |  2668338 |     1593   4340 |        0 |        0
233.76/233.83	c  233s |      23 |  3562351 |  2687938 |     1593   4365 |        0 |        0
235.76/235.84	c  235s |      23 |  3591298 |  2710238 |     1593   4393 |        0 |        0
237.75/237.84	c  237s |      23 |  3618901 |  2732538 |     1593   4420 |        0 |        0
239.76/239.85	c  239s |      23 |  3647289 |  2754738 |     1593   4448 |        0 |        0
241.75/241.85	c  241s |      23 |  3675090 |  2776338 |     1593   4475 |        0 |        0
243.75/243.86	c  243s |      23 |  3706482 |  2799838 |     1593   4505 |        0 |        0
245.75/245.86	c  245s |      23 |  3738258 |  2823738 |     1593   4534 |        0 |        0
247.75/247.86	c  247s |      23 |  3768315 |  2845838 |     1593   4562 |        0 |        0
249.75/249.87	c  249s |      23 |  3796000 |  2866338 |     1593   4588 |        0 |        0
251.75/251.87	c  251s |      23 |  3826473 |  2888738 |     1593   4615 |        0 |        0
253.75/253.88	c  253s |      23 |  3858234 |  2911238 |     1593   4644 |        0 |        0
255.75/255.88	c  255s |      23 |  3890124 |  2933638 |     1593   4672 |        0 |        0
257.75/257.88	c  257s |      23 |  3921254 |  2956238 |     1593   4700 |        0 |        0
259.75/259.89	c  259s |      23 |  3949298 |  2977038 |     1593   4726 |        0 |        0
261.76/261.90	c  261s |      23 |  3975590 |  2996838 |     1593   4750 |        0 |        0
263.85/263.90	c  263s |      23 |  4002612 |  3017738 |     1593   4776 |        0 |        0
265.85/265.91	c  265s |      23 |  4029732 |  3038638 |     1593   4803 |        0 |        0
267.85/267.91	c  267s |      23 |  4058843 |  3060638 |     1593   4830 |        0 |        0
269.85/269.92	c  269s |      23 |  4086286 |  3082138 |     1593   4857 |        0 |        0
271.84/271.93	c  271s |      23 |  4116356 |  3104838 |     1593   4885 |        0 |        0
273.85/273.93	c  273s |      23 |  4142976 |  3125738 |     1593   4912 |        0 |        0
275.84/275.94	c  275s |      23 |  4170265 |  3145638 |     1593   4936 |        0 |        0
277.84/277.95	c  277s |      23 |  4195833 |  3165538 |     1593   4961 |        0 |        0
279.85/279.95	c  279s |      23 |  4223652 |  3186638 |     1593   4988 |        0 |        0
281.85/281.96	c  281s |      23 |  4252760 |  3208638 |     1593   5015 |        0 |        0
283.86/283.96	c  283s |      23 |  4280631 |  3229838 |     1593   5042 |        0 |        0
285.85/285.97	c  285s |      23 |  4310158 |  3252138 |     1593   5070 |        0 |        0
287.84/287.97	c  287s |      23 |  4338941 |  3274038 |     1593   5097 |        0 |        0
289.84/289.99	c  289s |      23 |  4367988 |  3295238 |     1593   5123 |        0 |        0
291.84/291.99	c  291s |      23 |  4395832 |  3316838 |     1593   5150 |        0 |        0
293.94/294.00	c  293s |      23 |  4425435 |  3338438 |     1593   5178 |        0 |        0
295.95/296.01	c  295s |      23 |  4453004 |  3359938 |     1753   5203 |        0 |        0
297.44/297.59	c  297s |      24 |  4476487 |  3376662 |     1753   5222 |        0 |        0
299.44/299.59	c  299s |      24 |  4502761 |  3396362 |     1753   5245 |        0 |        0
301.54/301.60	c  301s |      24 |  4527613 |  3415562 |     1753   5266 |        0 |        0
303.54/303.61	c  303s |      24 |  4554089 |  3435262 |     1753   5289 |        0 |        0
305.55/305.61	c  305s |      24 |  4578995 |  3455062 |     1753   5311 |        0 |        0
307.55/307.61	c  307s |      24 |  4604597 |  3474662 |     1753   5333 |        0 |        0
309.55/309.61	c  309s |      24 |  4634953 |  3496462 |     1753   5358 |        0 |        0
311.55/311.62	c  311s |      24 |  4665484 |  3518662 |     1753   5383 |        0 |        0
313.55/313.62	c  313s |      24 |  4693591 |  3539762 |     1753   5407 |        0 |        0
315.54/315.63	c  315s |      24 |  4721790 |  3561062 |     1753   5431 |        0 |        0
317.54/317.63	c  317s |      24 |  4747476 |  3581362 |     1753   5454 |        0 |        0
319.54/319.63	c  319s |      24 |  4774959 |  3602162 |     1753   5478 |        0 |        0
321.54/321.64	c  321s |      24 |  4798523 |  3620762 |     1753   5499 |        0 |        0
323.54/323.64	c  323s |      24 |  4823283 |  3640262 |     1753   5521 |        0 |        0
325.55/325.65	c  325s |      24 |  4853206 |  3662262 |     1753   5546 |        0 |        0
327.54/327.66	c  327s |      24 |  4882123 |  3684562 |     1753   5572 |        0 |        0
329.54/329.67	c  329s |      24 |  4910980 |  3706462 |     1753   5596 |        0 |        0
331.54/331.67	c  331s |      24 |  4942867 |  3728862 |     1753   5622 |        0 |        0
333.54/333.68	c  333s |      24 |  4974014 |  3751662 |     1753   5648 |        0 |        0
335.55/335.68	c  335s |      24 |  5002900 |  3773262 |     1753   5672 |        0 |        0
337.54/337.68	c  337s |      24 |  5030466 |  3794262 |     1753   5696 |        0 |        0
339.54/339.69	c  339s |      24 |  5059371 |  3815962 |     1753   5721 |        0 |        0
341.54/341.69	c  341s |      24 |  5089500 |  3838062 |     1753   5746 |        0 |        0
343.54/343.70	c  343s |      24 |  5118820 |  3859462 |     1753   5770 |        0 |        0
345.64/345.70	c  345s |      24 |  5149405 |  3881862 |     1753   5796 |        0 |        0
347.64/347.71	c  347s |      24 |  5178447 |  3904062 |     1753   5821 |        0 |        0
349.63/349.71	c  349s |      24 |  5207652 |  3926062 |     1753   5846 |        0 |        0
351.63/351.71	c  351s |      24 |  5234762 |  3946562 |     1753   5869 |        0 |        0
353.63/353.72	c  353s |      24 |  5263346 |  3968262 |     1753   5894 |        0 |        0
355.63/355.73	c  355s |      24 |  5288921 |  3987762 |     1753   5916 |        0 |        0
357.63/357.73	c  357s |      24 |  5313224 |  4006662 |     1753   5937 |        0 |        0
359.64/359.74	c  359s |      24 |  5339972 |  4027262 |     1753   5961 |        0 |        0
361.63/361.75	c  361s |      24 |  5370464 |  4049962 |     1753   5987 |        0 |        0
363.63/363.75	c  363s |      24 |  5400963 |  4071962 |     1753   6012 |        0 |        0
365.63/365.75	c  365s |      24 |  5430567 |  4094062 |     1753   6037 |        0 |        0
367.63/367.76	c  367s |      24 |  5458759 |  4114462 |     1753   6060 |        0 |        0
369.63/369.76	c  369s |      24 |  5486493 |  4135462 |     1753   6084 |        0 |        0
371.64/371.77	c  371s |      24 |  5517752 |  4158162 |     1753   6109 |        0 |        0
373.64/373.77	c  373s |      24 |  5547036 |  4180062 |     1753   6134 |        0 |        0
375.63/375.77	c  375s |      24 |  5575613 |  4201562 |     1753   6159 |        0 |        0
377.63/377.78	c  377s |      24 |  5604278 |  4222662 |     1753   6183 |        0 |        0
379.63/379.78	c  379s |      24 |  5632854 |  4244062 |     1753   6207 |        0 |        0
381.64/381.79	c  381s |      24 |  5659186 |  4264162 |     1753   6230 |        0 |        0
383.73/383.80	c  383s |      24 |  5688128 |  4286262 |     1753   6255 |        0 |        0
385.73/385.80	c  385s |      24 |  5716875 |  4308262 |     1753   6280 |        0 |        0
387.73/387.81	c  387s |      24 |  5747061 |  4330662 |     1753   6306 |        0 |        0
389.73/389.81	c  389s |      24 |  5775511 |  4352562 |     1753   6330 |        0 |        0
391.73/391.81	c  391s |      24 |  5804733 |  4374662 |     1753   6356 |        0 |        0
393.73/393.81	c  393s |      24 |  5833662 |  4396662 |     1753   6381 |        0 |        0
395.73/395.82	c  395s |      24 |  5861904 |  4418762 |     1753   6406 |        0 |        0
397.73/397.82	c  397s |      24 |  5891657 |  4441162 |     1753   6431 |        0 |        0
399.73/399.83	c  399s |      24 |  5917403 |  4461662 |     1753   6455 |        0 |        0
401.72/401.83	c  401s |      24 |  5943675 |  4481762 |     1753   6477 |        0 |        0
403.73/403.84	c  403s |      24 |  5966816 |  4501062 |     1753   6499 |        0 |        0
405.72/405.84	c  405s |      24 |  5993904 |  4522262 |     1753   6523 |        0 |        0
407.72/407.85	c  407s |      24 |  6024694 |  4545062 |     1753   6549 |        0 |        0
409.72/409.86	c  409s |      24 |  6055713 |  4568162 |     1753   6576 |        0 |        0
411.72/411.87	c  411s |      24 |  6085537 |  4590862 |     1753   6601 |        0 |        0
413.72/413.87	c  413s |      24 |  6116131 |  4613462 |     1753   6627 |        0 |        0
415.74/415.88	c  415s |      24 |  6144444 |  4635062 |     1753   6652 |        0 |        0
417.73/417.88	c  417s |      24 |  6173283 |  4656562 |     1753   6676 |        0 |        0
419.73/419.89	c  419s |      24 |  6201204 |  4678262 |     1753   6701 |        0 |        0
421.83/421.90	c  421s |      24 |  6229488 |  4699062 |     1753   6724 |        0 |        0
423.82/423.90	c  423s |      24 |  6257929 |  4720562 |     1753   6749 |        0 |        0
425.82/425.91	c  425s |      24 |  6284651 |  4741362 |     1753   6772 |        0 |        0
427.83/427.91	c  427s |      24 |  6313037 |  4763262 |     1753   6797 |        0 |        0
429.82/429.92	c  429s |      24 |  6341232 |  4784362 |     1753   6821 |        0 |        0
431.82/431.92	c  431s |      24 |  6364644 |  4803362 |     1753   6843 |        0 |        0
433.82/433.93	c  433s |      24 |  6389175 |  4823162 |     1753   6865 |        0 |        0
435.82/435.93	c  435s |      24 |  6416488 |  4843362 |     1753   6888 |        0 |        0
437.83/437.94	c  437s |      24 |  6440661 |  4863062 |     1753   6911 |        0 |        0
439.82/439.94	c  439s |      24 |  6467456 |  4884362 |     1753   6935 |        0 |        0
441.82/441.94	c  441s |      24 |  6495045 |  4905762 |     1753   6959 |        0 |        0
443.82/443.94	c  443s |      24 |  6518686 |  4925062 |     1753   6981 |        0 |        0
445.83/445.94	c  445s |      24 |  6544536 |  4944962 |     1753   7004 |        0 |        0
447.82/447.95	c  447s |      24 |  6570279 |  4965462 |     1753   7027 |        0 |        0
449.83/449.95	c  449s |      24 |  6596554 |  4985662 |     1753   7050 |        0 |        0
451.82/451.96	c  451s |      24 |  6623423 |  5006162 |     1753   7073 |        0 |        0
453.82/453.96	c  453s |      24 |  6650099 |  5026762 |     1753   7097 |        0 |        0
455.82/455.97	c  455s |      24 |  6673931 |  5045262 |     1929   7116 |        0 |        0
457.82/457.98	c  457s |      24 |  6700019 |  5064562 |     1929   7136 |        0 |        0
457.92/458.03	c  458s |      25 |  6700745 |  5065098 |     1929   7137 |        0 |        0
459.92/460.04	c  460s |      25 |  6725114 |  5084098 |     1929   7156 |        0 |        0
461.93/462.05	c  462s |      25 |  6750462 |  5102898 |     1929   7175 |        0 |        0
463.92/464.05	c  464s |      25 |  6774952 |  5121798 |     1929   7195 |        0 |        0
465.92/466.05	c  466s |      25 |  6799402 |  5140498 |     1929   7214 |        0 |        0
467.92/468.06	c  468s |      25 |  6826162 |  5160498 |     1929   7235 |        0 |        0
469.92/470.06	c  470s |      25 |  6851194 |  5180398 |     1929   7255 |        0 |        0
471.92/472.07	c  472s |      25 |  6874804 |  5199598 |     1929   7275 |        0 |        0
473.91/474.08	c  474s |      25 |  6899951 |  5218398 |     1929   7295 |        0 |        0
475.91/476.08	c  476s |      25 |  6925985 |  5238398 |     1929   7315 |        0 |        0
477.91/478.09	c  478s |      25 |  6951071 |  5257698 |     1929   7335 |        0 |        0
480.01/480.10	c  480s |      25 |  6977259 |  5277798 |     1929   7356 |        0 |        0
482.01/482.10	c  482s |      25 |  7001580 |  5296998 |     1929   7376 |        0 |        0
483.93/484.10	c  484s |      25 |  7028573 |  5317598 |     1929   7397 |        0 |        0
486.02/486.10	c  486s |      25 |  7055280 |  5337398 |     1929   7417 |        0 |        0
488.02/488.11	c  488s |      25 |  7080441 |  5356798 |     1929   7437 |        0 |        0
490.02/490.11	c  490s |      25 |  7104649 |  5375498 |     1929   7457 |        0 |        0
492.02/492.12	c  492s |      25 |  7128119 |  5393798 |     1929   7475 |        0 |        0
494.01/494.13	c  494s |      25 |  7152348 |  5412898 |     1929   7495 |        0 |        0
496.02/496.14	c  496s |      25 |  7177953 |  5432498 |     1929   7515 |        0 |        0
498.01/498.14	c  498s |      25 |  7202157 |  5451398 |     1929   7535 |        0 |        0
500.01/500.15	c  500s |      25 |  7222257 |  5468098 |     1929   7552 |        0 |        0
502.01/502.16	c  502s |      25 |  7246105 |  5486398 |     1929   7571 |        0 |        0
504.01/504.16	c  504s |      25 |  7267738 |  5504098 |     1929   7589 |        0 |        0
506.02/506.17	c  506s |      25 |  7290800 |  5522498 |     1929   7608 |        0 |        0
508.01/508.18	c  508s |      25 |  7318940 |  5542598 |     1929   7629 |        0 |        0
510.01/510.18	c  510s |      25 |  7345953 |  5561798 |     1929   7649 |        0 |        0
512.01/512.18	c  512s |      25 |  7372015 |  5580698 |     1929   7668 |        0 |        0
514.01/514.19	c  514s |      25 |  7397971 |  5600298 |     1929   7689 |        0 |        0
516.11/516.20	c  516s |      25 |  7421864 |  5619198 |     1929   7708 |        0 |        0
518.12/518.21	c  518s |      25 |  7446951 |  5638698 |     1929   7728 |        0 |        0
520.11/520.21	c  520s |      25 |  7469510 |  5656998 |     1929   7747 |        0 |        0
522.10/522.21	c  522s |      25 |  7494385 |  5676198 |     1929   7767 |        0 |        0
524.11/524.21	c  524s |      25 |  7520193 |  5696198 |     1929   7787 |        0 |        0
526.11/526.21	c  526s |      25 |  7546230 |  5716298 |     1929   7808 |        0 |        0
528.11/528.22	c  528s |      25 |  7573336 |  5736398 |     1929   7829 |        0 |        0
530.12/530.22	c  530s |      25 |  7598231 |  5755098 |     1929   7848 |        0 |        0
532.11/532.22	c  532s |      25 |  7620779 |  5773198 |     1929   7867 |        0 |        0
534.11/534.23	c  534s |      25 |  7641764 |  5790798 |     1929   7885 |        0 |        0
536.11/536.23	c  536s |      25 |  7666404 |  5809698 |     1929   7905 |        0 |        0
538.11/538.24	c  538s |      25 |  7689096 |  5828198 |     1929   7924 |        0 |        0
540.12/540.25	c  540s |      25 |  7713141 |  5846998 |     1929   7943 |        0 |        0
542.10/542.26	c  542s |      25 |  7734292 |  5864798 |     1929   7961 |        0 |        0
544.10/544.27	c  544s |      25 |  7758638 |  5883998 |     1929   7981 |        0 |        0
546.10/546.27	c  546s |      25 |  7781134 |  5902498 |     1929   8000 |        0 |        0
548.10/548.27	c  548s |      25 |  7804979 |  5921298 |     1929   8020 |        0 |        0
550.10/550.28	c  550s |      25 |  7830352 |  5940798 |     1929   8040 |        0 |        0
552.11/552.29	c  552s |      25 |  7856707 |  5960798 |     1929   8061 |        0 |        0
554.10/554.29	c  554s |      25 |  7881083 |  5979498 |     1929   8080 |        0 |        0
556.10/556.30	c  556s |      25 |  7903883 |  5997798 |     1929   8099 |        0 |        0
558.20/558.30	c  558s |      25 |  7928080 |  6016898 |     1929   8119 |        0 |        0
560.20/560.31	c  560s |      25 |  7952481 |  6035698 |     1929   8138 |        0 |        0
562.20/562.32	c  562s |      25 |  7975407 |  6054098 |     1929   8157 |        0 |        0
564.20/564.33	c  564s |      25 |  7997595 |  6072098 |     1929   8176 |        0 |        0
566.21/566.33	c  566s |      25 |  8019717 |  6089698 |     1929   8194 |        0 |        0
568.21/568.34	c  568s |      25 |  8042807 |  6107698 |     1929   8212 |        0 |        0
570.21/570.35	c  570s |      25 |  8065917 |  6126198 |     1929   8232 |        0 |        0
572.20/572.36	c  572s |      25 |  8088189 |  6144198 |     1929   8250 |        0 |        0
574.21/574.37	c  574s |      25 |  8113592 |  6163398 |     1929   8270 |        0 |        0
576.20/576.37	c  576s |      25 |  8139195 |  6182698 |     1929   8290 |        0 |        0
578.20/578.37	c  578s |      25 |  8168041 |  6203598 |     1929   8312 |        0 |        0
580.20/580.38	c  580s |      25 |  8192765 |  6223498 |     1929   8332 |        0 |        0
582.20/582.38	c  582s |      25 |  8212822 |  6240698 |     1929   8350 |        0 |        0
584.20/584.38	c  584s |      25 |  8236627 |  6259998 |     1929   8370 |        0 |        0
586.21/586.39	c  586s |      25 |  8262752 |  6279998 |     1929   8390 |        0 |        0
588.30/588.40	c  588s |      25 |  8289996 |  6300598 |     1929   8412 |        0 |        0
590.30/590.40	c  590s |      25 |  8314896 |  6320298 |     1929   8432 |        0 |        0
592.30/592.41	c  592s |      25 |  8337995 |  6338698 |     1929   8451 |        0 |        0
594.30/594.41	c  594s |      25 |  8362705 |  6358098 |     1929   8471 |        0 |        0
596.29/596.42	c  596s |      25 |  8389256 |  6378098 |     1929   8491 |        0 |        0
598.30/598.43	c  598s |      25 |  8412709 |  6397198 |     1929   8511 |        0 |        0
600.29/600.43	c  600s |      25 |  8438841 |  6416998 |     1929   8532 |        0 |        0
602.29/602.44	c  602s |      25 |  8465870 |  6437198 |     1929   8552 |        0 |        0
604.29/604.45	c  604s |      25 |  8494976 |  6458098 |     1929   8574 |        0 |        0
606.30/606.45	c  606s |      25 |  8522497 |  6478898 |     1929   8596 |        0 |        0
608.31/608.45	c  608s |      25 |  8550530 |  6499798 |     1929   8617 |        0 |        0
610.30/610.46	c  610s |      25 |  8580226 |  6521498 |     1929   8640 |        0 |        0
612.30/612.46	c  612s |      25 |  8606988 |  6542598 |     1929   8661 |        0 |        0
614.30/614.47	c  614s |      25 |  8632032 |  6562398 |     1929   8682 |        0 |        0
616.30/616.47	c  616s |      25 |  8656000 |  6581498 |     1929   8701 |        0 |        0
618.30/618.47	c  618s |      25 |  8681229 |  6601298 |     1929   8722 |        0 |        0
620.30/620.48	c  620s |      25 |  8706627 |  6620998 |     1929   8742 |        0 |        0
622.29/622.48	c  622s |      25 |  8732056 |  6640198 |     1929   8762 |        0 |        0
624.29/624.48	c  624s |      25 |  8757119 |  6659398 |     1929   8782 |        0 |        0
626.29/626.48	c  626s |      25 |  8780049 |  6678098 |     1929   8801 |        0 |        0
628.29/628.48	c  628s |      25 |  8805555 |  6697498 |     1929   8821 |        0 |        0
630.29/630.49	c  630s |      25 |  8829427 |  6715598 |     1929   8840 |        0 |        0
632.28/632.50	c  632s |      25 |  8853343 |  6734098 |     1929   8859 |        0 |        0
634.38/634.51	c  634s |      25 |  8877306 |  6752898 |     1929   8879 |        0 |        0
636.38/636.52	c  636s |      25 |  8902153 |  6772398 |     1929   8899 |        0 |        0
638.38/638.52	c  638s |      25 |  8925709 |  6790798 |     1929   8918 |        0 |        0
640.38/640.53	c  640s |      25 |  8950003 |  6809398 |     1929   8937 |        0 |        0
642.39/642.53	c  642s |      25 |  8973872 |  6828198 |     1929   8956 |        0 |        0
644.38/644.53	c  644s |      25 |  8997539 |  6846698 |     1929   8976 |        0 |        0
646.38/646.54	c  646s |      25 |  9022728 |  6866098 |     1929   8996 |        0 |        0
648.38/648.54	c  648s |      25 |  9048216 |  6885098 |     1929   9015 |        0 |        0
650.38/650.55	c  650s |      25 |  9073438 |  6904298 |     1929   9035 |        0 |        0
652.37/652.55	c  652s |      25 |  9094207 |  6921398 |     1929   9053 |        0 |        0
654.38/654.56	c  654s |      25 |  9114937 |  6938598 |     1929   9070 |        0 |        0
656.37/656.57	c  656s |      25 |  9138910 |  6957098 |     1929   9090 |        0 |        0
658.37/658.57	c  658s |      25 |  9164388 |  6976898 |     1929   9110 |        0 |        0
660.37/660.58	c  660s |      25 |  9189201 |  6996598 |     1929   9130 |        0 |        0
662.37/662.58	c  662s |      25 |  9215087 |  7016498 |     1929   9151 |        0 |        0
664.38/664.59	c  664s |      25 |  9241842 |  7036598 |     1929   9172 |        0 |        0
666.37/666.59	c  666s |      25 |  9270421 |  7057298 |     1929   9193 |        0 |        0
668.37/668.59	c  668s |      25 |  9298012 |  7077998 |     1929   9215 |        0 |        0
670.47/670.60	c  670s |      25 |  9326085 |  7098698 |     1929   9236 |        0 |        0
672.47/672.60	c  672s |      25 |  9351125 |  7118998 |     1929   9257 |        0 |        0
674.47/674.61	c  674s |      25 |  9378825 |  7139598 |     1929   9278 |        0 |        0
676.47/676.61	c  676s |      25 |  9404064 |  7158198 |     1929   9297 |        0 |        0
678.47/678.62	c  678s |      25 |  9429748 |  7177298 |     1929   9317 |        0 |        0
680.46/680.62	c  680s |      25 |  9456188 |  7197398 |     1929   9338 |        0 |        0
682.46/682.62	c  682s |      25 |  9480977 |  7216498 |     1929   9358 |        0 |        0
684.46/684.63	c  684s |      25 |  9504684 |  7234498 |     1929   9376 |        0 |        0
686.46/686.63	c  686s |      25 |  9527249 |  7250998 |     1929   9393 |        0 |        0
688.46/688.64	c  688s |      25 |  9551009 |  7269498 |     1929   9412 |        0 |        0
690.46/690.65	c  690s |      25 |  9577357 |  7289098 |     1929   9433 |        0 |        0
692.45/692.66	c  692s |      25 |  9603571 |  7308998 |     1929   9453 |        0 |        0
694.46/694.67	c  694s |      25 |  9630011 |  7329298 |     1929   9474 |        0 |        0
696.46/696.68	c  696s |      25 |  9653316 |  7347398 |     1929   9493 |        0 |        0
698.46/698.68	c  698s |      25 |  9679244 |  7366898 |     1929   9513 |        0 |        0
700.46/700.69	c  700s |      25 |  9706398 |  7387498 |     1929   9535 |        0 |        0
702.45/702.69	c  702s |      25 |  9735626 |  7409098 |     1929   9557 |        0 |        0
704.55/704.70	c  704s |      25 |  9761800 |  7429698 |     1929   9578 |        0 |        0
706.55/706.70	c  706s |      25 |  9790048 |  7451298 |     1929   9600 |        0 |        0
708.55/708.71	c  708s |      25 |  9819166 |  7472598 |     1929   9622 |        0 |        0
710.55/710.71	c  710s |      25 |  9845669 |  7493098 |     1929   9644 |        0 |        0
712.54/712.71	c  712s |      25 |  9869875 |  7512898 |     1929   9664 |        0 |        0
714.54/714.72	c  714s |      25 |  9894040 |  7532298 |     1929   9684 |        0 |        0
716.54/716.72	c  716s |      25 |  9918324 |  7549898 |     2122   9701 |        0 |        0
718.54/718.73	c  718s |      25 |  9941069 |  7567898 |     2122   9718 |        0 |        0
720.54/720.73	c  720s |      25 |  9967812 |  7586898 |     2122   9736 |        0 |        0
721.64/721.85	c  721s |      26 |  9982202 |  7597752 |     2122   9746 |        0 |        0
723.64/723.86	c  723s |      26 | 10007310 |  7616652 |     2122   9764 |        0 |        0
725.64/725.86	c  725s |      26 | 10033528 |  7634652 |     2122   9781 |        0 |        0
727.64/727.86	c  727s |      26 | 10060125 |  7653752 |     2122   9799 |        0 |        0
729.64/729.86	c  729s |      26 | 10083453 |  7672052 |     2122   9816 |        0 |        0
731.63/731.87	c  731s |      26 | 10108585 |  7691652 |     2122   9834 |        0 |        0
733.64/733.88	c  733s |      26 | 10134719 |  7710752 |     2122   9852 |        0 |        0
735.63/735.88	c  735s |      26 | 10162726 |  7730952 |     2122   9871 |        0 |        0
737.63/737.88	c  737s |      26 | 10187091 |  7749552 |     2122   9889 |        0 |        0
739.63/739.89	c  739s |      26 | 10213656 |  7769352 |     2122   9907 |        0 |        0
741.73/741.90	c  741s |      26 | 10241087 |  7789452 |     2122   9926 |        0 |        0
743.72/743.90	c  743s |      26 | 10267982 |  7809352 |     2122   9945 |        0 |        0
745.73/745.91	c  745s |      26 | 10295688 |  7829552 |     2122   9964 |        0 |        0
747.72/747.92	c  747s |      26 | 10321071 |  7849052 |     2122   9982 |        0 |        0
749.72/749.93	c  749s |      26 | 10347490 |  7868952 |     2122  10001 |        0 |        0
751.72/751.93	c  751s |      26 | 10372075 |  7887952 |     2122  10019 |        0 |        0
753.71/753.94	c  753s |      26 | 10396677 |  7906652 |     2122  10036 |        0 |        0
755.71/755.94	c  755s |      26 | 10424740 |  7926752 |     2122  10055 |        0 |        0
757.73/757.94	c  757s |      26 | 10451809 |  7946652 |     2122  10074 |        0 |        0
759.72/759.96	c  759s |      26 | 10479028 |  7966952 |     2122  10093 |        0 |        0
761.72/761.96	c  761s |      26 | 10505367 |  7986952 |     2122  10111 |        0 |        0
763.71/763.96	c  763s |      26 | 10530657 |  8006352 |     2122  10130 |        0 |        0
765.71/765.97	c  765s |      26 | 10555143 |  8024952 |     2122  10147 |        0 |        0
767.72/767.97	c  767s |      26 | 10579518 |  8044052 |     2122  10165 |        0 |        0
769.71/769.98	c  769s |      26 | 10603898 |  8062952 |     2122  10183 |        0 |        0
771.71/771.98	c  771s |      26 | 10629357 |  8082352 |     2122  10201 |        0 |        0
773.70/773.99	c  773s |      26 | 10653379 |  8101452 |     2122  10219 |        0 |        0
775.70/775.99	c  775s |      26 | 10676548 |  8120252 |     2122  10236 |        0 |        0
777.80/778.00	c  777s |      26 | 10703124 |  8140352 |     2122  10255 |        0 |        0
779.81/780.01	c  779s |      26 | 10723828 |  8157152 |     2122  10271 |        0 |        0
781.80/782.01	c  781s |      26 | 10744635 |  8174152 |     2122  10287 |        0 |        0
783.80/784.02	c  784s |      26 | 10766707 |  8191852 |     2122  10303 |        0 |        0
785.80/786.03	c  786s |      26 | 10791430 |  8210052 |     2122  10320 |        0 |        0
787.80/788.04	c  788s |      26 | 10814654 |  8228052 |     2122  10337 |        0 |        0
789.80/790.04	c  790s |      26 | 10837495 |  8245452 |     2122  10354 |        0 |        0
791.81/792.05	c  792s |      26 | 10861341 |  8263752 |     2122  10371 |        0 |        0
793.80/794.05	c  794s |      26 | 10884856 |  8282052 |     2122  10388 |        0 |        0
795.80/796.05	c  796s |      26 | 10909092 |  8300552 |     2122  10405 |        0 |        0
797.79/798.06	c  798s |      26 | 10935157 |  8319752 |     2122  10423 |        0 |        0
799.79/800.06	c  800s |      26 | 10960959 |  8339652 |     2122  10442 |        0 |        0
801.80/802.07	c  802s |      26 | 10987182 |  8359552 |     2122  10460 |        0 |        0
803.79/804.08	c  804s |      26 | 11012863 |  8379552 |     2122  10479 |        0 |        0
805.79/806.09	c  806s |      26 | 11036696 |  8398352 |     2122  10497 |        0 |        0
807.79/808.09	c  808s |      26 | 11060274 |  8417252 |     2122  10515 |        0 |        0
809.79/810.09	c  810s |      26 | 11083684 |  8436052 |     2122  10532 |        0 |        0
811.79/812.09	c  812s |      26 | 11105407 |  8452952 |     2122  10548 |        0 |        0
813.79/814.09	c  814s |      26 | 11123189 |  8467952 |     2122  10562 |        0 |        0
815.88/816.11	c  816s |      26 | 11145448 |  8484652 |     2122  10578 |        0 |        0
817.88/818.11	c  818s |      26 | 11171055 |  8503752 |     2122  10596 |        0 |        0
819.88/820.12	c  820s |      26 | 11196371 |  8523452 |     2122  10614 |        0 |        0
821.88/822.12	c  822s |      26 | 11222491 |  8542952 |     2122  10632 |        0 |        0
823.87/824.12	c  824s |      26 | 11247829 |  8562652 |     2122  10651 |        0 |        0
825.88/826.14	c  826s |      26 | 11275952 |  8583552 |     2122  10671 |        0 |        0
827.87/828.15	c  828s |      26 | 11299834 |  8602652 |     2122  10689 |        0 |        0
829.88/830.16	c  830s |      26 | 11319222 |  8618852 |     2122  10704 |        0 |        0
831.88/832.16	c  832s |      26 | 11339683 |  8635252 |     2122  10719 |        0 |        0
833.87/834.17	c  834s |      26 | 11363095 |  8653052 |     2122  10736 |        0 |        0
835.88/836.18	c  836s |      26 | 11387647 |  8671652 |     2122  10753 |        0 |        0
837.87/838.18	c  838s |      26 | 11410944 |  8689752 |     2122  10770 |        0 |        0
839.87/840.19	c  840s |      26 | 11435885 |  8708752 |     2122  10788 |        0 |        0
841.97/842.20	c  842s |      26 | 11459564 |  8727352 |     2122  10806 |        0 |        0
843.96/844.20	c  844s |      26 | 11483015 |  8745352 |     2122  10822 |        0 |        0
845.96/846.21	c  846s |      26 | 11508304 |  8764152 |     2122  10840 |        0 |        0
847.97/848.22	c  848s |      26 | 11533564 |  8783552 |     2122  10858 |        0 |        0
849.96/850.23	c  850s |      26 | 11555310 |  8800652 |     2122  10874 |        0 |        0
851.96/852.24	c  852s |      26 | 11578453 |  8818452 |     2122  10891 |        0 |        0
853.95/854.24	c  854s |      26 | 11602416 |  8836952 |     2122  10908 |        0 |        0
855.95/856.25	c  856s |      26 | 11630597 |  8857652 |     2122  10928 |        0 |        0
857.96/858.25	c  858s |      26 | 11656334 |  8877352 |     2122  10946 |        0 |        0
859.97/860.26	c  860s |      26 | 11682670 |  8897552 |     2122  10965 |        0 |        0
861.96/862.26	c  862s |      26 | 11706858 |  8916252 |     2122  10983 |        0 |        0
863.95/864.26	c  864s |      26 | 11728977 |  8934652 |     2122  11000 |        0 |        0
865.95/866.28	c  866s |      26 | 11754009 |  8954052 |     2122  11018 |        0 |        0
867.95/868.28	c  868s |      26 | 11779658 |  8973552 |     2122  11037 |        0 |        0
869.96/870.28	c  870s |      26 | 11803452 |  8992752 |     2122  11055 |        0 |        0
871.95/872.29	c  872s |      26 | 11827290 |  9011652 |     2122  11072 |        0 |        0
873.94/874.29	c  874s |      26 | 11855142 |  9032552 |     2122  11092 |        0 |        0
875.94/876.29	c  876s |      26 | 11881101 |  9052452 |     2122  11110 |        0 |        0
877.94/878.29	c  878s |      26 | 11908706 |  9073052 |     2122  11130 |        0 |        0
880.04/880.30	c  880s |      26 | 11933386 |  9092052 |     2122  11148 |        0 |        0
881.95/882.30	c  882s |      26 | 11960902 |  9112452 |     2122  11167 |        0 |        0
884.04/884.30	c  884s |      26 | 11987711 |  9132852 |     2122  11186 |        0 |        0
886.04/886.30	c  886s |      26 | 12008783 |  9149952 |     2122  11202 |        0 |        0
888.04/888.31	c  888s |      26 | 12033169 |  9169152 |     2122  11220 |        0 |        0
890.03/890.32	c  890s |      26 | 12057925 |  9187652 |     2122  11237 |        0 |        0
892.03/892.33	c  892s |      26 | 12083507 |  9206452 |     2122  11255 |        0 |        0
894.04/894.33	c  894s |      26 | 12111173 |  9226852 |     2122  11274 |        0 |        0
896.03/896.33	c  896s |      26 | 12139601 |  9247552 |     2122  11294 |        0 |        0
898.03/898.33	c  898s |      26 | 12167222 |  9268652 |     2122  11313 |        0 |        0
900.03/900.33	c  900s |      26 | 12193761 |  9288852 |     2122  11332 |        0 |        0
902.03/902.34	c  902s |      26 | 12218607 |  9308652 |     2122  11351 |        0 |        0
904.03/904.35	c  904s |      26 | 12245158 |  9328852 |     2122  11370 |        0 |        0
906.03/906.35	c  906s |      26 | 12275449 |  9350852 |     2122  11391 |        0 |        0
908.03/908.35	c  908s |      26 | 12304996 |  9372852 |     2122  11411 |        0 |        0
910.03/910.36	c  910s |      26 | 12334390 |  9393752 |     2122  11431 |        0 |        0
912.03/912.37	c  912s |      26 | 12363833 |  9415152 |     2122  11451 |        0 |        0
914.02/914.37	c  914s |      26 | 12386615 |  9432852 |     2122  11468 |        0 |        0
916.02/916.38	c  916s |      26 | 12408693 |  9449952 |     2122  11484 |        0 |        0
918.02/918.39	c  918s |      26 | 12430692 |  9467252 |     2122  11500 |        0 |        0
920.02/920.39	c  920s |      26 | 12453674 |  9485052 |     2122  11517 |        0 |        0
922.02/922.39	c  922s |      26 | 12474720 |  9501652 |     2122  11532 |        0 |        0
924.11/924.40	c  924s |      26 | 12498239 |  9519452 |     2122  11549 |        0 |        0
926.11/926.40	c  926s |      26 | 12520331 |  9537352 |     2122  11566 |        0 |        0
928.12/928.40	c  928s |      26 | 12544897 |  9555852 |     2122  11583 |        0 |        0
930.12/930.41	c  930s |      26 | 12571497 |  9575352 |     2122  11601 |        0 |        0
932.11/932.42	c  932s |      26 | 12600948 |  9596652 |     2122  11621 |        0 |        0
934.11/934.42	c  934s |      26 | 12624921 |  9614552 |     2122  11638 |        0 |        0
936.11/936.43	c  936s |      26 | 12650199 |  9633952 |     2122  11656 |        0 |        0
938.12/938.44	c  938s |      26 | 12677535 |  9654252 |     2122  11676 |        0 |        0
940.11/940.45	c  940s |      26 | 12705470 |  9674852 |     2122  11695 |        0 |        0
942.10/942.46	c  942s |      26 | 12730834 |  9694952 |     2122  11714 |        0 |        0
944.10/944.47	c  944s |      26 | 12747923 |  9709652 |     2122  11728 |        0 |        0
946.10/946.48	c  946s |      26 | 12769199 |  9727352 |     2122  11744 |        0 |        0
948.10/948.48	c  948s |      26 | 12797596 |  9748852 |     2122  11764 |        0 |        0
950.11/950.48	c  950s |      26 | 12826197 |  9770052 |     2122  11784 |        0 |        0
952.09/952.49	c  952s |      26 | 12852108 |  9789452 |     2122  11802 |        0 |        0
954.19/954.50	c  954s |      26 | 12879850 |  9810552 |     2122  11822 |        0 |        0
956.19/956.50	c  956s |      26 | 12908467 |  9831852 |     2122  11842 |        0 |        0
958.19/958.51	c  958s |      26 | 12937196 |  9853052 |     2122  11862 |        0 |        0
960.19/960.51	c  960s |      26 | 12964054 |  9873252 |     2122  11881 |        0 |        0
962.19/962.52	c  962s |      26 | 12990625 |  9893152 |     2122  11900 |        0 |        0
964.19/964.52	c  964s |      26 | 13012939 |  9911152 |     2122  11917 |        0 |        0
966.18/966.52	c  966s |      26 | 13040986 |  9931952 |     2122  11936 |        0 |        0
968.18/968.53	c  968s |      26 | 13066484 |  9951052 |     2122  11954 |        0 |        0
970.18/970.53	c  970s |      26 | 13088847 |  9968752 |     2122  11971 |        0 |        0
972.18/972.54	c  972s |      26 | 13116606 |  9989452 |     2122  11990 |        0 |        0
974.17/974.54	c  974s |      26 | 13142845 | 10009052 |     2122  12008 |        0 |        0
976.17/976.54	c  976s |      26 | 13164488 | 10026752 |     2122  12025 |        0 |        0
978.17/978.55	c  978s |      26 | 13184872 | 10043152 |     2122  12040 |        0 |        0
980.17/980.55	c  980s |      26 | 13210273 | 10062252 |     2122  12058 |        0 |        0
982.17/982.55	c  982s |      26 | 13235471 | 10081552 |     2122  12076 |        0 |        0
984.17/984.56	c  984s |      26 | 13260503 | 10100852 |     2122  12095 |        0 |        0
986.17/986.56	c  986s |      26 | 13286740 | 10120552 |     2122  12113 |        0 |        0
988.16/988.57	c  988s |      26 | 13314321 | 10140652 |     2122  12132 |        0 |        0
990.17/990.57	c  990s |      26 | 13341625 | 10161152 |     2122  12151 |        0 |        0
992.17/992.58	c  992s |      26 | 13370505 | 10181752 |     2122  12170 |        0 |        0
994.17/994.58	c  994s |      26 | 13398484 | 10202252 |     2122  12190 |        0 |        0
996.17/996.59	c  996s |      26 | 13425173 | 10222052 |     2122  12208 |        0 |        0
998.27/998.60	c  998s |      26 | 13453602 | 10242752 |     2122  12228 |        0 |        0
1000.27/1000.62	c 1000s |      26 | 13477762 | 10261752 |     2122  12245 |        0 |        0
1002.26/1002.63	c 1002s |      26 | 13499508 | 10279152 |     2122  12262 |        0 |        0
1004.26/1004.64	c 1004s |      26 | 13523411 | 10297652 |     2122  12279 |        0 |        0
1006.26/1006.64	c 1006s |      26 | 13546446 | 10315652 |     2122  12296 |        0 |        0
1008.26/1008.65	c 1008s |      26 | 13569227 | 10334552 |     2122  12314 |        0 |        0
1010.26/1010.65	c 1010s |      26 | 13595122 | 10354352 |     2122  12332 |        0 |        0
1012.25/1012.65	c 1012s |      26 | 13619346 | 10373852 |     2122  12350 |        0 |        0
1014.25/1014.66	c 1014s |      26 | 13645588 | 10394752 |     2122  12370 |        0 |        0
1016.25/1016.67	c 1016s |      26 | 13672714 | 10414852 |     2122  12389 |        0 |        0
1018.25/1018.67	c 1018s |      26 | 13698716 | 10435252 |     2122  12408 |        0 |        0
1020.25/1020.68	c 1020s |      26 | 13726404 | 10455652 |     2122  12427 |        0 |        0
1022.24/1022.69	c 1022s |      26 | 13750982 | 10474852 |     2122  12445 |        0 |        0
1024.24/1024.69	c 1024s |      26 | 13774848 | 10493052 |     2122  12462 |        0 |        0
1026.24/1026.69	c 1026s |      26 | 13802154 | 10512852 |     2122  12481 |        0 |        0
1028.34/1028.70	c 1028s |      26 | 13829851 | 10532952 |     2122  12500 |        0 |        0
1030.34/1030.71	c 1030s |      26 | 13857241 | 10554052 |     2122  12519 |        0 |        0
1032.33/1032.72	c 1032s |      26 | 13880445 | 10572252 |     2122  12537 |        0 |        0
1034.33/1034.74	c 1034s |      26 | 13901728 | 10589252 |     2122  12553 |        0 |        0
1036.33/1036.76	c 1036s |      26 | 13922060 | 10606352 |     2122  12569 |        0 |        0
1038.33/1038.76	c 1038s |      26 | 13942132 | 10622852 |     2122  12584 |        0 |        0
1040.34/1040.77	c 1040s |      26 | 13963151 | 10639452 |     2122  12600 |        0 |        0
1042.32/1042.77	c 1042s |      26 | 13987062 | 10657552 |     2122  12617 |        0 |        0
1044.32/1044.77	c 1044s |      26 | 14012628 | 10676752 |     2122  12635 |        0 |        0
1046.32/1046.77	c 1046s |      26 | 14037576 | 10695452 |     2122  12652 |        0 |        0
1048.32/1048.78	c 1048s |      26 | 14064432 | 10715552 |     2122  12671 |        0 |        0
1050.32/1050.78	c 1050s |      26 | 14085703 | 10732652 |     2122  12687 |        0 |        0
1052.32/1052.78	c 1052s |      26 | 14105603 | 10749352 |     2122  12703 |        0 |        0
1054.31/1054.78	c 1054s |      26 | 14126866 | 10765952 |     2122  12718 |        0 |        0
1056.31/1056.79	c 1056s |      26 | 14149255 | 10783752 |     2122  12735 |        0 |        0
1058.41/1058.80	c 1058s |      26 | 14169356 | 10800352 |     2122  12751 |        0 |        0
1060.41/1060.81	c 1060s |      26 | 14192641 | 10818552 |     2122  12768 |        0 |        0
1062.41/1062.82	c 1062s |      26 | 14218646 | 10837552 |     2122  12785 |        0 |        0
1064.41/1064.83	c 1064s |      26 | 14245570 | 10858152 |     2122  12805 |        0 |        0
1066.41/1066.83	c 1066s |      26 | 14274584 | 10879552 |     2122  12825 |        0 |        0
1068.41/1068.84	c 1068s |      26 | 14304437 | 10901252 |     2122  12845 |        0 |        0
1070.42/1070.85	c 1070s |      26 | 14331347 | 10921952 |     2122  12865 |        0 |        0
1072.41/1072.85	c 1072s |      26 | 14360565 | 10943752 |     2122  12885 |        0 |        0
1074.41/1074.86	c 1074s |      26 | 14391118 | 10965252 |     2122  12905 |        0 |        0
1076.41/1076.87	c 1076s |      26 | 14417803 | 10985452 |     2122  12924 |        0 |        0
1078.41/1078.87	c 1078s |      26 | 14445462 | 11005952 |     2122  12943 |        0 |        0
1080.41/1080.88	c 1080s |      26 | 14472420 | 11026352 |     2122  12963 |        0 |        0
1082.40/1082.89	c 1082s |      26 | 14501337 | 11047252 |     2122  12982 |        0 |        0
1084.50/1084.90	c 1084s |      26 | 14528829 | 11067952 |     2122  13002 |        0 |        0
1086.50/1086.91	c 1086s |      26 | 14557131 | 11088752 |     2122  13021 |        0 |        0
1088.50/1088.91	c 1088s |      26 | 14585844 | 11109652 |     2122  13041 |        0 |        0
1090.49/1090.92	c 1090s |      26 | 14612264 | 11129652 |     2122  13060 |        0 |        0
1092.50/1092.92	c 1092s |      26 | 14637846 | 11149352 |     2122  13078 |        0 |        0
1094.50/1094.93	c 1094s |      26 | 14665035 | 11168752 |     2122  13096 |        0 |        0
1096.50/1096.94	c 1096s |      26 | 14689182 | 11187952 |     2122  13114 |        0 |        0
1098.50/1098.95	c 1098s |      26 | 14713636 | 11207252 |     2122  13132 |        0 |        0
1100.49/1100.95	c 1100s |      26 | 14738919 | 11227052 |     2122  13151 |        0 |        0
1102.49/1102.96	c 1102s |      26 | 14762852 | 11245652 |     2122  13168 |        0 |        0
1104.49/1104.97	c 1104s |      26 | 14788453 | 11265252 |     2122  13187 |        0 |        0
1106.49/1106.98	c 1106s |      26 | 14815793 | 11285452 |     2122  13206 |        0 |        0
1108.49/1108.99	c 1108s |      26 | 14839979 | 11304652 |     2122  13224 |        0 |        0
1110.49/1111.00	c 1110s |      26 | 14865437 | 11323852 |     2335  13241 |        0 |        0
1112.58/1113.01	c 1112s |      26 | 14892295 | 11343752 |     2335  13258 |        0 |        0
1114.58/1115.01	c 1114s |      26 | 14920813 | 11364552 |     2335  13275 |        0 |        0
1116.58/1117.02	c 1117s |      26 | 14946254 | 11383852 |     2335  13292 |        0 |        0
1117.88/1118.33	c 1118s |      27 | 14963146 | 11396733 |     2335  13303 |        0 |        0
1119.88/1120.34	c 1120s |      27 | 14987329 | 11415033 |     2335  13318 |        0 |        0
1121.88/1122.34	c 1122s |      27 | 15013092 | 11433733 |     2335  13334 |        0 |        0
1123.88/1124.34	c 1124s |      27 | 15036820 | 11452333 |     2335  13350 |        0 |        0
1125.87/1126.35	c 1126s |      27 | 15062281 | 11471433 |     2335  13366 |        0 |        0
1127.87/1128.35	c 1128s |      27 | 15089012 | 11491133 |     2335  13383 |        0 |        0
1129.87/1130.36	c 1130s |      27 | 15117835 | 11511833 |     2335  13401 |        0 |        0
1131.87/1132.37	c 1132s |      27 | 15142116 | 11530433 |     2335  13417 |        0 |        0
1133.86/1134.37	c 1134s |      27 | 15166021 | 11548633 |     2335  13432 |        0 |        0
1135.87/1136.38	c 1136s |      27 | 15193097 | 11568633 |     2335  13449 |        0 |        0
1137.86/1138.39	c 1138s |      27 | 15218450 | 11588533 |     2335  13466 |        0 |        0
1139.86/1140.39	c 1140s |      27 | 15243901 | 11607633 |     2335  13482 |        0 |        0
1141.86/1142.39	c 1142s |      27 | 15267086 | 11626033 |     2335  13498 |        0 |        0
1143.96/1144.40	c 1144s |      27 | 15289798 | 11644133 |     2335  13514 |        0 |        0
1145.96/1146.41	c 1146s |      27 | 15314776 | 11662833 |     2335  13530 |        0 |        0
1147.97/1148.41	c 1148s |      27 | 15339840 | 11682233 |     2335  13546 |        0 |        0
1149.97/1150.42	c 1150s |      27 | 15361498 | 11698633 |     2335  13560 |        0 |        0
1151.96/1152.42	c 1152s |      27 | 15381913 | 11714933 |     2335  13574 |        0 |        0
1153.96/1154.43	c 1154s |      27 | 15407083 | 11734033 |     2335  13590 |        0 |        0
1155.96/1156.43	c 1156s |      27 | 15430190 | 11752133 |     2335  13606 |        0 |        0
1157.96/1158.43	c 1158s |      27 | 15455095 | 11770933 |     2335  13622 |        0 |        0
1159.95/1160.44	c 1160s |      27 | 15481023 | 11790433 |     2335  13638 |        0 |        0
1161.95/1162.44	c 1162s |      27 | 15508271 | 11810633 |     2335  13656 |        0 |        0
1163.95/1164.45	c 1164s |      27 | 15535385 | 11830333 |     2335  13672 |        0 |        0
1165.95/1166.45	c 1166s |      27 | 15561104 | 11849233 |     2335  13688 |        0 |        0
1167.95/1168.46	c 1168s |      27 | 15587467 | 11868033 |     2335  13704 |        0 |        0
1169.95/1170.47	c 1170s |      27 | 15613398 | 11887033 |     2335  13721 |        0 |        0
1171.94/1172.48	c 1172s |      27 | 15636191 | 11904733 |     2335  13736 |        0 |        0
1173.94/1174.49	c 1174s |      27 | 15658823 | 11921333 |     2335  13750 |        0 |        0
1176.04/1176.51	c 1176s |      27 | 15679637 | 11937333 |     2335  13764 |        0 |        0
1178.04/1178.52	c 1178s |      27 | 15702624 | 11954833 |     2335  13778 |        0 |        0
1180.04/1180.53	c 1180s |      27 | 15725488 | 11971833 |     2335  13793 |        0 |        0
1182.04/1182.53	c 1182s |      27 | 15748338 | 11988933 |     2335  13808 |        0 |        0
1184.04/1184.54	c 1184s |      27 | 15772359 | 12006733 |     2335  13823 |        0 |        0
1186.04/1186.55	c 1186s |      27 | 15796976 | 12024733 |     2335  13838 |        0 |        0
1188.04/1188.55	c 1188s |      27 | 15820965 | 12042733 |     2335  13853 |        0 |        0
1190.04/1190.56	c 1190s |      27 | 15842352 | 12059833 |     2335  13868 |        0 |        0
1192.04/1192.57	c 1192s |      27 | 15865605 | 12077433 |     2335  13883 |        0 |        0
1194.03/1194.57	c 1194s |      27 | 15889667 | 12095333 |     2335  13898 |        0 |        0
1196.03/1196.58	c 1196s |      27 | 15913206 | 12112733 |     2335  13913 |        0 |        0
1198.03/1198.58	c 1198s |      27 | 15936709 | 12130433 |     2335  13928 |        0 |        0
1200.13/1200.60	c 1200s |      27 | 15958321 | 12147133 |     2335  13943 |        0 |        0
1202.12/1202.61	c 1202s |      27 | 15980333 | 12164233 |     2335  13957 |        0 |        0
1204.13/1204.62	c 1204s |      27 | 16003320 | 12180833 |     2335  13971 |        0 |        0
1206.12/1206.62	c 1206s |      27 | 16026580 | 12196933 |     2335  13985 |        0 |        0
1208.12/1208.62	c 1208s |      27 | 16047651 | 12212833 |     2335  13999 |        0 |        0
1210.12/1210.63	c 1210s |      27 | 16068163 | 12228833 |     2335  14012 |        0 |        0
1212.12/1212.63	c 1212s |      27 | 16090981 | 12246133 |     2335  14027 |        0 |        0
1214.12/1214.64	c 1214s |      27 | 16114195 | 12263733 |     2335  14042 |        0 |        0
1216.12/1216.64	c 1216s |      27 | 16133790 | 12279733 |     2335  14056 |        0 |        0
1218.11/1218.65	c 1218s |      27 | 16156445 | 12297033 |     2335  14070 |        0 |        0
1220.11/1220.65	c 1220s |      27 | 16179172 | 12313633 |     2335  14085 |        0 |        0
1222.11/1222.67	c 1222s |      27 | 16202100 | 12331133 |     2335  14099 |        0 |        0
1224.11/1224.67	c 1224s |      27 | 16223837 | 12348233 |     2335  14114 |        0 |        0
1226.11/1226.67	c 1226s |      27 | 16245320 | 12365033 |     2335  14128 |        0 |        0
1228.11/1228.68	c 1228s |      27 | 16267482 | 12382333 |     2335  14143 |        0 |        0
1230.10/1230.68	c 1230s |      27 | 16290740 | 12400233 |     2335  14158 |        0 |        0
1232.10/1232.69	c 1232s |      27 | 16313155 | 12417633 |     2335  14173 |        0 |        0
1234.10/1234.69	c 1234s |      27 | 16336018 | 12435033 |     2335  14188 |        0 |        0
1236.11/1236.69	c 1236s |      27 | 16361606 | 12453733 |     2335  14204 |        0 |        0
1238.11/1238.69	c 1238s |      27 | 16382160 | 12470533 |     2335  14218 |        0 |        0
1240.20/1240.70	c 1240s |      27 | 16403996 | 12487233 |     2335  14233 |        0 |        0
1242.20/1242.70	c 1242s |      27 | 16425167 | 12503333 |     2335  14246 |        0 |        0
1244.20/1244.72	c 1244s |      27 | 16446393 | 12519633 |     2335  14260 |        0 |        0
1246.20/1246.72	c 1246s |      27 | 16467866 | 12535933 |     2335  14274 |        0 |        0
1248.19/1248.72	c 1248s |      27 | 16491703 | 12553333 |     2335  14289 |        0 |        0
1250.20/1250.73	c 1250s |      27 | 16515251 | 12571333 |     2335  14304 |        0 |        0
1252.19/1252.73	c 1252s |      27 | 16539622 | 12589633 |     2335  14320 |        0 |        0
1254.19/1254.74	c 1254s |      27 | 16563273 | 12607133 |     2335  14335 |        0 |        0
1256.19/1256.75	c 1256s |      27 | 16585227 | 12624233 |     2335  14349 |        0 |        0
1258.18/1258.75	c 1258s |      27 | 16609226 | 12642633 |     2335  14365 |        0 |        0
1260.19/1260.76	c 1260s |      27 | 16632550 | 12660933 |     2335  14381 |        0 |        0
1262.18/1262.76	c 1262s |      27 | 16653348 | 12678033 |     2335  14395 |        0 |        0
1264.18/1264.76	c 1264s |      27 | 16677837 | 12696433 |     2335  14411 |        0 |        0
1266.18/1266.77	c 1266s |      27 | 16702225 | 12715133 |     2335  14427 |        0 |        0
1268.18/1268.78	c 1268s |      27 | 16725470 | 12733233 |     2335  14443 |        0 |        0
1270.18/1270.78	c 1270s |      27 | 16746934 | 12750233 |     2335  14457 |        0 |        0
1272.18/1272.79	c 1272s |      27 | 16766945 | 12766233 |     2335  14471 |        0 |        0
1274.18/1274.79	c 1274s |      27 | 16791665 | 12784133 |     2335  14486 |        0 |        0
1276.28/1276.81	c 1276s |      27 | 16818257 | 12803733 |     2335  14503 |        0 |        0
1278.28/1278.81	c 1278s |      27 | 16842601 | 12821733 |     2335  14518 |        0 |        0
1280.28/1280.82	c 1280s |      27 | 16866029 | 12838933 |     2335  14532 |        0 |        0
1282.28/1282.82	c 1282s |      27 | 16891270 | 12857633 |     2335  14548 |        0 |        0
1284.28/1284.83	c 1284s |      27 | 16915881 | 12875933 |     2335  14564 |        0 |        0
1286.28/1286.84	c 1286s |      27 | 16941335 | 12895033 |     2335  14580 |        0 |        0
1288.28/1288.84	c 1288s |      27 | 16965149 | 12913033 |     2335  14596 |        0 |        0
1290.28/1290.85	c 1290s |      27 | 16988056 | 12930933 |     2335  14611 |        0 |        0
1292.28/1292.85	c 1292s |      27 | 17010715 | 12948233 |     2335  14626 |        0 |        0
1294.29/1294.85	c 1294s |      27 | 17034622 | 12966533 |     2335  14641 |        0 |        0
1296.28/1296.86	c 1296s |      27 | 17057193 | 12984033 |     2335  14656 |        0 |        0
1298.28/1298.87	c 1298s |      27 | 17082455 | 13003433 |     2335  14673 |        0 |        0
1300.28/1300.88	c 1300s |      27 | 17105311 | 13020733 |     2335  14687 |        0 |        0
1302.28/1302.88	c 1302s |      27 | 17126558 | 13037433 |     2335  14701 |        0 |        0
1304.28/1304.88	c 1304s |      27 | 17152424 | 13056733 |     2335  14718 |        0 |        0
1306.29/1306.89	c 1306s |      27 | 17173928 | 13073733 |     2335  14732 |        0 |        0
1308.38/1308.91	c 1308s |      27 | 17198640 | 13092233 |     2335  14748 |        0 |        0
1310.38/1310.92	c 1310s |      27 | 17214129 | 13106333 |     2335  14760 |        0 |        0
1312.38/1312.92	c 1312s |      27 | 17236352 | 13123433 |     2335  14775 |        0 |        0
1314.38/1314.93	c 1314s |      27 | 17261642 | 13142333 |     2335  14791 |        0 |        0
1316.38/1316.93	c 1316s |      27 | 17285277 | 13160133 |     2335  14806 |        0 |        0
1318.38/1318.94	c 1318s |      27 | 17309415 | 13178933 |     2335  14822 |        0 |        0
1320.38/1320.94	c 1320s |      27 | 17333585 | 13197333 |     2335  14838 |        0 |        0
1322.38/1322.96	c 1322s |      27 | 17358398 | 13215833 |     2335  14854 |        0 |        0
1324.38/1324.97	c 1324s |      27 | 17382097 | 13234533 |     2335  14870 |        0 |        0
1326.38/1326.99	c 1326s |      27 | 17404962 | 13252133 |     2335  14885 |        0 |        0
1328.38/1328.99	c 1328s |      27 | 17428811 | 13270233 |     2335  14900 |        0 |        0
1330.37/1331.00	c 1330s |      27 | 17452961 | 13289233 |     2335  14916 |        0 |        0
1332.47/1333.01	c 1332s |      27 | 17480368 | 13309333 |     2335  14933 |        0 |        0
1334.47/1335.01	c 1334s |      27 | 17505862 | 13328733 |     2335  14950 |        0 |        0
1336.47/1337.03	c 1337s |      27 | 17532493 | 13348433 |     2335  14967 |        0 |        0
1338.47/1339.04	c 1339s |      27 | 17559034 | 13367933 |     2335  14983 |        0 |        0
1340.48/1341.04	c 1341s |      27 | 17586353 | 13387533 |     2335  15000 |        0 |        0
1342.47/1343.05	c 1343s |      27 | 17611567 | 13406533 |     2335  15016 |        0 |        0
1344.47/1345.05	c 1345s |      27 | 17638397 | 13426933 |     2335  15033 |        0 |        0
1346.47/1347.06	c 1347s |      27 | 17665099 | 13446833 |     2335  15050 |        0 |        0
1348.47/1349.06	c 1349s |      27 | 17691823 | 13466833 |     2335  15066 |        1 |        4
1350.47/1351.07	c 1351s |      27 | 17717320 | 13485333 |     2335  15082 |        1 |        4
1352.47/1353.07	c 1353s |      27 | 17741742 | 13503333 |     2335  15097 |        1 |        4
1354.47/1355.08	c 1355s |      27 | 17767554 | 13522433 |     2335  15113 |        1 |        4
1356.47/1357.08	c 1357s |      27 | 17792024 | 13540833 |     2335  15129 |        1 |        4
1358.57/1359.10	c 1359s |      27 | 17817822 | 13559333 |     2335  15145 |        1 |        4
1360.57/1361.10	c 1361s |      27 | 17843741 | 13578933 |     2335  15161 |        1 |        4
1362.56/1363.11	c 1363s |      27 | 17870490 | 13598433 |     2335  15178 |        1 |        4
1364.57/1365.12	c 1365s |      27 | 17895138 | 13616933 |     2335  15194 |        1 |        4
1366.56/1367.12	c 1367s |      27 | 17920541 | 13635733 |     2335  15210 |        1 |        4
1368.56/1369.13	c 1369s |      27 | 17943519 | 13654033 |     2335  15225 |        1 |        4
1370.56/1371.14	c 1371s |      27 | 17968342 | 13672433 |     2335  15241 |        1 |        4
1372.56/1373.15	c 1373s |      27 | 17992603 | 13691033 |     2335  15257 |        1 |        4
1374.58/1375.15	c 1375s |      27 | 18018348 | 13709933 |     2335  15273 |        1 |        4
1376.57/1377.16	c 1377s |      27 | 18040859 | 13727333 |     2335  15288 |        1 |        4
1378.57/1379.16	c 1379s |      27 | 18064357 | 13744833 |     2335  15303 |        1 |        4
1380.57/1381.17	c 1381s |      27 | 18089024 | 13763233 |     2335  15318 |        1 |        4
1382.57/1383.17	c 1383s |      27 | 18114261 | 13781533 |     2335  15334 |        1 |        4
1384.57/1385.18	c 1385s |      27 | 18140182 | 13800933 |     2335  15351 |        1 |        4
1386.57/1387.18	c 1387s |      27 | 18168284 | 13820433 |     2335  15367 |        1 |        4
1388.57/1389.18	c 1389s |      27 | 18195542 | 13840333 |     2335  15384 |        1 |        4
1390.57/1391.19	c 1391s |      27 | 18221378 | 13859433 |     2335  15400 |        1 |        4
1392.56/1393.19	c 1393s |      27 | 18245922 | 13878133 |     2335  15416 |        1 |        4
1394.66/1395.20	c 1395s |      27 | 18267155 | 13895633 |     2335  15431 |        1 |        4
1396.66/1397.20	c 1397s |      27 | 18290843 | 13913733 |     2335  15447 |        1 |        4
1398.67/1399.22	c 1399s |      27 | 18315834 | 13931833 |     2335  15462 |        1 |        4
1400.66/1401.22	c 1401s |      27 | 18336847 | 13948033 |     2335  15476 |        1 |        4
1402.66/1403.22	c 1403s |      27 | 18356794 | 13963533 |     2335  15489 |        1 |        4
1404.66/1405.24	c 1405s |      27 | 18381060 | 13981533 |     2335  15505 |        1 |        4
1406.67/1407.24	c 1407s |      27 | 18406973 | 14000133 |     2335  15520 |        1 |        4
1408.67/1409.25	c 1409s |      27 | 18432076 | 14018533 |     2335  15536 |        1 |        4
1410.66/1411.26	c 1411s |      27 | 18457265 | 14037033 |     2335  15552 |        1 |        4
1412.66/1413.27	c 1413s |      27 | 18484610 | 14056233 |     2335  15568 |        1 |        4
1414.66/1415.28	c 1415s |      27 | 18508472 | 14074333 |     2335  15584 |        1 |        4
1416.66/1417.29	c 1417s |      27 | 18532481 | 14092233 |     2335  15599 |        1 |        4
1418.66/1419.29	c 1419s |      27 | 18551369 | 14108233 |     2335  15613 |        1 |        4
1420.67/1421.29	c 1421s |      27 | 18573832 | 14126033 |     2335  15628 |        1 |        4
1422.76/1423.30	c 1423s |      27 | 18600346 | 14145033 |     2335  15644 |        1 |        4
1424.76/1425.31	c 1425s |      27 | 18624122 | 14163433 |     2335  15660 |        1 |        4
1426.76/1427.32	c 1427s |      27 | 18647079 | 14180833 |     2335  15674 |        1 |        4
1428.76/1429.33	c 1429s |      27 | 18672265 | 14199433 |     2335  15690 |        1 |        4
1430.76/1431.33	c 1431s |      27 | 18695842 | 14217033 |     2335  15705 |        1 |        4
1432.76/1433.34	c 1433s |      27 | 18720597 | 14235333 |     2335  15721 |        1 |        4
1434.76/1435.34	c 1435s |      27 | 18745737 | 14253733 |     2335  15737 |        1 |        4
1436.76/1437.35	c 1437s |      27 | 18766727 | 14269233 |     2335  15750 |        1 |        4
1438.76/1439.35	c 1439s |      27 | 18788598 | 14285733 |     2335  15764 |        1 |        4
1440.76/1441.35	c 1441s |      27 | 18807058 | 14300733 |     2335  15777 |        1 |        4
1442.76/1443.36	c 1443s |      27 | 18828517 | 14317033 |     2335  15790 |        1 |        4
1444.75/1445.36	c 1445s |      27 | 18851973 | 14334533 |     2335  15805 |        1 |        4
1446.75/1447.37	c 1447s |      27 | 18876039 | 14352933 |     2335  15821 |        1 |        4
1448.75/1449.38	c 1449s |      27 | 18902747 | 14371633 |     2335  15837 |        1 |        4
1450.75/1451.38	c 1451s |      27 | 18928245 | 14389633 |     2335  15852 |        1 |        4
1452.85/1453.40	c 1453s |      27 | 18955111 | 14408533 |     2335  15869 |        1 |        4
1454.87/1455.41	c 1455s |      27 | 18981917 | 14426433 |     2335  15884 |        1 |        4
1456.86/1457.41	c 1457s |      27 | 19008237 | 14443633 |     2335  15898 |        1 |        4
1458.86/1459.41	c 1459s |      27 | 19033090 | 14461633 |     2335  15914 |        1 |        4
1460.86/1461.41	c 1461s |      27 | 19059763 | 14480833 |     2335  15930 |        1 |        4
1462.86/1463.42	c 1463s |      27 | 19085482 | 14499933 |     2335  15947 |        1 |        4
1464.86/1465.42	c 1465s |      27 | 19111018 | 14518533 |     2335  15962 |        1 |        4
1466.86/1467.43	c 1467s |      27 | 19135825 | 14536533 |     2335  15978 |        1 |        4
1468.86/1469.43	c 1469s |      27 | 19161452 | 14554833 |     2335  15994 |        1 |        4
1470.86/1471.44	c 1471s |      27 | 19188320 | 14573833 |     2335  16010 |        1 |        4
1472.86/1473.44	c 1473s |      27 | 19214249 | 14592733 |     2335  16026 |        1 |        4
1474.85/1475.45	c 1475s |      27 | 19240101 | 14611433 |     2335  16042 |        1 |        4
1476.86/1477.45	c 1477s |      27 | 19264303 | 14629433 |     2335  16057 |        1 |        4
1478.85/1479.46	c 1479s |      27 | 19289753 | 14647433 |     2335  16073 |        1 |        4
1480.85/1481.47	c 1481s |      27 | 19312137 | 14665033 |     2335  16088 |        1 |        4
1482.85/1483.48	c 1483s |      27 | 19336237 | 14683633 |     2335  16104 |        1 |        4
1484.85/1485.49	c 1485s |      27 | 19359977 | 14701833 |     2335  16119 |        1 |        4
1486.95/1487.50	c 1487s |      27 | 19386875 | 14720933 |     2335  16135 |        1 |        4
1488.96/1489.51	c 1489s |      27 | 19413639 | 14741033 |     2335  16153 |        1 |        4
1490.95/1491.52	c 1491s |      27 | 19436638 | 14758933 |     2335  16168 |        1 |        4
1492.95/1493.52	c 1493s |      27 | 19461471 | 14777933 |     2335  16184 |        1 |        4
1494.95/1495.53	c 1495s |      27 | 19484101 | 14795433 |     2335  16199 |        1 |        4
1496.95/1497.53	c 1497s |      27 | 19507844 | 14813333 |     2335  16214 |        1 |        4
1498.94/1499.53	c 1499s |      27 | 19532885 | 14832133 |     2335  16230 |        1 |        4
1500.95/1501.53	c 1501s |      27 | 19559508 | 14851033 |     2335  16246 |        1 |        4
1502.94/1503.54	c 1503s |      27 | 19586551 | 14870833 |     2335  16263 |        1 |        4
1504.94/1505.55	c 1505s |      27 | 19606835 | 14886433 |     2335  16277 |        1 |        4
1506.94/1507.55	c 1507s |      27 | 19630082 | 14903933 |     2335  16292 |        1 |        4
1508.94/1509.55	c 1509s |      27 | 19652336 | 14921033 |     2335  16306 |        1 |        4
1510.95/1511.55	c 1511s |      27 | 19672343 | 14937233 |     2335  16320 |        1 |        4
1512.94/1513.56	c 1513s |      27 | 19692709 | 14953733 |     2335  16334 |        1 |        4
1514.94/1515.58	c 1515s |      27 | 19717576 | 14972633 |     2335  16350 |        1 |        4
1516.95/1517.58	c 1517s |      27 | 19743073 | 14991833 |     2335  16366 |        1 |        4
1518.95/1519.59	c 1519s |      27 | 19768537 | 15010833 |     2335  16383 |        1 |        4
1521.05/1521.60	c 1521s |      27 | 19795336 | 15029333 |     2335  16398 |        1 |        4
1522.95/1523.60	c 1523s |      27 | 19819903 | 15047633 |     2335  16414 |        1 |        4
1525.05/1525.61	c 1525s |      27 | 19844157 | 15066133 |     2335  16430 |        1 |        4
1527.05/1527.62	c 1527s |      27 | 19870728 | 15085833 |     2335  16447 |        1 |        4
1529.05/1529.63	c 1529s |      27 | 19896947 | 15105233 |     2335  16463 |        1 |        4
1531.05/1531.64	c 1531s |      27 | 19923002 | 15123933 |     2335  16479 |        1 |        4
1533.05/1533.64	c 1533s |      27 | 19949648 | 15142833 |     2335  16495 |        1 |        4
1535.05/1535.65	c 1535s |      27 | 19976339 | 15161933 |     2335  16511 |        1 |        4
1537.04/1537.66	c 1537s |      27 | 20001894 | 15180833 |     2335  16528 |        1 |        4
1539.04/1539.67	c 1539s |      27 | 20026836 | 15199733 |     2335  16544 |        1 |        4
1541.04/1541.68	c 1541s |      27 | 20049847 | 15217733 |     2335  16559 |        1 |        4
1543.04/1543.69	c 1543s |      27 | 20068734 | 15233033 |     2335  16572 |        1 |        4
1545.14/1545.70	c 1545s |      27 | 20090223 | 15249933 |     2335  16586 |        1 |        4
1547.14/1547.71	c 1547s |      27 | 20115626 | 15268933 |     2335  16603 |        1 |        4
1549.14/1549.72	c 1549s |      27 | 20135262 | 15284733 |     2335  16616 |        1 |        4
1551.14/1551.72	c 1551s |      27 | 20157430 | 15301933 |     2335  16631 |        1 |        4
1553.14/1553.72	c 1553s |      27 | 20181718 | 15319833 |     2335  16646 |        1 |        4
1555.14/1555.73	c 1555s |      27 | 20202223 | 15336633 |     2335  16660 |        1 |        4
1557.15/1557.74	c 1557s |      27 | 20222636 | 15353133 |     2335  16674 |        1 |        4
1559.14/1559.74	c 1559s |      27 | 20241960 | 15368933 |     2335  16688 |        1 |        4
1561.14/1561.74	c 1561s |      27 | 20260603 | 15384033 |     2335  16700 |        1 |        4
1563.14/1563.74	c 1563s |      27 | 20279643 | 15399333 |     2335  16713 |        1 |        4
1565.14/1565.75	c 1565s |      27 | 20302522 | 15417033 |     2335  16729 |        1 |        4
1567.14/1567.76	c 1567s |      27 | 20324795 | 15433633 |     2335  16743 |        1 |        4
1569.14/1569.77	c 1569s |      27 | 20348909 | 15451933 |     2335  16758 |        1 |        4
1571.14/1571.78	c 1571s |      27 | 20372650 | 15470633 |     2335  16774 |        1 |        4
1573.14/1573.78	c 1573s |      27 | 20395864 | 15488733 |     2335  16790 |        1 |        4
1575.14/1575.79	c 1575s |      27 | 20417351 | 15505833 |     2335  16804 |        1 |        4
1577.14/1577.79	c 1577s |      27 | 20437755 | 15522733 |     2335  16819 |        1 |        4
1579.14/1579.79	c 1579s |      27 | 20456827 | 15539133 |     2335  16833 |        1 |        4
1581.13/1581.80	c 1581s |      27 | 20477106 | 15556033 |     2335  16847 |        1 |        4
1583.23/1583.80	c 1583s |      27 | 20498613 | 15573533 |     2335  16862 |        1 |        4
1585.23/1585.81	c 1585s |      27 | 20519538 | 15590533 |     2335  16876 |        1 |        4
1587.23/1587.81	c 1587s |      27 | 20540474 | 15608033 |     2335  16891 |        1 |        4
1589.23/1589.82	c 1589s |      27 | 20563762 | 15626433 |     2335  16907 |        1 |        4
1591.24/1591.82	c 1591s |      27 | 20588730 | 15645733 |     2335  16923 |        1 |        4
1593.23/1593.83	c 1593s |      27 | 20612120 | 15663833 |     2335  16939 |        1 |        4
1595.23/1595.83	c 1595s |      27 | 20637566 | 15683033 |     2335  16955 |        1 |        4
1597.23/1597.84	c 1597s |      27 | 20663467 | 15702333 |     2335  16972 |        1 |        4
1599.23/1599.84	c 1599s |      27 | 20687182 | 15720233 |     2335  16987 |        1 |        4
1601.23/1601.85	c 1601s |      27 | 20711817 | 15739333 |     2335  17003 |        1 |        4
1603.24/1603.86	c 1603s |      27 | 20738360 | 15759233 |     2335  17020 |        1 |        4
1605.24/1605.86	c 1605s |      27 | 20759978 | 15776333 |     2335  17035 |        1 |        4
1607.24/1607.87	c 1607s |      27 | 20783548 | 15793633 |     2335  17049 |        1 |        4
1609.24/1609.88	c 1609s |      27 | 20808112 | 15812533 |     2335  17066 |        1 |        4
1611.23/1611.89	c 1611s |      27 | 20830651 | 15829833 |     2335  17080 |        1 |        4
1613.33/1613.90	c 1613s |      27 | 20854463 | 15847633 |     2335  17095 |        1 |        4
1615.23/1615.90	c 1615s |      27 | 20880869 | 15866633 |     2335  17112 |        1 |        4
1617.33/1617.91	c 1617s |      27 | 20907666 | 15886433 |     2335  17129 |        1 |        4
1619.33/1619.92	c 1619s |      27 | 20933182 | 15905933 |     2335  17145 |        1 |        4
1621.33/1621.93	c 1621s |      27 | 20959198 | 15925333 |     2335  17162 |        1 |        4
1623.33/1623.93	c 1623s |      27 | 20983338 | 15943733 |     2335  17177 |        1 |        4
1625.34/1625.94	c 1625s |      27 | 21009572 | 15962733 |     2335  17193 |        1 |        4
1627.33/1627.95	c 1627s |      27 | 21034619 | 15981133 |     2335  17209 |        1 |        4
1629.33/1629.95	c 1629s |      27 | 21058216 | 15999933 |     2335  17225 |        1 |        4
1631.33/1631.97	c 1631s |      27 | 21079629 | 16017733 |     2335  17240 |        1 |        4
1633.33/1633.98	c 1633s |      27 | 21100440 | 16035033 |     2335  17255 |        1 |        4
1635.33/1635.99	c 1635s |      27 | 21127335 | 16055133 |     2335  17272 |        1 |        4
1637.33/1637.99	c 1637s |      27 | 21154115 | 16074733 |     2335  17289 |        1 |        4
1639.42/1640.00	c 1639s |      27 | 21182732 | 16095433 |     2335  17307 |        1 |        4
1641.42/1642.00	c 1641s |      27 | 21210213 | 16115633 |     2335  17324 |        1 |        4
1643.42/1644.00	c 1643s |      27 | 21238524 | 16136233 |     2335  17340 |        2 |        8
1645.42/1646.01	c 1645s |      27 | 21263671 | 16155233 |     2335  17357 |        2 |        8
1647.42/1648.02	c 1648s |      27 | 21290772 | 16175233 |     2335  17374 |        2 |        8
1649.43/1650.04	c 1650s |      27 | 21313186 | 16192733 |     2335  17389 |        2 |        8
1651.42/1652.04	c 1652s |      27 | 21338593 | 16211433 |     2335  17404 |        2 |        8
1653.42/1654.05	c 1654s |      27 | 21366309 | 16231433 |     2335  17422 |        2 |        8
1655.42/1656.06	c 1656s |      27 | 21393758 | 16251633 |     2335  17439 |        2 |        8
1657.42/1658.06	c 1658s |      27 | 21420370 | 16271533 |     2335  17456 |        2 |        8
1659.43/1660.08	c 1660s |      27 | 21448113 | 16292433 |     2335  17474 |        2 |        8
1661.43/1662.09	c 1662s |      27 | 21474474 | 16312533 |     2335  17491 |        2 |        8
1663.43/1664.09	c 1664s |      27 | 21501612 | 16332533 |     2335  17508 |        2 |        8
1665.42/1666.09	c 1666s |      27 | 21524440 | 16350533 |     2335  17523 |        2 |        8
1667.52/1668.10	c 1668s |      27 | 21550291 | 16369233 |     2335  17539 |        2 |        8
1669.52/1670.11	c 1670s |      27 | 21576673 | 16388633 |     2335  17556 |        2 |        8
1671.53/1672.13	c 1672s |      27 | 21603616 | 16408533 |     2335  17573 |        2 |        8
1673.52/1674.13	c 1674s |      27 | 21629635 | 16428233 |     2335  17589 |        2 |        8
1675.52/1676.13	c 1676s |      27 | 21657930 | 16448533 |     2335  17607 |        2 |        8
1677.52/1678.14	c 1678s |      27 | 21683333 | 16467933 |     2335  17623 |        2 |        8
1679.52/1680.14	c 1680s |      27 | 21708140 | 16486933 |     2335  17639 |        2 |        8
1681.52/1682.14	c 1682s |      27 | 21734533 | 16506833 |     2335  17656 |        2 |        8
1683.53/1684.14	c 1684s |      27 | 21759908 | 16526333 |     2335  17673 |        2 |        8
1685.52/1686.15	c 1686s |      27 | 21787353 | 16546433 |     2335  17689 |        3 |       12
1687.52/1688.17	c 1688s |      27 | 21807934 | 16563433 |     2335  17704 |        3 |       12
1689.52/1690.17	c 1690s |      27 | 21826283 | 16579533 |     2335  17717 |        3 |       12
1691.51/1692.18	c 1692s |      27 | 21849613 | 16597733 |     2335  17733 |        3 |       12
1693.53/1694.18	c 1694s |      27 | 21874215 | 16616333 |     2335  17749 |        3 |       12
1695.52/1696.18	c 1696s |      27 | 21896305 | 16633933 |     2335  17763 |        3 |       12
1697.52/1698.19	c 1698s |      27 | 21921177 | 16653233 |     2335  17780 |        3 |       12
1699.62/1700.20	c 1700s |      27 | 21946933 | 16672633 |     2335  17796 |        3 |       12
1701.62/1702.20	c 1702s |      27 | 21969999 | 16690733 |     2335  17812 |        3 |       12
1703.62/1704.22	c 1704s |      27 | 21994836 | 16709933 |     2335  17828 |        3 |       12
1705.63/1706.22	c 1706s |      27 | 22017972 | 16728033 |     2335  17844 |        3 |       12
1707.62/1708.23	c 1708s |      27 | 22041508 | 16746233 |     2335  17859 |        3 |       12
1709.62/1710.23	c 1710s |      27 | 22067556 | 16765333 |     2335  17875 |        3 |       12
1711.62/1712.23	c 1712s |      27 | 22094637 | 16785033 |     2335  17892 |        3 |       12
1713.62/1714.24	c 1714s |      27 | 22119690 | 16803533 |     2335  17908 |        3 |       12
1715.62/1716.24	c 1716s |      27 | 22142941 | 16820133 |     2335  17922 |        3 |       12
1717.62/1718.25	c 1718s |      27 | 22165621 | 16837633 |     2335  17937 |        3 |       12
1719.61/1720.25	c 1720s |      27 | 22190372 | 16855733 |     2335  17952 |        3 |       12
1721.61/1722.27	c 1722s |      27 | 22214091 | 16873633 |     2335  17968 |        3 |       12
1723.61/1724.28	c 1724s |      27 | 22237307 | 16891633 |     2335  17983 |        3 |       12
1725.61/1726.28	c 1726s |      27 | 22263100 | 16910833 |     2335  17999 |        3 |       12
1727.62/1728.29	c 1728s |      27 | 22288875 | 16930233 |     2335  18016 |        3 |       12
1729.61/1730.29	c 1730s |      27 | 22316560 | 16950833 |     2335  18033 |        3 |       12
1731.61/1732.29	c 1732s |      27 | 22344125 | 16970933 |     2335  18050 |        3 |       12
1733.61/1734.29	c 1734s |      27 | 22370665 | 16990933 |     2569  18066 |        3 |       12
1735.61/1736.29	c 1736s |      27 | 22396214 | 17009833 |     2569  18081 |        3 |       12
1737.71/1738.30	c 1738s |      27 | 22420665 | 17027733 |     2569  18094 |        3 |       12
1739.71/1740.31	c 1740s |      27 | 22444590 | 17045633 |     2569  18108 |        3 |       12
1741.71/1742.32	c 1742s |      27 | 22472723 | 17065433 |     2569  18124 |        3 |       12
1743.71/1744.33	c 1744s |      27 | 22501929 | 17086033 |     2569  18140 |        3 |       12
1744.61/1745.29	c 1745s |      28 | 22514624 | 17095205 |     2569  18147 |        3 |       12
1746.61/1747.29	c 1747s |      28 | 22541958 | 17114805 |     2569  18162 |        3 |       12
1748.71/1749.30	c 1749s |      28 | 22568408 | 17134305 |     2569  18177 |        3 |       12
1750.71/1751.31	c 1751s |      28 | 22589767 | 17151405 |     2569  18190 |        3 |       12
1752.71/1753.31	c 1753s |      28 | 22612658 | 17169605 |     2569  18204 |        3 |       12
1754.71/1755.32	c 1755s |      28 | 22637242 | 17188505 |     2569  18219 |        3 |       12
1756.70/1757.32	c 1757s |      28 | 22661959 | 17206705 |     2569  18233 |        3 |       12
1758.70/1759.32	c 1759s |      28 | 22685433 | 17224905 |     2569  18247 |        3 |       12
1760.70/1761.32	c 1761s |      28 | 22711205 | 17243805 |     2569  18261 |        4 |       16
1762.71/1763.33	c 1763s |      28 | 22738577 | 17263705 |     2569  18276 |        4 |       16
1764.71/1765.34	c 1765s |      28 | 22763924 | 17283005 |     2569  18291 |        4 |       16
1766.71/1767.35	c 1767s |      28 | 22788241 | 17301305 |     2569  18306 |        4 |       16
1768.71/1769.36	c 1769s |      28 | 22812226 | 17320205 |     2569  18320 |        4 |       16
1770.71/1771.37	c 1771s |      28 | 22837511 | 17339905 |     2569  18335 |        5 |       20
1772.72/1773.37	c 1773s |      28 | 22865985 | 17360705 |     2569  18349 |        6 |       24
1774.71/1775.38	c 1775s |      28 | 22891348 | 17380205 |     2569  18364 |        8 |       32
1775.21/1775.89	c 1775s |      28 | 22898912 | 17386001 |     2569  18367 |       24 |       76
1775.21/1775.89	c #cpu_time = 1775.523s
1775.21/1775.89	c #wall_clock_time = 1775.873s
1775.21/1775.89	c #decision = 22898912
1775.21/1775.89	c #random_decision = 111033
1775.21/1775.89	c #conflict = 17386001
1775.21/1775.89	c #restart = 28
1775.21/1775.89	s UNSATISFIABLE
1775.21/1775.89	c total CPU time = 1775.543s
1775.21/1775.89	c total wall clock time = 1775.893s

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-4120178-1467310476/watcher-4120178-1467310476 -o /tmp/evaluation-result-4120178-1467310476/solver-4120178-1467310476 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1467310476-18421 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120178-1467310476.opb 

pid=18450
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: 1.42 1.90 1.93 4/179 18453
/proc/meminfo: memFree=28617092/32872528 swapFree=1427768/1542232
[pid=18453] ppid=18450 vsize=756156 CPUtime=0 cores=1,3,5,7
/proc/18453/stat : 18453 (toysat) R 18450 18453 15544 0 -1 4202496 2827 0 0 0 0 0 0 0 20 0 4 0 12008646 774303744 3188 33554432000 4194304 16246674 140737035922208 140737035921632 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18453/statm: 189807 3197 441 2943 0 186701 0
[pid=18453/tid=18454] ppid=18450 vsize=774588 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18454/stat : 18454 (toysat) S 18450 18453 15544 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12008646 793178112 3256 33554432000 4194304 16246674 140737035922208 140708355747056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18453/tid=18455] ppid=18450 vsize=778684 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18455/stat : 18455 (toysat) S 18450 18453 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12008646 797372416 3274 33554432000 4194304 16246674 140737035922208 140708345257200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18453/tid=18456] ppid=18450 vsize=782780 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18456/stat : 18456 (toysat) S 18450 18453 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12008646 801566720 3291 33554432000 4194304 16246674 140737035922208 140708228885680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 1.42 1.90 1.93 4/179 18453
/proc/meminfo: memFree=28617092/32872528 swapFree=1427768/1542232
[pid=18453] ppid=18450 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/18453/stat : 18453 (toysat) R 18450 18453 15544 0 -1 4202496 25752 0 0 0 6 3 0 0 20 0 4 0 12008646 1247350784 26103 33554432000 4194304 16246674 140737035922208 140737035921632 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18453/statm: 304529 26112 708 2943 0 301423 0
[pid=18453/tid=18454] ppid=18450 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18454/stat : 18454 (toysat) S 18450 18453 15544 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12008646 1247350784 26120 33554432000 4194304 16246674 140737035922208 140708355747056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18453/tid=18455] ppid=18450 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18455/stat : 18455 (toysat) S 18450 18453 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12008646 1247350784 26129 33554432000 4194304 16246674 140737035922208 140708345257200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18453/tid=18456] ppid=18450 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18456/stat : 18456 (toysat) S 18450 18453 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12008646 1247350784 26134 33554432000 4194304 16246674 140737035922208 140708228885680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200523 s]
/proc/loadavg: 1.42 1.90 1.93 4/179 18453
/proc/meminfo: memFree=28617092/32872528 swapFree=1427768/1542232
[pid=18453] ppid=18450 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/18453/stat : 18453 (toysat) R 18450 18453 15544 0 -1 4202496 49533 0 0 0 12 7 0 0 20 0 4 0 12008646 1247350784 49883 33554432000 4194304 16246674 140737035922208 140737035921632 12478070 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18453/statm: 304529 49894 708 2943 0 301423 0
[pid=18453/tid=18454] ppid=18450 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18454/stat : 18454 (toysat) S 18450 18453 15544 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12008646 1247350784 49903 33554432000 4194304 16246674 140737035922208 140708355747056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18453/tid=18455] ppid=18450 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18455/stat : 18455 (toysat) S 18450 18453 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12008646 1247350784 49913 33554432000 4194304 16246674 140737035922208 140708345257200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18453/tid=18456] ppid=18450 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18456/stat : 18456 (toysat) S 18450 18453 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12008646 1247350784 49920 33554432000 4194304 16246674 140737035922208 140708228885680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300491 s]
/proc/loadavg: 1.42 1.90 1.93 4/179 18453
/proc/meminfo: memFree=28617092/32872528 swapFree=1427768/1542232
[pid=18453] ppid=18450 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/18453/stat : 18453 (toysat) R 18450 18453 15544 0 -1 4202496 73101 0 0 0 19 10 0 0 20 0 4 0 12008646 1247350784 73451 33554432000 4194304 16246674 140737035922208 140737035905200 6021007 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18453/statm: 304529 73466 708 2943 0 301423 0
[pid=18453/tid=18454] ppid=18450 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18454/stat : 18454 (toysat) S 18450 18453 15544 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12008646 1247350784 73472 33554432000 4194304 16246674 140737035922208 140708355747056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18453/tid=18455] ppid=18450 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18455/stat : 18455 (toysat) S 18450 18453 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12008646 1247350784 73477 33554432000 4194304 16246674 140737035922208 140708345257200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18453/tid=18456] ppid=18450 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18456/stat : 18456 (toysat) S 18450 18453 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12008646 1247350784 73483 33554432000 4194304 16246674 140737035922208 140708228885680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700407 s]
/proc/loadavg: 1.42 1.90 1.93 4/179 18453
/proc/meminfo: memFree=28617092/32872528 swapFree=1427768/1542232
[pid=18453] ppid=18450 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/18453/stat : 18453 (toysat) R 18450 18453 15544 0 -1 4202496 165855 0 0 0 46 23 0 0 20 0 4 0 12008646 1247350784 166206 33554432000 4194304 16246674 140737035922208 140737035905200 5523634 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18453/statm: 304529 166218 708 2943 0 301423 0
[pid=18453/tid=18454] ppid=18450 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18454/stat : 18454 (toysat) S 18450 18453 15544 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12008646 1247350784 166224 33554432000 4194304 16246674 140737035922208 140708355747056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18453/tid=18455] ppid=18450 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18455/stat : 18455 (toysat) S 18450 18453 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12008646 1247350784 166232 33554432000 4194304 16246674 140737035922208 140708345257200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18453/tid=18456] ppid=18450 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18456/stat : 18456 (toysat) S 18450 18453 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12008646 1247350784 166239 33554432000 4194304 16246674 140737035922208 140708228885680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 1.42 1.90 1.93 3/183 18457
/proc/meminfo: memFree=26688548/32872528 swapFree=1427768/1542232
[pid=18453] ppid=18450 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/18453/stat : 18453 (toysat) R 18450 18453 15544 0 -1 4202496 245609 0 0 0 117 32 0 0 20 0 4 0 12008646 1248399360 245939 33554432000 4194304 16246674 140737035922208 140737035904128 5994850 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18453/statm: 304785 245939 786 2943 0 301679 0
[pid=18453/tid=18454] ppid=18450 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18454/stat : 18454 (toysat) S 18450 18453 15544 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12008646 1248399360 245939 33554432000 4194304 16246674 140737035922208 140708355747056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18453/tid=18455] ppid=18450 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18455/stat : 18455 (toysat) S 18450 18453 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12008646 1248399360 245939 33554432000 4194304 16246674 140737035922208 140708345257200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18453/tid=18456] ppid=18450 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18456/stat : 18456 (toysat) S 18450 18453 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12008646 1248399360 245939 33554432000 4194304 16246674 140737035922208 140708228885680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10041 s]
/proc/loadavg: 1.42 1.90 1.93 3/183 18457
/proc/meminfo: memFree=26514204/32872528 swapFree=1427768/1542232
[pid=18453] ppid=18450 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/18453/stat : 18453 (toysat) R 18450 18453 15544 0 -1 4202496 267449 0 0 0 274 35 0 0 20 0 4 0 12008646 1337528320 267779 33554432000 4194304 16246674 140737035922208 140737035905208 13191512 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18453/statm: 326545 267779 786 2943 0 323439 0
[pid=18453/tid=18454] ppid=18450 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18454/stat : 18454 (toysat) S 18450 18453 15544 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12008646 1337528320 267779 33554432000 4194304 16246674 140737035922208 140708355747056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18453/tid=18455] ppid=18450 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18455/stat : 18455 (toysat) S 18450 18453 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12008646 1337528320 267779 33554432000 4194304 16246674 140737035922208 140708345257200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18453/tid=18456] ppid=18450 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18456/stat : 18456 (toysat) S 18450 18453 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12008646 1337528320 267779 33554432000 4194304 16246674 140737035922208 140708228885680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 1.47 1.91 1.93 3/183 18457
/proc/meminfo: memFree=26512128/32872528 swapFree=1427768/1542232
[pid=18453] ppid=18450 vsize=1306180 CPUtime=6.28 cores=1,3,5,7
/proc/18453/stat : 18453 (toysat) R 18450 18453 15544 0 -1 4202496 267451 0 0 0 593 35 0 0 20 0 4 0 12008646 1337528320 267781 33554432000 4194304 16246674 140737035922208 140737035905208 5663362 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18453/statm: 326545 267781 786 2943 0 323439 0
[pid=18453/tid=18454] ppid=18450 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18454/stat : 18454 (toysat) S 18450 18453 15544 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12008646 1337528320 267781 33554432000 4194304 16246674 140737035922208 140708355747056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18453/tid=18455] ppid=18450 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18455/stat : 18455 (toysat) S 18450 18453 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12008646 1337528320 267781 33554432000 4194304 16246674 140737035922208 140708345257200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18453/tid=18456] ppid=18450 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18456/stat : 18456 (toysat) S 18450 18453 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12008646 1337528320 267781 33554432000 4194304 16246674 140737035922208 140708228885680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 1.51 1.91 1.93 3/183 18457
/proc/meminfo: memFree=26511688/32872528 swapFree=1427768/1542232
[pid=18453] ppid=18450 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/18453/stat : 18453 (toysat) R 18450 18453 15544 0 -1 4202496 267566 0 0 0 1233 35 0 0 20 0 4 0 12008646 1337528320 267896 33554432000 4194304 16246674 140737035922208 140737035905208 5754656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18453/statm: 326545 267896 786 2943 0 323439 0
[pid=18453/tid=18454] ppid=18450 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18454/stat : 18454 (toysat) S 18450 18453 15544 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12008646 1337528320 267896 33554432000 4194304 16246674 140737035922208 140708355747056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18453/tid=18455] ppid=18450 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18455/stat : 18455 (toysat) S 18450 18453 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12008646 1337528320 267896 33554432000 4194304 16246674 140737035922208 140708345257200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18453/tid=18456] ppid=18450 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18456/stat : 18456 (toysat) S 18450 18453 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12008646 1337528320 267896 33554432000 4194304 16246674 140737035922208 140708228885680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 1.62 1.91 1.93 3/183 18457
/proc/meminfo: memFree=26513072/32872528 swapFree=1427768/1542232
[pid=18453] ppid=18450 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/18453/stat : 18453 (toysat) R 18450 18453 15544 0 -1 4202496 267569 0 0 0 2513 36 0 0 20 0 4 0 12008646 1337528320 267899 33554432000 4194304 16246674 140737035922208 140737035905208 12483524 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18453/statm: 326545 267899 789 2943 0 323439 0
[pid=18453/tid=18454] ppid=18450 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18454/stat : 18454 (toysat) S 18450 18453 15544 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12008646 1337528320 267899 33554432000 4194304 16246674 140737035922208 140708355747056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18453/tid=18455] ppid=18450 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18455/stat : 18455 (toysat) S 18450 18453 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12008646 1337528320 267899 33554432000 4194304 16246674 140737035922208 140708345257200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18453/tid=18456] ppid=18450 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18456/stat : 18456 (toysat) S 18450 18453 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12008646 1337528320 267899 33554432000 4194304 16246674 140737035922208 140708228885680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 1.81 1.93 1.93 3/183 18457
/proc/meminfo: memFree=26510724/32872528 swapFree=1427768/1542232
[pid=18453] ppid=18450 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/18453/stat : 18453 (toysat) R 18450 18453 15544 0 -1 4202496 267825 0 0 0 5071 37 0 0 20 0 4 0 12008646 1338576896 268155 33554432000 4194304 16246674 140737035922208 140737035905208 5822756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18453/statm: 326801 268155 789 2943 0 323695 0
[pid=18453/tid=18454] ppid=18450 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18454/stat : 18454 (toysat) S 18450 18453 15544 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12008646 1338576896 268155 33554432000 4194304 16246674 140737035922208 140708355747056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18453/tid=18455] ppid=18450 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18455/stat : 18455 (toysat) S 18450 18453 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12008646 1338576896 268155 33554432000 4194304 16246674 140737035922208 140708345257200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18453/tid=18456] ppid=18450 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18456/stat : 18456 (toysat) S 18450 18453 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12008646 1338576896 268155 33554432000 4194304 16246674 140737035922208 140708228885680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.09 1.99 1.95 4/183 18506
/proc/meminfo: memFree=26513920/32872528 swapFree=1427768/1542232
[pid=18453] ppid=18450 vsize=1307204 CPUtime=102.28 cores=1,3,5,7
/proc/18453/stat : 18453 (toysat) R 18450 18453 15544 0 -1 4202496 267825 0 0 0 10190 38 0 0 20 0 4 0 12008646 1338576896 268155 33554432000 4194304 16246674 140737035922208 140737035905208 12477865 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18453/statm: 326801 268155 789 2943 0 323695 0
[pid=18453/tid=18454] ppid=18450 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18454/stat : 18454 (toysat) S 18450 18453 15544 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12008646 1338576896 268155 33554432000 4194304 16246674 140737035922208 140708355747056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18453/tid=18455] ppid=18450 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18455/stat : 18455 (toysat) S 18450 18453 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12008646 1338576896 268155 33554432000 4194304 16246674 140737035922208 140708345257200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18453/tid=18456] ppid=18450 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18456/stat : 18456 (toysat) S 18450 18453 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12008646 1338576896 268155 33554432000 4194304 16246674 140737035922208 140708228885680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/18453/stat : 18453 (toysat) R 18450 18453 15544 0 -1 4202496 269575 0 0 0 160100 73 0 0 20 0 4 0 12008646 1343819776 269692 33554432000 4194304 16246674 140737035922208 140737035904128 6020589 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18453/statm: 328081 269692 790 2943 0 324975 0
[pid=18453/tid=18454] ppid=18450 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18454/stat : 18454 (toysat) S 18450 18453 15544 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12008646 1343819776 269692 33554432000 4194304 16246674 140737035922208 140708355747056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18453/tid=18455] ppid=18450 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18455/stat : 18455 (toysat) S 18450 18453 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12008646 1343819776 269692 33554432000 4194304 16246674 140737035922208 140708345257200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18453/tid=18456] ppid=18450 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18456/stat : 18456 (toysat) S 18450 18453 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12008646 1343819776 269692 33554432000 4194304 16246674 140737035922208 140708228885680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 1312324

[startup+1662.3 s]
/proc/loadavg: 2.26 2.22 2.13 3/183 18985
/proc/meminfo: memFree=26502356/32872528 swapFree=1427768/1542232
[pid=18453] ppid=18450 vsize=1312324 CPUtime=1661.73 cores=1,3,5,7
/proc/18453/stat : 18453 (toysat) R 18450 18453 15544 0 -1 4202496 269575 0 0 0 166098 75 0 0 20 0 4 0 12008646 1343819776 269692 33554432000 4194304 16246674 140737035922208 140737035905208 5589756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18453/statm: 328081 269692 790 2943 0 324975 0
[pid=18453/tid=18454] ppid=18450 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18454/stat : 18454 (toysat) S 18450 18453 15544 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12008646 1343819776 269692 33554432000 4194304 16246674 140737035922208 140708355747056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18453/tid=18455] ppid=18450 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18455/stat : 18455 (toysat) S 18450 18453 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12008646 1343819776 269692 33554432000 4194304 16246674 140737035922208 140708345257200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18453/tid=18456] ppid=18450 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18456/stat : 18456 (toysat) S 18450 18453 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12008646 1343819776 269692 33554432000 4194304 16246674 140737035922208 140708228885680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 1312324

[startup+1722.3 s]
/proc/loadavg: 2.15 2.20 2.12 4/183 18986
/proc/meminfo: memFree=26500524/32872528 swapFree=1427768/1542232
[pid=18453] ppid=18450 vsize=1314372 CPUtime=1721.71 cores=1,3,5,7
/proc/18453/stat : 18453 (toysat) R 18450 18453 15544 0 -1 4202496 269955 0 0 0 172095 76 0 0 20 0 4 0 12008646 1345916928 270072 33554432000 4194304 16246674 140737035922208 140737035905208 6012131 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18453/statm: 328593 270072 790 2943 0 325487 0
[pid=18453/tid=18454] ppid=18450 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18454/stat : 18454 (toysat) S 18450 18453 15544 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12008646 1345916928 270072 33554432000 4194304 16246674 140737035922208 140708355747056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18453/tid=18455] ppid=18450 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18455/stat : 18455 (toysat) S 18450 18453 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12008646 1345916928 270072 33554432000 4194304 16246674 140737035922208 140708345257200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18453/tid=18456] ppid=18450 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18456/stat : 18456 (toysat) S 18450 18453 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12008646 1345916928 270072 33554432000 4194304 16246674 140737035922208 140708228885680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 1314372

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 18453 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1740.8 s]
/proc/loadavg: 2.11 2.18 2.12 4/183 18986
/proc/meminfo: memFree=26499624/32872528 swapFree=1427768/1542232
[pid=18453] ppid=18450 vsize=1314372 CPUtime=1740.21 cores=1,3,5,7
/proc/18453/stat : 18453 (toysat) R 18450 18453 15544 0 -1 4202496 269997 0 0 0 173945 76 0 0 20 0 4 0 12008646 1345916928 270114 33554432000 4194304 16246674 140737035922208 140737035904128 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18453/statm: 328593 270114 790 2943 0 325487 0
[pid=18453/tid=18454] ppid=18450 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18454/stat : 18454 (toysat) S 18450 18453 15544 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12008646 1345916928 270114 33554432000 4194304 16246674 140737035922208 140708355747056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18453/tid=18455] ppid=18450 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18455/stat : 18455 (toysat) S 18450 18453 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12008646 1345916928 270114 33554432000 4194304 16246674 140737035922208 140708345257200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18453/tid=18456] ppid=18450 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18456/stat : 18456 (toysat) S 18450 18453 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12008646 1345916928 270114 33554432000 4194304 16246674 140737035922208 140708228885680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1740.21
Current children cumulated vsize (KiB) 1314372

[startup+1753.6 s]
/proc/loadavg: 2.30 2.22 2.13 3/183 18986
/proc/meminfo: memFree=26499472/32872528 swapFree=1427768/1542232
[pid=18453] ppid=18450 vsize=1314372 CPUtime=1753.01 cores=1,3,5,7
/proc/18453/stat : 18453 (toysat) R 18450 18453 15544 0 -1 4202496 269997 0 0 0 175225 76 0 0 20 0 4 0 12008646 1345916928 270114 33554432000 4194304 16246674 140737035922208 140737035904128 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18453/statm: 328593 270114 790 2943 0 325487 0
[pid=18453/tid=18454] ppid=18450 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18454/stat : 18454 (toysat) S 18450 18453 15544 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12008646 1345916928 270114 33554432000 4194304 16246674 140737035922208 140708355747056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18453/tid=18455] ppid=18450 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18455/stat : 18455 (toysat) S 18450 18453 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12008646 1345916928 270114 33554432000 4194304 16246674 140737035922208 140708345257200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18453/tid=18456] ppid=18450 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18456/stat : 18456 (toysat) S 18450 18453 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12008646 1345916928 270114 33554432000 4194304 16246674 140737035922208 140708228885680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1753.01
Current children cumulated vsize (KiB) 1314372

[startup+1766.4 s]
/proc/loadavg: 2.26 2.21 2.13 3/183 18987
/proc/meminfo: memFree=26498716/32872528 swapFree=1427768/1542232
[pid=18453] ppid=18450 vsize=1314372 CPUtime=1765.81 cores=1,3,5,7
/proc/18453/stat : 18453 (toysat) R 18450 18453 15544 0 -1 4202496 269997 0 0 0 176504 77 0 0 20 0 4 0 12008646 1345916928 270114 33554432000 4194304 16246674 140737035922208 140737035904128 5546623 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18453/statm: 328593 270114 790 2943 0 325487 0
[pid=18453/tid=18454] ppid=18450 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18454/stat : 18454 (toysat) S 18450 18453 15544 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12008646 1345916928 270114 33554432000 4194304 16246674 140737035922208 140708355747056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18453/tid=18455] ppid=18450 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18455/stat : 18455 (toysat) S 18450 18453 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12008646 1345916928 270114 33554432000 4194304 16246674 140737035922208 140708345257200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18453/tid=18456] ppid=18450 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18456/stat : 18456 (toysat) S 18450 18453 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12008646 1345916928 270114 33554432000 4194304 16246674 140737035922208 140708228885680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1765.81
Current children cumulated vsize (KiB) 1314372

[startup+1772.8 s]
/proc/loadavg: 2.32 2.23 2.13 3/183 18987
/proc/meminfo: memFree=26497972/32872528 swapFree=1427768/1542232
[pid=18453] ppid=18450 vsize=1314372 CPUtime=1772.21 cores=1,3,5,7
/proc/18453/stat : 18453 (toysat) R 18450 18453 15544 0 -1 4202496 270087 0 0 0 177144 77 0 0 20 0 4 0 12008646 1345916928 270204 33554432000 4194304 16246674 140737035922208 140737035905208 5808388 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18453/statm: 328593 270204 790 2943 0 325487 0
[pid=18453/tid=18454] ppid=18450 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18454/stat : 18454 (toysat) S 18450 18453 15544 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12008646 1345916928 270204 33554432000 4194304 16246674 140737035922208 140708355747056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18453/tid=18455] ppid=18450 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18455/stat : 18455 (toysat) S 18450 18453 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12008646 1345916928 270204 33554432000 4194304 16246674 140737035922208 140708345257200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18453/tid=18456] ppid=18450 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18456/stat : 18456 (toysat) S 18450 18453 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12008646 1345916928 270204 33554432000 4194304 16246674 140737035922208 140708228885680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1772.21
Current children cumulated vsize (KiB) 1314372

[startup+1774.41 s]
/proc/loadavg: 2.29 2.22 2.13 3/183 18987
/proc/meminfo: memFree=26497956/32872528 swapFree=1427768/1542232
[pid=18453] ppid=18450 vsize=1314372 CPUtime=1773.82 cores=1,3,5,7
/proc/18453/stat : 18453 (toysat) R 18450 18453 15544 0 -1 4202496 270087 0 0 0 177305 77 0 0 20 0 4 0 12008646 1345916928 270204 33554432000 4194304 16246674 140737035922208 140737035904128 5522913 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18453/statm: 328593 270204 790 2943 0 325487 0
[pid=18453/tid=18454] ppid=18450 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18454/stat : 18454 (toysat) S 18450 18453 15544 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12008646 1345916928 270204 33554432000 4194304 16246674 140737035922208 140708355747056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18453/tid=18455] ppid=18450 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18455/stat : 18455 (toysat) S 18450 18453 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12008646 1345916928 270204 33554432000 4194304 16246674 140737035922208 140708345257200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18453/tid=18456] ppid=18450 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18456/stat : 18456 (toysat) S 18450 18453 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12008646 1345916928 270204 33554432000 4194304 16246674 140737035922208 140708228885680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1773.82
Current children cumulated vsize (KiB) 1314372

[startup+1775.2 s]
/proc/loadavg: 2.29 2.22 2.13 3/183 18987
/proc/meminfo: memFree=26497956/32872528 swapFree=1427768/1542232
[pid=18453] ppid=18450 vsize=1314372 CPUtime=1774.61 cores=1,3,5,7
/proc/18453/stat : 18453 (toysat) R 18450 18453 15544 0 -1 4202496 270087 0 0 0 177384 77 0 0 20 0 4 0 12008646 1345916928 270204 33554432000 4194304 16246674 140737035922208 140737035904128 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18453/statm: 328593 270204 790 2943 0 325487 0
[pid=18453/tid=18454] ppid=18450 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18454/stat : 18454 (toysat) S 18450 18453 15544 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12008646 1345916928 270204 33554432000 4194304 16246674 140737035922208 140708355747056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18453/tid=18455] ppid=18450 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18455/stat : 18455 (toysat) S 18450 18453 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12008646 1345916928 270204 33554432000 4194304 16246674 140737035922208 140708345257200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18453/tid=18456] ppid=18450 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18456/stat : 18456 (toysat) S 18450 18453 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12008646 1345916928 270204 33554432000 4194304 16246674 140737035922208 140708228885680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1774.61
Current children cumulated vsize (KiB) 1314372

[startup+1775.6 s]
/proc/loadavg: 2.29 2.22 2.13 3/183 18987
/proc/meminfo: memFree=26497956/32872528 swapFree=1427768/1542232
[pid=18453] ppid=18450 vsize=1314372 CPUtime=1775.01 cores=1,3,5,7
/proc/18453/stat : 18453 (toysat) R 18450 18453 15544 0 -1 4202496 270087 0 0 0 177424 77 0 0 20 0 4 0 12008646 1345916928 270204 33554432000 4194304 16246674 140737035922208 140737035905208 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18453/statm: 328593 270204 790 2943 0 325487 0
[pid=18453/tid=18454] ppid=18450 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18454/stat : 18454 (toysat) S 18450 18453 15544 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12008646 1345916928 270204 33554432000 4194304 16246674 140737035922208 140708355747056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18453/tid=18455] ppid=18450 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18455/stat : 18455 (toysat) S 18450 18453 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12008646 1345916928 270204 33554432000 4194304 16246674 140737035922208 140708345257200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18453/tid=18456] ppid=18450 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18456/stat : 18456 (toysat) S 18450 18453 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12008646 1345916928 270204 33554432000 4194304 16246674 140737035922208 140708228885680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1775.01
Current children cumulated vsize (KiB) 1314372

[startup+1775.8 s]
/proc/loadavg: 2.29 2.22 2.13 3/183 18987
/proc/meminfo: memFree=26497956/32872528 swapFree=1427768/1542232
[pid=18453] ppid=18450 vsize=1314372 CPUtime=1775.21 cores=1,3,5,7
/proc/18453/stat : 18453 (toysat) R 18450 18453 15544 0 -1 4202496 270087 0 0 0 177444 77 0 0 20 0 4 0 12008646 1345916928 270204 33554432000 4194304 16246674 140737035922208 140737035905208 5808149 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18453/statm: 328593 270204 790 2943 0 325487 0
[pid=18453/tid=18454] ppid=18450 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18454/stat : 18454 (toysat) S 18450 18453 15544 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12008646 1345916928 270204 33554432000 4194304 16246674 140737035922208 140708355747056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18453/tid=18455] ppid=18450 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18455/stat : 18455 (toysat) S 18450 18453 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12008646 1345916928 270204 33554432000 4194304 16246674 140737035922208 140708345257200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18453/tid=18456] ppid=18450 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18453/task/18456/stat : 18456 (toysat) S 18450 18453 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12008646 1345916928 270204 33554432000 4194304 16246674 140737035922208 140708228885680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1775.21
Current children cumulated vsize (KiB) 1314372

Child status: 0
Real time (s): 1775.9
CPU time (s): 1775.32
CPU user time (s): 1774.54
CPU system time (s): 0.776881
CPU usage (%): 99.9671
Max. virtual memory (cumulated for all children) (KiB): 1314372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1774.54
system time used= 0.776881
maximum resident set size= 1080828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270092
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= 491
involuntary context switches= 1809

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.74928 second user time and 7.02593 second system time

The end

Begin job on node116 at 2016-06-30 20:14:36
IDJOB=4120178
IDBENCH=109749
IDSOLVER=2542
FILE ID=node116/4120178-1467310476
RUNJOBID= node116-1467310476-18421
PBS_JOBID= 20005287
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n94-d3-i1-f.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4120178-1467310476/watcher-4120178-1467310476 -o /tmp/evaluation-result-4120178-1467310476/solver-4120178-1467310476 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1467310476-18421 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120178-1467310476.opb

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

MD5SUM BENCH= 4dfe87870f92df13c946ef185db97497
RANDOM SEED=295391619

node116.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.426
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.85
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.426
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.426
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.426
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.426
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.426
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.426
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.426
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:        28634344 kB
Buffers:          201556 kB
Cached:          1708496 kB
SwapCached:            0 kB
Active:           374636 kB
Inactive:        1572824 kB
Active(anon):      39816 kB
Inactive(anon):        0 kB
Active(file):     334820 kB
Inactive(file):  1572824 kB
Unevictable:     1542232 kB
Mlocked:         1427768 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             32600 kB
Writeback:             0 kB
AnonPages:       1642592 kB
Mapped:            15764 kB
Shmem:               204 kB
Slab:             614000 kB
SReclaimable:      58348 kB
SUnreclaim:       555652 kB
KernelStack:        1416 kB
PageTables:         9412 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2675560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    188416 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= 71692 MiB
End job on node116 at 2016-06-30 20:44:12