0.00/0.00	c 2016-06-07T03:53:46+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-4079005-1465264426.opb"]
0.00/0.01	c use --random-gen="909732617 1645463975 825813135 2258602552 1270690848 505063473 1244819775 4248941018 1921750557 18154639 1288271625 2238281826 1134940219 4182372671 2362694473 3527887481 2458637515 1659849628 689892683 3174234964 1160179555 2316175674 2733545750 3880684951 818202336 1444506127 1913344417 3179760049 3524559761 1489816368 1843037181 2674571764 2756227999 3057310119 2623136581 2621867249 4025201146 637694797 2317726777 304571153 3223647255 2333127627 951122963 955866019 767377152 2532294020 1918991682 3414259039 3305677243 4178324066 1226644410 546388224 2530322309 2485227719 3413724721 1636681724 4156509384 1902851248 1526372757 996073756 3820549579 241755314 372501173 1020222741 1636761138 3919242482 1371407504 808940188 143034257 466018344 25170374 2239413257 3713263344 2007239259 2574357333 65387035 2709232903 3435667653 1372763777 2506074741 2093144896 3928047841 1098664251 3446910666 1491002668 4146760314 2685006200 2433406149 2771070327 334449167 623640994 3826704743 618726920 2574902938 1337036779 3815927395 1323762871 1138198419 561633922 3560274001 427148732 1044135844 3236904866 3383545481 2092890547 48477558 440060385 1219790266 731666679 3636926458 112695181 2788481072 394014225 3369113590 4194326058 4042610550 4031651118 208600718 1935780489 1316382727 3480184163 934223782 2004111551 2587744024 3130012469 3023815747 4168088389 3434694998 1760721635 1202450882 433914667 80199166 843400447 2859830024 537990448 581848660 4212094542 2756720490 3304841766 3164546001 2660822412 2013872409 3617737002 3508903708 3370969170 2560321892 2269455437 647033883 336864469 3341502480 2623390743 704050113 3010431487 2195660112 1504297093 2537569232 2417347908 809998395 2870413894 468007751 1274831035 518878112 3989493964 290302002 1623699653 3458825601 1754660595 3857735679 1967805843 184974091 2656127157 3286415090 1262193831 3441099547 2683842599 3058741808 3811741212 131390947 2748074318 595771063 1363492604 2627444109 820255821 4012623700 2379662980 127607207 1549885956 4246064780 2091724438 62171915 543499554 1458839982 2673833830 2047923015 1041768020 907069761 4036057061 3361869702 2366288352 2297941271 2786026492 4177454543 1811171790 2317096812 121704955 2484207364 941014744 4127863585 1571527537 4121520497 3340530825 1745491671 281653315 3697193751 2224934220 3420748639 2322884354 3892222700 3174310474 3916216937 4091306009 1477276411 1717971067 4064066945 1088562704 2311703084 4085151456 2030424731 875822114 1664436366 3630643904 1888552605 4002761227 234442853 1277901639 2241026112 945965215 2333482692 1685726248 1170351726 4204903772 3230771628 1125248752 349617783 2202151923 2139921598 1334841457 2032620054 1021358991 3334364870 3414269404 4250377611 2419321589 1922681704 1620603467 3162741349 255 362436" option to reproduce the execution
0.00/0.02	c #vars 100
0.00/0.02	c #constraints 152
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      488      0 |        0 |        0
0.00/0.06	c  0.0s |       1 |      187 |      100 |      488      0 |        0 |        0
0.00/0.08	c  0.0s |       2 |      805 |      250 |      537      0 |        0 |        0
0.09/0.13	c  0.1s |       3 |     1127 |      475 |      591      0 |        0 |        0
0.18/0.22	c  0.2s |       4 |     1517 |      813 |      651      1 |        0 |        0
0.29/0.33	c  0.3s |       5 |     2097 |     1320 |      717      2 |        0 |        0
0.48/0.51	c  0.5s |       6 |     2936 |     2081 |      868      4 |        0 |        0
0.68/0.75	c  0.7s |       7 |     4254 |     3223 |      955      6 |        0 |        0
1.09/1.14	c  1.1s |       8 |     6064 |     4936 |     1051      9 |        0 |        0
1.48/1.56	c  1.5s |       9 |     8742 |     7506 |     1157     14 |        0 |        0
2.09/2.19	c  2.2s |      10 |    12838 |    11361 |     1273     20 |        0 |        0
3.09/3.17	c  3.1s |      11 |    18907 |    17144 |     1401     28 |        0 |        0
4.59/4.65	c  4.6s |      12 |    27955 |    25819 |     1542     40 |        0 |        0
6.59/6.63	c  6.6s |      13 |    50811 |    38832 |     1697     56 |        0 |        0
8.58/8.65	c  8.6s |      13 |    78591 |    52832 |     1697     72 |        0 |        0
9.37/9.48	c  9.4s |      14 |    85387 |    58352 |     1867     78 |        0 |        0
11.38/11.49	c 11.5s |      14 |   114578 |    71952 |     1867     92 |        0 |        0
13.38/13.50	c 13.5s |      14 |   136953 |    84552 |     1867    105 |        0 |        0
13.87/13.96	c 13.9s |      15 |   142116 |    87632 |     2054    108 |        0 |        0
15.87/15.96	c 15.9s |      15 |   157681 |    98432 |     2054    118 |        0 |        0
17.88/17.97	c 17.9s |      15 |   177501 |   109832 |     2054    129 |        0 |        0
19.88/19.98	c 19.9s |      15 |   195359 |   121532 |     2054    139 |        0 |        0
21.57/21.69	c 21.7s |      16 |   212100 |   131552 |     2260    149 |        0 |        0
23.68/23.70	c 23.7s |      16 |   226376 |   142652 |     2260    158 |        0 |        0
25.67/25.71	c 25.7s |      16 |   239888 |   154052 |     2260    168 |        0 |        0
27.68/27.71	c 27.7s |      16 |   255538 |   166252 |     2260    178 |        0 |        0
29.68/29.73	c 29.7s |      16 |   271820 |   178352 |     2260    189 |        0 |        0
31.67/31.73	c 31.7s |      16 |   290770 |   190652 |     2260    199 |        0 |        0
32.88/32.90	c 32.9s |      17 |   299475 |   197432 |     2486    205 |        0 |        0
34.87/34.91	c 34.9s |      17 |   314134 |   208732 |     2486    213 |        0 |        0
36.87/36.92	c 36.9s |      17 |   327529 |   219732 |     2486    222 |        0 |        0
38.87/38.92	c 38.9s |      17 |   341747 |   231932 |     2486    232 |        0 |        0
40.87/40.92	c 40.9s |      17 |   356142 |   244232 |     2486    241 |        0 |        0
42.88/42.93	c 42.9s |      17 |   373396 |   257032 |     2486    251 |        0 |        0
44.87/44.94	c 44.9s |      17 |   389856 |   269432 |     2486    261 |        0 |        0
46.86/46.96	c 46.9s |      17 |   406499 |   281832 |     2486    271 |        0 |        0
48.87/48.97	c 48.9s |      17 |   428070 |   294632 |     2735    280 |        0 |        0
49.17/49.25	c 49.2s |      18 |   430301 |   296252 |     2735    282 |        0 |        0
51.16/51.26	c 51.2s |      18 |   453785 |   308452 |     2735    290 |        0 |        0
53.16/53.26	c 53.2s |      18 |   485796 |   321252 |     2735    299 |        0 |        0
55.16/55.26	c 55.2s |      18 |   505773 |   333552 |     2735    308 |        0 |        0
57.17/57.28	c 57.2s |      18 |   523716 |   345652 |     2735    317 |        0 |        0
59.17/59.29	c 59.3s |      18 |   539362 |   357752 |     2735    325 |        0 |        0
61.16/61.29	c 61.3s |      18 |   557384 |   370152 |     2735    334 |        0 |        0
63.26/63.32	c 63.3s |      18 |   573046 |   382352 |     2735    343 |        0 |        0
65.27/65.33	c 65.3s |      18 |   588098 |   394252 |     2735    351 |        0 |        0
67.26/67.34	c 67.3s |      18 |   606465 |   406052 |     2735    360 |        0 |        0
69.27/69.35	c 69.3s |      18 |   632378 |   417152 |     2735    368 |        0 |        0
71.26/71.36	c 71.3s |      18 |   652409 |   428452 |     2735    375 |        0 |        0
73.26/73.37	c 73.3s |      18 |   667663 |   440052 |     2735    384 |        0 |        0
74.06/74.16	c 74.1s |      19 |   674596 |   444482 |     3009    387 |        0 |        0
76.06/76.17	c 76.1s |      19 |   704038 |   455782 |     3009    394 |        0 |        0
78.07/78.18	c 78.1s |      19 |   723346 |   466182 |     3009    401 |        0 |        0
80.06/80.19	c 80.2s |      19 |   743076 |   476882 |     3009    407 |        0 |        0
82.05/82.19	c 82.2s |      19 |   759447 |   487082 |     3009    414 |        0 |        0
84.16/84.20	c 84.2s |      19 |   774094 |   497082 |     3009    420 |        0 |        0
86.16/86.20	c 86.2s |      19 |   789213 |   507382 |     3009    427 |        0 |        0
88.16/88.21	c 88.2s |      19 |   809585 |   517782 |     3009    434 |        0 |        0
90.16/90.22	c 90.2s |      19 |   835634 |   528482 |     3009    441 |        0 |        0
92.16/92.22	c 92.2s |      19 |   853185 |   538882 |     3009    447 |        0 |        0
94.15/94.23	c 94.2s |      19 |   866616 |   548782 |     3009    454 |        0 |        0
96.15/96.25	c 96.2s |      19 |   883088 |   559082 |     3009    460 |        0 |        0
98.16/98.25	c 98.2s |      19 |   899185 |   569482 |     3009    467 |        0 |        0
100.16/100.27	c  100s |      19 |   912721 |   580082 |     3009    474 |        0 |        0
102.15/102.27	c  102s |      19 |   926743 |   592282 |     3009    482 |        0 |        0
104.16/104.29	c  104s |      19 |   941556 |   605082 |     3009    490 |        0 |        0
106.15/106.29	c  106s |      19 |   955189 |   617282 |     3009    498 |        0 |        0
108.15/108.29	c  108s |      19 |   969898 |   629582 |     3009    506 |        0 |        0
110.25/110.30	c  110s |      19 |   984119 |   641882 |     3009    515 |        0 |        0
112.25/112.33	c  112s |      19 |   999823 |   654882 |     3009    523 |        0 |        0
114.25/114.30	c  114s |      20 |  1013375 |   666827 |     3310    531 |        0 |        0
116.25/116.30	c  116s |      20 |  1034230 |   677727 |     3310    537 |        0 |        0
118.24/118.32	c  118s |      20 |  1047223 |   688027 |     3310    543 |        0 |        0
120.25/120.34	c  120s |      20 |  1064213 |   698927 |     3310    549 |        0 |        0
122.24/122.34	c  122s |      20 |  1080444 |   709627 |     3310    556 |        0 |        0
124.25/124.34	c  124s |      20 |  1094617 |   720427 |     3310    562 |        0 |        0
126.24/126.34	c  126s |      20 |  1108167 |   730727 |     3310    568 |        0 |        0
128.24/128.34	c  128s |      20 |  1129129 |   742427 |     3310    575 |        0 |        0
130.24/130.36	c  130s |      20 |  1148654 |   753927 |     3310    582 |        0 |        0
132.25/132.36	c  132s |      20 |  1166567 |   765827 |     3310    589 |        0 |        0
134.25/134.36	c  134s |      20 |  1184108 |   777227 |     3310    596 |        0 |        0
136.24/136.37	c  136s |      20 |  1199003 |   788727 |     3310    602 |        0 |        0
138.24/138.39	c  138s |      20 |  1216883 |   801027 |     3310    610 |        0 |        0
140.24/140.39	c  140s |      20 |  1232538 |   812627 |     3310    616 |        0 |        0
142.34/142.40	c  142s |      20 |  1248852 |   824227 |     3310    623 |        0 |        0
144.34/144.40	c  144s |      20 |  1266533 |   836027 |     3310    630 |        0 |        0
146.35/146.42	c  146s |      20 |  1281729 |   847527 |     3310    637 |        0 |        0
148.34/148.43	c  148s |      20 |  1295131 |   858727 |     3310    644 |        0 |        0
150.34/150.45	c  150s |      20 |  1309605 |   870527 |     3310    651 |        0 |        0
152.33/152.47	c  152s |      20 |  1325398 |   881627 |     3310    657 |        0 |        0
154.34/154.48	c  154s |      20 |  1337210 |   891827 |     3310    663 |        0 |        0
156.33/156.49	c  156s |      20 |  1350434 |   902227 |     3310    669 |        0 |        0
158.44/158.51	c  158s |      20 |  1363821 |   912627 |     3310    676 |        0 |        0
160.44/160.52	c  160s |      20 |  1376791 |   923827 |     3310    682 |        0 |        0
162.43/162.53	c  162s |      20 |  1391256 |   935127 |     3310    689 |        0 |        0
164.43/164.54	c  164s |      20 |  1406400 |   946527 |     3310    696 |        0 |        0
166.43/166.54	c  166s |      20 |  1421337 |   957727 |     3310    702 |        0 |        0
168.43/168.55	c  168s |      20 |  1437140 |   969227 |     3310    709 |        0 |        0
170.44/170.57	c  170s |      20 |  1450167 |   979927 |     3310    715 |        0 |        0
172.43/172.58	c  172s |      20 |  1464152 |   990727 |     3310    722 |        0 |        0
174.23/174.35	c  174s |      21 |  1477795 |  1000345 |     3642    727 |        0 |        0
176.23/176.35	c  176s |      21 |  1488360 |  1009845 |     3642    732 |        0 |        0
178.24/178.36	c  178s |      21 |  1500671 |  1020645 |     3642    738 |        0 |        0
180.23/180.37	c  180s |      21 |  1510794 |  1029945 |     3642    743 |        0 |        0
182.23/182.38	c  182s |      21 |  1521305 |  1039545 |     3642    748 |        0 |        0
184.23/184.39	c  184s |      21 |  1531108 |  1048645 |     3642    753 |        0 |        0
186.23/186.39	c  186s |      21 |  1541281 |  1058145 |     3642    758 |        0 |        0
188.32/188.40	c  188s |      21 |  1549701 |  1066045 |     3642    762 |        0 |        0
190.34/190.41	c  190s |      21 |  1558361 |  1074345 |     3642    767 |        0 |        0
192.32/192.42	c  192s |      21 |  1567264 |  1082745 |     3642    772 |        0 |        0
194.32/194.44	c  194s |      21 |  1577273 |  1091945 |     3642    776 |        0 |        0
196.33/196.45	c  196s |      21 |  1588155 |  1101945 |     3642    782 |        0 |        0
198.33/198.49	c  198s |      21 |  1597443 |  1110645 |     3642    787 |        0 |        0
200.43/200.50	c  200s |      21 |  1609351 |  1121145 |     3642    792 |        0 |        0
202.43/202.50	c  202s |      21 |  1620377 |  1131145 |     3642    798 |        0 |        0
204.43/204.51	c  204s |      21 |  1632155 |  1141645 |     3642    803 |        0 |        0
206.42/206.52	c  206s |      21 |  1644781 |  1152545 |     3642    809 |        0 |        0
208.42/208.54	c  208s |      21 |  1657145 |  1163445 |     3642    815 |        0 |        0
210.42/210.54	c  210s |      21 |  1668898 |  1173945 |     3642    821 |        0 |        0
212.41/212.55	c  212s |      21 |  1679866 |  1183845 |     3642    826 |        0 |        0
214.42/214.56	c  214s |      21 |  1690589 |  1193545 |     3642    831 |        0 |        0
216.42/216.57	c  216s |      21 |  1702800 |  1204045 |     3642    837 |        0 |        0
218.41/218.57	c  218s |      21 |  1715554 |  1215245 |     3642    843 |        0 |        0
220.41/220.58	c  220s |      21 |  1728049 |  1226245 |     3642    849 |        0 |        0
222.41/222.59	c  222s |      21 |  1740869 |  1237345 |     3642    855 |        0 |        0
224.42/224.59	c  224s |      21 |  1753455 |  1248245 |     3642    861 |        0 |        0
226.51/226.61	c  226s |      21 |  1764784 |  1258345 |     3642    867 |        0 |        0
228.52/228.62	c  228s |      21 |  1775387 |  1268145 |     3642    872 |        0 |        0
230.51/230.63	c  230s |      21 |  1785432 |  1277445 |     3642    877 |        0 |        0
232.51/232.64	c  232s |      21 |  1796942 |  1287745 |     3642    882 |        0 |        0
234.51/234.65	c  234s |      21 |  1807626 |  1297345 |     3642    888 |        0 |        0
236.52/236.65	c  236s |      21 |  1820355 |  1308345 |     3642    894 |        0 |        0
238.51/238.66	c  238s |      21 |  1833694 |  1319545 |     3642    900 |        0 |        0
240.51/240.67	c  240s |      21 |  1847614 |  1331545 |     3642    906 |        0 |        0
242.50/242.68	c  242s |      21 |  1860520 |  1342945 |     3642    912 |        0 |        0
244.51/244.69	c  244s |      21 |  1872634 |  1353545 |     3642    918 |        0 |        0
246.60/246.70	c  246s |      21 |  1884573 |  1364345 |     3642    924 |        0 |        0
248.60/248.71	c  248s |      21 |  1897872 |  1375845 |     3642    930 |        0 |        0
250.60/250.73	c  250s |      21 |  1908844 |  1385845 |     3642    936 |        0 |        0
252.60/252.74	c  252s |      21 |  1921345 |  1396845 |     3642    941 |        0 |        0
254.60/254.74	c  254s |      21 |  1933598 |  1407945 |     3642    948 |        0 |        0
256.60/256.75	c  256s |      21 |  1946550 |  1419245 |     3642    954 |        0 |        0
258.60/258.75	c  258s |      21 |  1959270 |  1430445 |     3642    960 |        0 |        0
260.60/260.77	c  260s |      21 |  1973491 |  1442545 |     3642    966 |        0 |        0
262.60/262.77	c  262s |      21 |  1984635 |  1452745 |     3642    972 |        0 |        0
264.60/264.77	c  264s |      21 |  1996739 |  1463445 |     3642    978 |        0 |        0
266.69/266.82	c  266s |      21 |  2010707 |  1475345 |     3642    984 |        0 |        0
268.69/268.84	c  268s |      21 |  2021066 |  1484945 |     3642    989 |        0 |        0
270.70/270.85	c  270s |      21 |  2031569 |  1494545 |     4007    994 |        0 |        0
272.19/272.30	c  272s |      22 |  2037946 |  1500622 |     4007    997 |        0 |        0
274.20/274.30	c  274s |      22 |  2048132 |  1509922 |     4007   1002 |        0 |        0
276.19/276.31	c  276s |      22 |  2058972 |  1519722 |     4007   1006 |        0 |        0
278.20/278.31	c  278s |      22 |  2070075 |  1529522 |     4007   1011 |        0 |        0
280.19/280.35	c  280s |      22 |  2081509 |  1539622 |     4007   1016 |        0 |        0
282.19/282.36	c  282s |      22 |  2094424 |  1550822 |     4007   1022 |        0 |        0
284.19/284.38	c  284s |      22 |  2107081 |  1562022 |     4007   1027 |        0 |        0
286.19/286.39	c  286s |      22 |  2120542 |  1573422 |     4007   1033 |        0 |        0
288.28/288.40	c  288s |      22 |  2132946 |  1584422 |     4007   1038 |        0 |        0
290.29/290.41	c  290s |      22 |  2142329 |  1593222 |     4007   1043 |        0 |        0
292.29/292.44	c  292s |      22 |  2153474 |  1603022 |     4007   1048 |        0 |        0
294.28/294.45	c  294s |      22 |  2166581 |  1614522 |     4007   1053 |        0 |        0
296.28/296.47	c  296s |      22 |  2178009 |  1624822 |     4007   1058 |        0 |        0
298.28/298.48	c  298s |      22 |  2188747 |  1634622 |     4007   1063 |        0 |        0
300.28/300.49	c  300s |      22 |  2198555 |  1643722 |     4007   1068 |        0 |        0
302.28/302.50	c  302s |      22 |  2212169 |  1655422 |     4007   1073 |        0 |        0
304.37/304.51	c  304s |      22 |  2223754 |  1665722 |     4007   1078 |        0 |        0
306.38/306.53	c  306s |      22 |  2234689 |  1675522 |     4007   1083 |        0 |        0
308.38/308.53	c  308s |      22 |  2245845 |  1685322 |     4007   1088 |        0 |        0
310.37/310.54	c  310s |      22 |  2255841 |  1694422 |     4007   1093 |        0 |        0
312.37/312.55	c  312s |      22 |  2265659 |  1703422 |     4007   1097 |        0 |        0
314.37/314.56	c  314s |      22 |  2277023 |  1713522 |     4007   1102 |        0 |        0
316.37/316.57	c  316s |      22 |  2289589 |  1724422 |     4007   1107 |        0 |        0
318.37/318.59	c  318s |      22 |  2299891 |  1733922 |     4007   1112 |        0 |        0
320.47/320.62	c  320s |      22 |  2309952 |  1743022 |     4007   1117 |        0 |        0
322.47/322.64	c  322s |      22 |  2321581 |  1753122 |     4007   1122 |        0 |        0
324.47/324.66	c  324s |      22 |  2333696 |  1763722 |     4007   1127 |        0 |        0
326.47/326.66	c  326s |      22 |  2345454 |  1774122 |     4007   1132 |        0 |        0
328.46/328.68	c  328s |      22 |  2355458 |  1783222 |     4007   1136 |        0 |        0
330.46/330.69	c  330s |      22 |  2366467 |  1792922 |     4007   1141 |        0 |        0
332.56/332.70	c  332s |      22 |  2378074 |  1803222 |     4007   1146 |        0 |        0
334.56/334.72	c  334s |      22 |  2388650 |  1812522 |     4007   1151 |        0 |        0
336.56/336.77	c  336s |      22 |  2398962 |  1821922 |     4007   1155 |        0 |        0
338.55/338.78	c  338s |      22 |  2410367 |  1831922 |     4007   1160 |        0 |        0
340.55/340.79	c  340s |      22 |  2423053 |  1843222 |     4007   1166 |        0 |        0
342.65/342.84	c  342s |      22 |  2436486 |  1854522 |     4007   1171 |        0 |        0
344.65/344.86	c  344s |      22 |  2450528 |  1866522 |     4007   1177 |        0 |        0
346.65/346.87	c  346s |      22 |  2462903 |  1877522 |     4007   1183 |        0 |        0
348.66/348.88	c  348s |      22 |  2472973 |  1886922 |     4007   1187 |        0 |        0
350.75/350.91	c  350s |      22 |  2483500 |  1896322 |     4007   1192 |        0 |        0
352.75/352.92	c  352s |      22 |  2495764 |  1907222 |     4007   1197 |        0 |        0
354.75/354.93	c  354s |      22 |  2508082 |  1918122 |     4007   1203 |        0 |        0
356.74/356.93	c  356s |      22 |  2521301 |  1929422 |     4007   1208 |        0 |        0
358.75/358.94	c  358s |      22 |  2534534 |  1940822 |     4007   1214 |        0 |        0
360.75/360.96	c  360s |      22 |  2548442 |  1952522 |     4007   1220 |        0 |        0
362.74/362.98	c  362s |      22 |  2562259 |  1964022 |     4007   1226 |        0 |        0
364.75/364.99	c  364s |      22 |  2576547 |  1976222 |     4007   1232 |        0 |        0
366.84/367.02	c  366s |      22 |  2589713 |  1987522 |     4007   1237 |        0 |        0
368.84/369.02	c  368s |      22 |  2601236 |  1998022 |     4007   1242 |        0 |        0
370.84/371.02	c  370s |      22 |  2613273 |  2008322 |     4007   1247 |        0 |        0
372.84/373.04	c  373s |      22 |  2623579 |  2017822 |     4007   1252 |        0 |        0
374.84/375.04	c  375s |      22 |  2636282 |  2028722 |     4007   1257 |        0 |        0
376.83/377.05	c  377s |      22 |  2649111 |  2039822 |     4007   1263 |        0 |        0
378.83/379.06	c  379s |      22 |  2663350 |  2051922 |     4007   1269 |        0 |        0
380.83/381.06	c  381s |      22 |  2675544 |  2062822 |     4007   1274 |        0 |        0
382.83/383.07	c  383s |      22 |  2688254 |  2073722 |     4007   1280 |        0 |        0
384.84/385.08	c  385s |      22 |  2702361 |  2085722 |     4007   1286 |        0 |        0
386.83/387.09	c  387s |      22 |  2715755 |  2097322 |     4007   1291 |        0 |        0
388.83/389.09	c  389s |      22 |  2727606 |  2107722 |     4007   1296 |        0 |        0
390.93/391.11	c  391s |      22 |  2739551 |  2118322 |     4007   1302 |        0 |        0
392.93/393.17	c  393s |      22 |  2751842 |  2129122 |     4007   1307 |        0 |        0
394.93/395.17	c  395s |      22 |  2764553 |  2140022 |     4007   1312 |        0 |        0
396.93/397.18	c  397s |      22 |  2775592 |  2150022 |     4007   1317 |        0 |        0
398.93/399.18	c  399s |      22 |  2786901 |  2160222 |     4007   1322 |        0 |        0
401.02/401.20	c  401s |      22 |  2799423 |  2171322 |     4007   1328 |        0 |        0
403.03/403.22	c  403s |      22 |  2811546 |  2181922 |     4007   1333 |        0 |        0
405.03/405.23	c  405s |      22 |  2824219 |  2193022 |     4007   1338 |        0 |        0
407.02/407.24	c  407s |      22 |  2836340 |  2203622 |     4007   1344 |        0 |        0
409.02/409.25	c  409s |      22 |  2849600 |  2215122 |     4007   1349 |        0 |        0
411.02/411.26	c  411s |      22 |  2860047 |  2224722 |     4007   1354 |        0 |        0
413.02/413.27	c  413s |      22 |  2871964 |  2235122 |     4408   1359 |        0 |        0
415.02/415.27	c  415s |      22 |  2883771 |  2245422 |     4408   1364 |        0 |        0
416.22/416.48	c  416s |      23 |  2889737 |  2251038 |     4408   1366 |        0 |        0
418.22/418.49	c  418s |      23 |  2899355 |  2259938 |     4408   1370 |        0 |        0
420.31/420.50	c  420s |      23 |  2908788 |  2268638 |     4408   1374 |        0 |        0
422.32/422.52	c  422s |      23 |  2919261 |  2278238 |     4408   1378 |        0 |        0
424.31/424.53	c  424s |      23 |  2929497 |  2287538 |     4408   1383 |        0 |        0
426.30/426.53	c  426s |      23 |  2939463 |  2296638 |     4408   1387 |        0 |        0
428.31/428.53	c  428s |      23 |  2949523 |  2305838 |     4408   1391 |        0 |        0
430.30/430.55	c  430s |      23 |  2960957 |  2316038 |     4408   1395 |        0 |        0
432.30/432.55	c  432s |      23 |  2972173 |  2325938 |     4408   1400 |        0 |        0
434.31/434.56	c  434s |      23 |  2983463 |  2335938 |     4408   1404 |        0 |        0
436.29/436.56	c  436s |      23 |  2996110 |  2347138 |     4408   1409 |        0 |        0
438.30/438.57	c  438s |      23 |  3006933 |  2356838 |     4408   1414 |        0 |        0
440.30/440.59	c  440s |      23 |  3019167 |  2367438 |     4408   1418 |        0 |        0
442.30/442.59	c  442s |      23 |  3033073 |  2379338 |     4408   1424 |        0 |        0
444.40/444.60	c  444s |      23 |  3046211 |  2390638 |     4408   1429 |        0 |        0
446.29/446.60	c  446s |      23 |  3058173 |  2401338 |     4408   1434 |        0 |        0
448.40/448.61	c  448s |      23 |  3069667 |  2411538 |     4408   1438 |        0 |        0
450.39/450.62	c  450s |      23 |  3079728 |  2420338 |     4408   1442 |        0 |        0
452.39/452.62	c  452s |      23 |  3092708 |  2431438 |     4408   1447 |        0 |        0
454.39/454.64	c  454s |      23 |  3105416 |  2442538 |     4408   1452 |        0 |        0
456.40/456.64	c  456s |      23 |  3116390 |  2452338 |     4408   1457 |        0 |        0
458.39/458.67	c  458s |      23 |  3128968 |  2463438 |     4408   1462 |        0 |        0
460.39/460.67	c  460s |      23 |  3142333 |  2474838 |     4408   1467 |        0 |        0
462.39/462.67	c  462s |      23 |  3156293 |  2486838 |     4408   1472 |        0 |        0
464.39/464.69	c  464s |      23 |  3167785 |  2496738 |     4408   1477 |        0 |        0
466.48/466.70	c  466s |      23 |  3178192 |  2506138 |     4408   1481 |        0 |        0
468.49/468.71	c  468s |      23 |  3190224 |  2516538 |     4408   1485 |        0 |        0
470.48/470.72	c  470s |      23 |  3201320 |  2526538 |     4408   1490 |        0 |        0
472.48/472.78	c  472s |      23 |  3211969 |  2536138 |     4408   1494 |        0 |        0
474.48/474.79	c  474s |      23 |  3224840 |  2547238 |     4408   1499 |        0 |        0
476.58/476.80	c  476s |      23 |  3236587 |  2557638 |     4408   1504 |        0 |        0
478.57/478.80	c  478s |      23 |  3249376 |  2568838 |     4408   1509 |        0 |        0
480.58/480.85	c  480s |      23 |  3260524 |  2578638 |     4408   1513 |        0 |        0
482.58/482.87	c  482s |      23 |  3273839 |  2589838 |     4408   1518 |        0 |        0
484.57/484.87	c  484s |      23 |  3287415 |  2601538 |     4408   1524 |        0 |        0
486.57/486.88	c  486s |      23 |  3298645 |  2611738 |     4408   1528 |        0 |        0
488.57/488.88	c  488s |      23 |  3309847 |  2621638 |     4408   1533 |        0 |        0
490.57/490.89	c  490s |      23 |  3321530 |  2631838 |     4408   1537 |        0 |        0
492.57/492.90	c  492s |      23 |  3333178 |  2642238 |     4408   1542 |        0 |        0
494.67/494.92	c  494s |      23 |  3344737 |  2652538 |     4408   1546 |        0 |        0
496.66/496.92	c  496s |      23 |  3358292 |  2664038 |     4408   1552 |        0 |        0
498.66/498.94	c  498s |      23 |  3369561 |  2674138 |     4408   1556 |        0 |        0
500.66/500.95	c  500s |      23 |  3381333 |  2684538 |     4408   1561 |        0 |        0
502.67/502.96	c  502s |      23 |  3391603 |  2693938 |     4408   1565 |        0 |        0
504.67/504.96	c  504s |      23 |  3400731 |  2702438 |     4408   1569 |        0 |        0
506.66/506.97	c  506s |      23 |  3412213 |  2712538 |     4408   1573 |        0 |        0
508.66/508.98	c  508s |      23 |  3424254 |  2723138 |     4408   1578 |        0 |        0
510.65/510.99	c  510s |      23 |  3435828 |  2733538 |     4408   1583 |        0 |        0
512.66/512.99	c  512s |      23 |  3446095 |  2742938 |     4408   1587 |        0 |        0
514.75/515.00	c  514s |      23 |  3455380 |  2751538 |     4408   1591 |        0 |        0
516.76/517.01	c  516s |      23 |  3464343 |  2759938 |     4408   1595 |        0 |        0
518.75/519.06	c  519s |      23 |  3474190 |  2768838 |     4408   1599 |        0 |        0
520.76/521.08	c  521s |      23 |  3484841 |  2778638 |     4408   1603 |        0 |        0
522.76/523.08	c  523s |      23 |  3495975 |  2788638 |     4408   1608 |        0 |        0
524.85/525.14	c  525s |      23 |  3506079 |  2797738 |     4408   1612 |        0 |        0
526.85/527.15	c  527s |      23 |  3517108 |  2807638 |     4408   1616 |        0 |        0
528.85/529.15	c  529s |      23 |  3528679 |  2817938 |     4408   1621 |        0 |        0
530.84/531.16	c  531s |      23 |  3542725 |  2829938 |     4408   1626 |        0 |        0
532.84/533.17	c  533s |      23 |  3554342 |  2840338 |     4408   1631 |        0 |        0
534.85/535.18	c  535s |      23 |  3566826 |  2851038 |     4408   1636 |        0 |        0
536.84/537.19	c  537s |      23 |  3580623 |  2863038 |     4408   1641 |        0 |        0
538.94/539.20	c  539s |      23 |  3594012 |  2874438 |     4408   1646 |        0 |        0
540.95/541.21	c  541s |      23 |  3606315 |  2885238 |     4408   1651 |        0 |        0
542.94/543.24	c  543s |      23 |  3617736 |  2895438 |     4408   1656 |        0 |        0
544.94/545.24	c  545s |      23 |  3630745 |  2906338 |     4408   1660 |        0 |        0
546.93/547.24	c  547s |      23 |  3643739 |  2917338 |     4408   1665 |        0 |        0
548.94/549.25	c  549s |      23 |  3657402 |  2929138 |     4408   1671 |        0 |        0
550.94/551.26	c  551s |      23 |  3670565 |  2940538 |     4408   1676 |        0 |        0
552.93/553.27	c  553s |      23 |  3683554 |  2951938 |     4408   1681 |        0 |        0
554.94/555.27	c  555s |      23 |  3695839 |  2962438 |     4408   1686 |        0 |        0
556.93/557.27	c  557s |      23 |  3709959 |  2974138 |     4408   1691 |        0 |        0
558.93/559.28	c  559s |      23 |  3722485 |  2984838 |     4408   1696 |        0 |        0
561.03/561.30	c  561s |      23 |  3737047 |  2997338 |     4408   1701 |        0 |        0
563.04/563.31	c  563s |      23 |  3750593 |  3008838 |     4408   1707 |        0 |        0
565.03/565.34	c  565s |      23 |  3763721 |  3020038 |     4408   1712 |        0 |        0
567.02/567.34	c  567s |      23 |  3777509 |  3031738 |     4408   1717 |        0 |        0
569.12/569.42	c  569s |      23 |  3791522 |  3043638 |     4408   1722 |        0 |        0
571.12/571.42	c  571s |      23 |  3803028 |  3053538 |     4408   1727 |        0 |        0
573.13/573.43	c  573s |      23 |  3815477 |  3064538 |     4408   1732 |        0 |        0
575.13/575.44	c  575s |      23 |  3829220 |  3076238 |     4408   1737 |        0 |        0
577.12/577.45	c  577s |      23 |  3842161 |  3087638 |     4408   1742 |        0 |        0
579.12/579.45	c  579s |      23 |  3854025 |  3098238 |     4408   1747 |        0 |        0
581.12/581.48	c  581s |      23 |  3864295 |  3107638 |     4408   1751 |        0 |        0
583.12/583.49	c  583s |      23 |  3876505 |  3118238 |     4408   1756 |        0 |        0
585.11/585.49	c  585s |      23 |  3889485 |  3129538 |     4408   1761 |        0 |        0
587.13/587.50	c  587s |      23 |  3902398 |  3140638 |     4408   1766 |        0 |        0
589.22/589.51	c  589s |      23 |  3915179 |  3151738 |     4408   1771 |        0 |        0
591.21/591.51	c  591s |      23 |  3929001 |  3163438 |     4408   1776 |        0 |        0
593.22/593.52	c  593s |      23 |  3941797 |  3174538 |     4408   1781 |        0 |        0
595.21/595.52	c  595s |      23 |  3955504 |  3186138 |     4408   1786 |        0 |        0
597.20/597.53	c  597s |      23 |  3969685 |  3198238 |     4408   1792 |        0 |        0
599.22/599.54	c  599s |      23 |  3983140 |  3209538 |     4408   1797 |        0 |        0
601.20/601.56	c  601s |      23 |  3996517 |  3221038 |     4408   1802 |        0 |        0
603.21/603.56	c  603s |      23 |  4008304 |  3231138 |     4408   1806 |        0 |        0
605.21/605.57	c  605s |      23 |  4021696 |  3242538 |     4408   1812 |        0 |        0
607.20/607.58	c  607s |      23 |  4033186 |  3252838 |     4408   1816 |        0 |        0
609.30/609.64	c  609s |      23 |  4044036 |  3262638 |     4408   1821 |        0 |        0
611.31/611.65	c  611s |      23 |  4057022 |  3273838 |     4408   1826 |        0 |        0
613.30/613.65	c  613s |      23 |  4071185 |  3285838 |     4408   1831 |        0 |        0
615.30/615.66	c  615s |      23 |  4082786 |  3295738 |     4408   1835 |        0 |        0
617.30/617.66	c  617s |      23 |  4094998 |  3306438 |     4408   1840 |        0 |        0
619.29/619.67	c  619s |      23 |  4107617 |  3317638 |     4408   1845 |        0 |        0
621.30/621.68	c  621s |      23 |  4120577 |  3328838 |     4408   1850 |        0 |        0
623.30/623.68	c  623s |      23 |  4134339 |  3340438 |     4408   1856 |        0 |        0
625.29/625.69	c  625s |      23 |  4148717 |  3352738 |     4849   1861 |        0 |        0
627.39/627.70	c  627s |      23 |  4161062 |  3362938 |     4849   1865 |        0 |        0
629.39/629.71	c  629s |      23 |  4174573 |  3374538 |     4849   1870 |        0 |        0
629.79/630.15	c  630s |      24 |  4177087 |  3376662 |     4849   1871 |        0 |        0
631.79/632.16	c  632s |      24 |  4187348 |  3385962 |     4849   1874 |        0 |        0
633.79/634.17	c  634s |      24 |  4196806 |  3394662 |     4849   1878 |        0 |        0
635.89/636.20	c  636s |      24 |  4206043 |  3403162 |     4849   1881 |        0 |        0
637.88/638.20	c  638s |      24 |  4216385 |  3412462 |     4849   1885 |        0 |        0
639.89/640.22	c  640s |      24 |  4228313 |  3423162 |     4849   1890 |        0 |        0
641.88/642.23	c  642s |      24 |  4237625 |  3431762 |     4849   1893 |        0 |        0
643.88/644.25	c  644s |      24 |  4246142 |  3439862 |     4849   1896 |        0 |        0
645.89/646.25	c  646s |      24 |  4255502 |  3448462 |     4849   1900 |        0 |        0
647.87/648.27	c  648s |      24 |  4264306 |  3456662 |     4849   1903 |        0 |        0
649.89/650.28	c  650s |      24 |  4273151 |  3464962 |     4849   1907 |        0 |        0
651.88/652.29	c  652s |      24 |  4283230 |  3473962 |     4849   1910 |        0 |        0
653.98/654.30	c  654s |      24 |  4294127 |  3483462 |     4849   1914 |        0 |        0
655.97/656.31	c  656s |      24 |  4303777 |  3492262 |     4849   1918 |        0 |        0
657.98/658.33	c  658s |      24 |  4314424 |  3501862 |     4849   1922 |        0 |        0
659.97/660.34	c  660s |      24 |  4325789 |  3511762 |     4849   1926 |        0 |        0
661.97/662.35	c  662s |      24 |  4336377 |  3521162 |     4849   1930 |        0 |        0
663.97/664.35	c  664s |      24 |  4347798 |  3531262 |     4849   1934 |        0 |        0
665.97/666.36	c  666s |      24 |  4359976 |  3541462 |     4849   1938 |        0 |        0
667.97/668.38	c  668s |      24 |  4371296 |  3551362 |     4849   1942 |        0 |        0
670.06/670.42	c  670s |      24 |  4384075 |  3562462 |     4849   1947 |        0 |        0
672.06/672.47	c  672s |      24 |  4395911 |  3572562 |     4849   1951 |        0 |        0
674.07/674.49	c  674s |      24 |  4408732 |  3583462 |     4849   1955 |        0 |        0
676.06/676.49	c  676s |      24 |  4417857 |  3591562 |     4849   1958 |        0 |        0
678.06/678.49	c  678s |      24 |  4430437 |  3602062 |     4849   1963 |        0 |        0
680.16/680.50	c  680s |      24 |  4444195 |  3613862 |     4849   1967 |        0 |        0
682.16/682.51	c  682s |      24 |  4456570 |  3624362 |     4849   1972 |        0 |        0
684.16/684.52	c  684s |      24 |  4469802 |  3635662 |     4849   1976 |        0 |        0
686.16/686.53	c  686s |      24 |  4482308 |  3646462 |     4849   1981 |        0 |        0
688.16/688.55	c  688s |      24 |  4494033 |  3656762 |     4849   1985 |        0 |        0
690.15/690.55	c  690s |      24 |  4503634 |  3665462 |     4849   1989 |        0 |        0
692.16/692.59	c  692s |      24 |  4515895 |  3676062 |     4849   1993 |        0 |        0
694.26/694.60	c  694s |      24 |  4528563 |  3687062 |     4849   1997 |        0 |        0
696.25/696.61	c  696s |      24 |  4540520 |  3697662 |     4849   2002 |        0 |        0
698.26/698.62	c  698s |      24 |  4550916 |  3707062 |     4849   2006 |        0 |        0
700.25/700.63	c  700s |      24 |  4560777 |  3716162 |     4849   2009 |        0 |        0
702.25/702.64	c  702s |      24 |  4570583 |  3724762 |     4849   2013 |        0 |        0
704.25/704.66	c  704s |      24 |  4580656 |  3733962 |     4849   2017 |        0 |        0
706.25/706.66	c  706s |      24 |  4592580 |  3744362 |     4849   2021 |        0 |        0
708.25/708.67	c  708s |      24 |  4602822 |  3753462 |     4849   2025 |        0 |        0
710.25/710.67	c  710s |      24 |  4614591 |  3763762 |     4849   2029 |        0 |        0
712.25/712.68	c  712s |      24 |  4624820 |  3772762 |     4849   2032 |        0 |        0
714.25/714.69	c  714s |      24 |  4634940 |  3781862 |     4849   2036 |        0 |        0
716.25/716.69	c  716s |      24 |  4645254 |  3791162 |     4849   2040 |        0 |        0
718.25/718.69	c  718s |      24 |  4655668 |  3800562 |     4849   2044 |        0 |        0
720.35/720.75	c  720s |      24 |  4667424 |  3811162 |     4849   2048 |        0 |        0
722.36/722.76	c  722s |      24 |  4679501 |  3821662 |     4849   2052 |        0 |        0
724.45/724.80	c  724s |      24 |  4690906 |  3831962 |     4849   2057 |        0 |        0
726.45/726.81	c  726s |      24 |  4702456 |  3842162 |     4849   2061 |        0 |        0
728.45/728.82	c  728s |      24 |  4714666 |  3852662 |     4849   2065 |        0 |        0
730.45/730.83	c  730s |      24 |  4728398 |  3864362 |     4849   2070 |        0 |        0
732.44/732.88	c  732s |      24 |  4739951 |  3874662 |     4849   2074 |        0 |        0
734.45/734.89	c  734s |      24 |  4752302 |  3885262 |     4849   2078 |        0 |        0
736.55/736.91	c  736s |      24 |  4765138 |  3896362 |     4849   2083 |        0 |        0
738.55/738.92	c  738s |      24 |  4778201 |  3907562 |     4849   2087 |        0 |        0
740.55/740.94	c  740s |      24 |  4789712 |  3917662 |     4849   2092 |        0 |        0
742.64/743.02	c  742s |      24 |  4803178 |  3929462 |     4849   2096 |        0 |        0
744.65/745.03	c  744s |      24 |  4812981 |  3938662 |     4849   2100 |        0 |        0
746.65/747.04	c  747s |      24 |  4824341 |  3948662 |     4849   2104 |        0 |        0
748.64/749.04	c  749s |      24 |  4835327 |  3958362 |     4849   2108 |        0 |        0
750.64/751.06	c  751s |      24 |  4847219 |  3968862 |     4849   2112 |        0 |        0
752.75/753.14	c  753s |      24 |  4861285 |  3980662 |     4849   2117 |        0 |        0
754.74/755.15	c  755s |      24 |  4874079 |  3991562 |     4849   2122 |        0 |        0
756.75/757.16	c  757s |      24 |  4886432 |  4002262 |     4849   2126 |        0 |        0
758.75/759.17	c  759s |      24 |  4900110 |  4013762 |     4849   2131 |        0 |        0
760.74/761.17	c  761s |      24 |  4913616 |  4025062 |     4849   2135 |        0 |        0
762.74/763.19	c  763s |      24 |  4927446 |  4036362 |     4849   2140 |        0 |        0
764.84/765.21	c  765s |      24 |  4940674 |  4047362 |     4849   2145 |        0 |        0
766.84/767.21	c  767s |      24 |  4953825 |  4058962 |     4849   2149 |        0 |        0
768.84/769.22	c  769s |      24 |  4963126 |  4067562 |     4849   2153 |        0 |        0
770.84/771.22	c  771s |      24 |  4973790 |  4076762 |     4849   2157 |        0 |        0
772.84/773.23	c  773s |      24 |  4985530 |  4087262 |     4849   2161 |        0 |        0
774.84/775.23	c  775s |      24 |  4996186 |  4096962 |     4849   2165 |        0 |        0
776.84/777.25	c  777s |      24 |  5005737 |  4105862 |     4849   2169 |        0 |        0
778.84/779.26	c  779s |      24 |  5013850 |  4113562 |     4849   2172 |        0 |        0
780.84/781.28	c  781s |      24 |  5022553 |  4121762 |     4849   2175 |        0 |        0
782.85/783.28	c  783s |      24 |  5031963 |  4130462 |     4849   2179 |        0 |        0
784.84/785.28	c  785s |      24 |  5042267 |  4139662 |     4849   2182 |        0 |        0
786.94/787.31	c  787s |      24 |  5053253 |  4149462 |     4849   2186 |        0 |        0
788.94/789.32	c  789s |      24 |  5063982 |  4159162 |     4849   2190 |        0 |        0
790.94/791.32	c  791s |      24 |  5075293 |  4169162 |     4849   2194 |        0 |        0
792.94/793.34	c  793s |      24 |  5087082 |  4179662 |     4849   2199 |        0 |        0
794.95/795.36	c  795s |      24 |  5099476 |  4190162 |     4849   2203 |        0 |        0
796.94/797.37	c  797s |      24 |  5111696 |  4200762 |     4849   2207 |        0 |        0
798.93/799.38	c  799s |      24 |  5122961 |  4210862 |     4849   2211 |        0 |        0
800.94/801.38	c  801s |      24 |  5134434 |  4220662 |     4849   2215 |        0 |        0
803.03/803.40	c  803s |      24 |  5146256 |  4231062 |     4849   2220 |        0 |        0
805.03/805.40	c  805s |      24 |  5158680 |  4241862 |     4849   2224 |        0 |        0
807.05/807.42	c  807s |      24 |  5170964 |  4252362 |     4849   2228 |        0 |        0
809.04/809.43	c  809s |      24 |  5182425 |  4262562 |     4849   2232 |        0 |        0
811.04/811.44	c  811s |      24 |  5192927 |  4271962 |     4849   2236 |        0 |        0
813.03/813.47	c  813s |      24 |  5205182 |  4282662 |     4849   2241 |        0 |        0
815.04/815.49	c  815s |      24 |  5215242 |  4291762 |     4849   2244 |        0 |        0
817.13/817.50	c  817s |      24 |  5225923 |  4301362 |     4849   2248 |        0 |        0
819.04/819.50	c  819s |      24 |  5238062 |  4311862 |     4849   2253 |        0 |        0
821.14/821.51	c  821s |      24 |  5249465 |  4321662 |     4849   2257 |        0 |        0
823.14/823.51	c  823s |      24 |  5262643 |  4332962 |     4849   2261 |        0 |        0
825.13/825.53	c  825s |      24 |  5274957 |  4343662 |     4849   2266 |        0 |        0
827.13/827.54	c  827s |      24 |  5287636 |  4354562 |     4849   2270 |        0 |        0
829.14/829.56	c  829s |      24 |  5298279 |  4364162 |     4849   2274 |        0 |        0
831.13/831.57	c  831s |      24 |  5309180 |  4373962 |     4849   2278 |        0 |        0
833.14/833.58	c  833s |      24 |  5321849 |  4384762 |     4849   2282 |        0 |        0
835.13/835.59	c  835s |      24 |  5334420 |  4395762 |     4849   2287 |        0 |        0
837.23/837.60	c  837s |      24 |  5347326 |  4406762 |     4849   2291 |        0 |        0
839.23/839.61	c  839s |      24 |  5359957 |  4417762 |     4849   2296 |        0 |        0
841.23/841.64	c  841s |      24 |  5373441 |  4429262 |     4849   2301 |        0 |        0
843.23/843.65	c  843s |      24 |  5385968 |  4440062 |     4849   2305 |        0 |        0
845.23/845.66	c  845s |      24 |  5396990 |  4449962 |     4849   2309 |        0 |        0
847.23/847.67	c  847s |      24 |  5409889 |  4461162 |     4849   2314 |        0 |        0
849.23/849.68	c  849s |      24 |  5422159 |  4471262 |     4849   2318 |        0 |        0
851.23/851.69	c  851s |      24 |  5435657 |  4482562 |     4849   2322 |        0 |        0
853.33/853.76	c  853s |      24 |  5449407 |  4493962 |     4849   2327 |        0 |        0
855.33/855.78	c  855s |      24 |  5463012 |  4505762 |     4849   2332 |        0 |        0
857.32/857.78	c  857s |      24 |  5474792 |  4516062 |     4849   2336 |        0 |        0
859.33/859.78	c  859s |      24 |  5486496 |  4526062 |     4849   2340 |        0 |        0
861.43/861.86	c  861s |      24 |  5500027 |  4537562 |     4849   2345 |        0 |        0
863.43/863.87	c  863s |      24 |  5511567 |  4547862 |     4849   2349 |        0 |        0
865.43/865.88	c  865s |      24 |  5523407 |  4558162 |     4849   2353 |        0 |        0
867.43/867.89	c  867s |      24 |  5534905 |  4568362 |     4849   2357 |        0 |        0
869.53/869.91	c  869s |      24 |  5545854 |  4578062 |     4849   2361 |        0 |        0
871.53/871.91	c  871s |      24 |  5557460 |  4588162 |     4849   2365 |        0 |        0
873.52/873.93	c  873s |      24 |  5567655 |  4597462 |     4849   2369 |        0 |        0
875.53/875.94	c  875s |      24 |  5578818 |  4607462 |     4849   2373 |        0 |        0
877.54/877.95	c  877s |      24 |  5590451 |  4617762 |     4849   2377 |        0 |        0
879.52/879.96	c  879s |      24 |  5603604 |  4628962 |     4849   2382 |        0 |        0
881.53/881.97	c  881s |      24 |  5614897 |  4639062 |     4849   2386 |        0 |        0
883.62/884.01	c  883s |      24 |  5623780 |  4647362 |     4849   2390 |        0 |        0
885.63/886.02	c  885s |      24 |  5633845 |  4656662 |     4849   2393 |        0 |        0
887.62/888.03	c  887s |      24 |  5644419 |  4666162 |     4849   2397 |        0 |        0
889.63/890.07	c  890s |      24 |  5656015 |  4676162 |     4849   2401 |        0 |        0
891.63/892.09	c  892s |      24 |  5668266 |  4686962 |     4849   2406 |        0 |        0
893.62/894.09	c  894s |      24 |  5681349 |  4698062 |     4849   2410 |        0 |        0
895.72/896.13	c  896s |      24 |  5693476 |  4708662 |     4849   2415 |        0 |        0
897.72/898.14	c  898s |      24 |  5703597 |  4717962 |     4849   2418 |        0 |        0
899.72/900.15	c  900s |      24 |  5715912 |  4728762 |     4849   2423 |        0 |        0
901.72/902.16	c  902s |      24 |  5727292 |  4738662 |     4849   2427 |        0 |        0
903.72/904.17	c  904s |      24 |  5739365 |  4749362 |     4849   2431 |        0 |        0
905.72/906.19	c  906s |      24 |  5751527 |  4759862 |     4849   2436 |        0 |        0
907.82/908.20	c  908s |      24 |  5764101 |  4770862 |     4849   2440 |        0 |        0
909.83/910.21	c  910s |      24 |  5777211 |  4782262 |     4849   2445 |        0 |        0
911.82/912.21	c  912s |      24 |  5789658 |  4792962 |     4849   2449 |        0 |        0
913.83/914.22	c  914s |      24 |  5802164 |  4803662 |     4849   2453 |        0 |        0
915.82/916.24	c  916s |      24 |  5814580 |  4814462 |     4849   2458 |        0 |        0
917.82/918.25	c  918s |      24 |  5827250 |  4825562 |     4849   2462 |        0 |        0
919.82/920.27	c  920s |      24 |  5837849 |  4835062 |     4849   2466 |        0 |        0
921.82/922.28	c  922s |      24 |  5849852 |  4845362 |     4849   2470 |        0 |        0
923.92/924.30	c  924s |      24 |  5863890 |  4856662 |     4849   2475 |        0 |        0
925.92/926.31	c  926s |      24 |  5877765 |  4868462 |     4849   2480 |        0 |        0
927.92/928.31	c  928s |      24 |  5890498 |  4879462 |     4849   2484 |        0 |        0
929.92/930.32	c  930s |      24 |  5903204 |  4890662 |     4849   2489 |        0 |        0
931.92/932.33	c  932s |      24 |  5915214 |  4900962 |     4849   2493 |        0 |        0
933.92/934.34	c  934s |      24 |  5928468 |  4912062 |     4849   2498 |        0 |        0
935.91/936.39	c  936s |      24 |  5942022 |  4923262 |     4849   2502 |        0 |        0
938.03/938.41	c  938s |      24 |  5955608 |  4934762 |     4849   2507 |        0 |        0
940.01/940.42	c  940s |      24 |  5968105 |  4945662 |     4849   2512 |        0 |        0
942.02/942.43	c  942s |      24 |  5980962 |  4956462 |     4849   2516 |        0 |        0
944.01/944.45	c  944s |      24 |  5994559 |  4968262 |     4849   2521 |        0 |        0
946.01/946.46	c  946s |      24 |  6007083 |  4979362 |     4849   2525 |        0 |        0
948.02/948.47	c  948s |      24 |  6018640 |  4989462 |     4849   2529 |        0 |        0
950.02/950.47	c  950s |      24 |  6030095 |  4999462 |     4849   2534 |        0 |        0
952.02/952.48	c  952s |      24 |  6042543 |  5010262 |     4849   2538 |        0 |        0
954.12/954.51	c  954s |      24 |  6053167 |  5019662 |     4849   2542 |        0 |        0
956.12/956.51	c  956s |      24 |  6064114 |  5029362 |     5334   2546 |        0 |        0
958.11/958.51	c  958s |      24 |  6075131 |  5039062 |     5334   2549 |        0 |        0
960.11/960.51	c  960s |      24 |  6085634 |  5048562 |     5334   2553 |        0 |        0
962.12/962.52	c  962s |      24 |  6096155 |  5057762 |     5334   2556 |        0 |        0
963.41/963.88	c  963s |      25 |  6104596 |  5065098 |     5334   2559 |        0 |        0
965.42/965.89	c  965s |      25 |  6114212 |  5073798 |     5334   2562 |        0 |        0
967.41/967.89	c  967s |      25 |  6125499 |  5083798 |     5334   2566 |        0 |        0
969.51/969.90	c  969s |      25 |  6138580 |  5094898 |     5334   2570 |        0 |        0
971.51/971.93	c  971s |      25 |  6147512 |  5102898 |     5334   2573 |        0 |        0
973.51/973.94	c  973s |      25 |  6156589 |  5111098 |     5334   2576 |        0 |        0
975.51/975.96	c  975s |      25 |  6165781 |  5119398 |     5334   2579 |        0 |        0
977.71/978.15	c  978s |      25 |  6176465 |  5128898 |     5334   2583 |        0 |        0
979.72/980.16	c  980s |      25 |  6187254 |  5138398 |     5334   2586 |        0 |        0
981.71/982.17	c  982s |      25 |  6198049 |  5147598 |     5334   2590 |        0 |        0
983.70/984.18	c  984s |      25 |  6208464 |  5156998 |     5334   2593 |        0 |        0
985.71/986.20	c  986s |      25 |  6220226 |  5167198 |     5334   2597 |        0 |        0
987.81/988.20	c  988s |      25 |  6231535 |  5176998 |     5334   2600 |        0 |        0
989.81/990.21	c  990s |      25 |  6241886 |  5186198 |     5334   2604 |        0 |        0
991.81/992.22	c  992s |      25 |  6252212 |  5195398 |     5334   2607 |        0 |        0
993.81/994.25	c  994s |      25 |  6261944 |  5203998 |     5334   2611 |        0 |        0
995.81/996.26	c  996s |      25 |  6273956 |  5214298 |     5334   2614 |        0 |        0
998.01/998.43	c  998s |      25 |  6285654 |  5224498 |     5334   2618 |        0 |        0
1000.01/1000.44	c 1000s |      25 |  6296761 |  5234398 |     5334   2622 |        0 |        0
1002.01/1002.45	c 1002s |      25 |  6309827 |  5245598 |     5334   2626 |        0 |        0
1004.01/1004.45	c 1004s |      25 |  6321441 |  5255898 |     5334   2630 |        0 |        0
1006.00/1006.46	c 1006s |      25 |  6331809 |  5265098 |     5334   2633 |        0 |        0
1008.01/1008.48	c 1008s |      25 |  6342693 |  5274898 |     5334   2637 |        0 |        0
1010.11/1010.50	c 1010s |      25 |  6351702 |  5283198 |     5334   2640 |        0 |        0
1012.11/1012.50	c 1012s |      25 |  6361520 |  5291898 |     5334   2643 |        0 |        0
1014.10/1014.51	c 1014s |      25 |  6373412 |  5302098 |     5334   2647 |        0 |        0
1016.11/1016.52	c 1016s |      25 |  6384914 |  5312198 |     5334   2651 |        0 |        0
1018.11/1018.53	c 1018s |      25 |  6396411 |  5322198 |     5334   2654 |        0 |        0
1020.10/1020.54	c 1020s |      25 |  6406927 |  5331698 |     5334   2658 |        0 |        0
1022.10/1022.55	c 1022s |      25 |  6418132 |  5341598 |     5334   2662 |        0 |        0
1024.10/1024.57	c 1024s |      25 |  6427342 |  5349998 |     5334   2665 |        0 |        0
1026.21/1026.64	c 1026s |      25 |  6435532 |  5357798 |     5334   2668 |        0 |        0
1028.21/1028.64	c 1028s |      25 |  6445652 |  5366898 |     5334   2671 |        0 |        0
1030.20/1030.64	c 1030s |      25 |  6456874 |  5376498 |     5334   2675 |        0 |        0
1032.20/1032.64	c 1032s |      25 |  6468644 |  5386798 |     5334   2678 |        0 |        0
1034.20/1034.65	c 1034s |      25 |  6479302 |  5396098 |     5334   2682 |        0 |        0
1036.20/1036.67	c 1036s |      25 |  6489801 |  5405598 |     5334   2685 |        0 |        0
1038.41/1038.89	c 1038s |      25 |  6500555 |  5415198 |     5334   2689 |        0 |        0
1040.50/1040.90	c 1040s |      25 |  6513428 |  5426098 |     5334   2693 |        0 |        0
1042.50/1042.91	c 1042s |      25 |  6525369 |  5436198 |     5334   2697 |        0 |        0
1044.50/1044.95	c 1044s |      25 |  6537223 |  5446398 |     5334   2701 |        0 |        0
1046.50/1046.96	c 1046s |      25 |  6550012 |  5456898 |     5334   2705 |        0 |        0
1048.50/1048.98	c 1048s |      25 |  6559777 |  5465698 |     5334   2708 |        0 |        0
1050.49/1050.98	c 1050s |      25 |  6568837 |  5474098 |     5334   2711 |        0 |        0
1052.60/1053.00	c 1052s |      25 |  6579151 |  5483198 |     5334   2714 |        0 |        0
1054.61/1055.02	c 1054s |      25 |  6588247 |  5491398 |     5334   2717 |        0 |        0
1056.60/1057.02	c 1056s |      25 |  6598130 |  5500298 |     5334   2721 |        0 |        0
1058.59/1059.09	c 1059s |      25 |  6609678 |  5510298 |     5334   2724 |        0 |        0
1060.59/1061.09	c 1061s |      25 |  6620641 |  5519898 |     5334   2728 |        0 |        0
1062.70/1063.10	c 1063s |      25 |  6631812 |  5529698 |     5334   2732 |        0 |        0
1064.69/1065.11	c 1065s |      25 |  6643927 |  5540198 |     5334   2735 |        0 |        0
1066.70/1067.13	c 1067s |      25 |  6653863 |  5548798 |     5334   2739 |        0 |        0
1068.70/1069.14	c 1069s |      25 |  6665597 |  5558798 |     5334   2742 |        0 |        0
1070.70/1071.15	c 1071s |      25 |  6675464 |  5567698 |     5334   2746 |        0 |        0
1072.69/1073.17	c 1073s |      25 |  6685769 |  5576998 |     5334   2749 |        0 |        0
1074.70/1075.19	c 1075s |      25 |  6696625 |  5586598 |     5334   2753 |        0 |        0
1076.80/1077.20	c 1077s |      25 |  6707478 |  5596098 |     5334   2756 |        0 |        0
1078.80/1079.22	c 1079s |      25 |  6719703 |  5606698 |     5334   2760 |        0 |        0
1080.90/1081.35	c 1081s |      25 |  6730308 |  5616298 |     5334   2764 |        0 |        0
1082.89/1083.36	c 1083s |      25 |  6741392 |  5626098 |     5334   2767 |        0 |        0
1084.89/1085.37	c 1085s |      25 |  6751338 |  5634998 |     5334   2771 |        0 |        0
1086.89/1087.38	c 1087s |      25 |  6762860 |  5644998 |     5334   2774 |        0 |        0
1088.89/1089.40	c 1089s |      25 |  6774006 |  5654498 |     5334   2778 |        0 |        0
1090.99/1091.41	c 1091s |      25 |  6785530 |  5664398 |     5334   2782 |        0 |        0
1093.00/1093.43	c 1093s |      25 |  6796516 |  5674198 |     5334   2785 |        0 |        0
1095.00/1095.43	c 1095s |      25 |  6807407 |  5683498 |     5334   2789 |        0 |        0
1096.99/1097.47	c 1097s |      25 |  6819059 |  5693698 |     5334   2793 |        0 |        0
1098.99/1099.48	c 1099s |      25 |  6831131 |  5704198 |     5334   2796 |        0 |        0
1100.99/1101.48	c 1101s |      25 |  6842738 |  5714298 |     5334   2800 |        0 |        0
1103.00/1103.48	c 1103s |      25 |  6854240 |  5724098 |     5334   2804 |        0 |        0
1104.99/1105.49	c 1105s |      25 |  6866577 |  5734898 |     5334   2808 |        0 |        0
1107.09/1107.50	c 1107s |      25 |  6877226 |  5744398 |     5334   2811 |        0 |        0
1109.09/1109.50	c 1109s |      25 |  6887830 |  5753698 |     5334   2815 |        0 |        0
1111.19/1111.61	c 1111s |      25 |  6900077 |  5764098 |     5334   2819 |        0 |        0
1113.19/1113.61	c 1113s |      25 |  6913171 |  5775398 |     5334   2823 |        0 |        0
1115.19/1115.64	c 1115s |      25 |  6924894 |  5785298 |     5334   2827 |        0 |        0
1117.20/1117.64	c 1117s |      25 |  6937882 |  5796498 |     5334   2831 |        0 |        0
1119.19/1119.65	c 1119s |      25 |  6949361 |  5806698 |     5334   2835 |        0 |        0
1121.19/1121.66	c 1121s |      25 |  6960817 |  5816698 |     5334   2838 |        0 |        0
1123.19/1123.66	c 1123s |      25 |  6972694 |  5826598 |     5334   2842 |        0 |        0
1125.19/1125.67	c 1125s |      25 |  6984197 |  5836798 |     5334   2846 |        0 |        0
1127.20/1127.68	c 1127s |      25 |  6996167 |  5846998 |     5334   2850 |        0 |        0
1129.18/1129.69	c 1129s |      25 |  7006873 |  5855998 |     5334   2853 |        0 |        0
1131.19/1131.69	c 1131s |      25 |  7019621 |  5866998 |     5334   2857 |        0 |        0
1133.28/1133.70	c 1133s |      25 |  7032034 |  5877598 |     5334   2861 |        0 |        0
1135.29/1135.72	c 1135s |      25 |  7045180 |  5889098 |     5334   2865 |        0 |        0
1137.28/1137.73	c 1137s |      25 |  7055521 |  5898198 |     5334   2869 |        0 |        0
1139.29/1139.73	c 1139s |      25 |  7066298 |  5907698 |     5334   2872 |        0 |        0
1141.28/1141.74	c 1141s |      25 |  7078355 |  5918298 |     5334   2876 |        0 |        0
1143.28/1143.75	c 1143s |      25 |  7090397 |  5928798 |     5334   2880 |        0 |        0
1145.29/1145.76	c 1145s |      25 |  7103016 |  5939598 |     5334   2884 |        0 |        0
1147.28/1147.76	c 1147s |      25 |  7113836 |  5949198 |     5334   2888 |        0 |        0
1149.28/1149.76	c 1149s |      25 |  7124064 |  5958398 |     5334   2891 |        0 |        0
1151.29/1151.77	c 1151s |      25 |  7136260 |  5968998 |     5334   2895 |        0 |        0
1153.29/1153.78	c 1153s |      25 |  7148396 |  5979598 |     5334   2899 |        0 |        0
1155.29/1155.78	c 1155s |      25 |  7161412 |  5990898 |     5334   2903 |        0 |        0
1157.29/1157.78	c 1157s |      25 |  7173339 |  6000998 |     5334   2907 |        0 |        0
1159.28/1159.79	c 1159s |      25 |  7185494 |  6011798 |     5334   2911 |        0 |        0
1161.38/1161.81	c 1161s |      25 |  7197027 |  6021498 |     5334   2914 |        0 |        0
1163.39/1163.84	c 1163s |      25 |  7209778 |  6032198 |     5334   2918 |        0 |        0
1165.38/1165.87	c 1165s |      25 |  7223179 |  6043598 |     5334   2923 |        0 |        0
1167.38/1167.88	c 1167s |      25 |  7235175 |  6053998 |     5334   2927 |        0 |        0
1169.38/1169.89	c 1169s |      25 |  7247137 |  6064298 |     5334   2930 |        0 |        0
1171.38/1171.89	c 1171s |      25 |  7258810 |  6074698 |     5334   2934 |        0 |        0
1173.39/1173.89	c 1173s |      25 |  7270915 |  6085198 |     5334   2938 |        0 |        0
1175.38/1175.89	c 1175s |      25 |  7282437 |  6095198 |     5334   2942 |        0 |        0
1177.48/1177.90	c 1177s |      25 |  7293167 |  6104698 |     5334   2945 |        0 |        0
1179.48/1179.90	c 1179s |      25 |  7303499 |  6114098 |     5334   2949 |        0 |        0
1181.48/1181.92	c 1181s |      25 |  7314106 |  6123298 |     5334   2952 |        0 |        0
1183.48/1183.92	c 1183s |      25 |  7325682 |  6133598 |     5334   2956 |        0 |        0
1185.48/1185.92	c 1185s |      25 |  7336000 |  6142698 |     5334   2960 |        0 |        0
1187.48/1187.94	c 1187s |      25 |  7346748 |  6152198 |     5334   2963 |        0 |        0
1189.48/1189.95	c 1189s |      25 |  7357673 |  6161798 |     5334   2967 |        0 |        0
1191.48/1191.96	c 1191s |      25 |  7369264 |  6171998 |     5334   2970 |        0 |        0
1193.47/1193.96	c 1193s |      25 |  7382436 |  6183298 |     5334   2975 |        0 |        0
1195.47/1195.98	c 1195s |      25 |  7394494 |  6193798 |     5334   2979 |        0 |        0
1197.49/1197.99	c 1197s |      25 |  7403843 |  6202098 |     5334   2982 |        0 |        0
1199.58/1200.00	c 1199s |      25 |  7414111 |  6211298 |     5334   2985 |        0 |        0
1201.58/1202.04	c 1202s |      25 |  7424746 |  6220598 |     5334   2989 |        0 |        0
1203.58/1204.04	c 1204s |      25 |  7435914 |  6230298 |     5334   2992 |        0 |        0
1205.58/1206.05	c 1206s |      25 |  7447148 |  6240098 |     5334   2996 |        0 |        0
1207.58/1208.06	c 1208s |      25 |  7458511 |  6249998 |     5334   2999 |        0 |        0
1209.58/1210.06	c 1210s |      25 |  7469298 |  6259398 |     5334   3003 |        0 |        0
1211.58/1212.07	c 1212s |      25 |  7479959 |  6268798 |     5334   3006 |        0 |        0
1213.58/1214.08	c 1214s |      25 |  7491742 |  6278998 |     5334   3010 |        0 |        0
1215.57/1216.09	c 1216s |      25 |  7503574 |  6289198 |     5334   3014 |        0 |        0
1217.68/1218.10	c 1218s |      25 |  7515382 |  6299398 |     5334   3018 |        0 |        0
1219.67/1220.12	c 1220s |      25 |  7527813 |  6309998 |     5334   3022 |        0 |        0
1221.68/1222.12	c 1222s |      25 |  7539389 |  6320198 |     5334   3026 |        0 |        0
1223.67/1224.13	c 1224s |      25 |  7550179 |  6329598 |     5334   3029 |        0 |        0
1225.67/1226.16	c 1226s |      25 |  7561486 |  6339698 |     5334   3033 |        0 |        0
1227.67/1228.19	c 1228s |      25 |  7571787 |  6348898 |     5334   3036 |        0 |        0
1229.77/1230.21	c 1230s |      25 |  7583795 |  6359398 |     5334   3040 |        0 |        0
1231.77/1232.21	c 1232s |      25 |  7594606 |  6368598 |     5334   3044 |        0 |        0
1233.78/1234.25	c 1234s |      25 |  7606981 |  6379298 |     5334   3048 |        0 |        0
1235.77/1236.27	c 1236s |      25 |  7618017 |  6389198 |     5334   3051 |        0 |        0
1237.78/1238.28	c 1238s |      25 |  7629086 |  6399098 |     5334   3055 |        0 |        0
1239.87/1240.30	c 1240s |      25 |  7640224 |  6408898 |     5334   3059 |        0 |        0
1241.87/1242.31	c 1242s |      25 |  7652473 |  6419398 |     5334   3062 |        0 |        0
1243.87/1244.32	c 1244s |      25 |  7665173 |  6430398 |     5334   3067 |        0 |        0
1245.88/1246.34	c 1246s |      25 |  7676046 |  6439998 |     5334   3070 |        0 |        0
1247.87/1248.35	c 1248s |      25 |  7688355 |  6450698 |     5334   3074 |        0 |        0
1249.87/1250.36	c 1250s |      25 |  7700843 |  6461198 |     5334   3078 |        0 |        0
1251.87/1252.37	c 1252s |      25 |  7713176 |  6471698 |     5334   3082 |        0 |        0
1253.87/1254.38	c 1254s |      25 |  7726130 |  6482498 |     5334   3086 |        0 |        0
1255.87/1256.38	c 1256s |      25 |  7738733 |  6493198 |     5334   3090 |        0 |        0
1257.87/1258.39	c 1258s |      25 |  7750444 |  6503098 |     5334   3094 |        0 |        0
1259.97/1260.41	c 1260s |      25 |  7762470 |  6513598 |     5334   3097 |        0 |        0
1261.97/1262.43	c 1262s |      25 |  7773605 |  6523098 |     5334   3101 |        0 |        0
1263.96/1264.43	c 1264s |      25 |  7785712 |  6533698 |     5334   3105 |        0 |        0
1265.97/1266.45	c 1266s |      25 |  7797372 |  6543598 |     5334   3109 |        0 |        0
1267.97/1268.45	c 1268s |      25 |  7808208 |  6553298 |     5334   3112 |        0 |        0
1269.96/1270.45	c 1270s |      25 |  7819128 |  6562698 |     5334   3116 |        0 |        0
1271.97/1272.45	c 1272s |      25 |  7831816 |  6573498 |     5334   3120 |        0 |        0
1273.96/1274.45	c 1274s |      25 |  7841740 |  6582798 |     5334   3123 |        0 |        0
1275.96/1276.47	c 1276s |      25 |  7853018 |  6592698 |     5334   3127 |        0 |        0
1277.97/1278.47	c 1278s |      25 |  7865139 |  6602998 |     5334   3131 |        0 |        0
1279.97/1280.49	c 1280s |      25 |  7877630 |  6613898 |     5334   3135 |        0 |        0
1282.06/1282.50	c 1282s |      25 |  7888301 |  6623298 |     5334   3138 |        0 |        0
1284.07/1284.52	c 1284s |      25 |  7898937 |  6632798 |     5334   3142 |        0 |        0
1286.07/1286.53	c 1286s |      25 |  7908789 |  6641698 |     5334   3145 |        0 |        0
1288.07/1288.53	c 1288s |      25 |  7920628 |  6652098 |     5334   3149 |        0 |        0
1290.06/1290.53	c 1290s |      25 |  7929740 |  6660398 |     5334   3152 |        0 |        0
1292.17/1292.66	c 1292s |      25 |  7940195 |  6669898 |     5334   3156 |        0 |        0
1294.16/1294.70	c 1294s |      25 |  7948588 |  6677798 |     5334   3159 |        0 |        0
1296.26/1296.71	c 1296s |      25 |  7958244 |  6686398 |     5334   3162 |        0 |        0
1298.26/1298.72	c 1298s |      25 |  7970843 |  6697198 |     5334   3166 |        0 |        0
1300.26/1300.72	c 1300s |      25 |  7981983 |  6707098 |     5334   3169 |        0 |        0
1302.26/1302.72	c 1302s |      25 |  7992082 |  6716098 |     5334   3173 |        0 |        0
1304.27/1304.72	c 1304s |      25 |  8003502 |  6726098 |     5334   3176 |        0 |        0
1306.27/1306.73	c 1306s |      25 |  8014402 |  6735598 |     5334   3180 |        0 |        0
1308.26/1308.74	c 1308s |      25 |  8025300 |  6745198 |     5334   3184 |        0 |        0
1310.26/1310.74	c 1310s |      25 |  8036707 |  6755198 |     5334   3187 |        0 |        0
1312.26/1312.76	c 1312s |      25 |  8047616 |  6764798 |     5334   3191 |        0 |        0
1314.26/1314.78	c 1314s |      25 |  8057284 |  6773598 |     5334   3194 |        0 |        0
1316.26/1316.79	c 1316s |      25 |  8067382 |  6782598 |     5334   3197 |        0 |        0
1318.35/1318.80	c 1318s |      25 |  8078743 |  6792598 |     5334   3201 |        0 |        0
1320.35/1320.82	c 1320s |      25 |  8087508 |  6800698 |     5334   3204 |        0 |        0
1322.36/1322.82	c 1322s |      25 |  8095848 |  6808298 |     5334   3207 |        0 |        0
1324.36/1324.83	c 1324s |      25 |  8104571 |  6816198 |     5334   3210 |        0 |        0
1326.36/1326.86	c 1326s |      25 |  8114611 |  6824898 |     5334   3213 |        0 |        0
1328.36/1328.88	c 1328s |      25 |  8125260 |  6834198 |     5334   3217 |        0 |        0
1330.57/1331.01	c 1330s |      25 |  8135764 |  6843598 |     5334   3220 |        0 |        0
1332.56/1333.02	c 1332s |      25 |  8147072 |  6853198 |     5334   3224 |        0 |        0
1334.56/1335.06	c 1335s |      25 |  8158746 |  6863398 |     5334   3228 |        0 |        0
1336.56/1337.06	c 1337s |      25 |  8170512 |  6873298 |     5334   3231 |        0 |        0
1338.55/1339.08	c 1339s |      25 |  8182707 |  6884198 |     5334   3235 |        0 |        0
1340.56/1341.08	c 1341s |      25 |  8193187 |  6893498 |     5334   3239 |        0 |        0
1342.66/1343.12	c 1343s |      25 |  8201638 |  6901198 |     5334   3242 |        0 |        0
1344.66/1345.12	c 1345s |      25 |  8211323 |  6909998 |     5334   3245 |        0 |        0
1346.66/1347.13	c 1347s |      25 |  8220143 |  6917898 |     5334   3248 |        0 |        0
1348.65/1349.15	c 1349s |      25 |  8231767 |  6927998 |     5334   3252 |        0 |        0
1350.75/1351.20	c 1351s |      25 |  8242472 |  6937398 |     5334   3255 |        0 |        0
1352.75/1353.22	c 1353s |      25 |  8254689 |  6947798 |     5334   3259 |        0 |        0
1354.76/1355.24	c 1355s |      25 |  8265675 |  6957298 |     5334   3262 |        0 |        0
1356.85/1357.30	c 1357s |      25 |  8276665 |  6966698 |     5334   3266 |        0 |        0
1358.85/1359.31	c 1359s |      25 |  8289347 |  6977398 |     5334   3270 |        0 |        0
1360.85/1361.32	c 1361s |      25 |  8301705 |  6987898 |     5334   3274 |        0 |        0
1362.85/1363.33	c 1363s |      25 |  8313367 |  6998098 |     5334   3278 |        0 |        0
1364.85/1365.34	c 1365s |      25 |  8326155 |  7008698 |     5334   3282 |        0 |        0
1366.86/1367.34	c 1367s |      25 |  8338886 |  7019398 |     5334   3286 |        0 |        0
1368.85/1369.35	c 1369s |      25 |  8350187 |  7028898 |     5334   3289 |        0 |        0
1370.85/1371.37	c 1371s |      25 |  8362744 |  7039598 |     5334   3293 |        0 |        0
1372.85/1373.37	c 1373s |      25 |  8375489 |  7050298 |     5334   3297 |        0 |        0
1374.85/1375.38	c 1375s |      25 |  8388079 |  7060998 |     5334   3301 |        0 |        0
1376.95/1377.40	c 1377s |      25 |  8401311 |  7071898 |     5334   3305 |        0 |        0
1378.96/1379.41	c 1379s |      25 |  8414403 |  7082198 |     5334   3309 |        0 |        0
1380.95/1381.42	c 1381s |      25 |  8427206 |  7092698 |     5334   3313 |        0 |        0
1382.95/1383.42	c 1383s |      25 |  8439614 |  7103398 |     5334   3317 |        0 |        0
1384.95/1385.48	c 1385s |      25 |  8451948 |  7113498 |     5334   3321 |        0 |        0
1386.95/1387.49	c 1387s |      25 |  8463770 |  7123598 |     5334   3324 |        0 |        0
1389.04/1389.50	c 1389s |      25 |  8475223 |  7133598 |     5334   3328 |        0 |        0
1391.06/1391.53	c 1391s |      25 |  8487119 |  7143798 |     5334   3332 |        0 |        0
1393.15/1393.62	c 1393s |      25 |  8499935 |  7154898 |     5334   3336 |        0 |        0
1395.14/1395.64	c 1395s |      25 |  8512056 |  7165298 |     5334   3340 |        0 |        0
1397.14/1397.64	c 1397s |      25 |  8523485 |  7175198 |     5334   3343 |        0 |        0
1399.14/1399.65	c 1399s |      25 |  8535875 |  7185798 |     5334   3347 |        0 |        0
1401.15/1401.66	c 1401s |      25 |  8546722 |  7195298 |     5334   3351 |        0 |        0
1403.16/1403.66	c 1403s |      25 |  8558976 |  7205798 |     5334   3355 |        0 |        0
1405.15/1405.68	c 1405s |      25 |  8571500 |  7216398 |     5334   3359 |        0 |        0
1407.15/1407.68	c 1407s |      25 |  8583547 |  7226498 |     5334   3363 |        0 |        0
1409.15/1409.69	c 1409s |      25 |  8596421 |  7237198 |     5334   3367 |        0 |        0
1411.24/1411.70	c 1411s |      25 |  8608886 |  7247798 |     5334   3370 |        0 |        0
1413.24/1413.71	c 1413s |      25 |  8620910 |  7257898 |     5334   3374 |        0 |        0
1415.25/1415.73	c 1415s |      25 |  8632699 |  7267898 |     5334   3378 |        0 |        0
1417.25/1417.74	c 1417s |      25 |  8644514 |  7278098 |     5334   3382 |        0 |        0
1419.24/1419.74	c 1419s |      25 |  8657066 |  7288798 |     5334   3386 |        0 |        0
1421.25/1421.75	c 1421s |      25 |  8667771 |  7297798 |     5334   3389 |        0 |        0
1423.25/1423.76	c 1423s |      25 |  8681123 |  7309098 |     5334   3393 |        0 |        0
1425.25/1425.77	c 1425s |      25 |  8693720 |  7319998 |     5334   3397 |        0 |        0
1427.24/1427.78	c 1427s |      25 |  8705521 |  7330398 |     5334   3401 |        0 |        0
1429.24/1429.79	c 1429s |      25 |  8715221 |  7338798 |     5334   3404 |        0 |        0
1431.34/1431.80	c 1431s |      25 |  8727139 |  7348998 |     5334   3408 |        0 |        0
1433.34/1433.82	c 1433s |      25 |  8738939 |  7359098 |     5334   3412 |        0 |        0
1435.34/1435.86	c 1435s |      25 |  8749966 |  7368898 |     5334   3416 |        0 |        0
1437.35/1437.87	c 1437s |      25 |  8761704 |  7378798 |     5334   3419 |        0 |        0
1439.34/1439.87	c 1439s |      25 |  8774676 |  7389898 |     5334   3423 |        0 |        0
1441.34/1441.87	c 1441s |      25 |  8786538 |  7400198 |     5334   3427 |        0 |        0
1443.34/1443.87	c 1443s |      25 |  8798255 |  7410098 |     5334   3431 |        0 |        0
1445.34/1445.89	c 1445s |      25 |  8810858 |  7421098 |     5334   3435 |        0 |        0
1447.43/1447.90	c 1447s |      25 |  8820444 |  7429798 |     5334   3438 |        0 |        0
1449.44/1449.92	c 1449s |      25 |  8830233 |  7438498 |     5334   3441 |        0 |        0
1451.44/1451.94	c 1451s |      25 |  8841229 |  7448198 |     5334   3445 |        0 |        0
1453.44/1453.95	c 1453s |      25 |  8852719 |  7458198 |     5334   3449 |        0 |        0
1455.44/1455.97	c 1455s |      25 |  8864911 |  7468298 |     5334   3452 |        0 |        0
1457.44/1457.99	c 1457s |      25 |  8877402 |  7479098 |     5334   3457 |        0 |        0
1459.54/1460.01	c 1459s |      25 |  8888580 |  7488598 |     5334   3460 |        0 |        0
1461.54/1462.09	c 1462s |      25 |  8900140 |  7498398 |     5334   3464 |        0 |        0
1463.74/1464.23	c 1464s |      25 |  8913402 |  7509498 |     5334   3468 |        0 |        0
1465.74/1466.23	c 1466s |      25 |  8926781 |  7520798 |     5334   3472 |        0 |        0
1467.73/1468.24	c 1468s |      25 |  8939145 |  7531398 |     5334   3476 |        0 |        0
1469.73/1470.25	c 1470s |      25 |  8951877 |  7542298 |     5334   3480 |        0 |        0
1471.73/1472.26	c 1472s |      25 |  8961122 |  7550698 |     5868   3483 |        0 |        0
1473.73/1474.27	c 1474s |      25 |  8971877 |  7560198 |     5868   3486 |        0 |        0
1475.84/1476.32	c 1476s |      25 |  8982045 |  7569098 |     5868   3489 |        0 |        0
1477.83/1478.33	c 1478s |      25 |  8993974 |  7579298 |     5868   3492 |        0 |        0
1479.84/1480.33	c 1480s |      25 |  9003560 |  7587798 |     5868   3495 |        0 |        0
1481.83/1482.34	c 1482s |      25 |  9012810 |  7596198 |     5868   3498 |        0 |        0
1482.13/1482.66	c 1482s |      26 |  9014631 |  7597752 |     5868   3499 |        0 |        0
1484.14/1484.68	c 1484s |      26 |  9028131 |  7607152 |     5868   3502 |        0 |        0
1486.13/1486.69	c 1486s |      26 |  9042494 |  7616052 |     5868   3505 |        0 |        0
1488.23/1488.70	c 1488s |      26 |  9057805 |  7625852 |     5868   3508 |        0 |        0
1490.23/1490.70	c 1490s |      26 |  9086859 |  7637252 |     5868   3512 |        0 |        0
1492.24/1492.71	c 1492s |      26 |  9102525 |  7647052 |     5868   3515 |        0 |        0
1494.23/1494.74	c 1494s |      26 |  9118571 |  7656752 |     5868   3519 |        0 |        0
1496.24/1496.76	c 1496s |      26 |  9135705 |  7668052 |     5868   3522 |        0 |        0
1498.33/1498.82	c 1498s |      26 |  9154487 |  7677752 |     5868   3526 |        0 |        0
1500.34/1500.83	c 1500s |      26 |  9166057 |  7686652 |     5868   3529 |        0 |        0
1502.33/1502.83	c 1502s |      26 |  9180307 |  7695952 |     5868   3532 |        0 |        0
1504.34/1504.83	c 1504s |      26 |  9192415 |  7704652 |     5868   3535 |        0 |        0
1506.33/1506.84	c 1506s |      26 |  9205561 |  7713452 |     5868   3538 |        0 |        0
1508.33/1508.86	c 1508s |      26 |  9217072 |  7722052 |     5868   3541 |        0 |        0
1510.33/1510.88	c 1510s |      26 |  9229369 |  7730952 |     5868   3544 |        0 |        0
1512.33/1512.89	c 1512s |      26 |  9245802 |  7741252 |     5868   3547 |        0 |        0
1514.43/1514.90	c 1514s |      26 |  9265858 |  7750952 |     5868   3550 |        0 |        0
1516.33/1516.90	c 1516s |      26 |  9289566 |  7762052 |     5868   3554 |        0 |        0
1518.43/1518.91	c 1518s |      26 |  9304456 |  7772052 |     5868   3557 |        0 |        0
1520.43/1520.92	c 1520s |      26 |  9319843 |  7782552 |     5868   3561 |        0 |        0
1522.43/1522.94	c 1522s |      26 |  9336585 |  7792552 |     5868   3564 |        0 |        0
1524.42/1524.94	c 1524s |      26 |  9348987 |  7801852 |     5868   3567 |        0 |        0
1526.43/1526.97	c 1526s |      26 |  9362705 |  7811552 |     5868   3571 |        0 |        0
1528.42/1528.97	c 1528s |      26 |  9378372 |  7822152 |     5868   3574 |        0 |        0
1530.42/1530.99	c 1530s |      26 |  9393042 |  7832052 |     5868   3578 |        0 |        0
1532.52/1533.00	c 1532s |      26 |  9406689 |  7842252 |     5868   3581 |        0 |        0
1534.52/1535.01	c 1534s |      26 |  9419173 |  7852152 |     5868   3584 |        0 |        0
1536.52/1537.02	c 1536s |      26 |  9431184 |  7861952 |     5868   3588 |        0 |        0
1538.53/1539.03	c 1538s |      26 |  9445004 |  7871752 |     5868   3591 |        0 |        0
1540.52/1541.05	c 1541s |      26 |  9460111 |  7882352 |     5868   3595 |        0 |        0
1542.63/1543.14	c 1543s |      26 |  9473519 |  7892152 |     5868   3598 |        0 |        0
1544.63/1545.14	c 1545s |      26 |  9485629 |  7901752 |     5868   3601 |        0 |        0
1546.63/1547.17	c 1547s |      26 |  9504536 |  7912052 |     5868   3605 |        0 |        0
1548.72/1549.23	c 1549s |      26 |  9520552 |  7922252 |     5868   3608 |        0 |        0
1550.72/1551.25	c 1551s |      26 |  9533230 |  7931252 |     5868   3611 |        0 |        0
1552.73/1553.29	c 1553s |      26 |  9546000 |  7939552 |     5868   3614 |        0 |        0
1554.83/1555.30	c 1555s |      26 |  9569855 |  7950552 |     5868   3617 |        0 |        0
1556.82/1557.31	c 1557s |      26 |  9584872 |  7961152 |     5868   3621 |        0 |        0
1558.83/1559.32	c 1559s |      26 |  9599038 |  7970852 |     5868   3624 |        0 |        0
1560.82/1561.32	c 1561s |      26 |  9614101 |  7980852 |     5868   3628 |        0 |        0
1562.83/1563.33	c 1563s |      26 |  9632757 |  7991352 |     5868   3631 |        0 |        0
1564.83/1565.37	c 1565s |      26 |  9646200 |  8001052 |     5868   3635 |        0 |        0
1566.82/1567.38	c 1567s |      26 |  9663157 |  8011552 |     5868   3638 |        0 |        0
1568.82/1569.38	c 1569s |      26 |  9678327 |  8021152 |     5868   3641 |        0 |        0
1570.82/1571.39	c 1571s |      26 |  9692189 |  8030852 |     5868   3645 |        0 |        0
1572.92/1573.41	c 1573s |      26 |  9708334 |  8040852 |     5868   3648 |        0 |        0
1574.92/1575.42	c 1575s |      26 |  9719612 |  8049352 |     5868   3651 |        0 |        0
1576.92/1577.43	c 1577s |      26 |  9736795 |  8059852 |     5868   3654 |        0 |        0
1578.92/1579.44	c 1579s |      26 |  9749017 |  8069452 |     5868   3658 |        0 |        0
1580.92/1581.45	c 1581s |      26 |  9760972 |  8078852 |     5868   3661 |        0 |        0
1582.92/1583.46	c 1583s |      26 |  9773755 |  8088752 |     5868   3664 |        0 |        0
1584.92/1585.47	c 1585s |      26 |  9788751 |  8099552 |     5868   3668 |        0 |        0
1586.92/1587.48	c 1587s |      26 |  9801706 |  8108852 |     5868   3671 |        0 |        0
1588.92/1589.49	c 1589s |      26 |  9818995 |  8119152 |     5868   3674 |        0 |        0
1591.01/1591.50	c 1591s |      26 |  9835987 |  8129452 |     5868   3678 |        0 |        0
1593.02/1593.50	c 1593s |      26 |  9851333 |  8140452 |     5868   3682 |        0 |        0
1595.02/1595.52	c 1595s |      26 |  9868576 |  8150652 |     5868   3685 |        0 |        0
1597.02/1597.53	c 1597s |      26 |  9885391 |  8161652 |     5868   3689 |        0 |        0
1599.03/1599.55	c 1599s |      26 |  9900580 |  8171752 |     5868   3692 |        0 |        0
1601.02/1601.55	c 1601s |      26 |  9918673 |  8182052 |     5868   3696 |        0 |        0
1603.02/1603.56	c 1603s |      26 |  9937500 |  8193952 |     5868   3700 |        0 |        0
1605.01/1605.57	c 1605s |      26 |  9953357 |  8203352 |     5868   3703 |        0 |        0
1607.01/1607.57	c 1607s |      26 |  9969670 |  8213452 |     5868   3706 |        0 |        0
1609.01/1609.59	c 1609s |      26 |  9984877 |  8223952 |     5868   3710 |        0 |        0
1611.02/1611.60	c 1611s |      26 | 10000003 |  8233852 |     5868   3713 |        0 |        0
1613.12/1613.62	c 1613s |      26 | 10017603 |  8244752 |     5868   3717 |        0 |        0
1615.12/1615.63	c 1615s |      26 | 10029433 |  8253452 |     5868   3720 |        0 |        0
1617.12/1617.68	c 1617s |      26 | 10044559 |  8264152 |     5868   3724 |        0 |        0
1619.22/1619.70	c 1619s |      26 | 10059319 |  8274052 |     5868   3727 |        0 |        0
1621.22/1621.71	c 1621s |      26 | 10075497 |  8283752 |     5868   3730 |        0 |        0
1623.22/1623.74	c 1623s |      26 | 10093204 |  8293952 |     5868   3734 |        0 |        0
1625.21/1625.76	c 1625s |      26 | 10114252 |  8304252 |     5868   3737 |        0 |        0
1627.21/1627.76	c 1627s |      26 | 10127716 |  8314252 |     5868   3740 |        0 |        0
1629.21/1629.77	c 1629s |      26 | 10139335 |  8323952 |     5868   3744 |        0 |        0
1631.21/1631.78	c 1631s |      26 | 10152080 |  8334052 |     5868   3747 |        0 |        0
1633.21/1633.79	c 1633s |      26 | 10164661 |  8342752 |     5868   3750 |        0 |        0
1635.31/1635.82	c 1635s |      26 | 10191011 |  8353252 |     5868   3754 |        0 |        0
1637.31/1637.83	c 1637s |      26 | 10211249 |  8364152 |     5868   3757 |        0 |        0
1639.31/1639.84	c 1639s |      26 | 10225456 |  8374452 |     5868   3761 |        0 |        0
1641.31/1641.85	c 1641s |      26 | 10239655 |  8384552 |     5868   3764 |        0 |        0
1643.31/1643.87	c 1643s |      26 | 10253011 |  8394852 |     5868   3768 |        0 |        0
1645.30/1645.88	c 1645s |      26 | 10267792 |  8404552 |     5868   3771 |        0 |        0
1647.32/1647.90	c 1647s |      26 | 10281452 |  8414452 |     5868   3774 |        0 |        0
1649.41/1649.91	c 1649s |      26 | 10296390 |  8425152 |     5868   3778 |        0 |        0
1651.41/1651.93	c 1651s |      26 | 10313738 |  8435852 |     5868   3781 |        0 |        0
1653.40/1653.96	c 1653s |      26 | 10327432 |  8445952 |     5868   3785 |        0 |        0
1655.41/1655.96	c 1655s |      26 | 10341943 |  8456652 |     5868   3788 |        0 |        0
1657.51/1658.01	c 1657s |      26 | 10353881 |  8466552 |     5868   3792 |        0 |        0
1659.51/1660.02	c 1659s |      26 | 10365388 |  8475252 |     5868   3795 |        0 |        0
1661.50/1662.02	c 1661s |      26 | 10380939 |  8485552 |     5868   3798 |        0 |        0
1663.51/1664.03	c 1663s |      26 | 10393226 |  8495152 |     5868   3801 |        0 |        0
1665.51/1666.04	c 1666s |      26 | 10404925 |  8504952 |     5868   3805 |        0 |        0
1667.50/1668.05	c 1668s |      26 | 10417421 |  8514952 |     5868   3808 |        0 |        0
1669.51/1670.05	c 1670s |      26 | 10438565 |  8525352 |     5868   3811 |        0 |        0
1671.51/1672.07	c 1672s |      26 | 10455204 |  8534652 |     5868   3815 |        0 |        0
1673.61/1674.12	c 1674s |      26 | 10470950 |  8545152 |     5868   3818 |        0 |        0
1675.60/1676.13	c 1676s |      26 | 10490150 |  8555952 |     5868   3822 |        0 |        0
1677.60/1678.15	c 1678s |      26 | 10509315 |  8566852 |     5868   3825 |        0 |        0
1679.61/1680.16	c 1680s |      26 | 10526138 |  8577152 |     5868   3829 |        0 |        0
1681.60/1682.17	c 1682s |      26 | 10540379 |  8587152 |     5868   3832 |        0 |        0
1683.61/1684.18	c 1684s |      26 | 10554222 |  8597052 |     5868   3836 |        0 |        0
1685.61/1686.18	c 1686s |      26 | 10568134 |  8606752 |     5868   3839 |        0 |        0
1687.60/1688.19	c 1688s |      26 | 10584339 |  8617152 |     5868   3842 |        0 |        0
1689.70/1690.20	c 1690s |      26 | 10605907 |  8628152 |     5868   3846 |        0 |        0
1691.70/1692.21	c 1692s |      26 | 10629264 |  8639752 |     5868   3850 |        0 |        0
1693.70/1694.22	c 1694s |      26 | 10645480 |  8649852 |     5868   3853 |        0 |        0
1695.71/1696.22	c 1696s |      26 | 10666485 |  8660352 |     5868   3857 |        0 |        0
1697.70/1698.24	c 1698s |      26 | 10683375 |  8670152 |     5868   3860 |        0 |        0
1699.70/1700.25	c 1700s |      26 | 10702279 |  8680952 |     5868   3864 |        0 |        0
1701.70/1702.26	c 1702s |      26 | 10719598 |  8691652 |     5868   3868 |        0 |        0
1703.70/1704.27	c 1704s |      26 | 10735151 |  8701452 |     5868   3871 |        0 |        0
1705.70/1706.29	c 1706s |      26 | 10750737 |  8711852 |     5868   3874 |        0 |        0
1707.70/1708.30	c 1708s |      26 | 10762966 |  8721352 |     5868   3878 |        0 |        0
1709.80/1710.32	c 1710s |      26 | 10776088 |  8731852 |     5868   3881 |        0 |        0
1711.80/1712.33	c 1712s |      26 | 10789922 |  8741752 |     5868   3884 |        0 |        0
1713.80/1714.34	c 1714s |      26 | 10806108 |  8752152 |     5868   3888 |        0 |        0
1715.79/1716.35	c 1716s |      26 | 10821679 |  8761752 |     5868   3891 |        0 |        0
1717.81/1718.35	c 1718s |      26 | 10840554 |  8772552 |     5868   3895 |        0 |        0
1719.80/1720.39	c 1720s |      26 | 10859261 |  8783152 |     5868   3899 |        0 |        0
1721.90/1722.40	c 1722s |      26 | 10877960 |  8794152 |     5868   3902 |        0 |        0
1723.89/1724.46	c 1724s |      26 | 10891462 |  8804052 |     5868   3906 |        0 |        0
1725.90/1726.48	c 1726s |      26 | 10906075 |  8814952 |     5868   3909 |        0 |        0
1727.90/1728.48	c 1728s |      26 | 10920664 |  8825052 |     5868   3913 |        0 |        0
1729.90/1730.49	c 1730s |      26 | 10936567 |  8836552 |     5868   3917 |        0 |        0
1731.90/1732.50	c 1732s |      26 | 10948565 |  8845552 |     5868   3920 |        0 |        0
1733.99/1734.50	c 1734s |      26 | 10961856 |  8855552 |     5868   3923 |        0 |        0
1735.99/1736.52	c 1736s |      26 | 10976941 |  8866952 |     5868   3927 |        0 |        0
1737.99/1738.52	c 1738s |      26 | 10988770 |  8876452 |     5868   3930 |        0 |        0
1739.99/1740.53	c 1740s |      26 | 11000732 |  8886352 |     5868   3933 |        0 |        0
1742.00/1742.53	c 1742s |      26 | 11011683 |  8895452 |     5868   3937 |        0 |        0
1743.99/1744.53	c 1744s |      26 | 11023917 |  8905352 |     5868   3940 |        0 |        0
1745.99/1746.57	c 1746s |      26 | 11038757 |  8916252 |     5868   3944 |        0 |        0
1747.99/1748.58	c 1748s |      26 | 11053085 |  8925352 |     5868   3947 |        0 |        0
1749.99/1750.58	c 1750s |      26 | 11069457 |  8935652 |     5868   3950 |        0 |        0
1752.09/1752.61	c 1752s |      26 | 11083343 |  8945852 |     5868   3954 |        0 |        0
1754.10/1754.63	c 1754s |      26 | 11099438 |  8955452 |     5868   3957 |        0 |        0
1756.10/1756.64	c 1756s |      26 | 11115253 |  8966252 |     5868   3960 |        0 |        0
1758.10/1758.66	c 1758s |      26 | 11127083 |  8975552 |     5868   3964 |        0 |        0
1760.10/1760.67	c 1760s |      26 | 11139928 |  8985752 |     5868   3967 |        0 |        0
1762.20/1762.70	c 1762s |      26 | 11153486 |  8996352 |     5868   3971 |        0 |        0
1764.19/1764.72	c 1764s |      26 | 11167410 |  9005752 |     5868   3974 |        0 |        0
1766.20/1766.74	c 1766s |      26 | 11187201 |  9016552 |     5868   3977 |        0 |        0
1768.19/1768.74	c 1768s |      26 | 11202392 |  9026952 |     5868   3981 |        0 |        0
1770.19/1770.75	c 1770s |      26 | 11220443 |  9037252 |     5868   3984 |        0 |        0
1772.19/1772.77	c 1772s |      26 | 11233883 |  9046552 |     5868   3987 |        0 |        0
1774.19/1774.77	c 1774s |      26 | 11246763 |  9056252 |     5868   3991 |        0 |        0
1776.19/1776.79	c 1776s |      26 | 11258713 |  9065352 |     5868   3994 |        0 |        0
1778.19/1778.79	c 1778s |      26 | 11271234 |  9075052 |     5868   3997 |        0 |        0
1780.29/1780.80	c 1780s |      26 | 11282159 |  9083752 |     5868   4000 |        0 |        0
1782.29/1782.82	c 1782s |      26 | 11293849 |  9093552 |     5868   4003 |        0 |        0
1784.29/1784.83	c 1784s |      26 | 11308648 |  9104452 |     5868   4007 |        0 |        0
1786.29/1786.84	c 1786s |      26 | 11324184 |  9115152 |     5868   4011 |        0 |        0
1788.28/1788.85	c 1788s |      26 | 11340696 |  9125952 |     5868   4014 |        0 |        0
1790.30/1790.86	c 1790s |      26 | 11358151 |  9137352 |     5868   4018 |        0 |        0
1792.29/1792.86	c 1792s |      26 | 11371252 |  9147252 |     5868   4022 |        0 |        0
1794.29/1794.87	c 1794s |      26 | 11388840 |  9157652 |     5868   4025 |        0 |        0
1796.29/1796.89	c 1796s |      26 | 11403726 |  9167852 |     5868   4029 |        0 |        0
1798.39/1798.91	c 1798s |      26 | 11418670 |  9177552 |     5868   4032 |        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-4079005-1465264426/watcher-4079005-1465264426 -o /tmp/evaluation-result-4079005-1465264426/solver-4079005-1465264426 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465253620-12853 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079005-1465264426.opb 

