0.00/0.00	c 2016-06-18T22:16:55+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-4107012-1466281015.opb"]
0.00/0.01	c use --random-gen="2990263372 471721929 3846478111 3234012298 1040315567 924984953 111371238 130778557 677765853 1984771799 853530914 110885641 119160880 141553076 429067325 2085635437 3764073055 3590791279 2372179619 399813107 741313518 4130473748 2489020896 4210471332 2205278818 1219409410 1236390910 905971061 1043229986 1470627331 4023114912 1725789337 659090839 1915507183 272743723 2267271697 439899866 839845205 3674866918 2249759578 2592193184 2419877777 315445469 1701162611 3717426144 250565565 1270900994 120839441 2256270523 2621900178 2661683950 36338739 1564027482 3507663992 3938161342 1757883227 2728387840 1241801910 4147952426 1897483788 1544854551 1270534082 418454553 1198779964 3946375270 2078935110 2305856805 3401062747 2455982224 2793763918 20549573 1265678876 3936035020 4239825073 4124776015 3541021329 576438712 573090893 3530677216 1476201734 1205675797 3451795769 2140579357 861374879 573644579 1698904822 3390586350 845470418 2727510603 3562066094 2799997640 443067190 3705298325 3038472593 2398505701 2423960331 1366437354 201168725 2116459580 2475040931 3261699508 3621842291 2644769743 754728463 3600344653 983929792 554206120 2215664210 2596915734 1538992732 2086072441 3658101931 3259988799 208140852 684868403 3461643130 2186512005 2064243292 3261214475 2774112123 1564230732 1813410628 2413893935 386695089 1841646789 3710607293 3312131409 1321666623 1862450374 4032871232 3802129132 550676491 1794536687 2355709974 3191055056 3167575075 3477640809 893372495 833029053 715743731 3390421856 764488035 1306823559 46914735 2842105845 426938924 3332713823 125828462 3183825816 3599615997 400615775 911363439 247384407 1892035789 3969160724 3087667499 3074191339 4062924874 43341610 294943147 1081847097 3532751362 4241245785 2942737444 3327808446 4259311181 2319873308 622907675 760071874 3486967243 474494078 3139627705 1275155636 3518687547 356711189 2710731673 2651218784 1607048473 3238353058 3816228675 1622684578 357228106 1556407151 2385378824 1273328538 2094439400 1125306845 914880249 3390998780 1328253752 3966003400 1253076579 137785394 2028041742 1491005605 3833111299 3346439046 3201085 1024890924 1506720115 2370581584 4018301927 1238519107 135030286 2863361353 2505471531 178199296 2915786289 2008229533 2346693870 3469977189 1984659677 387650745 2287008631 1770812948 520303253 2282394425 680660632 1295167277 570857065 3024479805 3760824712 2401710842 1530054970 3286500311 2363393395 806090651 1422546585 875760348 4276377346 1483932334 3515666737 1859510288 2859699058 2609148601 3040065382 444264797 2249671794 129914952 3571266118 4081631232 3397446343 2063807889 3649158746 2022608917 541031797 877183843 3124429040 1388770642 3972391343 2804484099 3089430078 2089374854 3996919700 1952198855 2938197428 255 362436" option to reproduce the execution
0.00/0.01	c #vars 100
0.00/0.01	c #constraints 152
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      493      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      169 |      100 |      493      0 |        0 |        0
0.00/0.08	c  0.0s |       2 |      864 |      250 |      543      0 |        0 |        0
0.09/0.12	c  0.1s |       3 |     1161 |      475 |      598      0 |        0 |        0
0.09/0.19	c  0.2s |       4 |     1568 |      813 |      658      1 |        0 |        0
0.29/0.30	c  0.3s |       5 |     2149 |     1320 |      724      2 |        0 |        0
0.39/0.46	c  0.4s |       6 |     2981 |     2081 |      877      4 |        0 |        0
0.69/0.71	c  0.7s |       7 |     4203 |     3223 |      965      6 |        0 |        0
0.99/1.04	c  1.0s |       8 |     6060 |     4936 |     1062      9 |        0 |        0
1.39/1.43	c  1.4s |       9 |     8778 |     7506 |     1169     14 |        0 |        0
1.49/2.04	c  2.0s |      10 |    12891 |    11361 |     1286     20 |        0 |        0
2.89/2.94	c  2.9s |      11 |    18999 |    17144 |     1415     28 |        0 |        0
4.29/4.36	c  4.3s |      12 |    28103 |    25819 |     1557     40 |        0 |        0
6.29/6.37	c  6.3s |      12 |    40948 |    37919 |     1557     55 |        0 |        0
6.49/6.51	c  6.5s |      13 |    41907 |    38832 |     1713     56 |        0 |        0
8.49/8.52	c  8.5s |      13 |    55438 |    51332 |     1713     70 |        0 |        0
9.59/9.63	c  9.6s |      14 |    62924 |    58352 |     1885     78 |        0 |        0
11.60/11.64	c 11.6s |      14 |    76671 |    70952 |     1885     91 |        0 |        0
13.59/13.64	c 13.6s |      14 |    90901 |    83752 |     1885    104 |        0 |        0
14.29/14.33	c 14.3s |      15 |    94991 |    87632 |     2074    108 |        0 |        0
16.29/16.34	c 16.3s |      15 |   107172 |    99032 |     2074    119 |        0 |        0
18.28/18.36	c 18.3s |      15 |   120595 |   111232 |     2074    130 |        0 |        0
20.29/20.37	c 20.3s |      15 |   135286 |   124232 |     2074    142 |        0 |        0
21.40/21.41	c 21.4s |      16 |   143664 |   131552 |     2282    149 |        0 |        0
23.38/23.42	c 23.4s |      16 |   156731 |   143452 |     2282    159 |        0 |        0
25.38/25.42	c 25.4s |      16 |   170690 |   155652 |     2282    170 |        0 |        0
27.39/27.44	c 27.4s |      16 |   183099 |   167052 |     2282    179 |        0 |        0
29.39/29.45	c 29.4s |      16 |   197625 |   179852 |     2282    190 |        0 |        0
31.39/31.46	c 31.4s |      16 |   211103 |   191952 |     2282    201 |        0 |        0
32.39/32.48	c 32.5s |      17 |   217049 |   197432 |     2511    205 |        0 |        0
34.49/34.50	c 34.5s |      17 |   227650 |   207532 |     2511    213 |        0 |        0
36.48/36.50	c 36.5s |      17 |   240667 |   219132 |     2511    222 |        0 |        0
38.48/38.51	c 38.5s |      17 |   253189 |   230732 |     2511    231 |        0 |        0
40.49/40.52	c 40.5s |      17 |   264385 |   241232 |     2511    239 |        0 |        0
42.48/42.52	c 42.5s |      17 |   276478 |   252132 |     2511    248 |        0 |        0
44.49/44.54	c 44.5s |      17 |   289355 |   263832 |     2511    257 |        0 |        0
46.48/46.55	c 46.5s |      17 |   303100 |   276032 |     2511    266 |        0 |        0
48.48/48.57	c 48.5s |      17 |   315842 |   287632 |     2511    276 |        0 |        0
50.09/50.11	c 50.1s |      18 |   325413 |   296252 |     2763    282 |        0 |        0
52.08/52.12	c 52.1s |      18 |   338482 |   307752 |     2763    290 |        0 |        0
54.08/54.12	c 54.1s |      18 |   348953 |   317652 |     2763    297 |        0 |        0
56.08/56.14	c 56.1s |      18 |   360132 |   328052 |     2763    305 |        0 |        0
58.09/58.16	c 58.1s |      18 |   371622 |   338652 |     2763    312 |        0 |        0
60.08/60.17	c 60.1s |      18 |   385044 |   350452 |     2763    320 |        0 |        0
62.09/62.18	c 62.2s |      18 |   398578 |   362352 |     2763    329 |        0 |        0
64.08/64.18	c 64.2s |      18 |   412026 |   374252 |     2763    337 |        0 |        0
66.08/66.19	c 66.2s |      18 |   426870 |   386952 |     2763    346 |        0 |        0
68.18/68.20	c 68.2s |      18 |   439645 |   398452 |     2763    354 |        0 |        0
70.18/70.21	c 70.2s |      18 |   452197 |   409652 |     2763    362 |        0 |        0
72.18/72.21	c 72.2s |      18 |   465832 |   421752 |     2763    371 |        0 |        0
74.19/74.22	c 74.2s |      18 |   479294 |   433552 |     2763    379 |        0 |        0
76.18/76.23	c 76.2s |      18 |   490374 |   443752 |     3040    386 |        0 |        0
76.28/76.40	c 76.4s |      19 |   491203 |   444482 |     3040    387 |        0 |        0
78.37/78.40	c 78.4s |      19 |   501518 |   453982 |     3040    393 |        0 |        0
80.38/80.41	c 80.4s |      19 |   512266 |   463982 |     3040    399 |        0 |        0
82.38/82.43	c 82.4s |      19 |   524750 |   474982 |     3040    407 |        0 |        0
84.38/84.44	c 84.4s |      19 |   536589 |   485682 |     3040    413 |        0 |        0
86.39/86.45	c 86.4s |      19 |   550219 |   497482 |     3040    421 |        0 |        0
88.38/88.46	c 88.4s |      19 |   561668 |   507882 |     3040    428 |        0 |        0
90.38/90.46	c 90.4s |      19 |   573812 |   518782 |     3040    435 |        0 |        0
92.37/92.47	c 92.4s |      19 |   586869 |   530382 |     3040    442 |        0 |        0
94.37/94.48	c 94.5s |      19 |   600537 |   542082 |     3040    450 |        0 |        0
96.37/96.49	c 96.5s |      19 |   612140 |   552682 |     3040    457 |        0 |        0
98.38/98.49	c 98.5s |      19 |   625264 |   564282 |     3040    464 |        0 |        0
100.47/100.51	c  100s |      19 |   638096 |   575482 |     3040    472 |        0 |        0
102.48/102.51	c  102s |      19 |   651197 |   586982 |     3040    479 |        0 |        0
104.48/104.52	c  104s |      19 |   665865 |   599582 |     3040    487 |        0 |        0
106.47/106.52	c  106s |      19 |   679888 |   611682 |     3040    495 |        0 |        0
108.47/108.54	c  108s |      19 |   692686 |   623282 |     3040    503 |        0 |        0
110.48/110.54	c  110s |      19 |   705970 |   634882 |     3040    510 |        0 |        0
112.48/112.55	c  112s |      19 |   718686 |   646182 |     3040    517 |        0 |        0
114.47/114.55	c  114s |      19 |   730818 |   656982 |     3040    524 |        0 |        0
116.28/116.30	c  116s |      20 |   742029 |   666827 |     3345    530 |        0 |        0
118.28/118.31	c  118s |      20 |   752556 |   676427 |     3345    536 |        0 |        0
120.27/120.32	c  120s |      20 |   764141 |   686827 |     3345    542 |        0 |        0
122.27/122.32	c  122s |      20 |   776141 |   697527 |     3345    548 |        0 |        0
124.27/124.33	c  124s |      20 |   789610 |   709327 |     3345    555 |        0 |        0
126.27/126.34	c  126s |      20 |   803108 |   721027 |     3345    562 |        0 |        0
128.27/128.34	c  128s |      20 |   815095 |   731827 |     3345    569 |        0 |        0
130.28/130.35	c  130s |      20 |   826533 |   742327 |     3345    575 |        0 |        0
132.27/132.36	c  132s |      20 |   837232 |   752227 |     3345    581 |        0 |        0
134.27/134.37	c  134s |      20 |   846675 |   761227 |     3345    586 |        0 |        0
136.27/136.38	c  136s |      20 |   856460 |   770427 |     3345    591 |        0 |        0
138.27/138.39	c  138s |      20 |   867179 |   780127 |     3345    597 |        0 |        0
140.37/140.42	c  140s |      20 |   879621 |   791127 |     3345    604 |        0 |        0
142.38/142.42	c  142s |      20 |   891441 |   801627 |     3345    610 |        0 |        0
144.37/144.43	c  144s |      20 |   903306 |   812227 |     3345    616 |        0 |        0
146.37/146.46	c  146s |      20 |   914272 |   822327 |     3345    622 |        0 |        0
148.37/148.46	c  148s |      20 |   924965 |   832227 |     3345    628 |        0 |        0
150.36/150.48	c  150s |      20 |   938569 |   843827 |     3345    635 |        0 |        0
152.37/152.48	c  152s |      20 |   951343 |   855027 |     3345    641 |        0 |        0
154.37/154.49	c  154s |      20 |   964067 |   866127 |     3345    648 |        0 |        0
156.36/156.49	c  156s |      20 |   977708 |   877827 |     3345    655 |        0 |        0
158.47/158.50	c  158s |      20 |   990852 |   889227 |     3345    661 |        0 |        0
160.47/160.50	c  160s |      20 |  1001919 |   899327 |     3345    667 |        0 |        0
162.46/162.51	c  162s |      20 |  1015620 |   911227 |     3345    674 |        0 |        0
164.47/164.52	c  164s |      20 |  1030030 |   923427 |     3345    681 |        0 |        0
166.46/166.53	c  166s |      20 |  1043095 |   934727 |     3345    688 |        0 |        0
168.47/168.54	c  168s |      20 |  1056680 |   946427 |     3345    695 |        0 |        0
170.46/170.54	c  170s |      20 |  1070399 |   958327 |     3345    702 |        0 |        0
172.47/172.56	c  172s |      20 |  1083528 |   969827 |     3345    709 |        0 |        0
174.47/174.57	c  174s |      20 |  1096238 |   981027 |     3345    715 |        0 |        0
176.47/176.58	c  176s |      20 |  1107516 |   991327 |     3345    721 |        0 |        0
178.16/178.26	c  178s |      21 |  1118065 |  1000345 |     3680    726 |        0 |        0
180.16/180.26	c  180s |      21 |  1128022 |  1009445 |     3680    731 |        0 |        0
182.17/182.28	c  182s |      21 |  1138114 |  1018745 |     3680    736 |        0 |        0
184.17/184.28	c  184s |      21 |  1148423 |  1028145 |     3680    741 |        0 |        0
186.26/186.30	c  186s |      21 |  1158252 |  1037045 |     3680    746 |        0 |        0
188.26/188.30	c  188s |      21 |  1169738 |  1047345 |     3680    751 |        0 |        0
190.26/190.31	c  190s |      21 |  1180960 |  1057245 |     3680    757 |        0 |        0
192.26/192.31	c  192s |      21 |  1193699 |  1068645 |     3680    763 |        0 |        0
194.26/194.33	c  194s |      21 |  1204880 |  1078745 |     3680    768 |        0 |        0
196.27/196.34	c  196s |      21 |  1217196 |  1089645 |     3680    774 |        0 |        0
198.26/198.34	c  198s |      21 |  1227946 |  1099345 |     3680    779 |        0 |        0
200.26/200.35	c  200s |      21 |  1237518 |  1108245 |     3680    784 |        0 |        0
202.26/202.36	c  202s |      21 |  1247102 |  1117045 |     3680    789 |        0 |        0
204.26/204.36	c  204s |      21 |  1258536 |  1127345 |     3680    794 |        0 |        0
206.26/206.37	c  206s |      21 |  1269841 |  1137345 |     3680    800 |        0 |        0
208.26/208.38	c  208s |      21 |  1281824 |  1148045 |     3680    805 |        0 |        0
210.26/210.39	c  210s |      21 |  1293661 |  1158445 |     3680    811 |        0 |        0
212.36/212.41	c  212s |      21 |  1303820 |  1167845 |     3680    816 |        0 |        0
214.36/214.42	c  214s |      21 |  1314020 |  1177145 |     3680    821 |        0 |        0
216.36/216.42	c  216s |      21 |  1322894 |  1185445 |     3680    825 |        0 |        0
218.36/218.43	c  218s |      21 |  1332923 |  1194545 |     3680    830 |        0 |        0
220.36/220.43	c  220s |      21 |  1343434 |  1203945 |     3680    835 |        0 |        0
222.36/222.43	c  222s |      21 |  1354707 |  1214045 |     3680    841 |        0 |        0
224.36/224.45	c  224s |      21 |  1364562 |  1223045 |     3680    846 |        0 |        0
226.36/226.46	c  226s |      21 |  1375929 |  1233145 |     3680    851 |        0 |        0
228.35/228.48	c  228s |      21 |  1388679 |  1244345 |     3680    857 |        0 |        0
230.36/230.49	c  230s |      21 |  1399442 |  1254145 |     3680    862 |        0 |        0
232.45/232.50	c  232s |      21 |  1411759 |  1264945 |     3680    868 |        0 |        0
234.46/234.51	c  234s |      21 |  1423853 |  1275645 |     3680    874 |        0 |        0
236.45/236.52	c  236s |      21 |  1435561 |  1285945 |     3680    879 |        0 |        0
238.46/238.58	c  238s |      21 |  1449120 |  1297645 |     3680    886 |        0 |        0
240.45/240.60	c  240s |      21 |  1461413 |  1308645 |     3680    891 |        0 |        0
242.57/242.61	c  242s |      21 |  1472651 |  1318845 |     3680    897 |        0 |        0
244.55/244.62	c  244s |      21 |  1485759 |  1330045 |     3680    903 |        0 |        0
246.56/246.64	c  246s |      21 |  1498401 |  1341145 |     3680    909 |        0 |        0
248.55/248.64	c  248s |      21 |  1511182 |  1352245 |     3680    915 |        0 |        0
250.55/250.65	c  250s |      21 |  1524741 |  1364145 |     3680    921 |        0 |        0
252.56/252.66	c  252s |      21 |  1537291 |  1375145 |     3680    927 |        0 |        0
254.55/254.67	c  254s |      21 |  1548362 |  1385045 |     3680    932 |        0 |        0
256.55/256.67	c  256s |      21 |  1560468 |  1395645 |     3680    938 |        0 |        0
258.66/258.71	c  258s |      21 |  1572051 |  1406045 |     3680    944 |        0 |        0
260.65/260.72	c  260s |      21 |  1581985 |  1415045 |     3680    949 |        0 |        0
262.65/262.73	c  262s |      21 |  1593780 |  1425545 |     3680    954 |        0 |        0
264.65/264.75	c  264s |      21 |  1604196 |  1435045 |     3680    959 |        0 |        0
266.66/266.75	c  266s |      21 |  1615221 |  1445145 |     3680    965 |        0 |        0
268.65/268.77	c  268s |      21 |  1625098 |  1454245 |     3680    970 |        0 |        0
270.65/270.78	c  270s |      21 |  1637267 |  1464745 |     3680    975 |        0 |        0
272.65/272.78	c  272s |      21 |  1649106 |  1475145 |     3680    981 |        0 |        0
274.65/274.79	c  274s |      21 |  1659966 |  1484945 |     3680    986 |        0 |        0
276.74/276.80	c  276s |      21 |  1671885 |  1495545 |     4049    991 |        0 |        0
277.65/277.77	c  277s |      22 |  1677507 |  1500622 |     4049    994 |        0 |        0
279.65/279.77	c  279s |      22 |  1693305 |  1510522 |     4049    999 |        0 |        0
281.65/281.78	c  281s |      22 |  1713912 |  1520822 |     4049   1004 |        0 |        0
283.74/283.80	c  283s |      22 |  1728704 |  1531122 |     4049   1009 |        0 |        0
285.75/285.80	c  285s |      22 |  1742749 |  1540722 |     4049   1013 |        0 |        0
287.75/287.81	c  287s |      22 |  1754281 |  1550322 |     4049   1018 |        0 |        0
289.76/289.83	c  289s |      22 |  1765982 |  1559922 |     4049   1022 |        0 |        0
291.75/291.85	c  291s |      22 |  1778628 |  1569622 |     4049   1027 |        0 |        0
293.74/293.85	c  293s |      22 |  1791132 |  1579222 |     4049   1032 |        0 |        0
295.74/295.88	c  295s |      22 |  1803595 |  1589122 |     4049   1037 |        0 |        0
297.75/297.88	c  297s |      22 |  1819039 |  1599522 |     4049   1042 |        0 |        0
299.75/299.89	c  299s |      22 |  1831139 |  1609522 |     4049   1046 |        0 |        0
301.75/301.90	c  301s |      22 |  1845682 |  1619822 |     4049   1051 |        0 |        0
303.85/303.91	c  303s |      22 |  1858008 |  1629322 |     4049   1056 |        0 |        0
305.84/305.91	c  305s |      22 |  1870749 |  1639522 |     4049   1061 |        0 |        0
307.85/307.92	c  307s |      22 |  1883083 |  1649422 |     4049   1066 |        0 |        0
309.84/309.93	c  309s |      22 |  1894152 |  1658922 |     4049   1070 |        0 |        0
311.85/311.97	c  311s |      22 |  1907413 |  1669122 |     4049   1075 |        0 |        0
313.84/313.99	c  313s |      22 |  1935150 |  1680122 |     4049   1081 |        0 |        0
315.94/316.00	c  315s |      22 |  1951590 |  1690722 |     4049   1086 |        0 |        0
317.94/318.01	c  317s |      22 |  1965936 |  1701522 |     4049   1091 |        0 |        0
319.94/320.03	c  320s |      22 |  1985092 |  1712722 |     4049   1096 |        0 |        0
321.94/322.04	c  322s |      22 |  2006598 |  1723622 |     4049   1102 |        0 |        0
323.95/324.05	c  324s |      22 |  2028536 |  1734722 |     4049   1107 |        0 |        0
325.94/326.08	c  326s |      22 |  2055174 |  1745422 |     4049   1112 |        0 |        0
327.94/328.08	c  328s |      22 |  2068703 |  1755422 |     4049   1117 |        0 |        0
330.04/330.10	c  330s |      22 |  2082522 |  1765522 |     4049   1122 |        0 |        0
332.04/332.12	c  332s |      22 |  2095332 |  1775622 |     4049   1127 |        0 |        0
334.04/334.14	c  334s |      22 |  2106649 |  1785222 |     4049   1131 |        0 |        0
336.05/336.15	c  336s |      22 |  2117915 |  1794622 |     4049   1136 |        0 |        0
338.04/338.15	c  338s |      22 |  2131553 |  1804422 |     4049   1141 |        0 |        0
340.04/340.19	c  340s |      22 |  2144233 |  1814022 |     4049   1145 |        0 |        0
342.04/342.19	c  342s |      22 |  2157106 |  1823422 |     4049   1150 |        0 |        0
344.14/344.20	c  344s |      22 |  2170311 |  1832622 |     4049   1154 |        0 |        0
346.13/346.20	c  346s |      22 |  2184427 |  1842022 |     4049   1159 |        0 |        0
348.15/348.22	c  348s |      22 |  2195609 |  1850822 |     4049   1163 |        0 |        0
350.14/350.23	c  350s |      22 |  2208176 |  1859922 |     4049   1168 |        0 |        0
352.14/352.24	c  352s |      22 |  2222265 |  1869322 |     4049   1172 |        0 |        0
354.13/354.26	c  354s |      22 |  2234422 |  1878622 |     4049   1177 |        0 |        0
356.14/356.26	c  356s |      22 |  2247366 |  1888022 |     4049   1181 |        0 |        0
358.13/358.27	c  358s |      22 |  2261096 |  1897522 |     4049   1186 |        0 |        0
360.15/360.28	c  360s |      22 |  2275200 |  1907822 |     4049   1191 |        0 |        0
362.13/362.28	c  362s |      22 |  2292186 |  1918122 |     4049   1196 |        0 |        0
364.24/364.33	c  364s |      22 |  2307373 |  1928322 |     4049   1201 |        0 |        0
366.24/366.35	c  366s |      22 |  2321200 |  1938222 |     4049   1206 |        0 |        0
368.23/368.36	c  368s |      22 |  2338537 |  1948422 |     4049   1211 |        0 |        0
370.23/370.38	c  370s |      22 |  2360394 |  1959222 |     4049   1216 |        0 |        0
372.24/372.39	c  372s |      22 |  2379723 |  1969922 |     4049   1221 |        0 |        0
374.33/374.40	c  374s |      22 |  2399701 |  1980422 |     4049   1226 |        0 |        0
376.34/376.41	c  376s |      22 |  2418059 |  1990322 |     4049   1231 |        0 |        0
378.34/378.41	c  378s |      22 |  2438749 |  2000122 |     4049   1236 |        0 |        0
380.33/380.46	c  380s |      22 |  2451841 |  2010222 |     4049   1241 |        0 |        0
382.33/382.47	c  382s |      22 |  2464616 |  2020422 |     4049   1245 |        0 |        0
384.34/384.47	c  384s |      22 |  2477593 |  2030522 |     4049   1250 |        0 |        0
386.33/386.48	c  386s |      22 |  2493001 |  2040722 |     4049   1255 |        0 |        0
388.43/388.50	c  388s |      22 |  2506116 |  2050622 |     4049   1260 |        0 |        0
390.43/390.51	c  390s |      22 |  2517209 |  2059822 |     4049   1265 |        0 |        0
392.43/392.53	c  392s |      22 |  2529762 |  2069722 |     4049   1269 |        0 |        0
394.43/394.54	c  394s |      22 |  2544036 |  2080022 |     4049   1274 |        0 |        0
396.44/396.54	c  396s |      22 |  2556816 |  2089722 |     4049   1279 |        0 |        0
398.43/398.55	c  398s |      22 |  2569066 |  2099522 |     4049   1284 |        0 |        0
400.43/400.57	c  400s |      22 |  2580453 |  2109022 |     4049   1288 |        0 |        0
402.43/402.57	c  402s |      22 |  2594283 |  2118422 |     4049   1293 |        0 |        0
404.43/404.58	c  404s |      22 |  2609831 |  2128922 |     4049   1298 |        0 |        0
406.43/406.59	c  406s |      22 |  2623654 |  2139222 |     4049   1303 |        0 |        0
408.43/408.60	c  408s |      22 |  2637626 |  2149622 |     4049   1308 |        0 |        0
410.53/410.61	c  410s |      22 |  2651263 |  2159722 |     4049   1313 |        0 |        0
412.52/412.62	c  412s |      22 |  2666069 |  2169622 |     4049   1318 |        0 |        0
414.52/414.62	c  414s |      22 |  2679462 |  2179622 |     4049   1322 |        0 |        0
416.53/416.64	c  416s |      22 |  2694234 |  2189422 |     4049   1327 |        0 |        0
418.54/418.64	c  418s |      22 |  2707217 |  2199322 |     4049   1332 |        0 |        0
420.53/420.66	c  420s |      22 |  2718857 |  2208422 |     4049   1336 |        0 |        0
422.53/422.67	c  422s |      22 |  2733187 |  2218422 |     4049   1341 |        0 |        0
424.53/424.67	c  424s |      22 |  2746077 |  2228222 |     4049   1346 |        0 |        0
426.53/426.69	c  426s |      22 |  2757713 |  2237322 |     4454   1350 |        0 |        0
428.53/428.69	c  428s |      22 |  2768716 |  2246222 |     4454   1354 |        0 |        0
429.53/429.67	c  429s |      23 |  2776066 |  2251038 |     4454   1356 |        0 |        0
431.64/431.71	c  431s |      23 |  2796157 |  2260938 |     4454   1361 |        0 |        0
433.62/433.72	c  433s |      23 |  2811726 |  2269938 |     4454   1364 |        0 |        0
435.62/435.72	c  435s |      23 |  2830792 |  2280438 |     4454   1369 |        0 |        0
437.62/437.73	c  437s |      23 |  2848202 |  2290138 |     4454   1373 |        0 |        0
439.62/439.73	c  439s |      23 |  2867209 |  2300338 |     4454   1378 |        0 |        0
441.64/441.74	c  441s |      23 |  2878366 |  2309038 |     4454   1382 |        0 |        0
443.62/443.75	c  443s |      23 |  2889961 |  2318138 |     4454   1386 |        0 |        0
445.62/445.77	c  445s |      23 |  2901686 |  2327238 |     4454   1390 |        0 |        0
447.63/447.79	c  447s |      23 |  2912369 |  2336438 |     4454   1394 |        0 |        0
449.72/449.81	c  449s |      23 |  2926414 |  2346538 |     4454   1398 |        0 |        0
451.72/451.81	c  451s |      23 |  2941795 |  2355938 |     4454   1402 |        0 |        0
453.72/453.81	c  453s |      23 |  2954895 |  2365538 |     4454   1407 |        0 |        0
455.72/455.81	c  455s |      23 |  2969003 |  2374338 |     4454   1411 |        0 |        0
457.72/457.84	c  457s |      23 |  2982787 |  2383338 |     4454   1415 |        0 |        0
459.73/459.85	c  459s |      23 |  2992588 |  2391438 |     4454   1418 |        0 |        0
461.73/461.86	c  461s |      23 |  3003829 |  2399838 |     4454   1422 |        0 |        0
463.72/463.88	c  463s |      23 |  3012992 |  2407638 |     4454   1425 |        0 |        0
465.73/465.90	c  465s |      23 |  3024044 |  2416538 |     4454   1429 |        0 |        0
467.82/467.90	c  467s |      23 |  3035284 |  2424738 |     4454   1433 |        0 |        0
469.82/469.91	c  469s |      23 |  3047174 |  2434238 |     4454   1437 |        0 |        0
471.82/471.93	c  471s |      23 |  3059399 |  2443438 |     4454   1441 |        0 |        0
473.82/473.96	c  473s |      23 |  3071915 |  2452138 |     4454   1445 |        0 |        0
475.82/475.96	c  475s |      23 |  3083939 |  2461038 |     4454   1449 |        0 |        0
477.83/477.98	c  477s |      23 |  3096140 |  2470338 |     4454   1453 |        0 |        0
479.82/479.99	c  479s |      23 |  3108489 |  2479738 |     4454   1457 |        0 |        0
481.92/482.01	c  481s |      23 |  3119876 |  2488238 |     4454   1461 |        0 |        0
483.91/484.01	c  483s |      23 |  3132513 |  2497838 |     4454   1465 |        0 |        0
485.92/486.03	c  486s |      23 |  3144630 |  2507438 |     4454   1469 |        0 |        0
487.92/488.03	c  488s |      23 |  3159057 |  2517238 |     4454   1473 |        0 |        0
489.92/490.04	c  490s |      23 |  3170755 |  2526438 |     4454   1478 |        0 |        0
491.92/492.05	c  492s |      23 |  3185972 |  2536138 |     4454   1482 |        0 |        0
493.91/494.07	c  494s |      23 |  3200410 |  2545938 |     4454   1486 |        0 |        0
495.91/496.08	c  496s |      23 |  3212183 |  2555238 |     4454   1490 |        0 |        0
497.91/498.08	c  498s |      23 |  3222947 |  2564138 |     4454   1494 |        0 |        0
499.92/500.08	c  500s |      23 |  3234374 |  2573138 |     4454   1498 |        0 |        0
501.92/502.10	c  502s |      23 |  3246352 |  2582738 |     4454   1502 |        0 |        0
504.01/504.11	c  504s |      23 |  3258825 |  2593038 |     4454   1507 |        0 |        0
506.02/506.12	c  506s |      23 |  3271441 |  2603238 |     4454   1511 |        0 |        0
508.01/508.14	c  508s |      23 |  3290842 |  2613238 |     4454   1516 |        0 |        0
510.01/510.16	c  510s |      23 |  3303741 |  2622638 |     4454   1520 |        0 |        0
512.02/512.17	c  512s |      23 |  3317025 |  2632938 |     4454   1524 |        0 |        0
514.02/514.18	c  514s |      23 |  3330394 |  2643038 |     4454   1529 |        0 |        0
516.01/516.19	c  516s |      23 |  3346922 |  2653038 |     4454   1533 |        0 |        0
518.11/518.24	c  518s |      23 |  3359412 |  2663138 |     4454   1538 |        0 |        0
520.11/520.25	c  520s |      23 |  3372150 |  2673338 |     4454   1542 |        0 |        0
522.11/522.26	c  522s |      23 |  3384030 |  2683138 |     4454   1547 |        0 |        0
524.12/524.26	c  524s |      23 |  3402956 |  2693738 |     4454   1551 |        0 |        0
526.11/526.27	c  526s |      23 |  3420927 |  2704338 |     4454   1556 |        0 |        0
528.12/528.27	c  528s |      23 |  3437216 |  2715138 |     4454   1561 |        0 |        0
530.11/530.28	c  530s |      23 |  3453395 |  2725338 |     4454   1565 |        0 |        0
532.21/532.30	c  532s |      23 |  3468966 |  2735938 |     4454   1570 |        0 |        0
534.21/534.31	c  534s |      23 |  3482693 |  2746238 |     4454   1574 |        0 |        0
536.22/536.34	c  536s |      23 |  3495857 |  2756438 |     4454   1579 |        0 |        0
538.21/538.37	c  538s |      23 |  3509305 |  2766838 |     4454   1584 |        0 |        0
540.31/540.43	c  540s |      23 |  3523847 |  2777438 |     4454   1588 |        0 |        0
542.31/542.45	c  542s |      23 |  3536116 |  2787438 |     4454   1593 |        0 |        0
544.30/544.45	c  544s |      23 |  3548194 |  2797038 |     4454   1597 |        0 |        0
546.31/546.45	c  546s |      23 |  3560430 |  2806938 |     4454   1601 |        0 |        0
548.31/548.47	c  548s |      23 |  3571917 |  2816238 |     4454   1605 |        0 |        0
550.31/550.49	c  550s |      23 |  3583826 |  2825338 |     4454   1609 |        0 |        0
552.41/552.50	c  552s |      23 |  3594862 |  2834238 |     4454   1613 |        0 |        0
554.40/554.51	c  554s |      23 |  3605555 |  2843338 |     4454   1617 |        0 |        0
556.40/556.51	c  556s |      23 |  3617136 |  2853138 |     4454   1622 |        0 |        0
558.41/558.53	c  558s |      23 |  3628161 |  2862438 |     4454   1626 |        0 |        0
560.42/560.54	c  560s |      23 |  3638945 |  2871738 |     4454   1630 |        0 |        0
562.40/562.56	c  562s |      23 |  3649761 |  2881038 |     4454   1634 |        0 |        0
564.40/564.56	c  564s |      23 |  3661272 |  2890338 |     4454   1638 |        0 |        0
566.40/566.57	c  566s |      23 |  3673678 |  2900538 |     4454   1643 |        0 |        0
568.40/568.58	c  568s |      23 |  3686002 |  2910738 |     4454   1647 |        0 |        0
570.40/570.59	c  570s |      23 |  3698175 |  2920538 |     4454   1652 |        0 |        0
572.51/572.61	c  572s |      23 |  3710136 |  2930138 |     4454   1656 |        0 |        0
574.50/574.62	c  574s |      23 |  3721814 |  2939638 |     4454   1660 |        0 |        0
576.51/576.64	c  576s |      23 |  3734066 |  2949338 |     4454   1664 |        0 |        0
578.50/578.64	c  578s |      23 |  3747515 |  2959838 |     4454   1669 |        0 |        0
580.51/580.66	c  580s |      23 |  3761526 |  2970438 |     4454   1674 |        0 |        0
582.51/582.67	c  582s |      23 |  3776079 |  2979838 |     4454   1678 |        0 |        0
584.51/584.67	c  584s |      23 |  3788741 |  2989738 |     4454   1682 |        0 |        0
586.50/586.67	c  586s |      23 |  3802142 |  2999638 |     4454   1687 |        0 |        0
588.50/588.69	c  588s |      23 |  3815252 |  3009438 |     4454   1691 |        0 |        0
590.60/590.71	c  590s |      23 |  3828922 |  3019838 |     4454   1696 |        0 |        0
592.60/592.72	c  592s |      23 |  3843628 |  3029438 |     4454   1700 |        0 |        0
594.60/594.74	c  594s |      23 |  3853981 |  3037938 |     4454   1704 |        0 |        0
596.61/596.75	c  596s |      23 |  3866727 |  3047938 |     4454   1708 |        0 |        0
598.60/598.76	c  598s |      23 |  3881824 |  3058338 |     4454   1713 |        0 |        0
600.60/600.77	c  600s |      23 |  3897723 |  3068838 |     4454   1717 |        0 |        0
602.60/602.78	c  602s |      23 |  3910425 |  3078638 |     4454   1722 |        0 |        0
604.60/604.79	c  604s |      23 |  3922743 |  3088238 |     4454   1726 |        0 |        0
606.70/606.81	c  606s |      23 |  3939266 |  3098938 |     4454   1731 |        0 |        0
608.71/608.82	c  608s |      23 |  3953150 |  3108538 |     4454   1735 |        0 |        0
610.69/610.83	c  610s |      23 |  3968848 |  3118638 |     4454   1739 |        0 |        0
612.70/612.84	c  612s |      23 |  3982352 |  3129338 |     4454   1744 |        0 |        0
614.69/614.87	c  614s |      23 |  3995959 |  3139638 |     4454   1749 |        0 |        0
616.69/616.88	c  616s |      23 |  4008030 |  3148838 |     4454   1753 |        0 |        0
618.71/618.89	c  618s |      23 |  4024489 |  3158738 |     4454   1757 |        0 |        0
620.70/620.90	c  620s |      23 |  4036671 |  3166838 |     4454   1761 |        0 |        0
622.80/622.91	c  622s |      23 |  4051153 |  3175538 |     4454   1764 |        0 |        0
624.80/624.93	c  624s |      23 |  4064755 |  3184638 |     4454   1768 |        0 |        0
626.80/626.93	c  626s |      23 |  4079713 |  3194338 |     4454   1773 |        0 |        0
628.79/628.96	c  628s |      23 |  4095782 |  3205238 |     4454   1778 |        0 |        0
630.80/630.97	c  630s |      23 |  4109593 |  3215138 |     4454   1782 |        0 |        0
632.90/633.02	c  632s |      23 |  4125391 |  3225938 |     4454   1787 |        0 |        0
634.90/635.02	c  634s |      23 |  4139812 |  3237138 |     4454   1792 |        0 |        0
636.90/637.04	c  637s |      23 |  4155712 |  3247438 |     4454   1796 |        0 |        0
638.89/639.06	c  639s |      23 |  4167143 |  3256938 |     4454   1800 |        0 |        0
640.89/641.06	c  641s |      23 |  4180001 |  3267738 |     4454   1805 |        0 |        0
642.90/643.06	c  643s |      23 |  4192714 |  3278238 |     4454   1810 |        0 |        0
644.90/645.08	c  645s |      23 |  4206822 |  3288338 |     4454   1814 |        0 |        0
646.90/647.09	c  647s |      23 |  4223277 |  3298938 |     4454   1819 |        0 |        0
648.99/649.12	c  649s |      23 |  4239481 |  3309338 |     4454   1824 |        0 |        0
650.99/651.14	c  651s |      23 |  4252186 |  3319438 |     4454   1828 |        0 |        0
652.99/653.14	c  653s |      23 |  4267022 |  3329538 |     4454   1832 |        0 |        0
654.99/655.15	c  655s |      23 |  4280493 |  3339138 |     4454   1837 |        0 |        0
656.99/657.15	c  657s |      23 |  4292718 |  3348338 |     4454   1841 |        0 |        0
658.99/659.18	c  659s |      23 |  4303730 |  3357938 |     4900   1845 |        0 |        0
660.99/661.19	c  661s |      23 |  4314298 |  3366638 |     4900   1848 |        0 |        0
662.99/663.19	c  663s |      23 |  4325112 |  3375738 |     4900   1852 |        0 |        0
663.19/663.37	c  663s |      24 |  4326528 |  3376662 |     4900   1852 |        0 |        0
665.19/665.38	c  665s |      24 |  4340194 |  3383762 |     4900   1855 |        0 |        0
667.19/667.38	c  667s |      24 |  4353005 |  3392662 |     4900   1859 |        0 |        0
669.20/669.40	c  669s |      24 |  4367505 |  3402162 |     4900   1862 |        0 |        0
671.29/671.41	c  671s |      24 |  4379265 |  3410562 |     4900   1866 |        0 |        0
673.29/673.43	c  673s |      24 |  4393937 |  3419662 |     4900   1869 |        0 |        0
675.39/675.52	c  675s |      24 |  4404783 |  3428962 |     4900   1873 |        0 |        0
677.39/677.54	c  677s |      24 |  4417290 |  3437562 |     4900   1877 |        0 |        0
679.39/679.55	c  679s |      24 |  4431300 |  3446762 |     4900   1880 |        0 |        0
681.40/681.57	c  681s |      24 |  4449849 |  3456062 |     4900   1884 |        0 |        0
683.39/683.60	c  683s |      24 |  4463223 |  3464762 |     4900   1888 |        0 |        0
685.48/685.61	c  685s |      24 |  4480517 |  3474362 |     4900   1891 |        0 |        0
687.49/687.62	c  687s |      24 |  4501822 |  3483862 |     4900   1895 |        0 |        0
689.49/689.63	c  689s |      24 |  4517133 |  3493262 |     4900   1899 |        0 |        0
691.48/691.65	c  691s |      24 |  4527928 |  3501762 |     4900   1902 |        0 |        0
693.50/693.66	c  693s |      24 |  4541476 |  3510962 |     4900   1906 |        0 |        0
695.49/695.66	c  695s |      24 |  4552948 |  3519762 |     4900   1910 |        0 |        0
697.49/697.68	c  697s |      24 |  4565460 |  3529062 |     4900   1913 |        0 |        0
699.49/699.68	c  699s |      24 |  4575515 |  3537462 |     4900   1917 |        0 |        0
701.49/701.69	c  701s |      24 |  4587389 |  3546562 |     4900   1920 |        0 |        0
703.48/703.69	c  703s |      24 |  4598671 |  3555662 |     4900   1924 |        0 |        0
705.59/705.71	c  705s |      24 |  4609599 |  3564562 |     4900   1927 |        0 |        0
707.58/707.73	c  707s |      24 |  4622290 |  3573362 |     4900   1931 |        0 |        0
709.58/709.74	c  709s |      24 |  4633950 |  3582062 |     4900   1934 |        0 |        0
711.58/711.76	c  711s |      24 |  4645038 |  3591162 |     4900   1938 |        0 |        0
713.68/713.80	c  713s |      24 |  4659029 |  3599662 |     4900   1942 |        0 |        0
715.68/715.81	c  715s |      24 |  4671074 |  3608762 |     4900   1945 |        0 |        0
717.69/717.83	c  717s |      24 |  4681807 |  3617262 |     4900   1949 |        0 |        0
719.69/719.83	c  719s |      24 |  4693767 |  3626062 |     4900   1952 |        0 |        0
721.68/721.84	c  721s |      24 |  4710015 |  3635562 |     4900   1956 |        0 |        0
723.68/723.84	c  723s |      24 |  4724678 |  3644862 |     4900   1960 |        0 |        0
725.68/725.84	c  725s |      24 |  4737636 |  3654062 |     4900   1963 |        0 |        0
727.68/727.85	c  727s |      24 |  4749296 |  3662762 |     4900   1967 |        0 |        0
729.69/729.87	c  729s |      24 |  4760927 |  3672062 |     4900   1971 |        0 |        0
731.68/731.88	c  731s |      24 |  4774014 |  3681662 |     4900   1974 |        0 |        0
733.78/733.94	c  733s |      24 |  4785451 |  3691162 |     4900   1978 |        0 |        0
735.78/735.99	c  735s |      24 |  4797008 |  3699562 |     4900   1982 |        0 |        0
737.88/738.01	c  737s |      24 |  4809215 |  3708662 |     4900   1985 |        0 |        0
739.87/740.03	c  740s |      24 |  4818876 |  3716562 |     4900   1989 |        0 |        0
741.88/742.04	c  742s |      24 |  4832042 |  3725462 |     4900   1992 |        0 |        0
743.88/744.05	c  744s |      24 |  4843598 |  3733662 |     4900   1995 |        0 |        0
745.87/746.05	c  746s |      24 |  4853727 |  3742162 |     4900   1999 |        0 |        0
747.88/748.06	c  748s |      24 |  4865176 |  3750962 |     4900   2002 |        0 |        0
749.88/750.09	c  750s |      24 |  4878981 |  3760662 |     4900   2006 |        0 |        0
751.98/752.10	c  752s |      24 |  4893157 |  3770262 |     4900   2010 |        0 |        0
753.99/754.11	c  754s |      24 |  4906255 |  3779362 |     4900   2014 |        0 |        0
755.97/756.11	c  756s |      24 |  4918471 |  3788362 |     4900   2017 |        0 |        0
757.97/758.12	c  758s |      24 |  4931762 |  3797662 |     4900   2021 |        0 |        0
759.98/760.14	c  760s |      24 |  4945624 |  3806862 |     4900   2025 |        0 |        0
761.97/762.14	c  762s |      24 |  4960145 |  3816562 |     4900   2029 |        0 |        0
763.98/764.14	c  764s |      24 |  4973785 |  3825562 |     4900   2032 |        0 |        0
765.98/766.17	c  766s |      24 |  4987861 |  3835662 |     4900   2037 |        0 |        0
767.97/768.19	c  768s |      24 |  5000567 |  3844862 |     4900   2040 |        0 |        0
770.08/770.21	c  770s |      24 |  5014178 |  3854162 |     4900   2044 |        0 |        0
772.08/772.22	c  772s |      24 |  5029441 |  3863362 |     4900   2048 |        0 |        0
774.08/774.23	c  774s |      24 |  5042948 |  3872562 |     4900   2051 |        0 |        0
776.08/776.24	c  776s |      24 |  5056125 |  3881862 |     4900   2055 |        0 |        0
778.07/778.25	c  778s |      24 |  5066672 |  3890362 |     4900   2059 |        0 |        0
780.07/780.26	c  780s |      24 |  5079794 |  3900062 |     4900   2062 |        0 |        0
782.07/782.28	c  782s |      24 |  5092670 |  3909362 |     4900   2066 |        0 |        0
784.07/784.28	c  784s |      24 |  5109522 |  3919262 |     4900   2070 |        0 |        0
786.17/786.30	c  786s |      24 |  5126820 |  3929462 |     4900   2074 |        0 |        0
788.17/788.32	c  788s |      24 |  5138289 |  3938362 |     4900   2078 |        0 |        0
790.18/790.32	c  790s |      24 |  5150092 |  3947762 |     4900   2082 |        0 |        0
792.17/792.34	c  792s |      24 |  5165828 |  3956562 |     4900   2085 |        0 |        0
794.17/794.35	c  794s |      24 |  5182069 |  3966562 |     4900   2089 |        0 |        0
796.17/796.36	c  796s |      24 |  5194965 |  3976262 |     4900   2093 |        0 |        0
798.17/798.37	c  798s |      24 |  5206942 |  3985262 |     4900   2097 |        0 |        0
800.18/800.39	c  800s |      24 |  5220190 |  3995062 |     4900   2101 |        0 |        0
802.28/802.41	c  802s |      24 |  5233814 |  4004362 |     4900   2104 |        0 |        0
804.27/804.43	c  804s |      24 |  5244642 |  4013162 |     4900   2108 |        0 |        0
806.27/806.44	c  806s |      24 |  5256553 |  4022662 |     4900   2112 |        0 |        0
808.27/808.45	c  808s |      24 |  5268984 |  4032062 |     4900   2116 |        0 |        0
810.27/810.46	c  810s |      24 |  5283065 |  4041862 |     4900   2120 |        0 |        0
812.28/812.46	c  812s |      24 |  5296595 |  4051662 |     4900   2123 |        0 |        0
814.27/814.48	c  814s |      24 |  5307678 |  4061162 |     4900   2127 |        0 |        0
816.26/816.48	c  816s |      24 |  5318369 |  4069862 |     4900   2131 |        0 |        0
818.26/818.48	c  818s |      24 |  5330614 |  4079862 |     4900   2135 |        0 |        0
820.37/820.50	c  820s |      24 |  5344368 |  4088962 |     4900   2138 |        0 |        0
822.37/822.52	c  822s |      24 |  5359432 |  4098462 |     4900   2142 |        0 |        0
824.37/824.54	c  824s |      24 |  5373953 |  4108462 |     4900   2146 |        0 |        0
826.37/826.55	c  826s |      24 |  5386168 |  4117862 |     4900   2150 |        0 |        0
828.36/828.57	c  828s |      24 |  5396984 |  4126962 |     4900   2154 |        0 |        0
830.36/830.57	c  830s |      24 |  5409485 |  4137362 |     4900   2158 |        0 |        0
832.37/832.58	c  832s |      24 |  5421538 |  4147562 |     4900   2162 |        0 |        0
834.36/834.59	c  834s |      24 |  5432713 |  4157162 |     4900   2166 |        0 |        0
836.37/836.59	c  836s |      24 |  5444406 |  4166762 |     4900   2170 |        0 |        0
838.36/838.59	c  838s |      24 |  5456449 |  4176262 |     4900   2174 |        0 |        0
840.46/840.63	c  840s |      24 |  5470290 |  4185962 |     4900   2178 |        0 |        0
842.47/842.65	c  842s |      24 |  5481604 |  4194462 |     4900   2181 |        0 |        0
844.46/844.66	c  844s |      24 |  5493580 |  4203862 |     4900   2185 |        0 |        0
846.46/846.67	c  846s |      24 |  5507400 |  4214062 |     4900   2189 |        0 |        0
848.47/848.67	c  848s |      24 |  5520738 |  4222562 |     4900   2192 |        0 |        0
850.46/850.68	c  850s |      24 |  5533867 |  4232062 |     4900   2196 |        0 |        0
852.46/852.69	c  852s |      24 |  5547555 |  4241362 |     4900   2200 |        0 |        0
854.57/854.71	c  854s |      24 |  5560038 |  4250462 |     4900   2204 |        0 |        0
856.56/856.72	c  856s |      24 |  5574688 |  4260262 |     4900   2208 |        0 |        0
858.56/858.73	c  858s |      24 |  5593913 |  4270462 |     4900   2212 |        0 |        0
860.57/860.74	c  860s |      24 |  5606339 |  4280262 |     4900   2216 |        0 |        0
862.56/862.74	c  862s |      24 |  5617378 |  4289262 |     4900   2219 |        0 |        0
864.56/864.75	c  864s |      24 |  5631328 |  4298962 |     4900   2223 |        0 |        0
866.56/866.75	c  866s |      24 |  5644245 |  4307762 |     4900   2227 |        0 |        0
868.56/868.77	c  868s |      24 |  5661366 |  4318162 |     4900   2231 |        0 |        0
870.57/870.77	c  870s |      24 |  5678770 |  4328862 |     4900   2235 |        0 |        0
872.55/872.77	c  872s |      24 |  5692016 |  4338462 |     4900   2239 |        0 |        0
874.56/874.79	c  874s |      24 |  5703251 |  4346362 |     4900   2242 |        0 |        0
876.56/876.79	c  876s |      24 |  5715631 |  4355762 |     4900   2246 |        0 |        0
878.66/878.80	c  878s |      24 |  5728317 |  4365062 |     4900   2250 |        0 |        0
880.65/880.82	c  880s |      24 |  5741341 |  4374862 |     4900   2254 |        0 |        0
882.67/882.83	c  882s |      24 |  5755043 |  4384462 |     4900   2258 |        0 |        0
884.87/885.03	c  885s |      24 |  5771227 |  4394562 |     4900   2262 |        0 |        0
886.85/887.03	c  887s |      24 |  5781382 |  4403462 |     4900   2265 |        0 |        0
888.86/889.06	c  889s |      24 |  5790784 |  4411662 |     4900   2269 |        0 |        0
890.86/891.07	c  891s |      24 |  5800993 |  4420262 |     4900   2272 |        0 |        0
892.85/893.08	c  893s |      24 |  5811830 |  4428862 |     4900   2276 |        0 |        0
894.85/895.09	c  895s |      24 |  5823242 |  4438162 |     4900   2279 |        0 |        0
896.87/897.09	c  897s |      24 |  5834307 |  4446862 |     4900   2283 |        0 |        0
898.85/899.09	c  899s |      24 |  5843670 |  4454562 |     4900   2286 |        0 |        0
900.95/901.11	c  901s |      24 |  5853742 |  4462462 |     4900   2289 |        0 |        0
902.95/903.12	c  903s |      24 |  5863349 |  4470762 |     4900   2292 |        0 |        0
904.95/905.13	c  905s |      24 |  5875026 |  4479062 |     4900   2296 |        0 |        0
906.95/907.14	c  907s |      24 |  5884493 |  4486962 |     4900   2299 |        0 |        0
908.96/909.16	c  909s |      24 |  5894327 |  4495062 |     4900   2302 |        0 |        0
910.96/911.18	c  911s |      24 |  5910669 |  4504262 |     4900   2306 |        0 |        0
912.95/913.19	c  913s |      24 |  5923973 |  4513662 |     4900   2310 |        0 |        0
915.05/915.21	c  915s |      24 |  5937348 |  4523262 |     4900   2313 |        0 |        0
917.05/917.21	c  917s |      24 |  5947879 |  4531862 |     4900   2317 |        0 |        0
919.05/919.21	c  919s |      24 |  5960191 |  4539862 |     4900   2320 |        0 |        0
921.05/921.21	c  921s |      24 |  5973016 |  4548662 |     4900   2324 |        0 |        0
923.05/923.22	c  923s |      24 |  5989190 |  4557862 |     4900   2327 |        0 |        0
925.05/925.22	c  925s |      24 |  6001812 |  4566162 |     4900   2331 |        0 |        0
927.05/927.24	c  927s |      24 |  6013642 |  4574762 |     4900   2334 |        0 |        0
929.04/929.24	c  929s |      24 |  6026795 |  4583762 |     4900   2338 |        0 |        0
931.05/931.25	c  931s |      24 |  6036999 |  4592262 |     4900   2341 |        0 |        0
933.04/933.26	c  933s |      24 |  6046055 |  4599862 |     4900   2344 |        0 |        0
935.05/935.27	c  935s |      24 |  6058685 |  4608662 |     4900   2348 |        0 |        0
937.05/937.28	c  937s |      24 |  6069706 |  4616762 |     4900   2351 |        0 |        0
939.05/939.28	c  939s |      24 |  6079974 |  4625262 |     4900   2354 |        0 |        0
941.15/941.30	c  941s |      24 |  6093185 |  4634262 |     4900   2358 |        0 |        0
943.16/943.32	c  943s |      24 |  6107101 |  4643262 |     4900   2361 |        0 |        0
945.15/945.33	c  945s |      24 |  6118229 |  4651862 |     4900   2365 |        0 |        0
947.14/947.33	c  947s |      24 |  6128900 |  4660662 |     4900   2368 |        0 |        0
949.14/949.34	c  949s |      24 |  6138994 |  4668962 |     4900   2372 |        0 |        0
951.15/951.37	c  951s |      24 |  6150918 |  4677862 |     4900   2375 |        0 |        0
953.15/953.37	c  953s |      24 |  6160836 |  4686462 |     4900   2379 |        0 |        0
955.16/955.38	c  955s |      24 |  6171690 |  4695162 |     4900   2382 |        0 |        0
957.15/957.38	c  957s |      24 |  6181943 |  4704162 |     4900   2386 |        0 |        0
959.24/959.40	c  959s |      24 |  6193288 |  4712762 |     4900   2389 |        0 |        0
961.25/961.41	c  961s |      24 |  6203449 |  4721362 |     4900   2393 |        0 |        0
963.25/963.42	c  963s |      24 |  6214613 |  4730062 |     4900   2396 |        0 |        0
965.24/965.42	c  965s |      24 |  6225673 |  4738962 |     4900   2400 |        0 |        0
967.25/967.43	c  967s |      24 |  6236693 |  4747262 |     4900   2403 |        0 |        0
969.25/969.44	c  969s |      24 |  6248493 |  4756062 |     4900   2407 |        0 |        0
971.25/971.44	c  971s |      24 |  6258851 |  4764362 |     4900   2410 |        0 |        0
973.25/973.45	c  973s |      24 |  6270682 |  4773562 |     4900   2414 |        0 |        0
975.24/975.46	c  975s |      24 |  6281153 |  4782562 |     4900   2417 |        0 |        0
977.25/977.47	c  977s |      24 |  6291709 |  4791062 |     4900   2421 |        0 |        0
979.25/979.48	c  979s |      24 |  6302237 |  4799862 |     4900   2424 |        0 |        0
981.24/981.49	c  981s |      24 |  6312996 |  4808662 |     4900   2428 |        0 |        0
983.34/983.52	c  983s |      24 |  6323782 |  4817662 |     4900   2432 |        0 |        0
985.34/985.53	c  985s |      24 |  6334073 |  4826662 |     4900   2435 |        0 |        0
987.34/987.53	c  987s |      24 |  6344616 |  4835562 |     4900   2439 |        0 |        0
989.34/989.54	c  989s |      24 |  6354678 |  4843762 |     4900   2442 |        0 |        0
991.34/991.55	c  991s |      24 |  6365959 |  4853062 |     4900   2446 |        0 |        0
993.34/993.57	c  993s |      24 |  6375348 |  4860662 |     4900   2449 |        0 |        0
995.34/995.59	c  995s |      24 |  6385230 |  4869362 |     4900   2452 |        0 |        0
997.54/997.71	c  997s |      24 |  6395702 |  4878162 |     4900   2456 |        0 |        0
999.54/999.73	c  999s |      24 |  6406290 |  4887362 |     4900   2459 |        0 |        0
1001.54/1001.74	c 1001s |      24 |  6416363 |  4895962 |     4900   2463 |        0 |        0
1003.55/1003.76	c 1003s |      24 |  6425763 |  4904262 |     4900   2466 |        0 |        0
1005.54/1005.77	c 1005s |      24 |  6435861 |  4912762 |     4900   2470 |        0 |        0
1007.54/1007.78	c 1007s |      24 |  6446201 |  4921662 |     4900   2473 |        0 |        0
1009.54/1009.78	c 1009s |      24 |  6456209 |  4930462 |     4900   2477 |        0 |        0
1011.63/1011.80	c 1011s |      24 |  6466037 |  4938762 |     4900   2480 |        0 |        0
1013.63/1013.80	c 1013s |      24 |  6475904 |  4947262 |     4900   2483 |        0 |        0
1015.64/1015.80	c 1015s |      24 |  6485612 |  4955462 |     4900   2487 |        0 |        0
1017.64/1017.81	c 1017s |      24 |  6496397 |  4964562 |     4900   2490 |        0 |        0
1019.63/1019.82	c 1019s |      24 |  6506137 |  4972862 |     4900   2494 |        0 |        0
1021.63/1021.84	c 1021s |      24 |  6516192 |  4981262 |     4900   2497 |        0 |        0
1023.63/1023.85	c 1023s |      24 |  6526401 |  4990062 |     4900   2501 |        0 |        0
1025.64/1025.86	c 1025s |      24 |  6536143 |  4998262 |     4900   2504 |        0 |        0
1027.63/1027.87	c 1027s |      24 |  6546458 |  5007262 |     4900   2507 |        0 |        0
1029.64/1029.88	c 1029s |      24 |  6556407 |  5015762 |     4900   2511 |        0 |        0
1031.64/1031.89	c 1031s |      24 |  6566961 |  5024462 |     4900   2514 |        0 |        0
1033.73/1033.91	c 1033s |      24 |  6576943 |  5032862 |     5390   2517 |        0 |        0
1035.73/1035.93	c 1035s |      24 |  6585894 |  5040862 |     5390   2520 |        0 |        0
1037.74/1037.94	c 1037s |      24 |  6595146 |  5048562 |     5390   2523 |        0 |        0
1039.74/1039.95	c 1039s |      24 |  6606279 |  5057162 |     5390   2526 |        0 |        0
1041.53/1041.77	c 1041s |      25 |  6615457 |  5065098 |     5390   2529 |        0 |        0
1043.53/1043.79	c 1043s |      25 |  6625491 |  5072298 |     5390   2532 |        0 |        0
1045.53/1045.79	c 1045s |      25 |  6636212 |  5080398 |     5390   2535 |        0 |        0
1047.64/1047.81	c 1047s |      25 |  6647436 |  5089298 |     5390   2538 |        0 |        0
1049.63/1049.82	c 1049s |      25 |  6659420 |  5097798 |     5390   2541 |        0 |        0
1051.63/1051.83	c 1051s |      25 |  6672923 |  5105998 |     5390   2544 |        0 |        0
1053.63/1053.85	c 1053s |      25 |  6683682 |  5114198 |     5390   2547 |        0 |        0
1055.63/1055.86	c 1055s |      25 |  6694733 |  5122498 |     5390   2550 |        0 |        0
1057.63/1057.87	c 1057s |      25 |  6705490 |  5130698 |     5390   2553 |        0 |        0
1059.63/1059.89	c 1059s |      25 |  6715455 |  5139098 |     5390   2556 |        0 |        0
1061.73/1061.92	c 1061s |      25 |  6726743 |  5148198 |     5390   2560 |        0 |        0
1063.73/1063.93	c 1063s |      25 |  6737008 |  5156798 |     5390   2563 |        0 |        0
1065.72/1065.95	c 1065s |      25 |  6753416 |  5165598 |     5390   2566 |        0 |        0
1067.72/1067.95	c 1067s |      25 |  6768648 |  5174398 |     5390   2569 |        0 |        0
1069.73/1069.96	c 1069s |      25 |  6783514 |  5183598 |     5390   2572 |        0 |        0
1071.74/1071.98	c 1071s |      25 |  6798958 |  5192898 |     5390   2576 |        0 |        0
1073.73/1073.99	c 1073s |      25 |  6811889 |  5202298 |     5390   2579 |        0 |        0
1075.83/1076.03	c 1075s |      25 |  6824840 |  5211398 |     5390   2583 |        0 |        0
1077.83/1078.04	c 1078s |      25 |  6835885 |  5219898 |     5390   2586 |        0 |        0
1079.83/1080.05	c 1080s |      25 |  6850351 |  5228198 |     5390   2589 |        0 |        0
1081.83/1082.06	c 1082s |      25 |  6866537 |  5237498 |     5390   2592 |        0 |        0
1083.84/1084.07	c 1084s |      25 |  6882313 |  5245698 |     5390   2595 |        0 |        0
1085.92/1086.11	c 1086s |      25 |  6895482 |  5254798 |     5390   2599 |        0 |        0
1087.93/1088.13	c 1088s |      25 |  6906903 |  5264098 |     5390   2602 |        0 |        0
1090.02/1090.21	c 1090s |      25 |  6918080 |  5272898 |     5390   2605 |        0 |        0
1092.03/1092.23	c 1092s |      25 |  6929684 |  5282298 |     5390   2609 |        0 |        0
1094.03/1094.23	c 1094s |      25 |  6939591 |  5290498 |     5390   2612 |        0 |        0
1096.03/1096.27	c 1096s |      25 |  6949557 |  5298598 |     5390   2615 |        0 |        0
1098.02/1098.28	c 1098s |      25 |  6962058 |  5307998 |     5390   2618 |        0 |        0
1100.03/1100.28	c 1100s |      25 |  6973820 |  5316698 |     5390   2621 |        0 |        0
1102.02/1102.29	c 1102s |      25 |  6984223 |  5325398 |     5390   2624 |        0 |        0
1104.02/1104.29	c 1104s |      25 |  6996373 |  5334598 |     5390   2628 |        0 |        0
1106.12/1106.30	c 1106s |      25 |  7007688 |  5343998 |     5390   2631 |        0 |        0
1108.13/1108.31	c 1108s |      25 |  7019398 |  5352798 |     5390   2634 |        0 |        0
1110.12/1110.33	c 1110s |      25 |  7029880 |  5361498 |     5390   2638 |        0 |        0
1112.12/1112.34	c 1112s |      25 |  7044054 |  5370598 |     5390   2641 |        0 |        0
1114.12/1114.34	c 1114s |      25 |  7058205 |  5379898 |     5390   2644 |        0 |        0
1116.22/1116.43	c 1116s |      25 |  7069967 |  5388898 |     5390   2648 |        0 |        0
1118.22/1118.43	c 1118s |      25 |  7081552 |  5397898 |     5390   2651 |        0 |        0
1120.23/1120.44	c 1120s |      25 |  7093351 |  5407698 |     5390   2654 |        0 |        0
1122.22/1122.46	c 1122s |      25 |  7102214 |  5415398 |     5390   2657 |        0 |        0
1124.22/1124.46	c 1124s |      25 |  7111266 |  5423598 |     5390   2660 |        0 |        0
1126.22/1126.48	c 1126s |      25 |  7120953 |  5432298 |     5390   2663 |        0 |        0
1128.32/1128.50	c 1128s |      25 |  7130808 |  5440798 |     5390   2667 |        0 |        0
1130.32/1130.52	c 1130s |      25 |  7140696 |  5449598 |     5390   2670 |        0 |        0
1132.32/1132.52	c 1132s |      25 |  7151212 |  5458698 |     5390   2673 |        0 |        0
1134.32/1134.54	c 1134s |      25 |  7161946 |  5467898 |     5390   2677 |        0 |        0
1136.32/1136.55	c 1136s |      25 |  7171092 |  5476198 |     5390   2680 |        0 |        0
1138.32/1138.56	c 1138s |      25 |  7182273 |  5485798 |     5390   2683 |        0 |        0
1140.32/1140.57	c 1140s |      25 |  7193138 |  5495298 |     5390   2687 |        0 |        0
1142.31/1142.58	c 1142s |      25 |  7202705 |  5503698 |     5390   2690 |        0 |        0
1144.32/1144.58	c 1144s |      25 |  7213646 |  5513098 |     5390   2693 |        0 |        0
1146.41/1146.60	c 1146s |      25 |  7223813 |  5521798 |     5390   2696 |        0 |        0
1148.42/1148.60	c 1148s |      25 |  7234622 |  5531198 |     5390   2700 |        0 |        0
1150.41/1150.61	c 1150s |      25 |  7246302 |  5541198 |     5390   2703 |        0 |        0
1152.41/1152.67	c 1152s |      25 |  7256621 |  5550298 |     5390   2707 |        0 |        0
1154.42/1154.67	c 1154s |      25 |  7269122 |  5560798 |     5390   2711 |        0 |        0
1156.42/1156.69	c 1156s |      25 |  7280439 |  5570198 |     5390   2714 |        0 |        0
1158.41/1158.69	c 1158s |      25 |  7290878 |  5579198 |     5390   2717 |        0 |        0
1160.51/1160.77	c 1160s |      25 |  7303105 |  5589098 |     5390   2721 |        0 |        0
1162.51/1162.78	c 1162s |      25 |  7316486 |  5600198 |     5390   2725 |        0 |        0
1164.51/1164.78	c 1164s |      25 |  7327787 |  5609798 |     5390   2729 |        0 |        0
1166.61/1166.80	c 1166s |      25 |  7338611 |  5619398 |     5390   2732 |        0 |        0
1168.62/1168.84	c 1168s |      25 |  7348577 |  5628098 |     5390   2735 |        0 |        0
1170.62/1170.84	c 1170s |      25 |  7360123 |  5637898 |     5390   2739 |        0 |        0
1172.61/1172.85	c 1172s |      25 |  7371703 |  5647398 |     5390   2743 |        0 |        0
1174.71/1174.92	c 1174s |      25 |  7382715 |  5656898 |     5390   2746 |        0 |        0
1176.71/1176.93	c 1176s |      25 |  7394117 |  5666598 |     5390   2750 |        0 |        0
1178.71/1178.93	c 1178s |      25 |  7406300 |  5676998 |     5390   2753 |        0 |        0
1180.72/1180.94	c 1180s |      25 |  7417517 |  5686398 |     5390   2757 |        0 |        0
1182.71/1182.94	c 1182s |      25 |  7429019 |  5695998 |     5390   2760 |        0 |        0
1184.81/1185.03	c 1185s |      25 |  7441658 |  5706698 |     5390   2764 |        0 |        0
1186.81/1187.03	c 1187s |      25 |  7454286 |  5717298 |     5390   2768 |        0 |        0
1188.81/1189.04	c 1189s |      25 |  7465703 |  5726798 |     5390   2772 |        0 |        0
1190.91/1191.12	c 1191s |      25 |  7477274 |  5736798 |     5390   2775 |        0 |        0
1192.91/1193.13	c 1193s |      25 |  7488887 |  5746898 |     5390   2779 |        0 |        0
1194.91/1195.14	c 1195s |      25 |  7499457 |  5755798 |     5390   2782 |        0 |        0
1196.91/1197.16	c 1197s |      25 |  7511190 |  5765798 |     5390   2786 |        0 |        0
1198.91/1199.16	c 1199s |      25 |  7523011 |  5775698 |     5390   2790 |        0 |        0
1200.90/1201.16	c 1201s |      25 |  7533457 |  5784898 |     5390   2793 |        0 |        0
1202.91/1203.18	c 1203s |      25 |  7544740 |  5794698 |     5390   2797 |        0 |        0
1205.01/1205.20	c 1205s |      25 |  7555693 |  5804298 |     5390   2800 |        0 |        0
1207.01/1207.21	c 1207s |      25 |  7566173 |  5812698 |     5390   2803 |        0 |        0
1209.01/1209.25	c 1209s |      25 |  7577760 |  5822598 |     5390   2807 |        0 |        0
1211.01/1211.26	c 1211s |      25 |  7590148 |  5833198 |     5390   2811 |        0 |        0
1213.01/1213.27	c 1213s |      25 |  7601923 |  5843098 |     5390   2815 |        0 |        0
1215.00/1215.27	c 1215s |      25 |  7613712 |  5853298 |     5390   2818 |        0 |        0
1217.01/1217.28	c 1217s |      25 |  7624390 |  5862698 |     5390   2822 |        0 |        0
1219.00/1219.29	c 1219s |      25 |  7635319 |  5871698 |     5390   2825 |        0 |        0
1221.10/1221.30	c 1221s |      25 |  7647518 |  5881898 |     5390   2829 |        0 |        0
1223.11/1223.30	c 1223s |      25 |  7659747 |  5892398 |     5390   2833 |        0 |        0
1225.10/1225.31	c 1225s |      25 |  7670815 |  5901798 |     5390   2836 |        0 |        0
1227.10/1227.32	c 1227s |      25 |  7682365 |  5911498 |     5390   2840 |        0 |        0
1229.11/1229.33	c 1229s |      25 |  7693953 |  5921398 |     5390   2843 |        0 |        0
1231.11/1231.34	c 1231s |      25 |  7705894 |  5931598 |     5390   2847 |        0 |        0
1233.10/1233.35	c 1233s |      25 |  7715683 |  5940198 |     5390   2850 |        0 |        0
1235.10/1235.36	c 1235s |      25 |  7726516 |  5949598 |     5390   2854 |        0 |        0
1237.10/1237.37	c 1237s |      25 |  7738523 |  5960098 |     5390   2858 |        0 |        0
1239.10/1239.38	c 1239s |      25 |  7750102 |  5969698 |     5390   2861 |        0 |        0
1241.11/1241.39	c 1241s |      25 |  7762050 |  5979898 |     5390   2865 |        0 |        0
1243.21/1243.40	c 1243s |      25 |  7774200 |  5990098 |     5390   2869 |        0 |        0
1245.20/1245.41	c 1245s |      25 |  7785626 |  5999698 |     5390   2872 |        0 |        0
1247.20/1247.43	c 1247s |      25 |  7796919 |  6009398 |     5390   2876 |        0 |        0
1249.20/1249.44	c 1249s |      25 |  7808300 |  6019398 |     5390   2880 |        0 |        0
1251.20/1251.45	c 1251s |      25 |  7819803 |  6029398 |     5390   2883 |        0 |        0
1253.30/1253.52	c 1253s |      25 |  7830765 |  6038498 |     5390   2887 |        0 |        0
1255.30/1255.54	c 1255s |      25 |  7843076 |  6048698 |     5390   2890 |        0 |        0
1257.30/1257.55	c 1257s |      25 |  7854452 |  6058398 |     5390   2894 |        0 |        0
1259.30/1259.56	c 1259s |      25 |  7865856 |  6068098 |     5390   2898 |        0 |        0
1261.30/1261.57	c 1261s |      25 |  7877807 |  6077898 |     5390   2901 |        0 |        0
1263.30/1263.58	c 1263s |      25 |  7889081 |  6087298 |     5390   2905 |        0 |        0
1265.30/1265.58	c 1265s |      25 |  7901099 |  6096898 |     5390   2908 |        0 |        0
1267.30/1267.59	c 1267s |      25 |  7913144 |  6107298 |     5390   2912 |        0 |        0
1269.40/1269.60	c 1269s |      25 |  7924861 |  6117098 |     5390   2916 |        0 |        0
1271.40/1271.61	c 1271s |      25 |  7936942 |  6127098 |     5390   2919 |        0 |        0
1273.39/1273.65	c 1273s |      25 |  7948611 |  6136898 |     5390   2923 |        0 |        0
1275.50/1275.75	c 1275s |      25 |  7961617 |  6147698 |     5390   2927 |        0 |        0
1277.60/1277.82	c 1277s |      25 |  7973702 |  6158098 |     5390   2931 |        0 |        0
1279.60/1279.89	c 1279s |      25 |  7985024 |  6167598 |     5390   2934 |        0 |        0
1281.59/1281.89	c 1281s |      25 |  7995556 |  6176798 |     5390   2938 |        0 |        0
1283.70/1283.90	c 1283s |      25 |  8007362 |  6186898 |     5390   2941 |        0 |        0
1285.70/1285.92	c 1285s |      25 |  8018192 |  6196498 |     5390   2945 |        0 |        0
1287.70/1287.92	c 1287s |      25 |  8028483 |  6205398 |     5390   2948 |        0 |        0
1289.69/1289.94	c 1289s |      25 |  8040123 |  6215498 |     5390   2952 |        0 |        0
1291.70/1291.95	c 1291s |      25 |  8050174 |  6224498 |     5390   2955 |        0 |        0
1293.69/1293.95	c 1293s |      25 |  8060349 |  6233398 |     5390   2958 |        0 |        0
1295.70/1295.95	c 1295s |      25 |  8069240 |  6241298 |     5390   2961 |        0 |        0
1297.70/1297.96	c 1297s |      25 |  8078969 |  6249498 |     5390   2964 |        0 |        0
1299.69/1299.97	c 1299s |      25 |  8091059 |  6259398 |     5390   2968 |        0 |        0
1301.70/1301.98	c 1301s |      25 |  8103070 |  6268898 |     5390   2971 |        0 |        0
1303.69/1303.99	c 1303s |      25 |  8115524 |  6279098 |     5390   2975 |        0 |        0
1305.79/1306.00	c 1305s |      25 |  8128032 |  6289298 |     5390   2979 |        0 |        0
1307.80/1308.01	c 1307s |      25 |  8139435 |  6299198 |     5390   2983 |        0 |        0
1309.79/1310.02	c 1309s |      25 |  8151256 |  6309198 |     5390   2986 |        0 |        0
1311.80/1312.03	c 1311s |      25 |  8163557 |  6319498 |     5390   2990 |        0 |        0
1313.80/1314.03	c 1314s |      25 |  8175159 |  6328998 |     5390   2994 |        0 |        0
1315.79/1316.04	c 1316s |      25 |  8185892 |  6337998 |     5390   2997 |        0 |        0
1317.89/1318.14	c 1318s |      25 |  8196297 |  6347198 |     5390   3000 |        0 |        0
1319.89/1320.18	c 1320s |      25 |  8206430 |  6355998 |     5390   3004 |        0 |        0
1321.89/1322.19	c 1322s |      25 |  8217375 |  6365398 |     5390   3007 |        0 |        0
1323.99/1324.20	c 1324s |      25 |  8229156 |  6375298 |     5390   3011 |        0 |        0
1325.99/1326.21	c 1326s |      25 |  8240486 |  6384998 |     5390   3014 |        0 |        0
1328.00/1328.22	c 1328s |      25 |  8251839 |  6394698 |     5390   3018 |        0 |        0
1329.99/1330.23	c 1330s |      25 |  8262491 |  6403998 |     5390   3021 |        0 |        0
1331.99/1332.24	c 1332s |      25 |  8273459 |  6413498 |     5390   3025 |        0 |        0
1334.09/1334.33	c 1334s |      25 |  8284587 |  6422998 |     5390   3028 |        0 |        0
1336.09/1336.34	c 1336s |      25 |  8296197 |  6432798 |     5390   3032 |        0 |        0
1338.09/1338.35	c 1338s |      25 |  8307851 |  6442598 |     5390   3035 |        0 |        0
1340.19/1340.42	c 1340s |      25 |  8318720 |  6451898 |     5390   3039 |        0 |        0
1342.19/1342.42	c 1342s |      25 |  8330520 |  6461798 |     5390   3042 |        0 |        0
1344.19/1344.43	c 1344s |      25 |  8342062 |  6471498 |     5390   3046 |        0 |        0
1346.19/1346.44	c 1346s |      25 |  8353238 |  6481098 |     5390   3050 |        0 |        0
1348.19/1348.47	c 1348s |      25 |  8365806 |  6491898 |     5390   3054 |        0 |        0
1350.18/1350.48	c 1350s |      25 |  8376531 |  6501198 |     5390   3057 |        0 |        0
1352.19/1352.50	c 1352s |      25 |  8387125 |  6510198 |     5390   3060 |        0 |        0
1354.29/1354.51	c 1354s |      25 |  8399421 |  6520398 |     5390   3064 |        0 |        0
1356.29/1356.51	c 1356s |      25 |  8410918 |  6530398 |     5390   3068 |        0 |        0
1358.29/1358.53	c 1358s |      25 |  8421996 |  6540098 |     5390   3071 |        0 |        0
1360.28/1360.53	c 1360s |      25 |  8432828 |  6549098 |     5390   3075 |        0 |        0
1362.28/1362.54	c 1362s |      25 |  8444141 |  6558698 |     5390   3078 |        0 |        0
1364.29/1364.54	c 1364s |      25 |  8453889 |  6567498 |     5390   3081 |        0 |        0
1366.28/1366.54	c 1366s |      25 |  8464791 |  6576698 |     5390   3085 |        0 |        0
1368.29/1368.56	c 1368s |      25 |  8476285 |  6586498 |     5390   3088 |        0 |        0
1370.28/1370.57	c 1370s |      25 |  8486990 |  6595398 |     5390   3092 |        0 |        0
1372.38/1372.60	c 1372s |      25 |  8497582 |  6604298 |     5390   3095 |        0 |        0
1374.38/1374.62	c 1374s |      25 |  8509953 |  6614098 |     5390   3099 |        0 |        0
1376.39/1376.63	c 1376s |      25 |  8522631 |  6624898 |     5390   3102 |        0 |        0
1378.38/1378.64	c 1378s |      25 |  8533976 |  6634198 |     5390   3106 |        0 |        0
1380.39/1380.65	c 1380s |      25 |  8545481 |  6643798 |     5390   3109 |        0 |        0
1382.38/1382.66	c 1382s |      25 |  8555505 |  6652698 |     5390   3113 |        0 |        0
1384.38/1384.68	c 1384s |      25 |  8566990 |  6662598 |     5390   3116 |        0 |        0
1386.38/1386.69	c 1386s |      25 |  8578046 |  6672198 |     5390   3120 |        0 |        0
1388.38/1388.69	c 1388s |      25 |  8589839 |  6682098 |     5390   3124 |        0 |        0
1390.48/1390.71	c 1390s |      25 |  8602606 |  6692798 |     5390   3128 |        0 |        0
1392.48/1392.72	c 1392s |      25 |  8614536 |  6702798 |     5390   3131 |        0 |        0
1394.48/1394.73	c 1394s |      25 |  8626387 |  6712598 |     5390   3135 |        0 |        0
1396.48/1396.73	c 1396s |      25 |  8637667 |  6722098 |     5390   3138 |        0 |        0
1398.49/1398.74	c 1398s |      25 |  8649326 |  6731598 |     5390   3142 |        0 |        0
1400.48/1400.75	c 1400s |      25 |  8660155 |  6740698 |     5390   3145 |        0 |        0
1402.48/1402.76	c 1402s |      25 |  8671721 |  6750698 |     5390   3149 |        0 |        0
1404.48/1404.77	c 1404s |      25 |  8683407 |  6760198 |     5390   3152 |        0 |        0
1406.47/1406.79	c 1406s |      25 |  8694911 |  6770198 |     5390   3156 |        0 |        0
1408.58/1408.80	c 1408s |      25 |  8706402 |  6779598 |     5390   3159 |        0 |        0
1410.58/1410.81	c 1410s |      25 |  8718199 |  6789398 |     5390   3163 |        0 |        0
1412.57/1412.82	c 1412s |      25 |  8729661 |  6798998 |     5390   3167 |        0 |        0
1414.58/1414.84	c 1414s |      25 |  8740865 |  6808498 |     5390   3170 |        0 |        0
1416.58/1416.86	c 1416s |      25 |  8752450 |  6818498 |     5390   3174 |        0 |        0
1418.58/1418.86	c 1418s |      25 |  8763646 |  6827798 |     5390   3177 |        0 |        0
1420.57/1420.87	c 1420s |      25 |  8776256 |  6838498 |     5390   3181 |        0 |        0
1422.58/1422.88	c 1422s |      25 |  8787774 |  6848198 |     5390   3185 |        0 |        0
1424.57/1424.89	c 1424s |      25 |  8799879 |  6858798 |     5390   3189 |        0 |        0
1426.68/1426.93	c 1426s |      25 |  8809292 |  6867098 |     5390   3192 |        0 |        0
1428.67/1428.94	c 1428s |      25 |  8820443 |  6876698 |     5390   3195 |        0 |        0
1430.68/1430.95	c 1430s |      25 |  8831668 |  6885898 |     5390   3199 |        0 |        0
1432.68/1432.96	c 1432s |      25 |  8843446 |  6895398 |     5390   3202 |        0 |        0
1434.68/1434.96	c 1434s |      25 |  8854014 |  6904498 |     5390   3206 |        0 |        0
1436.67/1436.96	c 1436s |      25 |  8865466 |  6914198 |     5390   3209 |        0 |        0
1438.67/1438.98	c 1438s |      25 |  8877516 |  6924398 |     5390   3213 |        0 |        0
1440.68/1440.98	c 1440s |      25 |  8889421 |  6934698 |     5390   3217 |        0 |        0
1442.78/1443.00	c 1442s |      25 |  8901133 |  6944398 |     5390   3220 |        0 |        0
1444.77/1445.01	c 1444s |      25 |  8913465 |  6954998 |     5390   3224 |        0 |        0
1446.77/1447.04	c 1447s |      25 |  8924188 |  6964198 |     5390   3228 |        0 |        0
1448.77/1449.04	c 1449s |      25 |  8935560 |  6973598 |     5390   3231 |        0 |        0
1450.87/1451.10	c 1451s |      25 |  8948106 |  6983898 |     5390   3235 |        0 |        0
1452.87/1453.11	c 1453s |      25 |  8960683 |  6994398 |     5390   3239 |        0 |        0
1454.87/1455.12	c 1455s |      25 |  8972756 |  7004598 |     5390   3242 |        0 |        0
1456.87/1457.17	c 1457s |      25 |  8984662 |  7014698 |     5390   3246 |        0 |        0
1458.88/1459.19	c 1459s |      25 |  8995554 |  7023998 |     5390   3250 |        0 |        0
1460.97/1461.21	c 1461s |      25 |  9007689 |  7034298 |     5390   3253 |        0 |        0
1462.97/1463.21	c 1463s |      25 |  9019865 |  7044298 |     5390   3257 |        0 |        0
1464.96/1465.22	c 1465s |      25 |  9032028 |  7054198 |     5390   3261 |        0 |        0
1466.97/1467.22	c 1467s |      25 |  9043830 |  7063798 |     5390   3264 |        0 |        0
1468.97/1469.25	c 1469s |      25 |  9055444 |  7073798 |     5390   3268 |        0 |        0
1470.97/1471.26	c 1471s |      25 |  9067595 |  7083998 |     5390   3272 |        0 |        0
1472.96/1473.27	c 1473s |      25 |  9079261 |  7093598 |     5390   3275 |        0 |        0
1474.97/1475.29	c 1475s |      25 |  9091460 |  7103598 |     5390   3279 |        0 |        0
1477.07/1477.30	c 1477s |      25 |  9102891 |  7113298 |     5390   3282 |        0 |        0
1479.06/1479.30	c 1479s |      25 |  9115726 |  7123798 |     5390   3286 |        0 |        0
1481.07/1481.32	c 1481s |      25 |  9128321 |  7133298 |     5390   3290 |        0 |        0
1483.07/1483.35	c 1483s |      25 |  9140672 |  7143298 |     5390   3294 |        0 |        0
1485.06/1485.36	c 1485s |      25 |  9152650 |  7153198 |     5390   3297 |        0 |        0
1487.06/1487.37	c 1487s |      25 |  9164849 |  7162998 |     5390   3301 |        0 |        0
1489.06/1489.38	c 1489s |      25 |  9176900 |  7172898 |     5390   3304 |        0 |        0
1491.16/1491.40	c 1491s |      25 |  9188632 |  7182798 |     5390   3308 |        0 |        0
1493.15/1493.42	c 1493s |      25 |  9199772 |  7192198 |     5390   3312 |        0 |        0
1495.16/1495.44	c 1495s |      25 |  9211268 |  7201998 |     5390   3315 |        0 |        0
1497.25/1497.52	c 1497s |      25 |  9222617 |  7212098 |     5390   3319 |        0 |        0
1499.26/1499.53	c 1499s |      25 |  9234404 |  7222098 |     5390   3323 |        0 |        0
1501.25/1501.54	c 1501s |      25 |  9244577 |  7230898 |     5390   3326 |        0 |        0
1503.25/1503.56	c 1503s |      25 |  9255660 |  7240398 |     5390   3329 |        0 |        0
1505.35/1505.63	c 1505s |      25 |  9266512 |  7249598 |     5390   3333 |        0 |        0
1507.35/1507.64	c 1507s |      25 |  9277824 |  7259098 |     5390   3336 |        0 |        0
1509.35/1509.66	c 1509s |      25 |  9289870 |  7269298 |     5390   3340 |        0 |        0
1511.35/1511.67	c 1511s |      25 |  9300872 |  7278598 |     5390   3343 |        0 |        0
1513.34/1513.67	c 1513s |      25 |  9312157 |  7287898 |     5390   3347 |        0 |        0
1515.44/1515.74	c 1515s |      25 |  9325060 |  7297998 |     5390   3351 |        0 |        0
1517.44/1517.74	c 1517s |      25 |  9336799 |  7308098 |     5390   3354 |        0 |        0
1519.45/1519.75	c 1519s |      25 |  9348340 |  7317198 |     5390   3358 |        0 |        0
1521.45/1521.76	c 1521s |      25 |  9359080 |  7326298 |     5390   3361 |        0 |        0
1523.44/1523.77	c 1523s |      25 |  9370732 |  7335998 |     5390   3365 |        0 |        0
1525.44/1525.78	c 1525s |      25 |  9382988 |  7346098 |     5390   3368 |        0 |        0
1527.44/1527.79	c 1527s |      25 |  9393190 |  7354898 |     5390   3372 |        0 |        0
1529.54/1529.80	c 1529s |      25 |  9405731 |  7364798 |     5390   3375 |        0 |        0
1531.54/1531.81	c 1531s |      25 |  9417495 |  7374698 |     5390   3379 |        0 |        0
1533.53/1533.82	c 1533s |      25 |  9429828 |  7384998 |     5390   3383 |        0 |        0
1535.54/1535.82	c 1535s |      25 |  9440380 |  7394098 |     5390   3386 |        0 |        0
1537.54/1537.84	c 1537s |      25 |  9450661 |  7402798 |     5390   3389 |        0 |        0
1539.53/1539.86	c 1539s |      25 |  9461520 |  7411698 |     5390   3392 |        0 |        0
1541.53/1541.87	c 1541s |      25 |  9473082 |  7421198 |     5390   3396 |        0 |        0
1543.63/1543.92	c 1543s |      25 |  9485408 |  7430998 |     5390   3400 |        0 |        0
1545.63/1545.93	c 1545s |      25 |  9497099 |  7440898 |     5390   3403 |        0 |        0
1547.62/1547.95	c 1547s |      25 |  9507841 |  7448998 |     5390   3406 |        0 |        0
1549.63/1549.98	c 1549s |      25 |  9519355 |  7458198 |     5390   3410 |        0 |        0
1551.62/1551.99	c 1551s |      25 |  9532312 |  7468398 |     5390   3413 |        0 |        0
1553.62/1553.99	c 1553s |      25 |  9543432 |  7477198 |     5390   3417 |        0 |        0
1555.63/1555.99	c 1555s |      25 |  9555605 |  7486898 |     5390   3420 |        0 |        0
1557.73/1558.01	c 1557s |      25 |  9566150 |  7495698 |     5390   3423 |        0 |        0
1559.72/1560.01	c 1559s |      25 |  9578058 |  7505398 |     5390   3427 |        0 |        0
1561.73/1562.03	c 1562s |      25 |  9589779 |  7515198 |     5390   3431 |        0 |        0
1563.72/1564.04	c 1564s |      25 |  9601954 |  7525098 |     5390   3434 |        0 |        0
1565.72/1566.06	c 1566s |      25 |  9612045 |  7533598 |     5390   3437 |        0 |        0
1567.73/1568.07	c 1568s |      25 |  9624265 |  7543298 |     5390   3441 |        0 |        0
1569.73/1570.08	c 1570s |      25 |  9635452 |  7552498 |     5930   3444 |        0 |        0
1571.72/1572.09	c 1572s |      25 |  9646743 |  7561698 |     5930   3447 |        0 |        0
1573.81/1574.10	c 1574s |      25 |  9658703 |  7570898 |     5930   3450 |        0 |        0
1575.82/1576.11	c 1576s |      25 |  9671009 |  7581098 |     5930   3453 |        0 |        0
1577.82/1578.11	c 1578s |      25 |  9680854 |  7588798 |     5930   3456 |        0 |        0
1579.72/1580.06	c 1580s |      26 |  9691497 |  7597752 |     5930   3459 |        0 |        0
1581.71/1582.06	c 1582s |      26 |  9698939 |  7604652 |     5930   3461 |        0 |        0
1583.71/1584.08	c 1584s |      26 |  9706814 |  7611852 |     5930   3464 |        0 |        0
1585.81/1586.10	c 1586s |      26 |  9715919 |  7619952 |     5930   3466 |        0 |        0
1587.82/1588.17	c 1588s |      26 |  9726336 |  7628952 |     5930   3469 |        0 |        0
1589.82/1590.17	c 1590s |      26 |  9738107 |  7638652 |     5930   3473 |        0 |        0
1591.80/1592.17	c 1592s |      26 |  9749342 |  7648152 |     5930   3476 |        0 |        0
1593.81/1594.18	c 1594s |      26 |  9759322 |  7656952 |     5930   3479 |        0 |        0
1595.81/1596.18	c 1596s |      26 |  9769645 |  7665852 |     5930   3482 |        0 |        0
1597.81/1598.19	c 1598s |      26 |  9780936 |  7675352 |     5930   3485 |        0 |        0
1599.91/1600.21	c 1600s |      26 |  9792300 |  7684552 |     5930   3488 |        0 |        0
1601.91/1602.22	c 1602s |      26 |  9803626 |  7694152 |     5930   3491 |        0 |        0
1603.90/1604.24	c 1604s |      26 |  9814584 |  7703652 |     5930   3494 |        0 |        0
1605.90/1606.24	c 1606s |      26 |  9825873 |  7712952 |     5930   3497 |        0 |        0
1607.90/1608.25	c 1608s |      26 |  9837318 |  7722552 |     5930   3501 |        0 |        0
1609.90/1610.25	c 1610s |      26 |  9848715 |  7732352 |     5930   3504 |        0 |        0
1611.90/1612.25	c 1612s |      26 |  9858449 |  7740852 |     5930   3507 |        0 |        0
1613.90/1614.26	c 1614s |      26 |  9868495 |  7749552 |     5930   3510 |        0 |        0
1615.90/1616.27	c 1616s |      26 |  9878749 |  7758452 |     5930   3513 |        0 |        0
1617.89/1618.27	c 1618s |      26 |  9889833 |  7767952 |     5930   3516 |        0 |        0
1619.89/1620.28	c 1620s |      26 |  9900340 |  7777152 |     5930   3519 |        0 |        0
1621.89/1622.29	c 1622s |      26 |  9910886 |  7785952 |     5930   3522 |        0 |        0
1623.99/1624.30	c 1624s |      26 |  9922151 |  7795352 |     5930   3525 |        0 |        0
1625.89/1626.30	c 1626s |      26 |  9933335 |  7804352 |     5930   3528 |        0 |        0
1627.99/1628.31	c 1628s |      26 |  9945288 |  7814452 |     5930   3531 |        0 |        0
1629.98/1630.31	c 1630s |      26 |  9956704 |  7823952 |     5930   3535 |        0 |        0
1631.98/1632.33	c 1632s |      26 |  9968151 |  7833752 |     5930   3538 |        0 |        0
1634.08/1634.43	c 1634s |      26 |  9979028 |  7843252 |     5930   3541 |        0 |        0
1636.08/1636.48	c 1636s |      26 |  9991267 |  7853752 |     5930   3545 |        0 |        0
1638.09/1638.49	c 1638s |      26 | 10001570 |  7862552 |     5930   3548 |        0 |        0
1640.18/1640.58	c 1640s |      26 | 10012578 |  7872252 |     5930   3551 |        0 |        0
1642.18/1642.58	c 1642s |      26 | 10023761 |  7881952 |     5930   3554 |        0 |        0
1644.19/1644.59	c 1644s |      26 | 10033327 |  7890452 |     5930   3557 |        0 |        0
1646.38/1646.70	c 1646s |      26 | 10044067 |  7899752 |     5930   3560 |        0 |        0
1648.38/1648.72	c 1648s |      26 | 10053010 |  7907552 |     5930   3563 |        0 |        0
1650.38/1650.73	c 1650s |      26 | 10064933 |  7917852 |     5930   3566 |        0 |        0
1652.38/1652.74	c 1652s |      26 | 10075351 |  7926752 |     5930   3569 |        0 |        0
1654.38/1654.75	c 1654s |      26 | 10086482 |  7936252 |     5930   3572 |        0 |        0
1656.38/1656.76	c 1656s |      26 | 10097599 |  7945852 |     5930   3575 |        0 |        0
1658.47/1658.81	c 1658s |      26 | 10108210 |  7955052 |     5930   3579 |        0 |        0
1660.48/1660.82	c 1660s |      26 | 10119102 |  7964552 |     5930   3582 |        0 |        0
1662.47/1662.82	c 1662s |      26 | 10128463 |  7972952 |     5930   3585 |        0 |        0
1664.48/1664.82	c 1664s |      26 | 10139046 |  7981752 |     5930   3587 |        0 |        0
1666.48/1666.83	c 1666s |      26 | 10149034 |  7990652 |     5930   3590 |        0 |        0
1668.47/1668.84	c 1668s |      26 | 10158552 |  7999052 |     5930   3593 |        0 |        0
1670.47/1670.86	c 1670s |      26 | 10167504 |  8007152 |     5930   3596 |        0 |        0
1672.47/1672.86	c 1672s |      26 | 10177122 |  8015552 |     5930   3599 |        0 |        0
1674.47/1674.87	c 1674s |      26 | 10187726 |  8024652 |     5930   3602 |        0 |        0
1676.47/1676.89	c 1676s |      26 | 10198758 |  8034252 |     5930   3605 |        0 |        0
1678.57/1678.90	c 1678s |      26 | 10208170 |  8042752 |     5930   3608 |        0 |        0
1680.56/1680.91	c 1680s |      26 | 10217837 |  8051152 |     5930   3611 |        0 |        0
1682.56/1682.93	c 1682s |      26 | 10226574 |  8059152 |     5930   3613 |        0 |        0
1684.57/1684.93	c 1684s |      26 | 10237211 |  8068352 |     5930   3616 |        0 |        0
1686.57/1686.94	c 1686s |      26 | 10246045 |  8076352 |     5930   3619 |        0 |        0
1688.57/1688.97	c 1688s |      26 | 10253823 |  8083352 |     5930   3621 |        0 |        0
1690.56/1690.98	c 1690s |      26 | 10264851 |  8092852 |     5930   3625 |        0 |        0
1692.65/1693.00	c 1692s |      26 | 10274872 |  8101452 |     5930   3628 |        0 |        0
1694.66/1695.01	c 1694s |      26 | 10285972 |  8110952 |     5930   3631 |        0 |        0
1696.65/1697.03	c 1696s |      26 | 10296457 |  8120152 |     5930   3634 |        0 |        0
1698.67/1699.03	c 1698s |      26 | 10305543 |  8128152 |     5930   3636 |        0 |        0
1700.66/1701.04	c 1701s |      26 | 10316759 |  8137752 |     5930   3640 |        0 |        0
1702.76/1703.15	c 1703s |      26 | 10326598 |  8146452 |     5930   3643 |        0 |        0
1704.75/1705.18	c 1705s |      26 | 10337819 |  8155552 |     5930   3646 |        0 |        0
1706.75/1707.18	c 1707s |      26 | 10348729 |  8164952 |     5930   3649 |        0 |        0
1708.75/1709.19	c 1709s |      26 | 10358889 |  8173652 |     5930   3652 |        0 |        0
1710.85/1711.20	c 1711s |      26 | 10370744 |  8183452 |     5930   3655 |        0 |        0
1712.85/1713.20	c 1713s |      26 | 10382701 |  8193352 |     5930   3658 |        0 |        0
1714.84/1715.23	c 1715s |      26 | 10394201 |  8203252 |     5930   3662 |        0 |        0
1716.84/1717.23	c 1717s |      26 | 10404744 |  8212152 |     5930   3665 |        0 |        0
1718.84/1719.24	c 1719s |      26 | 10415235 |  8220952 |     5930   3668 |        0 |        0
1720.84/1721.24	c 1721s |      26 | 10427337 |  8231052 |     5930   3671 |        0 |        0
1722.84/1723.24	c 1723s |      26 | 10437673 |  8239752 |     5930   3674 |        0 |        0
1724.84/1725.25	c 1725s |      26 | 10450193 |  8249452 |     5930   3677 |        0 |        0
1726.83/1727.27	c 1727s |      26 | 10460970 |  8258652 |     5930   3680 |        0 |        0
1728.83/1729.28	c 1729s |      26 | 10471972 |  8268052 |     5930   3683 |        0 |        0
1730.94/1731.30	c 1731s |      26 | 10482982 |  8277152 |     5930   3686 |        0 |        0
1732.93/1733.33	c 1733s |      26 | 10493142 |  8285752 |     5930   3689 |        0 |        0
1734.94/1735.37	c 1735s |      26 | 10504836 |  8295552 |     5930   3693 |        0 |        0
1736.93/1737.37	c 1737s |      26 | 10516384 |  8304852 |     5930   3696 |        0 |        0
1738.93/1739.38	c 1739s |      26 | 10528370 |  8314752 |     5930   3699 |        0 |        0
1740.93/1741.39	c 1741s |      26 | 10539740 |  8324452 |     5930   3702 |        0 |        0
1743.02/1743.41	c 1743s |      26 | 10550362 |  8333352 |     5930   3705 |        0 |        0
1745.02/1745.41	c 1745s |      26 | 10560483 |  8342152 |     5930   3708 |        0 |        0
1747.03/1747.42	c 1747s |      26 | 10571828 |  8351652 |     5930   3711 |        0 |        0
1749.02/1749.44	c 1749s |      26 | 10583399 |  8361252 |     5930   3714 |        0 |        0
1751.03/1751.44	c 1751s |      26 | 10593824 |  8369952 |     5930   3717 |        0 |        0
1753.02/1753.45	c 1753s |      26 | 10604051 |  8378852 |     5930   3720 |        0 |        0
1755.22/1755.67	c 1755s |      26 | 10615462 |  8388652 |     5930   3724 |        0 |        0
1757.22/1757.67	c 1757s |      26 | 10625895 |  8397652 |     5930   3727 |        0 |        0
1759.32/1759.70	c 1759s |      26 | 10634709 |  8405452 |     5930   3729 |        0 |        0
1761.22/1761.70	c 1761s |      26 | 10645812 |  8414952 |     5930   3732 |        0 |        0
1763.32/1763.77	c 1763s |      26 | 10655568 |  8423552 |     5930   3735 |        0 |        0
1765.32/1765.77	c 1765s |      26 | 10666528 |  8432552 |     5930   3738 |        0 |        0
1767.32/1767.78	c 1767s |      26 | 10678326 |  8442652 |     5930   3742 |        0 |        0
1769.31/1769.79	c 1769s |      26 | 10689671 |  8452252 |     5930   3745 |        0 |        0
1771.41/1771.80	c 1771s |      26 | 10701550 |  8462152 |     5930   3748 |        0 |        0
1773.41/1773.81	c 1773s |      26 | 10713881 |  8472652 |     5930   3752 |        0 |        0
1775.41/1775.82	c 1775s |      26 | 10723533 |  8480752 |     5930   3755 |        0 |        0
1777.41/1777.83	c 1777s |      26 | 10734566 |  8489852 |     5930   3758 |        0 |        0
1779.41/1779.83	c 1779s |      26 | 10745829 |  8499252 |     5930   3761 |        0 |        0
1781.40/1781.84	c 1781s |      26 | 10756028 |  8508052 |     5930   3764 |        0 |        0
1783.41/1783.89	c 1783s |      26 | 10767231 |  8517652 |     5930   3767 |        0 |        0
1785.41/1785.90	c 1785s |      26 | 10777905 |  8527052 |     5930   3770 |        0 |        0
1787.50/1787.91	c 1787s |      26 | 10787716 |  8535752 |     5930   3773 |        0 |        0
1789.50/1789.92	c 1789s |      26 | 10795035 |  8542452 |     5930   3775 |        0 |        0
1791.50/1791.92	c 1791s |      26 | 10802226 |  8549052 |     5930   3777 |        0 |        0
1793.50/1793.92	c 1793s |      26 | 10810974 |  8556752 |     5930   3780 |        0 |        0
1795.49/1795.93	c 1795s |      26 | 10820846 |  8565352 |     5930   3783 |        0 |        0
1797.50/1797.94	c 1797s |      26 | 10831284 |  8574652 |     5930   3786 |        0 |        0
1799.50/1799.97	c 1799s |      26 | 10839724 |  8582252 |     5930   3788 |        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-4107012-1466281015/watcher-4107012-1466281015 -o /tmp/evaluation-result-4107012-1466281015/solver-4107012-1466281015 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466275608-10488 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107012-1466281015.opb 

