0.00/0.00	c 2016-06-16T00:35:00+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-4089631-1466030100.opb"]
0.00/0.01	c use --random-gen="24984837 2515328119 2253004334 2061133771 2860554579 3674598201 1363929264 1589885789 4172732450 1561487213 941147803 496862764 2400983502 3818693892 2901156610 3830593322 4043587128 4064243353 2356795588 2391511305 3149004111 3281788013 749800923 2183310891 3199633094 1816560238 2706134135 1693078195 2724349706 399055528 1942977575 1339471937 2883036041 3833646507 974280954 4230294488 2158261586 3881059009 3760579731 2366218586 1027250066 2312240236 2694468596 3686909518 3016134212 4048854945 2298342500 3565488293 150868032 490884983 2332766048 3421463775 2281567051 1680383331 1209568901 1958953798 3505878116 2656252153 4053700889 1995866989 800459262 2476622944 867635921 2280909191 801492790 104712381 2416919439 132139598 65275328 762187255 2598908644 2803292508 1193642983 2095446154 2276345717 2486791941 1323885784 3205740080 3041607573 3457570763 2276749145 1315580743 4126482641 4101873531 985070848 1374202583 988041247 3388503057 2664911354 2956766751 495372812 804089035 2168281254 700229404 572870456 1608901161 3653859741 2502112352 3051563719 1333477738 4047626795 304982429 3611394128 1592414741 3602478942 2337902583 3682970773 3543898629 1675098028 2964142799 1590812168 3663041917 4017619505 1755635162 519403022 2262328468 920624654 1560652291 2214682879 2332064562 2673648091 1468432561 1922660923 998984707 626121255 3433660394 561839425 928256673 121199281 1675787407 741293450 931161123 995894560 905555269 2262492482 389770814 3115501609 4020757577 2740752972 519934809 4205728221 3266550012 1197627213 3238382198 2259020026 46227958 3218835127 2252175955 1319206030 2193134297 3110205480 1087278411 2193068033 3859462752 1564583559 1793611837 4122226360 1400245073 2832824983 1021004594 3961062368 2189671574 1441201259 1607276772 4039224106 1345786826 3608806219 3943394916 219516237 1742118120 2719977774 2328005148 2802191560 3249171172 2524413215 3021256514 3921095065 2791776148 540057597 3748490696 32871942 23299857 1431829933 844743560 1412816953 2405336 759205511 1647138255 1018767298 2694224384 3721719923 3741454088 3989140100 3683336987 4108809648 1768085368 416112233 3394617084 3366554754 2564555931 1523880170 1967560983 1806991780 3791784538 1971791757 705433696 3355920544 357365251 3936726394 2003945885 746533446 3709528037 3541748424 4198766363 1391557482 109713280 1647082622 2665753343 2547270651 1433134558 2812479732 1861980697 3887278989 1951692401 642628304 3683144541 3638219568 4060258966 313104326 1821904159 2565081397 369259379 1451097701 2055725757 3927129159 2469137512 4262235222 524255410 3755717348 1236874734 1008211450 3114662331 2902558021 1814953963 765631205 749973194 718806448 2952038728 3529795562 1320154313 641732232 3459595417 1832605810 1422524484 937526087 745188656 255 362436" option to reproduce the execution
0.00/0.01	c #vars 210
0.00/0.01	c #constraints 421
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      210      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      198 |      100 |      210      0 |        0 |        0
0.00/0.07	c  0.1s |       2 |      443 |      250 |      232      0 |        0 |        0
0.09/0.13	c  0.1s |       3 |      761 |      475 |      256      1 |        0 |        0
0.19/0.22	c  0.2s |       4 |     1197 |      813 |      282      3 |        0 |        0
0.29/0.38	c  0.4s |       5 |     1797 |     1320 |      311      6 |        0 |        0
0.59/0.61	c  0.6s |       6 |     2652 |     2081 |      378      9 |        0 |        0
0.89/0.93	c  0.9s |       7 |     3894 |     3223 |      416     14 |        0 |        0
1.20/1.28	c  1.3s |       8 |     5700 |     4936 |      458     20 |        0 |        0
1.79/1.83	c  1.8s |       9 |     8382 |     7506 |      504     29 |        0 |        0
2.59/2.62	c  2.6s |      10 |    12365 |    11361 |      555     42 |        0 |        0
3.79/3.84	c  3.8s |      11 |    18301 |    17144 |      611     60 |        0 |        0
5.60/5.67	c  5.6s |      12 |    27197 |    25819 |      673     84 |        0 |        0
7.59/7.67	c  7.6s |      12 |    36775 |    35219 |      673    109 |        0 |        0
8.39/8.45	c  8.4s |      13 |    40414 |    38832 |      741    118 |        0 |        0
10.39/10.47	c 10.5s |      13 |    50033 |    48232 |      741    141 |        0 |        0
12.39/12.48	c 12.5s |      13 |    59404 |    57532 |      741    163 |        0 |        0
12.59/12.65	c 12.6s |      14 |    60240 |    58352 |      816    165 |        0 |        0
14.59/14.67	c 14.7s |      14 |    69417 |    67352 |      816    184 |        0 |        0
16.59/16.68	c 16.7s |      14 |    78540 |    76352 |      816    204 |        0 |        0
18.59/18.69	c 18.7s |      14 |    87546 |    85252 |      816    224 |        0 |        0
19.19/19.23	c 19.2s |      15 |    89932 |    87632 |      898    229 |        0 |        0
21.19/21.25	c 21.2s |      15 |    99049 |    96532 |      898    247 |        0 |        0
23.19/23.25	c 23.2s |      15 |   108095 |   105432 |      898    265 |        0 |        0
25.19/25.26	c 25.2s |      15 |   117336 |   114532 |      898    283 |        0 |        0
27.19/27.28	c 27.3s |      15 |   126313 |   123332 |      898    301 |        0 |        0
29.08/29.18	c 29.2s |      16 |   134675 |   131552 |      988    317 |        0 |        0
31.08/31.18	c 31.2s |      16 |   143430 |   140152 |      988    333 |        0 |        0
33.09/33.19	c 33.2s |      16 |   152080 |   148652 |      988    349 |        0 |        0
35.19/35.21	c 35.2s |      16 |   160647 |   157052 |      988    365 |        0 |        0
37.18/37.23	c 37.2s |      16 |   169202 |   165452 |      988    380 |        0 |        0
39.18/39.25	c 39.2s |      16 |   177882 |   174052 |      988    396 |        0 |        0
41.18/41.26	c 41.2s |      16 |   186464 |   182552 |      988    412 |        0 |        0
43.18/43.28	c 43.3s |      16 |   195051 |   191052 |      988    428 |        0 |        0
44.79/44.81	c 44.8s |      17 |   201524 |   197432 |     1087    439 |        0 |        0
46.79/46.83	c 46.8s |      17 |   210271 |   205932 |     1087    454 |        0 |        0
48.79/48.84	c 48.8s |      17 |   218606 |   214132 |     1087    467 |        0 |        0
50.79/50.85	c 50.8s |      17 |   227230 |   222632 |     1087    482 |        0 |        0
52.79/52.86	c 52.8s |      17 |   235638 |   230832 |     1087    496 |        0 |        0
54.78/54.87	c 54.9s |      17 |   243833 |   238832 |     1087    509 |        0 |        0
56.78/56.88	c 56.9s |      17 |   252663 |   247532 |     1087    524 |        0 |        0
58.88/58.90	c 58.9s |      17 |   261403 |   256132 |     1087    539 |        0 |        0
60.88/60.91	c 60.9s |      17 |   270045 |   264632 |     1087    553 |        0 |        0
62.88/62.93	c 62.9s |      17 |   278412 |   272832 |     1087    567 |        0 |        0
64.89/64.96	c 64.9s |      17 |   286872 |   281132 |     1087    581 |        0 |        0
66.88/66.96	c 66.9s |      17 |   295296 |   289432 |     1087    595 |        0 |        0
68.58/68.67	c 68.7s |      18 |   302251 |   296252 |     1196    606 |        0 |        0
70.58/70.67	c 70.7s |      18 |   310766 |   304552 |     1196    619 |        0 |        0
72.58/72.67	c 72.7s |      18 |   319360 |   312952 |     1196    632 |        0 |        0
74.68/74.70	c 74.7s |      18 |   328155 |   321552 |     1196    646 |        0 |        0
76.68/76.72	c 76.7s |      18 |   336749 |   329952 |     1196    659 |        0 |        0
78.67/78.74	c 78.7s |      18 |   344994 |   338052 |     1196    671 |        0 |        0
80.67/80.75	c 80.7s |      18 |   353723 |   346652 |     1196    685 |        0 |        0
82.67/82.76	c 82.7s |      18 |   362036 |   354852 |     1196    697 |        0 |        0
84.68/84.76	c 84.7s |      18 |   370319 |   362952 |     1196    710 |        0 |        0
86.68/86.77	c 86.8s |      18 |   378784 |   371252 |     1196    723 |        0 |        0
88.68/88.77	c 88.8s |      18 |   387202 |   379452 |     1196    735 |        0 |        0
90.68/90.79	c 90.8s |      18 |   395507 |   387552 |     1196    748 |        0 |        0
92.78/92.81	c 92.8s |      18 |   403634 |   395552 |     1196    760 |        0 |        0
94.78/94.82	c 94.8s |      18 |   411848 |   403652 |     1196    773 |        0 |        0
96.78/96.83	c 96.8s |      18 |   420187 |   411852 |     1196    786 |        0 |        0
98.77/98.86	c 98.8s |      18 |   428676 |   420152 |     1196    799 |        0 |        0
100.77/100.88	c  100s |      18 |   436866 |   428252 |     1196    811 |        0 |        0
102.77/102.89	c  102s |      18 |   445090 |   436352 |     1196    824 |        0 |        0
104.87/104.91	c  104s |      18 |   452985 |   444152 |     1316    835 |        0 |        0
104.87/104.99	c  104s |      19 |   453333 |   444482 |     1316    836 |        0 |        0
106.87/106.99	c  106s |      19 |   461336 |   452282 |     1316    847 |        0 |        0
108.88/109.00	c  108s |      19 |   469144 |   459982 |     1316    858 |        0 |        0
110.97/111.03	c  111s |      19 |   477608 |   468282 |     1316    870 |        0 |        0
112.97/113.03	c  113s |      19 |   485793 |   476382 |     1316    881 |        0 |        0
114.97/115.04	c  115s |      19 |   493821 |   484282 |     1316    892 |        0 |        0
116.97/117.06	c  117s |      19 |   501886 |   492182 |     1316    903 |        0 |        0
118.97/119.08	c  119s |      19 |   509893 |   499982 |     1316    915 |        0 |        0
121.07/121.10	c  121s |      19 |   517825 |   507782 |     1316    926 |        0 |        0
123.07/123.11	c  123s |      19 |   525414 |   515282 |     1316    936 |        0 |        0
125.07/125.11	c  125s |      19 |   533537 |   523282 |     1316    948 |        0 |        0
127.07/127.13	c  127s |      19 |   541582 |   531182 |     1316    959 |        0 |        0
129.07/129.14	c  129s |      19 |   549464 |   538882 |     1316    970 |        0 |        0
131.07/131.14	c  131s |      19 |   557222 |   546482 |     1316    981 |        0 |        0
133.08/133.16	c  133s |      19 |   564976 |   554082 |     1316    991 |        0 |        0
135.07/135.17	c  135s |      19 |   572846 |   561682 |     1316   1002 |        0 |        0
137.07/137.18	c  137s |      19 |   580492 |   569082 |     1316   1013 |        0 |        0
139.17/139.21	c  139s |      19 |   588956 |   577382 |     1316   1025 |        0 |        0
141.17/141.23	c  141s |      19 |   597410 |   585682 |     1316   1036 |        0 |        0
143.17/143.25	c  143s |      19 |   605643 |   593782 |     1316   1048 |        0 |        0
145.17/145.25	c  145s |      19 |   613768 |   601782 |     1316   1059 |        0 |        0
147.17/147.26	c  147s |      19 |   621751 |   609582 |     1316   1070 |        0 |        0
149.17/149.26	c  149s |      19 |   629644 |   617382 |     1316   1081 |        0 |        0
151.16/151.28	c  151s |      19 |   637720 |   625282 |     1316   1093 |        0 |        0
153.16/153.30	c  153s |      19 |   645780 |   633182 |     1316   1104 |        0 |        0
155.26/155.31	c  155s |      19 |   653592 |   640882 |     1316   1115 |        0 |        0
157.27/157.33	c  157s |      19 |   661624 |   648782 |     1316   1126 |        0 |        0
159.26/159.35	c  159s |      19 |   669577 |   656582 |     1316   1137 |        0 |        0
161.26/161.37	c  161s |      19 |   677402 |   664282 |     1448   1148 |        0 |        0
161.96/162.04	c  162s |      20 |   679997 |   666827 |     1448   1151 |        0 |        0
163.97/164.07	c  164s |      20 |   688403 |   674927 |     1448   1161 |        0 |        0
165.96/166.07	c  166s |      20 |   696438 |   682827 |     1448   1172 |        0 |        0
167.96/168.09	c  168s |      20 |   704498 |   690727 |     1448   1182 |        0 |        0
170.06/170.11	c  170s |      20 |   712493 |   698627 |     1448   1192 |        0 |        0
172.06/172.12	c  172s |      20 |   720478 |   706427 |     1448   1202 |        0 |        0
174.06/174.14	c  174s |      20 |   728444 |   714027 |     1448   1212 |        0 |        0
176.07/176.15	c  176s |      20 |   736298 |   721727 |     1448   1222 |        0 |        0
178.06/178.16	c  178s |      20 |   744031 |   729227 |     1448   1232 |        0 |        0
180.06/180.17	c  180s |      20 |   752085 |   737127 |     1448   1242 |        0 |        0
182.07/182.18	c  182s |      20 |   760106 |   745027 |     1448   1252 |        0 |        0
184.07/184.19	c  184s |      20 |   767908 |   752627 |     1448   1262 |        0 |        0
186.16/186.21	c  186s |      20 |   775685 |   760227 |     1448   1272 |        0 |        0
188.17/188.23	c  188s |      20 |   783328 |   767727 |     1448   1282 |        0 |        0
190.16/190.26	c  190s |      20 |   791377 |   775627 |     1448   1292 |        0 |        0
192.16/192.28	c  192s |      20 |   799463 |   783327 |     1448   1302 |        0 |        0
194.16/194.28	c  194s |      20 |   807117 |   790727 |     1448   1312 |        0 |        0
196.26/196.30	c  196s |      20 |   814745 |   798127 |     1448   1321 |        0 |        0
198.26/198.32	c  198s |      20 |   822278 |   805527 |     1448   1331 |        0 |        0
200.27/200.33	c  200s |      20 |   830213 |   813327 |     1448   1341 |        0 |        0
202.26/202.33	c  202s |      20 |   838060 |   821027 |     1448   1351 |        0 |        0
204.26/204.36	c  204s |      20 |   845807 |   828627 |     1448   1361 |        0 |        0
206.26/206.37	c  206s |      20 |   853504 |   836227 |     1448   1370 |        0 |        0
208.26/208.39	c  208s |      20 |   861281 |   843827 |     1448   1380 |        0 |        0
210.26/210.39	c  210s |      20 |   868858 |   851127 |     1448   1390 |        0 |        0
212.37/212.41	c  212s |      20 |   876464 |   858627 |     1448   1400 |        0 |        0
214.36/214.42	c  214s |      20 |   883930 |   865927 |     1448   1409 |        0 |        0
216.36/216.42	c  216s |      20 |   891590 |   873427 |     1448   1419 |        0 |        0
218.36/218.45	c  218s |      20 |   899123 |   880827 |     1448   1428 |        0 |        0
220.36/220.46	c  220s |      20 |   906727 |   888227 |     1448   1438 |        0 |        0
222.36/222.48	c  222s |      20 |   915566 |   896727 |     1448   1449 |        0 |        0
224.36/224.49	c  224s |      20 |   924039 |   904927 |     1448   1459 |        0 |        0
226.45/226.52	c  226s |      20 |   932233 |   912827 |     1448   1470 |        0 |        0
228.45/228.53	c  228s |      20 |   940479 |   920827 |     1448   1480 |        0 |        0
230.45/230.53	c  230s |      20 |   948552 |   928727 |     1448   1490 |        0 |        0
232.45/232.55	c  232s |      20 |   956817 |   936627 |     1448   1500 |        0 |        0
234.45/234.56	c  234s |      20 |   965085 |   944727 |     1448   1511 |        0 |        0
236.46/236.57	c  236s |      20 |   973054 |   952427 |     1448   1521 |        0 |        0
238.45/238.58	c  238s |      20 |   981064 |   960227 |     1448   1531 |        0 |        0
240.46/240.60	c  240s |      20 |   989275 |   968227 |     1448   1541 |        0 |        0
242.56/242.61	c  242s |      20 |   997181 |   975827 |     1448   1551 |        0 |        0
244.56/244.62	c  244s |      20 |  1004997 |   983427 |     1448   1561 |        0 |        0
246.56/246.63	c  246s |      20 |  1012882 |   991127 |     1448   1571 |        0 |        0
248.56/248.63	c  248s |      20 |  1020698 |   998827 |     1593   1580 |        0 |        0
248.96/249.05	c  249s |      21 |  1022244 |  1000345 |     1593   1582 |        0 |        0
250.96/251.07	c  251s |      21 |  1030306 |  1008045 |     1593   1591 |        0 |        0
252.96/253.08	c  253s |      21 |  1038197 |  1015745 |     1593   1600 |        0 |        0
255.06/255.11	c  255s |      21 |  1046237 |  1023545 |     1593   1610 |        0 |        0
257.05/257.11	c  257s |      21 |  1053977 |  1031145 |     1593   1619 |        0 |        0
259.05/259.13	c  259s |      21 |  1061450 |  1038445 |     1593   1627 |        0 |        0
261.05/261.14	c  261s |      21 |  1069502 |  1046345 |     1593   1637 |        0 |        0
263.05/263.15	c  263s |      21 |  1077341 |  1054045 |     1593   1646 |        0 |        0
265.06/265.17	c  265s |      21 |  1085153 |  1061745 |     1593   1655 |        0 |        0
267.05/267.19	c  267s |      21 |  1092957 |  1069445 |     1593   1664 |        0 |        0
269.15/269.20	c  269s |      21 |  1100582 |  1076945 |     1593   1673 |        0 |        0
271.15/271.23	c  271s |      21 |  1108414 |  1084645 |     1593   1682 |        0 |        0
273.15/273.23	c  273s |      21 |  1115853 |  1091945 |     1593   1691 |        0 |        0
275.15/275.24	c  275s |      21 |  1123895 |  1099845 |     1593   1700 |        0 |        0
277.16/277.24	c  277s |      21 |  1131609 |  1107345 |     1593   1709 |        0 |        0
279.15/279.25	c  279s |      21 |  1139302 |  1114945 |     1593   1718 |        0 |        0
281.15/281.27	c  281s |      21 |  1147136 |  1122645 |     1593   1727 |        0 |        0
283.15/283.29	c  283s |      21 |  1154784 |  1130145 |     1593   1736 |        0 |        0
285.15/285.29	c  285s |      21 |  1162328 |  1137545 |     1593   1744 |        0 |        0
287.25/287.30	c  287s |      21 |  1169841 |  1144845 |     1593   1753 |        0 |        0
289.25/289.30	c  289s |      21 |  1177364 |  1152145 |     1593   1762 |        0 |        0
291.24/291.33	c  291s |      21 |  1184814 |  1159445 |     1593   1770 |        0 |        0
293.24/293.34	c  293s |      21 |  1192912 |  1167345 |     1593   1780 |        0 |        0
295.24/295.36	c  295s |      21 |  1200857 |  1175145 |     1593   1789 |        0 |        0
297.24/297.37	c  297s |      21 |  1208701 |  1182845 |     1593   1798 |        0 |        0
299.25/299.37	c  299s |      21 |  1216401 |  1190345 |     1593   1807 |        0 |        0
301.24/301.38	c  301s |      21 |  1223845 |  1197645 |     1593   1816 |        0 |        0
303.34/303.40	c  303s |      21 |  1231658 |  1205345 |     1593   1825 |        0 |        0
305.34/305.40	c  305s |      21 |  1239240 |  1212745 |     1593   1833 |        0 |        0
307.34/307.42	c  307s |      21 |  1246988 |  1220345 |     1593   1842 |        0 |        0
309.34/309.43	c  309s |      21 |  1254596 |  1227745 |     1593   1851 |        0 |        0
311.35/311.44	c  311s |      21 |  1262051 |  1235045 |     1593   1860 |        0 |        0
313.34/313.45	c  313s |      21 |  1269753 |  1242645 |     1593   1869 |        0 |        0
315.34/315.46	c  315s |      21 |  1277644 |  1250245 |     1593   1878 |        0 |        0
317.34/317.47	c  317s |      21 |  1285187 |  1257645 |     1593   1887 |        0 |        0
319.34/319.49	c  319s |      21 |  1292980 |  1265245 |     1593   1896 |        0 |        0
321.44/321.51	c  321s |      21 |  1300549 |  1272645 |     1593   1904 |        0 |        0
323.44/323.52	c  323s |      21 |  1308152 |  1280045 |     1593   1913 |        0 |        0
325.44/325.55	c  325s |      21 |  1315594 |  1287345 |     1593   1922 |        0 |        0
327.44/327.57	c  327s |      21 |  1323124 |  1294645 |     1593   1931 |        0 |        0
329.44/329.58	c  329s |      21 |  1330611 |  1301845 |     1593   1939 |        0 |        0
331.44/331.59	c  331s |      21 |  1338262 |  1309245 |     1593   1948 |        0 |        0
333.43/333.59	c  333s |      21 |  1345795 |  1316645 |     1593   1957 |        0 |        0
335.44/335.60	c  335s |      21 |  1353122 |  1323845 |     1593   1965 |        0 |        0
337.53/337.62	c  337s |      21 |  1360598 |  1331045 |     1593   1974 |        0 |        0
339.53/339.65	c  339s |      21 |  1368111 |  1338245 |     1593   1982 |        0 |        0
341.53/341.67	c  341s |      21 |  1375376 |  1345345 |     1593   1991 |        0 |        0
343.53/343.68	c  343s |      21 |  1383700 |  1353445 |     1593   2000 |        0 |        0
345.53/345.69	c  345s |      21 |  1391472 |  1360945 |     1593   2009 |        0 |        0
347.54/347.70	c  347s |      21 |  1399187 |  1368445 |     1593   2018 |        0 |        0
349.63/349.70	c  349s |      21 |  1406953 |  1375945 |     1593   2027 |        0 |        0
351.63/351.73	c  351s |      21 |  1414590 |  1383345 |     1593   2036 |        0 |        0
353.63/353.75	c  353s |      21 |  1422299 |  1390845 |     1593   2044 |        0 |        0
355.63/355.77	c  355s |      21 |  1429902 |  1398145 |     1593   2053 |        0 |        0
357.64/357.79	c  357s |      21 |  1437523 |  1405545 |     1593   2062 |        0 |        0
359.65/359.80	c  359s |      21 |  1445400 |  1413245 |     1593   2071 |        0 |        0
361.74/361.81	c  361s |      21 |  1453114 |  1420845 |     1593   2080 |        0 |        0
363.74/363.83	c  363s |      21 |  1460777 |  1428345 |     1593   2089 |        0 |        0
365.74/365.86	c  365s |      21 |  1468333 |  1435745 |     1593   2098 |        0 |        0
367.74/367.87	c  367s |      21 |  1475984 |  1443245 |     1593   2106 |        0 |        0
369.74/369.89	c  369s |      21 |  1483701 |  1450845 |     1593   2115 |        0 |        0
371.74/371.90	c  371s |      21 |  1491226 |  1458145 |     1593   2124 |        0 |        0
373.84/373.91	c  373s |      21 |  1498562 |  1465345 |     1593   2133 |        0 |        0
375.84/375.93	c  375s |      21 |  1505875 |  1472545 |     1593   2141 |        0 |        0
377.83/377.95	c  377s |      21 |  1513491 |  1479945 |     1593   2150 |        0 |        0
379.83/379.96	c  379s |      21 |  1521199 |  1487445 |     1593   2159 |        0 |        0
381.83/381.98	c  381s |      21 |  1528649 |  1494745 |     1753   2167 |        0 |        0
383.53/383.63	c  383s |      22 |  1534721 |  1500622 |     1753   2173 |        0 |        0
385.53/385.65	c  385s |      22 |  1542607 |  1508222 |     1753   2181 |        0 |        0
387.53/387.68	c  387s |      22 |  1550768 |  1515722 |     1753   2190 |        0 |        0
389.63/389.70	c  389s |      22 |  1558342 |  1523022 |     1753   2197 |        0 |        0
391.64/391.72	c  391s |      22 |  1565867 |  1530222 |     1753   2205 |        0 |        0
393.63/393.74	c  393s |      22 |  1573323 |  1537522 |     1753   2213 |        0 |        0
395.63/395.75	c  395s |      22 |  1580827 |  1544822 |     1753   2221 |        0 |        0
397.63/397.75	c  397s |      22 |  1588891 |  1552622 |     1753   2229 |        0 |        0
399.63/399.78	c  399s |      22 |  1596684 |  1560222 |     1753   2238 |        0 |        0
401.63/401.79	c  401s |      22 |  1604417 |  1567622 |     1753   2246 |        0 |        0
403.73/403.81	c  403s |      22 |  1612137 |  1575122 |     1753   2254 |        0 |        0
405.73/405.82	c  405s |      22 |  1619832 |  1582622 |     1753   2262 |        0 |        0
407.73/407.83	c  407s |      22 |  1627288 |  1589922 |     1753   2270 |        0 |        0
409.72/409.83	c  409s |      22 |  1634898 |  1597322 |     1753   2278 |        0 |        0
411.72/411.85	c  411s |      22 |  1642304 |  1604522 |     1753   2285 |        0 |        0
413.72/413.85	c  413s |      22 |  1649979 |  1611822 |     1753   2293 |        0 |        0
415.73/415.87	c  415s |      22 |  1657551 |  1619122 |     1753   2301 |        0 |        0
417.72/417.88	c  417s |      22 |  1664969 |  1626222 |     1753   2309 |        0 |        0
419.82/419.90	c  419s |      22 |  1672791 |  1633522 |     1753   2317 |        0 |        0
421.82/421.92	c  421s |      22 |  1680880 |  1641422 |     1753   2325 |        0 |        0
423.82/423.94	c  423s |      22 |  1688538 |  1648922 |     1753   2333 |        0 |        0
425.82/425.95	c  425s |      22 |  1696196 |  1656322 |     1753   2341 |        0 |        0
427.83/427.96	c  427s |      22 |  1703640 |  1663622 |     1753   2349 |        0 |        0
429.83/429.96	c  429s |      22 |  1710861 |  1670722 |     1753   2357 |        0 |        0
431.83/431.98	c  431s |      22 |  1718220 |  1677922 |     1753   2365 |        0 |        0
433.83/433.99	c  433s |      22 |  1725636 |  1685122 |     1753   2373 |        0 |        0
435.93/436.00	c  435s |      22 |  1732990 |  1692322 |     1753   2380 |        0 |        0
437.93/438.02	c  438s |      22 |  1740414 |  1699622 |     1753   2388 |        0 |        0
439.93/440.04	c  440s |      22 |  1747547 |  1706622 |     1753   2396 |        0 |        0
441.93/442.05	c  442s |      22 |  1754787 |  1713722 |     1753   2404 |        0 |        0
443.93/444.05	c  444s |      22 |  1762820 |  1721522 |     1753   2412 |        0 |        0
445.93/446.07	c  446s |      22 |  1770667 |  1729222 |     1753   2420 |        0 |        0
447.93/448.09	c  448s |      22 |  1778435 |  1736822 |     1753   2428 |        0 |        0
450.03/450.12	c  450s |      22 |  1786083 |  1744322 |     1753   2437 |        0 |        0
452.03/452.13	c  452s |      22 |  1793751 |  1751822 |     1753   2445 |        0 |        0
454.03/454.13	c  454s |      22 |  1801671 |  1759422 |     1753   2453 |        0 |        0
456.02/456.15	c  456s |      22 |  1809324 |  1766722 |     1753   2461 |        0 |        0
458.02/458.18	c  458s |      22 |  1816762 |  1774022 |     1753   2469 |        0 |        0
460.02/460.18	c  460s |      22 |  1824206 |  1781322 |     1753   2477 |        0 |        0
462.03/462.18	c  462s |      22 |  1831556 |  1788522 |     1753   2484 |        0 |        0
464.02/464.19	c  464s |      22 |  1839253 |  1796022 |     1753   2492 |        0 |        0
466.02/466.19	c  466s |      22 |  1846791 |  1803222 |     1753   2500 |        0 |        0
468.12/468.21	c  468s |      22 |  1854077 |  1810222 |     1753   2508 |        0 |        0
470.12/470.24	c  470s |      22 |  1861527 |  1817422 |     1753   2516 |        0 |        0
472.12/472.26	c  472s |      22 |  1869311 |  1825022 |     1753   2524 |        0 |        0
474.13/474.28	c  474s |      22 |  1877138 |  1832622 |     1753   2532 |        0 |        0
476.23/476.31	c  476s |      22 |  1884605 |  1839922 |     1753   2540 |        0 |        0
478.22/478.31	c  478s |      22 |  1891815 |  1846922 |     1753   2547 |        0 |        0
480.22/480.32	c  480s |      22 |  1899003 |  1853922 |     1753   2555 |        0 |        0
482.22/482.33	c  482s |      22 |  1906201 |  1861022 |     1753   2563 |        0 |        0
484.22/484.33	c  484s |      22 |  1913214 |  1867922 |     1753   2570 |        0 |        0
486.22/486.34	c  486s |      22 |  1920922 |  1875422 |     1753   2578 |        0 |        0
488.21/488.34	c  488s |      22 |  1928558 |  1882722 |     1753   2586 |        0 |        0
490.21/490.35	c  490s |      22 |  1935949 |  1889922 |     1753   2594 |        0 |        0
492.21/492.38	c  492s |      22 |  1943180 |  1896922 |     1753   2602 |        0 |        0
494.31/494.40	c  494s |      22 |  1950469 |  1904022 |     1753   2609 |        0 |        0
496.31/496.42	c  496s |      22 |  1957685 |  1911122 |     1753   2617 |        0 |        0
498.32/498.45	c  498s |      22 |  1964830 |  1918022 |     1753   2624 |        0 |        0
500.31/500.47	c  500s |      22 |  1972082 |  1925022 |     1753   2632 |        0 |        0
502.31/502.48	c  502s |      22 |  1979316 |  1932022 |     1753   2640 |        0 |        0
504.31/504.49	c  504s |      22 |  1986822 |  1939422 |     1753   2648 |        0 |        0
506.41/506.52	c  506s |      22 |  1994339 |  1946822 |     1753   2656 |        0 |        0
508.41/508.55	c  508s |      22 |  2001860 |  1954122 |     1753   2663 |        0 |        0
510.42/510.56	c  510s |      22 |  2009169 |  1961322 |     1753   2671 |        0 |        0
512.41/512.57	c  512s |      22 |  2016497 |  1968522 |     1753   2679 |        0 |        0
514.41/514.58	c  514s |      22 |  2023724 |  1975522 |     1753   2687 |        0 |        0
516.41/516.59	c  516s |      22 |  2031241 |  1982922 |     1753   2695 |        0 |        0
518.51/518.61	c  518s |      22 |  2038507 |  1990022 |     1753   2702 |        0 |        0
520.51/520.61	c  520s |      22 |  2045852 |  1997222 |     1753   2710 |        0 |        0
522.52/522.64	c  522s |      22 |  2053253 |  2004422 |     1753   2718 |        0 |        0
524.51/524.65	c  524s |      22 |  2060486 |  2011522 |     1753   2725 |        0 |        0
526.51/526.67	c  526s |      22 |  2067537 |  2018422 |     1753   2733 |        0 |        0
528.51/528.67	c  528s |      22 |  2074699 |  2025422 |     1753   2741 |        0 |        0
530.51/530.68	c  530s |      22 |  2081716 |  2032222 |     1753   2748 |        0 |        0
532.51/532.69	c  532s |      22 |  2089223 |  2039422 |     1753   2756 |        0 |        0
534.52/534.70	c  534s |      22 |  2096509 |  2046522 |     1753   2763 |        0 |        0
536.61/536.72	c  536s |      22 |  2103799 |  2053622 |     1753   2771 |        0 |        0
538.61/538.73	c  538s |      22 |  2110827 |  2060522 |     1753   2779 |        0 |        0
540.61/540.75	c  540s |      22 |  2117951 |  2067422 |     1753   2786 |        0 |        0
542.61/542.75	c  542s |      22 |  2125361 |  2074622 |     1753   2794 |        0 |        0
544.61/544.76	c  544s |      22 |  2132931 |  2081822 |     1753   2802 |        0 |        0
546.61/546.76	c  546s |      22 |  2140311 |  2088922 |     1753   2809 |        0 |        0
548.61/548.77	c  548s |      22 |  2147565 |  2096022 |     1753   2817 |        0 |        0
550.61/550.79	c  550s |      22 |  2154827 |  2103122 |     1753   2825 |        0 |        0
552.71/552.81	c  552s |      22 |  2162057 |  2110222 |     1753   2832 |        0 |        0
554.70/554.83	c  554s |      22 |  2169592 |  2117522 |     1753   2840 |        0 |        0
556.70/556.85	c  556s |      22 |  2176882 |  2124522 |     1753   2848 |        0 |        0
558.71/558.85	c  558s |      22 |  2184040 |  2131522 |     1753   2855 |        0 |        0
560.70/560.88	c  560s |      22 |  2191231 |  2138522 |     1753   2863 |        0 |        0
562.80/562.90	c  562s |      22 |  2198359 |  2145422 |     1753   2870 |        0 |        0
564.80/564.92	c  564s |      22 |  2205609 |  2152422 |     1753   2878 |        0 |        0
566.80/566.94	c  566s |      22 |  2212672 |  2159222 |     1753   2885 |        0 |        0
568.80/568.95	c  568s |      22 |  2219801 |  2166122 |     1753   2893 |        0 |        0
570.81/570.96	c  570s |      22 |  2227470 |  2173622 |     1753   2901 |        0 |        0
572.80/572.98	c  572s |      22 |  2235131 |  2181022 |     1753   2909 |        0 |        0
574.90/575.01	c  574s |      22 |  2242728 |  2188422 |     1753   2917 |        0 |        0
576.90/577.03	c  577s |      22 |  2250323 |  2195822 |     1753   2925 |        0 |        0
578.90/579.05	c  579s |      22 |  2257978 |  2203122 |     1753   2933 |        0 |        0
580.90/581.07	c  581s |      22 |  2265538 |  2210322 |     1753   2941 |        0 |        0
582.90/583.09	c  583s |      22 |  2272954 |  2217422 |     1753   2948 |        0 |        0
585.00/585.10	c  585s |      22 |  2280687 |  2224822 |     1753   2956 |        0 |        0
587.00/587.11	c  587s |      22 |  2288143 |  2231922 |     1753   2964 |        0 |        0
589.00/589.13	c  589s |      22 |  2295292 |  2238822 |     1929   2971 |        0 |        0
591.00/591.14	c  591s |      22 |  2302520 |  2245822 |     1929   2978 |        0 |        0
592.50/592.62	c  592s |      23 |  2307842 |  2251038 |     1929   2983 |        0 |        0
594.50/594.64	c  594s |      23 |  2315905 |  2258638 |     1929   2990 |        0 |        0
596.50/596.66	c  596s |      23 |  2323366 |  2265838 |     1929   2997 |        0 |        0
598.49/598.67	c  598s |      23 |  2330472 |  2272738 |     1929   3004 |        0 |        0
600.51/600.67	c  600s |      23 |  2337741 |  2279838 |     1929   3011 |        0 |        0
602.50/602.68	c  602s |      23 |  2345114 |  2287038 |     1929   3018 |        0 |        0
604.60/604.71	c  604s |      23 |  2352475 |  2294238 |     1929   3026 |        0 |        0
606.60/606.72	c  606s |      23 |  2359816 |  2301338 |     1929   3033 |        0 |        0
608.60/608.74	c  608s |      23 |  2367405 |  2308738 |     1929   3040 |        0 |        0
610.60/610.75	c  610s |      23 |  2375040 |  2316138 |     1929   3047 |        0 |        0
612.60/612.77	c  612s |      23 |  2382525 |  2323338 |     1929   3054 |        0 |        0
614.59/614.79	c  614s |      23 |  2389855 |  2330338 |     1929   3061 |        0 |        0
616.69/616.80	c  616s |      23 |  2397254 |  2337538 |     1929   3068 |        0 |        0
618.69/618.80	c  618s |      23 |  2404523 |  2344638 |     1929   3075 |        0 |        0
620.69/620.81	c  620s |      23 |  2411727 |  2351638 |     1929   3082 |        0 |        0
622.69/622.82	c  622s |      23 |  2418922 |  2358638 |     1929   3089 |        0 |        0
624.70/624.84	c  624s |      23 |  2425979 |  2365538 |     1929   3096 |        0 |        0
626.69/626.85	c  626s |      23 |  2433200 |  2372538 |     1929   3103 |        0 |        0
628.69/628.87	c  628s |      23 |  2440979 |  2380138 |     1929   3110 |        0 |        0
630.79/630.90	c  630s |      23 |  2448464 |  2387438 |     1929   3117 |        0 |        0
632.79/632.91	c  632s |      23 |  2455993 |  2394638 |     1929   3125 |        0 |        0
634.79/634.93	c  634s |      23 |  2463557 |  2401938 |     1929   3132 |        0 |        0
636.80/636.95	c  636s |      23 |  2471055 |  2409238 |     1929   3139 |        0 |        0
638.79/638.97	c  638s |      23 |  2478382 |  2416338 |     1929   3146 |        0 |        0
640.79/640.99	c  640s |      23 |  2485741 |  2423438 |     1929   3153 |        0 |        0
642.89/643.02	c  642s |      23 |  2492884 |  2430438 |     1929   3160 |        0 |        0
644.89/645.02	c  645s |      23 |  2500320 |  2437538 |     1929   3167 |        0 |        0
646.90/647.04	c  647s |      23 |  2507556 |  2444438 |     1929   3174 |        0 |        0
648.90/649.07	c  649s |      23 |  2514674 |  2451338 |     1929   3181 |        0 |        0
650.90/651.08	c  651s |      23 |  2522085 |  2458438 |     1929   3188 |        0 |        0
652.89/653.09	c  653s |      23 |  2529331 |  2465438 |     1929   3194 |        0 |        0
654.89/655.09	c  655s |      23 |  2536539 |  2472438 |     1929   3201 |        0 |        0
656.99/657.10	c  657s |      23 |  2543718 |  2479338 |     1929   3208 |        0 |        0
658.99/659.13	c  659s |      23 |  2550829 |  2486238 |     1929   3215 |        0 |        0
661.00/661.13	c  661s |      23 |  2558089 |  2493138 |     1929   3222 |        0 |        0
662.99/663.15	c  663s |      23 |  2565815 |  2500638 |     1929   3229 |        0 |        0
664.99/665.17	c  665s |      23 |  2573291 |  2507938 |     1929   3236 |        0 |        0
666.99/667.17	c  667s |      23 |  2580575 |  2515038 |     1929   3243 |        0 |        0
668.99/669.18	c  669s |      23 |  2588072 |  2522338 |     1929   3251 |        0 |        0
671.00/671.18	c  671s |      23 |  2595281 |  2529338 |     1929   3258 |        0 |        0
672.99/673.19	c  673s |      23 |  2602668 |  2536538 |     1929   3265 |        0 |        0
675.09/675.22	c  675s |      23 |  2609821 |  2543538 |     1929   3272 |        0 |        0
677.09/677.22	c  677s |      23 |  2616899 |  2550438 |     1929   3278 |        0 |        0
679.09/679.23	c  679s |      23 |  2624435 |  2557438 |     1929   3285 |        0 |        0
681.09/681.24	c  681s |      23 |  2631550 |  2564238 |     1929   3292 |        0 |        0
683.09/683.24	c  683s |      23 |  2638469 |  2570938 |     1929   3299 |        0 |        0
685.08/685.25	c  685s |      23 |  2645690 |  2577938 |     1929   3305 |        0 |        0
687.08/687.27	c  687s |      23 |  2653105 |  2585038 |     1929   3312 |        0 |        0
689.08/689.27	c  689s |      23 |  2659980 |  2591738 |     1929   3319 |        0 |        0
691.08/691.28	c  691s |      23 |  2666903 |  2598538 |     1929   3326 |        0 |        0
693.08/693.28	c  693s |      23 |  2673789 |  2605238 |     1929   3332 |        0 |        0
695.19/695.31	c  695s |      23 |  2681394 |  2612538 |     1929   3340 |        0 |        0
697.18/697.31	c  697s |      23 |  2688966 |  2619938 |     1929   3347 |        0 |        0
699.18/699.32	c  699s |      23 |  2696210 |  2627038 |     1929   3354 |        0 |        0
701.19/701.33	c  701s |      23 |  2703459 |  2634138 |     1929   3361 |        0 |        0
703.19/703.33	c  703s |      23 |  2710651 |  2641138 |     1929   3368 |        0 |        0
705.19/705.34	c  705s |      23 |  2717887 |  2648138 |     1929   3375 |        0 |        0
707.19/707.37	c  707s |      23 |  2724906 |  2655038 |     1929   3382 |        0 |        0
709.18/709.39	c  709s |      23 |  2732284 |  2662238 |     1929   3389 |        0 |        0
711.18/711.39	c  711s |      23 |  2739560 |  2669338 |     1929   3396 |        0 |        0
713.18/713.39	c  713s |      23 |  2746704 |  2676238 |     1929   3402 |        0 |        0
715.28/715.42	c  715s |      23 |  2753946 |  2683338 |     1929   3410 |        0 |        0
717.28/717.45	c  717s |      23 |  2761157 |  2690438 |     1929   3417 |        0 |        0
719.29/719.46	c  719s |      23 |  2768421 |  2697538 |     1929   3424 |        0 |        0
721.28/721.47	c  721s |      23 |  2775651 |  2704538 |     1929   3430 |        0 |        0
723.38/723.50	c  723s |      23 |  2782720 |  2711438 |     1929   3437 |        0 |        0
725.38/725.51	c  725s |      23 |  2789774 |  2718238 |     1929   3444 |        0 |        0
727.38/727.53	c  727s |      23 |  2796971 |  2725338 |     1929   3451 |        0 |        0
729.38/729.55	c  729s |      23 |  2804316 |  2732438 |     1929   3458 |        0 |        0
731.38/731.57	c  731s |      23 |  2811465 |  2739438 |     1929   3465 |        0 |        0
733.38/733.57	c  733s |      23 |  2818388 |  2746238 |     1929   3472 |        0 |        0
735.38/735.58	c  735s |      23 |  2825505 |  2753138 |     1929   3478 |        0 |        0
737.48/737.60	c  737s |      23 |  2832650 |  2760138 |     1929   3485 |        0 |        0
739.47/739.62	c  739s |      23 |  2839741 |  2767038 |     1929   3492 |        0 |        0
741.47/741.63	c  741s |      23 |  2846886 |  2773938 |     1929   3499 |        0 |        0
743.48/743.66	c  743s |      23 |  2853884 |  2780638 |     1929   3506 |        0 |        0
745.47/745.67	c  745s |      23 |  2860923 |  2787438 |     1929   3512 |        0 |        0
747.57/747.70	c  747s |      23 |  2868460 |  2794738 |     1929   3520 |        0 |        0
749.57/749.71	c  749s |      23 |  2875510 |  2801538 |     1929   3526 |        0 |        0
751.57/751.73	c  751s |      23 |  2882494 |  2808338 |     1929   3533 |        0 |        0
753.57/753.76	c  753s |      23 |  2889381 |  2815038 |     1929   3540 |        0 |        0
755.58/755.79	c  755s |      23 |  2896270 |  2821738 |     1929   3546 |        0 |        0
757.67/757.81	c  757s |      23 |  2903133 |  2828438 |     1929   3553 |        0 |        0
759.67/759.83	c  759s |      23 |  2910950 |  2835938 |     1929   3560 |        0 |        0
761.67/761.84	c  761s |      23 |  2918740 |  2843538 |     1929   3568 |        0 |        0
763.67/763.85	c  763s |      23 |  2926541 |  2851038 |     1929   3575 |        0 |        0
765.68/765.86	c  765s |      23 |  2934229 |  2858438 |     1929   3582 |        0 |        0
767.68/767.87	c  767s |      23 |  2941757 |  2865538 |     1929   3589 |        0 |        0
769.68/769.87	c  769s |      23 |  2949170 |  2872638 |     1929   3596 |        0 |        0
771.68/771.87	c  771s |      23 |  2956579 |  2879738 |     1929   3603 |        0 |        0
773.68/773.89	c  773s |      23 |  2964012 |  2886938 |     1929   3610 |        0 |        0
775.78/775.93	c  775s |      23 |  2971729 |  2894138 |     1929   3618 |        0 |        0
777.77/777.96	c  777s |      23 |  2979257 |  2901238 |     1929   3625 |        0 |        0
779.78/779.98	c  779s |      23 |  2986569 |  2908038 |     1929   3631 |        0 |        0
781.77/781.98	c  781s |      23 |  2993758 |  2914738 |     1929   3638 |        0 |        0
783.87/784.01	c  783s |      23 |  3001096 |  2921838 |     1929   3645 |        0 |        0
785.87/786.02	c  785s |      23 |  3008268 |  2928838 |     1929   3652 |        0 |        0
787.87/788.02	c  788s |      23 |  3015480 |  2935638 |     1929   3658 |        0 |        0
789.87/790.03	c  790s |      23 |  3022729 |  2942538 |     1929   3665 |        0 |        0
791.88/792.04	c  792s |      23 |  3029847 |  2949438 |     1929   3672 |        0 |        0
793.87/794.05	c  794s |      23 |  3037363 |  2956638 |     1929   3679 |        0 |        0
795.87/796.06	c  796s |      23 |  3044446 |  2963538 |     1929   3686 |        0 |        0
797.87/798.07	c  798s |      23 |  3051743 |  2970538 |     1929   3693 |        0 |        0
799.97/800.10	c  800s |      23 |  3058886 |  2977438 |     1929   3700 |        0 |        0
801.97/802.12	c  802s |      23 |  3066298 |  2984438 |     1929   3707 |        0 |        0
803.97/804.12	c  804s |      23 |  3073401 |  2991238 |     1929   3713 |        0 |        0
805.97/806.14	c  806s |      23 |  3080434 |  2998038 |     1929   3720 |        0 |        0
807.96/808.17	c  808s |      23 |  3087771 |  3005138 |     1929   3727 |        0 |        0
809.96/810.18	c  810s |      23 |  3094983 |  3012138 |     1929   3734 |        0 |        0
812.06/812.20	c  812s |      23 |  3102288 |  3019138 |     1929   3741 |        0 |        0
814.06/814.22	c  814s |      23 |  3109544 |  3026138 |     1929   3748 |        0 |        0
816.07/816.23	c  816s |      23 |  3116887 |  3033038 |     1929   3755 |        0 |        0
818.06/818.25	c  818s |      23 |  3124032 |  3039938 |     1929   3762 |        0 |        0
820.06/820.25	c  820s |      23 |  3131196 |  3046738 |     1929   3768 |        0 |        0
822.06/822.26	c  822s |      23 |  3138125 |  3053438 |     1929   3775 |        0 |        0
824.06/824.28	c  824s |      23 |  3145004 |  3060138 |     1929   3781 |        0 |        0
826.07/826.29	c  826s |      23 |  3152015 |  3066938 |     1929   3788 |        0 |        0
828.06/828.29	c  828s |      23 |  3159406 |  3074138 |     1929   3795 |        0 |        0
830.16/830.32	c  830s |      23 |  3166731 |  3081238 |     1929   3802 |        0 |        0
832.16/832.34	c  832s |      23 |  3173954 |  3088238 |     1929   3809 |        0 |        0
834.16/834.36	c  834s |      23 |  3181224 |  3095238 |     1929   3816 |        0 |        0
836.16/836.39	c  836s |      23 |  3188441 |  3102238 |     1929   3823 |        0 |        0
838.26/838.40	c  838s |      23 |  3195674 |  3109238 |     1929   3830 |        0 |        0
840.26/840.42	c  840s |      23 |  3202922 |  3116238 |     1929   3837 |        0 |        0
842.26/842.43	c  842s |      23 |  3209941 |  3123038 |     1929   3844 |        0 |        0
844.26/844.45	c  844s |      23 |  3217184 |  3129838 |     1929   3850 |        0 |        0
846.27/846.46	c  846s |      23 |  3224154 |  3136638 |     1929   3857 |        0 |        0
848.27/848.46	c  848s |      23 |  3231232 |  3143538 |     1929   3864 |        0 |        0
850.27/850.48	c  850s |      23 |  3238221 |  3150338 |     1929   3871 |        0 |        0
852.37/852.50	c  852s |      23 |  3245107 |  3157038 |     1929   3877 |        0 |        0
854.36/854.53	c  854s |      23 |  3252194 |  3163938 |     1929   3884 |        0 |        0
856.36/856.54	c  856s |      23 |  3259184 |  3170638 |     1929   3891 |        0 |        0
858.36/858.57	c  858s |      23 |  3266005 |  3177338 |     1929   3897 |        0 |        0
860.36/860.57	c  860s |      23 |  3272961 |  3184138 |     1929   3904 |        0 |        0
862.37/862.57	c  862s |      23 |  3279820 |  3190838 |     1929   3911 |        0 |        0
864.36/864.60	c  864s |      23 |  3287239 |  3198038 |     1929   3918 |        0 |        0
866.46/866.62	c  866s |      23 |  3294785 |  3205438 |     1929   3925 |        0 |        0
868.46/868.62	c  868s |      23 |  3302116 |  3212538 |     1929   3932 |        0 |        0
870.46/870.64	c  870s |      23 |  3309539 |  3219738 |     1929   3939 |        0 |        0
872.46/872.64	c  872s |      23 |  3316867 |  3226838 |     1929   3946 |        0 |        0
874.47/874.65	c  874s |      23 |  3324103 |  3233838 |     1929   3953 |        0 |        0
876.46/876.68	c  876s |      23 |  3331304 |  3240838 |     1929   3960 |        0 |        0
878.46/878.68	c  878s |      23 |  3338253 |  3247638 |     1929   3967 |        0 |        0
880.56/880.71	c  880s |      23 |  3345481 |  3254638 |     1929   3974 |        0 |        0
882.56/882.71	c  882s |      23 |  3352499 |  3261438 |     1929   3980 |        0 |        0
884.56/884.73	c  884s |      23 |  3359753 |  3268538 |     1929   3987 |        0 |        0
886.56/886.75	c  886s |      23 |  3366721 |  3275338 |     1929   3994 |        0 |        0
888.55/888.77	c  888s |      23 |  3373531 |  3282038 |     1929   4001 |        0 |        0
890.55/890.77	c  890s |      23 |  3380626 |  3289038 |     1929   4007 |        0 |        0
892.55/892.79	c  892s |      23 |  3388042 |  3296138 |     1929   4014 |        0 |        0
894.65/894.80	c  894s |      23 |  3395144 |  3303038 |     1929   4021 |        0 |        0
896.65/896.80	c  896s |      23 |  3402196 |  3309938 |     1929   4028 |        0 |        0
898.66/898.81	c  898s |      23 |  3409069 |  3316638 |     1929   4035 |        0 |        0
900.65/900.83	c  900s |      23 |  3416176 |  3323538 |     1929   4041 |        0 |        0
902.65/902.85	c  902s |      23 |  3423156 |  3330338 |     1929   4048 |        0 |        0
904.64/904.87	c  904s |      23 |  3429980 |  3336938 |     1929   4055 |        0 |        0
906.64/906.88	c  906s |      23 |  3437363 |  3344138 |     1929   4062 |        0 |        0
908.64/908.89	c  908s |      23 |  3444475 |  3351038 |     1929   4069 |        0 |        0
910.75/910.90	c  910s |      23 |  3451490 |  3357838 |     2122   4075 |        0 |        0
912.75/912.91	c  912s |      23 |  3458426 |  3364638 |     2122   4081 |        0 |        0
914.75/914.93	c  914s |      23 |  3465474 |  3371538 |     2122   4087 |        0 |        0
916.26/916.45	c  916s |      24 |  3470705 |  3376662 |     2122   4092 |        0 |        0
918.25/918.46	c  918s |      24 |  3478181 |  3383862 |     2122   4098 |        0 |        0
920.25/920.47	c  920s |      24 |  3485698 |  3391062 |     2122   4105 |        0 |        0
922.25/922.49	c  922s |      24 |  3493279 |  3398362 |     2122   4111 |        0 |        0
924.35/924.51	c  924s |      24 |  3500557 |  3405462 |     2122   4118 |        0 |        0
926.34/926.54	c  926s |      24 |  3507867 |  3412562 |     2122   4124 |        0 |        0
928.35/928.55	c  928s |      24 |  3515088 |  3419562 |     2122   4130 |        0 |        0
930.34/930.56	c  930s |      24 |  3522353 |  3426662 |     2122   4137 |        0 |        0
932.34/932.59	c  932s |      24 |  3529691 |  3433562 |     2122   4143 |        0 |        0
934.44/934.60	c  934s |      24 |  3536765 |  3440362 |     2122   4149 |        0 |        0
936.44/936.63	c  936s |      24 |  3544252 |  3447562 |     2122   4156 |        0 |        0
938.44/938.64	c  938s |      24 |  3551543 |  3454462 |     2122   4162 |        0 |        0
940.45/940.66	c  940s |      24 |  3558509 |  3461162 |     2122   4168 |        0 |        0
942.44/942.69	c  942s |      24 |  3565637 |  3468062 |     2122   4174 |        0 |        0
944.53/944.71	c  944s |      24 |  3572942 |  3475162 |     2122   4180 |        0 |        0
946.53/946.73	c  946s |      24 |  3580288 |  3482262 |     2122   4187 |        0 |        0
948.53/948.74	c  948s |      24 |  3587406 |  3489062 |     2122   4193 |        0 |        0
950.53/950.74	c  950s |      24 |  3594345 |  3495762 |     2122   4199 |        0 |        0
952.54/952.75	c  952s |      24 |  3601072 |  3502162 |     2122   4205 |        0 |        0
954.53/954.76	c  954s |      24 |  3607795 |  3508762 |     2122   4211 |        0 |        0
956.53/956.76	c  956s |      24 |  3615091 |  3515762 |     2122   4217 |        0 |        0
958.53/958.77	c  958s |      24 |  3622173 |  3522662 |     2122   4223 |        0 |        0
960.53/960.78	c  960s |      24 |  3629259 |  3529462 |     2122   4229 |        0 |        0
962.53/962.79	c  962s |      24 |  3635958 |  3535962 |     2122   4235 |        0 |        0
964.53/964.80	c  964s |      24 |  3642834 |  3542562 |     2122   4241 |        0 |        0
966.62/966.82	c  966s |      24 |  3650148 |  3549662 |     2122   4247 |        0 |        0
968.62/968.82	c  968s |      24 |  3657695 |  3557062 |     2122   4254 |        0 |        0
970.63/970.82	c  970s |      24 |  3665204 |  3564262 |     2122   4261 |        0 |        0
972.63/972.83	c  972s |      24 |  3672554 |  3571462 |     2122   4267 |        0 |        0
974.63/974.86	c  974s |      24 |  3679843 |  3578562 |     2122   4273 |        0 |        0
976.63/976.88	c  976s |      24 |  3687026 |  3585562 |     2122   4280 |        0 |        0
978.63/978.89	c  978s |      24 |  3694204 |  3592562 |     2122   4286 |        0 |        0
980.73/980.91	c  980s |      24 |  3701746 |  3599862 |     2122   4293 |        0 |        0
982.73/982.92	c  982s |      24 |  3709095 |  3606962 |     2122   4299 |        0 |        0
984.73/984.94	c  984s |      24 |  3716446 |  3614062 |     2122   4305 |        0 |        0
986.73/986.96	c  986s |      24 |  3723596 |  3621062 |     2122   4312 |        0 |        0
988.73/988.97	c  988s |      24 |  3730803 |  3628062 |     2122   4318 |        0 |        0
990.73/990.99	c  990s |      24 |  3738040 |  3635162 |     2122   4324 |        0 |        0
992.82/993.00	c  992s |      24 |  3745123 |  3642062 |     2122   4331 |        0 |        0
994.82/995.01	c  994s |      24 |  3752275 |  3648962 |     2122   4337 |        0 |        0
996.82/997.01	c  996s |      24 |  3759227 |  3655762 |     2122   4343 |        0 |        0
998.82/999.05	c  999s |      24 |  3766682 |  3662962 |     2122   4350 |        0 |        0
1000.82/1001.05	c 1001s |      24 |  3774322 |  3670262 |     2122   4356 |        0 |        0
1002.82/1003.05	c 1003s |      24 |  3781716 |  3677362 |     2122   4362 |        0 |        0
1004.82/1005.07	c 1005s |      24 |  3789091 |  3684462 |     2122   4369 |        0 |        0
1006.92/1007.10	c 1007s |      24 |  3796129 |  3691262 |     2122   4375 |        0 |        0
1008.91/1009.11	c 1009s |      24 |  3803264 |  3698162 |     2122   4381 |        0 |        0
1010.91/1011.13	c 1011s |      24 |  3810310 |  3704962 |     2122   4387 |        0 |        0
1012.92/1013.14	c 1013s |      24 |  3817761 |  3712162 |     2122   4394 |        0 |        0
1014.91/1015.14	c 1015s |      24 |  3825119 |  3719262 |     2122   4400 |        0 |        0
1016.91/1017.17	c 1017s |      24 |  3832465 |  3726262 |     2122   4407 |        0 |        0
1018.91/1019.19	c 1019s |      24 |  3839826 |  3733262 |     2122   4413 |        0 |        0
1021.01/1021.22	c 1021s |      24 |  3847118 |  3740262 |     2122   4419 |        0 |        0
1023.01/1023.24	c 1023s |      24 |  3854286 |  3747062 |     2122   4425 |        0 |        0
1025.01/1025.25	c 1025s |      24 |  3861110 |  3753762 |     2122   4431 |        0 |        0
1027.00/1027.27	c 1027s |      24 |  3868276 |  3760762 |     2122   4438 |        0 |        0
1029.00/1029.28	c 1029s |      24 |  3875678 |  3767962 |     2122   4444 |        0 |        0
1031.10/1031.31	c 1031s |      24 |  3882803 |  3774862 |     2122   4450 |        0 |        0
1033.10/1033.33	c 1033s |      24 |  3889974 |  3781762 |     2122   4457 |        0 |        0
1035.10/1035.34	c 1035s |      24 |  3897136 |  3788662 |     2122   4463 |        0 |        0
1037.10/1037.36	c 1037s |      24 |  3904332 |  3795662 |     2122   4469 |        0 |        0
1039.10/1039.37	c 1039s |      24 |  3911399 |  3802462 |     2122   4475 |        0 |        0
1041.10/1041.39	c 1041s |      24 |  3918445 |  3809262 |     2122   4481 |        0 |        0
1043.20/1043.41	c 1043s |      24 |  3925289 |  3815962 |     2122   4487 |        0 |        0
1045.19/1045.44	c 1045s |      24 |  3932275 |  3822662 |     2122   4494 |        0 |        0
1047.19/1047.48	c 1047s |      24 |  3939180 |  3829362 |     2122   4500 |        0 |        0
1049.20/1049.50	c 1049s |      24 |  3946344 |  3836262 |     2122   4506 |        0 |        0
1051.29/1051.52	c 1051s |      24 |  3953599 |  3843162 |     2122   4512 |        0 |        0
1053.30/1053.54	c 1053s |      24 |  3961317 |  3850662 |     2122   4519 |        0 |        0
1055.30/1055.57	c 1055s |      24 |  3968786 |  3857962 |     2122   4525 |        0 |        0
1057.29/1057.59	c 1057s |      24 |  3976201 |  3865162 |     2122   4532 |        0 |        0
1059.29/1059.59	c 1059s |      24 |  3983479 |  3872262 |     2122   4538 |        0 |        0
1061.40/1061.61	c 1061s |      24 |  3991341 |  3879762 |     2122   4545 |        0 |        0
1063.39/1063.63	c 1063s |      24 |  3998809 |  3886962 |     2122   4551 |        0 |        0
1065.39/1065.65	c 1065s |      24 |  4006197 |  3893962 |     2122   4558 |        0 |        0
1067.39/1067.67	c 1067s |      24 |  4013447 |  3900862 |     2122   4564 |        0 |        0
1069.39/1069.69	c 1069s |      24 |  4020771 |  3907862 |     2122   4570 |        0 |        0
1071.39/1071.69	c 1071s |      24 |  4027989 |  3914862 |     2122   4577 |        0 |        0
1073.50/1073.70	c 1073s |      24 |  4035304 |  3921962 |     2122   4583 |        0 |        0
1075.48/1075.71	c 1075s |      24 |  4042590 |  3929062 |     2122   4589 |        0 |        0
1077.48/1077.73	c 1077s |      24 |  4049965 |  3936262 |     2122   4596 |        0 |        0
1079.48/1079.75	c 1079s |      24 |  4057323 |  3943362 |     2122   4602 |        0 |        0
1081.48/1081.76	c 1081s |      24 |  4064300 |  3950062 |     2122   4608 |        0 |        0
1083.48/1083.77	c 1083s |      24 |  4071310 |  3956762 |     2122   4614 |        0 |        0
1085.49/1085.78	c 1085s |      24 |  4078712 |  3963962 |     2122   4621 |        0 |        0
1087.58/1087.80	c 1087s |      24 |  4086079 |  3971162 |     2122   4627 |        0 |        0
1089.58/1089.84	c 1089s |      24 |  4093297 |  3978162 |     2122   4634 |        0 |        0
1091.58/1091.85	c 1091s |      24 |  4100489 |  3985062 |     2122   4640 |        0 |        0
1093.58/1093.87	c 1093s |      24 |  4107836 |  3992162 |     2122   4646 |        0 |        0
1095.58/1095.88	c 1095s |      24 |  4115261 |  3999162 |     2122   4652 |        0 |        0
1097.59/1097.88	c 1097s |      24 |  4122161 |  4005662 |     2122   4658 |        0 |        0
1099.68/1099.91	c 1099s |      24 |  4129155 |  4012262 |     2122   4664 |        0 |        0
1101.68/1101.92	c 1101s |      24 |  4136547 |  4019462 |     2122   4671 |        0 |        0
1103.68/1103.94	c 1103s |      24 |  4143735 |  4026462 |     2122   4677 |        0 |        0
1105.67/1105.94	c 1105s |      24 |  4150751 |  4033262 |     2122   4683 |        0 |        0
1107.67/1107.97	c 1107s |      24 |  4158052 |  4040262 |     2122   4690 |        0 |        0
1109.68/1109.99	c 1109s |      24 |  4165078 |  4046962 |     2122   4696 |        0 |        0
1111.67/1111.99	c 1111s |      24 |  4172142 |  4053762 |     2122   4702 |        0 |        0
1113.67/1113.99	c 1113s |      24 |  4179044 |  4060462 |     2122   4708 |        0 |        0
1115.77/1116.01	c 1115s |      24 |  4186192 |  4067462 |     2122   4714 |        0 |        0
1117.77/1118.01	c 1117s |      24 |  4193327 |  4074462 |     2122   4720 |        0 |        0
1119.77/1120.02	c 1120s |      24 |  4200493 |  4081462 |     2122   4727 |        0 |        0
1121.78/1122.04	c 1122s |      24 |  4207665 |  4088462 |     2122   4733 |        0 |        0
1123.77/1124.04	c 1124s |      24 |  4214726 |  4095362 |     2122   4739 |        0 |        0
1125.77/1126.05	c 1126s |      24 |  4221762 |  4102262 |     2122   4745 |        0 |        0
1127.76/1128.05	c 1128s |      24 |  4228666 |  4108862 |     2122   4751 |        0 |        0
1129.76/1130.06	c 1130s |      24 |  4235679 |  4115762 |     2122   4758 |        0 |        0
1131.77/1132.08	c 1132s |      24 |  4242733 |  4122662 |     2122   4764 |        0 |        0
1133.76/1134.10	c 1134s |      24 |  4249802 |  4129562 |     2122   4770 |        0 |        0
1135.86/1136.11	c 1136s |      24 |  4256961 |  4136562 |     2122   4776 |        0 |        0
1137.86/1138.13	c 1138s |      24 |  4263732 |  4143162 |     2122   4782 |        0 |        0
1139.86/1140.15	c 1140s |      24 |  4270859 |  4149962 |     2122   4788 |        0 |        0
1141.86/1142.17	c 1142s |      24 |  4278336 |  4157162 |     2122   4795 |        0 |        0
1143.86/1144.19	c 1144s |      24 |  4286305 |  4164662 |     2122   4802 |        0 |        0
1145.85/1146.19	c 1146s |      24 |  4293792 |  4171862 |     2122   4808 |        0 |        0
1147.95/1148.21	c 1148s |      24 |  4301075 |  4178862 |     2122   4814 |        0 |        0
1149.95/1150.21	c 1150s |      24 |  4308795 |  4186162 |     2122   4821 |        0 |        0
1151.95/1152.22	c 1152s |      24 |  4316191 |  4193262 |     2122   4827 |        0 |        0
1153.95/1154.22	c 1154s |      24 |  4323411 |  4200262 |     2122   4834 |        0 |        0
1155.95/1156.23	c 1156s |      24 |  4330666 |  4207162 |     2122   4840 |        0 |        0
1157.95/1158.26	c 1158s |      24 |  4338013 |  4214262 |     2122   4846 |        0 |        0
1159.94/1160.26	c 1160s |      24 |  4345216 |  4221262 |     2122   4853 |        0 |        0
1161.94/1162.28	c 1162s |      24 |  4352593 |  4228362 |     2122   4859 |        0 |        0
1163.94/1164.28	c 1164s |      24 |  4359646 |  4235262 |     2122   4865 |        0 |        0
1166.04/1166.30	c 1166s |      24 |  4366981 |  4242362 |     2122   4872 |        0 |        0
1168.05/1168.32	c 1168s |      24 |  4374221 |  4249462 |     2122   4878 |        0 |        0
1170.04/1170.35	c 1170s |      24 |  4381234 |  4256262 |     2122   4884 |        0 |        0
1172.04/1172.37	c 1172s |      24 |  4388796 |  4263662 |     2122   4891 |        0 |        0
1174.04/1174.37	c 1174s |      24 |  4396199 |  4270862 |     2122   4897 |        0 |        0
1176.04/1176.39	c 1176s |      24 |  4403525 |  4277962 |     2122   4904 |        0 |        0
1178.14/1178.40	c 1178s |      24 |  4410860 |  4285062 |     2122   4910 |        0 |        0
1180.14/1180.41	c 1180s |      24 |  4418052 |  4291962 |     2122   4916 |        0 |        0
1182.14/1182.43	c 1182s |      24 |  4425475 |  4299162 |     2122   4923 |        0 |        0
1184.13/1184.44	c 1184s |      24 |  4432877 |  4306362 |     2122   4929 |        0 |        0
1186.13/1186.44	c 1186s |      24 |  4440205 |  4313462 |     2122   4936 |        0 |        0
1188.13/1188.46	c 1188s |      24 |  4447333 |  4320362 |     2122   4942 |        0 |        0
1190.13/1190.48	c 1190s |      24 |  4454380 |  4327162 |     2122   4948 |        0 |        0
1192.24/1192.50	c 1192s |      24 |  4461572 |  4334162 |     2122   4954 |        0 |        0
1194.23/1194.50	c 1194s |      24 |  4468587 |  4341062 |     2122   4961 |        0 |        0
1196.23/1196.52	c 1196s |      24 |  4475964 |  4348062 |     2122   4967 |        0 |        0
1198.23/1198.53	c 1198s |      24 |  4483169 |  4354862 |     2122   4973 |        0 |        0
1200.23/1200.54	c 1200s |      24 |  4490331 |  4361762 |     2122   4979 |        0 |        0
1202.23/1202.54	c 1202s |      24 |  4497655 |  4368762 |     2122   4986 |        0 |        0
1204.24/1204.57	c 1204s |      24 |  4504913 |  4375862 |     2122   4992 |        0 |        0
1206.23/1206.58	c 1206s |      24 |  4512138 |  4382862 |     2122   4998 |        0 |        0
1208.23/1208.59	c 1208s |      24 |  4519215 |  4389762 |     2122   5005 |        0 |        0
1210.33/1210.60	c 1210s |      24 |  4526461 |  4396862 |     2122   5011 |        0 |        0
1212.33/1212.62	c 1212s |      24 |  4533661 |  4403962 |     2122   5017 |        0 |        0
1214.32/1214.62	c 1214s |      24 |  4540722 |  4410762 |     2122   5024 |        0 |        0
1216.33/1216.63	c 1216s |      24 |  4547700 |  4417662 |     2122   5030 |        0 |        0
1218.32/1218.64	c 1218s |      24 |  4554918 |  4424662 |     2122   5036 |        0 |        0
1220.32/1220.67	c 1220s |      24 |  4562172 |  4431762 |     2122   5042 |        0 |        0
1222.32/1222.69	c 1222s |      24 |  4569533 |  4438762 |     2122   5049 |        0 |        0
1224.42/1224.71	c 1224s |      24 |  4576945 |  4445762 |     2122   5055 |        0 |        0
1226.42/1226.72	c 1226s |      24 |  4583843 |  4452462 |     2122   5061 |        0 |        0
1228.43/1228.72	c 1228s |      24 |  4591102 |  4459462 |     2122   5067 |        0 |        0
1230.42/1230.75	c 1230s |      24 |  4598108 |  4466362 |     2122   5074 |        0 |        0
1232.42/1232.78	c 1232s |      24 |  4605273 |  4473262 |     2122   5080 |        0 |        0
1234.42/1234.79	c 1234s |      24 |  4612422 |  4480162 |     2122   5086 |        0 |        0
1236.52/1236.81	c 1236s |      24 |  4619911 |  4487462 |     2122   5093 |        0 |        0
1238.52/1238.83	c 1238s |      24 |  4627519 |  4494762 |     2122   5099 |        0 |        0
1240.52/1240.84	c 1240s |      24 |  4635011 |  4502062 |     2122   5106 |        0 |        0
1242.52/1242.86	c 1242s |      24 |  4642317 |  4509162 |     2122   5112 |        0 |        0
1244.51/1244.88	c 1244s |      24 |  4649593 |  4516162 |     2122   5119 |        0 |        0
1246.51/1246.89	c 1246s |      24 |  4656869 |  4523162 |     2122   5125 |        0 |        0
1248.61/1248.90	c 1248s |      24 |  4664056 |  4530062 |     2122   5131 |        0 |        0
1250.61/1250.92	c 1250s |      24 |  4671324 |  4537062 |     2122   5137 |        0 |        0
1252.62/1252.94	c 1252s |      24 |  4678418 |  4543962 |     2122   5144 |        0 |        0
1254.61/1254.95	c 1254s |      24 |  4685534 |  4550862 |     2122   5150 |        0 |        0
1256.61/1256.96	c 1256s |      24 |  4692672 |  4557862 |     2122   5156 |        0 |        0
1258.71/1259.00	c 1258s |      24 |  4699915 |  4564862 |     2122   5163 |        0 |        0
1260.70/1261.01	c 1260s |      24 |  4707152 |  4571762 |     2122   5169 |        0 |        0
1262.71/1263.02	c 1262s |      24 |  4714337 |  4578662 |     2122   5175 |        0 |        0
1264.72/1265.03	c 1265s |      24 |  4721305 |  4585362 |     2122   5181 |        0 |        0
1266.71/1267.03	c 1267s |      24 |  4728602 |  4592362 |     2122   5187 |        0 |        0
1268.71/1269.04	c 1269s |      24 |  4735721 |  4599062 |     2122   5193 |        0 |        0
1270.71/1271.04	c 1271s |      24 |  4742594 |  4605762 |     2122   5200 |        0 |        0
1272.71/1273.05	c 1273s |      24 |  4749479 |  4612462 |     2122   5206 |        0 |        0
1274.71/1275.07	c 1275s |      24 |  4757710 |  4620462 |     2122   5213 |        0 |        0
1276.70/1277.09	c 1277s |      24 |  4766016 |  4628362 |     2122   5220 |        0 |        0
1278.80/1279.11	c 1279s |      24 |  4774005 |  4635962 |     2122   5227 |        0 |        0
1280.80/1281.13	c 1281s |      24 |  4781633 |  4643362 |     2122   5233 |        0 |        0
1282.80/1283.13	c 1283s |      24 |  4789247 |  4650662 |     2122   5240 |        0 |        0
1284.80/1285.16	c 1285s |      24 |  4797070 |  4658162 |     2122   5247 |        0 |        0
1286.81/1287.17	c 1287s |      24 |  4804559 |  4665462 |     2122   5253 |        0 |        0
1288.80/1289.19	c 1289s |      24 |  4812194 |  4672862 |     2122   5260 |        0 |        0
1290.90/1291.21	c 1291s |      24 |  4819629 |  4680162 |     2122   5266 |        0 |        0
1292.90/1293.22	c 1293s |      24 |  4826936 |  4687062 |     2122   5273 |        0 |        0
1294.89/1295.22	c 1295s |      24 |  4834540 |  4694262 |     2122   5279 |        0 |        0
1296.89/1297.25	c 1297s |      24 |  4841925 |  4701462 |     2122   5286 |        0 |        0
1298.90/1299.27	c 1299s |      24 |  4849392 |  4708762 |     2122   5292 |        0 |        0
1300.89/1301.30	c 1301s |      24 |  4856574 |  4715762 |     2122   5299 |        0 |        0
1302.99/1303.31	c 1303s |      24 |  4864226 |  4723162 |     2122   5305 |        0 |        0
1304.99/1305.32	c 1305s |      24 |  4871702 |  4730462 |     2122   5312 |        0 |        0
1306.99/1307.33	c 1307s |      24 |  4879340 |  4737862 |     2122   5318 |        0 |        0
1308.99/1309.36	c 1309s |      24 |  4886739 |  4745062 |     2122   5325 |        0 |        0
1310.99/1311.37	c 1311s |      24 |  4893956 |  4752062 |     2122   5331 |        0 |        0
1312.99/1313.40	c 1313s |      24 |  4901396 |  4759162 |     2122   5338 |        0 |        0
1315.08/1315.41	c 1315s |      24 |  4908673 |  4766162 |     2122   5344 |        0 |        0
1317.08/1317.42	c 1317s |      24 |  4916416 |  4773662 |     2122   5351 |        0 |        0
1319.08/1319.42	c 1319s |      24 |  4923828 |  4780862 |     2122   5357 |        0 |        0
1321.08/1321.43	c 1321s |      24 |  4931158 |  4787962 |     2122   5364 |        0 |        0
1323.09/1323.44	c 1323s |      24 |  4938634 |  4795162 |     2122   5370 |        0 |        0
1325.08/1325.45	c 1325s |      24 |  4946087 |  4802362 |     2122   5376 |        0 |        0
1327.08/1327.45	c 1327s |      24 |  4953412 |  4809362 |     2122   5383 |        0 |        0
1329.08/1329.46	c 1329s |      24 |  4960646 |  4816362 |     2122   5389 |        0 |        0
1331.07/1331.48	c 1331s |      24 |  4967790 |  4823262 |     2122   5395 |        0 |        0
1333.07/1333.49	c 1333s |      24 |  4975486 |  4830762 |     2122   5402 |        0 |        0
1335.18/1335.52	c 1335s |      24 |  4983077 |  4838162 |     2122   5409 |        0 |        0
1337.17/1337.53	c 1337s |      24 |  4990599 |  4845562 |     2122   5415 |        0 |        0
1339.17/1339.54	c 1339s |      24 |  4997914 |  4852762 |     2122   5422 |        0 |        0
1341.17/1341.54	c 1341s |      24 |  5005230 |  4859862 |     2122   5428 |        0 |        0
1343.17/1343.57	c 1343s |      24 |  5012696 |  4867162 |     2122   5435 |        0 |        0
1345.17/1345.59	c 1345s |      24 |  5019888 |  4874162 |     2122   5441 |        0 |        0
1347.27/1347.61	c 1347s |      24 |  5027059 |  4881162 |     2122   5448 |        0 |        0
1349.26/1349.63	c 1349s |      24 |  5034509 |  4888262 |     2122   5454 |        0 |        0
1351.26/1351.65	c 1351s |      24 |  5042227 |  4895762 |     2122   5461 |        0 |        0
1353.26/1353.67	c 1353s |      24 |  5049709 |  4903162 |     2122   5467 |        0 |        0
1355.26/1355.69	c 1355s |      24 |  5057170 |  4910462 |     2122   5474 |        0 |        0
1357.36/1357.71	c 1357s |      24 |  5064850 |  4917862 |     2122   5481 |        0 |        0
1359.37/1359.72	c 1359s |      24 |  5072233 |  4924962 |     2122   5487 |        0 |        0
1361.36/1361.74	c 1361s |      24 |  5079991 |  4932362 |     2122   5494 |        0 |        0
1363.36/1363.76	c 1363s |      24 |  5087177 |  4939362 |     2122   5500 |        0 |        0
1365.35/1365.78	c 1365s |      24 |  5094626 |  4946562 |     2122   5506 |        0 |        0
1367.35/1367.78	c 1367s |      24 |  5102038 |  4953762 |     2122   5513 |        0 |        0
1369.35/1369.79	c 1369s |      24 |  5109314 |  4960862 |     2122   5519 |        0 |        0
1371.46/1371.81	c 1371s |      24 |  5116784 |  4968062 |     2122   5526 |        0 |        0
1373.45/1373.81	c 1373s |      24 |  5124032 |  4975062 |     2122   5532 |        0 |        0
1375.45/1375.82	c 1375s |      24 |  5131065 |  4981962 |     2122   5538 |        0 |        0
1377.45/1377.82	c 1377s |      24 |  5138421 |  4989062 |     2122   5545 |        0 |        0
1379.45/1379.85	c 1379s |      24 |  5145676 |  4996062 |     2122   5551 |        0 |        0
1381.46/1381.87	c 1381s |      24 |  5152700 |  5002862 |     2122   5557 |        0 |        0
1383.47/1383.88	c 1383s |      24 |  5159760 |  5009662 |     2122   5563 |        0 |        0
1385.55/1385.90	c 1385s |      24 |  5167412 |  5017062 |     2122   5570 |        0 |        0
1387.55/1387.92	c 1387s |      24 |  5174839 |  5024262 |     2122   5577 |        0 |        0
1389.55/1389.93	c 1389s |      24 |  5182501 |  5031762 |     2335   5583 |        0 |        0
1391.55/1391.95	c 1391s |      24 |  5189792 |  5038862 |     2335   5589 |        0 |        0
1393.55/1393.97	c 1393s |      24 |  5196992 |  5045862 |     2335   5595 |        0 |        0
1395.56/1395.98	c 1395s |      24 |  5204159 |  5052862 |     2335   5600 |        0 |        0
1397.55/1397.99	c 1397s |      24 |  5211168 |  5059662 |     2335   5606 |        0 |        0
1399.05/1399.48	c 1399s |      25 |  5216736 |  5065098 |     2335   5610 |        0 |        0
1401.06/1401.50	c 1401s |      25 |  5224772 |  5072798 |     2335   5617 |        0 |        0
1403.15/1403.52	c 1403s |      25 |  5232987 |  5080698 |     2335   5623 |        0 |        0
1405.14/1405.54	c 1405s |      25 |  5240935 |  5088398 |     2335   5629 |        0 |        0
1407.14/1407.56	c 1407s |      25 |  5248576 |  5095798 |     2335   5636 |        0 |        0
1409.14/1409.58	c 1409s |      25 |  5256452 |  5103398 |     2335   5642 |        0 |        0
1411.24/1411.61	c 1411s |      25 |  5264460 |  5111098 |     2335   5648 |        0 |        0
1413.25/1413.62	c 1413s |      25 |  5272248 |  5118598 |     2335   5654 |        0 |        0
1415.24/1415.62	c 1415s |      25 |  5280022 |  5126098 |     2335   5660 |        0 |        0
1417.24/1417.65	c 1417s |      25 |  5287663 |  5133498 |     2335   5667 |        0 |        0
1419.24/1419.66	c 1419s |      25 |  5295462 |  5140998 |     2335   5673 |        0 |        0
1421.24/1421.69	c 1421s |      25 |  5303053 |  5148398 |     2335   5679 |        0 |        0
1423.33/1423.71	c 1423s |      25 |  5310752 |  5155798 |     2335   5685 |        0 |        0
1425.34/1425.73	c 1425s |      25 |  5318143 |  5162698 |     2335   5691 |        0 |        0
1427.33/1427.75	c 1427s |      25 |  5325961 |  5170198 |     2335   5697 |        0 |        0
1429.33/1429.77	c 1429s |      25 |  5333853 |  5177698 |     2335   5703 |        0 |        0
1431.33/1431.78	c 1431s |      25 |  5341531 |  5184998 |     2335   5709 |        0 |        0
1433.43/1433.80	c 1433s |      25 |  5349057 |  5192298 |     2335   5715 |        0 |        0
1435.43/1435.80	c 1435s |      25 |  5356555 |  5199398 |     2335   5721 |        0 |        0
1437.43/1437.81	c 1437s |      25 |  5364504 |  5206698 |     2335   5727 |        0 |        0
1439.43/1439.83	c 1439s |      25 |  5371827 |  5213698 |     2335   5733 |        0 |        0
1441.42/1441.83	c 1441s |      25 |  5379852 |  5221498 |     2335   5739 |        0 |        0
1443.42/1443.85	c 1443s |      25 |  5387728 |  5228998 |     2335   5745 |        0 |        0
1445.42/1445.86	c 1445s |      25 |  5395542 |  5236598 |     2335   5751 |        0 |        0
1447.42/1447.88	c 1447s |      25 |  5403237 |  5244098 |     2335   5757 |        0 |        0
1449.43/1449.89	c 1449s |      25 |  5411010 |  5251598 |     2335   5764 |        0 |        0
1451.52/1451.90	c 1451s |      25 |  5418579 |  5258998 |     2335   5770 |        0 |        0
1453.52/1453.91	c 1453s |      25 |  5425926 |  5266198 |     2335   5776 |        0 |        0
1455.52/1455.93	c 1455s |      25 |  5433589 |  5273698 |     2335   5782 |        0 |        0
1457.52/1457.93	c 1457s |      25 |  5441122 |  5280998 |     2335   5788 |        0 |        0
1459.52/1459.93	c 1459s |      25 |  5448545 |  5288198 |     2335   5794 |        0 |        0
1461.52/1461.95	c 1461s |      25 |  5456262 |  5295698 |     2335   5800 |        0 |        0
1463.52/1463.97	c 1463s |      25 |  5463806 |  5302998 |     2335   5806 |        0 |        0
1465.51/1465.98	c 1465s |      25 |  5471377 |  5310298 |     2335   5812 |        0 |        0
1467.51/1467.99	c 1467s |      25 |  5478820 |  5317598 |     2335   5818 |        0 |        0
1469.61/1470.02	c 1470s |      25 |  5486295 |  5324698 |     2335   5824 |        0 |        0
1471.61/1472.04	c 1472s |      25 |  5493900 |  5332098 |     2335   5830 |        0 |        0
1473.62/1474.06	c 1474s |      25 |  5501614 |  5339698 |     2335   5836 |        0 |        0
1475.61/1476.08	c 1476s |      25 |  5509046 |  5346898 |     2335   5842 |        0 |        0
1477.61/1478.09	c 1478s |      25 |  5516524 |  5354198 |     2335   5848 |        0 |        0
1479.71/1480.11	c 1480s |      25 |  5523910 |  5361398 |     2335   5854 |        0 |        0
1481.71/1482.12	c 1482s |      25 |  5531433 |  5368598 |     2335   5860 |        0 |        0
1483.71/1484.13	c 1484s |      25 |  5538599 |  5375598 |     2335   5866 |        0 |        0
1485.72/1486.13	c 1486s |      25 |  5545762 |  5382498 |     2335   5871 |        0 |        0
1487.71/1488.15	c 1488s |      25 |  5553826 |  5390398 |     2335   5878 |        0 |        0
1489.71/1490.15	c 1490s |      25 |  5561464 |  5397898 |     2335   5884 |        0 |        0
1491.71/1492.18	c 1492s |      25 |  5569219 |  5405398 |     2335   5890 |        0 |        0
1493.71/1494.19	c 1494s |      25 |  5576807 |  5412798 |     2335   5896 |        0 |        0
1495.81/1496.21	c 1496s |      25 |  5584554 |  5420298 |     2335   5902 |        0 |        0
1497.81/1498.22	c 1498s |      25 |  5592122 |  5427598 |     2335   5908 |        0 |        0
1499.81/1500.23	c 1500s |      25 |  5599826 |  5435098 |     2335   5914 |        0 |        0
1501.80/1502.24	c 1502s |      25 |  5607251 |  5442398 |     2335   5920 |        0 |        0
1503.80/1504.24	c 1504s |      25 |  5615036 |  5449898 |     2335   5927 |        0 |        0
1505.80/1506.25	c 1506s |      25 |  5622712 |  5457398 |     2335   5933 |        0 |        0
1507.81/1508.26	c 1508s |      25 |  5630193 |  5464698 |     2335   5939 |        0 |        0
1509.80/1510.27	c 1510s |      25 |  5637727 |  5471998 |     2335   5945 |        0 |        0
1511.80/1512.27	c 1512s |      25 |  5645416 |  5479198 |     2335   5951 |        0 |        0
1513.80/1514.29	c 1514s |      25 |  5652727 |  5486298 |     2335   5957 |        0 |        0
1515.90/1516.30	c 1516s |      25 |  5660243 |  5493598 |     2335   5963 |        0 |        0
1517.90/1518.33	c 1518s |      25 |  5667779 |  5500898 |     2335   5969 |        0 |        0
1519.90/1520.34	c 1520s |      25 |  5675187 |  5508098 |     2335   5975 |        0 |        0
1521.89/1522.35	c 1522s |      25 |  5682389 |  5515098 |     2335   5980 |        0 |        0
1523.89/1524.36	c 1524s |      25 |  5689563 |  5522098 |     2335   5986 |        0 |        0
1525.89/1526.37	c 1526s |      25 |  5697257 |  5529598 |     2335   5992 |        0 |        0
1527.89/1528.38	c 1528s |      25 |  5704863 |  5536998 |     2335   5998 |        0 |        0
1529.89/1530.38	c 1530s |      25 |  5712037 |  5543998 |     2335   6004 |        0 |        0
1531.90/1532.38	c 1532s |      25 |  5719385 |  5551098 |     2335   6010 |        0 |        0
1533.99/1534.40	c 1534s |      25 |  5726671 |  5558098 |     2335   6016 |        0 |        0
1535.99/1536.41	c 1536s |      25 |  5733803 |  5565098 |     2335   6021 |        0 |        0
1537.99/1538.43	c 1538s |      25 |  5740898 |  5571998 |     2335   6027 |        0 |        0
1539.99/1540.45	c 1540s |      25 |  5748949 |  5579698 |     2335   6033 |        0 |        0
1541.99/1542.46	c 1542s |      25 |  5756764 |  5587298 |     2335   6040 |        0 |        0
1543.99/1544.47	c 1544s |      25 |  5764476 |  5594798 |     2335   6046 |        0 |        0
1545.98/1546.47	c 1546s |      25 |  5772102 |  5602198 |     2335   6052 |        0 |        0
1547.98/1548.49	c 1548s |      25 |  5779866 |  5609698 |     2335   6058 |        0 |        0
1550.08/1550.50	c 1550s |      25 |  5787397 |  5616998 |     2335   6064 |        0 |        0
1552.08/1552.50	c 1552s |      25 |  5794940 |  5624298 |     2335   6070 |        0 |        0
1554.08/1554.51	c 1554s |      25 |  5802670 |  5631698 |     2335   6076 |        0 |        0
1556.09/1556.52	c 1556s |      25 |  5810215 |  5638898 |     2335   6082 |        0 |        0
1558.08/1558.53	c 1558s |      25 |  5817476 |  5645898 |     2335   6088 |        0 |        0
1560.08/1560.53	c 1560s |      25 |  5825060 |  5653298 |     2335   6094 |        0 |        0
1562.08/1562.55	c 1562s |      25 |  5832665 |  5660698 |     2335   6100 |        0 |        0
1564.08/1564.59	c 1564s |      25 |  5840198 |  5667998 |     2335   6106 |        0 |        0
1566.18/1566.61	c 1566s |      25 |  5847822 |  5675398 |     2335   6112 |        0 |        0
1568.19/1568.62	c 1568s |      25 |  5855306 |  5682598 |     2335   6118 |        0 |        0
1570.18/1570.64	c 1570s |      25 |  5862680 |  5689798 |     2335   6124 |        0 |        0
1572.18/1572.65	c 1572s |      25 |  5869836 |  5696698 |     2335   6130 |        0 |        0
1574.18/1574.66	c 1574s |      25 |  5877553 |  5704198 |     2335   6136 |        0 |        0
1576.18/1576.69	c 1576s |      25 |  5885073 |  5711598 |     2335   6142 |        0 |        0
1578.18/1578.69	c 1578s |      25 |  5892548 |  5718898 |     2335   6148 |        0 |        0
1580.18/1580.70	c 1580s |      25 |  5899961 |  5726098 |     2335   6154 |        0 |        0
1582.28/1582.72	c 1582s |      25 |  5907462 |  5733298 |     2335   6160 |        0 |        0
1584.28/1584.72	c 1584s |      25 |  5914684 |  5740298 |     2335   6165 |        0 |        0
1586.27/1586.73	c 1586s |      25 |  5921910 |  5747298 |     2335   6171 |        0 |        0
1588.27/1588.75	c 1588s |      25 |  5929340 |  5754498 |     2335   6177 |        0 |        0
1590.28/1590.78	c 1590s |      25 |  5936517 |  5761498 |     2335   6183 |        0 |        0
1592.38/1592.81	c 1592s |      25 |  5943798 |  5768598 |     2335   6189 |        0 |        0
1594.37/1594.83	c 1594s |      25 |  5951410 |  5775798 |     2335   6195 |        0 |        0
1596.37/1596.85	c 1596s |      25 |  5958928 |  5783098 |     2335   6201 |        0 |        0
1598.37/1598.87	c 1598s |      25 |  5966371 |  5790298 |     2335   6207 |        0 |        0
1600.37/1600.87	c 1600s |      25 |  5973757 |  5797498 |     2335   6212 |        0 |        0
1602.38/1602.87	c 1602s |      25 |  5981318 |  5804698 |     2335   6218 |        0 |        0
1604.37/1604.88	c 1604s |      25 |  5988485 |  5811598 |     2335   6224 |        0 |        0
1606.37/1606.88	c 1606s |      25 |  5995709 |  5818598 |     2335   6230 |        0 |        0
1608.47/1608.92	c 1608s |      25 |  6002962 |  5825598 |     2335   6236 |        0 |        0
1610.47/1610.93	c 1610s |      25 |  6011010 |  5833398 |     2335   6242 |        0 |        0
1612.47/1612.95	c 1612s |      25 |  6018845 |  5840998 |     2335   6248 |        0 |        0
1614.48/1614.96	c 1614s |      25 |  6026531 |  5848498 |     2335   6254 |        0 |        0
1616.47/1616.98	c 1616s |      25 |  6034363 |  5856198 |     2335   6261 |        0 |        0
1618.47/1618.99	c 1618s |      25 |  6042071 |  5863698 |     2335   6267 |        0 |        0
1620.57/1621.01	c 1620s |      25 |  6049957 |  5871398 |     2335   6273 |        0 |        0
1622.57/1623.03	c 1623s |      25 |  6057678 |  5878698 |     2335   6279 |        0 |        0
1624.57/1625.05	c 1625s |      25 |  6065150 |  5885998 |     2335   6285 |        0 |        0
1626.57/1627.06	c 1627s |      25 |  6072709 |  5893398 |     2335   6291 |        0 |        0
1628.57/1629.08	c 1629s |      25 |  6080270 |  5900698 |     2335   6297 |        0 |        0
1630.57/1631.09	c 1631s |      25 |  6087995 |  5908198 |     2335   6303 |        0 |        0
1632.68/1633.10	c 1633s |      25 |  6095482 |  5915498 |     2335   6309 |        0 |        0
1634.68/1635.13	c 1635s |      25 |  6103062 |  5922798 |     2335   6315 |        0 |        0
1636.67/1637.14	c 1637s |      25 |  6110400 |  5929898 |     2335   6321 |        0 |        0
1638.68/1639.14	c 1639s |      25 |  6117600 |  5936998 |     2335   6327 |        0 |        0
1640.67/1641.15	c 1641s |      25 |  6125173 |  5944398 |     2335   6333 |        0 |        0
1642.67/1643.17	c 1643s |      25 |  6132715 |  5951698 |     2335   6339 |        0 |        0
1644.77/1645.20	c 1645s |      25 |  6140092 |  5958898 |     2335   6345 |        0 |        0
1646.77/1647.21	c 1647s |      25 |  6147478 |  5966098 |     2335   6351 |        0 |        0
1648.77/1649.22	c 1649s |      25 |  6154684 |  5973098 |     2335   6357 |        0 |        0
1650.78/1651.24	c 1651s |      25 |  6162055 |  5980298 |     2335   6363 |        0 |        0
1652.77/1653.27	c 1653s |      25 |  6169325 |  5987398 |     2335   6369 |        0 |        0
1654.77/1655.27	c 1655s |      25 |  6176900 |  5994798 |     2335   6375 |        0 |        0
1656.87/1657.30	c 1657s |      25 |  6184515 |  6002198 |     2335   6381 |        0 |        0
1658.87/1659.30	c 1659s |      25 |  6192215 |  6009498 |     2335   6387 |        0 |        0
1660.87/1661.32	c 1661s |      25 |  6199515 |  6016598 |     2335   6393 |        0 |        0
1662.87/1663.34	c 1663s |      25 |  6206896 |  6023698 |     2335   6398 |        0 |        0
1664.87/1665.35	c 1665s |      25 |  6214241 |  6030798 |     2335   6404 |        0 |        0
1666.86/1667.38	c 1667s |      25 |  6221603 |  6037798 |     2335   6410 |        0 |        0
1668.86/1669.39	c 1669s |      25 |  6229289 |  6045098 |     2335   6416 |        0 |        0
1670.96/1671.40	c 1671s |      25 |  6236944 |  6052398 |     2335   6422 |        0 |        0
1672.96/1673.41	c 1673s |      25 |  6244563 |  6059598 |     2335   6428 |        0 |        0
1674.97/1675.42	c 1675s |      25 |  6251978 |  6066698 |     2335   6434 |        0 |        0
1676.96/1677.44	c 1677s |      25 |  6259526 |  6073898 |     2335   6440 |        0 |        0
1678.96/1679.45	c 1679s |      25 |  6266880 |  6080898 |     2335   6445 |        0 |        0
1680.96/1681.45	c 1681s |      25 |  6274302 |  6088098 |     2335   6451 |        0 |        0
1682.96/1683.46	c 1683s |      25 |  6281760 |  6095298 |     2335   6457 |        0 |        0
1684.96/1685.48	c 1685s |      25 |  6289090 |  6102498 |     2335   6463 |        0 |        0
1686.97/1687.48	c 1687s |      25 |  6296297 |  6109498 |     2335   6469 |        0 |        0
1688.96/1689.49	c 1689s |      25 |  6303941 |  6116798 |     2335   6475 |        0 |        0
1691.06/1691.51	c 1691s |      25 |  6310964 |  6123698 |     2335   6481 |        0 |        0
1693.06/1693.54	c 1693s |      25 |  6318162 |  6130598 |     2335   6486 |        0 |        0
1695.06/1695.55	c 1695s |      25 |  6325569 |  6137698 |     2335   6492 |        0 |        0
1697.07/1697.57	c 1697s |      25 |  6332725 |  6144698 |     2335   6498 |        0 |        0
1699.07/1699.58	c 1699s |      25 |  6339938 |  6151698 |     2335   6504 |        0 |        0
1701.16/1701.60	c 1701s |      25 |  6347230 |  6158698 |     2335   6509 |        0 |        0
1703.16/1703.60	c 1703s |      25 |  6354470 |  6165698 |     2335   6515 |        0 |        0
1705.16/1705.62	c 1705s |      25 |  6361892 |  6172998 |     2335   6521 |        0 |        0
1707.16/1707.64	c 1707s |      25 |  6369186 |  6180098 |     2335   6527 |        0 |        0
1709.16/1709.66	c 1709s |      25 |  6376422 |  6187198 |     2335   6533 |        0 |        0
1711.17/1711.67	c 1711s |      25 |  6383940 |  6194598 |     2335   6539 |        0 |        0
1713.16/1713.69	c 1713s |      25 |  6391258 |  6201698 |     2335   6545 |        0 |        0
1715.16/1715.70	c 1715s |      25 |  6398490 |  6208698 |     2335   6551 |        0 |        0
1717.16/1717.70	c 1717s |      25 |  6405695 |  6215798 |     2335   6556 |        0 |        0
1719.26/1719.71	c 1719s |      25 |  6412761 |  6222698 |     2335   6562 |        0 |        0
1721.26/1721.73	c 1721s |      25 |  6420125 |  6229798 |     2335   6568 |        0 |        0
1723.26/1723.75	c 1723s |      25 |  6427290 |  6236798 |     2335   6574 |        0 |        0
1725.25/1725.78	c 1725s |      25 |  6434297 |  6243598 |     2335   6579 |        0 |        0
1727.25/1727.78	c 1727s |      25 |  6441346 |  6250398 |     2335   6585 |        0 |        0
1729.35/1729.81	c 1729s |      25 |  6448343 |  6257298 |     2335   6591 |        0 |        0
1731.35/1731.82	c 1731s |      25 |  6455526 |  6264298 |     2335   6596 |        0 |        0
1733.35/1733.83	c 1733s |      25 |  6462491 |  6271098 |     2335   6602 |        0 |        0
1735.36/1735.86	c 1735s |      25 |  6469635 |  6277998 |     2335   6608 |        0 |        0
1737.35/1737.88	c 1737s |      25 |  6476685 |  6284898 |     2335   6613 |        0 |        0
1739.35/1739.88	c 1739s |      25 |  6484657 |  6292698 |     2335   6620 |        0 |        0
1741.45/1741.90	c 1741s |      25 |  6492229 |  6299998 |     2335   6626 |        0 |        0
1743.45/1743.90	c 1743s |      25 |  6499654 |  6307098 |     2335   6631 |        0 |        0
1745.46/1745.93	c 1745s |      25 |  6507309 |  6314498 |     2335   6638 |        0 |        0
1747.46/1747.94	c 1747s |      25 |  6514983 |  6321898 |     2335   6644 |        0 |        0
1749.46/1749.96	c 1749s |      25 |  6522349 |  6329098 |     2335   6650 |        0 |        0
1751.45/1751.98	c 1751s |      25 |  6529848 |  6336298 |     2335   6655 |        0 |        0
1753.45/1753.99	c 1753s |      25 |  6537480 |  6343698 |     2335   6662 |        0 |        0
1755.55/1756.01	c 1755s |      25 |  6545091 |  6350998 |     2335   6668 |        0 |        0
1757.55/1758.02	c 1757s |      25 |  6552401 |  6358098 |     2335   6673 |        0 |        0
1759.56/1760.02	c 1760s |      25 |  6559826 |  6365298 |     2335   6679 |        0 |        0
1761.55/1762.03	c 1762s |      25 |  6567158 |  6372398 |     2335   6685 |        0 |        0
1763.55/1764.03	c 1764s |      25 |  6574349 |  6379398 |     2335   6691 |        0 |        0
1765.55/1766.05	c 1766s |      25 |  6581638 |  6386498 |     2335   6697 |        0 |        0
1767.55/1768.06	c 1768s |      25 |  6589144 |  6393698 |     2335   6703 |        0 |        0
1769.56/1770.07	c 1770s |      25 |  6596430 |  6400698 |     2335   6708 |        0 |        0
1771.55/1772.07	c 1772s |      25 |  6603763 |  6407798 |     2335   6714 |        0 |        0
1773.55/1774.08	c 1774s |      25 |  6611078 |  6414898 |     2335   6720 |        0 |        0
1775.55/1776.09	c 1776s |      25 |  6618236 |  6421798 |     2335   6726 |        0 |        0
1777.65/1778.11	c 1778s |      25 |  6625783 |  6429098 |     2335   6732 |        0 |        0
1779.65/1780.14	c 1780s |      25 |  6633345 |  6436498 |     2335   6738 |        0 |        0
1781.65/1782.16	c 1782s |      25 |  6640850 |  6443798 |     2335   6744 |        0 |        0
1783.65/1784.17	c 1784s |      25 |  6648217 |  6450898 |     2335   6750 |        0 |        0
1785.75/1786.20	c 1786s |      25 |  6655615 |  6458098 |     2335   6756 |        0 |        0
1787.75/1788.22	c 1788s |      25 |  6662914 |  6465198 |     2335   6761 |        0 |        0
1789.74/1790.23	c 1790s |      25 |  6670309 |  6472398 |     2335   6767 |        0 |        0
1791.74/1792.23	c 1792s |      25 |  6677438 |  6479298 |     2335   6773 |        0 |        0
1793.75/1794.26	c 1794s |      25 |  6684607 |  6486198 |     2335   6779 |        0 |        0
1795.74/1796.26	c 1796s |      25 |  6691892 |  6493198 |     2335   6784 |        0 |        0
1797.74/1798.28	c 1798s |      25 |  6699097 |  6500098 |     2335   6790 |        0 |        0
1799.75/1800.29	c 1800s |      25 |  6706363 |  6506998 |     2335   6796 |        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-4089631-1466030100/watcher-4089631-1466030100 -o /tmp/evaluation-result-4089631-1466030100/solver-4089631-1466030100 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466013843-5839 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089631-1466030100.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.31 2.25 2.25 3/179 8331
/proc/meminfo: memFree=29445264/32872528 swapFree=1369816/1516984
[pid=8331] ppid=8328 vsize=752060 CPUtime=0 cores=1,3,5,7
/proc/8331/stat : 8331 (toysat) R 8328 8331 5822 0 -1 4202496 2815 0 0 0 0 0 0 0 20 0 4 0 5056480 770109440 2664 33554432000 4194304 16246674 140734242096608 140734242096032 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8331/statm: 188783 2673 441 2943 0 185677 0
[pid=8331/tid=8332] ppid=8328 vsize=769468 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8332/stat : 8332 (toysat) S 8328 8331 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5056480 787935232 2731 33554432000 4194304 16246674 140734242096608 139749986643184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8331/tid=8333] ppid=8328 vsize=773564 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8333/stat : 8333 (toysat) S 8328 8331 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5056480 792129536 2747 33554432000 4194304 16246674 140734242096608 139749976153328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8331/tid=8334] ppid=8328 vsize=777660 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8334/stat : 8334 (toysat) S 8328 8331 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5056480 796323840 2761 33554432000 4194304 16246674 140734242096608 139749965679792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 2.31 2.25 2.25 3/179 8331
/proc/meminfo: memFree=29445264/32872528 swapFree=1369816/1516984
[pid=8331] ppid=8328 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/8331/stat : 8331 (toysat) R 8328 8331 5822 0 -1 4202496 29866 0 0 0 5 4 0 0 20 0 4 0 5056480 1247350784 29704 33554432000 4194304 16246674 140734242096608 140734242096032 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8331/statm: 304529 29716 711 2943 0 301423 0
[pid=8331/tid=8332] ppid=8328 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8332/stat : 8332 (toysat) S 8328 8331 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5056480 1247350784 29725 33554432000 4194304 16246674 140734242096608 139749986643184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8331/tid=8333] ppid=8328 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8333/stat : 8333 (toysat) S 8328 8331 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5056480 1247350784 29730 33554432000 4194304 16246674 140734242096608 139749976153328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8331/tid=8334] ppid=8328 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8334/stat : 8334 (toysat) S 8328 8331 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5056480 1247350784 29734 33554432000 4194304 16246674 140734242096608 139749965679792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.20053 s]
/proc/loadavg: 2.31 2.25 2.25 3/179 8331
/proc/meminfo: memFree=29445264/32872528 swapFree=1369816/1516984
[pid=8331] ppid=8328 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/8331/stat : 8331 (toysat) R 8328 8331 5822 0 -1 4202496 59003 0 0 0 10 9 0 0 20 0 4 0 5056480 1247350784 58842 33554432000 4194304 16246674 140734242096608 140734242096032 13198569 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8331/statm: 304529 58858 711 2943 0 301423 0
[pid=8331/tid=8332] ppid=8328 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8332/stat : 8332 (toysat) S 8328 8331 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5056480 1247350784 58868 33554432000 4194304 16246674 140734242096608 139749986643184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8331/tid=8333] ppid=8328 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8333/stat : 8333 (toysat) S 8328 8331 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5056480 1247350784 58877 33554432000 4194304 16246674 140734242096608 139749976153328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8331/tid=8334] ppid=8328 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8334/stat : 8334 (toysat) S 8328 8331 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5056480 1247350784 58886 33554432000 4194304 16246674 140734242096608 139749965679792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300505 s]
/proc/loadavg: 2.31 2.25 2.25 3/179 8331
/proc/meminfo: memFree=29445264/32872528 swapFree=1369816/1516984
[pid=8331] ppid=8328 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/8331/stat : 8331 (toysat) R 8328 8331 5822 0 -1 4202496 88309 0 0 0 16 13 0 0 20 0 4 0 5056480 1247350784 88147 33554432000 4194304 16246674 140734242096608 140734242096032 12875570 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8331/statm: 304529 88166 711 2943 0 301423 0
[pid=8331/tid=8332] ppid=8328 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8332/stat : 8332 (toysat) S 8328 8331 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5056480 1247350784 88175 33554432000 4194304 16246674 140734242096608 139749986643184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8331/tid=8333] ppid=8328 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8333/stat : 8333 (toysat) S 8328 8331 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5056480 1247350784 88184 33554432000 4194304 16246674 140734242096608 139749976153328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8331/tid=8334] ppid=8328 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8334/stat : 8334 (toysat) S 8328 8331 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5056480 1247350784 88189 33554432000 4194304 16246674 140734242096608 139749965679792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700424 s]
/proc/loadavg: 2.31 2.25 2.25 3/179 8331
/proc/meminfo: memFree=29445264/32872528 swapFree=1369816/1516984
[pid=8331] ppid=8328 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/8331/stat : 8331 (toysat) R 8328 8331 5822 0 -1 4202496 205835 0 0 0 40 29 0 0 20 0 4 0 5056480 1247350784 205675 33554432000 4194304 16246674 140734242096608 140734242096032 6011022 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8331/statm: 304529 205689 712 2943 0 301423 0
[pid=8331/tid=8332] ppid=8328 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8332/stat : 8332 (toysat) S 8328 8331 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5056480 1247350784 205695 33554432000 4194304 16246674 140734242096608 139749986643184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8331/tid=8333] ppid=8328 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8333/stat : 8333 (toysat) S 8328 8331 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5056480 1247350784 205700 33554432000 4194304 16246674 140734242096608 139749976153328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8331/tid=8334] ppid=8328 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8334/stat : 8334 (toysat) S 8328 8331 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5056480 1247350784 205706 33554432000 4194304 16246674 140734242096608 139749965679792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50039 s]
/proc/loadavg: 2.28 2.24 2.24 3/183 8335
/proc/meminfo: memFree=28463532/32872528 swapFree=1369816/1516984
[pid=8331] ppid=8328 vsize=1305156 CPUtime=1.49 cores=1,3,5,7
/proc/8331/stat : 8331 (toysat) R 8328 8331 5822 0 -1 4202496 267077 0 0 0 112 37 0 0 20 0 4 0 5056480 1336479744 266895 33554432000 4194304 16246674 140734242096608 140734242079608 5661652 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8331/statm: 326289 266895 789 2943 0 323183 0
[pid=8331/tid=8332] ppid=8328 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8332/stat : 8332 (toysat) S 8328 8331 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5056480 1336479744 266895 33554432000 4194304 16246674 140734242096608 139749986643184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8331/tid=8333] ppid=8328 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8333/stat : 8333 (toysat) S 8328 8331 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5056480 1336479744 266895 33554432000 4194304 16246674 140734242096608 139749976153328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8331/tid=8334] ppid=8328 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8334/stat : 8334 (toysat) S 8328 8331 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5056480 1336479744 266895 33554432000 4194304 16246674 140734242096608 139749965679792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10042 s]
/proc/loadavg: 2.28 2.24 2.24 3/183 8335
/proc/meminfo: memFree=28376608/32872528 swapFree=1369816/1516984
[pid=8331] ppid=8328 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/8331/stat : 8331 (toysat) R 8328 8331 5822 0 -1 4202496 267504 0 0 0 272 37 0 0 20 0 4 0 5056480 1337528320 267322 33554432000 4194304 16246674 140734242096608 140734242078528 5724741 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8331/statm: 326545 267322 789 2943 0 323439 0
[pid=8331/tid=8332] ppid=8328 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8332/stat : 8332 (toysat) S 8328 8331 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5056480 1337528320 267322 33554432000 4194304 16246674 140734242096608 139749986643184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8331/tid=8333] ppid=8328 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8333/stat : 8333 (toysat) S 8328 8331 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5056480 1337528320 267322 33554432000 4194304 16246674 140734242096608 139749976153328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8331/tid=8334] ppid=8328 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8334/stat : 8334 (toysat) S 8328 8331 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5056480 1337528320 267322 33554432000 4194304 16246674 140734242096608 139749965679792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.26 2.24 2.24 4/183 8335
/proc/meminfo: memFree=28376740/32872528 swapFree=1369816/1516984
[pid=8331] ppid=8328 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/8331/stat : 8331 (toysat) R 8328 8331 5822 0 -1 4202496 267574 0 0 0 592 37 0 0 20 0 4 0 5056480 1337528320 267392 33554432000 4194304 16246674 140734242096608 140734242078528 5523241 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8331/statm: 326545 267392 789 2943 0 323439 0
[pid=8331/tid=8332] ppid=8328 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8332/stat : 8332 (toysat) S 8328 8331 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5056480 1337528320 267392 33554432000 4194304 16246674 140734242096608 139749986643184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8331/tid=8333] ppid=8328 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8333/stat : 8333 (toysat) S 8328 8331 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5056480 1337528320 267392 33554432000 4194304 16246674 140734242096608 139749976153328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8331/tid=8334] ppid=8328 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8334/stat : 8334 (toysat) S 8328 8331 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5056480 1337528320 267392 33554432000 4194304 16246674 140734242096608 139749965679792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.24 2.23 2.24 3/183 8335
/proc/meminfo: memFree=28375808/32872528 swapFree=1369816/1516984
[pid=8331] ppid=8328 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/8331/stat : 8331 (toysat) R 8328 8331 5822 0 -1 4202496 267830 0 0 0 1232 37 0 0 20 0 4 0 5056480 1338576896 267648 33554432000 4194304 16246674 140734242096608 140734242079608 5721504 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8331/statm: 326801 267648 789 2943 0 323695 0
[pid=8331/tid=8332] ppid=8328 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8332/stat : 8332 (toysat) S 8328 8331 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5056480 1338576896 267648 33554432000 4194304 16246674 140734242096608 139749986643184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8331/tid=8333] ppid=8328 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8333/stat : 8333 (toysat) S 8328 8331 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5056480 1338576896 267648 33554432000 4194304 16246674 140734242096608 139749976153328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8331/tid=8334] ppid=8328 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8334/stat : 8334 (toysat) S 8328 8331 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5056480 1338576896 267648 33554432000 4194304 16246674 140734242096608 139749965679792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.20 2.22 2.24 4/183 8335
/proc/meminfo: memFree=28376064/32872528 swapFree=1369816/1516984
[pid=8331] ppid=8328 vsize=1307204 CPUtime=25.49 cores=1,3,5,7
/proc/8331/stat : 8331 (toysat) R 8328 8331 5822 0 -1 4202496 267830 0 0 0 2512 37 0 0 20 0 4 0 5056480 1338576896 267648 33554432000 4194304 16246674 140734242096608 140734242078528 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8331/statm: 326801 267648 789 2943 0 323695 0
[pid=8331/tid=8332] ppid=8328 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8332/stat : 8332 (toysat) S 8328 8331 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5056480 1338576896 267648 33554432000 4194304 16246674 140734242096608 139749986643184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8331/tid=8333] ppid=8328 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8333/stat : 8333 (toysat) S 8328 8331 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5056480 1338576896 267648 33554432000 4194304 16246674 140734242096608 139749976153328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8331/tid=8334] ppid=8328 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8334/stat : 8334 (toysat) S 8328 8331 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5056480 1338576896 267648 33554432000 4194304 16246674 140734242096608 139749965679792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.37 2.26 2.25 3/183 8335
/proc/meminfo: memFree=28376072/32872528 swapFree=1369816/1516984
[pid=8331] ppid=8328 vsize=1307204 CPUtime=51.09 cores=1,3,5,7
/proc/8331/stat : 8331 (toysat) R 8328 8331 5822 0 -1 4202496 267832 0 0 0 5071 38 0 0 20 0 4 0 5056480 1338576896 267650 33554432000 4194304 16246674 140734242096608 140734242078528 5523192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8331/statm: 326801 267650 791 2943 0 323695 0
[pid=8331/tid=8332] ppid=8328 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8332/stat : 8332 (toysat) S 8328 8331 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5056480 1338576896 267650 33554432000 4194304 16246674 140734242096608 139749986643184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8331/tid=8333] ppid=8328 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8333/stat : 8333 (toysat) S 8328 8331 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5056480 1338576896 267650 33554432000 4194304 16246674 140734242096608 139749976153328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8331/tid=8334] ppid=8328 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8334/stat : 8334 (toysat) S 8328 8331 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5056480 1338576896 267650 33554432000 4194304 16246674 140734242096608 139749965679792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.27 2.25 2.25 4/183 8337
/proc/meminfo: memFree=28375948/32872528 swapFree=1369816/1516984
[pid=8331] ppid=8328 vsize=1307204 CPUtime=102.28 cores=1,3,5,7
/proc/8331/stat : 8331 (toysat) R 8328 8331 5822 0 -1 4202496 267833 0 0 0 10189 39 0 0 20 0 4 0 5056480 1338576896 267651 33554432000 4194304 16246674 140734242096608 140734242078528 12483204 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8331/statm: 326801 267651 792 2943 0 323695 0
[pid=8331/tid=8332] ppid=8328 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8332/stat : 8332 (toysat) S 8328 8331 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5056480 1338576896 267651 33554432000 4194304 16246674 140734242096608 139749986643184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8331/tid=8333] ppid=8328 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8333/stat : 8333 (toysat) S 8328 8331 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5056480 1338576896 267651 33554432000 4194304 16246674 140734242096608 139749976153328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8331/tid=8334] ppid=8328 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8334/stat : 8334 (toysat) S 8328 8331 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5056480 1338576896 267651 33554432000 4194304 16246674 140734242096608 139749965679792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/8331/task/8334/stat : 8334 (toysat) S 8328 8331 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 139749965679792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.36 2.22 2.19 3/183 8416
/proc/meminfo: memFree=28366776/32872528 swapFree=1369816/1516984
[pid=8331] ppid=8328 vsize=1315396 CPUtime=1361.96 cores=1,3,5,7
/proc/8331/stat : 8331 (toysat) R 8328 8331 5822 0 -1 4202496 270158 0 0 0 136141 55 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 140734242079608 5545788 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8331/statm: 328849 269956 793 2943 0 325743 0
[pid=8331/tid=8332] ppid=8328 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8332/stat : 8332 (toysat) S 8328 8331 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 139749986643184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8331/tid=8333] ppid=8328 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8333/stat : 8333 (toysat) S 8328 8331 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 139749976153328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8331/tid=8334] ppid=8328 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8334/stat : 8334 (toysat) S 8328 8331 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 139749965679792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.32 2.24 2.20 3/183 8417
/proc/meminfo: memFree=28367188/32872528 swapFree=1369816/1516984
[pid=8331] ppid=8328 vsize=1315396 CPUtime=1421.94 cores=1,3,5,7
/proc/8331/stat : 8331 (toysat) R 8328 8331 5822 0 -1 4202496 270198 0 0 0 142138 56 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 140734242079608 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8331/statm: 328849 269956 793 2943 0 325743 0
[pid=8331/tid=8332] ppid=8328 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8332/stat : 8332 (toysat) S 8328 8331 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 139749986643184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8331/tid=8333] ppid=8328 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8333/stat : 8333 (toysat) S 8328 8331 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 139749976153328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8331/tid=8334] ppid=8328 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8334/stat : 8334 (toysat) S 8328 8331 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 139749965679792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 2.32 2.25 2.20 3/183 8418
/proc/meminfo: memFree=28366988/32872528 swapFree=1369816/1516984
[pid=8331] ppid=8328 vsize=1315396 CPUtime=1481.91 cores=1,3,5,7
/proc/8331/stat : 8331 (toysat) R 8328 8331 5822 0 -1 4202496 270235 0 0 0 148134 57 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 140734242078528 6024255 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8331/statm: 328849 269956 793 2943 0 325743 0
[pid=8331/tid=8332] ppid=8328 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8332/stat : 8332 (toysat) S 8328 8331 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 139749986643184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8331/tid=8333] ppid=8328 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8333/stat : 8333 (toysat) S 8328 8331 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 139749976153328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8331/tid=8334] ppid=8328 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8334/stat : 8334 (toysat) S 8328 8331 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 139749965679792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1315396