pid=14070
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.23 2.12 2.09 3/179 14073
/proc/meminfo: memFree=30380144/32872528 swapFree=11196/354588
[pid=14073] ppid=14070 vsize=469436 CPUtime=0 cores=0,2,4,6
/proc/14073/stat : 14073 (toysat) R 14070 14073 12837 0 -1 4202496 1708 0 0 0 0 0 0 0 20 0 4 0 108376095 480702464 1558 33554432000 4194304 16246674 140734783326592 140734783326016 15002730 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14073/statm: 118127 1568 441 2943 0 115021 0
[pid=14073/tid=14074] ppid=14070 vsize=486844 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14074/stat : 14074 (toysat) S 14070 14073 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108376095 498528256 1625 33554432000 4194304 16246674 140734783326592 139956990225648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14073/tid=14075] ppid=14070 vsize=491964 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14075/stat : 14075 (toysat) S 14070 14073 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108376095 503771136 1642 33554432000 4194304 16246674 140734783326592 139956979735792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14073/tid=14076] ppid=14070 vsize=495036 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14076/stat : 14076 (toysat) S 14070 14073 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108376095 506916864 1657 33554432000 4194304 16246674 140734783326592 139956969262256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100126 s]
/proc/loadavg: 2.23 2.12 2.09 3/179 14073
/proc/meminfo: memFree=30380144/32872528 swapFree=11196/354588
[pid=14073] ppid=14070 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/14073/stat : 14073 (toysat) R 14070 14073 12837 0 -1 4202496 23986 0 0 0 6 3 0 0 20 0 4 0 108376095 1247350784 23825 33554432000 4194304 16246674 140734783326592 140734783326016 5707789 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14073/statm: 304529 23833 719 2943 0 301423 0
[pid=14073/tid=14074] ppid=14070 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14074/stat : 14074 (toysat) S 14070 14073 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108376095 1247350784 23839 33554432000 4194304 16246674 140734783326592 139956990225648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14073/tid=14075] ppid=14070 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14075/stat : 14075 (toysat) S 14070 14073 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108376095 1247350784 23839 33554432000 4194304 16246674 140734783326592 139956979735792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14073/tid=14076] ppid=14070 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14076/stat : 14076 (toysat) S 14070 14073 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108376095 1247350784 23844 33554432000 4194304 16246674 140734783326592 139956969262256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200478 s]
/proc/loadavg: 2.23 2.12 2.09 3/179 14073
/proc/meminfo: memFree=30380144/32872528 swapFree=11196/354588
[pid=14073] ppid=14070 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/14073/stat : 14073 (toysat) R 14070 14073 12837 0 -1 4202496 44647 0 0 0 13 5 0 0 20 0 4 0 108376095 1247350784 44487 33554432000 4194304 16246674 140734783326592 140734783326016 13198569 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14073/statm: 304529 44501 726 2943 0 301423 0
[pid=14073/tid=14074] ppid=14070 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14074/stat : 14074 (toysat) S 14070 14073 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108376095 1247350784 44511 33554432000 4194304 16246674 140734783326592 139956990225648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14073/tid=14075] ppid=14070 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14075/stat : 14075 (toysat) S 14070 14073 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108376095 1247350784 44520 33554432000 4194304 16246674 140734783326592 139956979735792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14073/tid=14076] ppid=14070 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14076/stat : 14076 (toysat) S 14070 14073 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108376095 1247350784 44529 33554432000 4194304 16246674 140734783326592 139956969262256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300438 s]
/proc/loadavg: 2.23 2.12 2.09 3/179 14073
/proc/meminfo: memFree=30380144/32872528 swapFree=11196/354588
[pid=14073] ppid=14070 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/14073/stat : 14073 (toysat) R 14070 14073 12837 0 -1 4202496 65512 0 0 0 21 8 0 0 20 0 4 0 108376095 1247350784 65352 33554432000 4194304 16246674 140734783326592 140734783326016 5546181 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14073/statm: 304529 65367 726 2943 0 301423 0
[pid=14073/tid=14074] ppid=14070 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14074/stat : 14074 (toysat) S 14070 14073 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108376095 1247350784 65373 33554432000 4194304 16246674 140734783326592 139956990225648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14073/tid=14075] ppid=14070 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14075/stat : 14075 (toysat) S 14070 14073 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108376095 1247350784 65380 33554432000 4194304 16246674 140734783326592 139956979735792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14073/tid=14076] ppid=14070 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14076/stat : 14076 (toysat) S 14070 14073 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108376095 1247350784 65389 33554432000 4194304 16246674 140734783326592 139956969262256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700391 s]
/proc/loadavg: 2.23 2.12 2.09 3/179 14073
/proc/meminfo: memFree=30380144/32872528 swapFree=11196/354588
[pid=14073] ppid=14070 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/14073/stat : 14073 (toysat) R 14070 14073 12837 0 -1 4202496 149123 0 0 0 50 18 0 0 20 0 4 0 108376095 1247350784 148962 33554432000 4194304 16246674 140734783326592 140734783326016 5724508 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14073/statm: 304529 148971 727 2943 0 301423 0
[pid=14073/tid=14074] ppid=14070 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14074/stat : 14074 (toysat) S 14070 14073 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108376095 1247350784 148976 33554432000 4194304 16246674 140734783326592 139956990225648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14073/tid=14075] ppid=14070 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14075/stat : 14075 (toysat) S 14070 14073 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108376095 1247350784 148986 33554432000 4194304 16246674 140734783326592 139956979735792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14073/tid=14076] ppid=14070 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14076/stat : 14076 (toysat) S 14070 14073 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108376095 1247350784 148995 33554432000 4194304 16246674 140734783326592 139956969262256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.21 2.12 2.09 3/183 14077
/proc/meminfo: memFree=29452236/32872528 swapFree=11196/354588
[pid=14073] ppid=14070 vsize=1220164 CPUtime=1.48 cores=0,2,4,6
/proc/14073/stat : 14073 (toysat) R 14070 14073 12837 0 -1 4202496 245830 0 0 0 116 32 0 0 20 0 4 0 108376095 1249447936 245649 33554432000 4194304 16246674 140734783326592 140734783325904 6013193 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14073/statm: 305041 245649 796 2943 0 301935 0
[pid=14073/tid=14074] ppid=14070 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14074/stat : 14074 (toysat) S 14070 14073 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108376095 1249447936 245649 33554432000 4194304 16246674 140734783326592 139956990225648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14073/tid=14075] ppid=14070 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14075/stat : 14075 (toysat) S 14070 14073 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108376095 1249447936 245649 33554432000 4194304 16246674 140734783326592 139956979735792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14073/tid=14076] ppid=14070 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14076/stat : 14076 (toysat) S 14070 14073 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108376095 1249447936 245649 33554432000 4194304 16246674 140734783326592 139956969262256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1220164