pid=11284
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.30 2.35 4/179 11287
/proc/meminfo: memFree=29058216/32872528 swapFree=17888/1798212
[pid=11287] ppid=11284 vsize=698812 CPUtime=0 cores=0,2,4,6
/proc/11287/stat : 11287 (toysat) R 11284 11287 10472 0 -1 4202496 2601 0 0 0 0 0 0 0 20 0 4 0 30148590 715583488 3472 33554432000 4194304 16246674 140735852934928 140735852934352 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11287/statm: 175215 3483 441 2943 0 172109 0
[pid=11287/tid=11288] ppid=11284 vsize=716220 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11288/stat : 11288 (toysat) S 11284 11287 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148590 733409280 3542 33554432000 4194304 16246674 140735852934928 140043310050544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11287/tid=11289] ppid=11284 vsize=721340 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11289/stat : 11289 (toysat) S 11284 11287 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148590 738652160 3560 33554432000 4194304 16246674 140735852934928 140043299560688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11287/tid=11290] ppid=11284 vsize=725436 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11290/stat : 11290 (toysat) S 11284 11287 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30148590 742846464 3579 33554432000 4194304 16246674 140735852934928 140043180043440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.23 2.30 2.35 4/179 11287
/proc/meminfo: memFree=29058216/32872528 swapFree=17888/1798212
[pid=11287] ppid=11284 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/11287/stat : 11287 (toysat) R 11284 11287 10472 0 -1 4202496 25755 0 0 0 6 3 0 0 20 0 4 0 30148590 1247350784 26615 33554432000 4194304 16246674 140735852934928 140735852934352 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11287/statm: 304529 26620 719 2943 0 301423 0
[pid=11287/tid=11288] ppid=11284 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11288/stat : 11288 (toysat) S 11284 11287 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148590 1247350784 26627 33554432000 4194304 16246674 140735852934928 140043310050544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11287/tid=11289] ppid=11284 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11289/stat : 11289 (toysat) S 11284 11287 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148590 1247350784 26632 33554432000 4194304 16246674 140735852934928 140043299560688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11287/tid=11290] ppid=11284 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11290/stat : 11290 (toysat) S 11284 11287 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30148590 1247350784 26637 33554432000 4194304 16246674 140735852934928 140043180043440 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.200518 s]
/proc/loadavg: 2.23 2.30 2.35 4/179 11287
/proc/meminfo: memFree=29058216/32872528 swapFree=17888/1798212
[pid=11287] ppid=11284 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/11287/stat : 11287 (toysat) R 11284 11287 10472 0 -1 4202496 48848 0 0 0 12 7 0 0 20 0 4 0 30148590 1247350784 49708 33554432000 4194304 16246674 140735852934928 140735852934352 13954410 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11287/statm: 304529 49717 726 2943 0 301423 0
[pid=11287/tid=11288] ppid=11284 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11288/stat : 11288 (toysat) S 11284 11287 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148590 1247350784 49722 33554432000 4194304 16246674 140735852934928 140043310050544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11287/tid=11289] ppid=11284 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11289/stat : 11289 (toysat) S 11284 11287 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148590 1247350784 49727 33554432000 4194304 16246674 140735852934928 140043299560688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11287/tid=11290] ppid=11284 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11290/stat : 11290 (toysat) S 11284 11287 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30148590 1247350784 49733 33554432000 4194304 16246674 140735852934928 140043180043440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300497 s]
/proc/loadavg: 2.23 2.30 2.35 4/179 11287
/proc/meminfo: memFree=29058216/32872528 swapFree=17888/1798212
[pid=11287] ppid=11284 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/11287/stat : 11287 (toysat) R 11284 11287 10472 0 -1 4202496 71027 0 0 0 19 10 0 0 20 0 4 0 30148590 1247350784 71888 33554432000 4194304 16246674 140735852934928 140735852934352 5677277 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11287/statm: 304529 71896 726 2943 0 301423 0
[pid=11287/tid=11288] ppid=11284 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11288/stat : 11288 (toysat) S 11284 11287 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148590 1247350784 71905 33554432000 4194304 16246674 140735852934928 140043310050544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11287/tid=11289] ppid=11284 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11289/stat : 11289 (toysat) S 11284 11287 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148590 1247350784 71915 33554432000 4194304 16246674 140735852934928 140043299560688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11287/tid=11290] ppid=11284 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11290/stat : 11290 (toysat) S 11284 11287 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30148590 1247350784 71924 33554432000 4194304 16246674 140735852934928 140043180043440 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.700438 s]
/proc/loadavg: 2.23 2.30 2.35 4/179 11287
/proc/meminfo: memFree=29058216/32872528 swapFree=17888/1798212
[pid=11287] ppid=11284 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/11287/stat : 11287 (toysat) R 11284 11287 10472 0 -1 4202496 158936 0 0 0 44 25 0 0 20 0 4 0 30148590 1247350784 159796 33554432000 4194304 16246674 140735852934928 140735852934352 5707789 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11287/statm: 304529 159809 726 2943 0 301423 0
[pid=11287/tid=11288] ppid=11284 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11288/stat : 11288 (toysat) S 11284 11287 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148590 1247350784 159818 33554432000 4194304 16246674 140735852934928 140043310050544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11287/tid=11289] ppid=11284 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11289/stat : 11289 (toysat) S 11284 11287 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148590 1247350784 159826 33554432000 4194304 16246674 140735852934928 140043299560688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11287/tid=11290] ppid=11284 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11290/stat : 11290 (toysat) S 11284 11287 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30148590 1247350784 159830 33554432000 4194304 16246674 140735852934928 140043180043440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50045 s]
/proc/loadavg: 2.23 2.30 2.35 4/183 11291
/proc/meminfo: memFree=28067512/32872528 swapFree=17888/1798212
[pid=11287] ppid=11284 vsize=1220164 CPUtime=1.49 cores=0,2,4,6
/proc/11287/stat : 11287 (toysat) R 11284 11287 10472 0 -1 4202496 245859 0 0 0 110 39 0 0 20 0 4 0 30148590 1249447936 246699 33554432000 4194304 16246674 140735852934928 140735852934240 5823271 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11287/statm: 305041 246699 797 2943 0 301935 0
[pid=11287/tid=11288] ppid=11284 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11288/stat : 11288 (toysat) S 11284 11287 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148590 1249447936 246699 33554432000 4194304 16246674 140735852934928 140043310050544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11287/tid=11289] ppid=11284 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11289/stat : 11289 (toysat) S 11284 11287 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148590 1249447936 246699 33554432000 4194304 16246674 140735852934928 140043299560688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11287/tid=11290] ppid=11284 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11290/stat : 11290 (toysat) S 11284 11287 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30148590 1249447936 246699 33554432000 4194304 16246674 140735852934928 140043180043440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1220164

