0.00/0.00	c 2016-06-16T20:27:15+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-4096043-1466101635.opb"]
0.00/0.01	c use --random-gen="1031305325 946672975 3133020076 1333077552 3481609842 2087960778 3359752196 4120506394 3873127782 1097352993 3523015538 4019079914 2070274002 1158948350 93183852 2854486066 2609826066 1081559766 3020871515 2473250433 344887972 3848435629 2755062301 1034484577 2258238766 1448358912 1952368437 2752480198 3903025497 2093012704 1235507463 3249222751 2633242637 2761203096 438515818 269475343 1222754354 1709667197 1216176545 3130091779 338090112 285420354 3809136309 2779504965 1059552935 1137288644 2590076291 1761333779 3605032703 924830941 3172868005 357125624 1149706861 1797333659 3503780076 3485031402 3469248594 2048991218 259869997 2427334591 4183658705 1168523916 2247266500 2360636821 893319689 2685519987 35810674 417545165 605937764 4035318589 258457883 1330902223 68230576 1905237841 122772970 1552887974 511137617 3783131845 596777289 903613646 563826250 1386992813 1190061745 1900266930 3766660599 709689571 708867040 2861547049 2696448644 270709135 4009050420 3522328135 2688782286 3919435996 310554815 2814706680 878928115 3648917768 2422715321 4195377433 2140448881 1056797424 3316315817 2941674992 2885114539 1181122117 4240613193 3308943254 300624902 3477827052 2773914740 2935959795 3221767116 3002420910 1819226362 1638890573 54563444 383147565 1886107982 2930277812 1094634529 740395020 4160884409 178171580 2511746197 4011208979 1615644166 746967360 3333045473 929391595 2298543587 2699169935 1163902319 3834363121 2719270336 1604281300 1603424893 3425802562 707085559 4091511560 136028736 2496421548 2796500098 687163313 4106713173 2662041054 2327171756 2488280663 3017448883 664070601 3413107372 2879313616 456199523 1437697793 2176361994 3908938993 3307525100 2550917621 2739600480 3305619698 3576640081 1590445420 3697114581 843182749 2441088924 4021119840 3807123805 1008523733 3048504829 2742110547 1974405836 1602935636 4209611460 1302999340 3019973371 3176755629 508610926 1657515831 425190642 2983415696 204014499 613936307 4182408414 3965174594 929375738 856696473 1292134102 447616504 3767685111 2403973857 3088082143 2905898404 3436847379 22260694 1174216910 1927641513 622989076 244894509 346633043 626862585 1136498597 3663755682 1828303417 2323822548 479679051 1575111377 4044531780 490798694 3106301169 1021436619 27891163 1149314655 1252512252 1241335132 2008827566 2758671430 1481732250 2873445695 2704345707 2229513219 424290557 92027908 3268817854 331462242 2534531975 719785425 2812319128 793233097 3587840406 644373480 1067925853 1656033950 234638095 4221966892 797941237 906129200 1672992964 2439616027 3037521978 446298264 4027584902 2329053882 2670558348 955156201 1544644528 4211235999 572272022 3994868983 19513906 4050833771 1290806358 805342538 3335879046 3789526154 2988521634 1074534111 255 362436" option to reproduce the execution
0.00/0.01	c #vars 101
0.00/0.01	c #constraints 50
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       50      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      133 |      100 |       50      1 |        0 |        0
0.00/0.03	c  0.0s |       2 |      312 |      250 |       56      5 |        0 |        0
0.00/0.05	c  0.0s |       3 |      634 |      475 |       62     10 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1167 |      813 |       69     16 |        0 |        0
0.08/0.13	c  0.1s |       5 |     1885 |     1320 |       76     25 |        0 |        0
0.08/0.19	c  0.2s |       6 |     3040 |     2081 |       93     39 |        0 |        0
0.19/0.29	c  0.3s |       7 |     4851 |     3223 |      103     59 |        0 |        0
0.39/0.43	c  0.4s |       8 |     7524 |     4936 |      114     86 |        0 |        0
0.58/0.67	c  0.7s |       9 |    11100 |     7506 |      126    125 |        0 |        0
0.99/1.02	c  1.0s |      10 |    16630 |    11361 |      139    173 |        0 |        0
1.39/1.41	c  1.4s |      11 |    24594 |    17144 |      153    242 |        0 |        0
1.89/1.99	c  2.0s |      12 |    36747 |    25819 |      169    341 |        0 |        0
2.69/2.79	c  2.8s |      13 |    53659 |    38832 |      186    478 |        0 |        0
3.99/4.00	c  4.0s |      14 |    81861 |    58352 |      205    667 |        0 |        0
5.79/5.81	c  5.8s |      15 |   124672 |    87632 |      226    923 |        0 |        0
7.80/7.82	c  7.8s |      15 |   161433 |   115132 |      226   1144 |        0 |        0
8.80/8.90	c  8.9s |      16 |   185662 |   131552 |      249   1276 |        0 |        0
10.89/10.90	c 10.9s |      16 |   230360 |   162652 |      249   1508 |        0 |        0
12.89/12.91	c 12.9s |      16 |   273087 |   192852 |      249   1736 |        0 |        0
13.09/13.18	c 13.2s |      17 |   280777 |   197432 |      274   1770 |        0 |        0
15.08/15.18	c 15.2s |      17 |   323981 |   227832 |      274   1976 |        0 |        0
17.08/17.18	c 17.2s |      17 |   368092 |   258532 |      274   2188 |        0 |        0
19.08/19.19	c 19.2s |      17 |   408780 |   287632 |      274   2389 |        0 |        0
19.79/19.83	c 19.8s |      18 |   420547 |   296252 |      302   2445 |        0 |        0
21.79/21.84	c 21.8s |      18 |   461567 |   326452 |      302   2631 |        0 |        0
23.79/23.84	c 23.8s |      18 |   503835 |   356452 |      302   2817 |        0 |        0
25.79/25.84	c 25.8s |      18 |   543047 |   385652 |      302   2997 |        0 |        0
27.79/27.85	c 27.8s |      18 |   585800 |   415052 |      302   3180 |        0 |        0
29.79/29.85	c 29.8s |      18 |   626492 |   444052 |      333   3359 |        0 |        0
29.79/29.88	c 29.9s |      19 |   627137 |   444482 |      333   3361 |        0 |        0
31.78/31.88	c 31.9s |      19 |   670015 |   474882 |      333   3535 |        0 |        0
33.78/33.89	c 33.9s |      19 |   710023 |   503682 |      333   3697 |        0 |        0
35.78/35.89	c 35.9s |      19 |   753492 |   533182 |      333   3866 |        0 |        0
37.89/37.90	c 37.9s |      19 |   796164 |   563582 |      333   4038 |        0 |        0
39.89/39.90	c 39.9s |      19 |   836065 |   593082 |      333   4204 |        0 |        0
41.79/41.90	c 41.9s |      19 |   874291 |   621382 |      333   4365 |        0 |        0
43.88/43.90	c 43.9s |      19 |   911410 |   648882 |      333   4522 |        0 |        0
45.09/45.18	c 45.2s |      20 |   936164 |   666827 |      367   4621 |        0 |        0
47.08/47.18	c 47.2s |      20 |   968409 |   692027 |      367   4751 |        0 |        0
49.08/49.19	c 49.2s |      20 |  1005520 |   719727 |      367   4894 |        0 |        0
51.08/51.19	c 51.2s |      20 |  1042711 |   746727 |      367   5035 |        0 |        0
53.08/53.19	c 53.2s |      20 |  1078493 |   773927 |      367   5175 |        0 |        0
55.18/55.20	c 55.2s |      20 |  1114833 |   801127 |      367   5317 |        0 |        0
57.19/57.21	c 57.2s |      20 |  1152846 |   828727 |      367   5460 |        0 |        0
59.18/59.21	c 59.2s |      20 |  1183660 |   853827 |      367   5590 |        0 |        0
61.18/61.21	c 61.2s |      20 |  1219478 |   880827 |      367   5729 |        0 |        0
63.18/63.21	c 63.2s |      20 |  1253623 |   906827 |      367   5864 |        0 |        0
65.18/65.22	c 65.2s |      20 |  1289886 |   933527 |      367   6005 |        0 |        0
67.18/67.22	c 67.2s |      20 |  1326373 |   961127 |      367   6149 |        0 |        0
69.18/69.23	c 69.2s |      20 |  1363961 |   988827 |      367   6294 |        0 |        0
70.08/70.10	c 70.1s |      21 |  1378680 |  1000345 |      404   6352 |        0 |        0
72.08/72.10	c 72.1s |      21 |  1407322 |  1023645 |      404   6459 |        0 |        0
74.07/74.11	c 74.1s |      21 |  1442424 |  1050245 |      404   6585 |        0 |        0
76.08/76.11	c 76.1s |      21 |  1483253 |  1078745 |      404   6720 |        0 |        0
78.09/78.11	c 78.1s |      21 |  1526796 |  1108045 |      404   6861 |        0 |        0
80.08/80.11	c 80.1s |      21 |  1567274 |  1137345 |      404   7000 |        0 |        0
82.08/82.11	c 82.1s |      21 |  1603321 |  1164745 |      404   7129 |        0 |        0
84.08/84.11	c 84.1s |      21 |  1637054 |  1191245 |      404   7255 |        0 |        0
86.08/86.12	c 86.1s |      21 |  1674342 |  1218845 |      404   7385 |        0 |        0
88.08/88.13	c 88.1s |      21 |  1708070 |  1245045 |      404   7510 |        0 |        0
90.08/90.13	c 90.1s |      21 |  1742775 |  1271645 |      404   7638 |        0 |        0
92.08/92.13	c 92.1s |      21 |  1778318 |  1298845 |      404   7768 |        0 |        0
94.07/94.13	c 94.1s |      21 |  1814487 |  1326145 |      404   7898 |        0 |        0
96.08/96.13	c 96.1s |      21 |  1851870 |  1354645 |      404   8035 |        0 |        0
98.08/98.13	c 98.1s |      21 |  1891273 |  1383345 |      404   8172 |        0 |        0
100.08/100.14	c  100s |      21 |  1927827 |  1410645 |      404   8302 |        0 |        0
102.07/102.14	c  102s |      21 |  1960488 |  1436645 |      404   8425 |        0 |        0
104.07/104.14	c  104s |      21 |  1992152 |  1462245 |      404   8546 |        0 |        0
106.07/106.15	c  106s |      21 |  2024097 |  1488145 |      404   8669 |        0 |        0
107.07/107.10	c  107s |      22 |  2040602 |  1500622 |      445   8723 |        0 |        0
109.07/109.11	c  109s |      22 |  2075428 |  1526822 |      445   8835 |        0 |        0
111.08/111.12	c  111s |      22 |  2108810 |  1552222 |      445   8944 |        0 |        0
113.07/113.12	c  113s |      22 |  2144563 |  1578822 |      445   9057 |        0 |        0
115.07/115.13	c  115s |      22 |  2178794 |  1604322 |      445   9167 |        0 |        0
117.07/117.13	c  117s |      22 |  2215002 |  1631122 |      445   9283 |        0 |        0
119.07/119.13	c  119s |      22 |  2252778 |  1658222 |      445   9400 |        0 |        0
121.07/121.14	c  121s |      22 |  2290057 |  1685222 |      445   9518 |        0 |        0
123.07/123.14	c  123s |      22 |  2324339 |  1711622 |      445   9632 |        0 |        0
125.08/125.15	c  125s |      22 |  2359238 |  1737522 |      445   9743 |        0 |        0
127.07/127.15	c  127s |      22 |  2396713 |  1764022 |      445   9858 |        0 |        0
129.07/129.16	c  129s |      22 |  2431961 |  1790022 |      445   9971 |        0 |        0
131.07/131.16	c  131s |      22 |  2469619 |  1816922 |      445  10087 |        0 |        0
133.08/133.16	c  133s |      22 |  2506929 |  1843322 |      445  10200 |        0 |        0
135.07/135.17	c  135s |      22 |  2542916 |  1869622 |      445  10315 |        0 |        0
137.07/137.17	c  137s |      22 |  2580861 |  1896922 |      445  10433 |        0 |        0
139.07/139.17	c  139s |      22 |  2619436 |  1924522 |      445  10554 |        0 |        0
141.07/141.17	c  141s |      22 |  2654246 |  1950422 |      445  10666 |        0 |        0
143.07/143.18	c  143s |      22 |  2687564 |  1975522 |      445  10776 |        0 |        0
145.07/145.18	c  145s |      22 |  2724433 |  2001822 |      445  10890 |        0 |        0
147.07/147.18	c  147s |      22 |  2763491 |  2029022 |      445  11009 |        0 |        0
149.06/149.19	c  149s |      22 |  2802205 |  2056122 |      445  11128 |        0 |        0
151.06/151.19	c  151s |      22 |  2843664 |  2084022 |      445  11250 |        0 |        0
153.06/153.19	c  153s |      22 |  2886591 |  2112522 |      445  11374 |        0 |        0
155.08/155.19	c  155s |      22 |  2927128 |  2140722 |      445  11497 |        0 |        0
157.17/157.20	c  157s |      22 |  2967525 |  2168222 |      445  11617 |        0 |        0
159.17/159.20	c  159s |      22 |  3006117 |  2195622 |      445  11736 |        0 |        0
161.17/161.21	c  161s |      22 |  3040531 |  2221122 |      445  11847 |        0 |        0
163.17/163.21	c  163s |      22 |  3073710 |  2245922 |      490  11951 |        0 |        0
163.57/163.62	c  163s |      23 |  3080270 |  2251038 |      490  11971 |        0 |        0
165.57/165.63	c  165s |      23 |  3110700 |  2274738 |      490  12064 |        0 |        0
167.56/167.64	c  167s |      23 |  3139761 |  2297938 |      490  12155 |        0 |        0
169.57/169.64	c  169s |      23 |  3168736 |  2321238 |      490  12245 |        0 |        0
171.57/171.64	c  171s |      23 |  3198982 |  2344938 |      490  12337 |        0 |        0
173.56/173.65	c  173s |      23 |  3231798 |  2369238 |      490  12431 |        0 |        0
175.56/175.65	c  175s |      23 |  3263310 |  2393338 |      490  12524 |        0 |        0
177.56/177.65	c  177s |      23 |  3298319 |  2419038 |      490  12626 |        0 |        0
179.56/179.65	c  179s |      23 |  3328947 |  2442638 |      490  12719 |        0 |        0
181.57/181.66	c  181s |      23 |  3358916 |  2465938 |      490  12809 |        0 |        0
183.56/183.66	c  183s |      23 |  3390445 |  2489938 |      490  12905 |        0 |        0
185.56/185.67	c  185s |      23 |  3420971 |  2513738 |      490  12998 |        0 |        0
187.56/187.67	c  187s |      23 |  3450941 |  2537338 |      490  13092 |        0 |        0
189.56/189.68	c  189s |      23 |  3478904 |  2559738 |      490  13180 |        0 |        0
191.56/191.68	c  191s |      23 |  3504679 |  2581238 |      490  13263 |        0 |        0
193.56/193.69	c  193s |      23 |  3534355 |  2604438 |      490  13353 |        0 |        0
195.66/195.70	c  195s |      23 |  3568028 |  2629638 |      490  13454 |        0 |        0
197.66/197.70	c  197s |      23 |  3600329 |  2653938 |      490  13549 |        0 |        0
199.66/199.70	c  199s |      23 |  3629860 |  2677538 |      490  13642 |        0 |        0
201.66/201.70	c  201s |      23 |  3660869 |  2701438 |      490  13736 |        0 |        0
203.66/203.71	c  203s |      23 |  3690438 |  2724838 |      490  13828 |        0 |        0
205.66/205.71	c  205s |      23 |  3722340 |  2749138 |      490  13924 |        0 |        0
207.65/207.72	c  207s |      23 |  3759640 |  2775638 |      490  14029 |        0 |        0
209.65/209.72	c  209s |      23 |  3792448 |  2800638 |      490  14128 |        0 |        0
211.65/211.72	c  211s |      23 |  3822061 |  2824138 |      490  14220 |        0 |        0
213.65/213.73	c  213s |      23 |  3856314 |  2849538 |      490  14321 |        0 |        0
215.67/215.73	c  215s |      23 |  3889738 |  2874438 |      490  14421 |        0 |        0
217.66/217.73	c  217s |      23 |  3925540 |  2900438 |      490  14524 |        0 |        0
219.66/219.74	c  219s |      23 |  3962392 |  2926338 |      490  14626 |        0 |        0
221.66/221.74	c  221s |      23 |  3996814 |  2951838 |      490  14728 |        0 |        0
223.66/223.74	c  223s |      23 |  4031461 |  2977638 |      490  14831 |        0 |        0
225.66/225.75	c  225s |      23 |  4067097 |  3003138 |      490  14931 |        0 |        0
227.66/227.76	c  227s |      23 |  4098808 |  3026738 |      490  15025 |        0 |        0
229.66/229.76	c  229s |      23 |  4131581 |  3051138 |      490  15121 |        0 |        0
231.65/231.76	c  231s |      23 |  4162648 |  3074838 |      490  15214 |        0 |        0
233.66/233.77	c  233s |      23 |  4193605 |  3098738 |      490  15308 |        0 |        0
235.65/235.77	c  235s |      23 |  4227202 |  3123938 |      490  15408 |        0 |        0
237.66/237.77	c  237s |      23 |  4257974 |  3148138 |      490  15503 |        0 |        0
239.65/239.78	c  239s |      23 |  4289270 |  3171938 |      490  15597 |        0 |        0
241.65/241.78	c  241s |      23 |  4321850 |  3196038 |      490  15692 |        0 |        0
243.65/243.78	c  243s |      23 |  4356950 |  3221338 |      490  15793 |        0 |        0
245.65/245.79	c  245s |      23 |  4389928 |  3245838 |      490  15890 |        0 |        0
247.65/247.79	c  247s |      23 |  4426233 |  3272338 |      490  15995 |        0 |        0
249.66/249.80	c  249s |      23 |  4457806 |  3296838 |      490  16092 |        0 |        0
251.75/251.81	c  251s |      23 |  4491925 |  3322138 |      490  16192 |        0 |        0
253.75/253.81	c  253s |      23 |  4523879 |  3346738 |      490  16289 |        0 |        0
255.75/255.81	c  255s |      23 |  4555848 |  3370938 |      539  16378 |        0 |        0
256.25/256.32	c  256s |      24 |  4563199 |  3376662 |      539  16398 |        0 |        0
258.25/258.32	c  258s |      24 |  4598797 |  3402362 |      539  16490 |        0 |        0
260.25/260.32	c  260s |      24 |  4633971 |  3427462 |      539  16580 |        0 |        0
262.25/262.33	c  262s |      24 |  4668909 |  3452362 |      539  16670 |        0 |        0
264.25/264.34	c  264s |      24 |  4703334 |  3477462 |      539  16760 |        0 |        0
266.26/266.34	c  266s |      24 |  4740689 |  3504062 |      539  16856 |        0 |        0
268.25/268.35	c  268s |      24 |  4776912 |  3529862 |      539  16950 |        0 |        0
270.25/270.35	c  270s |      24 |  4814120 |  3556562 |      539  17046 |        0 |        0
272.25/272.36	c  272s |      24 |  4846661 |  3580962 |      539  17133 |        0 |        0
274.25/274.36	c  274s |      24 |  4876634 |  3604062 |      539  17216 |        0 |        0
276.25/276.36	c  276s |      24 |  4907575 |  3627762 |      539  17301 |        0 |        0
278.25/278.37	c  278s |      24 |  4935284 |  3649962 |      539  17380 |        0 |        0
280.25/280.37	c  280s |      24 |  4965235 |  3673062 |      539  17462 |        0 |        0
282.24/282.38	c  282s |      24 |  4997983 |  3697762 |      539  17551 |        0 |        0
284.24/284.38	c  284s |      24 |  5030249 |  3722562 |      539  17640 |        0 |        0
286.24/286.38	c  286s |      24 |  5057552 |  3744362 |      539  17718 |        0 |        0
288.25/288.39	c  288s |      24 |  5087025 |  3766962 |      539  17800 |        0 |        0
290.25/290.39	c  290s |      24 |  5119747 |  3791362 |      539  17888 |        0 |        0
292.35/292.40	c  292s |      24 |  5150807 |  3814762 |      539  17972 |        0 |        0
294.35/294.40	c  294s |      24 |  5181682 |  3838262 |      539  18057 |        0 |        0
296.35/296.40	c  296s |      24 |  5217072 |  3863362 |      539  18148 |        0 |        0
298.34/298.41	c  298s |      24 |  5256458 |  3889362 |      539  18242 |        0 |        0
300.35/300.41	c  300s |      24 |  5292402 |  3914862 |      539  18333 |        0 |        0
302.35/302.42	c  302s |      24 |  5323647 |  3938362 |      539  18418 |        0 |        0
304.34/304.42	c  304s |      24 |  5353958 |  3961462 |      539  18500 |        0 |        0
306.34/306.43	c  306s |      24 |  5384216 |  3984662 |      539  18582 |        0 |        0
308.34/308.43	c  308s |      24 |  5414679 |  4008362 |      539  18667 |        0 |        0
310.34/310.44	c  310s |      24 |  5447346 |  4032262 |      539  18753 |        0 |        0
312.35/312.44	c  312s |      24 |  5480722 |  4056762 |      539  18841 |        0 |        0
314.34/314.44	c  314s |      24 |  5512848 |  4080962 |      539  18927 |        0 |        0
316.34/316.45	c  316s |      24 |  5545462 |  4105162 |      539  19013 |        0 |        0
318.34/318.46	c  318s |      24 |  5577826 |  4129162 |      539  19099 |        0 |        0
320.34/320.47	c  320s |      24 |  5610990 |  4153762 |      539  19187 |        0 |        0
322.35/322.47	c  322s |      24 |  5642597 |  4177662 |      539  19273 |        0 |        0
324.34/324.47	c  324s |      24 |  5676330 |  4202162 |      539  19361 |        0 |        0
326.34/326.47	c  326s |      24 |  5712108 |  4227762 |      539  19454 |        0 |        0
328.34/328.48	c  328s |      24 |  5745591 |  4252362 |      539  19543 |        0 |        0
330.34/330.48	c  330s |      24 |  5773123 |  4274462 |      539  19622 |        0 |        0
332.34/332.49	c  332s |      24 |  5800677 |  4296762 |      539  19701 |        0 |        0
334.35/334.50	c  334s |      24 |  5828815 |  4319162 |      539  19781 |        0 |        0
336.44/336.50	c  336s |      24 |  5863656 |  4344662 |      539  19872 |        0 |        0
338.44/338.50	c  338s |      24 |  5895903 |  4369162 |      539  19961 |        0 |        0
340.44/340.51	c  340s |      24 |  5926274 |  4392562 |      539  20045 |        0 |        0
342.44/342.51	c  342s |      24 |  5956994 |  4416362 |      539  20131 |        0 |        0
344.44/344.52	c  344s |      24 |  5985960 |  4439462 |      539  20214 |        0 |        0
346.44/346.52	c  346s |      24 |  6017379 |  4463762 |      539  20301 |        0 |        0
348.43/348.53	c  348s |      24 |  6048947 |  4487862 |      539  20388 |        0 |        0
350.43/350.53	c  350s |      24 |  6083163 |  4513262 |      539  20481 |        0 |        0
352.43/352.53	c  352s |      24 |  6115205 |  4537762 |      539  20568 |        0 |        0
354.43/354.53	c  354s |      24 |  6144339 |  4560662 |      539  20649 |        0 |        0
356.44/356.54	c  356s |      24 |  6173266 |  4583462 |      539  20730 |        0 |        0
358.43/358.54	c  358s |      24 |  6204835 |  4607362 |      539  20816 |        0 |        0
360.43/360.55	c  360s |      24 |  6236515 |  4631162 |      539  20901 |        0 |        0
362.43/362.55	c  362s |      24 |  6263919 |  4653062 |      539  20980 |        0 |        0
364.43/364.56	c  364s |      24 |  6294441 |  4676662 |      539  21065 |        0 |        0
366.44/366.57	c  366s |      24 |  6322196 |  4698862 |      539  21144 |        0 |        0
368.44/368.57	c  368s |      24 |  6353333 |  4722662 |      539  21230 |        0 |        0
370.44/370.58	c  370s |      24 |  6380311 |  4744262 |      539  21306 |        0 |        0
372.44/372.59	c  372s |      24 |  6407057 |  4765862 |      539  21383 |        0 |        0
374.44/374.59	c  374s |      24 |  6433332 |  4787662 |      539  21461 |        0 |        0
376.43/376.59	c  376s |      24 |  6460706 |  4810062 |      539  21541 |        0 |        0
378.44/378.59	c  378s |      24 |  6488333 |  4832162 |      539  21620 |        0 |        0
380.43/380.60	c  380s |      24 |  6518994 |  4854962 |      539  21702 |        0 |        0
382.53/382.60	c  382s |      24 |  6548217 |  4878062 |      539  21786 |        0 |        0
384.53/384.60	c  384s |      24 |  6577036 |  4900662 |      539  21867 |        0 |        0
386.53/386.60	c  386s |      24 |  6607307 |  4923662 |      539  21950 |        0 |        0
388.53/388.61	c  388s |      24 |  6635780 |  4946262 |      539  22031 |        0 |        0
390.54/390.62	c  390s |      24 |  6664219 |  4968262 |      539  22110 |        0 |        0
392.53/392.62	c  392s |      24 |  6695803 |  4992162 |      539  22196 |        0 |        0
394.53/394.62	c  394s |      24 |  6726956 |  5015962 |      539  22281 |        0 |        0
396.53/396.63	c  396s |      24 |  6754131 |  5037562 |      593  22356 |        0 |        0
398.53/398.64	c  398s |      24 |  6779354 |  5058162 |      593  22424 |        0 |        0
399.23/399.33	c  399s |      25 |  6787444 |  5065098 |      593  22447 |        0 |        0
401.23/401.34	c  401s |      25 |  6817012 |  5087798 |      593  22520 |        0 |        0
403.23/403.35	c  403s |      25 |  6846909 |  5110398 |      593  22594 |        0 |        0
405.22/405.35	c  405s |      25 |  6879107 |  5134298 |      593  22673 |        0 |        0
407.22/407.36	c  407s |      25 |  6910538 |  5157698 |      593  22750 |        0 |        0
409.24/409.36	c  409s |      25 |  6939702 |  5180298 |      593  22824 |        0 |        0
411.23/411.37	c  411s |      25 |  6968824 |  5202998 |      593  22899 |        0 |        0
413.23/413.37	c  413s |      25 |  6997794 |  5225498 |      593  22973 |        0 |        0
415.23/415.38	c  415s |      25 |  7027325 |  5247998 |      593  23047 |        0 |        0
417.22/417.38	c  417s |      25 |  7056449 |  5270298 |      593  23119 |        0 |        0
419.22/419.38	c  419s |      25 |  7089095 |  5294298 |      593  23198 |        0 |        0
421.23/421.39	c  421s |      25 |  7118047 |  5316998 |      593  23272 |        0 |        0
423.22/423.39	c  423s |      25 |  7144690 |  5338598 |      593  23342 |        0 |        0
425.32/425.40	c  425s |      25 |  7173608 |  5360998 |      593  23414 |        0 |        0
427.32/427.41	c  427s |      25 |  7202385 |  5383498 |      593  23487 |        0 |        0
429.32/429.41	c  429s |      25 |  7229965 |  5404998 |      593  23556 |        0 |        0
431.32/431.41	c  431s |      25 |  7260951 |  5428298 |      593  23631 |        0 |        0
433.32/433.42	c  433s |      25 |  7293660 |  5452298 |      593  23710 |        0 |        0
435.31/435.43	c  435s |      25 |  7321313 |  5474298 |      593  23782 |        0 |        0
437.31/437.44	c  437s |      25 |  7349611 |  5496798 |      593  23855 |        0 |        0
439.31/439.44	c  439s |      25 |  7381150 |  5520398 |      593  23933 |        0 |        0
441.31/441.44	c  441s |      25 |  7413468 |  5543798 |      593  24009 |        0 |        0
443.32/443.45	c  443s |      25 |  7445442 |  5567198 |      593  24086 |        0 |        0
445.31/445.45	c  445s |      25 |  7474546 |  5589898 |      593  24161 |        0 |        0
447.31/447.46	c  447s |      25 |  7503367 |  5612698 |      593  24236 |        0 |        0
449.31/449.47	c  449s |      25 |  7531571 |  5634998 |      593  24310 |        0 |        0
451.32/451.48	c  451s |      25 |  7559424 |  5656898 |      593  24383 |        0 |        0
453.32/453.48	c  453s |      25 |  7586804 |  5678598 |      593  24455 |        0 |        0
455.32/455.49	c  455s |      25 |  7617142 |  5701798 |      593  24532 |        0 |        0
457.31/457.49	c  457s |      25 |  7647258 |  5724998 |      593  24608 |        0 |        0
459.31/459.49	c  459s |      25 |  7676788 |  5747798 |      593  24684 |        0 |        0
461.41/461.50	c  461s |      25 |  7705243 |  5770098 |      593  24758 |        0 |        0
463.41/463.50	c  463s |      25 |  7732166 |  5791898 |      593  24830 |        0 |        0
465.40/465.51	c  465s |      25 |  7761685 |  5814598 |      593  24905 |        0 |        0
467.41/467.51	c  467s |      25 |  7791718 |  5837998 |      593  24983 |        0 |        0
469.40/469.51	c  469s |      25 |  7815336 |  5858098 |      593  25048 |        0 |        0
471.40/471.52	c  471s |      25 |  7839842 |  5878598 |      593  25115 |        0 |        0
473.40/473.52	c  473s |      25 |  7865277 |  5899198 |      593  25181 |        0 |        0
475.40/475.53	c  475s |      25 |  7890327 |  5919498 |      593  25247 |        0 |        0
477.41/477.53	c  477s |      25 |  7918578 |  5941898 |      593  25319 |        0 |        0
479.40/479.54	c  479s |      25 |  7951042 |  5965898 |      593  25397 |        0 |        0
481.40/481.55	c  481s |      25 |  7980228 |  5988798 |      593  25472 |        0 |        0
483.39/483.55	c  483s |      25 |  8011466 |  6012298 |      593  25548 |        0 |        0
485.39/485.55	c  485s |      25 |  8040571 |  6035098 |      593  25622 |        0 |        0
487.39/487.56	c  487s |      25 |  8070060 |  6057898 |      593  25696 |        0 |        0
489.40/489.57	c  489s |      25 |  8098673 |  6079998 |      593  25768 |        0 |        0
491.39/491.57	c  491s |      25 |  8129967 |  6103598 |      593  25845 |        0 |        0
493.39/493.58	c  493s |      25 |  8160504 |  6126998 |      593  25921 |        0 |        0
495.39/495.58	c  495s |      25 |  8192819 |  6150698 |      593  25998 |        0 |        0
497.39/497.59	c  497s |      25 |  8223516 |  6173698 |      593  26073 |        0 |        0
499.49/499.60	c  499s |      25 |  8255587 |  6197398 |      593  26151 |        0 |        0
501.39/501.60	c  501s |      25 |  8285775 |  6220398 |      593  26226 |        0 |        0
503.49/503.61	c  503s |      25 |  8316956 |  6243498 |      593  26302 |        0 |        0
505.48/505.61	c  505s |      25 |  8349623 |  6267998 |      593  26383 |        0 |        0
507.49/507.62	c  507s |      25 |  8380422 |  6291898 |      593  26462 |        0 |        0
509.49/509.62	c  509s |      25 |  8411942 |  6315998 |      593  26542 |        0 |        0
511.50/511.62	c  511s |      25 |  8443716 |  6339698 |      593  26620 |        0 |        0
513.49/513.63	c  513s |      25 |  8472525 |  6362398 |      593  26695 |        0 |        0
515.48/515.63	c  515s |      25 |  8503232 |  6386098 |      593  26773 |        0 |        0
517.48/517.63	c  517s |      25 |  8531197 |  6408298 |      593  26845 |        0 |        0
519.48/519.63	c  519s |      25 |  8559795 |  6430398 |      593  26917 |        0 |        0
521.48/521.64	c  521s |      25 |  8591340 |  6453598 |      593  26993 |        0 |        0
523.49/523.64	c  523s |      25 |  8623914 |  6477098 |      593  27070 |        0 |        0
525.48/525.64	c  525s |      25 |  8655153 |  6500298 |      593  27146 |        0 |        0
527.48/527.65	c  527s |      25 |  8683428 |  6522398 |      593  27218 |        0 |        0
529.47/529.65	c  529s |      25 |  8714180 |  6545598 |      593  27294 |        0 |        0
531.47/531.65	c  531s |      25 |  8744784 |  6568598 |      593  27369 |        0 |        0
533.48/533.66	c  533s |      25 |  8773698 |  6590898 |      593  27442 |        0 |        0
535.47/535.67	c  535s |      25 |  8805576 |  6614398 |      593  27518 |        0 |        0
537.47/537.67	c  537s |      25 |  8835934 |  6637198 |      593  27593 |        0 |        0
539.48/539.68	c  539s |      25 |  8863374 |  6658898 |      593  27664 |        0 |        0
541.47/541.68	c  541s |      25 |  8891091 |  6681098 |      593  27736 |        0 |        0
543.47/543.69	c  543s |      25 |  8919552 |  6703698 |      593  27810 |        0 |        0
545.48/545.69	c  545s |      25 |  8947248 |  6725798 |      593  27882 |        0 |        0
547.47/547.69	c  547s |      25 |  8977714 |  6748498 |      593  27957 |        0 |        0
549.47/549.70	c  549s |      25 |  9008052 |  6771198 |      593  28031 |        0 |        0
551.57/551.70	c  551s |      25 |  9034563 |  6792098 |      593  28099 |        0 |        0
553.57/553.70	c  553s |      25 |  9062381 |  6813198 |      593  28168 |        0 |        0
555.56/555.70	c  555s |      25 |  9090579 |  6835798 |      593  28241 |        0 |        0
557.57/557.71	c  557s |      25 |  9122394 |  6859698 |      593  28319 |        0 |        0
559.56/559.71	c  559s |      25 |  9152918 |  6883298 |      593  28396 |        0 |        0
561.56/561.71	c  561s |      25 |  9187696 |  6908498 |      593  28479 |        0 |        0
563.56/563.72	c  563s |      25 |  9217367 |  6931098 |      593  28553 |        0 |        0
565.56/565.72	c  565s |      25 |  9245895 |  6953598 |      593  28626 |        0 |        0
567.56/567.73	c  567s |      25 |  9275639 |  6976998 |      593  28703 |        0 |        0
569.56/569.73	c  569s |      25 |  9303342 |  6999498 |      593  28776 |        0 |        0
571.55/571.74	c  571s |      25 |  9332172 |  7022498 |      593  28851 |        0 |        0
573.56/573.74	c  573s |      25 |  9361178 |  7045398 |      593  28927 |        0 |        0
575.56/575.75	c  575s |      25 |  9393215 |  7069498 |      593  29006 |        0 |        0
577.56/577.75	c  577s |      25 |  9423699 |  7093198 |      593  29085 |        0 |        0
579.57/579.75	c  579s |      25 |  9451790 |  7115698 |      593  29159 |        0 |        0
581.56/581.76	c  581s |      25 |  9480631 |  7138698 |      593  29236 |        0 |        0
583.56/583.77	c  583s |      25 |  9508142 |  7160898 |      593  29309 |        0 |        0
585.56/585.77	c  585s |      25 |  9536334 |  7183398 |      593  29384 |        0 |        0
587.56/587.77	c  587s |      25 |  9568344 |  7207398 |      593  29463 |        0 |        0
589.56/589.77	c  589s |      25 |  9598738 |  7230298 |      593  29539 |        0 |        0
591.55/591.78	c  591s |      25 |  9629127 |  7253898 |      593  29616 |        0 |        0
593.55/593.78	c  593s |      25 |  9658944 |  7277298 |      593  29694 |        0 |        0
595.55/595.78	c  595s |      25 |  9688284 |  7300698 |      593  29771 |        0 |        0
597.55/597.79	c  597s |      25 |  9717281 |  7323398 |      593  29846 |        0 |        0
599.55/599.80	c  599s |      25 |  9748407 |  7347098 |      593  29924 |        0 |        0
601.55/601.80	c  601s |      25 |  9780311 |  7370998 |      593  30002 |        0 |        0
603.66/603.81	c  603s |      25 |  9811496 |  7394498 |      593  30078 |        0 |        0
605.65/605.81	c  605s |      25 |  9842346 |  7417698 |      593  30154 |        0 |        0
607.65/607.82	c  607s |      25 |  9872388 |  7441398 |      593  30232 |        0 |        0
609.65/609.82	c  609s |      25 |  9902878 |  7465398 |      593  30310 |        0 |        0
611.65/611.83	c  611s |      25 |  9932962 |  7489198 |      593  30389 |        0 |        0
613.65/613.83	c  613s |      25 |  9962292 |  7512798 |      593  30466 |        0 |        0
615.64/615.83	c  615s |      25 |  9992166 |  7536698 |      593  30545 |        0 |        0
617.64/617.84	c  617s |      25 | 10020486 |  7559598 |      653  30615 |        0 |        0
619.64/619.84	c  619s |      25 | 10047747 |  7581898 |      653  30682 |        0 |        0
621.04/621.25	c  621s |      26 | 10067017 |  7597752 |      653  30729 |        0 |        0
623.04/623.25	c  623s |      26 | 10094375 |  7619852 |      653  30794 |        0 |        0
625.04/625.26	c  625s |      26 | 10124505 |  7642752 |      653  30863 |        0 |        0
627.03/627.26	c  627s |      26 | 10153318 |  7665652 |      653  30931 |        0 |        0
629.04/629.27	c  629s |      26 | 10182590 |  7688852 |      653  31000 |        0 |        0
631.03/631.27	c  631s |      26 | 10210467 |  7711152 |      653  31067 |        0 |        0
633.03/633.27	c  633s |      26 | 10239189 |  7733952 |      653  31135 |        0 |        0
635.03/635.27	c  635s |      26 | 10267163 |  7756452 |      653  31202 |        0 |        0
637.03/637.28	c  637s |      26 | 10295764 |  7779152 |      653  31269 |        0 |        0
639.04/639.28	c  639s |      26 | 10325279 |  7802452 |      653  31339 |        0 |        0
641.03/641.28	c  641s |      26 | 10354669 |  7825152 |      653  31407 |        0 |        0
643.03/643.29	c  643s |      26 | 10386871 |  7849752 |      653  31480 |        0 |        0
645.03/645.29	c  645s |      26 | 10416859 |  7873252 |      653  31551 |        0 |        0
647.03/647.29	c  647s |      26 | 10443992 |  7895352 |      653  31617 |        0 |        0
649.12/649.30	c  649s |      26 | 10470942 |  7917052 |      653  31682 |        0 |        0
651.03/651.30	c  651s |      26 | 10499859 |  7939652 |      653  31750 |        0 |        0
653.12/653.31	c  653s |      26 | 10530465 |  7963152 |      653  31820 |        0 |        0
655.12/655.31	c  655s |      26 | 10557247 |  7984752 |      653  31885 |        0 |        0
657.13/657.31	c  657s |      26 | 10583433 |  8005952 |      653  31947 |        0 |        0
659.12/659.32	c  659s |      26 | 10610425 |  8027552 |      653  32012 |        0 |        0
661.12/661.32	c  661s |      26 | 10637279 |  8048652 |      653  32075 |        0 |        0
663.13/663.32	c  663s |      26 | 10664782 |  8070452 |      653  32140 |        0 |        0
665.12/665.33	c  665s |      26 | 10692083 |  8092352 |      653  32205 |        0 |        0
667.12/667.33	c  667s |      26 | 10721060 |  8115452 |      653  32274 |        0 |        0
669.12/669.33	c  669s |      26 | 10747590 |  8137252 |      653  32339 |        0 |        0
671.12/671.34	c  671s |      26 | 10773680 |  8158652 |      653  32403 |        0 |        0
673.12/673.34	c  673s |      26 | 10800639 |  8180352 |      653  32467 |        0 |        0
675.11/675.35	c  675s |      26 | 10827210 |  8201452 |      653  32530 |        0 |        0
677.11/677.35	c  677s |      26 | 10852931 |  8222352 |      653  32592 |        0 |        0
679.11/679.36	c  679s |      26 | 10879142 |  8243552 |      653  32655 |        0 |        0
681.11/681.36	c  681s |      26 | 10910852 |  8267152 |      653  32725 |        0 |        0
683.11/683.37	c  683s |      26 | 10942080 |  8290852 |      653  32796 |        0 |        0
685.11/685.37	c  685s |      26 | 10973364 |  8314552 |      653  32867 |        0 |        0
687.10/687.37	c  687s |      26 | 11003342 |  8337552 |      653  32936 |        0 |        0
689.10/689.38	c  689s |      26 | 11032210 |  8360252 |      653  33004 |        0 |        0
691.10/691.39	c  691s |      26 | 11059896 |  8381852 |      653  33069 |        0 |        0
693.11/693.39	c  693s |      26 | 11087264 |  8403352 |      653  33133 |        0 |        0
695.21/695.40	c  695s |      26 | 11113750 |  8424552 |      653  33196 |        0 |        0
697.21/697.40	c  697s |      26 | 11144526 |  8447752 |      653  33266 |        0 |        0
699.21/699.41	c  699s |      26 | 11174021 |  8470152 |      653  33333 |        0 |        0
701.21/701.41	c  701s |      26 | 11201846 |  8491552 |      653  33397 |        0 |        0
703.21/703.42	c  703s |      26 | 11228817 |  8512952 |      653  33461 |        0 |        0
705.20/705.43	c  705s |      26 | 11255553 |  8534352 |      653  33525 |        0 |        0
707.21/707.43	c  707s |      26 | 11282434 |  8555952 |      653  33589 |        0 |        0
709.20/709.43	c  709s |      26 | 11312392 |  8578552 |      653  33658 |        0 |        0
711.20/711.44	c  711s |      26 | 11343270 |  8601652 |      653  33727 |        0 |        0
713.20/713.44	c  713s |      26 | 11373176 |  8624552 |      653  33796 |        0 |        0
715.20/715.44	c  715s |      26 | 11404135 |  8648152 |      653  33866 |        0 |        0
717.20/717.45	c  717s |      26 | 11438070 |  8674152 |      653  33944 |        0 |        0
719.20/719.45	c  719s |      26 | 11471387 |  8699252 |      653  34019 |        0 |        0
721.20/721.45	c  721s |      26 | 11501728 |  8723352 |      653  34091 |        0 |        0
723.20/723.46	c  723s |      26 | 11533765 |  8747652 |      653  34164 |        0 |        0
725.20/725.46	c  725s |      26 | 11565983 |  8771752 |      653  34236 |        0 |        0
727.20/727.46	c  727s |      26 | 11595516 |  8794852 |      653  34305 |        0 |        0
729.20/729.47	c  729s |      26 | 11626047 |  8818652 |      653  34377 |        0 |        0
731.19/731.47	c  731s |      26 | 11656711 |  8842152 |      653  34447 |        0 |        0
733.19/733.48	c  733s |      26 | 11686515 |  8865052 |      653  34515 |        0 |        0
735.19/735.48	c  735s |      26 | 11716371 |  8887952 |      653  34584 |        0 |        0
737.19/737.49	c  737s |      26 | 11749498 |  8912852 |      653  34658 |        0 |        0
739.18/739.49	c  739s |      26 | 11784974 |  8938852 |      653  34736 |        0 |        0
741.19/741.49	c  741s |      26 | 11813830 |  8961452 |      653  34804 |        0 |        0
743.28/743.50	c  743s |      26 | 11839969 |  8982752 |      653  34867 |        0 |        0
745.29/745.51	c  745s |      26 | 11870973 |  9006352 |      653  34938 |        0 |        0
747.29/747.51	c  747s |      26 | 11901824 |  9030052 |      653  35009 |        0 |        0
749.29/749.52	c  749s |      26 | 11931420 |  9052952 |      653  35078 |        0 |        0
751.29/751.52	c  751s |      26 | 11960937 |  9075852 |      653  35147 |        0 |        0
753.30/753.52	c  753s |      26 | 11991225 |  9099252 |      653  35217 |        0 |        0
755.29/755.53	c  755s |      26 | 12024794 |  9123352 |      653  35289 |        0 |        0
757.29/757.53	c  757s |      26 | 12057946 |  9147552 |      653  35362 |        0 |        0
759.29/759.53	c  759s |      26 | 12091544 |  9172052 |      653  35436 |        0 |        0
761.29/761.54	c  761s |      26 | 12123180 |  9195452 |      653  35506 |        0 |        0
763.29/763.54	c  763s |      26 | 12155183 |  9219252 |      653  35577 |        0 |        0
765.28/765.54	c  765s |      26 | 12188752 |  9243052 |      653  35649 |        0 |        0
767.28/767.55	c  767s |      26 | 12224255 |  9268352 |      653  35725 |        0 |        0
769.28/769.56	c  769s |      26 | 12256392 |  9292152 |      653  35797 |        0 |        0
771.28/771.56	c  771s |      26 | 12288013 |  9315452 |      653  35867 |        0 |        0
773.28/773.57	c  773s |      26 | 12316538 |  9337752 |      653  35933 |        0 |        0
775.28/775.57	c  775s |      26 | 12349529 |  9361752 |      653  36005 |        0 |        0
777.27/777.57	c  777s |      26 | 12382129 |  9385952 |      653  36078 |        0 |        0
779.27/779.58	c  779s |      26 | 12413454 |  9409552 |      653  36149 |        0 |        0
781.27/781.59	c  781s |      26 | 12443326 |  9432852 |      653  36219 |        0 |        0
783.27/783.59	c  783s |      26 | 12474500 |  9456352 |      653  36289 |        0 |        0
785.28/785.59	c  785s |      26 | 12504913 |  9479952 |      653  36360 |        0 |        0
787.27/787.60	c  787s |      26 | 12533158 |  9502852 |      653  36429 |        0 |        0
789.37/789.60	c  789s |      26 | 12563781 |  9526152 |      653  36499 |        0 |        0
791.37/791.60	c  791s |      26 | 12596030 |  9550552 |      653  36572 |        0 |        0
793.37/793.60	c  793s |      26 | 12626762 |  9573752 |      653  36642 |        0 |        0
795.36/795.61	c  795s |      26 | 12658658 |  9597552 |      653  36713 |        0 |        0
797.37/797.61	c  797s |      26 | 12690988 |  9621652 |      653  36786 |        0 |        0
799.36/799.62	c  799s |      26 | 12722103 |  9645252 |      653  36857 |        0 |        0
801.36/801.62	c  801s |      26 | 12751953 |  9668552 |      653  36928 |        0 |        0
803.36/803.62	c  803s |      26 | 12780096 |  9691252 |      653  36996 |        0 |        0
805.36/805.63	c  805s |      26 | 12810514 |  9714652 |      653  37067 |        0 |        0
807.36/807.64	c  807s |      26 | 12839155 |  9737152 |      653  37135 |        0 |        0
809.37/809.65	c  809s |      26 | 12868354 |  9759952 |      653  37204 |        0 |        0
811.36/811.65	c  811s |      26 | 12901650 |  9784252 |      653  37277 |        0 |        0
813.36/813.65	c  813s |      26 | 12933361 |  9808152 |      653  37349 |        0 |        0
815.36/815.65	c  815s |      26 | 12964377 |  9831552 |      653  37419 |        0 |        0
817.36/817.65	c  817s |      26 | 12998028 |  9856052 |      653  37493 |        0 |        0
819.36/819.66	c  819s |      26 | 13028025 |  9879252 |      653  37563 |        0 |        0
821.36/821.66	c  821s |      26 | 13055594 |  9900652 |      653  37627 |        0 |        0
823.36/823.66	c  823s |      26 | 13087361 |  9923752 |      653  37697 |        0 |        0
825.35/825.67	c  825s |      26 | 13118945 |  9947052 |      653  37767 |        0 |        0
827.35/827.67	c  827s |      26 | 13153453 |  9971952 |      653  37842 |        0 |        0
829.35/829.68	c  829s |      26 | 13185475 |  9996152 |      653  37915 |        0 |        0
831.35/831.68	c  831s |      26 | 13215772 | 10019452 |      653  37985 |        0 |        0
833.34/833.69	c  833s |      26 | 13247248 | 10043052 |      653  38056 |        0 |        0
835.34/835.69	c  835s |      26 | 13275338 | 10064952 |      653  38122 |        0 |        0
837.34/837.69	c  837s |      26 | 13303921 | 10087052 |      653  38188 |        0 |        0
839.44/839.70	c  839s |      26 | 13328684 | 10108152 |      653  38251 |        0 |        0
841.44/841.71	c  841s |      26 | 13358309 | 10131052 |      653  38320 |        0 |        0
843.44/843.71	c  843s |      26 | 13390183 | 10154852 |      653  38391 |        0 |        0
845.43/845.71	c  845s |      26 | 13417842 | 10177252 |      653  38458 |        0 |        0
847.43/847.72	c  847s |      26 | 13448937 | 10200352 |      653  38527 |        0 |        0
849.43/849.73	c  849s |      26 | 13476606 | 10221852 |      653  38592 |        0 |        0
851.43/851.73	c  851s |      26 | 13504564 | 10243452 |      653  38656 |        0 |        0
853.45/853.73	c  853s |      26 | 13533389 | 10265552 |      653  38723 |        0 |        0
855.44/855.73	c  855s |      26 | 13560677 | 10287152 |      653  38788 |        0 |        0
857.44/857.74	c  857s |      26 | 13592385 | 10310552 |      653  38858 |        0 |        0
859.44/859.74	c  859s |      26 | 13622619 | 10333552 |      653  38927 |        0 |        0
861.44/861.75	c  861s |      26 | 13655035 | 10357252 |      653  38999 |        0 |        0
863.44/863.75	c  863s |      26 | 13684694 | 10380052 |      653  39067 |        0 |        0
865.44/865.76	c  865s |      26 | 13712584 | 10402252 |      653  39133 |        0 |        0
867.43/867.76	c  867s |      26 | 13740366 | 10424352 |      653  39199 |        0 |        0
869.43/869.76	c  869s |      26 | 13770050 | 10447152 |      653  39267 |        0 |        0
871.43/871.76	c  871s |      26 | 13799562 | 10470252 |      653  39336 |        0 |        0
873.43/873.76	c  873s |      26 | 13830075 | 10493952 |      653  39407 |        0 |        0
875.43/875.77	c  875s |      26 | 13863185 | 10518552 |      653  39480 |        0 |        0
877.43/877.77	c  877s |      26 | 13894368 | 10542552 |      653  39552 |        0 |        0
879.43/879.78	c  879s |      26 | 13924788 | 10565952 |      653  39621 |        0 |        0
881.43/881.78	c  881s |      26 | 13953747 | 10588352 |      653  39688 |        0 |        0
883.43/883.79	c  883s |      26 | 13985425 | 10612352 |      653  39759 |        0 |        0
885.42/885.79	c  885s |      26 | 14020745 | 10637152 |      653  39833 |        0 |        0
887.43/887.79	c  887s |      26 | 14053671 | 10661652 |      653  39906 |        0 |        0
889.52/889.80	c  889s |      26 | 14085586 | 10685052 |      653  39976 |        0 |        0
891.52/891.81	c  891s |      26 | 14113833 | 10707852 |      653  40044 |        0 |        0
893.52/893.82	c  893s |      26 | 14142218 | 10730352 |      653  40111 |        0 |        0
895.51/895.82	c  895s |      26 | 14171995 | 10753452 |      653  40180 |        0 |        0
897.51/897.82	c  897s |      26 | 14201821 | 10776252 |      653  40248 |        0 |        0
899.52/899.83	c  899s |      26 | 14228984 | 10798152 |      653  40313 |        0 |        0
901.52/901.83	c  901s |      26 | 14256616 | 10820452 |      653  40380 |        0 |        0
903.52/903.83	c  903s |      26 | 14284240 | 10842652 |      653  40446 |        0 |        0
905.52/905.84	c  905s |      26 | 14314304 | 10865952 |      653  40516 |        0 |        0
907.52/907.84	c  907s |      26 | 14340339 | 10886952 |      653  40578 |        0 |        0
909.52/909.85	c  909s |      26 | 14369142 | 10909152 |      653  40644 |        0 |        0
911.51/911.85	c  911s |      26 | 14399015 | 10931852 |      653  40712 |        0 |        0
913.51/913.86	c  913s |      26 | 14432694 | 10956152 |      653  40784 |        0 |        0
915.51/915.87	c  915s |      26 | 14465996 | 10980652 |      653  40858 |        0 |        0
917.51/917.87	c  917s |      26 | 14501185 | 11006152 |      653  40934 |        0 |        0
919.51/919.88	c  919s |      26 | 14537061 | 11031552 |      653  41010 |        0 |        0
921.51/921.88	c  921s |      26 | 14569309 | 11055252 |      653  41081 |        0 |        0
923.51/923.89	c  923s |      26 | 14600059 | 11078352 |      653  41150 |        0 |        0
925.50/925.89	c  925s |      26 | 14631046 | 11101552 |      653  41220 |        0 |        0
927.50/927.89	c  927s |      26 | 14663735 | 11125752 |      653  41292 |        0 |        0
929.60/929.90	c  929s |      26 | 14694019 | 11148752 |      653  41361 |        0 |        0
931.61/931.90	c  931s |      26 | 14727965 | 11173152 |      653  41434 |        0 |        0
933.50/933.90	c  933s |      26 | 14761324 | 11197952 |      653  41509 |        0 |        0
935.60/935.91	c  935s |      26 | 14795714 | 11222852 |      653  41584 |        0 |        0
937.60/937.92	c  937s |      26 | 14825726 | 11246152 |      653  41654 |        0 |        0
939.60/939.92	c  939s |      26 | 14856120 | 11269852 |      653  41724 |        0 |        0
941.60/941.92	c  941s |      26 | 14885721 | 11293252 |      653  41794 |        0 |        0
943.61/943.93	c  943s |      26 | 14916700 | 11316752 |      719  41864 |        0 |        0
945.60/945.94	c  945s |      26 | 14947562 | 11339552 |      719  41926 |        0 |        0
947.59/947.94	c  947s |      26 | 14978477 | 11362852 |      719  41989 |        0 |        0
949.59/949.95	c  949s |      26 | 15012103 | 11387352 |      719  42056 |        0 |        0
950.39/950.74	c  950s |      27 | 15024309 | 11396733 |      719  42082 |        0 |        0
952.40/952.74	c  952s |      27 | 15052359 | 11418333 |      719  42140 |        0 |        0
954.39/954.75	c  954s |      27 | 15080240 | 11439933 |      719  42198 |        0 |        0
956.39/956.75	c  956s |      27 | 15107033 | 11461233 |      719  42256 |        0 |        0
958.39/958.76	c  958s |      27 | 15136331 | 11482933 |      719  42314 |        0 |        0
960.39/960.76	c  960s |      27 | 15163834 | 11503933 |      719  42370 |        0 |        0
962.38/962.76	c  962s |      27 | 15191646 | 11525533 |      719  42429 |        0 |        0
964.39/964.77	c  964s |      27 | 15218479 | 11546533 |      719  42486 |        0 |        0
966.39/966.78	c  966s |      27 | 15248337 | 11568533 |      719  42545 |        0 |        0
968.39/968.78	c  968s |      27 | 15274120 | 11589233 |      719  42600 |        0 |        0
970.39/970.79	c  970s |      27 | 15300339 | 11610033 |      719  42657 |        0 |        0
972.39/972.79	c  972s |      27 | 15326561 | 11630733 |      719  42712 |        0 |        0
974.39/974.79	c  974s |      27 | 15352864 | 11651633 |      719  42769 |        0 |        0
976.38/976.79	c  976s |      27 | 15379088 | 11672633 |      719  42826 |        0 |        0
978.38/978.79	c  978s |      27 | 15405859 | 11693733 |      719  42882 |        0 |        0
980.38/980.79	c  980s |      27 | 15434176 | 11715533 |      719  42941 |        0 |        0
982.48/982.80	c  982s |      27 | 15463094 | 11738033 |      719  43002 |        0 |        0
984.48/984.80	c  984s |      27 | 15492044 | 11760333 |      719  43062 |        0 |        0
986.48/986.81	c  986s |      27 | 15517867 | 11781033 |      719  43119 |        0 |        0
988.47/988.82	c  988s |      27 | 15545585 | 11802633 |      719  43177 |        0 |        0
990.48/990.82	c  990s |      27 | 15571665 | 11823433 |      719  43233 |        0 |        0
992.48/992.83	c  992s |      27 | 15600755 | 11845633 |      719  43293 |        0 |        0
994.48/994.83	c  994s |      27 | 15630473 | 11868633 |      719  43355 |        0 |        0
996.47/996.84	c  996s |      27 | 15658114 | 11890333 |      719  43414 |        0 |        0
998.48/998.84	c  998s |      27 | 15687370 | 11912433 |      719  43473 |        0 |        0
1000.47/1000.85	c 1000s |      27 | 15717137 | 11934833 |      719  43533 |        0 |        0
1002.47/1002.85	c 1002s |      27 | 15746542 | 11957133 |      719  43594 |        0 |        0
1004.47/1004.85	c 1004s |      27 | 15774898 | 11979533 |      719  43654 |        0 |        0
1006.47/1006.86	c 1006s |      27 | 15804183 | 12002233 |      719  43716 |        0 |        0
1008.47/1008.86	c 1008s |      27 | 15834472 | 12025433 |      719  43778 |        0 |        0
1010.47/1010.87	c 1010s |      27 | 15861698 | 12046833 |      719  43836 |        0 |        0
1012.47/1012.87	c 1012s |      27 | 15890227 | 12069233 |      719  43897 |        0 |        0
1014.46/1014.88	c 1014s |      27 | 15916691 | 12090633 |      719  43955 |        0 |        0
1016.46/1016.88	c 1016s |      27 | 15946417 | 12113533 |      719  44017 |        0 |        0
1018.46/1018.89	c 1018s |      27 | 15976951 | 12136933 |      719  44080 |        0 |        0
1020.46/1020.89	c 1020s |      27 | 16008903 | 12160833 |      719  44145 |        0 |        0
1022.46/1022.89	c 1022s |      27 | 16040759 | 12184833 |      719  44210 |        0 |        0
1024.56/1024.90	c 1024s |      27 | 16069948 | 12207133 |      719  44270 |        0 |        0
1026.56/1026.90	c 1026s |      27 | 16099550 | 12230233 |      719  44333 |        0 |        0
1028.56/1028.91	c 1028s |      27 | 16133087 | 12254833 |      719  44400 |        0 |        0
1030.56/1030.92	c 1030s |      27 | 16165763 | 12279633 |      719  44468 |        0 |        0
1032.57/1032.92	c 1032s |      27 | 16198773 | 12304633 |      719  44536 |        0 |        0
1034.56/1034.93	c 1034s |      27 | 16231092 | 12328833 |      719  44602 |        0 |        0
1036.56/1036.93	c 1036s |      27 | 16265739 | 12354133 |      719  44672 |        0 |        0
1038.55/1038.94	c 1038s |      27 | 16301318 | 12379733 |      719  44742 |        0 |        0
1040.55/1040.94	c 1040s |      27 | 16335022 | 12404933 |      719  44811 |        0 |        0
1042.56/1042.94	c 1042s |      27 | 16368669 | 12429933 |      719  44879 |        0 |        0
1044.55/1044.95	c 1044s |      27 | 16403633 | 12455433 |      719  44949 |        0 |        0
1046.55/1046.96	c 1046s |      27 | 16440858 | 12481433 |      719  45020 |        0 |        0
1048.55/1048.96	c 1048s |      27 | 16473857 | 12506033 |      719  45088 |        0 |        0
1050.55/1050.97	c 1050s |      27 | 16504420 | 12529633 |      719  45152 |        0 |        0
1052.55/1052.98	c 1052s |      27 | 16532710 | 12551933 |      719  45213 |        0 |        0
1054.55/1054.98	c 1054s |      27 | 16565747 | 12576033 |      719  45279 |        0 |        0
1056.54/1056.98	c 1056s |      27 | 16597901 | 12599833 |      719  45344 |        0 |        0
1058.54/1058.98	c 1058s |      27 | 16631148 | 12624033 |      719  45411 |        0 |        0
1060.54/1060.99	c 1060s |      27 | 16660208 | 12646333 |      719  45471 |        0 |        0
1062.54/1062.99	c 1062s |      27 | 16690936 | 12669033 |      719  45533 |        0 |        0
1064.55/1064.99	c 1064s |      27 | 16717657 | 12690233 |      719  45590 |        0 |        0
1066.54/1067.00	c 1066s |      27 | 16748664 | 12713633 |      719  45654 |        0 |        0
1068.64/1069.01	c 1068s |      27 | 16781265 | 12737033 |      719  45718 |        0 |        0
1070.64/1071.01	c 1071s |      27 | 16810828 | 12758933 |      719  45777 |        0 |        0
1072.64/1073.02	c 1073s |      27 | 16838836 | 12780733 |      719  45837 |        0 |        0
1074.64/1075.02	c 1075s |      27 | 16869640 | 12803633 |      719  45899 |        0 |        0
1076.64/1077.02	c 1077s |      27 | 16897686 | 12825433 |      719  45958 |        0 |        0
1078.64/1079.02	c 1079s |      27 | 16925695 | 12847133 |      719  46017 |        0 |        0
1080.64/1081.03	c 1081s |      27 | 16953976 | 12869333 |      719  46077 |        0 |        0
1082.63/1083.03	c 1083s |      27 | 16981628 | 12890933 |      719  46136 |        0 |        0
1084.63/1085.04	c 1085s |      27 | 17008668 | 12912633 |      719  46196 |        0 |        0
1086.63/1087.05	c 1087s |      27 | 17037554 | 12934733 |      719  46256 |        0 |        0
1088.64/1089.05	c 1089s |      27 | 17066531 | 12956733 |      719  46316 |        0 |        0
1090.63/1091.05	c 1091s |      27 | 17097225 | 12979333 |      719  46378 |        0 |        0
1092.63/1093.05	c 1093s |      27 | 17125035 | 13000633 |      719  46436 |        0 |        0
1094.63/1095.06	c 1095s |      27 | 17155016 | 13023133 |      719  46497 |        0 |        0
1096.63/1097.06	c 1097s |      27 | 17187007 | 13046733 |      719  46562 |        0 |        0
1098.64/1099.07	c 1099s |      27 | 17218437 | 13070233 |      719  46626 |        0 |        0
1100.63/1101.08	c 1101s |      27 | 17249996 | 13094033 |      719  46691 |        0 |        0
1102.63/1103.08	c 1103s |      27 | 17280155 | 13117133 |      719  46754 |        0 |        0
1104.63/1105.09	c 1105s |      27 | 17309005 | 13139133 |      719  46814 |        0 |        0
1106.63/1107.09	c 1107s |      27 | 17339230 | 13162233 |      719  46877 |        0 |        0
1108.63/1109.09	c 1109s |      27 | 17369848 | 13185433 |      719  46940 |        0 |        0
1110.64/1111.09	c 1111s |      27 | 17399824 | 13207933 |      719  47002 |        0 |        0
1112.63/1113.09	c 1113s |      27 | 17432528 | 13231233 |      719  47065 |        0 |        0
1114.63/1115.10	c 1115s |      27 | 17463318 | 13253933 |      719  47127 |        0 |        0
1116.73/1117.10	c 1117s |      27 | 17494628 | 13277133 |      719  47190 |        0 |        0
1118.73/1119.10	c 1119s |      27 | 17524722 | 13299933 |      719  47253 |        0 |        0
1120.73/1121.11	c 1121s |      27 | 17555273 | 13323233 |      719  47316 |        0 |        0
1122.73/1123.12	c 1123s |      27 | 17585124 | 13346233 |      719  47378 |        0 |        0
1124.73/1125.12	c 1125s |      27 | 17613915 | 13368733 |      719  47439 |        0 |        0
1126.72/1127.12	c 1127s |      27 | 17643150 | 13391033 |      719  47499 |        0 |        0
1128.73/1129.13	c 1129s |      27 | 17670420 | 13412633 |      719  47557 |        0 |        0
1130.73/1131.14	c 1131s |      27 | 17701146 | 13435633 |      719  47620 |        0 |        0
1132.74/1133.14	c 1133s |      27 | 17730668 | 13458333 |      719  47681 |        0 |        0
1134.73/1135.15	c 1135s |      27 | 17757516 | 13479633 |      719  47739 |        0 |        0
1136.73/1137.15	c 1137s |      27 | 17783667 | 13500433 |      719  47795 |        0 |        0
1138.73/1139.15	c 1139s |      27 | 17811922 | 13522533 |      719  47855 |        0 |        0
1140.73/1141.15	c 1141s |      27 | 17839326 | 13544033 |      719  47913 |        0 |        0
1142.73/1143.16	c 1143s |      27 | 17866919 | 13565533 |      719  47972 |        0 |        0
1144.73/1145.17	c 1145s |      27 | 17892745 | 13586133 |      719  48028 |        0 |        0
1146.73/1147.17	c 1147s |      27 | 17921390 | 13608333 |      719  48088 |        0 |        0
1148.73/1149.17	c 1149s |      27 | 17950495 | 13630833 |      719  48150 |        0 |        0
1150.73/1151.18	c 1151s |      27 | 17980101 | 13653533 |      719  48211 |        0 |        0
1152.72/1153.18	c 1153s |      27 | 18010945 | 13676733 |      719  48275 |        0 |        0
1154.73/1155.19	c 1155s |      27 | 18041012 | 13699933 |      719  48338 |        0 |        0
1156.72/1157.20	c 1157s |      27 | 18074864 | 13724133 |      719  48405 |        0 |        0
1158.82/1159.20	c 1159s |      27 | 18106727 | 13747333 |      719  48468 |        0 |        0
1160.82/1161.21	c 1161s |      27 | 18138085 | 13770533 |      719  48532 |        0 |        0
1162.82/1163.22	c 1163s |      27 | 18171205 | 13794433 |      719  48598 |        0 |        0
1164.82/1165.22	c 1165s |      27 | 18201101 | 13817233 |      719  48660 |        0 |        0
1166.83/1167.23	c 1167s |      27 | 18230280 | 13839633 |      719  48722 |        0 |        0
1168.82/1169.23	c 1169s |      27 | 18260623 | 13862033 |      719  48783 |        0 |        0
1170.82/1171.23	c 1171s |      27 | 18290990 | 13885333 |      719  48847 |        0 |        0
1172.82/1173.24	c 1173s |      27 | 18321123 | 13908633 |      719  48911 |        0 |        0
1174.82/1175.24	c 1175s |      27 | 18350746 | 13931033 |      719  48972 |        0 |        0
1176.82/1177.25	c 1177s |      27 | 18382969 | 13954633 |      719  49037 |        0 |        0
1178.82/1179.25	c 1179s |      27 | 18415652 | 13978233 |      719  49102 |        0 |        0
1180.82/1181.26	c 1181s |      27 | 18446247 | 14000933 |      719  49163 |        0 |        0
1182.82/1183.27	c 1183s |      27 | 18476035 | 14023633 |      719  49225 |        0 |        0
1184.82/1185.27	c 1185s |      27 | 18505138 | 14046333 |      719  49286 |        0 |        0
1186.82/1187.28	c 1187s |      27 | 18532838 | 14068033 |      719  49345 |        0 |        0
1188.83/1189.29	c 1189s |      27 | 18561894 | 14089833 |      719  49405 |        0 |        0
1190.82/1191.29	c 1191s |      27 | 18590901 | 14112033 |      719  49466 |        0 |        0
1192.92/1193.30	c 1193s |      27 | 18619619 | 14134233 |      719  49527 |        0 |        0
1194.92/1195.31	c 1195s |      27 | 18647445 | 14155733 |      719  49586 |        0 |        0
1196.92/1197.31	c 1197s |      27 | 18677931 | 14177733 |      719  49646 |        0 |        0
1198.92/1199.32	c 1199s |      27 | 18709893 | 14200933 |      719  49710 |        0 |        0
1200.93/1201.32	c 1201s |      27 | 18741205 | 14223833 |      719  49772 |        0 |        0
1202.92/1203.33	c 1203s |      27 | 18775510 | 14248233 |      719  49839 |        0 |        0
1204.92/1205.33	c 1205s |      27 | 18812205 | 14273233 |      719  49907 |        0 |        0
1206.92/1207.34	c 1207s |      27 | 18848071 | 14298133 |      719  49975 |        0 |        0
1208.92/1209.34	c 1209s |      27 | 18880693 | 14322133 |      719  50041 |        0 |        0
1210.92/1211.34	c 1211s |      27 | 18913124 | 14346033 |      719  50106 |        0 |        0
1212.92/1213.34	c 1213s |      27 | 18945943 | 14370633 |      719  50173 |        0 |        0
1214.91/1215.35	c 1215s |      27 | 18977011 | 14394133 |      719  50238 |        0 |        0
1216.91/1217.35	c 1217s |      27 | 19008031 | 14417633 |      719  50302 |        0 |        0
1218.91/1219.36	c 1219s |      27 | 19040223 | 14441433 |      719  50367 |        0 |        0
1220.91/1221.36	c 1221s |      27 | 19072274 | 14465833 |      719  50434 |        0 |        0
1222.92/1223.36	c 1223s |      27 | 19102784 | 14488933 |      719  50497 |        0 |        0
1224.91/1225.36	c 1225s |      27 | 19138028 | 14513633 |      719  50565 |        0 |        0
1226.91/1227.37	c 1227s |      27 | 19174295 | 14538633 |      719  50633 |        0 |        0
1228.91/1229.37	c 1229s |      27 | 19206519 | 14561633 |      719  50696 |        0 |        0
1230.91/1231.37	c 1231s |      27 | 19240235 | 14585633 |      719  50762 |        0 |        0
1232.92/1233.38	c 1233s |      27 | 19272898 | 14609233 |      719  50826 |        0 |        0
1234.92/1235.38	c 1235s |      27 | 19302479 | 14631933 |      719  50889 |        0 |        0
1236.91/1237.38	c 1237s |      27 | 19332138 | 14653833 |      719  50949 |        0 |        0
1238.91/1239.38	c 1239s |      27 | 19360933 | 14675533 |      719  51008 |        0 |        0
1240.91/1241.39	c 1241s |      27 | 19393330 | 14699333 |      719  51073 |        0 |        0
1242.91/1243.39	c 1243s |      27 | 19423438 | 14722533 |      719  51136 |        0 |        0
1245.01/1245.40	c 1245s |      27 | 19453072 | 14745133 |      719  51198 |        0 |        0
1247.02/1247.40	c 1247s |      27 | 19482584 | 14767433 |      719  51259 |        0 |        0
1249.01/1249.41	c 1249s |      27 | 19510127 | 14788933 |      719  51317 |        0 |        0
1251.01/1251.41	c 1251s |      27 | 19539322 | 14811133 |      719  51378 |        0 |        0
1253.01/1253.42	c 1253s |      27 | 19570269 | 14834433 |      719  51442 |        0 |        0
1255.01/1255.42	c 1255s |      27 | 19599567 | 14856933 |      719  51503 |        0 |        0
1257.02/1257.42	c 1257s |      27 | 19628538 | 14878933 |      719  51563 |        0 |        0
1259.01/1259.43	c 1259s |      27 | 19659823 | 14902133 |      719  51627 |        0 |        0
1261.01/1261.44	c 1261s |      27 | 19688941 | 14924333 |      719  51688 |        0 |        0
1263.01/1263.45	c 1263s |      27 | 19718393 | 14947033 |      719  51750 |        0 |        0
1265.01/1265.45	c 1265s |      27 | 19749604 | 14970233 |      719  51814 |        0 |        0
1267.01/1267.45	c 1267s |      27 | 19778664 | 14992633 |      719  51875 |        0 |        0
1269.01/1269.46	c 1269s |      27 | 19807858 | 15015133 |      719  51937 |        0 |        0
1271.01/1271.46	c 1271s |      27 | 19838449 | 15037833 |      719  51999 |        0 |        0
1273.01/1273.47	c 1273s |      27 | 19868618 | 15060233 |      719  52060 |        0 |        0
1275.00/1275.47	c 1275s |      27 | 19898246 | 15082633 |      719  52121 |        0 |        0
1277.00/1277.48	c 1277s |      27 | 19926663 | 15104733 |      719  52181 |        0 |        0
1279.01/1279.48	c 1279s |      27 | 19954652 | 15126733 |      719  52241 |        0 |        0
1281.00/1281.49	c 1281s |      27 | 19982641 | 15148333 |      719  52300 |        0 |        0
1283.00/1283.49	c 1283s |      27 | 20009853 | 15169533 |      719  52357 |        0 |        0
1285.00/1285.49	c 1285s |      27 | 20038471 | 15191533 |      719  52418 |        0 |        0
1287.11/1287.50	c 1287s |      27 | 20069673 | 15214833 |      719  52481 |        0 |        0
1289.11/1289.50	c 1289s |      27 | 20102955 | 15238333 |      719  52546 |        0 |        0
1291.11/1291.51	c 1291s |      27 | 20133431 | 15261133 |      719  52609 |        0 |        0
1293.11/1293.51	c 1293s |      27 | 20161548 | 15282733 |      719  52668 |        0 |        0
1295.11/1295.51	c 1295s |      27 | 20192027 | 15305233 |      719  52729 |        0 |        0
1297.10/1297.52	c 1297s |      27 | 20220895 | 15327533 |      719  52790 |        0 |        0
1299.10/1299.52	c 1299s |      27 | 20250807 | 15349633 |      719  52850 |        0 |        0
1301.10/1301.52	c 1301s |      27 | 20284445 | 15373333 |      719  52915 |        0 |        0
1303.11/1303.53	c 1303s |      27 | 20312401 | 15395033 |      719  52974 |        0 |        0
1305.10/1305.53	c 1305s |      27 | 20338904 | 15416333 |      719  53032 |        0 |        0
1307.10/1307.54	c 1307s |      27 | 20366361 | 15437633 |      719  53090 |        0 |        0
1309.10/1309.54	c 1309s |      27 | 20392600 | 15458733 |      719  53148 |        0 |        0
1311.10/1311.54	c 1311s |      27 | 20419613 | 15480233 |      719  53206 |        0 |        0
1313.10/1313.55	c 1313s |      27 | 20446846 | 15501533 |      719  53264 |        0 |        0
1315.10/1315.56	c 1315s |      27 | 20476274 | 15524033 |      719  53326 |        0 |        0
1317.10/1317.56	c 1317s |      27 | 20504915 | 15546233 |      719  53386 |        0 |        0
1319.10/1319.56	c 1319s |      27 | 20532807 | 15568233 |      719  53446 |        0 |        0
1321.10/1321.57	c 1321s |      27 | 20560287 | 15589533 |      719  53504 |        0 |        0
1323.10/1323.58	c 1323s |      27 | 20588889 | 15611333 |      719  53563 |        0 |        0
1325.11/1325.58	c 1325s |      27 | 20616613 | 15633033 |      719  53622 |        0 |        0
1327.10/1327.58	c 1327s |      27 | 20644126 | 15654433 |      719  53680 |        0 |        0
1329.10/1329.58	c 1329s |      27 | 20677591 | 15678233 |      719  53745 |        0 |        0
1331.10/1331.58	c 1331s |      27 | 20711523 | 15702433 |      719  53812 |        0 |        0
1333.10/1333.58	c 1333s |      27 | 20746090 | 15727333 |      719  53880 |        0 |        0
1335.10/1335.59	c 1335s |      27 | 20779641 | 15751833 |      719  53948 |        0 |        0
1337.10/1337.60	c 1337s |      27 | 20813715 | 15776233 |      719  54015 |        0 |        0
1339.19/1339.60	c 1339s |      27 | 20847627 | 15800233 |      719  54081 |        0 |        0
1341.19/1341.61	c 1341s |      27 | 20879696 | 15823833 |      719  54146 |        0 |        0
1343.19/1343.61	c 1343s |      27 | 20906099 | 15845033 |      719  54204 |        0 |        0
1345.19/1345.62	c 1345s |      27 | 20938475 | 15868533 |      719  54269 |        0 |        0
1347.20/1347.63	c 1347s |      27 | 20971416 | 15892333 |      719  54334 |        0 |        0
1349.19/1349.63	c 1349s |      27 | 21004110 | 15915933 |      719  54399 |        0 |        0
1351.19/1351.64	c 1351s |      27 | 21040313 | 15940933 |      719  54467 |        0 |        0
1353.19/1353.64	c 1353s |      27 | 21074073 | 15965333 |      719  54534 |        0 |        0
1355.19/1355.64	c 1355s |      27 | 21108865 | 15989933 |      719  54602 |        0 |        0
1357.20/1357.65	c 1357s |      27 | 21143281 | 16014733 |      719  54670 |        0 |        0
1359.20/1359.65	c 1359s |      27 | 21173136 | 16037333 |      719  54732 |        0 |        0
1361.20/1361.66	c 1361s |      27 | 21204635 | 16060433 |      719  54796 |        0 |        0
1363.19/1363.67	c 1363s |      27 | 21234407 | 16082533 |      719  54856 |        0 |        0
1365.19/1365.67	c 1365s |      27 | 21266118 | 16105733 |      719  54920 |        0 |        0
1367.19/1367.67	c 1367s |      27 | 21298088 | 16129033 |      719  54984 |        0 |        0
1369.20/1369.68	c 1369s |      27 | 21330183 | 16152133 |      719  55047 |        0 |        0
1371.19/1371.68	c 1371s |      27 | 21362161 | 16175433 |      719  55111 |        0 |        0
1373.19/1373.68	c 1373s |      27 | 21394254 | 16198533 |      719  55175 |        0 |        0
1375.19/1375.69	c 1375s |      27 | 21429569 | 16223133 |      719  55243 |        0 |        0
1377.19/1377.69	c 1377s |      27 | 21462374 | 16247033 |      719  55309 |        0 |        0
1379.29/1379.70	c 1379s |      27 | 21489152 | 16268333 |      719  55367 |        0 |        0
1381.20/1381.70	c 1381s |      27 | 21516796 | 16289633 |      719  55426 |        0 |        0
1383.29/1383.70	c 1383s |      27 | 21549018 | 16312833 |      719  55489 |        0 |        0
1385.29/1385.71	c 1385s |      27 | 21581509 | 16336233 |      719  55552 |        0 |        0
1387.29/1387.71	c 1387s |      27 | 21613832 | 16359733 |      719  55617 |        0 |        0
1389.29/1389.72	c 1389s |      27 | 21646342 | 16383333 |      719  55682 |        0 |        0
1391.29/1391.73	c 1391s |      27 | 21679733 | 16407433 |      719  55748 |        0 |        0
1393.29/1393.74	c 1393s |      27 | 21712883 | 16431633 |      719  55814 |        0 |        0
1395.28/1395.75	c 1395s |      27 | 21746200 | 16456033 |      719  55881 |        0 |        0
1397.28/1397.75	c 1397s |      27 | 21778601 | 16480133 |      719  55947 |        0 |        0
1399.28/1399.75	c 1399s |      27 | 21810469 | 16503333 |      719  56010 |        0 |        0
1401.28/1401.76	c 1401s |      27 | 21841050 | 16525633 |      719  56071 |        0 |        0
1403.29/1403.76	c 1403s |      27 | 21874125 | 16549833 |      719  56138 |        0 |        0
1405.28/1405.76	c 1405s |      27 | 21904888 | 16573333 |      719  56203 |        0 |        0
1407.29/1407.77	c 1407s |      27 | 21940720 | 16598533 |      719  56272 |        0 |        0
1409.29/1409.77	c 1409s |      27 | 21973494 | 16622533 |      719  56337 |        0 |        0
1411.29/1411.77	c 1411s |      27 | 22005949 | 16646233 |      719  56402 |        0 |        0
1413.29/1413.78	c 1413s |      27 | 22038549 | 16670033 |      719  56468 |        0 |        0
1415.29/1415.78	c 1415s |      27 | 22069037 | 16693233 |      719  56531 |        0 |        0
1417.28/1417.79	c 1417s |      27 | 22099277 | 16716333 |      719  56595 |        0 |        0
1419.28/1419.79	c 1419s |      27 | 22133053 | 16740733 |      719  56662 |        0 |        0
1421.28/1421.79	c 1421s |      27 | 22161756 | 16763033 |      719  56723 |        0 |        0
1423.38/1423.80	c 1423s |      27 | 22192350 | 16785833 |      719  56786 |        0 |        0
1425.38/1425.80	c 1425s |      27 | 22225592 | 16809933 |      719  56852 |        0 |        0
1427.39/1427.81	c 1427s |      27 | 22259528 | 16834433 |      719  56919 |        0 |        0
1429.38/1429.82	c 1429s |      27 | 22291596 | 16858233 |      719  56985 |        0 |        0
1431.38/1431.82	c 1431s |      27 | 22326960 | 16883533 |      719  57054 |        0 |        0
1433.38/1433.83	c 1433s |      27 | 22362736 | 16908633 |      719  57123 |        0 |        0
1435.38/1435.83	c 1435s |      27 | 22395616 | 16932333 |      719  57188 |        0 |        0
1437.38/1437.83	c 1437s |      27 | 22430747 | 16956733 |      719  57255 |        0 |        0
1439.38/1439.84	c 1439s |      27 | 22466993 | 16981733 |      791  57321 |        0 |        0
1441.38/1441.84	c 1441s |      27 | 22503001 | 17006133 |      791  57383 |        0 |        0
1443.38/1443.85	c 1443s |      27 | 22537436 | 17030533 |      791  57444 |        0 |        0
1445.38/1445.85	c 1445s |      27 | 22570363 | 17054433 |      791  57504 |        0 |        0
1447.38/1447.85	c 1447s |      27 | 22602053 | 17077733 |      791  57562 |        0 |        0
1448.88/1449.37	c 1449s |      28 | 22626269 | 17095205 |      791  57606 |        0 |        0
1450.88/1451.37	c 1451s |      28 | 22655065 | 17117105 |      791  57659 |        0 |        0
1452.88/1453.38	c 1453s |      28 | 22684019 | 17139205 |      791  57714 |        0 |        0
1454.88/1455.39	c 1455s |      28 | 22717950 | 17163305 |      791  57774 |        0 |        0
1456.87/1457.39	c 1457s |      28 | 22751153 | 17186905 |      791  57832 |        0 |        0
1458.87/1459.39	c 1459s |      28 | 22778547 | 17208505 |      791  57886 |        0 |        0
1460.87/1461.39	c 1461s |      28 | 22808945 | 17231205 |      791  57942 |        0 |        0
1462.97/1463.40	c 1463s |      28 | 22839416 | 17253905 |      791  57998 |        0 |        0
1464.98/1465.41	c 1465s |      28 | 22871745 | 17277105 |      791  58055 |        0 |        0
1466.99/1467.41	c 1467s |      28 | 22905191 | 17300905 |      791  58114 |        0 |        0
1468.98/1469.41	c 1469s |      28 | 22937055 | 17324605 |      791  58173 |        0 |        0
1470.98/1471.42	c 1471s |      28 | 22969476 | 17348205 |      791  58231 |        0 |        0
1472.98/1473.42	c 1473s |      28 | 23001195 | 17371305 |      791  58289 |        0 |        0
1474.98/1475.42	c 1475s |      28 | 23034342 | 17395105 |      791  58348 |        0 |        0
1476.98/1477.43	c 1477s |      28 | 23064727 | 17417805 |      791  58404 |        0 |        0
1478.97/1479.43	c 1479s |      28 | 23093635 | 17440105 |      791  58460 |        0 |        0
1480.97/1481.43	c 1481s |      28 | 23126654 | 17463505 |      791  58518 |        0 |        0
1482.97/1483.44	c 1483s |      28 | 23158668 | 17486605 |      791  58575 |        0 |        0
1484.97/1485.44	c 1485s |      28 | 23188006 | 17508505 |      791  58630 |        0 |        0
1486.97/1487.45	c 1487s |      28 | 23216821 | 17530405 |      791  58684 |        0 |        0
1488.98/1489.45	c 1489s |      28 | 23245877 | 17552605 |      791  58739 |        0 |        0
1490.97/1491.46	c 1491s |      28 | 23275806 | 17574105 |      791  58793 |        0 |        0
1492.97/1493.46	c 1493s |      28 | 23304742 | 17596405 |      791  58848 |        0 |        0
1494.97/1495.47	c 1495s |      28 | 23334896 | 17618905 |      791  58904 |        0 |        0
1496.98/1497.47	c 1497s |      28 | 23365220 | 17641705 |      791  58961 |        0 |        0
1498.98/1499.48	c 1499s |      28 | 23395042 | 17663905 |      791  59017 |        0 |        0
1500.97/1501.48	c 1501s |      28 | 23424828 | 17685905 |      791  59071 |        0 |        0
1502.97/1503.49	c 1503s |      28 | 23454507 | 17708105 |      791  59126 |        0 |        0
1504.97/1505.49	c 1505s |      28 | 23483653 | 17730105 |      791  59181 |        0 |        0
1506.97/1507.49	c 1507s |      28 | 23515763 | 17753705 |      791  59239 |        0 |        0
1508.97/1509.49	c 1509s |      28 | 23545841 | 17776105 |      791  59295 |        0 |        0
1510.97/1511.50	c 1511s |      28 | 23571359 | 17796305 |      791  59345 |        0 |        0
1513.07/1513.51	c 1513s |      28 | 23597169 | 17817005 |      791  59396 |        0 |        0
1515.07/1515.51	c 1515s |      28 | 23622261 | 17837405 |      791  59446 |        0 |        0
1517.07/1517.52	c 1517s |      28 | 23650258 | 17858805 |      791  59499 |        0 |        0
1519.07/1519.52	c 1519s |      28 | 23678391 | 17880105 |      791  59552 |        0 |        0
1521.07/1521.53	c 1521s |      28 | 23706376 | 17901305 |      791  59604 |        0 |        0
1523.07/1523.53	c 1523s |      28 | 23734212 | 17922405 |      791  59656 |        0 |        0
1525.06/1525.54	c 1525s |      28 | 23761548 | 17943505 |      791  59709 |        0 |        0
1527.06/1527.54	c 1527s |      28 | 23790422 | 17965005 |      791  59762 |        0 |        0
1529.07/1529.54	c 1529s |      28 | 23817546 | 17985805 |      791  59813 |        0 |        0
1531.07/1531.55	c 1531s |      28 | 23846593 | 18007905 |      791  59868 |        0 |        0
1533.07/1533.55	c 1533s |      28 | 23876547 | 18030205 |      791  59924 |        0 |        0
1535.07/1535.56	c 1535s |      28 | 23907501 | 18052705 |      791  59980 |        0 |        0
1537.07/1537.56	c 1537s |      28 | 23936490 | 18074705 |      791  60034 |        0 |        0
1539.07/1539.57	c 1539s |      28 | 23963267 | 18095205 |      791  60085 |        0 |        0
1541.07/1541.57	c 1541s |      28 | 23991008 | 18116205 |      791  60137 |        0 |        0
1543.07/1543.57	c 1543s |      28 | 24021232 | 18138805 |      791  60193 |        0 |        0
1545.07/1545.58	c 1545s |      28 | 24050914 | 18160905 |      791  60248 |        0 |        0
1547.06/1547.58	c 1547s |      28 | 24078029 | 18182105 |      791  60301 |        0 |        0
1549.06/1549.59	c 1549s |      28 | 24108167 | 18204305 |      791  60356 |        0 |        0
1551.06/1551.59	c 1551s |      28 | 24139485 | 18226705 |      791  60412 |        0 |        0
1553.06/1553.59	c 1553s |      28 | 24169382 | 18248905 |      791  60467 |        0 |        0
1555.16/1555.60	c 1555s |      28 | 24195453 | 18269805 |      791  60519 |        0 |        0
1557.17/1557.60	c 1557s |      28 | 24223981 | 18291505 |      791  60572 |        0 |        0
1559.16/1559.61	c 1559s |      28 | 24250467 | 18312705 |      791  60625 |        0 |        0
1561.16/1561.61	c 1561s |      28 | 24276926 | 18333605 |      791  60677 |        0 |        0
1563.16/1563.62	c 1563s |      28 | 24302631 | 18354305 |      791  60728 |        0 |        0
1565.16/1565.62	c 1565s |      28 | 24329245 | 18375405 |      791  60781 |        0 |        0
1567.16/1567.63	c 1567s |      28 | 24358381 | 18397705 |      791  60836 |        0 |        0
1569.16/1569.63	c 1569s |      28 | 24386978 | 18419805 |      791  60892 |        0 |        0
1571.16/1571.63	c 1571s |      28 | 24413461 | 18440905 |      791  60944 |        0 |        0
1573.16/1573.63	c 1573s |      28 | 24442279 | 18463005 |      791  60998 |        0 |        0
1575.16/1575.64	c 1575s |      28 | 24470053 | 18484805 |      791  61051 |        0 |        0
1577.16/1577.64	c 1577s |      28 | 24498909 | 18506905 |      791  61106 |        0 |        0
1579.17/1579.64	c 1579s |      28 | 24527500 | 18528705 |      791  61160 |        0 |        0
1581.16/1581.65	c 1581s |      28 | 24556551 | 18551005 |      791  61215 |        0 |        0
1583.16/1583.65	c 1583s |      28 | 24586150 | 18573405 |      791  61271 |        0 |        0
1585.16/1585.65	c 1585s |      28 | 24613798 | 18595405 |      791  61325 |        0 |        0
1587.16/1587.66	c 1587s |      28 | 24639901 | 18616105 |      791  61376 |        0 |        0
1589.16/1589.67	c 1589s |      28 | 24666361 | 18637305 |      791  61428 |        0 |        0
1591.16/1591.67	c 1591s |      28 | 24691703 | 18658005 |      791  61480 |        0 |        0
1593.15/1593.68	c 1593s |      28 | 24718659 | 18679405 |      791  61533 |        0 |        0
1595.16/1595.68	c 1595s |      28 | 24747320 | 18701505 |      791  61587 |        0 |        0
1597.15/1597.69	c 1597s |      28 | 24774052 | 18722305 |      791  61638 |        0 |        0
1599.15/1599.69	c 1599s |      28 | 24803376 | 18744505 |      791  61694 |        0 |        0
1601.16/1601.70	c 1601s |      28 | 24830296 | 18765705 |      791  61746 |        0 |        0
1603.25/1603.71	c 1603s |      28 | 24857624 | 18786905 |      791  61798 |        0 |        0
1605.25/1605.71	c 1605s |      28 | 24885037 | 18808205 |      791  61851 |        0 |        0
1607.25/1607.72	c 1607s |      28 | 24912443 | 18829505 |      791  61904 |        0 |        0
1609.25/1609.72	c 1609s |      28 | 24943158 | 18852505 |      791  61961 |        0 |        0
1611.25/1611.72	c 1611s |      28 | 24973286 | 18875105 |      791  62017 |        0 |        0
1613.26/1613.73	c 1613s |      28 | 25001675 | 18896605 |      791  62071 |        0 |        0
1615.26/1615.74	c 1615s |      28 | 25031455 | 18918905 |      791  62126 |        0 |        0
1617.26/1617.74	c 1617s |      28 | 25059169 | 18940405 |      791  62179 |        0 |        0
1619.25/1619.75	c 1619s |      28 | 25085671 | 18961005 |      791  62230 |        0 |        0
1621.25/1621.75	c 1621s |      28 | 25113678 | 18982105 |      791  62283 |        0 |        0
1623.26/1623.75	c 1623s |      28 | 25143345 | 19004505 |      791  62338 |        0 |        0
1625.25/1625.76	c 1625s |      28 | 25173704 | 19028105 |      791  62396 |        0 |        0
1627.25/1627.76	c 1627s |      28 | 25202082 | 19050305 |      791  62451 |        0 |        0
1629.25/1629.76	c 1629s |      28 | 25230441 | 19072005 |      791  62505 |        0 |        0
1631.25/1631.76	c 1631s |      28 | 25254968 | 19092105 |      791  62555 |        0 |        0
1633.25/1633.77	c 1633s |      28 | 25282445 | 19114005 |      791  62609 |        0 |        0
1635.26/1635.78	c 1635s |      28 | 25308500 | 19134805 |      791  62661 |        0 |        0
1637.25/1637.78	c 1637s |      28 | 25336918 | 19156505 |      791  62714 |        0 |        0
1639.25/1639.79	c 1639s |      28 | 25363881 | 19177705 |      791  62766 |        0 |        0
1641.25/1641.79	c 1641s |      28 | 25392202 | 19198905 |      791  62819 |        0 |        0
1643.25/1643.80	c 1643s |      28 | 25420250 | 19220605 |      791  62873 |        0 |        0
1645.35/1645.80	c 1645s |      28 | 25445876 | 19241505 |      791  62925 |        0 |        0
1647.35/1647.80	c 1647s |      28 | 25473219 | 19262805 |      791  62978 |        0 |        0
1649.35/1649.81	c 1649s |      28 | 25500420 | 19283605 |      791  63030 |        0 |        0
1651.34/1651.82	c 1651s |      28 | 25526038 | 19304205 |      791  63081 |        0 |        0
1653.34/1653.82	c 1653s |      28 | 25554162 | 19325805 |      791  63134 |        0 |        0
1655.34/1655.83	c 1655s |      28 | 25581849 | 19347305 |      791  63187 |        0 |        0
1657.35/1657.84	c 1657s |      28 | 25607527 | 19367705 |      791  63238 |        0 |        0
1659.35/1659.84	c 1659s |      28 | 25637632 | 19389905 |      791  63293 |        0 |        0
1661.35/1661.84	c 1661s |      28 | 25663767 | 19410305 |      791  63344 |        0 |        0
1663.35/1663.85	c 1663s |      28 | 25694195 | 19433005 |      791  63400 |        0 |        0
1665.35/1665.85	c 1665s |      28 | 25724580 | 19456005 |      791  63457 |        0 |        0
1667.35/1667.86	c 1667s |      28 | 25754289 | 19478605 |      791  63513 |        0 |        0
1669.35/1669.87	c 1669s |      28 | 25785592 | 19501805 |      791  63571 |        0 |        0
1671.35/1671.87	c 1671s |      28 | 25815348 | 19524005 |      791  63626 |        0 |        0
1673.34/1673.88	c 1673s |      28 | 25842558 | 19545405 |      791  63680 |        0 |        0
1675.34/1675.88	c 1675s |      28 | 25872215 | 19567905 |      791  63736 |        0 |        0
1677.34/1677.88	c 1677s |      28 | 25903127 | 19591205 |      791  63794 |        0 |        0
1679.35/1679.89	c 1679s |      28 | 25935879 | 19615105 |      791  63854 |        0 |        0
1681.34/1681.90	c 1681s |      28 | 25969047 | 19638905 |      791  63913 |        0 |        0
1683.44/1683.90	c 1683s |      28 | 26004002 | 19663005 |      791  63973 |        0 |        0
1685.44/1685.90	c 1685s |      28 | 26033400 | 19685305 |      791  64029 |        0 |        0
1687.44/1687.91	c 1687s |      28 | 26060504 | 19706805 |      791  64082 |        0 |        0
1689.44/1689.91	c 1689s |      28 | 26089749 | 19729105 |      791  64138 |        0 |        0
1691.44/1691.92	c 1691s |      28 | 26118680 | 19751205 |      791  64193 |        0 |        0
1693.45/1693.92	c 1693s |      28 | 26147981 | 19773405 |      791  64249 |        0 |        0
1695.44/1695.93	c 1695s |      28 | 26175669 | 19794405 |      791  64301 |        0 |        0
1697.44/1697.93	c 1697s |      28 | 26206199 | 19816905 |      791  64357 |        0 |        0
1699.44/1699.94	c 1699s |      28 | 26234910 | 19838605 |      791  64411 |        0 |        0
1701.44/1701.94	c 1701s |      28 | 26263484 | 19860305 |      791  64465 |        0 |        0
1703.45/1703.95	c 1703s |      28 | 26290794 | 19882005 |      791  64519 |        0 |        0
1705.44/1705.95	c 1705s |      28 | 26317185 | 19902805 |      791  64570 |        0 |        0
1707.44/1707.95	c 1707s |      28 | 26342645 | 19923005 |      791  64620 |        0 |        0
1709.44/1709.96	c 1709s |      28 | 26367039 | 19942305 |      791  64668 |        0 |        0
1711.44/1711.96	c 1711s |      28 | 26393807 | 19962705 |      791  64718 |        0 |        0
1713.44/1713.97	c 1713s |      28 | 26420186 | 19983405 |      791  64770 |        0 |        0
1715.44/1715.98	c 1715s |      28 | 26444765 | 20003305 |      791  64819 |        0 |        0
1717.44/1717.98	c 1717s |      28 | 26469765 | 20024005 |      791  64870 |        0 |        0
1719.43/1719.98	c 1719s |      28 | 26497699 | 20045805 |      791  64924 |        0 |        0
1721.43/1721.99	c 1721s |      28 | 26525308 | 20067305 |      791  64977 |        0 |        0
1723.43/1723.99	c 1723s |      28 | 26552122 | 20088205 |      791  65029 |        0 |        0
1725.44/1726.00	c 1725s |      28 | 26578149 | 20108805 |      791  65081 |        0 |        0
1727.54/1728.00	c 1727s |      28 | 26603018 | 20128505 |      791  65129 |        0 |        0
1729.54/1730.01	c 1730s |      28 | 26628379 | 20149005 |      791  65180 |        0 |        0
1731.54/1732.01	c 1732s |      28 | 26655748 | 20170105 |      791  65233 |        0 |        0
1733.54/1734.02	c 1734s |      28 | 26683630 | 20190905 |      791  65284 |        0 |        0
1735.54/1736.02	c 1736s |      28 | 26713593 | 20213005 |      791  65339 |        0 |        0
1737.54/1738.03	c 1738s |      28 | 26743170 | 20235305 |      791  65394 |        0 |        0
1739.53/1740.03	c 1740s |      28 | 26768813 | 20256005 |      791  65446 |        0 |        0
1741.53/1742.04	c 1742s |      28 | 26796310 | 20277505 |      791  65499 |        0 |        0
1743.53/1744.05	c 1744s |      28 | 26821981 | 20298405 |      791  65550 |        0 |        0
1745.53/1746.06	c 1746s |      28 | 26850492 | 20320105 |      791  65604 |        0 |        0
1747.54/1748.06	c 1748s |      28 | 26880052 | 20342805 |      791  65660 |        0 |        0
1749.53/1750.07	c 1750s |      28 | 26907976 | 20364405 |      791  65714 |        0 |        0
1751.53/1752.07	c 1752s |      28 | 26935200 | 20385705 |      791  65767 |        0 |        0
1753.53/1754.08	c 1754s |      28 | 26965726 | 20408805 |      791  65824 |        0 |        0
1755.53/1756.08	c 1756s |      28 | 26990642 | 20429205 |      791  65875 |        0 |        0
1757.53/1758.09	c 1758s |      28 | 27020910 | 20452005 |      791  65932 |        0 |        0
1759.53/1760.09	c 1760s |      28 | 27055817 | 20476505 |      791  65994 |        0 |        0
1761.53/1762.09	c 1762s |      28 | 27089968 | 20500205 |      791  66053 |        0 |        0
1763.64/1764.10	c 1764s |      28 | 27124855 | 20525105 |      791  66115 |        0 |        0
1765.63/1766.11	c 1766s |      28 | 27157085 | 20549205 |      791  66175 |        0 |        0
1767.64/1768.11	c 1768s |      28 | 27187165 | 20572605 |      791  66234 |        0 |        0
1769.64/1770.12	c 1770s |      28 | 27215650 | 20595305 |      791  66290 |        0 |        0
1771.64/1772.12	c 1772s |      28 | 27248709 | 20619105 |      791  66350 |        0 |        0
1773.63/1774.12	c 1774s |      28 | 27279616 | 20642405 |      791  66408 |        0 |        0
1775.63/1776.12	c 1776s |      28 | 27308193 | 20664905 |      791  66464 |        0 |        0
1777.63/1778.13	c 1778s |      28 | 27336887 | 20687205 |      791  66519 |        0 |        0
1779.63/1780.13	c 1780s |      28 | 27370469 | 20711305 |      791  66579 |        0 |        0
1781.64/1782.14	c 1782s |      28 | 27402068 | 20735005 |      791  66638 |        0 |        0
1783.63/1784.14	c 1784s |      28 | 27434822 | 20759005 |      791  66698 |        0 |        0
1785.63/1786.15	c 1786s |      28 | 27469378 | 20783205 |      791  66759 |        0 |        0
1787.63/1788.15	c 1788s |      28 | 27498308 | 20805905 |      791  66815 |        0 |        0
1789.63/1790.15	c 1790s |      28 | 27526078 | 20828005 |      791  66870 |        0 |        0
1791.63/1792.16	c 1792s |      28 | 27553632 | 20850205 |      791  66925 |        0 |        0
1793.63/1794.16	c 1794s |      28 | 27579661 | 20871905 |      791  66980 |        0 |        0
1795.63/1796.17	c 1796s |      28 | 27607175 | 20894205 |      791  67035 |        0 |        0
1797.62/1798.18	c 1798s |      28 | 27634349 | 20915805 |      791  67089 |        0 |        0
1799.62/1800.18	c 1800s |      28 | 27660483 | 20936605 |      791  67140 |        0 |        0