[startup+3.10043 s]
/proc/loadavg: 2.21 2.12 2.09 3/183 14077
/proc/meminfo: memFree=29312860/32872528 swapFree=11196/354588
[pid=14073] ppid=14070 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/14073/stat : 14073 (toysat) R 14070 14073 12837 0 -1 4202496 267490 0 0 0 274 35 0 0 20 0 4 0 108376095 1337528320 267309 33554432000 4194304 16246674 140734783326592 140734783308480 12477709 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14073/statm: 326545 267309 796 2943 0 323439 0
[pid=14073/tid=14074] ppid=14070 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14074/stat : 14074 (toysat) S 14070 14073 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108376095 1337528320 267309 33554432000 4194304 16246674 140734783326592 139956990225648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14073/tid=14075] ppid=14070 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14075/stat : 14075 (toysat) S 14070 14073 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108376095 1337528320 267309 33554432000 4194304 16246674 140734783326592 139956979735792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14073/tid=14076] ppid=14070 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14076/stat : 14076 (toysat) S 14070 14073 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108376095 1337528320 267309 33554432000 4194304 16246674 140734783326592 139956969262256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30038 s]
/proc/loadavg: 2.21 2.12 2.09 3/183 14077
/proc/meminfo: memFree=29310908/32872528 swapFree=11196/354588
[pid=14073] ppid=14070 vsize=1307204 CPUtime=6.28 cores=0,2,4,6
/proc/14073/stat : 14073 (toysat) R 14070 14073 12837 0 -1 4202496 267622 0 0 0 592 36 0 0 20 0 4 0 108376095 1338576896 267441 33554432000 4194304 16246674 140734783326592 140734783309592 5717450 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14073/statm: 326801 267441 798 2943 0 323695 0
[pid=14073/tid=14074] ppid=14070 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14074/stat : 14074 (toysat) S 14070 14073 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108376095 1338576896 267441 33554432000 4194304 16246674 140734783326592 139956990225648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14073/tid=14075] ppid=14070 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14075/stat : 14075 (toysat) S 14070 14073 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108376095 1338576896 267441 33554432000 4194304 16246674 140734783326592 139956979735792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14073/tid=14076] ppid=14070 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14076/stat : 14076 (toysat) S 14070 14073 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108376095 1338576896 267441 33554432000 4194304 16246674 140734783326592 139956969262256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7005 s]
/proc/loadavg: 2.18 2.11 2.09 3/183 14126
/proc/meminfo: memFree=30355980/32872528 swapFree=11196/354588
[pid=14073] ppid=14070 vsize=1307204 CPUtime=12.68 cores=0,2,4,6
/proc/14073/stat : 14073 (toysat) R 14070 14073 12837 0 -1 4202496 267838 0 0 0 1231 37 0 0 20 0 4 0 108376095 1338576896 267657 33554432000 4194304 16246674 140734783326592 140734783308480 5721394 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14073/statm: 326801 267657 800 2943 0 323695 0
[pid=14073/tid=14074] ppid=14070 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14074/stat : 14074 (toysat) S 14070 14073 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108376095 1338576896 267657 33554432000 4194304 16246674 140734783326592 139956990225648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14073/tid=14075] ppid=14070 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14075/stat : 14075 (toysat) S 14070 14073 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108376095 1338576896 267657 33554432000 4194304 16246674 140734783326592 139956979735792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14073/tid=14076] ppid=14070 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14076/stat : 14076 (toysat) S 14070 14073 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108376095 1338576896 267657 33554432000 4194304 16246674 140734783326592 139956969262256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.15 2.11 2.09 3/183 14126
/proc/meminfo: memFree=29352936/32872528 swapFree=11196/354588
[pid=14073] ppid=14070 vsize=1316420 CPUtime=25.47 cores=0,2,4,6
/proc/14073/stat : 14073 (toysat) R 14070 14073 12837 0 -1 4202496 270142 0 0 0 2508 39 0 0 20 0 4 0 108376095 1348014080 269961 33554432000 4194304 16246674 140734783326592 140734783308480 5721402 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14073/statm: 329105 269961 800 2943 0 325999 0
[pid=14073/tid=14074] ppid=14070 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14074/stat : 14074 (toysat) S 14070 14073 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108376095 1348014080 269961 33554432000 4194304 16246674 140734783326592 139956990225648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14073/tid=14075] ppid=14070 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14075/stat : 14075 (toysat) S 14070 14073 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108376095 1348014080 269961 33554432000 4194304 16246674 140734783326592 139956979735792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14073/tid=14076] ppid=14070 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14076/stat : 14076 (toysat) S 14070 14073 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108376095 1348014080 269961 33554432000 4194304 16246674 140734783326592 139956969262256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1316420