[startup+3.10043 s]
/proc/loadavg: 2.23 2.30 2.35 3/183 11291
/proc/meminfo: memFree=27979716/32872528 swapFree=17888/1798212
[pid=11287] ppid=11284 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/11287/stat : 11287 (toysat) R 11284 11287 10472 0 -1 4202496 267538 0 0 0 257 52 0 0 20 0 4 0 30148590 1337528320 268378 33554432000 4194304 16246674 140735852934928 140735852917928 5823765 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11287/statm: 326545 268378 797 2943 0 323439 0
[pid=11287/tid=11288] ppid=11284 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11288/stat : 11288 (toysat) S 11284 11287 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148590 1337528320 268378 33554432000 4194304 16246674 140735852934928 140043310050544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11287/tid=11289] ppid=11284 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11289/stat : 11289 (toysat) S 11284 11287 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148590 1337528320 268378 33554432000 4194304 16246674 140735852934928 140043299560688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11287/tid=11290] ppid=11284 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11290/stat : 11290 (toysat) S 11284 11287 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30148590 1337528320 268378 33554432000 4194304 16246674 140735852934928 140043180043440 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.30046 s]
/proc/loadavg: 2.21 2.29 2.35 3/183 11291
/proc/meminfo: memFree=27967472/32872528 swapFree=17888/1798212
[pid=11287] ppid=11284 vsize=1312324 CPUtime=6.29 cores=0,2,4,6
/proc/11287/stat : 11287 (toysat) R 11284 11287 10472 0 -1 4202496 268975 0 0 0 554 75 0 0 20 0 4 0 30148590 1343819776 269815 33554432000 4194304 16246674 140735852934928 140735852916800 5672160 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11287/statm: 328081 269815 798 2943 0 324975 0
[pid=11287/tid=11288] ppid=11284 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11288/stat : 11288 (toysat) S 11284 11287 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148590 1343819776 269815 33554432000 4194304 16246674 140735852934928 140043310050544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11287/tid=11289] ppid=11284 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11289/stat : 11289 (toysat) S 11284 11287 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148590 1343819776 269815 33554432000 4194304 16246674 140735852934928 140043299560688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11287/tid=11290] ppid=11284 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11290/stat : 11290 (toysat) S 11284 11287 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30148590 1343819776 269815 33554432000 4194304 16246674 140735852934928 140043180043440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7074 s]
/proc/loadavg: 2.20 2.29 2.35 3/183 11291
/proc/meminfo: memFree=27965808/32872528 swapFree=17888/1798212
[pid=11287] ppid=11284 vsize=1312324 CPUtime=12.7 cores=0,2,4,6
/proc/11287/stat : 11287 (toysat) R 11284 11287 10472 0 -1 4202496 269115 0 0 0 1149 121 0 0 20 0 4 0 30148590 1343819776 269955 33554432000 4194304 16246674 140735852934928 140735852916800 5661285 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11287/statm: 328081 269955 798 2943 0 324975 0
[pid=11287/tid=11288] ppid=11284 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11288/stat : 11288 (toysat) S 11284 11287 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148590 1343819776 269955 33554432000 4194304 16246674 140735852934928 140043310050544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11287/tid=11289] ppid=11284 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11289/stat : 11289 (toysat) S 11284 11287 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148590 1343819776 269955 33554432000 4194304 16246674 140735852934928 140043299560688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11287/tid=11290] ppid=11284 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11290/stat : 11290 (toysat) S 11284 11287 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30148590 1343819776 269955 33554432000 4194304 16246674 140735852934928 140043180043440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 1312324