ERROR: no interpretation found !

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4096043-1466101635/watcher-4096043-1466101635 -o /tmp/evaluation-result-4096043-1466101635/solver-4096043-1466101635 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466095897-23943 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096043-1466101635.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 24648
/proc/meminfo: memFree=30752192/32872528 swapFree=162364/176672
[pid=24648] ppid=24645 vsize=694852 CPUtime=0 cores=1,3,5,7
/proc/24648/stat : 24648 (toysat) R 24645 24648 23926 0 -1 4202496 2589 0 0 0 0 0 0 0 20 0 4 0 12213453 711528448 3460 33554432000 4194304 16246674 140736495068016 140736495067440 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24648/statm: 174481 3468 442 2943 0 171375 0
[pid=24648/tid=24649] ppid=24645 vsize=713284 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24649/stat : 24649 (toysat) S 24645 24648 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12213453 730402816 3530 33554432000 4194304 16246674 140736495068016 140311833586928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24648/tid=24650] ppid=24645 vsize=717380 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24650/stat : 24650 (toysat) S 24645 24648 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12213453 734597120 3548 33554432000 4194304 16246674 140736495068016 140311749700848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24648/tid=24651] ppid=24645 vsize=721476 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24651/stat : 24651 (toysat) S 24645 24648 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12213453 738791424 3564 33554432000 4194304 16246674 140736495068016 140311739227312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 24648
/proc/meminfo: memFree=30752192/32872528 swapFree=162364/176672
[pid=24648] ppid=24645 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/24648/stat : 24648 (toysat) R 24645 24648 23926 0 -1 4202496 24813 0 0 0 6 2 0 0 20 0 4 0 12213453 1247350784 25674 33554432000 4194304 16246674 140736495068016 140736495067440 6836566 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24648/statm: 304529 25684 709 2943 0 301423 0
[pid=24648/tid=24649] ppid=24645 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24649/stat : 24649 (toysat) S 24645 24648 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12213453 1247350784 25691 33554432000 4194304 16246674 140736495068016 140311833586928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24648/tid=24650] ppid=24645 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24650/stat : 24650 (toysat) S 24645 24648 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12213453 1247350784 25697 33554432000 4194304 16246674 140736495068016 140311749700848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24648/tid=24651] ppid=24645 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24651/stat : 24651 (toysat) S 24645 24648 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12213453 1247350784 25704 33554432000 4194304 16246674 140736495068016 140311739227312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200614 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 24648
/proc/meminfo: memFree=30752192/32872528 swapFree=162364/176672
[pid=24648] ppid=24645 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/24648/stat : 24648 (toysat) R 24645 24648 23926 0 -1 4202496 47892 0 0 0 14 5 0 0 20 0 4 0 12213453 1247350784 48752 33554432000 4194304 16246674 140736495068016 140736495049920 6842729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24648/statm: 304529 48761 709 2943 0 301423 0
[pid=24648/tid=24649] ppid=24645 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24649/stat : 24649 (toysat) S 24645 24648 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12213453 1247350784 48769 33554432000 4194304 16246674 140736495068016 140311833586928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24648/tid=24650] ppid=24645 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24650/stat : 24650 (toysat) S 24645 24648 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12213453 1247350784 48774 33554432000 4194304 16246674 140736495068016 140311749700848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24648/tid=24651] ppid=24645 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24651/stat : 24651 (toysat) S 24645 24648 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12213453 1247350784 48780 33554432000 4194304 16246674 140736495068016 140311739227312 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.300432 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 24648
/proc/meminfo: memFree=30752192/32872528 swapFree=162364/176672
[pid=24648] ppid=24645 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/24648/stat : 24648 (toysat) R 24645 24648 23926 0 -1 4202496 70510 0 0 0 21 8 0 0 20 0 4 0 12213453 1247350784 71370 33554432000 4194304 16246674 140736495068016 140736495049920 13198569 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24648/statm: 304529 71379 709 2943 0 301423 0
[pid=24648/tid=24649] ppid=24645 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24649/stat : 24649 (toysat) S 24645 24648 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12213453 1247350784 71387 33554432000 4194304 16246674 140736495068016 140311833586928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24648/tid=24650] ppid=24645 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24650/stat : 24650 (toysat) S 24645 24648 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12213453 1247350784 71397 33554432000 4194304 16246674 140736495068016 140311749700848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24648/tid=24651] ppid=24645 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24651/stat : 24651 (toysat) S 24645 24648 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12213453 1247350784 71402 33554432000 4194304 16246674 140736495068016 140311739227312 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.70042 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 24648
/proc/meminfo: memFree=30752192/32872528 swapFree=162364/176672
[pid=24648] ppid=24645 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/24648/stat : 24648 (toysat) R 24645 24648 23926 0 -1 4202496 163200 0 0 0 47 22 0 0 20 0 4 0 12213453 1247350784 164060 33554432000 4194304 16246674 140736495068016 140736495049920 13954410 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24648/statm: 304529 164069 709 2943 0 301423 0
[pid=24648/tid=24649] ppid=24645 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24649/stat : 24649 (toysat) S 24645 24648 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12213453 1247350784 164075 33554432000 4194304 16246674 140736495068016 140311833586928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24648/tid=24650] ppid=24645 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24650/stat : 24650 (toysat) S 24645 24648 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12213453 1247350784 164084 33554432000 4194304 16246674 140736495068016 140311749700848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24648/tid=24651] ppid=24645 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24651/stat : 24651 (toysat) S 24645 24648 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12213453 1247350784 164090 33554432000 4194304 16246674 140736495068016 140311739227312 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.50043 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 24652
/proc/meminfo: memFree=29767984/32872528 swapFree=162364/176672
[pid=24648] ppid=24645 vsize=1218116 CPUtime=1.49 cores=1,3,5,7
/proc/24648/stat : 24648 (toysat) R 24645 24648 23926 0 -1 4202496 245457 0 0 0 116 33 0 0 20 0 4 0 12213453 1247350784 246297 33554432000 4194304 16246674 140736495068016 140736495049920 12470699 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24648/statm: 304529 246297 784 2943 0 301423 0
[pid=24648/tid=24649] ppid=24645 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24649/stat : 24649 (toysat) S 24645 24648 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12213453 1247350784 246297 33554432000 4194304 16246674 140736495068016 140311833586928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24648/tid=24650] ppid=24645 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24650/stat : 24650 (toysat) S 24645 24648 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12213453 1247350784 246297 33554432000 4194304 16246674 140736495068016 140311749700848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24648/tid=24651] ppid=24645 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24651/stat : 24651 (toysat) S 24645 24648 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12213453 1247350784 246297 33554432000 4194304 16246674 140736495068016 140311739227312 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) 1218116

