0.00/0.00	c 2016-06-16T01:48:50+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-4089841-1466034530.opb"]
0.00/0.01	c use --random-gen="957810844 159394364 1711294684 1288516510 1507215041 4111953192 3299571363 1776785308 1163995474 2575647609 2782375279 1238250941 3363590450 3910408331 2649849696 4057055220 170436219 539045338 4170197391 602323360 1838111089 4208927911 1248948200 4011734930 3382994879 1130685535 3861509520 3179116676 3413473315 3685285053 732751931 2651976702 2667677780 1112087656 1184158397 1910348000 29915159 1462369103 2278003665 2387533009 673864474 1411521536 2064944796 3341823154 955181404 261536313 2120461818 2324029111 2808317672 3258040047 2355143039 493038468 2374312672 3355452529 847755647 1717126644 2487767849 1115503700 1142936447 2513820607 1423413738 4106258549 3009184793 974727657 2459594730 517924917 3217233354 4144242844 507321598 1251082258 2118276753 3148139398 960673653 4071943437 3177561920 3441320168 1801383046 3578050798 2741281535 1541408418 836097568 3794796025 1549710001 2123556789 617873462 4097649392 429138043 3241199905 261132822 3312516181 322695114 1828240174 1943128946 3912944811 904465753 2261583268 2029028384 3476734383 1463123758 2785858155 1500662119 2846563428 1850402280 329770351 3868570065 1955826597 3914748959 182240374 1247034668 3561919617 916689645 4294400852 2097102745 3926607674 2372261898 1093449387 1768614310 3712496019 4224601512 258826924 1140134785 78382125 406132878 4071188781 1960172988 1463942265 3199910721 738863046 1135456563 926196559 1911701371 1445094368 2128310224 4245614156 2629576330 3554888966 273360249 194853529 1040958962 1255754075 308211174 2966841192 231263140 1403092442 486999881 1134030000 141893765 3253689188 1343959219 968628376 1672541413 2571260044 3667883134 1527724479 108625044 2293779910 3530196662 1837827936 1454732910 3165649503 1927824281 1302488789 3766379639 3294694748 1652029276 1734588092 2635925457 864337289 3832468747 3270407465 1223671631 1467398474 3151371417 997400983 1823134790 1781346432 578917961 1893247748 1076898895 1646783961 4041944598 37681962 1210814566 3097535125 3621368490 373144113 3591248551 2491270255 2407529129 3900911634 3275731946 1110162188 359516747 1021621536 2430136292 3077327885 3516864576 4248113873 2318565590 959975384 2365984961 39029447 648429156 2154693586 3568281406 544686919 2370456142 1504435190 259224695 2325720959 2330927240 755052748 1837038455 1259403102 4026262032 650018366 572322863 3792585061 1000415442 1340718365 3506300738 2565944527 3030673047 1669759883 155000181 3532562871 1328986487 1328044088 178429133 2302662821 958229763 1442008579 3988211709 4278914029 2412506013 759601929 4224273937 2546597752 1210595409 783554019 2607606046 3203308738 2996426080 1488762013 808722501 954628317 3573045141 3633531209 3697345021 949421753 3602610781 3444024949 4141343875 843967783 3703085447 1645026356 255 362436" option to reproduce the execution
0.00/0.01	c #vars 183
0.00/0.01	c #constraints 61
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 |      101      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      129 |      100 |      101      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      371 |      250 |      112      1 |        0 |        0
0.00/0.10	c  0.1s |       3 |      786 |      475 |      124      3 |        0 |        0
0.09/0.16	c  0.1s |       4 |     1234 |      813 |      137      6 |        0 |        0
0.19/0.26	c  0.2s |       5 |     1870 |     1320 |      151     10 |        0 |        0
0.39/0.40	c  0.4s |       6 |     2832 |     2081 |      184     15 |        0 |        0
0.59/0.64	c  0.6s |       7 |     4248 |     3223 |      203     23 |        0 |        0
0.89/0.94	c  0.9s |       8 |     6283 |     4936 |      224     33 |        0 |        0
1.29/1.33	c  1.3s |       9 |     9150 |     7506 |      247     48 |        0 |        0
1.89/1.92	c  1.9s |      10 |    13637 |    11361 |      272     69 |        0 |        0
2.69/2.77	c  2.8s |      11 |    20329 |    17144 |      300     99 |        0 |        0
3.99/4.05	c  4.0s |      12 |    30574 |    25819 |      330    141 |        0 |        0
5.99/6.06	c  6.0s |      12 |    44908 |    38319 |      330    198 |        0 |        0
6.09/6.15	c  6.1s |      13 |    45480 |    38832 |      364    201 |        0 |        0
8.09/8.17	c  8.2s |      13 |    59308 |    51032 |      364    254 |        0 |        0
9.29/9.39	c  9.4s |      14 |    67794 |    58352 |      401    286 |        0 |        0
11.39/11.40	c 11.4s |      14 |    81762 |    70652 |      401    335 |        0 |        0
13.39/13.42	c 13.4s |      14 |    95936 |    83052 |      401    384 |        0 |        0
14.18/14.22	c 14.2s |      15 |   101058 |    87632 |      442    402 |        0 |        0
16.18/16.23	c 16.2s |      15 |   115000 |   100032 |      442    447 |        0 |        0
18.18/18.24	c 18.2s |      15 |   127915 |   111732 |      442    489 |        0 |        0
20.18/20.24	c 20.2s |      15 |   140676 |   123232 |      442    530 |        0 |        0
21.68/21.76	c 21.7s |      16 |   149974 |   131552 |      487    560 |        0 |        0
23.68/23.77	c 23.8s |      16 |   163726 |   143252 |      487    599 |        0 |        0
25.68/25.79	c 25.8s |      16 |   177743 |   155152 |      487    639 |        0 |        0
27.78/27.80	c 27.8s |      16 |   190586 |   166152 |      487    677 |        0 |        0
29.79/29.81	c 29.8s |      16 |   202177 |   176252 |      487    711 |        0 |        0
31.78/31.82	c 31.8s |      16 |   214713 |   187252 |      487    747 |        0 |        0
33.58/33.66	c 33.6s |      17 |   226702 |   197432 |      536    782 |        0 |        0
35.58/35.67	c 35.7s |      17 |   239374 |   208732 |      536    818 |        0 |        0
37.58/37.68	c 37.7s |      17 |   251584 |   219732 |      536    852 |        0 |        0
39.59/39.69	c 39.7s |      17 |   264310 |   230832 |      536    887 |        0 |        0
41.68/41.70	c 41.7s |      17 |   277016 |   242032 |      536    923 |        0 |        0
43.68/43.71	c 43.7s |      17 |   289345 |   253032 |      536    958 |        0 |        0
45.68/45.72	c 45.7s |      17 |   301633 |   264032 |      536    994 |        0 |        0
47.68/47.73	c 47.7s |      17 |   313220 |   274632 |      536   1027 |        0 |        0
49.68/49.73	c 49.7s |      17 |   325202 |   285432 |      536   1062 |        0 |        0
51.69/51.75	c 51.7s |      17 |   337088 |   296032 |      590   1095 |        0 |        0
51.69/51.79	c 51.8s |      18 |   337329 |   296252 |      590   1096 |        0 |        0
53.78/53.80	c 53.8s |      18 |   349904 |   307352 |      590   1128 |        0 |        0
55.78/55.81	c 55.8s |      18 |   362461 |   318552 |      590   1161 |        0 |        0
57.78/57.83	c 57.8s |      18 |   374621 |   329252 |      590   1192 |        0 |        0
59.78/59.83	c 59.8s |      18 |   386847 |   340152 |      590   1224 |        0 |        0
61.78/61.83	c 61.8s |      18 |   399242 |   351152 |      590   1256 |        0 |        0
63.78/63.85	c 63.8s |      18 |   410731 |   361452 |      590   1286 |        0 |        0
65.78/65.86	c 65.9s |      18 |   421795 |   371452 |      590   1315 |        0 |        0
67.77/67.88	c 67.9s |      18 |   434398 |   382452 |      590   1348 |        0 |        0
69.77/69.88	c 69.9s |      18 |   445788 |   392752 |      590   1378 |        0 |        0
71.77/71.89	c 71.9s |      18 |   457546 |   403452 |      590   1409 |        0 |        0
73.78/73.89	c 73.9s |      18 |   469207 |   413752 |      590   1439 |        0 |        0
75.77/75.90	c 75.9s |      18 |   479659 |   423152 |      590   1467 |        0 |        0
77.87/77.90	c 77.9s |      18 |   490335 |   432852 |      590   1496 |        0 |        0
79.87/79.91	c 79.9s |      18 |   501207 |   442752 |      649   1524 |        0 |        0
80.17/80.24	c 80.2s |      19 |   503147 |   444482 |      649   1529 |        0 |        0
82.17/82.24	c 82.2s |      19 |   514842 |   455082 |      649   1557 |        0 |        0
84.17/84.26	c 84.2s |      19 |   526142 |   465282 |      649   1584 |        0 |        0
86.17/86.27	c 86.3s |      19 |   537111 |   475282 |      649   1611 |        0 |        0
88.17/88.28	c 88.3s |      19 |   548320 |   485282 |      649   1638 |        0 |        0
90.18/90.29	c 90.3s |      19 |   560342 |   495882 |      649   1667 |        0 |        0
92.27/92.31	c 92.3s |      19 |   571955 |   506182 |      649   1694 |        0 |        0
94.27/94.32	c 94.3s |      19 |   583791 |   516482 |      649   1722 |        0 |        0
96.27/96.33	c 96.3s |      19 |   594721 |   526282 |      649   1748 |        0 |        0
98.27/98.34	c 98.3s |      19 |   605377 |   535882 |      649   1774 |        0 |        0
100.28/100.35	c  100s |      19 |   617493 |   546282 |      649   1802 |        0 |        0
102.28/102.36	c  102s |      19 |   628698 |   556182 |      649   1828 |        0 |        0
104.27/104.36	c  104s |      19 |   639349 |   565682 |      649   1854 |        0 |        0
106.27/106.37	c  106s |      19 |   650116 |   575382 |      649   1880 |        0 |        0
108.27/108.37	c  108s |      19 |   662140 |   586082 |      649   1909 |        0 |        0
110.27/110.39	c  110s |      19 |   673697 |   596382 |      649   1937 |        0 |        0
112.37/112.40	c  112s |      19 |   685663 |   606982 |      649   1965 |        0 |        0
114.38/114.41	c  114s |      19 |   698240 |   617782 |      649   1995 |        0 |        0
116.37/116.41	c  116s |      19 |   709734 |   628082 |      649   2023 |        0 |        0
118.37/118.42	c  118s |      19 |   721965 |   638782 |      649   2053 |        0 |        0
120.37/120.42	c  120s |      19 |   733955 |   649382 |      649   2082 |        0 |        0
122.37/122.42	c  122s |      19 |   746573 |   660382 |      649   2112 |        0 |        0
123.67/123.76	c  123s |      20 |   753696 |   666827 |      714   2128 |        0 |        0
125.67/125.78	c  125s |      20 |   765797 |   677027 |      714   2153 |        0 |        0
127.68/127.78	c  127s |      20 |   777019 |   687027 |      714   2178 |        0 |        0
129.67/129.79	c  129s |      20 |   787967 |   696727 |      714   2202 |        0 |        0
131.67/131.80	c  131s |      20 |   799462 |   706527 |      714   2227 |        0 |        0
133.77/133.80	c  133s |      20 |   811146 |   716727 |      714   2252 |        0 |        0
135.76/135.82	c  135s |      20 |   822319 |   726727 |      714   2277 |        0 |        0
137.76/137.83	c  137s |      20 |   834118 |   736927 |      714   2302 |        0 |        0
139.77/139.84	c  139s |      20 |   844890 |   746427 |      714   2326 |        0 |        0
141.76/141.85	c  141s |      20 |   856124 |   756227 |      714   2350 |        0 |        0
143.76/143.85	c  143s |      20 |   868034 |   766527 |      714   2376 |        0 |        0
145.76/145.87	c  145s |      20 |   879666 |   776527 |      714   2401 |        0 |        0
147.76/147.89	c  147s |      20 |   891568 |   786527 |      714   2425 |        0 |        0
149.86/149.91	c  149s |      20 |   903478 |   796627 |      714   2450 |        0 |        0
151.87/151.91	c  151s |      20 |   914894 |   806627 |      714   2475 |        0 |        0
153.86/153.93	c  153s |      20 |   925176 |   815927 |      714   2498 |        0 |        0
155.86/155.93	c  155s |      20 |   934814 |   824527 |      714   2519 |        0 |        0
157.86/157.95	c  157s |      20 |   945598 |   833927 |      714   2543 |        0 |        0
159.87/159.96	c  159s |      20 |   956135 |   843127 |      714   2565 |        0 |        0
161.87/161.97	c  161s |      20 |   966808 |   852527 |      714   2589 |        0 |        0
163.87/163.98	c  163s |      20 |   977240 |   861827 |      714   2612 |        0 |        0
165.86/165.99	c  165s |      20 |   987186 |   870627 |      714   2634 |        0 |        0
167.86/167.99	c  167s |      20 |   997662 |   879927 |      714   2657 |        0 |        0
169.96/170.01	c  169s |      20 |  1009063 |   889927 |      714   2681 |        0 |        0
171.96/172.03	c  172s |      20 |  1020537 |   900027 |      714   2706 |        0 |        0
173.96/174.04	c  174s |      20 |  1032171 |   910227 |      714   2732 |        0 |        0
175.97/176.05	c  176s |      20 |  1044974 |   921327 |      714   2759 |        0 |        0
177.96/178.06	c  178s |      20 |  1056735 |   931827 |      714   2786 |        0 |        0
179.96/180.06	c  180s |      20 |  1067601 |   941627 |      714   2810 |        0 |        0
181.96/182.08	c  182s |      20 |  1078388 |   951327 |      714   2834 |        0 |        0
183.96/184.09	c  184s |      20 |  1089317 |   961227 |      714   2859 |        0 |        0
186.06/186.10	c  186s |      20 |  1100614 |   971327 |      714   2884 |        0 |        0
188.06/188.10	c  188s |      20 |  1113275 |   982027 |      714   2911 |        0 |        0
190.06/190.11	c  190s |      20 |  1126389 |   992827 |      714   2938 |        0 |        0
191.55/191.60	c  191s |      21 |  1134819 |  1000345 |      786   2955 |        0 |        0
193.56/193.61	c  193s |      21 |  1146568 |  1010845 |      786   2979 |        0 |        0
195.56/195.63	c  195s |      21 |  1157627 |  1020845 |      786   3002 |        0 |        0
197.56/197.64	c  197s |      21 |  1169010 |  1030845 |      786   3024 |        0 |        0
199.56/199.64	c  199s |      21 |  1180210 |  1040945 |      786   3047 |        0 |        0
201.56/201.65	c  201s |      21 |  1191849 |  1050845 |      786   3070 |        0 |        0
203.57/203.66	c  203s |      21 |  1202444 |  1060145 |      786   3091 |        0 |        0
205.55/205.66	c  205s |      21 |  1213236 |  1069745 |      786   3113 |        0 |        0
207.55/207.68	c  207s |      21 |  1223040 |  1078645 |      786   3133 |        0 |        0
209.65/209.70	c  209s |      21 |  1233119 |  1087745 |      786   3154 |        0 |        0
211.65/211.72	c  211s |      21 |  1243590 |  1097045 |      786   3175 |        0 |        0
213.65/213.74	c  213s |      21 |  1254005 |  1106445 |      786   3196 |        0 |        0
215.67/215.75	c  215s |      21 |  1265042 |  1115945 |      786   3217 |        0 |        0
217.66/217.76	c  217s |      21 |  1275947 |  1125345 |      786   3239 |        0 |        0
219.66/219.79	c  219s |      21 |  1286681 |  1134645 |      786   3260 |        0 |        0
221.75/221.80	c  221s |      21 |  1297206 |  1144045 |      786   3281 |        0 |        0
223.75/223.81	c  223s |      21 |  1307275 |  1153045 |      786   3302 |        0 |        0
225.75/225.82	c  225s |      21 |  1317956 |  1162245 |      786   3323 |        0 |        0
227.76/227.84	c  227s |      21 |  1328276 |  1171245 |      786   3343 |        0 |        0
229.75/229.85	c  229s |      21 |  1337739 |  1179445 |      786   3362 |        0 |        0
231.75/231.86	c  231s |      21 |  1348006 |  1188645 |      786   3383 |        0 |        0
233.75/233.88	c  233s |      21 |  1358167 |  1197645 |      786   3403 |        0 |        0
235.75/235.89	c  235s |      21 |  1367840 |  1206345 |      786   3423 |        0 |        0
237.75/237.89	c  237s |      21 |  1377925 |  1215545 |      786   3444 |        0 |        0
239.86/239.91	c  239s |      21 |  1388242 |  1224745 |      786   3465 |        0 |        0
241.85/241.92	c  241s |      21 |  1398071 |  1233445 |      786   3484 |        0 |        0
243.85/243.92	c  243s |      21 |  1409058 |  1242945 |      786   3506 |        0 |        0
245.85/245.94	c  245s |      21 |  1420250 |  1252445 |      786   3527 |        0 |        0
247.85/247.96	c  247s |      21 |  1431460 |  1262045 |      786   3549 |        0 |        0
249.85/249.98	c  249s |      21 |  1441934 |  1271245 |      786   3570 |        0 |        0
251.96/252.01	c  251s |      21 |  1451824 |  1280145 |      786   3591 |        0 |        0
253.95/254.01	c  253s |      21 |  1461812 |  1289045 |      786   3611 |        0 |        0
255.95/256.03	c  256s |      21 |  1472273 |  1298145 |      786   3631 |        0 |        0
257.95/258.04	c  258s |      21 |  1482190 |  1306945 |      786   3651 |        0 |        0
259.95/260.05	c  260s |      21 |  1491949 |  1315745 |      786   3671 |        0 |        0
261.95/262.05	c  262s |      21 |  1502295 |  1325045 |      786   3692 |        0 |        0
263.96/264.06	c  264s |      21 |  1511799 |  1333645 |      786   3712 |        0 |        0
265.95/266.06	c  266s |      21 |  1521393 |  1342345 |      786   3731 |        0 |        0
267.95/268.07	c  268s |      21 |  1531059 |  1350845 |      786   3751 |        0 |        0
269.95/270.08	c  270s |      21 |  1540668 |  1359545 |      786   3770 |        0 |        0
271.95/272.09	c  272s |      21 |  1551534 |  1369045 |      786   3792 |        0 |        0
274.05/274.10	c  274s |      21 |  1561737 |  1377945 |      786   3812 |        0 |        0
275.95/276.10	c  276s |      21 |  1571626 |  1386745 |      786   3832 |        0 |        0
278.05/278.12	c  278s |      21 |  1581185 |  1395245 |      786   3852 |        0 |        0
280.05/280.13	c  280s |      21 |  1592653 |  1405145 |      786   3874 |        0 |        0
282.04/282.14	c  282s |      21 |  1604110 |  1414945 |      786   3896 |        0 |        0
284.04/284.14	c  284s |      21 |  1615927 |  1424845 |      786   3919 |        0 |        0
286.05/286.15	c  286s |      21 |  1626987 |  1434445 |      786   3941 |        0 |        0
288.04/288.16	c  288s |      21 |  1637693 |  1443845 |      786   3962 |        0 |        0
290.04/290.17	c  290s |      21 |  1647658 |  1452845 |      786   3983 |        0 |        0
292.04/292.17	c  292s |      21 |  1659007 |  1462645 |      786   4005 |        0 |        0
294.05/294.19	c  294s |      21 |  1671157 |  1473145 |      786   4029 |        0 |        0
296.14/296.21	c  296s |      21 |  1682554 |  1483545 |      786   4053 |        0 |        0
298.15/298.23	c  298s |      21 |  1694057 |  1493845 |      865   4076 |        0 |        0
299.54/299.63	c  299s |      22 |  1701701 |  1500622 |      865   4090 |        0 |        0
301.54/301.64	c  301s |      22 |  1713205 |  1510922 |      865   4111 |        0 |        0
303.55/303.66	c  303s |      22 |  1723237 |  1520022 |      865   4130 |        0 |        0
305.54/305.68	c  305s |      22 |  1733834 |  1529522 |      865   4150 |        0 |        0
307.54/307.69	c  307s |      22 |  1744519 |  1539222 |      865   4170 |        0 |        0
309.64/309.70	c  309s |      22 |  1755115 |  1548822 |      865   4189 |        0 |        0
311.64/311.71	c  311s |      22 |  1765363 |  1558122 |      865   4208 |        0 |        0
313.64/313.72	c  313s |      22 |  1775717 |  1567522 |      865   4228 |        0 |        0
315.65/315.74	c  315s |      22 |  1786039 |  1576822 |      865   4247 |        0 |        0
317.64/317.74	c  317s |      22 |  1796173 |  1585922 |      865   4266 |        0 |        0
319.64/319.76	c  319s |      22 |  1806958 |  1595422 |      865   4285 |        0 |        0
321.63/321.76	c  321s |      22 |  1817021 |  1604422 |      865   4304 |        0 |        0
323.63/323.78	c  323s |      22 |  1826511 |  1613022 |      865   4321 |        0 |        0
325.64/325.79	c  325s |      22 |  1836680 |  1622122 |      865   4340 |        0 |        0
327.63/327.80	c  327s |      22 |  1845999 |  1630622 |      865   4357 |        0 |        0
329.73/329.82	c  329s |      22 |  1855210 |  1639022 |      865   4375 |        0 |        0
331.74/331.83	c  331s |      22 |  1864639 |  1647622 |      865   4392 |        0 |        0
333.74/333.84	c  333s |      22 |  1873273 |  1655622 |      865   4409 |        0 |        0
335.74/335.85	c  335s |      22 |  1882164 |  1663722 |      865   4425 |        0 |        0
337.75/337.87	c  337s |      22 |  1891470 |  1672222 |      865   4443 |        0 |        0
339.74/339.88	c  339s |      22 |  1900260 |  1680122 |      865   4459 |        0 |        0
341.84/341.90	c  341s |      22 |  1910193 |  1688922 |      865   4477 |        0 |        0
343.84/343.92	c  343s |      22 |  1919977 |  1697822 |      865   4495 |        0 |        0
345.84/345.94	c  345s |      22 |  1929458 |  1706522 |      865   4513 |        0 |        0
347.83/347.95	c  347s |      22 |  1938275 |  1714722 |      865   4530 |        0 |        0
349.84/349.96	c  349s |      22 |  1947415 |  1723122 |      865   4547 |        0 |        0
351.83/351.96	c  351s |      22 |  1957108 |  1731922 |      865   4565 |        0 |        0
353.83/353.98	c  353s |      22 |  1966112 |  1740322 |      865   4582 |        0 |        0
355.83/355.99	c  355s |      22 |  1974935 |  1748622 |      865   4599 |        0 |        0
357.83/357.99	c  357s |      22 |  1983321 |  1756422 |      865   4615 |        0 |        0
359.93/360.02	c  360s |      22 |  1992414 |  1764722 |      865   4632 |        0 |        0
361.94/362.04	c  362s |      22 |  2001278 |  1772922 |      865   4649 |        0 |        0
363.93/364.04	c  364s |      22 |  2010117 |  1781022 |      865   4665 |        0 |        0
365.94/366.06	c  366s |      22 |  2017905 |  1788322 |      865   4680 |        0 |        0
367.94/368.08	c  368s |      22 |  2026806 |  1796622 |      865   4697 |        0 |        0
369.94/370.08	c  370s |      22 |  2035571 |  1804822 |      865   4713 |        0 |        0
371.93/372.09	c  372s |      22 |  2045001 |  1813522 |      865   4731 |        0 |        0
373.94/374.10	c  374s |      22 |  2054897 |  1822522 |      865   4750 |        0 |        0
376.03/376.11	c  376s |      22 |  2064083 |  1830922 |      865   4767 |        0 |        0
378.03/378.12	c  378s |      22 |  2073168 |  1839322 |      865   4784 |        0 |        0
380.03/380.13	c  380s |      22 |  2082111 |  1847622 |      865   4801 |        0 |        0
382.03/382.15	c  382s |      22 |  2091028 |  1855922 |      865   4818 |        0 |        0
384.03/384.15	c  384s |      22 |  2099562 |  1863822 |      865   4834 |        0 |        0
386.04/386.16	c  386s |      22 |  2107950 |  1871522 |      865   4850 |        0 |        0
388.03/388.17	c  388s |      22 |  2116427 |  1879322 |      865   4866 |        0 |        0
390.03/390.17	c  390s |      22 |  2124814 |  1887022 |      865   4882 |        0 |        0
392.03/392.18	c  392s |      22 |  2134629 |  1896122 |      865   4900 |        0 |        0
394.03/394.18	c  394s |      22 |  2144219 |  1905022 |      865   4919 |        0 |        0
396.13/396.20	c  396s |      22 |  2154241 |  1914122 |      865   4937 |        0 |        0
398.03/398.20	c  398s |      22 |  2163616 |  1922722 |      865   4955 |        0 |        0
400.13/400.20	c  400s |      22 |  2174208 |  1932222 |      865   4974 |        0 |        0
402.13/402.20	c  402s |      22 |  2186116 |  1942322 |      865   4995 |        0 |        0
404.12/404.21	c  404s |      22 |  2196953 |  1951922 |      865   5015 |        0 |        0
406.12/406.22	c  406s |      22 |  2207463 |  1961322 |      865   5034 |        0 |        0
408.13/408.24	c  408s |      22 |  2218134 |  1970722 |      865   5053 |        0 |        0
410.12/410.26	c  410s |      22 |  2227222 |  1979022 |      865   5070 |        0 |        0
412.12/412.26	c  412s |      22 |  2236460 |  1987522 |      865   5088 |        0 |        0
414.12/414.27	c  414s |      22 |  2245834 |  1996022 |      865   5106 |        0 |        0
416.12/416.28	c  416s |      22 |  2254846 |  2004122 |      865   5122 |        0 |        0
418.23/418.30	c  418s |      22 |  2263856 |  2012422 |      865   5140 |        0 |        0
420.24/420.31	c  420s |      22 |  2273644 |  2021322 |      865   5158 |        0 |        0
422.23/422.32	c  422s |      22 |  2282330 |  2029322 |      865   5174 |        0 |        0
424.23/424.34	c  424s |      22 |  2290762 |  2037122 |      865   5190 |        0 |        0
426.23/426.35	c  426s |      22 |  2299443 |  2045022 |      865   5207 |        0 |        0
428.23/428.36	c  428s |      22 |  2307755 |  2052722 |      865   5222 |        0 |        0
430.23/430.38	c  430s |      22 |  2317940 |  2062122 |      865   5242 |        0 |        0
432.23/432.40	c  432s |      22 |  2327546 |  2070822 |      865   5260 |        0 |        0
434.33/434.42	c  434s |      22 |  2337166 |  2079422 |      865   5278 |        0 |        0
436.32/436.44	c  436s |      22 |  2346911 |  2088122 |      865   5296 |        0 |        0
438.32/438.45	c  438s |      22 |  2356750 |  2097022 |      865   5314 |        0 |        0
440.32/440.46	c  440s |      22 |  2366898 |  2106022 |      865   5333 |        0 |        0
442.32/442.47	c  442s |      22 |  2376934 |  2115022 |      865   5351 |        0 |        0
444.33/444.47	c  444s |      22 |  2386480 |  2123722 |      865   5369 |        0 |        0
446.32/446.47	c  446s |      22 |  2395473 |  2132022 |      865   5387 |        0 |        0
448.32/448.49	c  448s |      22 |  2404299 |  2140222 |      865   5404 |        0 |        0
450.42/450.51	c  450s |      22 |  2414398 |  2149222 |      865   5422 |        0 |        0
452.42/452.53	c  452s |      22 |  2424252 |  2157922 |      865   5440 |        0 |        0
454.42/454.55	c  454s |      22 |  2433142 |  2166022 |      865   5457 |        0 |        0
456.42/456.55	c  456s |      22 |  2442204 |  2174222 |      865   5474 |        0 |        0
458.42/458.56	c  458s |      22 |  2451081 |  2182322 |      865   5490 |        0 |        0
460.42/460.56	c  460s |      22 |  2459924 |  2190422 |      865   5507 |        0 |        0
462.41/462.57	c  462s |      22 |  2469106 |  2198922 |      865   5525 |        0 |        0
464.41/464.57	c  464s |      22 |  2478588 |  2207722 |      865   5543 |        0 |        0
466.42/466.57	c  466s |      22 |  2488569 |  2216822 |      865   5562 |        0 |        0
468.41/468.59	c  468s |      22 |  2497619 |  2225122 |      865   5579 |        0 |        0
470.51/470.60	c  470s |      22 |  2506664 |  2233422 |      865   5596 |        0 |        0
472.51/472.61	c  472s |      22 |  2516062 |  2242022 |      952   5612 |        0 |        0
474.51/474.63	c  474s |      22 |  2525482 |  2250622 |      952   5629 |        0 |        0
474.61/474.72	c  474s |      23 |  2525924 |  2251038 |      952   5629 |        0 |        0
476.61/476.74	c  476s |      23 |  2536439 |  2260438 |      952   5647 |        0 |        0
478.61/478.74	c  478s |      23 |  2546464 |  2269638 |      952   5665 |        0 |        0
480.62/480.75	c  480s |      23 |  2556193 |  2278638 |      952   5682 |        0 |        0
482.61/482.76	c  482s |      23 |  2566081 |  2287638 |      952   5699 |        0 |        0
484.61/484.78	c  484s |      23 |  2575506 |  2296338 |      952   5715 |        0 |        0
486.61/486.78	c  486s |      23 |  2584048 |  2304238 |      952   5730 |        0 |        0
488.61/488.79	c  488s |      23 |  2593297 |  2312838 |      952   5746 |        0 |        0
490.71/490.80	c  490s |      23 |  2602545 |  2321438 |      952   5762 |        0 |        0
492.72/492.81	c  492s |      23 |  2611595 |  2329738 |      952   5778 |        0 |        0
494.71/494.81	c  494s |      23 |  2620013 |  2337538 |      952   5793 |        0 |        0
496.71/496.83	c  496s |      23 |  2629079 |  2345938 |      952   5808 |        0 |        0
498.71/498.84	c  498s |      23 |  2637729 |  2353838 |      952   5823 |        0 |        0
500.71/500.85	c  500s |      23 |  2645753 |  2361338 |      952   5837 |        0 |        0
502.71/502.87	c  502s |      23 |  2654224 |  2369238 |      952   5852 |        0 |        0
504.71/504.88	c  504s |      23 |  2662695 |  2377038 |      952   5867 |        0 |        0
506.71/506.88	c  506s |      23 |  2671198 |  2384838 |      952   5882 |        0 |        0
508.71/508.89	c  508s |      23 |  2680025 |  2392938 |      952   5897 |        0 |        0
510.71/510.89	c  510s |      23 |  2688794 |  2400938 |      952   5912 |        0 |        0
512.81/512.92	c  512s |      23 |  2696358 |  2407938 |      952   5925 |        0 |        0
514.81/514.93	c  514s |      23 |  2704721 |  2415738 |      952   5940 |        0 |        0
516.80/516.93	c  516s |      23 |  2714870 |  2424738 |      952   5957 |        0 |        0
518.80/518.95	c  518s |      23 |  2724092 |  2432938 |      952   5972 |        0 |        0
520.80/520.98	c  520s |      23 |  2732705 |  2440938 |      952   5988 |        0 |        0
522.80/522.99	c  522s |      23 |  2741041 |  2448538 |      952   6002 |        0 |        0
524.90/525.02	c  525s |      23 |  2749280 |  2455738 |      952   6016 |        0 |        0
526.92/527.03	c  527s |      23 |  2758656 |  2464338 |      952   6032 |        0 |        0
528.91/529.06	c  529s |      23 |  2767887 |  2472738 |      952   6048 |        0 |        0
530.91/531.07	c  531s |      23 |  2777399 |  2481138 |      952   6064 |        0 |        0
532.91/533.07	c  533s |      23 |  2786737 |  2489438 |      952   6079 |        0 |        0
534.91/535.08	c  535s |      23 |  2794943 |  2496938 |      952   6094 |        0 |        0
536.91/537.10	c  537s |      23 |  2804366 |  2505138 |      952   6109 |        0 |        0
539.02/539.11	c  539s |      23 |  2813458 |  2513038 |      952   6124 |        0 |        0
541.01/541.13	c  541s |      23 |  2823091 |  2521438 |      952   6140 |        0 |        0
543.01/543.13	c  543s |      23 |  2832908 |  2530138 |      952   6156 |        0 |        0
545.01/545.15	c  545s |      23 |  2842103 |  2538338 |      952   6172 |        0 |        0
547.01/547.16	c  547s |      23 |  2851753 |  2546838 |      952   6188 |        0 |        0
549.01/549.18	c  549s |      23 |  2860912 |  2555038 |      952   6204 |        0 |        0
551.12/551.21	c  551s |      23 |  2869482 |  2562838 |      952   6218 |        0 |        0
553.11/553.21	c  553s |      23 |  2877505 |  2570138 |      952   6232 |        0 |        0
555.11/555.24	c  555s |      23 |  2884817 |  2576838 |      952   6245 |        0 |        0
557.11/557.27	c  557s |      23 |  2893620 |  2584738 |      952   6260 |        0 |        0
559.11/559.28	c  559s |      23 |  2902367 |  2592938 |      952   6275 |        0 |        0
561.20/561.30	c  561s |      23 |  2910730 |  2600738 |      952   6290 |        0 |        0
563.11/563.30	c  563s |      23 |  2919622 |  2608838 |      952   6305 |        0 |        0
565.20/565.32	c  565s |      23 |  2928596 |  2616938 |      952   6320 |        0 |        0
567.20/567.34	c  567s |      23 |  2936732 |  2624438 |      952   6334 |        0 |        0
569.20/569.34	c  569s |      23 |  2944968 |  2632038 |      952   6349 |        0 |        0
571.20/571.36	c  571s |      23 |  2952861 |  2639438 |      952   6363 |        0 |        0
573.20/573.38	c  573s |      23 |  2960937 |  2646938 |      952   6377 |        0 |        0
575.21/575.40	c  575s |      23 |  2969515 |  2654838 |      952   6392 |        0 |        0
577.30/577.43	c  577s |      23 |  2977895 |  2662538 |      952   6406 |        0 |        0
579.30/579.45	c  579s |      23 |  2986035 |  2670038 |      952   6421 |        0 |        0
581.30/581.47	c  581s |      23 |  2994051 |  2677538 |      952   6435 |        0 |        0
583.30/583.49	c  583s |      23 |  3002438 |  2685238 |      952   6449 |        0 |        0
585.40/585.50	c  585s |      23 |  3011441 |  2693638 |      952   6465 |        0 |        0
587.40/587.51	c  587s |      23 |  3020417 |  2701938 |      952   6481 |        0 |        0
589.40/589.52	c  589s |      23 |  3030066 |  2710738 |      952   6497 |        0 |        0
591.40/591.54	c  591s |      23 |  3038798 |  2718838 |      952   6512 |        0 |        0
593.40/593.55	c  593s |      23 |  3047679 |  2727038 |      952   6528 |        0 |        0
595.40/595.55	c  595s |      23 |  3057020 |  2735438 |      952   6544 |        0 |        0
597.40/597.56	c  597s |      23 |  3066017 |  2743538 |      952   6559 |        0 |        0
599.40/599.58	c  599s |      23 |  3074155 |  2751038 |      952   6573 |        0 |        0
601.49/601.60	c  601s |      23 |  3082575 |  2758738 |      952   6588 |        0 |        0
603.49/603.62	c  603s |      23 |  3091284 |  2766738 |      952   6603 |        0 |        0
605.49/605.65	c  605s |      23 |  3099230 |  2774138 |      952   6617 |        0 |        0
607.49/607.66	c  607s |      23 |  3108080 |  2782138 |      952   6632 |        0 |        0
609.49/609.67	c  609s |      23 |  3116740 |  2790038 |      952   6647 |        0 |        0
611.50/611.67	c  611s |      23 |  3125778 |  2798338 |      952   6663 |        0 |        0
613.49/613.67	c  613s |      23 |  3133851 |  2805638 |      952   6676 |        0 |        0
615.59/615.70	c  615s |      23 |  3142321 |  2813438 |      952   6691 |        0 |        0
617.59/617.72	c  617s |      23 |  3150874 |  2821338 |      952   6706 |        0 |        0
619.59/619.75	c  619s |      23 |  3158775 |  2828638 |      952   6720 |        0 |        0
621.59/621.76	c  621s |      23 |  3167373 |  2836638 |      952   6735 |        0 |        0
623.60/623.78	c  623s |      23 |  3176346 |  2844838 |      952   6750 |        0 |        0
625.59/625.78	c  625s |      23 |  3184532 |  2852438 |      952   6764 |        0 |        0
627.69/627.80	c  627s |      23 |  3192378 |  2859738 |      952   6778 |        0 |        0
629.69/629.83	c  629s |      23 |  3200653 |  2867338 |      952   6793 |        0 |        0
631.69/631.84	c  631s |      23 |  3208906 |  2875038 |      952   6807 |        0 |        0
633.69/633.86	c  633s |      23 |  3217147 |  2882638 |      952   6821 |        0 |        0
635.70/635.88	c  635s |      23 |  3225212 |  2890038 |      952   6835 |        0 |        0
637.70/637.89	c  637s |      23 |  3232721 |  2897038 |      952   6848 |        0 |        0
639.69/639.89	c  639s |      23 |  3240932 |  2904638 |      952   6863 |        0 |        0
641.79/641.91	c  641s |      23 |  3248590 |  2911838 |      952   6876 |        0 |        0
643.79/643.91	c  643s |      23 |  3256622 |  2919238 |      952   6890 |        0 |        0
645.79/645.92	c  645s |      23 |  3264914 |  2926838 |      952   6904 |        0 |        0
647.80/647.93	c  647s |      23 |  3272952 |  2934338 |      952   6918 |        0 |        0
649.79/649.93	c  649s |      23 |  3281333 |  2942138 |      952   6933 |        0 |        0
651.79/651.94	c  651s |      23 |  3289919 |  2949838 |      952   6948 |        0 |        0
653.79/653.96	c  653s |      23 |  3297356 |  2956738 |      952   6961 |        0 |        0
655.79/655.97	c  655s |      23 |  3304667 |  2963538 |      952   6974 |        0 |        0
657.80/657.97	c  657s |      23 |  3312368 |  2970738 |      952   6987 |        0 |        0
659.79/659.99	c  659s |      23 |  3320061 |  2977838 |      952   7001 |        0 |        0
661.79/661.99	c  661s |      23 |  3327403 |  2984638 |      952   7013 |        0 |        0
663.88/664.01	c  663s |      23 |  3335536 |  2992238 |      952   7028 |        0 |        0
665.88/666.04	c  666s |      23 |  3344265 |  3000438 |      952   7043 |        0 |        0
667.88/668.05	c  668s |      23 |  3352450 |  3008138 |      952   7058 |        0 |        0
669.89/670.06	c  670s |      23 |  3359564 |  3014938 |      952   7070 |        0 |        0
671.88/672.07	c  672s |      23 |  3367290 |  3022138 |      952   7084 |        0 |        0
673.88/674.09	c  674s |      23 |  3375496 |  3029838 |      952   7098 |        0 |        0
675.98/676.10	c  676s |      23 |  3382676 |  3036538 |      952   7111 |        0 |        0
677.98/678.11	c  678s |      23 |  3390426 |  3043838 |      952   7125 |        0 |        0
679.98/680.13	c  680s |      23 |  3398321 |  3051138 |      952   7139 |        0 |        0
681.99/682.15	c  682s |      23 |  3406263 |  3058438 |      952   7152 |        0 |        0
683.98/684.17	c  684s |      23 |  3414401 |  3065938 |      952   7166 |        0 |        0
685.98/686.17	c  686s |      23 |  3422567 |  3073538 |      952   7181 |        0 |        0
687.99/688.17	c  688s |      23 |  3430900 |  3081338 |      952   7195 |        0 |        0
689.99/690.19	c  690s |      23 |  3439749 |  3089538 |      952   7211 |        0 |        0
692.08/692.22	c  692s |      23 |  3448230 |  3097538 |      952   7226 |        0 |        0
694.09/694.22	c  694s |      23 |  3456867 |  3105638 |      952   7241 |        0 |        0
696.08/696.22	c  696s |      23 |  3465199 |  3113438 |      952   7256 |        0 |        0
698.08/698.24	c  698s |      23 |  3473500 |  3121138 |      952   7270 |        0 |        0
700.08/700.25	c  700s |      23 |  3481084 |  3128238 |      952   7283 |        0 |        0
702.08/702.26	c  702s |      23 |  3488361 |  3135038 |      952   7296 |        0 |        0
704.08/704.27	c  704s |      23 |  3495762 |  3141938 |      952   7309 |        0 |        0
706.19/706.30	c  706s |      23 |  3503898 |  3149438 |      952   7323 |        0 |        0
708.18/708.32	c  708s |      23 |  3511785 |  3156738 |      952   7337 |        0 |        0
710.18/710.33	c  710s |      23 |  3519663 |  3163938 |      952   7351 |        0 |        0
712.18/712.35	c  712s |      23 |  3527350 |  3171138 |      952   7364 |        0 |        0
714.18/714.36	c  714s |      23 |  3534684 |  3178038 |      952   7377 |        0 |        0
716.17/716.37	c  716s |      23 |  3542105 |  3184938 |      952   7390 |        0 |        0
718.18/718.40	c  718s |      23 |  3549620 |  3191938 |      952   7403 |        0 |        0
720.27/720.41	c  720s |      23 |  3557627 |  3199438 |      952   7417 |        0 |        0
722.27/722.42	c  722s |      23 |  3565266 |  3206638 |      952   7431 |        0 |        0
724.27/724.44	c  724s |      23 |  3572505 |  3213438 |      952   7444 |        0 |        0
726.27/726.47	c  726s |      23 |  3581681 |  3221638 |      952   7459 |        0 |        0
728.27/728.48	c  728s |      23 |  3590918 |  3229838 |      952   7475 |        0 |        0
730.28/730.48	c  730s |      23 |  3599306 |  3237338 |      952   7489 |        0 |        0
732.27/732.49	c  732s |      23 |  3607987 |  3245338 |      952   7504 |        0 |        0
734.37/734.50	c  734s |      23 |  3616244 |  3253138 |      952   7519 |        0 |        0
736.36/736.51	c  736s |      23 |  3623930 |  3260338 |      952   7532 |        0 |        0
738.36/738.52	c  738s |      23 |  3631766 |  3267638 |      952   7546 |        0 |        0
740.36/740.53	c  740s |      23 |  3640272 |  3275538 |      952   7560 |        0 |        0
742.37/742.54	c  742s |      23 |  3648851 |  3283538 |      952   7575 |        0 |        0
744.36/744.56	c  744s |      23 |  3657219 |  3291338 |      952   7590 |        0 |        0
746.36/746.56	c  746s |      23 |  3664769 |  3298338 |      952   7603 |        0 |        0
748.36/748.56	c  748s |      23 |  3672610 |  3305638 |      952   7617 |        0 |        0
750.36/750.57	c  750s |      23 |  3680535 |  3313138 |      952   7631 |        0 |        0
752.46/752.60	c  752s |      23 |  3688454 |  3320538 |      952   7645 |        0 |        0
754.46/754.62	c  754s |      23 |  3696610 |  3328138 |      952   7659 |        0 |        0
756.45/756.62	c  756s |      23 |  3704130 |  3335138 |      952   7672 |        0 |        0
758.45/758.63	c  758s |      23 |  3712212 |  3342738 |      952   7687 |        0 |        0
760.45/760.64	c  760s |      23 |  3720242 |  3350238 |      952   7701 |        0 |        0
762.46/762.65	c  762s |      23 |  3728573 |  3357938 |     1048   7714 |        0 |        0
764.47/764.68	c  764s |      23 |  3735651 |  3364538 |     1048   7726 |        0 |        0
766.56/766.71	c  766s |      23 |  3743228 |  3371438 |     1048   7738 |        0 |        0
767.95/768.14	c  768s |      24 |  3748840 |  3376662 |     1048   7747 |        0 |        0
769.96/770.15	c  770s |      24 |  3759250 |  3385962 |     1048   7763 |        0 |        0
771.95/772.16	c  772s |      24 |  3768617 |  3394462 |     1048   7778 |        0 |        0
773.95/774.16	c  774s |      24 |  3777691 |  3402862 |     1048   7792 |        0 |        0
775.95/776.18	c  776s |      24 |  3786794 |  3411062 |     1048   7807 |        0 |        0
778.05/778.20	c  778s |      24 |  3795586 |  3419162 |     1048   7821 |        0 |        0
780.05/780.21	c  780s |      24 |  3804149 |  3427062 |     1048   7834 |        0 |        0
782.06/782.24	c  782s |      24 |  3812163 |  3434362 |     1048   7847 |        0 |        0
784.05/784.24	c  784s |      24 |  3820016 |  3441562 |     1048   7860 |        0 |        0
786.05/786.27	c  786s |      24 |  3828245 |  3449162 |     1048   7873 |        0 |        0
788.04/788.27	c  788s |      24 |  3836150 |  3456462 |     1048   7886 |        0 |        0
790.04/790.29	c  790s |      24 |  3844301 |  3463962 |     1048   7899 |        0 |        0
792.14/792.31	c  792s |      24 |  3853099 |  3471962 |     1048   7913 |        0 |        0
794.15/794.33	c  794s |      24 |  3861603 |  3479662 |     1048   7926 |        0 |        0
796.14/796.36	c  796s |      24 |  3870940 |  3487962 |     1048   7940 |        0 |        0
798.13/798.39	c  798s |      24 |  3879176 |  3495462 |     1048   7953 |        0 |        0
800.23/800.40	c  800s |      24 |  3888240 |  3503662 |     1048   7968 |        0 |        0
802.23/802.40	c  802s |      24 |  3897067 |  3511762 |     1048   7982 |        0 |        0
804.23/804.42	c  804s |      24 |  3905268 |  3519362 |     1048   7995 |        0 |        0
806.23/806.42	c  806s |      24 |  3914141 |  3527362 |     1048   8009 |        0 |        0
808.22/808.43	c  808s |      24 |  3923470 |  3535662 |     1048   8023 |        0 |        0
810.22/810.43	c  810s |      24 |  3932635 |  3543762 |     1048   8038 |        0 |        0
812.22/812.45	c  812s |      24 |  3940986 |  3551262 |     1048   8051 |        0 |        0
814.22/814.47	c  814s |      24 |  3949296 |  3558862 |     1048   8064 |        0 |        0
816.22/816.48	c  816s |      24 |  3957761 |  3566562 |     1048   8077 |        0 |        0
818.32/818.50	c  818s |      24 |  3966654 |  3574762 |     1048   8092 |        0 |        0
820.32/820.52	c  820s |      24 |  3975120 |  3582562 |     1048   8105 |        0 |        0
822.32/822.55	c  822s |      24 |  3983273 |  3590062 |     1048   8118 |        0 |        0
824.31/824.56	c  824s |      24 |  3992330 |  3598062 |     1048   8132 |        0 |        0
826.31/826.57	c  826s |      24 |  4001754 |  3606462 |     1048   8147 |        0 |        0
828.31/828.59	c  828s |      24 |  4011207 |  3614962 |     1048   8162 |        0 |        0
830.31/830.60	c  830s |      24 |  4019843 |  3622762 |     1048   8175 |        0 |        0
832.41/832.63	c  832s |      24 |  4028755 |  3630662 |     1048   8189 |        0 |        0
834.41/834.64	c  834s |      24 |  4036499 |  3637962 |     1048   8202 |        0 |        0
836.41/836.64	c  836s |      24 |  4044227 |  3645162 |     1048   8214 |        0 |        0
838.41/838.67	c  838s |      24 |  4051708 |  3652162 |     1048   8227 |        0 |        0
840.41/840.68	c  840s |      24 |  4059711 |  3659562 |     1048   8239 |        0 |        0
842.41/842.69	c  842s |      24 |  4067951 |  3667162 |     1048   8253 |        0 |        0
844.40/844.69	c  844s |      24 |  4075569 |  3674062 |     1048   8265 |        0 |        0
846.50/846.71	c  846s |      24 |  4084028 |  3681662 |     1048   8278 |        0 |        0
848.50/848.72	c  848s |      24 |  4093168 |  3689962 |     1048   8292 |        0 |        0
850.50/850.74	c  850s |      24 |  4102060 |  3698062 |     1048   8306 |        0 |        0
852.50/852.75	c  852s |      24 |  4111372 |  3706462 |     1048   8321 |        0 |        0
854.51/854.75	c  854s |      24 |  4120962 |  3714962 |     1048   8335 |        0 |        0
856.49/856.77	c  856s |      24 |  4129569 |  3722762 |     1048   8349 |        0 |        0
858.49/858.78	c  858s |      24 |  4137855 |  3730362 |     1048   8362 |        0 |        0
860.59/860.80	c  860s |      24 |  4146168 |  3737862 |     1048   8375 |        0 |        0
862.59/862.80	c  862s |      24 |  4154100 |  3745062 |     1048   8388 |        0 |        0
864.59/864.82	c  864s |      24 |  4162628 |  3752762 |     1048   8401 |        0 |        0
866.59/866.84	c  866s |      24 |  4171175 |  3760462 |     1048   8415 |        0 |        0
868.59/868.87	c  868s |      24 |  4179719 |  3768262 |     1048   8428 |        0 |        0
870.58/870.89	c  870s |      24 |  4187743 |  3775662 |     1048   8441 |        0 |        0
872.68/872.91	c  872s |      24 |  4195514 |  3782862 |     1048   8454 |        0 |        0
874.68/874.94	c  874s |      24 |  4202578 |  3789462 |     1048   8465 |        0 |        0
876.68/876.96	c  876s |      24 |  4209473 |  3795962 |     1048   8476 |        0 |        0
878.68/878.99	c  878s |      24 |  4216606 |  3802662 |     1048   8488 |        0 |        0
880.78/881.02	c  881s |      24 |  4223698 |  3809262 |     1048   8500 |        0 |        0
882.78/883.03	c  883s |      24 |  4231364 |  3816362 |     1048   8512 |        0 |        0
884.77/885.04	c  885s |      24 |  4238734 |  3823062 |     1048   8524 |        0 |        0
886.78/887.04	c  887s |      24 |  4245862 |  3829662 |     1048   8535 |        0 |        0
888.78/889.05	c  889s |      24 |  4253980 |  3837162 |     1048   8548 |        0 |        0
890.79/891.07	c  891s |      24 |  4261449 |  3844162 |     1048   8560 |        0 |        0
892.78/893.07	c  893s |      24 |  4268728 |  3850962 |     1048   8572 |        0 |        0
894.78/895.10	c  895s |      24 |  4275490 |  3857262 |     1048   8583 |        0 |        0
896.87/897.11	c  897s |      24 |  4283084 |  3864362 |     1048   8595 |        0 |        0
898.87/899.12	c  899s |      24 |  4291370 |  3871962 |     1048   8608 |        0 |        0
900.87/901.15	c  901s |      24 |  4298967 |  3879062 |     1048   8621 |        0 |        0
902.87/903.17	c  903s |      24 |  4306391 |  3885962 |     1048   8632 |        0 |        0
904.87/905.19	c  905s |      24 |  4314033 |  3893062 |     1048   8645 |        0 |        0
906.96/907.21	c  907s |      24 |  4322247 |  3900662 |     1048   8658 |        0 |        0
908.96/909.22	c  909s |      24 |  4330872 |  3908462 |     1048   8671 |        0 |        0
910.96/911.23	c  911s |      24 |  4339850 |  3916362 |     1048   8685 |        0 |        0
912.96/913.23	c  913s |      24 |  4349096 |  3924562 |     1048   8699 |        0 |        0
914.97/915.24	c  915s |      24 |  4357417 |  3932062 |     1048   8713 |        0 |        0
916.95/917.25	c  917s |      24 |  4364937 |  3938962 |     1048   8724 |        0 |        0
918.95/919.26	c  919s |      24 |  4372165 |  3945662 |     1048   8736 |        0 |        0
920.95/921.28	c  921s |      24 |  4379691 |  3952562 |     1048   8748 |        0 |        0
922.95/923.28	c  923s |      24 |  4387841 |  3960262 |     1048   8761 |        0 |        0
924.96/925.29	c  925s |      24 |  4396150 |  3968062 |     1048   8775 |        0 |        0
926.94/927.30	c  927s |      24 |  4405098 |  3976262 |     1048   8789 |        0 |        0
929.04/929.30	c  929s |      24 |  4414366 |  3984762 |     1048   8804 |        0 |        0
931.04/931.31	c  931s |      24 |  4423044 |  3992662 |     1048   8817 |        0 |        0
933.04/933.33	c  933s |      24 |  4431484 |  4000462 |     1048   8831 |        0 |        0
935.04/935.34	c  935s |      24 |  4439434 |  4007762 |     1048   8844 |        0 |        0
937.04/937.35	c  937s |      24 |  4447412 |  4015062 |     1048   8856 |        0 |        0
939.04/939.37	c  939s |      24 |  4456287 |  4023162 |     1048   8870 |        0 |        0
941.14/941.40	c  941s |      24 |  4464319 |  4030562 |     1048   8883 |        0 |        0
943.14/943.41	c  943s |      24 |  4472351 |  4037962 |     1048   8896 |        0 |        0
945.14/945.43	c  945s |      24 |  4479870 |  4044962 |     1048   8908 |        0 |        0
947.14/947.44	c  947s |      24 |  4487528 |  4052062 |     1048   8920 |        0 |        0
949.15/949.46	c  949s |      24 |  4495909 |  4059762 |     1048   8934 |        0 |        0
951.14/951.48	c  951s |      24 |  4503863 |  4067162 |     1048   8947 |        0 |        0
953.24/953.50	c  953s |      24 |  4511757 |  4074462 |     1048   8959 |        0 |        0
955.24/955.50	c  955s |      24 |  4520313 |  4082362 |     1048   8973 |        0 |        0
957.23/957.52	c  957s |      24 |  4528631 |  4089962 |     1048   8986 |        0 |        0
959.23/959.53	c  959s |      24 |  4536571 |  4097262 |     1048   8999 |        0 |        0
961.24/961.55	c  961s |      24 |  4544992 |  4104962 |     1048   9012 |        0 |        0
963.23/963.55	c  963s |      24 |  4553483 |  4112762 |     1048   9026 |        0 |        0
965.23/965.56	c  965s |      24 |  4561645 |  4120162 |     1048   9039 |        0 |        0
967.22/967.57	c  967s |      24 |  4569449 |  4127262 |     1048   9051 |        0 |        0
969.22/969.57	c  969s |      24 |  4577439 |  4134462 |     1048   9063 |        0 |        0
971.22/971.57	c  971s |      24 |  4585782 |  4141962 |     1048   9076 |        0 |        0
973.23/973.58	c  973s |      24 |  4594850 |  4149962 |     1048   9090 |        0 |        0
975.22/975.59	c  975s |      24 |  4603685 |  4157962 |     1048   9104 |        0 |        0
977.31/977.60	c  977s |      24 |  4612583 |  4166062 |     1048   9118 |        0 |        0
979.31/979.62	c  979s |      24 |  4621538 |  4174062 |     1048   9132 |        0 |        0
981.31/981.63	c  981s |      24 |  4629754 |  4181562 |     1048   9145 |        0 |        0
983.31/983.65	c  983s |      24 |  4637566 |  4188862 |     1048   9158 |        0 |        0
985.32/985.65	c  985s |      24 |  4645573 |  4196262 |     1048   9170 |        0 |        0
987.30/987.67	c  987s |      24 |  4653484 |  4203462 |     1048   9183 |        0 |        0
989.30/989.69	c  989s |      24 |  4662088 |  4211262 |     1048   9196 |        0 |        0
991.40/991.71	c  991s |      24 |  4670309 |  4218762 |     1048   9209 |        0 |        0
993.40/993.73	c  993s |      24 |  4678310 |  4226062 |     1048   9222 |        0 |        0
995.40/995.74	c  995s |      24 |  4686905 |  4233762 |     1048   9235 |        0 |        0
997.41/997.76	c  997s |      24 |  4695477 |  4241262 |     1048   9248 |        0 |        0
999.40/999.76	c  999s |      24 |  4702970 |  4248162 |     1048   9260 |        0 |        0
1001.40/1001.77	c 1001s |      24 |  4711008 |  4255562 |     1048   9273 |        0 |        0
1003.40/1003.78	c 1003s |      24 |  4719037 |  4262962 |     1048   9286 |        0 |        0
1005.40/1005.79	c 1005s |      24 |  4726290 |  4269662 |     1048   9298 |        0 |        0
1007.40/1007.79	c 1007s |      24 |  4735244 |  4277862 |     1048   9312 |        0 |        0
1009.50/1009.81	c 1009s |      24 |  4743605 |  4285562 |     1048   9325 |        0 |        0
1011.49/1011.81	c 1011s |      24 |  4751730 |  4293062 |     1048   9338 |        0 |        0
1013.49/1013.81	c 1013s |      24 |  4760092 |  4300762 |     1048   9351 |        0 |        0
1015.49/1015.82	c 1015s |      24 |  4768720 |  4308662 |     1048   9365 |        0 |        0
1017.48/1017.83	c 1017s |      24 |  4776595 |  4315962 |     1048   9378 |        0 |        0
1019.50/1019.86	c 1019s |      24 |  4785156 |  4323862 |     1048   9392 |        0 |        0
1021.49/1021.87	c 1021s |      24 |  4792746 |  4330962 |     1048   9404 |        0 |        0
1023.49/1023.87	c 1023s |      24 |  4800922 |  4338362 |     1048   9417 |        0 |        0
1025.49/1025.88	c 1025s |      24 |  4809691 |  4346262 |     1048   9430 |        0 |        0
1027.58/1027.90	c 1027s |      24 |  4817993 |  4353762 |     1048   9444 |        0 |        0
1029.58/1029.93	c 1029s |      24 |  4826182 |  4361262 |     1048   9457 |        0 |        0
1031.59/1031.93	c 1031s |      24 |  4834350 |  4368662 |     1048   9469 |        0 |        0
1033.58/1033.95	c 1033s |      24 |  4842587 |  4376162 |     1048   9482 |        0 |        0
1035.58/1035.96	c 1035s |      24 |  4849796 |  4382862 |     1048   9494 |        0 |        0
1037.57/1037.96	c 1037s |      24 |  4858044 |  4390362 |     1048   9507 |        0 |        0
1039.57/1039.98	c 1039s |      24 |  4866260 |  4397962 |     1048   9520 |        0 |        0
1041.67/1042.00	c 1041s |      24 |  4874115 |  4405162 |     1048   9533 |        0 |        0
1043.68/1044.01	c 1043s |      24 |  4881751 |  4412162 |     1048   9545 |        0 |        0
1045.67/1046.03	c 1046s |      24 |  4889398 |  4419062 |     1048   9557 |        0 |        0
1047.66/1048.05	c 1048s |      24 |  4896336 |  4425362 |     1048   9568 |        0 |        0
1049.66/1050.06	c 1050s |      24 |  4902714 |  4431262 |     1048   9578 |        0 |        0
1051.66/1052.06	c 1052s |      24 |  4910347 |  4438262 |     1048   9590 |        0 |        0
1053.66/1054.06	c 1054s |      24 |  4917135 |  4444562 |     1048   9601 |        0 |        0
1055.67/1056.09	c 1056s |      24 |  4924973 |  4451662 |     1048   9613 |        0 |        0
1057.76/1058.11	c 1058s |      24 |  4934000 |  4459762 |     1048   9627 |        0 |        0
1059.76/1060.11	c 1060s |      24 |  4942831 |  4467562 |     1048   9641 |        0 |        0
1061.76/1062.11	c 1062s |      24 |  4951872 |  4475562 |     1048   9655 |        0 |        0
1063.76/1064.13	c 1064s |      24 |  4960359 |  4483262 |     1048   9668 |        0 |        0
1065.76/1066.14	c 1066s |      24 |  4969500 |  4491362 |     1048   9682 |        0 |        0
1067.77/1068.17	c 1068s |      24 |  4977541 |  4498762 |     1048   9695 |        0 |        0
1069.76/1070.19	c 1070s |      24 |  4985453 |  4506062 |     1048   9707 |        0 |        0
1071.86/1072.20	c 1072s |      24 |  4993460 |  4513362 |     1048   9720 |        0 |        0
1073.86/1074.23	c 1074s |      24 |  5001299 |  4520562 |     1048   9733 |        0 |        0
1075.86/1076.25	c 1076s |      24 |  5008843 |  4527562 |     1048   9745 |        0 |        0
1077.85/1078.28	c 1078s |      24 |  5017026 |  4535062 |     1048   9758 |        0 |        0
1079.86/1080.29	c 1080s |      24 |  5025208 |  4542462 |     1048   9770 |        0 |        0
1081.95/1082.30	c 1082s |      24 |  5032793 |  4549462 |     1048   9782 |        0 |        0
1083.95/1084.31	c 1084s |      24 |  5040271 |  4556362 |     1048   9794 |        0 |        0
1085.94/1086.31	c 1086s |      24 |  5048604 |  4564062 |     1048   9808 |        0 |        0
1087.94/1088.34	c 1088s |      24 |  5056451 |  4571362 |     1048   9820 |        0 |        0
1089.94/1090.34	c 1090s |      24 |  5063388 |  4577862 |     1048   9832 |        0 |        0
1091.95/1092.36	c 1092s |      24 |  5072596 |  4586262 |     1048   9846 |        0 |        0
1093.94/1094.39	c 1094s |      24 |  5080879 |  4593862 |     1048   9859 |        0 |        0
1096.04/1096.40	c 1096s |      24 |  5089652 |  4601762 |     1048   9873 |        0 |        0
1098.03/1098.42	c 1098s |      24 |  5098553 |  4609562 |     1048   9886 |        0 |        0
1100.03/1100.42	c 1100s |      24 |  5107143 |  4617262 |     1048   9900 |        0 |        0
1102.03/1102.45	c 1102s |      24 |  5114685 |  4624162 |     1048   9912 |        0 |        0
1104.03/1104.47	c 1104s |      24 |  5120895 |  4629862 |     1048   9921 |        0 |        0
1106.03/1106.47	c 1106s |      24 |  5128780 |  4637062 |     1048   9934 |        0 |        0
1108.02/1108.49	c 1108s |      24 |  5136805 |  4644262 |     1048   9946 |        0 |        0
1110.12/1110.50	c 1110s |      24 |  5144395 |  4651162 |     1048   9958 |        0 |        0
1112.12/1112.53	c 1112s |      24 |  5152494 |  4658562 |     1048   9971 |        0 |        0
1114.12/1114.54	c 1114s |      24 |  5160302 |  4665762 |     1048   9984 |        0 |        0
1116.13/1116.57	c 1116s |      24 |  5168251 |  4673162 |     1048   9997 |        0 |        0
1118.11/1118.57	c 1118s |      24 |  5175975 |  4680162 |     1048  10009 |        0 |        0
1120.12/1120.57	c 1120s |      24 |  5183807 |  4687262 |     1048  10021 |        0 |        0
1122.12/1122.58	c 1122s |      24 |  5191812 |  4694562 |     1048  10034 |        0 |        0
1124.22/1124.61	c 1124s |      24 |  5199282 |  4701462 |     1048  10046 |        0 |        0
1126.21/1126.63	c 1126s |      24 |  5208585 |  4709862 |     1048  10061 |        0 |        0
1128.22/1128.64	c 1128s |      24 |  5217314 |  4717962 |     1048  10075 |        0 |        0
1130.21/1130.65	c 1130s |      24 |  5225597 |  4725762 |     1048  10088 |        0 |        0
1132.21/1132.67	c 1132s |      24 |  5234232 |  4733662 |     1048  10102 |        0 |        0
1134.21/1134.68	c 1134s |      24 |  5242348 |  4741162 |     1048  10115 |        0 |        0
1136.30/1136.70	c 1136s |      24 |  5251021 |  4749062 |     1048  10129 |        0 |        0
1138.30/1138.71	c 1138s |      24 |  5259710 |  4756962 |     1048  10142 |        0 |        0
1140.31/1140.71	c 1140s |      24 |  5267885 |  4764462 |     1048  10155 |        0 |        0
1142.30/1142.72	c 1142s |      24 |  5276309 |  4772162 |     1048  10169 |        0 |        0
1144.30/1144.74	c 1144s |      24 |  5284445 |  4779662 |     1048  10182 |        0 |        0
1146.29/1146.74	c 1146s |      24 |  5292496 |  4786962 |     1048  10195 |        0 |        0
1148.30/1148.76	c 1148s |      24 |  5300402 |  4794262 |     1048  10207 |        0 |        0
1150.31/1150.79	c 1150s |      24 |  5307922 |  4801262 |     1048  10219 |        0 |        0
1152.30/1152.79	c 1152s |      24 |  5315982 |  4808562 |     1048  10232 |        0 |        0
1154.40/1154.81	c 1154s |      24 |  5324387 |  4816162 |     1048  10245 |        0 |        0
1156.39/1156.83	c 1156s |      24 |  5333033 |  4824062 |     1048  10259 |        0 |        0
1158.39/1158.85	c 1158s |      24 |  5340992 |  4831362 |     1048  10272 |        0 |        0
1160.39/1160.87	c 1160s |      24 |  5349358 |  4838862 |     1048  10285 |        0 |        0
1162.40/1162.89	c 1162s |      24 |  5357640 |  4846362 |     1048  10298 |        0 |        0
1164.39/1164.90	c 1164s |      24 |  5365921 |  4853862 |     1048  10311 |        0 |        0
1166.49/1166.93	c 1166s |      24 |  5373776 |  4861162 |     1048  10324 |        0 |        0
1168.49/1168.95	c 1168s |      24 |  5381562 |  4868362 |     1048  10336 |        0 |        0
1170.49/1170.97	c 1170s |      24 |  5389823 |  4876062 |     1048  10349 |        0 |        0
1172.48/1172.97	c 1172s |      24 |  5397971 |  4883462 |     1048  10362 |        0 |        0
1174.49/1174.99	c 1174s |      24 |  5405832 |  4890562 |     1048  10375 |        0 |        0
1176.48/1177.00	c 1176s |      24 |  5413822 |  4897862 |     1048  10387 |        0 |        0
1178.58/1179.01	c 1179s |      24 |  5421844 |  4905162 |     1048  10400 |        0 |        0
1180.58/1181.04	c 1181s |      24 |  5429769 |  4912462 |     1048  10413 |        0 |        0
1182.58/1183.06	c 1183s |      24 |  5437971 |  4919962 |     1048  10426 |        0 |        0
1184.58/1185.07	c 1185s |      24 |  5445870 |  4927262 |     1048  10438 |        0 |        0
1186.58/1187.07	c 1187s |      24 |  5454059 |  4934662 |     1048  10451 |        0 |        0
1188.58/1189.08	c 1189s |      24 |  5462401 |  4942162 |     1048  10464 |        0 |        0
1190.58/1191.09	c 1191s |      24 |  5470198 |  4949262 |     1048  10476 |        0 |        0
1192.67/1193.11	c 1193s |      24 |  5479304 |  4957362 |     1048  10490 |        0 |        0
1194.67/1195.13	c 1195s |      24 |  5487769 |  4964962 |     1048  10503 |        0 |        0
1196.67/1197.13	c 1197s |      24 |  5495487 |  4971962 |     1048  10515 |        0 |        0
1198.68/1199.15	c 1199s |      24 |  5503853 |  4979362 |     1048  10528 |        0 |        0
1200.67/1201.17	c 1201s |      24 |  5510777 |  4985662 |     1048  10539 |        0 |        0
1202.67/1203.19	c 1203s |      24 |  5517466 |  4991762 |     1048  10550 |        0 |        0
1204.77/1205.21	c 1205s |      24 |  5524311 |  4998062 |     1048  10561 |        0 |        0
1206.76/1207.22	c 1207s |      24 |  5531370 |  5004662 |     1048  10572 |        0 |        0
1208.76/1209.25	c 1209s |      24 |  5538657 |  5011462 |     1048  10584 |        0 |        0
1210.77/1211.25	c 1211s |      24 |  5545581 |  5017862 |     1048  10595 |        0 |        0
1212.76/1213.27	c 1213s |      24 |  5552416 |  5024262 |     1048  10606 |        0 |        0
1214.86/1215.30	c 1215s |      24 |  5559353 |  5030662 |     1153  10616 |        0 |        0
1216.86/1217.30	c 1217s |      24 |  5565927 |  5036762 |     1153  10626 |        0 |        0
1218.85/1219.31	c 1219s |      24 |  5572004 |  5042462 |     1153  10635 |        0 |        0
1220.85/1221.33	c 1221s |      24 |  5578462 |  5048462 |     1153  10645 |        0 |        0
1222.86/1223.34	c 1223s |      24 |  5585860 |  5055362 |     1153  10655 |        0 |        0
1224.85/1225.36	c 1225s |      24 |  5593176 |  5062162 |     1153  10666 |        0 |        0
1225.85/1226.30	c 1226s |      25 |  5596324 |  5065098 |     1153  10671 |        0 |        0
1227.85/1228.33	c 1228s |      25 |  5605134 |  5072998 |     1153  10684 |        0 |        0
1229.86/1230.33	c 1230s |      25 |  5614090 |  5081298 |     1153  10697 |        0 |        0
1231.86/1232.35	c 1232s |      25 |  5623131 |  5089498 |     1153  10710 |        0 |        0
1233.86/1234.37	c 1234s |      25 |  5632485 |  5097798 |     1153  10723 |        0 |        0
1235.86/1236.38	c 1236s |      25 |  5641071 |  5105598 |     1153  10736 |        0 |        0
1237.85/1238.38	c 1238s |      25 |  5649336 |  5113098 |     1153  10748 |        0 |        0
1239.95/1240.40	c 1240s |      25 |  5657304 |  5120398 |     1153  10760 |        0 |        0
1241.95/1242.41	c 1242s |      25 |  5664874 |  5127398 |     1153  10771 |        0 |        0
1243.95/1244.42	c 1244s |      25 |  5672061 |  5133998 |     1153  10781 |        0 |        0
1245.96/1246.44	c 1246s |      25 |  5679457 |  5140898 |     1153  10792 |        0 |        0
1247.94/1248.47	c 1248s |      25 |  5687541 |  5148298 |     1153  10804 |        0 |        0
1250.04/1250.50	c 1250s |      25 |  5695802 |  5155898 |     1153  10816 |        0 |        0
1252.04/1252.51	c 1252s |      25 |  5704018 |  5163398 |     1153  10828 |        0 |        0
1254.04/1254.52	c 1254s |      25 |  5712316 |  5170998 |     1153  10841 |        0 |        0
1256.04/1256.55	c 1256s |      25 |  5721474 |  5179098 |     1153  10853 |        0 |        0
1258.04/1258.57	c 1258s |      25 |  5730157 |  5186898 |     1153  10866 |        0 |        0
1260.03/1260.58	c 1260s |      25 |  5738599 |  5194598 |     1153  10878 |        0 |        0
1262.03/1262.58	c 1262s |      25 |  5746522 |  5201798 |     1153  10890 |        0 |        0
1264.13/1264.60	c 1264s |      25 |  5754954 |  5209398 |     1153  10902 |        0 |        0
1266.13/1266.60	c 1266s |      25 |  5762834 |  5216698 |     1153  10914 |        0 |        0
1268.13/1268.62	c 1268s |      25 |  5770788 |  5223898 |     1153  10925 |        0 |        0
1270.14/1270.64	c 1270s |      25 |  5779349 |  5231698 |     1153  10938 |        0 |        0
1272.13/1272.66	c 1272s |      25 |  5787439 |  5238998 |     1153  10949 |        0 |        0
1274.13/1274.68	c 1274s |      25 |  5795135 |  5245998 |     1153  10961 |        0 |        0
1276.13/1276.68	c 1276s |      25 |  5803440 |  5253598 |     1153  10973 |        0 |        0
1278.22/1278.70	c 1278s |      25 |  5811724 |  5261198 |     1153  10985 |        0 |        0
1280.22/1280.71	c 1280s |      25 |  5819625 |  5268498 |     1153  10997 |        0 |        0
1282.23/1282.71	c 1282s |      25 |  5827275 |  5275398 |     1153  11008 |        0 |        0
1284.22/1284.71	c 1284s |      25 |  5834775 |  5282298 |     1153  11019 |        0 |        0
1286.22/1286.73	c 1286s |      25 |  5843605 |  5290198 |     1153  11031 |        0 |        0
1288.21/1288.73	c 1288s |      25 |  5852282 |  5297998 |     1153  11044 |        0 |        0
1290.21/1290.75	c 1290s |      25 |  5860822 |  5305698 |     1153  11056 |        0 |        0
1292.21/1292.76	c 1292s |      25 |  5869812 |  5313698 |     1153  11069 |        0 |        0
1294.22/1294.78	c 1294s |      25 |  5878396 |  5321498 |     1153  11081 |        0 |        0
1296.21/1296.79	c 1296s |      25 |  5887609 |  5329798 |     1153  11095 |        0 |        0
1298.21/1298.79	c 1298s |      25 |  5896681 |  5337998 |     1153  11108 |        0 |        0
1300.31/1300.81	c 1300s |      25 |  5906020 |  5346498 |     1153  11121 |        0 |        0
1302.31/1302.83	c 1302s |      25 |  5915355 |  5354698 |     1153  11135 |        0 |        0
1304.30/1304.83	c 1304s |      25 |  5924134 |  5362498 |     1153  11147 |        0 |        0
1306.31/1306.85	c 1306s |      25 |  5932736 |  5369998 |     1153  11159 |        0 |        0
1308.30/1308.87	c 1308s |      25 |  5941074 |  5377598 |     1153  11172 |        0 |        0
1310.30/1310.87	c 1310s |      25 |  5949200 |  5384898 |     1153  11183 |        0 |        0
1312.41/1312.90	c 1312s |      25 |  5957836 |  5392598 |     1153  11196 |        0 |        0
1314.41/1314.92	c 1314s |      25 |  5966133 |  5400198 |     1153  11208 |        0 |        0
1316.40/1316.95	c 1316s |      25 |  5974474 |  5407898 |     1153  11220 |        0 |        0
1318.41/1318.97	c 1318s |      25 |  5983363 |  5415898 |     1153  11233 |        0 |        0
1320.40/1320.99	c 1320s |      25 |  5991727 |  5423298 |     1153  11245 |        0 |        0
1322.50/1323.01	c 1322s |      25 |  5999732 |  5430498 |     1153  11256 |        0 |        0
1324.50/1325.01	c 1324s |      25 |  6008538 |  5438498 |     1153  11269 |        0 |        0
1326.50/1327.03	c 1327s |      25 |  6016519 |  5445698 |     1153  11281 |        0 |        0
1328.50/1329.03	c 1329s |      25 |  6025313 |  5453598 |     1153  11293 |        0 |        0
1330.50/1331.05	c 1331s |      25 |  6033530 |  5461098 |     1153  11305 |        0 |        0
1332.49/1333.07	c 1333s |      25 |  6041204 |  5468098 |     1153  11317 |        0 |        0
1334.49/1335.08	c 1335s |      25 |  6049362 |  5475498 |     1153  11329 |        0 |        0
1336.49/1337.09	c 1337s |      25 |  6057705 |  5483098 |     1153  11341 |        0 |        0
1338.59/1339.11	c 1339s |      25 |  6066172 |  5490898 |     1153  11353 |        0 |        0
1340.59/1341.12	c 1341s |      25 |  6074734 |  5498598 |     1153  11366 |        0 |        0
1342.60/1343.15	c 1343s |      25 |  6083225 |  5506398 |     1153  11378 |        0 |        0
1344.59/1345.16	c 1345s |      25 |  6091159 |  5513698 |     1153  11390 |        0 |        0
1346.58/1347.16	c 1347s |      25 |  6099242 |  5521098 |     1153  11402 |        0 |        0
1348.58/1349.16	c 1349s |      25 |  6107601 |  5528498 |     1153  11413 |        0 |        0
1350.58/1351.18	c 1351s |      25 |  6115625 |  5535798 |     1153  11425 |        0 |        0
1352.59/1353.18	c 1353s |      25 |  6123068 |  5542598 |     1153  11436 |        0 |        0
1354.69/1355.22	c 1355s |      25 |  6130277 |  5549198 |     1153  11447 |        0 |        0
1356.68/1357.22	c 1357s |      25 |  6137266 |  5555698 |     1153  11457 |        0 |        0
1358.68/1359.24	c 1359s |      25 |  6144296 |  5562298 |     1153  11468 |        0 |        0
1360.68/1361.24	c 1361s |      25 |  6151325 |  5568898 |     1153  11478 |        0 |        0
1362.68/1363.25	c 1363s |      25 |  6158096 |  5575298 |     1153  11488 |        0 |        0
1364.68/1365.26	c 1365s |      25 |  6165430 |  5581998 |     1153  11499 |        0 |        0
1366.68/1367.28	c 1367s |      25 |  6173500 |  5589398 |     1153  11511 |        0 |        0
1368.67/1369.29	c 1369s |      25 |  6181972 |  5597098 |     1153  11523 |        0 |        0
1370.67/1371.29	c 1371s |      25 |  6190216 |  5604598 |     1153  11535 |        0 |        0
1372.77/1373.31	c 1373s |      25 |  6198327 |  5611998 |     1153  11547 |        0 |        0
1374.77/1375.33	c 1375s |      25 |  6206191 |  5619198 |     1153  11558 |        0 |        0
1376.78/1377.35	c 1377s |      25 |  6213152 |  5625698 |     1153  11569 |        0 |        0
1378.77/1379.37	c 1379s |      25 |  6220844 |  5632798 |     1153  11580 |        0 |        0
1380.77/1381.39	c 1381s |      25 |  6228339 |  5639798 |     1153  11591 |        0 |        0
1382.77/1383.39	c 1383s |      25 |  6236440 |  5647198 |     1153  11603 |        0 |        0
1384.87/1385.42	c 1385s |      25 |  6244973 |  5654998 |     1153  11615 |        0 |        0
1386.87/1387.45	c 1387s |      25 |  6253434 |  5662698 |     1153  11628 |        0 |        0
1388.87/1389.47	c 1389s |      25 |  6261796 |  5670398 |     1153  11640 |        0 |        0
1390.87/1391.50	c 1391s |      25 |  6269739 |  5677698 |     1153  11652 |        0 |        0
1392.97/1393.50	c 1393s |      25 |  6278373 |  5685398 |     1153  11664 |        0 |        0
1394.97/1395.52	c 1395s |      25 |  6287193 |  5693298 |     1153  11677 |        0 |        0
1396.97/1397.55	c 1397s |      25 |  6296206 |  5701298 |     1153  11689 |        0 |        0
1398.97/1399.57	c 1399s |      25 |  6304246 |  5708698 |     1153  11701 |        0 |        0
1400.98/1401.57	c 1401s |      25 |  6312286 |  5715998 |     1153  11713 |        0 |        0
1402.97/1403.59	c 1403s |      25 |  6319600 |  5722698 |     1153  11724 |        0 |        0
1405.07/1405.60	c 1405s |      25 |  6328044 |  5730398 |     1153  11736 |        0 |        0
1407.07/1407.62	c 1407s |      25 |  6335455 |  5737298 |     1153  11747 |        0 |        0
1409.07/1409.64	c 1409s |      25 |  6343978 |  5745098 |     1153  11760 |        0 |        0
1411.07/1411.66	c 1411s |      25 |  6352255 |  5752698 |     1153  11772 |        0 |        0
1413.08/1413.69	c 1413s |      25 |  6360350 |  5760198 |     1153  11784 |        0 |        0
1415.07/1415.70	c 1415s |      25 |  6368514 |  5767698 |     1153  11796 |        0 |        0
1417.17/1417.71	c 1417s |      25 |  6376873 |  5775298 |     1153  11808 |        0 |        0
1419.17/1419.71	c 1419s |      25 |  6385409 |  5782898 |     1153  11820 |        0 |        0
1421.17/1421.71	c 1421s |      25 |  6393656 |  5790298 |     1153  11832 |        0 |        0
1423.17/1423.73	c 1423s |      25 |  6401816 |  5797698 |     1153  11844 |        0 |        0
1425.18/1425.76	c 1425s |      25 |  6409931 |  5805098 |     1153  11856 |        0 |        0
1427.17/1427.77	c 1427s |      25 |  6418187 |  5812598 |     1153  11868 |        0 |        0
1429.17/1429.79	c 1429s |      25 |  6426406 |  5819998 |     1153  11880 |        0 |        0
1431.27/1431.81	c 1431s |      25 |  6435414 |  5827898 |     1153  11892 |        0 |        0
1433.26/1433.84	c 1433s |      25 |  6443934 |  5835498 |     1153  11904 |        0 |        0
1435.26/1435.86	c 1435s |      25 |  6451943 |  5842698 |     1153  11916 |        0 |        0
1437.27/1437.89	c 1437s |      25 |  6459880 |  5849898 |     1153  11928 |        0 |        0
1439.37/1439.91	c 1439s |      25 |  6468356 |  5857398 |     1153  11940 |        0 |        0
1441.36/1441.94	c 1441s |      25 |  6476755 |  5864898 |     1153  11952 |        0 |        0
1443.36/1443.95	c 1443s |      25 |  6485703 |  5872798 |     1153  11964 |        0 |        0
1445.36/1445.98	c 1445s |      25 |  6494506 |  5880798 |     1153  11977 |        0 |        0
1447.46/1448.01	c 1447s |      25 |  6503338 |  5888498 |     1153  11990 |        0 |        0
1449.46/1450.02	c 1450s |      25 |  6512081 |  5896298 |     1153  12002 |        0 |        0
1451.47/1452.02	c 1452s |      25 |  6519973 |  5903398 |     1153  12013 |        0 |        0
1453.46/1454.03	c 1454s |      25 |  6527825 |  5910598 |     1153  12025 |        0 |        0
1455.46/1456.04	c 1456s |      25 |  6536213 |  5918198 |     1153  12037 |        0 |        0
1457.46/1458.06	c 1458s |      25 |  6544566 |  5925598 |     1153  12049 |        0 |        0
1459.46/1460.08	c 1460s |      25 |  6553176 |  5933198 |     1153  12061 |        0 |        0
1461.46/1462.09	c 1462s |      25 |  6562328 |  5941198 |     1153  12074 |        0 |        0
1463.46/1464.10	c 1464s |      25 |  6570494 |  5948698 |     1153  12086 |        0 |        0
1465.56/1466.11	c 1466s |      25 |  6578906 |  5956298 |     1153  12098 |        0 |        0
1467.55/1468.12	c 1468s |      25 |  6587563 |  5963998 |     1153  12110 |        0 |        0
1469.56/1470.15	c 1470s |      25 |  6595870 |  5971398 |     1153  12122 |        0 |        0
1471.56/1472.16	c 1472s |      25 |  6604367 |  5978998 |     1153  12134 |        0 |        0
1473.57/1474.16	c 1474s |      25 |  6612930 |  5986698 |     1153  12147 |        0 |        0
1475.56/1476.18	c 1476s |      25 |  6620943 |  5993898 |     1153  12158 |        0 |        0
1477.56/1478.19	c 1478s |      25 |  6629813 |  6001698 |     1153  12170 |        0 |        0
1479.66/1480.20	c 1480s |      25 |  6637854 |  6008998 |     1153  12182 |        0 |        0
1481.66/1482.22	c 1482s |      25 |  6646094 |  6016398 |     1153  12194 |        0 |        0
1483.66/1484.23	c 1484s |      25 |  6654001 |  6023498 |     1153  12205 |        0 |        0
1485.67/1486.24	c 1486s |      25 |  6662806 |  6031298 |     1153  12217 |        0 |        0
1487.66/1488.24	c 1488s |      25 |  6671650 |  6039298 |     1153  12230 |        0 |        0
1489.66/1490.25	c 1490s |      25 |  6681294 |  6047898 |     1153  12244 |        0 |        0
1491.66/1492.27	c 1492s |      25 |  6690354 |  6056198 |     1153  12257 |        0 |        0
1493.66/1494.29	c 1494s |      25 |  6698888 |  6063898 |     1153  12269 |        0 |        0
1495.75/1496.31	c 1496s |      25 |  6706911 |  6071298 |     1153  12281 |        0 |        0
1497.76/1498.32	c 1498s |      25 |  6714459 |  6078398 |     1153  12292 |        0 |        0
1499.75/1500.32	c 1500s |      25 |  6722398 |  6085698 |     1153  12304 |        0 |        0
1501.75/1502.35	c 1502s |      25 |  6730129 |  6092898 |     1153  12316 |        0 |        0
1503.75/1504.36	c 1504s |      25 |  6737619 |  6099798 |     1153  12327 |        0 |        0
1505.75/1506.38	c 1506s |      25 |  6744619 |  6106298 |     1153  12337 |        0 |        0
1507.85/1508.40	c 1508s |      25 |  6752340 |  6113298 |     1153  12348 |        0 |        0
1509.86/1510.40	c 1510s |      25 |  6760064 |  6120398 |     1153  12360 |        0 |        0
1511.85/1512.41	c 1512s |      25 |  6767980 |  6127798 |     1153  12371 |        0 |        0
1513.86/1514.43	c 1514s |      25 |  6775994 |  6135098 |     1153  12383 |        0 |        0
1515.86/1516.46	c 1516s |      25 |  6783670 |  6142198 |     1153  12394 |        0 |        0
1517.86/1518.49	c 1518s |      25 |  6791917 |  6149798 |     1153  12407 |        0 |        0
1519.86/1520.50	c 1520s |      25 |  6800380 |  6157298 |     1153  12419 |        0 |        0
1521.86/1522.50	c 1522s |      25 |  6808772 |  6164898 |     1153  12431 |        0 |        0
1523.95/1524.52	c 1524s |      25 |  6817522 |  6172798 |     1153  12443 |        0 |        0
1525.95/1526.53	c 1526s |      25 |  6825909 |  6180298 |     1153  12455 |        0 |        0
1527.95/1528.53	c 1528s |      25 |  6834879 |  6188198 |     1153  12468 |        0 |        0
1529.95/1530.56	c 1530s |      25 |  6842982 |  6195598 |     1153  12480 |        0 |        0
1531.95/1532.56	c 1532s |      25 |  6851249 |  6203098 |     1153  12492 |        0 |        0
1533.96/1534.59	c 1534s |      25 |  6859755 |  6210798 |     1153  12504 |        0 |        0
1535.95/1536.59	c 1536s |      25 |  6868441 |  6218598 |     1153  12517 |        0 |        0
1538.05/1538.60	c 1538s |      25 |  6877399 |  6226698 |     1153  12530 |        0 |        0
1540.05/1540.62	c 1540s |      25 |  6886351 |  6234598 |     1153  12542 |        0 |        0
1542.05/1542.63	c 1542s |      25 |  6895077 |  6242398 |     1153  12555 |        0 |        0
1544.05/1544.64	c 1544s |      25 |  6903536 |  6249998 |     1153  12567 |        0 |        0
1546.06/1546.66	c 1546s |      25 |  6911246 |  6257098 |     1153  12578 |        0 |        0
1548.05/1548.67	c 1548s |      25 |  6919017 |  6264198 |     1153  12590 |        0 |        0
1550.05/1550.68	c 1550s |      25 |  6926009 |  6270698 |     1153  12600 |        0 |        0
1552.05/1552.69	c 1552s |      25 |  6932828 |  6277098 |     1153  12610 |        0 |        0
1554.14/1554.70	c 1554s |      25 |  6940510 |  6283898 |     1153  12621 |        0 |        0
1556.14/1556.72	c 1556s |      25 |  6948448 |  6291098 |     1153  12633 |        0 |        0
1558.15/1558.74	c 1558s |      25 |  6956338 |  6298298 |     1153  12644 |        0 |        0
1560.14/1560.76	c 1560s |      25 |  6964362 |  6305598 |     1153  12656 |        0 |        0
1562.14/1562.76	c 1562s |      25 |  6972334 |  6312798 |     1153  12667 |        0 |        0
1564.14/1564.76	c 1564s |      25 |  6980765 |  6320298 |     1153  12679 |        0 |        0
1566.14/1566.78	c 1566s |      25 |  6989368 |  6327998 |     1153  12691 |        0 |        0
1568.24/1568.80	c 1568s |      25 |  6997573 |  6335298 |     1153  12703 |        0 |        0
1570.25/1570.82	c 1570s |      25 |  7005828 |  6342598 |     1153  12715 |        0 |        0
1572.24/1572.84	c 1572s |      25 |  7014045 |  6349998 |     1153  12727 |        0 |        0
1574.24/1574.86	c 1574s |      25 |  7022131 |  6357198 |     1153  12738 |        0 |        0
1576.24/1576.88	c 1576s |      25 |  7030181 |  6364498 |     1153  12750 |        0 |        0
1578.34/1578.90	c 1578s |      25 |  7037954 |  6371498 |     1153  12761 |        0 |        0
1580.34/1580.92	c 1580s |      25 |  7045800 |  6378798 |     1153  12773 |        0 |        0
1582.35/1582.92	c 1582s |      25 |  7053235 |  6385698 |     1153  12784 |        0 |        0
1584.34/1584.94	c 1584s |      25 |  7060722 |  6392598 |     1153  12795 |        0 |        0
1586.34/1586.95	c 1586s |      25 |  7068388 |  6399498 |     1153  12806 |        0 |        0
1588.34/1588.98	c 1588s |      25 |  7076593 |  6406698 |     1153  12817 |        0 |        0
1590.44/1591.00	c 1590s |      25 |  7084342 |  6413698 |     1153  12828 |        0 |        0
1592.44/1593.00	c 1592s |      25 |  7092009 |  6420798 |     1153  12840 |        0 |        0
1594.44/1595.02	c 1595s |      25 |  7099558 |  6427798 |     1153  12851 |        0 |        0
1596.44/1597.04	c 1597s |      25 |  7106803 |  6434598 |     1153  12862 |        0 |        0
1598.44/1599.05	c 1599s |      25 |  7114219 |  6441298 |     1153  12872 |        0 |        0
1600.43/1601.05	c 1601s |      25 |  7121625 |  6448098 |     1153  12883 |        0 |        0
1602.43/1603.07	c 1603s |      25 |  7128095 |  6453998 |     1153  12893 |        0 |        0
1604.44/1605.09	c 1605s |      25 |  7135205 |  6460598 |     1153  12903 |        0 |        0
1606.54/1607.11	c 1607s |      25 |  7143253 |  6467998 |     1153  12915 |        0 |        0
1608.54/1609.12	c 1609s |      25 |  7151407 |  6475498 |     1153  12927 |        0 |        0
1610.54/1611.13	c 1611s |      25 |  7159125 |  6482698 |     1153  12939 |        0 |        0
1612.54/1613.14	c 1613s |      25 |  7166814 |  6489898 |     1153  12951 |        0 |        0
1614.54/1615.14	c 1615s |      25 |  7175305 |  6497598 |     1153  12963 |        0 |        0
1616.55/1617.15	c 1617s |      25 |  7183347 |  6504998 |     1153  12975 |        0 |        0
1618.54/1619.18	c 1619s |      25 |  7190962 |  6511998 |     1153  12986 |        0 |        0
1620.54/1621.19	c 1621s |      25 |  7198440 |  6518898 |     1153  12997 |        0 |        0
1622.64/1623.20	c 1623s |      25 |  7206175 |  6525898 |     1153  13008 |        0 |        0
1624.64/1625.20	c 1625s |      25 |  7214765 |  6533598 |     1153  13021 |        0 |        0
1626.64/1627.21	c 1627s |      25 |  7223342 |  6541398 |     1153  13033 |        0 |        0
1628.65/1629.22	c 1629s |      25 |  7231525 |  6548898 |     1153  13045 |        0 |        0
1630.64/1631.24	c 1631s |      25 |  7239507 |  6556098 |     1153  13057 |        0 |        0
1632.63/1633.27	c 1633s |      25 |  7248283 |  6563998 |     1153  13069 |        0 |        0
1634.63/1635.29	c 1635s |      25 |  7257049 |  6571898 |     1153  13082 |        0 |        0
1636.73/1637.31	c 1637s |      25 |  7264791 |  6578898 |     1153  13093 |        0 |        0
1638.73/1639.33	c 1639s |      25 |  7272794 |  6586098 |     1153  13105 |        0 |        0
1640.74/1641.34	c 1641s |      25 |  7281811 |  6594198 |     1153  13117 |        0 |        0
1642.73/1643.35	c 1643s |      25 |  7290194 |  6601898 |     1153  13130 |        0 |        0
1644.73/1645.38	c 1645s |      25 |  7297811 |  6608898 |     1153  13141 |        0 |        0
1646.73/1647.38	c 1647s |      25 |  7305351 |  6615798 |     1153  13152 |        0 |        0
1648.73/1649.39	c 1649s |      25 |  7312868 |  6622798 |     1153  13163 |        0 |        0
1650.83/1651.41	c 1651s |      25 |  7320458 |  6629798 |     1153  13174 |        0 |        0
1652.84/1653.42	c 1653s |      25 |  7327872 |  6636598 |     1153  13185 |        0 |        0
1654.83/1655.45	c 1655s |      25 |  7336065 |  6643998 |     1153  13197 |        0 |        0
1656.83/1657.47	c 1657s |      25 |  7343635 |  6650998 |     1153  13208 |        0 |        0
1658.83/1659.49	c 1659s |      25 |  7351481 |  6658098 |     1153  13219 |        0 |        0
1660.93/1661.50	c 1661s |      25 |  7358928 |  6664898 |     1153  13230 |        0 |        0
1662.93/1663.53	c 1663s |      25 |  7365635 |  6671098 |     1153  13240 |        0 |        0
1664.94/1665.53	c 1665s |      25 |  7372490 |  6677398 |     1153  13251 |        0 |        0
1666.93/1667.54	c 1667s |      25 |  7379408 |  6683798 |     1153  13261 |        0 |        0
1668.93/1669.57	c 1669s |      25 |  7386670 |  6690398 |     1153  13272 |        0 |        0
1670.93/1671.57	c 1671s |      25 |  7393860 |  6696898 |     1153  13282 |        0 |        0
1672.93/1673.59	c 1673s |      25 |  7403293 |  6705198 |     1153  13295 |        0 |        0
1675.03/1675.60	c 1675s |      25 |  7412080 |  6713098 |     1153  13308 |        0 |        0
1677.04/1677.61	c 1677s |      25 |  7420907 |  6720998 |     1153  13321 |        0 |        0
1679.03/1679.63	c 1679s |      25 |  7429710 |  6728998 |     1153  13333 |        0 |        0
1681.03/1681.63	c 1681s |      25 |  7438448 |  6736898 |     1153  13346 |        0 |        0
1683.03/1683.65	c 1683s |      25 |  7446448 |  6744298 |     1153  13358 |        0 |        0
1685.03/1685.67	c 1685s |      25 |  7454665 |  6751798 |     1153  13370 |        0 |        0
1687.03/1687.68	c 1687s |      25 |  7463139 |  6759498 |     1153  13382 |        0 |        0
1689.14/1689.70	c 1689s |      25 |  7471734 |  6767198 |     1153  13394 |        0 |        0
1691.13/1691.73	c 1691s |      25 |  7480161 |  6774898 |     1153  13407 |        0 |        0
1693.13/1693.75	c 1693s |      25 |  7488362 |  6782398 |     1153  13419 |        0 |        0
1695.13/1695.75	c 1695s |      25 |  7496719 |  6789798 |     1153  13431 |        0 |        0
1697.12/1697.76	c 1697s |      25 |  7503933 |  6796398 |     1153  13441 |        0 |        0
1699.12/1699.78	c 1699s |      25 |  7511334 |  6803198 |     1153  13452 |        0 |        0
1701.13/1701.80	c 1701s |      25 |  7518739 |  6809898 |     1153  13463 |        0 |        0
1703.22/1703.82	c 1703s |      25 |  7526679 |  6817098 |     1153  13474 |        0 |        0
1705.22/1705.84	c 1705s |      25 |  7534660 |  6824398 |     1153  13486 |        0 |        0
1707.22/1707.88	c 1707s |      25 |  7542430 |  6831598 |     1153  13498 |        0 |        0
1709.32/1709.90	c 1709s |      25 |  7549823 |  6838398 |     1153  13508 |        0 |        0
1711.32/1711.90	c 1711s |      25 |  7557520 |  6845498 |     1153  13520 |        0 |        0
1713.33/1713.91	c 1713s |      25 |  7564779 |  6852198 |     1153  13530 |        0 |        0
1715.32/1715.92	c 1715s |      25 |  7571835 |  6858798 |     1153  13541 |        0 |        0
1717.32/1717.93	c 1717s |      25 |  7578945 |  6865498 |     1153  13552 |        0 |        0
1719.32/1719.96	c 1719s |      25 |  7586147 |  6872198 |     1153  13562 |        0 |        0
1721.32/1721.97	c 1721s |      25 |  7593155 |  6878698 |     1153  13573 |        0 |        0
1723.32/1723.98	c 1723s |      25 |  7600735 |  6885698 |     1153  13584 |        0 |        0
1725.32/1725.99	c 1725s |      25 |  7608052 |  6892498 |     1153  13595 |        0 |        0
1727.42/1728.00	c 1727s |      25 |  7615571 |  6899398 |     1153  13606 |        0 |        0
1729.42/1730.02	c 1730s |      25 |  7622586 |  6905898 |     1153  13616 |        0 |        0
1731.42/1732.04	c 1732s |      25 |  7630215 |  6912898 |     1153  13627 |        0 |        0
1733.42/1734.05	c 1734s |      25 |  7638125 |  6920298 |     1153  13639 |        0 |        0
1735.42/1736.07	c 1736s |      25 |  7646081 |  6927698 |     1153  13651 |        0 |        0
1737.43/1738.08	c 1738s |      25 |  7654258 |  6935098 |     1153  13663 |        0 |        0
1739.52/1740.10	c 1740s |      25 |  7662567 |  6942698 |     1153  13675 |        0 |        0
1741.52/1742.11	c 1742s |      25 |  7670793 |  6950198 |     1153  13687 |        0 |        0
1743.52/1744.12	c 1744s |      25 |  7679205 |  6957898 |     1153  13699 |        0 |        0
1745.52/1746.12	c 1746s |      25 |  7687508 |  6965498 |     1153  13712 |        0 |        0
1747.52/1748.13	c 1748s |      25 |  7695909 |  6973098 |     1153  13724 |        0 |        0
1749.53/1750.14	c 1750s |      25 |  7704475 |  6980798 |     1153  13736 |        0 |        0
1751.52/1752.15	c 1752s |      25 |  7712917 |  6988498 |     1153  13748 |        0 |        0
1753.52/1754.16	c 1754s |      25 |  7721414 |  6996298 |     1153  13761 |        0 |        0
1755.52/1756.17	c 1756s |      25 |  7729148 |  7003398 |     1153  13772 |        0 |        0
1757.52/1758.19	c 1758s |      25 |  7737151 |  7010698 |     1153  13784 |        0 |        0
1759.62/1760.21	c 1760s |      25 |  7745072 |  7017898 |     1153  13795 |        0 |        0
1761.62/1762.22	c 1762s |      25 |  7753797 |  7025698 |     1153  13808 |        0 |        0
1763.61/1764.24	c 1764s |      25 |  7761832 |  7032998 |     1153  13820 |        0 |        0
1765.61/1766.25	c 1766s |      25 |  7769627 |  7039998 |     1153  13831 |        0 |        0
1767.61/1768.28	c 1768s |      25 |  7777580 |  7047298 |     1153  13843 |        0 |        0
1769.61/1770.29	c 1770s |      25 |  7785638 |  7054598 |     1153  13854 |        0 |        0
1771.62/1772.29	c 1772s |      25 |  7793569 |  7061898 |     1153  13866 |        0 |        0
1773.61/1774.30	c 1774s |      25 |  7801822 |  7069298 |     1153  13878 |        0 |        0
1775.71/1776.31	c 1776s |      25 |  7810879 |  7077298 |     1153  13891 |        0 |        0
1777.71/1778.32	c 1778s |      25 |  7819367 |  7084898 |     1153  13903 |        0 |        0
1779.71/1780.34	c 1780s |      25 |  7827292 |  7092198 |     1153  13915 |        0 |        0
1781.71/1782.35	c 1782s |      25 |  7835441 |  7099698 |     1153  13927 |        0 |        0
1783.72/1784.35	c 1784s |      25 |  7843537 |  7107098 |     1153  13939 |        0 |        0
1785.71/1786.36	c 1786s |      25 |  7852045 |  7114698 |     1153  13951 |        0 |        0
1787.71/1788.36	c 1788s |      25 |  7860151 |  7122098 |     1153  13963 |        0 |        0
1789.71/1790.38	c 1790s |      25 |  7868472 |  7129698 |     1153  13975 |        0 |        0
1791.71/1792.39	c 1792s |      25 |  7876019 |  7136598 |     1153  13986 |        0 |        0
1793.81/1794.41	c 1794s |      25 |  7883832 |  7143698 |     1153  13997 |        0 |        0
1795.81/1796.43	c 1796s |      25 |  7891878 |  7151098 |     1153  14009 |        0 |        0
1797.80/1798.46	c 1798s |      25 |  7899777 |  7158298 |     1153  14020 |        0 |        0
1799.80/1800.48	c 1800s |      25 |  7907984 |  7165698 |     1153  14032 |        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-4089841-1466034530/watcher-4089841-1466034530 -o /tmp/evaluation-result-4089841-1466034530/solver-4089841-1466034530 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466034530-13448 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089841-1466034530.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.01 1.14 3/175 13476
/proc/meminfo: memFree=31359448/32872528 swapFree=248296/248296
[pid=13476] ppid=13470 vsize=590268 CPUtime=0 cores=1,3,5,7
/proc/13476/stat : 13476 (toysat) R 13470 13476 5767 0 -1 4202496 2179 0 0 0 0 0 0 0 20 0 4 0 5503448 604434432 2541 33554432000 4194304 16246674 140734438273632 140734438273056 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13476/statm: 148079 2550 441 2943 0 144973 0
[pid=13476/tid=13480] ppid=13470 vsize=607676 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13480/stat : 13480 (toysat) S 13470 13476 5767 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5503449 622260224 2608 33554432000 4194304 16246674 140734438273632 140205139930352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13476/tid=13481] ppid=13470 vsize=611772 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13481/stat : 13481 (toysat) S 13470 13476 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503449 626454528 2626 33554432000 4194304 16246674 140734438273632 140205129440496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13476/tid=13482] ppid=13470 vsize=615868 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13482/stat : 13482 (toysat) S 13470 13476 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503449 630648832 2642 33554432000 4194304 16246674 140734438273632 140205046623408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 1.00 1.01 1.14 3/175 13476
/proc/meminfo: memFree=31359448/32872528 swapFree=248296/248296
[pid=13476] ppid=13470 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/13476/stat : 13476 (toysat) R 13470 13476 5767 0 -1 4202496 28763 0 0 0 5 4 0 0 20 0 4 0 5503448 1247350784 29114 33554432000 4194304 16246674 140734438273632 140734438273056 5531957 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13476/statm: 304529 29126 716 2943 0 301423 0
[pid=13476/tid=13480] ppid=13470 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13480/stat : 13480 (toysat) S 13470 13476 5767 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5503449 1247350784 29135 33554432000 4194304 16246674 140734438273632 140205139930352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13476/tid=13481] ppid=13470 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13481/stat : 13481 (toysat) S 13470 13476 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503449 1247350784 29146 33554432000 4194304 16246674 140734438273632 140205129440496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13476/tid=13482] ppid=13470 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13482/stat : 13482 (toysat) S 13470 13476 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503449 1247350784 29157 33554432000 4194304 16246674 140734438273632 140205046623408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200527 s]
/proc/loadavg: 1.00 1.01 1.14 3/175 13476
/proc/meminfo: memFree=31359448/32872528 swapFree=248296/248296
[pid=13476] ppid=13470 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/13476/stat : 13476 (toysat) R 13470 13476 5767 0 -1 4202496 57603 0 0 0 11 8 0 0 20 0 4 0 5503448 1247350784 57953 33554432000 4194304 16246674 140734438273632 140734438273056 13194563 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13476/statm: 304529 57963 716 2943 0 301423 0
[pid=13476/tid=13480] ppid=13470 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13480/stat : 13480 (toysat) S 13470 13476 5767 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5503449 1247350784 57968 33554432000 4194304 16246674 140734438273632 140205139930352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13476/tid=13481] ppid=13470 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13481/stat : 13481 (toysat) S 13470 13476 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503449 1247350784 57977 33554432000 4194304 16246674 140734438273632 140205129440496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13476/tid=13482] ppid=13470 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13482/stat : 13482 (toysat) S 13470 13476 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503449 1247350784 57998 33554432000 4194304 16246674 140734438273632 140205046623408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300522 s]
/proc/loadavg: 1.00 1.01 1.14 3/175 13476
/proc/meminfo: memFree=31359448/32872528 swapFree=248296/248296
[pid=13476] ppid=13470 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/13476/stat : 13476 (toysat) R 13470 13476 5767 0 -1 4202496 85757 0 0 0 17 12 0 0 20 0 4 0 5503448 1247350784 86108 33554432000 4194304 16246674 140734438273632 140734438256632 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13476/statm: 304529 86127 716 2943 0 301423 0
[pid=13476/tid=13480] ppid=13470 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13480/stat : 13480 (toysat) S 13470 13476 5767 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5503449 1247350784 86136 33554432000 4194304 16246674 140734438273632 140205139930352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13476/tid=13481] ppid=13470 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13481/stat : 13481 (toysat) S 13470 13476 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503449 1247350784 86144 33554432000 4194304 16246674 140734438273632 140205129440496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13476/tid=13482] ppid=13470 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13482/stat : 13482 (toysat) S 13470 13476 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503449 1247350784 86150 33554432000 4194304 16246674 140734438273632 140205046623408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700422 s]
/proc/loadavg: 1.00 1.01 1.14 3/175 13476
/proc/meminfo: memFree=31359448/32872528 swapFree=248296/248296
[pid=13476] ppid=13470 vsize=1218116 CPUtime=0.68 cores=1,3,5,7
/proc/13476/stat : 13476 (toysat) R 13470 13476 5767 0 -1 4202496 200837 0 0 0 42 26 0 0 20 0 4 0 5503448 1247350784 201188 33554432000 4194304 16246674 140734438273632 140734438256632 5723366 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13476/statm: 304529 201205 716 2943 0 301423 0
[pid=13476/tid=13480] ppid=13470 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13480/stat : 13480 (toysat) S 13470 13476 5767 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5503449 1247350784 201212 33554432000 4194304 16246674 140734438273632 140205139930352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13476/tid=13481] ppid=13470 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13481/stat : 13481 (toysat) S 13470 13476 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503449 1247350784 201219 33554432000 4194304 16246674 140734438273632 140205129440496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13476/tid=13482] ppid=13470 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13482/stat : 13482 (toysat) S 13470 13476 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503449 1247350784 201225 33554432000 4194304 16246674 140734438273632 140205046623408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 1.00 1.01 1.14 4/183 13484
/proc/meminfo: memFree=29391808/32872528 swapFree=248296/248296
[pid=13476] ppid=13470 vsize=1305156 CPUtime=1.49 cores=1,3,5,7
/proc/13476/stat : 13476 (toysat) R 13470 13476 5767 0 -1 4202496 267300 0 0 0 113 36 0 0 20 0 4 0 5503448 1336479744 267630 33554432000 4194304 16246674 140734438273632 140734438255552 5523475 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13476/statm: 326289 267630 791 2943 0 323183 0
[pid=13476/tid=13480] ppid=13470 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13480/stat : 13480 (toysat) S 13470 13476 5767 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5503449 1336479744 267630 33554432000 4194304 16246674 140734438273632 140205139930352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13476/tid=13481] ppid=13470 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13481/stat : 13481 (toysat) S 13470 13476 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503449 1336479744 267630 33554432000 4194304 16246674 140734438273632 140205129440496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13476/tid=13482] ppid=13470 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13482/stat : 13482 (toysat) S 13470 13476 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503449 1336479744 267630 33554432000 4194304 16246674 140734438273632 140205046623408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10043 s]
/proc/loadavg: 1.08 1.03 1.15 4/183 13484
/proc/meminfo: memFree=29216068/32872528 swapFree=248296/248296
[pid=13476] ppid=13470 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/13476/stat : 13476 (toysat) R 13470 13476 5767 0 -1 4202496 267432 0 0 0 273 36 0 0 20 0 4 0 5503448 1337528320 267762 33554432000 4194304 16246674 140734438273632 140734438256632 5675369 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13476/statm: 326545 267762 791 2943 0 323439 0
[pid=13476/tid=13480] ppid=13470 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13480/stat : 13480 (toysat) S 13470 13476 5767 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5503449 1337528320 267762 33554432000 4194304 16246674 140734438273632 140205139930352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13476/tid=13481] ppid=13470 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13481/stat : 13481 (toysat) S 13470 13476 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503449 1337528320 267762 33554432000 4194304 16246674 140734438273632 140205129440496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13476/tid=13482] ppid=13470 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13482/stat : 13482 (toysat) S 13470 13476 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503449 1337528320 267762 33554432000 4194304 16246674 140734438273632 140205046623408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 1.08 1.03 1.15 4/183 13484
/proc/meminfo: memFree=29214528/32872528 swapFree=248296/248296
[pid=13476] ppid=13470 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/13476/stat : 13476 (toysat) R 13470 13476 5767 0 -1 4202496 267453 0 0 0 593 36 0 0 20 0 4 0 5503448 1337528320 267783 33554432000 4194304 16246674 140734438273632 140734438256632 12995176 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13476/statm: 326545 267783 791 2943 0 323439 0
[pid=13476/tid=13480] ppid=13470 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13480/stat : 13480 (toysat) S 13470 13476 5767 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5503449 1337528320 267783 33554432000 4194304 16246674 140734438273632 140205139930352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13476/tid=13481] ppid=13470 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13481/stat : 13481 (toysat) S 13470 13476 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503449 1337528320 267783 33554432000 4194304 16246674 140734438273632 140205129440496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13476/tid=13482] ppid=13470 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13482/stat : 13482 (toysat) S 13470 13476 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503449 1337528320 267783 33554432000 4194304 16246674 140734438273632 140205046623408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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: 1.22 1.06 1.15 4/183 13484
/proc/meminfo: memFree=29215020/32872528 swapFree=248296/248296
[pid=13476] ppid=13470 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/13476/stat : 13476 (toysat) R 13470 13476 5767 0 -1 4202496 267457 0 0 0 1233 36 0 0 20 0 4 0 5503448 1337528320 267787 33554432000 4194304 16246674 140734438273632 140734438255552 5823615 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13476/statm: 326545 267787 794 2943 0 323439 0
[pid=13476/tid=13480] ppid=13470 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13480/stat : 13480 (toysat) S 13470 13476 5767 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5503449 1337528320 267787 33554432000 4194304 16246674 140734438273632 140205139930352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13476/tid=13481] ppid=13470 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13481/stat : 13481 (toysat) S 13470 13476 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503449 1337528320 267787 33554432000 4194304 16246674 140734438273632 140205129440496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13476/tid=13482] ppid=13470 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13482/stat : 13482 (toysat) S 13470 13476 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503449 1337528320 267787 33554432000 4194304 16246674 140734438273632 140205046623408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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: 1.34 1.09 1.16 4/183 13484
/proc/meminfo: memFree=29216276/32872528 swapFree=248296/248296
[pid=13476] ppid=13470 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/13476/stat : 13476 (toysat) R 13470 13476 5767 0 -1 4202496 267469 0 0 0 2512 36 0 0 20 0 4 0 5503448 1337528320 267799 33554432000 4194304 16246674 140734438273632 140734438255552 13191694 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13476/statm: 326545 267799 794 2943 0 323439 0
[pid=13476/tid=13480] ppid=13470 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13480/stat : 13480 (toysat) S 13470 13476 5767 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5503449 1337528320 267799 33554432000 4194304 16246674 140734438273632 140205139930352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13476/tid=13481] ppid=13470 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13481/stat : 13481 (toysat) S 13470 13476 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503449 1337528320 267799 33554432000 4194304 16246674 140734438273632 140205129440496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13476/tid=13482] ppid=13470 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13482/stat : 13482 (toysat) S 13470 13476 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503449 1337528320 267799 33554432000 4194304 16246674 140734438273632 140205046623408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 1.56 1.16 1.18 4/183 13484
/proc/meminfo: memFree=29215580/32872528 swapFree=248296/248296
[pid=13476] ppid=13470 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/13476/stat : 13476 (toysat) R 13470 13476 5767 0 -1 4202496 267470 0 0 0 5071 37 0 0 20 0 4 0 5503448 1337528320 267800 33554432000 4194304 16246674 140734438273632 140734438255552 5722908 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13476/statm: 326545 267800 794 2943 0 323439 0
[pid=13476/tid=13480] ppid=13470 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13480/stat : 13480 (toysat) S 13470 13476 5767 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5503449 1337528320 267800 33554432000 4194304 16246674 140734438273632 140205139930352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13476/tid=13481] ppid=13470 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13481/stat : 13481 (toysat) S 13470 13476 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503449 1337528320 267800 33554432000 4194304 16246674 140734438273632 140205129440496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13476/tid=13482] ppid=13470 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13482/stat : 13482 (toysat) S 13470 13476 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503449 1337528320 267800 33554432000 4194304 16246674 140734438273632 140205046623408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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: 1.89 1.32 1.23 4/184 13488
/proc/meminfo: memFree=29214572/32872528 swapFree=248296/248296
[pid=13476] ppid=13470 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/13476/stat : 13476 (toysat) R 13470 13476 5767 0 -1 4202496 267481 0 0 0 10190 38 0 0 20 0 4 0 5503448 1337528320 267811 33554432000 4194304 16246674 140734438273632 140734438256632 5861860 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13476/statm: 326545 267811 794 2943 0 323439 0
[pid=13476/tid=13480] ppid=13470 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13480/stat : 13480 (toysat) S 13470 13476 5767 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5503449 1337528320 267811 33554432000 4194304 16246674 140734438273632 140205139930352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13476/tid=13481] ppid=13470 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13481/stat : 13481 (toysat) S 13470 13476 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503449 1337528320 267811 33554432000 4194304 16246674 140734438273632 140205129440496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13476/tid=13482] ppid=13470 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13482/stat : 13482 (toysat) S 13470 13476 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503449 1337528320 267811 33554432000 4194304 16246674 140734438273632 140205046623408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/13476/task/13482/stat : 13482 (toysat) S 13470 13476 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503449 1338576896 268320 33554432000 4194304 16246674 140734438273632 140205046623408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.78 4/184 13541
/proc/meminfo: memFree=29208348/32872528 swapFree=248296/248296
[pid=13476] ppid=13470 vsize=1307204 CPUtime=1301.81 cores=1,3,5,7
/proc/13476/stat : 13476 (toysat) R 13470 13476 5767 0 -1 4202496 268169 0 0 0 130122 59 0 0 20 0 4 0 5503448 1338576896 268320 33554432000 4194304 16246674 140734438273632 140734438255552 5523464 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13476/statm: 326801 268320 796 2943 0 323695 0
[pid=13476/tid=13480] ppid=13470 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13480/stat : 13480 (toysat) S 13470 13476 5767 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5503449 1338576896 268320 33554432000 4194304 16246674 140734438273632 140205139930352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13476/tid=13481] ppid=13470 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13481/stat : 13481 (toysat) S 13470 13476 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503449 1338576896 268320 33554432000 4194304 16246674 140734438273632 140205129440496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13476/tid=13482] ppid=13470 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13482/stat : 13482 (toysat) S 13470 13476 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503449 1338576896 268320 33554432000 4194304 16246674 140734438273632 140205046623408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 1.80 4/183 13542
/proc/meminfo: memFree=29208472/32872528 swapFree=248296/248296
[pid=13476] ppid=13470 vsize=1307204 CPUtime=1361.78 cores=1,3,5,7
/proc/13476/stat : 13476 (toysat) R 13470 13476 5767 0 -1 4202496 268209 0 0 0 136118 60 0 0 20 0 4 0 5503448 1338576896 268320 33554432000 4194304 16246674 140734438273632 140734438272808 5822432 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13476/statm: 326801 268320 796 2943 0 323695 0
[pid=13476/tid=13480] ppid=13470 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13480/stat : 13480 (toysat) S 13470 13476 5767 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5503449 1338576896 268320 33554432000 4194304 16246674 140734438273632 140205139930352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13476/tid=13481] ppid=13470 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13481/stat : 13481 (toysat) S 13470 13476 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503449 1338576896 268320 33554432000 4194304 16246674 140734438273632 140205129440496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13476/tid=13482] ppid=13470 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13482/stat : 13482 (toysat) S 13470 13476 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503449 1338576896 268320 33554432000 4194304 16246674 140734438273632 140205046623408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.01 2.01 1.81 4/183 13543
/proc/meminfo: memFree=29208976/32872528 swapFree=248296/248296
[pid=13476] ppid=13470 vsize=1307204 CPUtime=1421.78 cores=1,3,5,7
/proc/13476/stat : 13476 (toysat) R 13470 13476 5767 0 -1 4202496 268209 0 0 0 142117 61 0 0 20 0 4 0 5503448 1338576896 268320 33554432000 4194304 16246674 140734438273632 140734438255552 6021536 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13476/statm: 326801 268320 796 2943 0 323695 0
[pid=13476/tid=13480] ppid=13470 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13480/stat : 13480 (toysat) S 13470 13476 5767 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5503449 1338576896 268320 33554432000 4194304 16246674 140734438273632 140205139930352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13476/tid=13481] ppid=13470 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13481/stat : 13481 (toysat) S 13470 13476 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503449 1338576896 268320 33554432000 4194304 16246674 140734438273632 140205129440496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13476/tid=13482] ppid=13470 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13482/stat : 13482 (toysat) S 13470 13476 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503449 1338576896 268320 33554432000 4194304 16246674 140734438273632 140205046623408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.82 4/183 13544
/proc/meminfo: memFree=29208628/32872528 swapFree=248296/248296
[pid=13476] ppid=13470 vsize=1307204 CPUtime=1481.76 cores=1,3,5,7
/proc/13476/stat : 13476 (toysat) R 13470 13476 5767 0 -1 4202496 268281 0 0 0 148114 62 0 0 20 0 4 0 5503448 1338576896 268392 33554432000 4194304 16246674 140734438273632 140734438256632 5823723 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13476/statm: 326801 268392 796 2943 0 323695 0
[pid=13476/tid=13480] ppid=13470 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13480/stat : 13480 (toysat) S 13470 13476 5767 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5503449 1338576896 268392 33554432000 4194304 16246674 140734438273632 140205139930352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13476/tid=13481] ppid=13470 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13481/stat : 13481 (toysat) S 13470 13476 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503449 1338576896 268392 33554432000 4194304 16246674 140734438273632 140205129440496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13476/tid=13482] ppid=13470 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13482/stat : 13482 (toysat) S 13470 13476 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503449 1338576896 268392 33554432000 4194304 16246674 140734438273632 140205046623408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.82 4/183 13546
/proc/meminfo: memFree=29209256/32872528 swapFree=248296/248296
[pid=13476] ppid=13470 vsize=1307204 CPUtime=1541.76 cores=1,3,5,7
/proc/13476/stat : 13476 (toysat) R 13470 13476 5767 0 -1 4202496 268281 0 0 0 154113 63 0 0 20 0 4 0 5503448 1338576896 268392 33554432000 4194304 16246674 140734438273632 140734438255552 12483399 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13476/statm: 326801 268392 796 2943 0 323695 0
[pid=13476/tid=13480] ppid=13470 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13480/stat : 13480 (toysat) S 13470 13476 5767 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5503449 1338576896 268392 33554432000 4194304 16246674 140734438273632 140205139930352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13476/tid=13481] ppid=13470 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13481/stat : 13481 (toysat) S 13470 13476 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503449 1338576896 268392 33554432000 4194304 16246674 140734438273632 140205129440496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13476/tid=13482] ppid=13470 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13482/stat : 13482 (toysat) S 13470 13476 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503449 1338576896 268392 33554432000 4194304 16246674 140734438273632 140205046623408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 1.84 4/183 13547
/proc/meminfo: memFree=29208700/32872528 swapFree=248296/248296
[pid=13476] ppid=13470 vsize=1307204 CPUtime=1601.73 cores=1,3,5,7
/proc/13476/stat : 13476 (toysat) R 13470 13476 5767 0 -1 4202496 268281 0 0 0 160110 63 0 0 20 0 4 0 5503448 1338576896 268392 33554432000 4194304 16246674 140734438273632 140734438255552 5545988 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13476/statm: 326801 268392 796 2943 0 323695 0
[pid=13476/tid=13480] ppid=13470 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13480/stat : 13480 (toysat) S 13470 13476 5767 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5503449 1338576896 268392 33554432000 4194304 16246674 140734438273632 140205139930352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13476/tid=13481] ppid=13470 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13481/stat : 13481 (toysat) S 13470 13476 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503449 1338576896 268392 33554432000 4194304 16246674 140734438273632 140205129440496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13476/tid=13482] ppid=13470 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13482/stat : 13482 (toysat) S 13470 13476 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503449 1338576896 268392 33554432000 4194304 16246674 140734438273632 140205046623408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 1.84 4/183 13548
/proc/meminfo: memFree=29208696/32872528 swapFree=248296/248296
[pid=13476] ppid=13470 vsize=1307204 CPUtime=1661.73 cores=1,3,5,7
/proc/13476/stat : 13476 (toysat) R 13470 13476 5767 0 -1 4202496 268281 0 0 0 166108 65 0 0 20 0 4 0 5503448 1338576896 268392 33554432000 4194304 16246674 140734438273632 140734438255552 5673405 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13476/statm: 326801 268392 796 2943 0 323695 0
[pid=13476/tid=13480] ppid=13470 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13480/stat : 13480 (toysat) S 13470 13476 5767 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5503449 1338576896 268392 33554432000 4194304 16246674 140734438273632 140205139930352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13476/tid=13481] ppid=13470 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13481/stat : 13481 (toysat) S 13470 13476 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503449 1338576896 268392 33554432000 4194304 16246674 140734438273632 140205129440496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13476/tid=13482] ppid=13470 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13482/stat : 13482 (toysat) S 13470 13476 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503449 1338576896 268392 33554432000 4194304 16246674 140734438273632 140205046623408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 1.85 4/183 13549
/proc/meminfo: memFree=29208452/32872528 swapFree=248296/248296
[pid=13476] ppid=13470 vsize=1307204 CPUtime=1721.72 cores=1,3,5,7
/proc/13476/stat : 13476 (toysat) R 13470 13476 5767 0 -1 4202496 268281 0 0 0 172107 65 0 0 20 0 4 0 5503448 1338576896 268392 33554432000 4194304 16246674 140734438273632 140734438256632 6020879 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13476/statm: 326801 268392 796 2943 0 323695 0
[pid=13476/tid=13480] ppid=13470 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13480/stat : 13480 (toysat) S 13470 13476 5767 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5503449 1338576896 268392 33554432000 4194304 16246674 140734438273632 140205139930352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13476/tid=13481] ppid=13470 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13481/stat : 13481 (toysat) S 13470 13476 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503449 1338576896 268392 33554432000 4194304 16246674 140734438273632 140205129440496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13476/tid=13482] ppid=13470 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13482/stat : 13482 (toysat) S 13470 13476 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503449 1338576896 268392 33554432000 4194304 16246674 140734438273632 140205046623408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.85 4/183 13550
/proc/meminfo: memFree=29207712/32872528 swapFree=248296/248296
[pid=13476] ppid=13470 vsize=1307204 CPUtime=1781.71 cores=1,3,5,7
/proc/13476/stat : 13476 (toysat) R 13470 13476 5767 0 -1 4202496 268281 0 0 0 178105 66 0 0 20 0 4 0 5503448 1338576896 268392 33554432000 4194304 16246674 140734438273632 140734438255552 13809250 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13476/statm: 326801 268392 796 2943 0 323695 0
[pid=13476/tid=13480] ppid=13470 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13480/stat : 13480 (toysat) S 13470 13476 5767 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5503449 1338576896 268392 33554432000 4194304 16246674 140734438273632 140205139930352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13476/tid=13481] ppid=13470 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13481/stat : 13481 (toysat) S 13470 13476 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503449 1338576896 268392 33554432000 4194304 16246674 140734438273632 140205129440496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13476/tid=13482] ppid=13470 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13482/stat : 13482 (toysat) S 13470 13476 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503449 1338576896 268392 33554432000 4194304 16246674 140734438273632 140205046623408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 1.85 4/183 13550
/proc/meminfo: memFree=29208212/32872528 swapFree=248296/248296
[pid=13476] ppid=13470 vsize=1307204 CPUtime=1800 cores=1,3,5,7
/proc/13476/stat : 13476 (toysat) R 13470 13476 5767 0 -1 4202496 268281 0 0 0 179934 66 0 0 20 0 4 0 5503448 1338576896 268392 33554432000 4194304 16246674 140734438273632 140734438255552 13191984 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13476/statm: 326801 268392 796 2943 0 323695 0
[pid=13476/tid=13480] ppid=13470 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13480/stat : 13480 (toysat) S 13470 13476 5767 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5503449 1338576896 268392 33554432000 4194304 16246674 140734438273632 140205139930352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13476/tid=13481] ppid=13470 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13481/stat : 13481 (toysat) S 13470 13476 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503449 1338576896 268392 33554432000 4194304 16246674 140734438273632 140205129440496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13476/tid=13482] ppid=13470 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13476/task/13482/stat : 13482 (toysat) S 13470 13476 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503449 1338576896 268392 33554432000 4194304 16246674 140734438273632 140205046623408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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 13476 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.02
CPU user time (s): 1799.35
CPU system time (s): 0.668898
CPU usage (%): 99.9674
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.668898
maximum resident set size= 1073568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268281
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= 489
involuntary context switches= 1837

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.81312 second user time and 9.43557 second system time

The end

Begin job on node103 at 2016-06-16 01:48:50
IDJOB=4089841
IDBENCH=107464
IDSOLVER=2542
FILE ID=node103/4089841-1466034530
RUNJOBID= node103-1466034530-13448
PBS_JOBID= 19902805
Free space on /tmp= 71736 MiB

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

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

MD5SUM BENCH= 366327c5ca39c3faa344a7c52c5e3cf0
RANDOM SEED=1027586840

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31361256 kB
Buffers:          142064 kB
Cached:           403712 kB
SwapCached:            0 kB
Active:           212172 kB
Inactive:         343708 kB
Active(anon):      12956 kB
Inactive(anon):        0 kB
Active(file):     199216 kB
Inactive(file):   343708 kB
Unevictable:      248296 kB
Mlocked:          248296 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             32604 kB
Writeback:             0 kB
AnonPages:        413984 kB
Mapped:            13188 kB
Shmem:               204 kB
Slab:             577060 kB
SReclaimable:      21644 kB
SUnreclaim:       555416 kB
KernelStack:        1416 kB
PageTables:         3904 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     343436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    155648 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node103 at 2016-06-16 02:18:51