[startup+25.5004 s]
/proc/loadavg: 2.22 2.29 2.35 4/183 11291
/proc/meminfo: memFree=27965120/32872528 swapFree=17888/1798212
[pid=11287] ppid=11284 vsize=1317444 CPUtime=25.49 cores=0,2,4,6
/proc/11287/stat : 11287 (toysat) R 11284 11287 10472 0 -1 4202496 270395 0 0 0 2329 220 0 0 20 0 4 0 30148590 1349062656 271235 33554432000 4194304 16246674 140735852934928 140735852917928 5546005 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11287/statm: 329361 271235 798 2943 0 326255 0
[pid=11287/tid=11288] ppid=11284 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11288/stat : 11288 (toysat) S 11284 11287 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148590 1349062656 271235 33554432000 4194304 16246674 140735852934928 140043310050544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11287/tid=11289] ppid=11284 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11289/stat : 11289 (toysat) S 11284 11287 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148590 1349062656 271235 33554432000 4194304 16246674 140735852934928 140043299560688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11287/tid=11290] ppid=11284 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11290/stat : 11290 (toysat) S 11284 11287 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30148590 1349062656 271235 33554432000 4194304 16246674 140735852934928 140043180043440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1317444

[startup+51.1004 s]
/proc/loadavg: 2.27 2.30 2.35 3/183 11291
/proc/meminfo: memFree=27955832/32872528 swapFree=17888/1798212
[pid=11287] ppid=11284 vsize=1319492 CPUtime=51.09 cores=0,2,4,6
/proc/11287/stat : 11287 (toysat) R 11284 11287 10472 0 -1 4202496 270907 0 0 0 4707 402 0 0 20 0 4 0 30148590 1351159808 271747 33554432000 4194304 16246674 140735852934928 140735852916800 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11287/statm: 329873 271747 798 2943 0 326767 0
[pid=11287/tid=11288] ppid=11284 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11288/stat : 11288 (toysat) S 11284 11287 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148590 1351159808 271747 33554432000 4194304 16246674 140735852934928 140043310050544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11287/tid=11289] ppid=11284 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11289/stat : 11289 (toysat) S 11284 11287 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148590 1351159808 271747 33554432000 4194304 16246674 140735852934928 140043299560688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11287/tid=11290] ppid=11284 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11290/stat : 11290 (toysat) S 11284 11287 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30148590 1351159808 271747 33554432000 4194304 16246674 140735852934928 140043180043440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1319492