[startup+3.10042 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 24652
/proc/meminfo: memFree=29679936/32872528 swapFree=162364/176672
[pid=24648] ppid=24645 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/24648/stat : 24648 (toysat) R 24645 24648 23926 0 -1 4202496 267392 0 0 0 272 37 0 0 20 0 4 0 12213453 1337528320 268232 33554432000 4194304 16246674 140736495068016 140736495049920 5722592 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24648/statm: 326545 268232 784 2943 0 323439 0
[pid=24648/tid=24649] ppid=24645 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24649/stat : 24649 (toysat) S 24645 24648 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12213453 1337528320 268232 33554432000 4194304 16246674 140736495068016 140311833586928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24648/tid=24650] ppid=24645 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24650/stat : 24650 (toysat) S 24645 24648 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12213453 1337528320 268232 33554432000 4194304 16246674 140736495068016 140311749700848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24648/tid=24651] ppid=24645 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24651/stat : 24651 (toysat) S 24645 24648 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12213453 1337528320 268232 33554432000 4194304 16246674 140736495068016 140311739227312 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.30041 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 24652
/proc/meminfo: memFree=29679320/32872528 swapFree=162364/176672
[pid=24648] ppid=24645 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/24648/stat : 24648 (toysat) R 24645 24648 23926 0 -1 4202496 267392 0 0 0 592 37 0 0 20 0 4 0 12213453 1337528320 268232 33554432000 4194304 16246674 140736495068016 140736495051016 13943668 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24648/statm: 326545 268232 784 2943 0 323439 0
[pid=24648/tid=24649] ppid=24645 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24649/stat : 24649 (toysat) S 24645 24648 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12213453 1337528320 268232 33554432000 4194304 16246674 140736495068016 140311833586928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24648/tid=24650] ppid=24645 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24650/stat : 24650 (toysat) S 24645 24648 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12213453 1337528320 268232 33554432000 4194304 16246674 140736495068016 140311749700848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24648/tid=24651] ppid=24645 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24651/stat : 24651 (toysat) S 24645 24648 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12213453 1337528320 268232 33554432000 4194304 16246674 140736495068016 140311739227312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.10 2.04 2.01 4/183 24652
/proc/meminfo: memFree=29679460/32872528 swapFree=162364/176672
[pid=24648] ppid=24645 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/24648/stat : 24648 (toysat) R 24645 24648 23926 0 -1 4202496 267410 0 0 0 1232 37 0 0 20 0 4 0 12213453 1337528320 268250 33554432000 4194304 16246674 140736495068016 140736495049920 12477861 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24648/statm: 326545 268250 786 2943 0 323439 0
[pid=24648/tid=24649] ppid=24645 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24649/stat : 24649 (toysat) S 24645 24648 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12213453 1337528320 268250 33554432000 4194304 16246674 140736495068016 140311833586928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24648/tid=24650] ppid=24645 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24650/stat : 24650 (toysat) S 24645 24648 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12213453 1337528320 268250 33554432000 4194304 16246674 140736495068016 140311749700848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24648/tid=24651] ppid=24645 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24651/stat : 24651 (toysat) S 24645 24648 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12213453 1337528320 268250 33554432000 4194304 16246674 140736495068016 140311739227312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.07 2.04 2.00 3/183 24652
/proc/meminfo: memFree=29679816/32872528 swapFree=162364/176672
[pid=24648] ppid=24645 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/24648/stat : 24648 (toysat) R 24645 24648 23926 0 -1 4202496 267415 0 0 0 2511 38 0 0 20 0 4 0 12213453 1337528320 268255 33554432000 4194304 16246674 140736495068016 140736495051016 5823258 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24648/statm: 326545 268255 786 2943 0 323439 0
[pid=24648/tid=24649] ppid=24645 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24649/stat : 24649 (toysat) S 24645 24648 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12213453 1337528320 268255 33554432000 4194304 16246674 140736495068016 140311833586928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24648/tid=24650] ppid=24645 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24650/stat : 24650 (toysat) S 24645 24648 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12213453 1337528320 268255 33554432000 4194304 16246674 140736495068016 140311749700848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24648/tid=24651] ppid=24645 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24651/stat : 24651 (toysat) S 24645 24648 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12213453 1337528320 268255 33554432000 4194304 16246674 140736495068016 140311739227312 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: 2.05 2.04 2.00 3/183 24653
/proc/meminfo: memFree=29679288/32872528 swapFree=162364/176672
[pid=24648] ppid=24645 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/24648/stat : 24648 (toysat) R 24645 24648 23926 0 -1 4202496 267419 0 0 0 5069 39 0 0 20 0 4 0 12213453 1337528320 268259 33554432000 4194304 16246674 140736495068016 140736495049920 6012046 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24648/statm: 326545 268259 786 2943 0 323439 0
[pid=24648/tid=24649] ppid=24645 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24649/stat : 24649 (toysat) S 24645 24648 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12213453 1337528320 268259 33554432000 4194304 16246674 140736495068016 140311833586928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24648/tid=24650] ppid=24645 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24650/stat : 24650 (toysat) S 24645 24648 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12213453 1337528320 268259 33554432000 4194304 16246674 140736495068016 140311749700848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24648/tid=24651] ppid=24645 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24651/stat : 24651 (toysat) S 24645 24648 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12213453 1337528320 268259 33554432000 4194304 16246674 140736495068016 140311739227312 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) 1306180