[startup+51.1005 s]
/proc/loadavg: 2.17 2.12 2.09 3/183 14126
/proc/meminfo: memFree=29349740/32872528 swapFree=11196/354588
[pid=14073] ppid=14070 vsize=1318468 CPUtime=51.06 cores=0,2,4,6
/proc/14073/stat : 14073 (toysat) R 14070 14073 12837 0 -1 4202496 270661 0 0 0 5062 44 0 0 20 0 4 0 108376095 1350111232 270729 33554432000 4194304 16246674 140734783326592 140734783309592 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14073/statm: 329617 270729 800 2943 0 326511 0
[pid=14073/tid=14074] ppid=14070 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14074/stat : 14074 (toysat) S 14070 14073 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108376095 1350111232 270729 33554432000 4194304 16246674 140734783326592 139956990225648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14073/tid=14075] ppid=14070 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14075/stat : 14075 (toysat) S 14070 14073 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108376095 1350111232 270729 33554432000 4194304 16246674 140734783326592 139956979735792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14073/tid=14076] ppid=14070 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14076/stat : 14076 (toysat) S 14070 14073 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108376095 1350111232 270729 33554432000 4194304 16246674 140734783326592 139956969262256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1318468

[startup+102.3 s]
/proc/loadavg: 2.25 2.14 2.10 3/183 14127
/proc/meminfo: memFree=29349376/32872528 swapFree=11196/354588
[pid=14073] ppid=14070 vsize=1318468 CPUtime=102.26 cores=0,2,4,6
/proc/14073/stat : 14073 (toysat) R 14070 14073 12837 0 -1 4202496 270677 0 0 0 10175 51 0 0 20 0 4 0 108376095 1350111232 270729 33554432000 4194304 16246674 140734783326592 140734783308480 6020690 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14073/statm: 329617 270729 800 2943 0 326511 0
[pid=14073/tid=14074] ppid=14070 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14074/stat : 14074 (toysat) S 14070 14073 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108376095 1350111232 270729 33554432000 4194304 16246674 140734783326592 139956990225648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14073/tid=14075] ppid=14070 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14075/stat : 14075 (toysat) S 14070 14073 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108376095 1350111232 270729 33554432000 4194304 16246674 140734783326592 139956979735792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14073/tid=14076] ppid=14070 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14076/stat : 14076 (toysat) S 14070 14073 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108376095 1350111232 270729 33554432000 4194304 16246674 140734783326592 139956969262256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1318468


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