[startup+102.3 s]
/proc/loadavg: 2.31 2.31 2.35 3/183 11292
/proc/meminfo: memFree=27952856/32872528 swapFree=17888/1798212
[pid=11287] ppid=11284 vsize=1319492 CPUtime=102.27 cores=0,2,4,6
/proc/11287/stat : 11287 (toysat) R 11284 11287 10472 0 -1 4202496 270907 0 0 0 9458 769 0 0 20 0 4 0 30148590 1351159808 271747 33554432000 4194304 16246674 140735852934928 140735852916800 5523192 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11287/statm: 329873 271747 798 2943 0 326767 0
[pid=11287/tid=11288] ppid=11284 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11288/stat : 11288 (toysat) S 11284 11287 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148590 1351159808 271747 33554432000 4194304 16246674 140735852934928 140043310050544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11287/tid=11289] ppid=11284 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11289/stat : 11289 (toysat) S 11284 11287 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148590 1351159808 271747 33554432000 4194304 16246674 140735852934928 140043299560688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11287/tid=11290] ppid=11284 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11290/stat : 11290 (toysat) S 11284 11287 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30148590 1351159808 271747 33554432000 4194304 16246674 140735852934928 140043180043440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1319492


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

/proc/11287/task/11290/stat : 11290 (toysat) S 11284 11287 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30148590 1363742720 274821 33554432000 4194304 16246674 140735852934928 140043180043440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1331780