[startup+1542.31 s]
/proc/loadavg: 2.29 2.25 2.20 3/184 8422
/proc/meminfo: memFree=28365408/32872528 swapFree=1369816/1516984
[pid=8331] ppid=8328 vsize=1315396 CPUtime=1541.89 cores=1,3,5,7
/proc/8331/stat : 8331 (toysat) R 8328 8331 5822 0 -1 4202496 270273 0 0 0 154132 57 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 140734242078528 13950192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8331/statm: 328849 269956 793 2943 0 325743 0
[pid=8331/tid=8332] ppid=8328 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8332/stat : 8332 (toysat) S 8328 8331 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 139749986643184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8331/tid=8333] ppid=8328 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8333/stat : 8333 (toysat) S 8328 8331 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 139749976153328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8331/tid=8334] ppid=8328 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8334/stat : 8334 (toysat) S 8328 8331 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 139749965679792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.19 2.23 2.19 3/184 8445
/proc/meminfo: memFree=28363964/32872528 swapFree=1369816/1516984
[pid=8331] ppid=8328 vsize=1315396 CPUtime=1601.87 cores=1,3,5,7
/proc/8331/stat : 8331 (toysat) R 8328 8331 5822 0 -1 4202496 270280 0 0 0 160130 57 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 140734242078528 12483272 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8331/statm: 328849 269956 793 2943 0 325743 0
[pid=8331/tid=8332] ppid=8328 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8332/stat : 8332 (toysat) S 8328 8331 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 139749986643184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8331/tid=8333] ppid=8328 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8333/stat : 8333 (toysat) S 8328 8331 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 139749976153328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8331/tid=8334] ppid=8328 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8334/stat : 8334 (toysat) S 8328 8331 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 139749965679792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 2.32 2.26 2.20 4/183 8447
/proc/meminfo: memFree=28364504/32872528 swapFree=1369816/1516984
[pid=8331] ppid=8328 vsize=1315396 CPUtime=1661.87 cores=1,3,5,7
/proc/8331/stat : 8331 (toysat) R 8328 8331 5822 0 -1 4202496 270280 0 0 0 166129 58 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 140734242078528 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8331/statm: 328849 269956 793 2943 0 325743 0
[pid=8331/tid=8332] ppid=8328 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8332/stat : 8332 (toysat) S 8328 8331 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 139749986643184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8331/tid=8333] ppid=8328 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8333/stat : 8333 (toysat) S 8328 8331 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 139749976153328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8331/tid=8334] ppid=8328 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8334/stat : 8334 (toysat) S 8328 8331 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 139749965679792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 2.21 2.24 2.19 3/183 8448
/proc/meminfo: memFree=28364656/32872528 swapFree=1369816/1516984
[pid=8331] ppid=8328 vsize=1315396 CPUtime=1721.86 cores=1,3,5,7
/proc/8331/stat : 8331 (toysat) R 8328 8331 5822 0 -1 4202496 270280 0 0 0 172127 59 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 140734242079608 5589288 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8331/statm: 328849 269956 793 2943 0 325743 0
[pid=8331/tid=8332] ppid=8328 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8332/stat : 8332 (toysat) S 8328 8331 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 139749986643184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8331/tid=8333] ppid=8328 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8333/stat : 8333 (toysat) S 8328 8331 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 139749976153328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8331/tid=8334] ppid=8328 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8334/stat : 8334 (toysat) S 8328 8331 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 139749965679792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1315396