/proc/14073/task/14076/stat : 14076 (toysat) S 14070 14073 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 139956969262256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1328708

[startup+1302.3 s]
/proc/loadavg: 2.07 2.07 2.08 3/183 14180
/proc/meminfo: memFree=29285660/32872528 swapFree=11196/354588
[pid=14073] ppid=14070 vsize=1328708 CPUtime=1301.86 cores=0,2,4,6
/proc/14073/stat : 14073 (toysat) R 14070 14073 12837 0 -1 4202496 273623 0 0 0 129800 386 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 140734783308480 5522905 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14073/statm: 332177 273290 801 2943 0 329071 0
[pid=14073/tid=14074] ppid=14070 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14074/stat : 14074 (toysat) S 14070 14073 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 139956990225648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14073/tid=14075] ppid=14070 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14075/stat : 14075 (toysat) S 14070 14073 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 139956979735792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14073/tid=14076] ppid=14070 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14076/stat : 14076 (toysat) S 14070 14073 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 139956969262256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1328708

[startup+1362.3 s]
/proc/loadavg: 2.07 2.07 2.08 3/183 14181
/proc/meminfo: memFree=29285560/32872528 swapFree=11196/354588
[pid=14073] ppid=14070 vsize=1328708 CPUtime=1361.86 cores=0,2,4,6
/proc/14073/stat : 14073 (toysat) R 14070 14073 12837 0 -1 4202496 273623 0 0 0 135784 402 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 140734783309592 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14073/statm: 332177 273290 801 2943 0 329071 0
[pid=14073/tid=14074] ppid=14070 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14074/stat : 14074 (toysat) S 14070 14073 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 139956990225648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14073/tid=14075] ppid=14070 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14075/stat : 14075 (toysat) S 14070 14073 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 139956979735792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14073/tid=14076] ppid=14070 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14076/stat : 14076 (toysat) S 14070 14073 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 139956969262256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1328708