[startup+102.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 24654
/proc/meminfo: memFree=29678936/32872528 swapFree=162364/176672
[pid=24648] ppid=24645 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/24648/stat : 24648 (toysat) R 24645 24648 23926 0 -1 4202496 267423 0 0 0 10188 40 0 0 20 0 4 0 12213453 1337528320 268263 33554432000 4194304 16246674 140736495068016 140736495051016 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24648/statm: 326545 268263 787 2943 0 323439 0
[pid=24648/tid=24649] ppid=24645 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24649/stat : 24649 (toysat) S 24645 24648 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12213453 1337528320 268263 33554432000 4194304 16246674 140736495068016 140311833586928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24648/tid=24650] ppid=24645 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24650/stat : 24650 (toysat) S 24645 24648 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12213453 1337528320 268263 33554432000 4194304 16246674 140736495068016 140311749700848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24648/tid=24651] ppid=24645 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24651/stat : 24651 (toysat) S 24645 24648 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12213453 1337528320 268263 33554432000 4194304 16246674 140736495068016 140311739227312 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) 1306180


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

/proc/24648/task/24651/stat : 24651 (toysat) S 24645 24648 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12213453 1338576896 268430 33554432000 4194304 16246674 140736495068016 140311739227312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.04 2.05 2.00 4/183 24685
/proc/meminfo: memFree=29674032/32872528 swapFree=162364/176672
[pid=24648] ppid=24645 vsize=1307204 CPUtime=1361.9 cores=1,3,5,7
/proc/24648/stat : 24648 (toysat) R 24645 24648 23926 0 -1 4202496 267969 0 0 0 136119 71 0 0 20 0 4 0 12213453 1338576896 268430 33554432000 4194304 16246674 140736495068016 140736495049920 5677784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24648/statm: 326801 268430 789 2943 0 323695 0
[pid=24648/tid=24649] ppid=24645 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24649/stat : 24649 (toysat) S 24645 24648 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12213453 1338576896 268430 33554432000 4194304 16246674 140736495068016 140311833586928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24648/tid=24650] ppid=24645 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24650/stat : 24650 (toysat) S 24645 24648 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12213453 1338576896 268430 33554432000 4194304 16246674 140736495068016 140311749700848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24648/tid=24651] ppid=24645 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24651/stat : 24651 (toysat) S 24645 24648 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12213453 1338576896 268430 33554432000 4194304 16246674 140736495068016 140311739227312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/184 24689
/proc/meminfo: memFree=29673960/32872528 swapFree=162364/176672
[pid=24648] ppid=24645 vsize=1307204 CPUtime=1421.89 cores=1,3,5,7
/proc/24648/stat : 24648 (toysat) R 24645 24648 23926 0 -1 4202496 267969 0 0 0 142117 72 0 0 20 0 4 0 12213453 1338576896 268430 33554432000 4194304 16246674 140736495068016 140736495051016 5823655 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24648/statm: 326801 268430 789 2943 0 323695 0
[pid=24648/tid=24649] ppid=24645 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24649/stat : 24649 (toysat) S 24645 24648 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12213453 1338576896 268430 33554432000 4194304 16246674 140736495068016 140311833586928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24648/tid=24650] ppid=24645 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24650/stat : 24650 (toysat) S 24645 24648 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12213453 1338576896 268430 33554432000 4194304 16246674 140736495068016 140311749700848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24648/tid=24651] ppid=24645 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24651/stat : 24651 (toysat) S 24645 24648 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12213453 1338576896 268430 33554432000 4194304 16246674 140736495068016 140311739227312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.12 2.08 2.01 3/183 24690
/proc/meminfo: memFree=29673720/32872528 swapFree=162364/176672
[pid=24648] ppid=24645 vsize=1307204 CPUtime=1481.87 cores=1,3,5,7
/proc/24648/stat : 24648 (toysat) R 24645 24648 23926 0 -1 4202496 267969 0 0 0 148114 73 0 0 20 0 4 0 12213453 1338576896 268430 33554432000 4194304 16246674 140736495068016 140736495049920 5723196 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24648/statm: 326801 268430 789 2943 0 323695 0
[pid=24648/tid=24649] ppid=24645 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24649/stat : 24649 (toysat) S 24645 24648 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12213453 1338576896 268430 33554432000 4194304 16246674 140736495068016 140311833586928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24648/tid=24650] ppid=24645 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24650/stat : 24650 (toysat) S 24645 24648 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12213453 1338576896 268430 33554432000 4194304 16246674 140736495068016 140311749700848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24648/tid=24651] ppid=24645 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24651/stat : 24651 (toysat) S 24645 24648 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12213453 1338576896 268430 33554432000 4194304 16246674 140736495068016 140311739227312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.17 2.11 2.02 3/183 24739
/proc/meminfo: memFree=29673540/32872528 swapFree=162364/176672
[pid=24648] ppid=24645 vsize=1307204 CPUtime=1541.87 cores=1,3,5,7
/proc/24648/stat : 24648 (toysat) R 24645 24648 23926 0 -1 4202496 267970 0 0 0 154112 75 0 0 20 0 4 0 12213453 1338576896 268433 33554432000 4194304 16246674 140736495068016 140736495051016 5675997 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24648/statm: 326801 268433 789 2943 0 323695 0
[pid=24648/tid=24649] ppid=24645 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24649/stat : 24649 (toysat) S 24645 24648 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12213453 1338576896 268433 33554432000 4194304 16246674 140736495068016 140311833586928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24648/tid=24650] ppid=24645 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24650/stat : 24650 (toysat) S 24645 24648 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12213453 1338576896 268433 33554432000 4194304 16246674 140736495068016 140311749700848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24648/tid=24651] ppid=24645 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24651/stat : 24651 (toysat) S 24645 24648 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12213453 1338576896 268433 33554432000 4194304 16246674 140736495068016 140311739227312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.06 2.09 2.02 3/183 24741
/proc/meminfo: memFree=29673712/32872528 swapFree=162364/176672
[pid=24648] ppid=24645 vsize=1307204 CPUtime=1601.85 cores=1,3,5,7
/proc/24648/stat : 24648 (toysat) R 24645 24648 23926 0 -1 4202496 267970 0 0 0 160109 76 0 0 20 0 4 0 12213453 1338576896 268433 33554432000 4194304 16246674 140736495068016 140736495051016 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24648/statm: 326801 268433 789 2943 0 323695 0
[pid=24648/tid=24649] ppid=24645 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24649/stat : 24649 (toysat) S 24645 24648 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12213453 1338576896 268433 33554432000 4194304 16246674 140736495068016 140311833586928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24648/tid=24650] ppid=24645 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24650/stat : 24650 (toysat) S 24645 24648 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12213453 1338576896 268433 33554432000 4194304 16246674 140736495068016 140311749700848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24648/tid=24651] ppid=24645 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24651/stat : 24651 (toysat) S 24645 24648 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12213453 1338576896 268433 33554432000 4194304 16246674 140736495068016 140311739227312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.05 2.08 2.02 3/183 24742
/proc/meminfo: memFree=29673848/32872528 swapFree=162364/176672
[pid=24648] ppid=24645 vsize=1307204 CPUtime=1661.85 cores=1,3,5,7
/proc/24648/stat : 24648 (toysat) R 24645 24648 23926 0 -1 4202496 267970 0 0 0 166107 78 0 0 20 0 4 0 12213453 1338576896 268433 33554432000 4194304 16246674 140736495068016 140736495049920 5553629 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24648/statm: 326801 268433 789 2943 0 323695 0
[pid=24648/tid=24649] ppid=24645 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24649/stat : 24649 (toysat) S 24645 24648 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12213453 1338576896 268433 33554432000 4194304 16246674 140736495068016 140311833586928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24648/tid=24650] ppid=24645 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24650/stat : 24650 (toysat) S 24645 24648 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12213453 1338576896 268433 33554432000 4194304 16246674 140736495068016 140311749700848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24648/tid=24651] ppid=24645 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24651/stat : 24651 (toysat) S 24645 24648 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12213453 1338576896 268433 33554432000 4194304 16246674 140736495068016 140311739227312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.05 2.08 2.01 4/183 24743
/proc/meminfo: memFree=29673100/32872528 swapFree=162364/176672
[pid=24648] ppid=24645 vsize=1307204 CPUtime=1721.83 cores=1,3,5,7
/proc/24648/stat : 24648 (toysat) R 24645 24648 23926 0 -1 4202496 267970 0 0 0 172104 79 0 0 20 0 4 0 12213453 1338576896 268433 33554432000 4194304 16246674 140736495068016 140736495049920 5662704 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24648/statm: 326801 268433 789 2943 0 323695 0
[pid=24648/tid=24649] ppid=24645 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24649/stat : 24649 (toysat) S 24645 24648 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12213453 1338576896 268433 33554432000 4194304 16246674 140736495068016 140311833586928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24648/tid=24650] ppid=24645 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24650/stat : 24650 (toysat) S 24645 24648 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12213453 1338576896 268433 33554432000 4194304 16246674 140736495068016 140311749700848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24648/tid=24651] ppid=24645 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24651/stat : 24651 (toysat) S 24645 24648 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12213453 1338576896 268433 33554432000 4194304 16246674 140736495068016 140311739227312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.05 2.08 2.01 3/183 24744
/proc/meminfo: memFree=29672480/32872528 swapFree=162364/176672
[pid=24648] ppid=24645 vsize=1307204 CPUtime=1781.83 cores=1,3,5,7
/proc/24648/stat : 24648 (toysat) R 24645 24648 23926 0 -1 4202496 267970 0 0 0 178102 81 0 0 20 0 4 0 12213453 1338576896 268433 33554432000 4194304 16246674 140736495068016 140736495051016 5673443 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24648/statm: 326801 268433 789 2943 0 323695 0
[pid=24648/tid=24649] ppid=24645 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24649/stat : 24649 (toysat) S 24645 24648 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12213453 1338576896 268433 33554432000 4194304 16246674 140736495068016 140311833586928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24648/tid=24650] ppid=24645 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24650/stat : 24650 (toysat) S 24645 24648 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12213453 1338576896 268433 33554432000 4194304 16246674 140736495068016 140311749700848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24648/tid=24651] ppid=24645 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24651/stat : 24651 (toysat) S 24645 24648 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12213453 1338576896 268433 33554432000 4194304 16246674 140736495068016 140311739227312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.04 2.07 2.01 3/183 24744
/proc/meminfo: memFree=29672484/32872528 swapFree=162364/176672
[pid=24648] ppid=24645 vsize=1307204 CPUtime=1800.02 cores=1,3,5,7
/proc/24648/stat : 24648 (toysat) R 24645 24648 23926 0 -1 4202496 267970 0 0 0 179921 81 0 0 20 0 4 0 12213453 1338576896 268433 33554432000 4194304 16246674 140736495068016 140736495049920 5675841 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24648/statm: 326801 268433 789 2943 0 323695 0
[pid=24648/tid=24649] ppid=24645 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24649/stat : 24649 (toysat) S 24645 24648 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12213453 1338576896 268433 33554432000 4194304 16246674 140736495068016 140311833586928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24648/tid=24650] ppid=24645 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24650/stat : 24650 (toysat) S 24645 24648 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12213453 1338576896 268433 33554432000 4194304 16246674 140736495068016 140311749700848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24648/tid=24651] ppid=24645 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24651/stat : 24651 (toysat) S 24645 24648 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12213453 1338576896 268433 33554432000 4194304 16246674 140736495068016 140311739227312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1307204

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.5 s]
/proc/loadavg: 2.04 2.07 2.01 3/183 24744
/proc/meminfo: memFree=29672484/32872528 swapFree=162364/176672
[pid=24648] ppid=24645 vsize=1307204 CPUtime=1800.02 cores=1,3,5,7
/proc/24648/stat : 24648 (toysat) R 24645 24648 23926 0 -1 4202496 267970 0 0 0 179921 81 0 0 20 0 4 0 12213453 1338576896 268433 33554432000 4194304 16246674 140736495068016 140736495049920 5675841 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24648/statm: 326801 268433 789 2943 0 323695 0
[pid=24648/tid=24649] ppid=24645 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24649/stat : 24649 (toysat) S 24645 24648 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12213453 1338576896 268433 33554432000 4194304 16246674 140736495068016 140311833586928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24648/tid=24650] ppid=24645 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24650/stat : 24650 (toysat) S 24645 24648 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12213453 1338576896 268433 33554432000 4194304 16246674 140736495068016 140311749700848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24648/tid=24651] ppid=24645 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24648/task/24651/stat : 24651 (toysat) S 24645 24648 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12213453 1338576896 268433 33554432000 4194304 16246674 140736495068016 140311739227312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1307204

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.22
CPU system time (s): 0.818875
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.22
system time used= 0.818875
maximum resident set size= 1073732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267970
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= 393
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.969 second user time and 16.4885 second system time