[startup+1782.3 s]
/proc/loadavg: 2.21 2.24 2.19 4/183 8449
/proc/meminfo: memFree=28364300/32872528 swapFree=1369816/1516984
[pid=8331] ppid=8328 vsize=1315396 CPUtime=1781.85 cores=1,3,5,7
/proc/8331/stat : 8331 (toysat) R 8328 8331 5822 0 -1 4202496 270280 0 0 0 178125 60 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 140734242078528 5721768 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8331/statm: 328849 269956 793 2943 0 325743 0
[pid=8331/tid=8332] ppid=8328 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8332/stat : 8332 (toysat) S 8328 8331 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 139749986643184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8331/tid=8333] ppid=8328 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8333/stat : 8333 (toysat) S 8328 8331 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 139749976153328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8331/tid=8334] ppid=8328 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8334/stat : 8334 (toysat) S 8328 8331 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 139749965679792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1315396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.24 2.24 2.19 3/183 8450
/proc/meminfo: memFree=28364020/32872528 swapFree=1369816/1516984
[pid=8331] ppid=8328 vsize=1315396 CPUtime=1800.05 cores=1,3,5,7
/proc/8331/stat : 8331 (toysat) R 8328 8331 5822 0 -1 4202496 270280 0 0 0 179944 61 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 140734242078528 5721725 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8331/statm: 328849 269956 793 2943 0 325743 0
[pid=8331/tid=8332] ppid=8328 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8332/stat : 8332 (toysat) S 8328 8331 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 139749986643184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8331/tid=8333] ppid=8328 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8333/stat : 8333 (toysat) S 8328 8331 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 139749976153328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8331/tid=8334] ppid=8328 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8334/stat : 8334 (toysat) S 8328 8331 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 139749965679792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1315396

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 8331 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.24 2.24 2.19 3/183 8450
/proc/meminfo: memFree=28364020/32872528 swapFree=1369816/1516984
[pid=8331] ppid=8328 vsize=1315396 CPUtime=1800.05 cores=1,3,5,7
/proc/8331/stat : 8331 (toysat) R 8328 8331 5822 0 -1 4202496 270280 0 0 0 179944 61 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 140734242078528 5721725 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8331/statm: 328849 269956 793 2943 0 325743 0
[pid=8331/tid=8332] ppid=8328 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8332/stat : 8332 (toysat) S 8328 8331 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 139749986643184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8331/tid=8333] ppid=8328 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8333/stat : 8333 (toysat) S 8328 8331 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 139749976153328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8331/tid=8334] ppid=8328 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8331/task/8334/stat : 8334 (toysat) S 8328 8331 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5056480 1346965504 269956 33554432000 4194304 16246674 140734242096608 139749965679792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1315396

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1799.45
CPU system time (s): 0.610907
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 1315396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 0.610907
maximum resident set size= 1079824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270280
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= 412
involuntary context switches= 2013

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.74528 second user time and 6.77297 second system time