[startup+1422.3 s]
/proc/loadavg: 2.02 2.05 2.07 3/183 14182
/proc/meminfo: memFree=29286168/32872528 swapFree=11196/354588
[pid=14073] ppid=14070 vsize=1328708 CPUtime=1421.85 cores=0,2,4,6
/proc/14073/stat : 14073 (toysat) R 14070 14073 12837 0 -1 4202496 273623 0 0 0 141767 418 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 140734783308480 5827552 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14073/statm: 332177 273290 801 2943 0 329071 0
[pid=14073/tid=14074] ppid=14070 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14074/stat : 14074 (toysat) S 14070 14073 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 139956990225648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14073/tid=14075] ppid=14070 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14075/stat : 14075 (toysat) S 14070 14073 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 139956979735792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14073/tid=14076] ppid=14070 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14076/stat : 14076 (toysat) S 14070 14073 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 139956969262256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1328708

[startup+1482.3 s]
/proc/loadavg: 2.10 2.07 2.08 3/183 14184
/proc/meminfo: memFree=29286104/32872528 swapFree=11196/354588
[pid=14073] ppid=14070 vsize=1328708 CPUtime=1481.83 cores=0,2,4,6
/proc/14073/stat : 14073 (toysat) R 14070 14073 12837 0 -1 4202496 273623 0 0 0 147741 442 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 140734783308480 5823258 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14073/statm: 332177 273290 801 2943 0 329071 0
[pid=14073/tid=14074] ppid=14070 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14074/stat : 14074 (toysat) S 14070 14073 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 139956990225648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14073/tid=14075] ppid=14070 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14075/stat : 14075 (toysat) S 14070 14073 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 139956979735792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14073/tid=14076] ppid=14070 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14076/stat : 14076 (toysat) S 14070 14073 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 139956969262256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1328708