[startup+1302.3 s]
/proc/loadavg: 2.26 2.25 2.27 3/183 11322
/proc/meminfo: memFree=27921960/32872528 swapFree=17888/1798212
[pid=11287] ppid=11284 vsize=1331780 CPUtime=1302.1 cores=0,2,4,6
/proc/11287/stat : 11287 (toysat) R 11284 11287 10472 0 -1 4202496 273981 0 0 0 121998 8212 0 0 20 0 4 0 30148590 1363742720 274821 33554432000 4194304 16246674 140735852934928 140735852916800 5523652 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11287/statm: 332945 274821 800 2943 0 329839 0
[pid=11287/tid=11288] ppid=11284 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11288/stat : 11288 (toysat) S 11284 11287 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148590 1363742720 274821 33554432000 4194304 16246674 140735852934928 140043310050544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11287/tid=11289] ppid=11284 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11289/stat : 11289 (toysat) S 11284 11287 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148590 1363742720 274821 33554432000 4194304 16246674 140735852934928 140043299560688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11287/tid=11290] ppid=11284 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11290/stat : 11290 (toysat) S 11284 11287 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30148590 1363742720 274821 33554432000 4194304 16246674 140735852934928 140043180043440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 1331780

[startup+1362.3 s]
/proc/loadavg: 2.13 2.22 2.26 3/183 11323
/proc/meminfo: memFree=27921984/32872528 swapFree=17888/1798212
[pid=11287] ppid=11284 vsize=1331780 CPUtime=1362.1 cores=0,2,4,6
/proc/11287/stat : 11287 (toysat) R 11284 11287 10472 0 -1 4202496 273981 0 0 0 127602 8608 0 0 20 0 4 0 30148590 1363742720 274821 33554432000 4194304 16246674 140735852934928 140735852917928 5808149 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11287/statm: 332945 274821 800 2943 0 329839 0
[pid=11287/tid=11288] ppid=11284 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11288/stat : 11288 (toysat) S 11284 11287 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148590 1363742720 274821 33554432000 4194304 16246674 140735852934928 140043310050544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11287/tid=11289] ppid=11284 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11289/stat : 11289 (toysat) S 11284 11287 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148590 1363742720 274821 33554432000 4194304 16246674 140735852934928 140043299560688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11287/tid=11290] ppid=11284 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11290/stat : 11290 (toysat) S 11284 11287 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30148590 1363742720 274821 33554432000 4194304 16246674 140735852934928 140043180043440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1362.1
Current children cumulated vsize (KiB) 1331780