The end

Begin job on node129 at 2016-06-16 00:35:00
IDJOB=4089631
IDBENCH=107434
IDSOLVER=2542
FILE ID=node129/4089631-1466030100
RUNJOBID= node129-1466013843-5839
PBS_JOBID= 19902811
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/vertexcover-instances/normalized-vertexcover-grid10x21.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089631-1466030100/watcher-4089631-1466030100 -o /tmp/evaluation-result-4089631-1466030100/solver-4089631-1466030100 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466013843-5839 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089631-1466030100.opb

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

MD5SUM BENCH= 34817075f3bb5535f1c43d1f911e376b
RANDOM SEED=215277477

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29446428 kB
Buffers:           28944 kB
Cached:            78272 kB
SwapCached:        20172 kB
Active:          1142396 kB
Inactive:          64500 kB
Active(anon):    1081864 kB
Inactive(anon):    20104 kB
Active(file):      60532 kB
Inactive(file):    44396 kB
Unevictable:     1516984 kB
Mlocked:         1369816 kB
SwapTotal:      67108856 kB
SwapFree:       67081532 kB
Dirty:             16344 kB
Writeback:             0 kB
AnonPages:       2595984 kB
Mapped:            10312 kB
Shmem:                 0 kB
Slab:             567700 kB
SReclaimable:      11340 kB
SUnreclaim:       556360 kB
KernelStack:        1424 kB
PageTables:         9040 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2742116 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1220608 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node129 at 2016-06-16 01:05:01