[startup+1542.31 s]
/proc/loadavg: 2.04 2.06 2.07 3/183 14185
/proc/meminfo: memFree=29282016/32872528 swapFree=11196/354588
[pid=14073] ppid=14070 vsize=1328708 CPUtime=1541.84 cores=0,2,4,6
/proc/14073/stat : 14073 (toysat) R 14070 14073 12837 0 -1 4202496 273623 0 0 0 153730 454 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 140734783309592 5721567 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14073/statm: 332177 273290 801 2943 0 329071 0
[pid=14073/tid=14074] ppid=14070 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14074/stat : 14074 (toysat) S 14070 14073 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 139956990225648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14073/tid=14075] ppid=14070 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14075/stat : 14075 (toysat) S 14070 14073 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 139956979735792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14073/tid=14076] ppid=14070 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14076/stat : 14076 (toysat) S 14070 14073 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 139956969262256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1328708

[startup+1602.3 s]
/proc/loadavg: 2.08 2.06 2.07 4/184 14189
/proc/meminfo: memFree=29271276/32872528 swapFree=11196/354588
[pid=14073] ppid=14070 vsize=1328708 CPUtime=1601.82 cores=0,2,4,6
/proc/14073/stat : 14073 (toysat) R 14070 14073 12837 0 -1 4202496 273623 0 0 0 159709 473 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 140734783309592 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14073/statm: 332177 273290 801 2943 0 329071 0
[pid=14073/tid=14074] ppid=14070 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14074/stat : 14074 (toysat) S 14070 14073 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 139956990225648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14073/tid=14075] ppid=14070 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14075/stat : 14075 (toysat) S 14070 14073 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 139956979735792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14073/tid=14076] ppid=14070 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14076/stat : 14076 (toysat) S 14070 14073 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 139956969262256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1328708