[startup+1422.3 s]
/proc/loadavg: 2.25 2.24 2.26 3/184 11327
/proc/meminfo: memFree=27921280/32872528 swapFree=17888/1798212
[pid=11287] ppid=11284 vsize=1331780 CPUtime=1422.07 cores=0,2,4,6
/proc/11287/stat : 11287 (toysat) R 11284 11287 10472 0 -1 4202496 273981 0 0 0 133227 8980 0 0 20 0 4 0 30148590 1363742720 274821 33554432000 4194304 16246674 140735852934928 140735852934024 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11287/statm: 332945 274821 800 2943 0 329839 0
[pid=11287/tid=11288] ppid=11284 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11288/stat : 11288 (toysat) S 11284 11287 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148590 1363742720 274821 33554432000 4194304 16246674 140735852934928 140043310050544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11287/tid=11289] ppid=11284 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11289/stat : 11289 (toysat) S 11284 11287 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148590 1363742720 274821 33554432000 4194304 16246674 140735852934928 140043299560688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11287/tid=11290] ppid=11284 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11290/stat : 11290 (toysat) S 11284 11287 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30148590 1363742720 274821 33554432000 4194304 16246674 140735852934928 140043180043440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1331780

[startup+1482.31 s]
/proc/loadavg: 2.32 2.26 2.27 3/182 11328
/proc/meminfo: memFree=27915368/32872528 swapFree=17888/1798212
[pid=11287] ppid=11284 vsize=1331780 CPUtime=1482.07 cores=0,2,4,6
/proc/11287/stat : 11287 (toysat) R 11284 11287 10472 0 -1 4202496 273989 0 0 0 138855 9352 0 0 20 0 4 0 30148590 1363742720 274824 33554432000 4194304 16246674 140735852934928 140735852916800 13927401 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11287/statm: 332945 274824 800 2943 0 329839 0
[pid=11287/tid=11288] ppid=11284 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11288/stat : 11288 (toysat) S 11284 11287 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148590 1363742720 274824 33554432000 4194304 16246674 140735852934928 140043310050544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11287/tid=11289] ppid=11284 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11289/stat : 11289 (toysat) S 11284 11287 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148590 1363742720 274824 33554432000 4194304 16246674 140735852934928 140043299560688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11287/tid=11290] ppid=11284 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11290/stat : 11290 (toysat) S 11284 11287 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30148590 1363742720 274824 33554432000 4194304 16246674 140735852934928 140043180043440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 1331780