The end

Begin job on node105 at 2016-06-16 20:27:15
IDJOB=4096043
IDBENCH=107558
IDSOLVER=2542
FILE ID=node105/4096043-1466101635
RUNJOBID= node105-1466095897-23943
PBS_JOBID= 19904031
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-25.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4096043-1466101635/watcher-4096043-1466101635 -o /tmp/evaluation-result-4096043-1466101635/solver-4096043-1466101635 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466095897-23943 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096043-1466101635.opb

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

MD5SUM BENCH= 108fe8e7d0bc0b8fa57451feb9da4084
RANDOM SEED=1458527954

node105.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.561
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
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.561
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.561
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.561
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.561
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.54
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.561
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.561
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30752612 kB
Buffers:           47916 kB
Cached:           122864 kB
SwapCached:         1480 kB
Active:          1160952 kB
Inactive:          82076 kB
Active(anon):    1072944 kB
Inactive(anon):     1660 kB
Active(file):      88008 kB
Inactive(file):    80416 kB
Unevictable:      176672 kB
Mlocked:          162364 kB
SwapTotal:      67108856 kB
SwapFree:       67097232 kB
Dirty:             16352 kB
Writeback:             0 kB
AnonPages:       1247536 kB
Mapped:            10300 kB
Shmem:                 0 kB
Slab:             568904 kB
SReclaimable:      12780 kB
SUnreclaim:       556124 kB
KernelStack:        1520 kB
PageTables:         6516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1393820 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    446464 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= 71716 MiB
End job on node105 at 2016-06-16 20:57:16