[startup+1662.3 s]
/proc/loadavg: 2.15 2.08 2.08 3/183 14190
/proc/meminfo: memFree=29271528/32872528 swapFree=11200/354592
[pid=14073] ppid=14070 vsize=1328708 CPUtime=1661.8 cores=0,2,4,6
/proc/14073/stat : 14073 (toysat) R 14070 14073 12837 0 -1 4202496 273623 0 0 0 165691 489 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 140734783308480 12478221 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14073/statm: 332177 273290 801 2943 0 329071 0
[pid=14073/tid=14074] ppid=14070 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14074/stat : 14074 (toysat) S 14070 14073 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 139956990225648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14073/tid=14075] ppid=14070 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14075/stat : 14075 (toysat) S 14070 14073 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 139956979735792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14073/tid=14076] ppid=14070 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14076/stat : 14076 (toysat) S 14070 14073 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 139956969262256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1328708

[startup+1722.3 s]
/proc/loadavg: 2.16 2.09 2.08 3/183 14191
/proc/meminfo: memFree=29252804/32872528 swapFree=11196/354588
[pid=14073] ppid=14070 vsize=1328708 CPUtime=1721.8 cores=0,2,4,6
/proc/14073/stat : 14073 (toysat) R 14070 14073 12837 0 -1 4202496 273623 0 0 0 171675 505 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 140734783308480 5546160 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14073/statm: 332177 273290 801 2943 0 329071 0
[pid=14073/tid=14074] ppid=14070 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14074/stat : 14074 (toysat) S 14070 14073 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 139956990225648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14073/tid=14075] ppid=14070 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14075/stat : 14075 (toysat) S 14070 14073 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 139956979735792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14073/tid=14076] ppid=14070 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14076/stat : 14076 (toysat) S 14070 14073 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 139956969262256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1328708

[startup+1782.3 s]
/proc/loadavg: 2.15 2.10 2.08 3/183 14193
/proc/meminfo: memFree=29245612/32872528 swapFree=11196/354588
[pid=14073] ppid=14070 vsize=1328708 CPUtime=1781.79 cores=0,2,4,6
/proc/14073/stat : 14073 (toysat) R 14070 14073 12837 0 -1 4202496 273623 0 0 0 177667 512 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 140734783325768 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14073/statm: 332177 273290 801 2943 0 329071 0
[pid=14073/tid=14074] ppid=14070 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14074/stat : 14074 (toysat) S 14070 14073 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 139956990225648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14073/tid=14075] ppid=14070 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14075/stat : 14075 (toysat) S 14070 14073 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 139956979735792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14073/tid=14076] ppid=14070 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14076/stat : 14076 (toysat) S 14070 14073 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 139956969262256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1328708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.20 2.11 2.09 3/183 14193
/proc/meminfo: memFree=29245860/32872528 swapFree=11196/354588
[pid=14073] ppid=14070 vsize=1328708 CPUtime=1800.08 cores=0,2,4,6
/proc/14073/stat : 14073 (toysat) R 14070 14073 12837 0 -1 4202496 273623 0 0 0 179490 518 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 140734783308480 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14073/statm: 332177 273290 801 2943 0 329071 0
[pid=14073/tid=14074] ppid=14070 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14074/stat : 14074 (toysat) S 14070 14073 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 139956990225648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14073/tid=14075] ppid=14070 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14075/stat : 14075 (toysat) S 14070 14073 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 139956979735792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14073/tid=14076] ppid=14070 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/14073/task/14076/stat : 14076 (toysat) S 14070 14073 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108376095 1360596992 273290 33554432000 4194304 16246674 140734783326592 139956969262256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1328708

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1794.91
CPU system time (s): 5.18621
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 1328708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.91
system time used= 5.18621
maximum resident set size= 1093160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273623
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= 420
involuntary context switches= 1966

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.9421 second user time and 12.895 second system time

The end

Begin job on node126 at 2016-06-07 03:53:46
IDJOB=4079005
IDBENCH=48349
IDSOLVER=2542
FILE ID=node126/4079005-1465264426
RUNJOBID= node126-1465253620-12853
PBS_JOBID= 19843265
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 278bedcb160fff5308a678f3e1e7c2f9
RANDOM SEED=1558374944

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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:        30380804 kB
Buffers:          122356 kB
Cached:           148996 kB
SwapCached:         2220 kB
Active:          1234120 kB
Inactive:         172048 kB
Active(anon):    1134688 kB
Inactive(anon):     2444 kB
Active(file):      99432 kB
Inactive(file):   169604 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098636 kB
Dirty:             16316 kB
Writeback:             0 kB
AnonPages:       1488188 kB
Mapped:            10864 kB
Shmem:                 0 kB
Slab:             598956 kB
SReclaimable:      42976 kB
SUnreclaim:       555980 kB
KernelStack:        1464 kB
PageTables:         7176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1633408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1458176 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= 71708 MiB
End job on node126 at 2016-06-07 04:23:47