[startup+1542.3 s]
/proc/loadavg: 2.40 2.29 2.28 3/183 11330
/proc/meminfo: memFree=27915964/32872528 swapFree=17888/1798212
[pid=11287] ppid=11284 vsize=1331780 CPUtime=1542.03 cores=0,2,4,6
/proc/11287/stat : 11287 (toysat) R 11284 11287 10472 0 -1 4202496 274027 0 0 0 144540 9663 0 0 20 0 4 0 30148590 1363742720 274824 33554432000 4194304 16246674 140735852934928 140735852916800 13820888 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11287/statm: 332945 274824 800 2943 0 329839 0
[pid=11287/tid=11288] ppid=11284 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11288/stat : 11288 (toysat) S 11284 11287 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148590 1363742720 274824 33554432000 4194304 16246674 140735852934928 140043310050544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11287/tid=11289] ppid=11284 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11289/stat : 11289 (toysat) S 11284 11287 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148590 1363742720 274824 33554432000 4194304 16246674 140735852934928 140043299560688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11287/tid=11290] ppid=11284 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11290/stat : 11290 (toysat) S 11284 11287 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30148590 1363742720 274824 33554432000 4194304 16246674 140735852934928 140043180043440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1331780

[startup+1602.3 s]
/proc/loadavg: 2.24 2.26 2.27 3/183 11331
/proc/meminfo: memFree=27916096/32872528 swapFree=17888/1798212
[pid=11287] ppid=11284 vsize=1331780 CPUtime=1602.01 cores=0,2,4,6
/proc/11287/stat : 11287 (toysat) R 11284 11287 10472 0 -1 4202496 274064 0 0 0 150235 9966 0 0 20 0 4 0 30148590 1363742720 274824 33554432000 4194304 16246674 140735852934928 140735852916800 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11287/statm: 332945 274824 800 2943 0 329839 0
[pid=11287/tid=11288] ppid=11284 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11288/stat : 11288 (toysat) S 11284 11287 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148590 1363742720 274824 33554432000 4194304 16246674 140735852934928 140043310050544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11287/tid=11289] ppid=11284 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11289/stat : 11289 (toysat) S 11284 11287 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148590 1363742720 274824 33554432000 4194304 16246674 140735852934928 140043299560688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11287/tid=11290] ppid=11284 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11290/stat : 11290 (toysat) S 11284 11287 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30148590 1363742720 274824 33554432000 4194304 16246674 140735852934928 140043180043440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 1331780

[startup+1662.3 s]
/proc/loadavg: 2.24 2.26 2.27 3/183 11332
/proc/meminfo: memFree=27916448/32872528 swapFree=17888/1798212
[pid=11287] ppid=11284 vsize=1331780 CPUtime=1661.98 cores=0,2,4,6
/proc/11287/stat : 11287 (toysat) R 11284 11287 10472 0 -1 4202496 274092 0 0 0 155903 10295 0 0 20 0 4 0 30148590 1363742720 274824 33554432000 4194304 16246674 140735852934928 140735852934024 5673942 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11287/statm: 332945 274824 800 2943 0 329839 0
[pid=11287/tid=11288] ppid=11284 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11288/stat : 11288 (toysat) S 11284 11287 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148590 1363742720 274824 33554432000 4194304 16246674 140735852934928 140043310050544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11287/tid=11289] ppid=11284 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11289/stat : 11289 (toysat) S 11284 11287 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148590 1363742720 274824 33554432000 4194304 16246674 140735852934928 140043299560688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11287/tid=11290] ppid=11284 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11290/stat : 11290 (toysat) S 11284 11287 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30148590 1363742720 274824 33554432000 4194304 16246674 140735852934928 140043180043440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 1331780

[startup+1722.3 s]
/proc/loadavg: 2.22 2.25 2.26 3/183 11333
/proc/meminfo: memFree=27915832/32872528 swapFree=17888/1798212
[pid=11287] ppid=11284 vsize=1331780 CPUtime=1721.94 cores=0,2,4,6
/proc/11287/stat : 11287 (toysat) R 11284 11287 10472 0 -1 4202496 274135 0 0 0 161571 10623 0 0 20 0 4 0 30148590 1363742720 274824 33554432000 4194304 16246674 140735852934928 140735852917928 5673435 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11287/statm: 332945 274824 800 2943 0 329839 0
[pid=11287/tid=11288] ppid=11284 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11288/stat : 11288 (toysat) S 11284 11287 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148590 1363742720 274824 33554432000 4194304 16246674 140735852934928 140043310050544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11287/tid=11289] ppid=11284 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11289/stat : 11289 (toysat) S 11284 11287 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148590 1363742720 274824 33554432000 4194304 16246674 140735852934928 140043299560688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11287/tid=11290] ppid=11284 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11290/stat : 11290 (toysat) S 11284 11287 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30148590 1363742720 274824 33554432000 4194304 16246674 140735852934928 140043180043440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 1331780

[startup+1782.3 s]
/proc/loadavg: 2.20 2.24 2.26 3/183 11334
/proc/meminfo: memFree=27915568/32872528 swapFree=17888/1798212
[pid=11287] ppid=11284 vsize=1331780 CPUtime=1781.9 cores=0,2,4,6
/proc/11287/stat : 11287 (toysat) R 11284 11287 10472 0 -1 4202496 274180 0 0 0 167269 10921 0 0 20 0 4 0 30148590 1363742720 274824 33554432000 4194304 16246674 140735852934928 140735852917928 5675825 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11287/statm: 332945 274824 800 2943 0 329839 0
[pid=11287/tid=11288] ppid=11284 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11288/stat : 11288 (toysat) S 11284 11287 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148590 1363742720 274824 33554432000 4194304 16246674 140735852934928 140043310050544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11287/tid=11289] ppid=11284 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11289/stat : 11289 (toysat) S 11284 11287 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148590 1363742720 274824 33554432000 4194304 16246674 140735852934928 140043299560688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11287/tid=11290] ppid=11284 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11290/stat : 11290 (toysat) S 11284 11287 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30148590 1363742720 274824 33554432000 4194304 16246674 140735852934928 140043180043440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 1331780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.21 2.24 2.26 3/183 11384
/proc/meminfo: memFree=28762004/32872528 swapFree=17888/1798212
[pid=11287] ppid=11284 vsize=1331780 CPUtime=1800.09 cores=0,2,4,6
/proc/11287/stat : 11287 (toysat) R 11284 11287 10472 0 -1 4202496 274188 0 0 0 168989 11020 0 0 20 0 4 0 30148590 1363742720 274824 33554432000 4194304 16246674 140735852934928 140735852916800 5677784 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11287/statm: 332945 274824 800 2943 0 329839 0
[pid=11287/tid=11288] ppid=11284 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11288/stat : 11288 (toysat) S 11284 11287 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148590 1363742720 274824 33554432000 4194304 16246674 140735852934928 140043310050544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11287/tid=11289] ppid=11284 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11289/stat : 11289 (toysat) S 11284 11287 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148590 1363742720 274824 33554432000 4194304 16246674 140735852934928 140043299560688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11287/tid=11290] ppid=11284 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/11287/task/11290/stat : 11290 (toysat) S 11284 11287 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30148590 1363742720 274824 33554432000 4194304 16246674 140735852934928 140043180043440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1331780

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 11287 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.54
CPU time (s): 1800.14
CPU user time (s): 1689.9
CPU system time (s): 110.24
CPU usage (%): 99.9779
Max. virtual memory (cumulated for all children) (KiB): 1331780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1689.9
system time used= 110.24
maximum resident set size= 1099296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274188
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= 223
involuntary context switches= 1849

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.32489 second user time and 8.62269 second system time

The end

Begin job on node123 at 2016-06-18 22:16:55
IDJOB=4107012
IDBENCH=48365
IDSOLVER=2542
FILE ID=node123/4107012-1466281015
RUNJOBID= node123-1466275608-10488
PBS_JOBID= 19918249
Free space on /tmp= 71620 MiB

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

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

MD5SUM BENCH= 521a5315af7cbff32722a5aa297c08a4
RANDOM SEED=1343123734

node123.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.791
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.58
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.791
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.791
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.56
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.791
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.57
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.791
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.56
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.791
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.791
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.56
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.791
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:        29058588 kB
Buffers:           70936 kB
Cached:           138884 kB
SwapCached:         1604 kB
Active:          1136320 kB
Inactive:         140808 kB
Active(anon):    1066964 kB
Inactive(anon):     3080 kB
Active(file):      69356 kB
Inactive(file):   137728 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099320 kB
Dirty:             33072 kB
Writeback:             0 kB
AnonPages:       2865336 kB
Mapped:            10480 kB
Shmem:                 0 kB
Slab:             603400 kB
SReclaimable:      46928 kB
SUnreclaim:       556472 kB
KernelStack:        1480 kB
PageTables:         9244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3010244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1785856 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= 71604 MiB
End job on node123 at 2016-06-18 22:46:55