0.00/0.00	c 2016-06-16T02:13:18+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-4089953-1466035997.opb"]
0.00/0.01	c use --random-gen="385562105 1002581997 581202649 1659860280 1193763599 2510625364 2153641117 3865098630 3775006839 137807452 1120239270 1918494885 1432733027 3182497425 2059371584 1916272541 3991645403 3758894464 29172729 1079413522 3369668938 366883914 3172428698 2238864957 2581879864 3351903747 3381460107 3543432637 1071092646 4091573334 2234344389 1153833002 961030452 1076797818 4047020298 3383624605 2310087042 1274607912 2670283159 212729529 1546335753 403646904 877488094 2010594050 2349448647 3152444504 789548400 3087172182 55199851 167552383 3655210223 1244162663 3510837265 1043099066 3436887781 1355973028 1721214485 1912915656 2634087585 1412936462 280335496 1531747399 1071836224 2938548046 888119193 120574111 2499200112 1496444077 3395545910 3742658494 3494879602 2219796763 975769545 613120430 3969278903 82327348 796991217 65072 560048422 932896556 4130461888 1912997741 3912286234 3146436699 2723877743 2414526849 2679816048 2593718495 1065557517 3943438563 256078221 867438971 625288704 3094139074 1008321926 1256652546 4134458260 1825333008 2467511129 593745658 2668547237 3014643483 2400978979 3034329399 2631794672 1334441542 569370367 1225968735 438150103 1425664930 3046361459 2218547213 1349069783 2640984344 2539110912 2470963137 4184341384 1201952626 529203969 3228702021 4065395269 1233818118 2151111362 3143821901 504772946 2060805175 2462187839 2976296022 2267092545 1451734075 2060776118 3034390254 1097150459 2270441023 4100562897 2668712712 3605305544 4037812024 470028038 512288764 2595614676 3910968136 478670488 113613279 1208761566 59519650 2929370459 1961382204 2886922959 165532731 466220705 2284856847 1104161039 1148331482 2989206537 2092241596 2824409311 418372312 1872954302 3812363656 1252594569 3880388653 2774442753 1796346324 311247193 2534426485 3470328094 2507552597 3406968319 294489275 3581208172 1229059313 1175767719 109330484 2142619675 2355549787 1078062102 97247572 1199036851 1732716821 3341751733 2400022563 3829551896 3165324203 2873336890 2950985390 2956186576 286349820 3643814056 2223990633 2916893783 2807030807 2358188266 839751928 3770038968 3503386889 2053685245 2886199610 3600776834 2639253021 1082859957 695466858 2474763732 1300385366 1727494117 638262125 2151840146 998998463 2327411684 3218248606 3484417851 3556899207 4077661811 274211327 2877175 3923299806 4156684585 1739811056 3317480068 3791444366 8365841 406016629 732520135 2788789908 3172054486 4258921693 2571352596 3171300129 720788640 1838098629 418878250 568595587 2127547358 2347120369 4275045934 794146447 3410059410 4044821407 3410529356 1958966072 1907706296 1567864524 2555117175 3586323292 3873371304 1815217029 2123564679 867760633 2894723188 1052708851 3661282566 627916080 1013018177 3700411115 1302744525 2326256450 255 362436" option to reproduce the execution
0.00/0.01	c #vars 153
0.00/0.01	c #constraints 51
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       85      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      120 |      100 |       85      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      327 |      250 |       94      1 |        0 |        0
0.00/0.08	c  0.1s |       3 |      628 |      475 |      104      4 |        0 |        0
0.09/0.13	c  0.1s |       4 |     1033 |      813 |      115      7 |        0 |        0
0.19/0.21	c  0.2s |       5 |     1718 |     1320 |      127     12 |        0 |        0
0.29/0.34	c  0.3s |       6 |     2753 |     2081 |      154     18 |        0 |        0
0.49/0.55	c  0.5s |       7 |     4071 |     3223 |      170     28 |        0 |        0
0.79/0.88	c  0.9s |       8 |     6154 |     4936 |      188     41 |        0 |        0
1.09/1.19	c  1.2s |       9 |     9250 |     7506 |      207     60 |        0 |        0
1.59/1.68	c  1.7s |      10 |    13708 |    11361 |      228     86 |        0 |        0
2.39/2.40	c  2.4s |      11 |    20468 |    17144 |      251    123 |        0 |        0
3.59/3.62	c  3.6s |      12 |    30043 |    25819 |      277    176 |        0 |        0
5.19/5.25	c  5.2s |      13 |    45313 |    38832 |      305    248 |        0 |        0
7.19/7.25	c  7.2s |      13 |    63203 |    54532 |      305    329 |        0 |        0
7.70/7.75	c  7.7s |      14 |    67611 |    58352 |      336    349 |        0 |        0
9.69/9.76	c  9.7s |      14 |    82671 |    71952 |      336    413 |        0 |        0
11.69/11.77	c 11.8s |      14 |    96940 |    84952 |      336    475 |        0 |        0
12.20/12.21	c 12.2s |      15 |    99831 |    87632 |      370    487 |        0 |        0
14.19/14.21	c 14.2s |      15 |   115314 |   101232 |      370    548 |        0 |        0
16.19/16.22	c 16.2s |      15 |   129248 |   114132 |      370    605 |        0 |        0
18.19/18.23	c 18.2s |      15 |   142575 |   126432 |      370    659 |        0 |        0
18.99/19.02	c 19.0s |      16 |   148163 |   131552 |      408    681 |        0 |        0
21.00/21.03	c 21.0s |      16 |   163476 |   145252 |      408    737 |        0 |        0
22.99/23.04	c 23.0s |      16 |   178992 |   159052 |      408    793 |        0 |        0
24.99/25.06	c 25.0s |      16 |   193437 |   171852 |      408    845 |        0 |        0
26.99/27.06	c 27.0s |      16 |   208237 |   185152 |      408    899 |        0 |        0
28.79/28.83	c 28.8s |      17 |   222055 |   197432 |      449    949 |        0 |        0
30.80/30.83	c 30.8s |      17 |   238285 |   211332 |      449   1001 |        0 |        0
32.79/32.84	c 32.8s |      17 |   254226 |   225232 |      449   1055 |        0 |        0
34.79/34.84	c 34.8s |      17 |   269213 |   238632 |      449   1106 |        0 |        0
36.79/36.84	c 36.8s |      17 |   283182 |   251332 |      449   1155 |        0 |        0
38.79/38.85	c 38.8s |      17 |   297478 |   264132 |      449   1204 |        0 |        0
40.79/40.86	c 40.8s |      17 |   311665 |   276932 |      449   1253 |        0 |        0
42.78/42.86	c 42.8s |      17 |   326362 |   289732 |      449   1302 |        0 |        0
43.78/43.80	c 43.8s |      18 |   333974 |   296252 |      494   1326 |        0 |        0
45.78/45.81	c 45.8s |      18 |   348356 |   309552 |      494   1371 |        0 |        0
47.78/47.82	c 47.8s |      18 |   362821 |   322852 |      494   1417 |        0 |        0
49.78/49.83	c 49.8s |      18 |   378239 |   336552 |      494   1465 |        0 |        0
51.79/51.83	c 51.8s |      18 |   392221 |   349152 |      494   1508 |        0 |        0
53.78/53.84	c 53.8s |      18 |   405863 |   361352 |      494   1551 |        0 |        0
55.78/55.84	c 55.8s |      18 |   419255 |   373352 |      494   1591 |        0 |        0
57.78/57.85	c 57.8s |      18 |   431489 |   384552 |      494   1630 |        0 |        0
59.78/59.86	c 59.9s |      18 |   444936 |   396652 |      494   1672 |        0 |        0
61.78/61.88	c 61.9s |      18 |   458647 |   408952 |      494   1715 |        0 |        0
63.79/63.88	c 63.9s |      18 |   472028 |   421152 |      494   1758 |        0 |        0
65.78/65.90	c 65.9s |      18 |   485918 |   433552 |      494   1802 |        0 |        0
67.48/67.56	c 67.5s |      19 |   498453 |   444482 |      544   1840 |        0 |        0
69.48/69.56	c 69.5s |      19 |   513056 |   457482 |      544   1882 |        0 |        0
71.48/71.56	c 71.5s |      19 |   526579 |   469582 |      544   1920 |        0 |        0
73.47/73.58	c 73.6s |      19 |   539550 |   480982 |      544   1957 |        0 |        0
75.47/75.58	c 75.6s |      19 |   553659 |   493582 |      544   1997 |        0 |        0
77.58/77.60	c 77.6s |      19 |   566691 |   505282 |      544   2035 |        0 |        0
79.58/79.62	c 79.6s |      19 |   579399 |   516682 |      544   2071 |        0 |        0
81.58/81.62	c 81.6s |      19 |   591793 |   527782 |      544   2107 |        0 |        0
83.59/83.62	c 83.6s |      19 |   603742 |   538782 |      544   2142 |        0 |        0
85.58/85.63	c 85.6s |      19 |   616470 |   550182 |      544   2178 |        0 |        0
87.58/87.63	c 87.6s |      19 |   629062 |   561482 |      544   2214 |        0 |        0
89.58/89.65	c 89.6s |      19 |   642478 |   573282 |      544   2252 |        0 |        0
91.58/91.66	c 91.6s |      19 |   655080 |   584482 |      544   2288 |        0 |        0
93.59/93.66	c 93.7s |      19 |   666343 |   594682 |      544   2320 |        0 |        0
95.58/95.67	c 95.7s |      19 |   678182 |   605482 |      544   2355 |        0 |        0
97.58/97.67	c 97.7s |      19 |   692889 |   618582 |      544   2397 |        0 |        0
99.58/99.67	c 99.7s |      19 |   707334 |   631282 |      544   2438 |        0 |        0
101.58/101.68	c  101s |      19 |   721074 |   643282 |      544   2477 |        0 |        0
103.58/103.69	c  103s |      19 |   734628 |   655382 |      544   2515 |        0 |        0
105.58/105.67	c  105s |      20 |   747161 |   666827 |      599   2551 |        0 |        0
107.58/107.68	c  107s |      20 |   761105 |   679427 |      599   2588 |        0 |        0
109.68/109.70	c  109s |      20 |   774310 |   691527 |      599   2624 |        0 |        0
111.68/111.71	c  111s |      20 |   787813 |   703727 |      599   2659 |        0 |        0
113.68/113.71	c  113s |      20 |   801346 |   715827 |      599   2695 |        0 |        0
115.67/115.72	c  115s |      20 |   814137 |   727227 |      599   2729 |        0 |        0
117.68/117.72	c  117s |      20 |   827619 |   739027 |      599   2764 |        0 |        0
119.67/119.74	c  119s |      20 |   840879 |   750527 |      599   2798 |        0 |        0
121.67/121.75	c  121s |      20 |   854358 |   762327 |      599   2834 |        0 |        0
123.67/123.77	c  123s |      20 |   867134 |   773627 |      599   2867 |        0 |        0
125.67/125.77	c  125s |      20 |   880782 |   785427 |      599   2902 |        0 |        0
127.68/127.78	c  127s |      20 |   893373 |   796627 |      599   2935 |        0 |        0
129.67/129.79	c  129s |      20 |   906175 |   807927 |      599   2969 |        0 |        0
131.67/131.79	c  131s |      20 |   918190 |   818827 |      599   3001 |        0 |        0
133.77/133.80	c  133s |      20 |   931170 |   830227 |      599   3035 |        0 |        0
135.77/135.81	c  135s |      20 |   943456 |   841227 |      599   3067 |        0 |        0
137.77/137.81	c  137s |      20 |   956799 |   852927 |      599   3102 |        0 |        0
139.77/139.83	c  139s |      20 |   970375 |   864927 |      599   3137 |        0 |        0
141.77/141.83	c  141s |      20 |   983677 |   876927 |      599   3173 |        0 |        0
143.77/143.84	c  143s |      20 |   997200 |   889127 |      599   3209 |        0 |        0
145.76/145.85	c  145s |      20 |  1010288 |   900827 |      599   3244 |        0 |        0
147.76/147.86	c  147s |      20 |  1024350 |   913327 |      599   3281 |        0 |        0
149.76/149.87	c  149s |      20 |  1038662 |   925927 |      599   3319 |        0 |        0
151.77/151.87	c  151s |      20 |  1052218 |   937927 |      599   3355 |        0 |        0
153.77/153.88	c  153s |      20 |  1066189 |   950227 |      599   3391 |        0 |        0
155.77/155.89	c  155s |      20 |  1079967 |   962427 |      599   3427 |        0 |        0
157.87/157.90	c  157s |      20 |  1094142 |   974927 |      599   3464 |        0 |        0
159.87/159.92	c  159s |      20 |  1107283 |   986827 |      599   3500 |        0 |        0
161.87/161.93	c  161s |      20 |  1120177 |   998527 |      659   3533 |        0 |        0
162.17/162.25	c  162s |      21 |  1122188 |  1000345 |      659   3538 |        0 |        0
164.17/164.26	c  164s |      21 |  1136583 |  1012745 |      659   3572 |        0 |        0
166.17/166.27	c  166s |      21 |  1149880 |  1024545 |      659   3604 |        0 |        0
168.17/168.28	c  168s |      21 |  1163428 |  1036845 |      659   3638 |        0 |        0
170.17/170.28	c  170s |      21 |  1176767 |  1048745 |      659   3671 |        0 |        0
172.17/172.29	c  172s |      21 |  1190425 |  1060845 |      659   3704 |        0 |        0
174.17/174.29	c  174s |      21 |  1203974 |  1072645 |      659   3737 |        0 |        0
176.27/176.30	c  176s |      21 |  1217479 |  1084745 |      659   3770 |        0 |        0
178.27/178.30	c  178s |      21 |  1230228 |  1096245 |      659   3801 |        0 |        0
180.26/180.32	c  180s |      21 |  1243751 |  1108245 |      659   3834 |        0 |        0
182.26/182.32	c  182s |      21 |  1256920 |  1119945 |      659   3866 |        0 |        0
184.26/184.33	c  184s |      21 |  1270029 |  1131645 |      659   3898 |        0 |        0
186.26/186.35	c  186s |      21 |  1283578 |  1143645 |      659   3931 |        0 |        0
188.26/188.36	c  188s |      21 |  1296641 |  1155245 |      659   3963 |        0 |        0
190.27/190.37	c  190s |      21 |  1309438 |  1166845 |      659   3995 |        0 |        0
192.26/192.37	c  192s |      21 |  1322081 |  1178245 |      659   4026 |        0 |        0
194.26/194.38	c  194s |      21 |  1335717 |  1190245 |      659   4059 |        0 |        0
196.26/196.38	c  196s |      21 |  1349558 |  1202345 |      659   4092 |        0 |        0
198.26/198.38	c  198s |      21 |  1363221 |  1214445 |      659   4125 |        0 |        0
200.27/200.38	c  200s |      21 |  1376122 |  1226045 |      659   4157 |        0 |        0
202.26/202.39	c  202s |      21 |  1389153 |  1237845 |      659   4189 |        0 |        0
204.26/204.39	c  204s |      21 |  1402308 |  1249645 |      659   4221 |        0 |        0
206.26/206.39	c  206s |      21 |  1415370 |  1261345 |      659   4254 |        0 |        0
208.36/208.41	c  208s |      21 |  1428386 |  1273045 |      659   4286 |        0 |        0
210.36/210.41	c  210s |      21 |  1441115 |  1284545 |      659   4317 |        0 |        0
212.37/212.42	c  212s |      21 |  1453791 |  1296045 |      659   4349 |        0 |        0
214.36/214.43	c  214s |      21 |  1467122 |  1308045 |      659   4381 |        0 |        0
216.36/216.44	c  216s |      21 |  1481513 |  1320345 |      659   4415 |        0 |        0
218.36/218.45	c  218s |      21 |  1494786 |  1332145 |      659   4447 |        0 |        0
220.36/220.45	c  220s |      21 |  1507568 |  1343545 |      659   4478 |        0 |        0
222.36/222.45	c  222s |      21 |  1520526 |  1355245 |      659   4510 |        0 |        0
224.36/224.46	c  224s |      21 |  1534438 |  1367545 |      659   4544 |        0 |        0
226.35/226.47	c  226s |      21 |  1547996 |  1379645 |      659   4577 |        0 |        0
228.35/228.48	c  228s |      21 |  1562238 |  1392245 |      659   4612 |        0 |        0
230.35/230.48	c  230s |      21 |  1575989 |  1404345 |      659   4645 |        0 |        0
232.45/232.50	c  232s |      21 |  1589337 |  1416045 |      659   4678 |        0 |        0
234.45/234.50	c  234s |      21 |  1602083 |  1427645 |      659   4710 |        0 |        0
236.46/236.52	c  236s |      21 |  1613721 |  1438445 |      659   4739 |        0 |        0
238.45/238.53	c  238s |      21 |  1625823 |  1449345 |      659   4769 |        0 |        0
240.45/240.54	c  240s |      21 |  1639167 |  1461245 |      659   4801 |        0 |        0
242.45/242.54	c  242s |      21 |  1652353 |  1473045 |      659   4834 |        0 |        0
244.46/244.56	c  244s |      21 |  1664964 |  1484545 |      659   4865 |        0 |        0
246.46/246.56	c  246s |      21 |  1677070 |  1495345 |      725   4894 |        0 |        0
247.36/247.47	c  247s |      22 |  1682850 |  1500622 |      725   4907 |        0 |        0
249.36/249.48	c  249s |      22 |  1695943 |  1512322 |      725   4936 |        0 |        0
251.46/251.50	c  251s |      22 |  1708459 |  1523622 |      725   4964 |        0 |        0
253.46/253.50	c  253s |      22 |  1720907 |  1534822 |      725   4992 |        0 |        0
255.45/255.50	c  255s |      22 |  1735191 |  1547222 |      725   5024 |        0 |        0
257.46/257.51	c  257s |      22 |  1747625 |  1558322 |      725   5052 |        0 |        0
259.45/259.52	c  259s |      22 |  1760535 |  1569622 |      725   5080 |        0 |        0
261.45/261.54	c  261s |      22 |  1773337 |  1581022 |      725   5109 |        0 |        0
263.45/263.56	c  263s |      22 |  1785859 |  1592222 |      725   5136 |        0 |        0
265.45/265.58	c  265s |      22 |  1798463 |  1603222 |      725   5164 |        0 |        0
267.45/267.58	c  267s |      22 |  1810397 |  1614022 |      725   5191 |        0 |        0
269.46/269.60	c  269s |      22 |  1822278 |  1624422 |      725   5217 |        0 |        0
271.55/271.62	c  271s |      22 |  1833491 |  1634522 |      725   5242 |        0 |        0
273.55/273.62	c  273s |      22 |  1845000 |  1644722 |      725   5267 |        0 |        0
275.55/275.62	c  275s |      22 |  1857069 |  1655422 |      725   5294 |        0 |        0
277.55/277.63	c  277s |      22 |  1868398 |  1665522 |      725   5319 |        0 |        0
279.55/279.65	c  279s |      22 |  1879692 |  1675622 |      725   5344 |        0 |        0
281.56/281.65	c  281s |      22 |  1891386 |  1686322 |      725   5370 |        0 |        0
283.55/283.66	c  283s |      22 |  1904316 |  1697822 |      725   5399 |        0 |        0
285.55/285.66	c  285s |      22 |  1918722 |  1710222 |      725   5430 |        0 |        0
287.55/287.68	c  287s |      22 |  1932357 |  1722122 |      725   5460 |        0 |        0
289.65/289.70	c  289s |      22 |  1944535 |  1732822 |      725   5486 |        0 |        0
291.65/291.72	c  291s |      22 |  1956707 |  1743722 |      725   5513 |        0 |        0
293.65/293.74	c  293s |      22 |  1968139 |  1754122 |      725   5539 |        0 |        0
295.64/295.75	c  295s |      22 |  1980043 |  1764922 |      725   5566 |        0 |        0
297.64/297.76	c  297s |      22 |  1991192 |  1774922 |      725   5591 |        0 |        0
299.64/299.77	c  299s |      22 |  2002481 |  1785122 |      725   5617 |        0 |        0
301.64/301.78	c  301s |      22 |  2014907 |  1796222 |      725   5644 |        0 |        0
303.65/303.79	c  303s |      22 |  2025866 |  1806222 |      725   5669 |        0 |        0
305.75/305.81	c  305s |      22 |  2036754 |  1816122 |      725   5693 |        0 |        0
307.74/307.81	c  307s |      22 |  2047566 |  1826022 |      725   5718 |        0 |        0
309.75/309.82	c  309s |      22 |  2058338 |  1835822 |      725   5743 |        0 |        0
311.75/311.83	c  311s |      22 |  2068742 |  1845222 |      725   5766 |        0 |        0
313.75/313.85	c  313s |      22 |  2079145 |  1854722 |      725   5789 |        0 |        0
315.75/315.85	c  315s |      22 |  2089756 |  1864222 |      725   5813 |        0 |        0
317.75/317.87	c  317s |      22 |  2100867 |  1874222 |      725   5838 |        0 |        0
319.75/319.87	c  319s |      22 |  2112777 |  1884522 |      725   5863 |        0 |        0
321.74/321.88	c  321s |      22 |  2123930 |  1894322 |      725   5888 |        0 |        0
323.74/323.88	c  323s |      22 |  2135123 |  1904422 |      725   5913 |        0 |        0
325.74/325.88	c  325s |      22 |  2146111 |  1914322 |      725   5937 |        0 |        0
327.75/327.90	c  327s |      22 |  2156766 |  1923922 |      725   5961 |        0 |        0
329.84/329.92	c  329s |      22 |  2167895 |  1933822 |      725   5986 |        0 |        0
331.84/331.94	c  331s |      22 |  2177786 |  1942922 |      725   6008 |        0 |        0
333.84/333.95	c  333s |      22 |  2188226 |  1952422 |      725   6032 |        0 |        0
335.84/335.95	c  335s |      22 |  2198484 |  1961822 |      725   6055 |        0 |        0
337.84/337.96	c  337s |      22 |  2210387 |  1972222 |      725   6081 |        0 |        0
339.84/339.97	c  339s |      22 |  2221417 |  1982222 |      725   6106 |        0 |        0
341.84/341.98	c  341s |      22 |  2231900 |  1991722 |      725   6129 |        0 |        0
343.84/343.99	c  343s |      22 |  2242341 |  2001322 |      725   6153 |        0 |        0
345.94/346.00	c  345s |      22 |  2252588 |  2010522 |      725   6176 |        0 |        0
347.94/348.02	c  348s |      22 |  2263249 |  2020322 |      725   6200 |        0 |        0
349.94/350.02	c  350s |      22 |  2273847 |  2029922 |      725   6224 |        0 |        0
351.94/352.02	c  352s |      22 |  2284205 |  2039322 |      725   6247 |        0 |        0
353.94/354.04	c  354s |      22 |  2294890 |  2049022 |      725   6271 |        0 |        0
355.93/356.05	c  356s |      22 |  2306549 |  2059522 |      725   6297 |        0 |        0
357.93/358.07	c  358s |      22 |  2317161 |  2069222 |      725   6321 |        0 |        0
359.93/360.08	c  360s |      22 |  2327761 |  2078722 |      725   6345 |        0 |        0
362.03/362.10	c  362s |      22 |  2338558 |  2088522 |      725   6369 |        0 |        0
364.04/364.12	c  364s |      22 |  2349464 |  2098422 |      725   6394 |        0 |        0
366.03/366.13	c  366s |      22 |  2360552 |  2108422 |      725   6419 |        0 |        0
368.03/368.14	c  368s |      22 |  2371118 |  2118122 |      725   6443 |        0 |        0
370.04/370.15	c  370s |      22 |  2382223 |  2128222 |      725   6468 |        0 |        0
372.04/372.17	c  372s |      22 |  2393406 |  2138222 |      725   6493 |        0 |        0
374.05/374.19	c  374s |      22 |  2404141 |  2147922 |      725   6517 |        0 |        0
376.04/376.20	c  376s |      22 |  2414290 |  2157222 |      725   6540 |        0 |        0
378.14/378.21	c  378s |      22 |  2424789 |  2166822 |      725   6563 |        0 |        0
380.14/380.22	c  380s |      22 |  2435366 |  2176422 |      725   6587 |        0 |        0
382.13/382.24	c  382s |      22 |  2446922 |  2186722 |      725   6613 |        0 |        0
384.13/384.24	c  384s |      22 |  2457828 |  2196422 |      725   6637 |        0 |        0
386.14/386.25	c  386s |      22 |  2468517 |  2206122 |      725   6661 |        0 |        0
388.13/388.25	c  388s |      22 |  2479670 |  2216122 |      725   6685 |        0 |        0
390.13/390.26	c  390s |      22 |  2490529 |  2225922 |      725   6710 |        0 |        0
392.13/392.27	c  392s |      22 |  2502196 |  2236222 |      798   6735 |        0 |        0
394.13/394.29	c  394s |      22 |  2512142 |  2245122 |      798   6755 |        0 |        0
395.53/395.65	c  395s |      23 |  2518657 |  2251038 |      798   6769 |        0 |        0
397.53/397.65	c  397s |      23 |  2530440 |  2261638 |      798   6793 |        0 |        0
399.53/399.66	c  399s |      23 |  2541847 |  2272038 |      798   6816 |        0 |        0
401.54/401.67	c  401s |      23 |  2552940 |  2282238 |      798   6839 |        0 |        0
403.53/403.69	c  403s |      23 |  2564424 |  2292538 |      798   6863 |        0 |        0
405.63/405.72	c  405s |      23 |  2575521 |  2302638 |      798   6886 |        0 |        0
407.63/407.74	c  407s |      23 |  2586489 |  2312638 |      798   6908 |        0 |        0
409.63/409.75	c  409s |      23 |  2597435 |  2322738 |      798   6931 |        0 |        0
411.63/411.77	c  411s |      23 |  2609086 |  2333438 |      798   6955 |        0 |        0
413.63/413.77	c  413s |      23 |  2619725 |  2343338 |      798   6978 |        0 |        0
415.63/415.79	c  415s |      23 |  2630501 |  2353238 |      798   7000 |        0 |        0
417.73/417.80	c  417s |      23 |  2640995 |  2362938 |      798   7022 |        0 |        0
419.73/419.80	c  419s |      23 |  2651801 |  2372838 |      798   7044 |        0 |        0
421.72/421.81	c  421s |      23 |  2664031 |  2383638 |      798   7069 |        0 |        0
423.72/423.83	c  423s |      23 |  2675455 |  2394038 |      798   7093 |        0 |        0
425.73/425.83	c  425s |      23 |  2686809 |  2404438 |      798   7117 |        0 |        0
427.72/427.84	c  427s |      23 |  2697920 |  2414438 |      798   7140 |        0 |        0
429.72/429.84	c  429s |      23 |  2709161 |  2424538 |      798   7163 |        0 |        0
431.72/431.85	c  431s |      23 |  2719855 |  2434338 |      798   7185 |        0 |        0
433.73/433.86	c  433s |      23 |  2731199 |  2444538 |      798   7208 |        0 |        0
435.73/435.88	c  435s |      23 |  2741592 |  2454038 |      798   7230 |        0 |        0
437.73/437.89	c  437s |      23 |  2751849 |  2463338 |      798   7251 |        0 |        0
439.83/439.90	c  439s |      23 |  2761926 |  2472638 |      798   7272 |        0 |        0
441.82/441.92	c  441s |      23 |  2772914 |  2482738 |      798   7295 |        0 |        0
443.82/443.93	c  443s |      23 |  2783939 |  2492838 |      798   7318 |        0 |        0
445.82/445.95	c  445s |      23 |  2795212 |  2502938 |      798   7341 |        0 |        0
447.82/447.96	c  447s |      23 |  2806359 |  2512938 |      798   7364 |        0 |        0
449.83/449.96	c  449s |      23 |  2816639 |  2522338 |      798   7385 |        0 |        0
451.82/451.97	c  451s |      23 |  2826190 |  2531038 |      798   7405 |        0 |        0
453.82/453.98	c  453s |      23 |  2836981 |  2540738 |      798   7427 |        0 |        0
455.82/455.99	c  455s |      23 |  2847665 |  2550438 |      798   7449 |        0 |        0
457.92/458.00	c  457s |      23 |  2858586 |  2560238 |      798   7472 |        0 |        0
459.92/460.00	c  459s |      23 |  2868841 |  2569438 |      798   7493 |        0 |        0
461.93/462.02	c  462s |      23 |  2879900 |  2579438 |      798   7516 |        0 |        0
463.92/464.02	c  464s |      23 |  2890770 |  2589238 |      798   7538 |        0 |        0
465.92/466.03	c  466s |      23 |  2900500 |  2598238 |      798   7558 |        0 |        0
467.92/468.04	c  468s |      23 |  2910712 |  2607638 |      798   7580 |        0 |        0
469.92/470.05	c  470s |      23 |  2921048 |  2617138 |      798   7601 |        0 |        0
471.93/472.06	c  472s |      23 |  2932232 |  2627438 |      798   7625 |        0 |        0
473.92/474.08	c  474s |      23 |  2943272 |  2637438 |      798   7648 |        0 |        0
475.92/476.09	c  476s |      23 |  2954573 |  2647538 |      798   7671 |        0 |        0
477.92/478.09	c  478s |      23 |  2965784 |  2657338 |      798   7693 |        0 |        0
480.02/480.11	c  480s |      23 |  2976888 |  2666938 |      798   7715 |        0 |        0
482.02/482.11	c  482s |      23 |  2987195 |  2676138 |      798   7735 |        0 |        0
484.02/484.13	c  484s |      23 |  2997677 |  2685438 |      798   7757 |        0 |        0
486.01/486.14	c  486s |      23 |  3007717 |  2694538 |      798   7777 |        0 |        0
488.01/488.15	c  488s |      23 |  3017481 |  2703438 |      798   7797 |        0 |        0
490.01/490.16	c  490s |      23 |  3028318 |  2713238 |      798   7820 |        0 |        0
492.01/492.16	c  492s |      23 |  3038446 |  2722638 |      798   7841 |        0 |        0
494.01/494.19	c  494s |      23 |  3048415 |  2731738 |      798   7861 |        0 |        0
496.12/496.20	c  496s |      23 |  3058307 |  2740738 |      798   7882 |        0 |        0
498.11/498.21	c  498s |      23 |  3068076 |  2749638 |      798   7902 |        0 |        0
500.11/500.21	c  500s |      23 |  3077828 |  2758638 |      798   7922 |        0 |        0
502.11/502.22	c  502s |      23 |  3087545 |  2767538 |      798   7942 |        0 |        0
504.11/504.22	c  504s |      23 |  3097006 |  2776338 |      798   7962 |        0 |        0
506.11/506.24	c  506s |      23 |  3106764 |  2785238 |      798   7983 |        0 |        0
508.12/508.26	c  508s |      23 |  3117790 |  2795238 |      798   8005 |        0 |        0
510.12/510.26	c  510s |      23 |  3128306 |  2804938 |      798   8027 |        0 |        0
512.12/512.27	c  512s |      23 |  3138638 |  2814438 |      798   8049 |        0 |        0
514.12/514.29	c  514s |      23 |  3148428 |  2823438 |      798   8069 |        0 |        0
516.22/516.31	c  516s |      23 |  3158173 |  2832338 |      798   8090 |        0 |        0
518.22/518.33	c  518s |      23 |  3168621 |  2841838 |      798   8111 |        0 |        0
520.22/520.34	c  520s |      23 |  3178547 |  2850938 |      798   8132 |        0 |        0
522.21/522.35	c  522s |      23 |  3188572 |  2860138 |      798   8153 |        0 |        0
524.21/524.37	c  524s |      23 |  3199663 |  2870438 |      798   8176 |        0 |        0
526.21/526.38	c  526s |      23 |  3210497 |  2880538 |      798   8199 |        0 |        0
528.21/528.38	c  528s |      23 |  3221584 |  2890938 |      798   8223 |        0 |        0
530.31/530.40	c  530s |      23 |  3232642 |  2901138 |      798   8246 |        0 |        0
532.32/532.42	c  532s |      23 |  3243471 |  2911138 |      798   8269 |        0 |        0
534.31/534.43	c  534s |      23 |  3253753 |  2920638 |      798   8291 |        0 |        0
536.31/536.45	c  536s |      23 |  3264059 |  2930138 |      798   8312 |        0 |        0
538.31/538.46	c  538s |      23 |  3273799 |  2939238 |      798   8333 |        0 |        0
540.31/540.48	c  540s |      23 |  3283841 |  2948438 |      798   8354 |        0 |        0
542.31/542.49	c  542s |      23 |  3294112 |  2957938 |      798   8375 |        0 |        0
544.31/544.50	c  544s |      23 |  3304127 |  2967238 |      798   8396 |        0 |        0
546.41/546.51	c  546s |      23 |  3314596 |  2976738 |      798   8418 |        0 |        0
548.41/548.52	c  548s |      23 |  3324764 |  2985938 |      798   8439 |        0 |        0
550.41/550.54	c  550s |      23 |  3334824 |  2995238 |      798   8460 |        0 |        0
552.41/552.56	c  552s |      23 |  3344940 |  3004538 |      798   8481 |        0 |        0
554.41/554.56	c  554s |      23 |  3353904 |  3012938 |      798   8500 |        0 |        0
556.40/556.56	c  556s |      23 |  3362863 |  3021238 |      798   8519 |        0 |        0
558.40/558.57	c  558s |      23 |  3372438 |  3030038 |      798   8539 |        0 |        0
560.40/560.58	c  560s |      23 |  3381667 |  3038638 |      798   8558 |        0 |        0
562.50/562.60	c  562s |      23 |  3391475 |  3047638 |      798   8579 |        0 |        0
564.50/564.61	c  564s |      23 |  3401341 |  3056738 |      798   8599 |        0 |        0
566.51/566.61	c  566s |      23 |  3410956 |  3065538 |      798   8619 |        0 |        0
568.50/568.64	c  568s |      23 |  3421264 |  3075038 |      798   8641 |        0 |        0
570.50/570.64	c  570s |      23 |  3432079 |  3084938 |      798   8663 |        0 |        0
572.50/572.65	c  572s |      23 |  3442973 |  3094838 |      798   8686 |        0 |        0
574.50/574.65	c  574s |      23 |  3452908 |  3103938 |      798   8706 |        0 |        0
576.50/576.67	c  576s |      23 |  3462847 |  3113038 |      798   8727 |        0 |        0
578.51/578.68	c  578s |      23 |  3472480 |  3121938 |      798   8747 |        0 |        0
580.60/580.70	c  580s |      23 |  3482149 |  3130838 |      798   8768 |        0 |        0
582.60/582.70	c  582s |      23 |  3491284 |  3139338 |      798   8787 |        0 |        0
584.60/584.71	c  584s |      23 |  3501117 |  3148338 |      798   8807 |        0 |        0
586.61/586.72	c  586s |      23 |  3510735 |  3157238 |      798   8828 |        0 |        0
588.61/588.74	c  588s |      23 |  3520242 |  3166038 |      798   8848 |        0 |        0
590.61/590.75	c  590s |      23 |  3530247 |  3175138 |      798   8868 |        0 |        0
592.60/592.75	c  592s |      23 |  3541414 |  3185238 |      798   8891 |        0 |        0
594.60/594.77	c  594s |      23 |  3552239 |  3195038 |      798   8914 |        0 |        0
596.60/596.78	c  596s |      23 |  3563173 |  3204938 |      798   8936 |        0 |        0
598.60/598.79	c  598s |      23 |  3573381 |  3214138 |      798   8957 |        0 |        0
600.61/600.79	c  600s |      23 |  3583873 |  3223638 |      798   8978 |        0 |        0
602.60/602.80	c  602s |      23 |  3594585 |  3233438 |      798   9000 |        0 |        0
604.70/604.81	c  604s |      23 |  3605318 |  3243338 |      798   9023 |        0 |        0
606.70/606.82	c  606s |      23 |  3616148 |  3253238 |      798   9045 |        0 |        0
608.70/608.84	c  608s |      23 |  3626706 |  3262838 |      798   9067 |        0 |        0
610.70/610.85	c  610s |      23 |  3636860 |  3272038 |      798   9088 |        0 |        0
612.71/612.86	c  612s |      23 |  3646872 |  3281238 |      798   9109 |        0 |        0
614.70/614.86	c  614s |      23 |  3657120 |  3290538 |      798   9130 |        0 |        0
616.70/616.88	c  616s |      23 |  3667656 |  3300038 |      798   9152 |        0 |        0
618.70/618.89	c  618s |      23 |  3677665 |  3309038 |      798   9172 |        0 |        0
620.80/620.90	c  620s |      23 |  3688147 |  3318438 |      798   9193 |        0 |        0
622.80/622.91	c  622s |      23 |  3699615 |  3328738 |      798   9217 |        0 |        0
624.81/624.91	c  624s |      23 |  3710483 |  3338538 |      798   9239 |        0 |        0
626.80/626.92	c  626s |      23 |  3720379 |  3347738 |      798   9260 |        0 |        0
628.80/628.93	c  628s |      23 |  3730865 |  3357238 |      878   9280 |        0 |        0
630.80/630.94	c  630s |      23 |  3740479 |  3366138 |      878   9299 |        0 |        0
632.80/632.95	c  632s |      23 |  3749686 |  3374638 |      878   9316 |        0 |        0
633.30/633.40	c  633s |      24 |  3751870 |  3376662 |      878   9320 |        0 |        0
635.30/635.41	c  635s |      24 |  3763087 |  3386862 |      878   9342 |        0 |        0
637.30/637.41	c  637s |      24 |  3774281 |  3397162 |      878   9363 |        0 |        0
639.30/639.42	c  639s |      24 |  3786268 |  3408062 |      878   9386 |        0 |        0
641.30/641.43	c  641s |      24 |  3797349 |  3418062 |      878   9407 |        0 |        0
643.29/643.44	c  643s |      24 |  3808304 |  3427962 |      878   9428 |        0 |        0
645.29/645.45	c  645s |      24 |  3818738 |  3437562 |      878   9448 |        0 |        0
647.29/647.47	c  647s |      24 |  3828904 |  3446962 |      878   9467 |        0 |        0
649.29/649.48	c  649s |      24 |  3838701 |  3455962 |      878   9486 |        0 |        0
651.29/651.49	c  651s |      24 |  3848802 |  3465262 |      878   9506 |        0 |        0
653.40/653.51	c  653s |      24 |  3858603 |  3474262 |      878   9524 |        0 |        0
655.39/655.52	c  655s |      24 |  3868246 |  3483162 |      878   9543 |        0 |        0
657.39/657.53	c  657s |      24 |  3878199 |  3492462 |      878   9562 |        0 |        0
659.39/659.54	c  659s |      24 |  3888156 |  3501562 |      878   9581 |        0 |        0
661.39/661.54	c  661s |      24 |  3899017 |  3511262 |      878   9602 |        0 |        0
663.39/663.54	c  663s |      24 |  3909543 |  3520762 |      878   9622 |        0 |        0
665.40/665.56	c  665s |      24 |  3919786 |  3530062 |      878   9641 |        0 |        0
667.39/667.57	c  667s |      24 |  3929271 |  3538862 |      878   9659 |        0 |        0
669.39/669.57	c  669s |      24 |  3939129 |  3547862 |      878   9678 |        0 |        0
671.39/671.59	c  671s |      24 |  3949109 |  3557062 |      878   9697 |        0 |        0
673.49/673.61	c  673s |      24 |  3958645 |  3565862 |      878   9715 |        0 |        0
675.49/675.62	c  675s |      24 |  3968192 |  3574562 |      878   9733 |        0 |        0
677.49/677.64	c  677s |      24 |  3978197 |  3583562 |      878   9752 |        0 |        0
679.48/679.66	c  679s |      24 |  3988511 |  3592962 |      878   9772 |        0 |        0
681.48/681.66	c  681s |      24 |  3997850 |  3601562 |      878   9789 |        0 |        0
683.49/683.68	c  683s |      24 |  4006981 |  3610062 |      878   9807 |        0 |        0
685.49/685.68	c  685s |      24 |  4017031 |  3619162 |      878   9826 |        0 |        0
687.50/687.69	c  687s |      24 |  4027906 |  3629062 |      878   9847 |        0 |        0
689.49/689.69	c  689s |      24 |  4038615 |  3638762 |      878   9867 |        0 |        0
691.59/691.71	c  691s |      24 |  4048405 |  3647862 |      878   9886 |        0 |        0
693.59/693.71	c  693s |      24 |  4057681 |  3656462 |      878   9904 |        0 |        0
695.59/695.72	c  695s |      24 |  4067640 |  3665762 |      878   9923 |        0 |        0
697.59/697.72	c  697s |      24 |  4077359 |  3674762 |      878   9942 |        0 |        0
699.59/699.73	c  699s |      24 |  4086743 |  3683462 |      878   9960 |        0 |        0
701.59/701.74	c  701s |      24 |  4096604 |  3692562 |      878   9979 |        0 |        0
703.59/703.75	c  703s |      24 |  4106554 |  3701662 |      878   9998 |        0 |        0
705.58/705.76	c  705s |      24 |  4117298 |  3711362 |      878  10018 |        0 |        0
707.58/707.76	c  707s |      24 |  4127582 |  3720662 |      878  10037 |        0 |        0
709.58/709.77	c  709s |      24 |  4137673 |  3729862 |      878  10056 |        0 |        0
711.59/711.78	c  711s |      24 |  4147781 |  3739062 |      878  10075 |        0 |        0
713.58/713.79	c  713s |      24 |  4157899 |  3748262 |      878  10095 |        0 |        0
715.68/715.80	c  715s |      24 |  4167688 |  3757262 |      878  10113 |        0 |        0
717.68/717.81	c  717s |      24 |  4177994 |  3766462 |      878  10133 |        0 |        0
719.68/719.81	c  719s |      24 |  4188333 |  3775762 |      878  10152 |        0 |        0
721.68/721.81	c  721s |      24 |  4198677 |  3785262 |      878  10172 |        0 |        0
723.69/723.82	c  723s |      24 |  4208791 |  3794562 |      878  10191 |        0 |        0
725.68/725.84	c  725s |      24 |  4218687 |  3803662 |      878  10210 |        0 |        0
727.68/727.87	c  727s |      24 |  4228764 |  3812662 |      878  10229 |        0 |        0
729.68/729.88	c  729s |      24 |  4238125 |  3821262 |      878  10246 |        0 |        0
731.78/731.90	c  731s |      24 |  4248164 |  3830362 |      878  10265 |        0 |        0
733.78/733.91	c  733s |      24 |  4257505 |  3838862 |      878  10283 |        0 |        0
735.79/735.92	c  735s |      24 |  4267218 |  3847662 |      878  10301 |        0 |        0
737.78/737.95	c  737s |      24 |  4276294 |  3855962 |      878  10318 |        0 |        0
739.78/739.96	c  739s |      24 |  4286178 |  3864962 |      878  10337 |        0 |        0
741.78/741.96	c  741s |      24 |  4296574 |  3874462 |      878  10357 |        0 |        0
743.78/743.98	c  743s |      24 |  4306620 |  3883762 |      878  10376 |        0 |        0
745.79/745.98	c  745s |      24 |  4315929 |  3892462 |      878  10394 |        0 |        0
747.78/747.99	c  747s |      24 |  4325931 |  3901662 |      878  10413 |        0 |        0
749.88/750.00	c  749s |      24 |  4336237 |  3911062 |      878  10433 |        0 |        0
751.88/752.00	c  751s |      24 |  4346235 |  3920062 |      878  10451 |        0 |        0
753.88/754.01	c  753s |      24 |  4355742 |  3928662 |      878  10469 |        0 |        0
755.88/756.01	c  756s |      24 |  4364885 |  3937062 |      878  10487 |        0 |        0
757.88/758.03	c  758s |      24 |  4376087 |  3947262 |      878  10508 |        0 |        0
759.88/760.03	c  760s |      24 |  4386806 |  3956962 |      878  10528 |        0 |        0
761.88/762.05	c  762s |      24 |  4397594 |  3966762 |      878  10549 |        0 |        0
763.88/764.07	c  764s |      24 |  4408920 |  3976762 |      878  10570 |        0 |        0
765.88/766.08	c  766s |      24 |  4419563 |  3986462 |      878  10590 |        0 |        0
767.98/768.10	c  768s |      24 |  4429494 |  3995562 |      878  10609 |        0 |        0
769.88/770.10	c  770s |      24 |  4439724 |  4004862 |      878  10628 |        0 |        0
771.97/772.11	c  772s |      24 |  4449792 |  4014062 |      878  10647 |        0 |        0
773.97/774.12	c  774s |      24 |  4461123 |  4024362 |      878  10669 |        0 |        0
775.97/776.15	c  776s |      24 |  4472031 |  4034162 |      878  10689 |        0 |        0
777.97/778.16	c  778s |      24 |  4481976 |  4043262 |      878  10708 |        0 |        0
779.97/780.16	c  780s |      24 |  4491892 |  4052462 |      878  10727 |        0 |        0
781.98/782.16	c  782s |      24 |  4501886 |  4061762 |      878  10746 |        0 |        0
783.97/784.17	c  784s |      24 |  4511720 |  4070962 |      878  10765 |        0 |        0
785.97/786.18	c  786s |      24 |  4521752 |  4080062 |      878  10784 |        0 |        0
787.97/788.19	c  788s |      24 |  4530937 |  4088462 |      878  10801 |        0 |        0
789.97/790.20	c  790s |      24 |  4540499 |  4097162 |      878  10819 |        0 |        0
792.07/792.21	c  792s |      24 |  4552057 |  4107562 |      878  10841 |        0 |        0
794.08/794.23	c  794s |      24 |  4563031 |  4117662 |      878  10862 |        0 |        0
796.07/796.23	c  796s |      24 |  4573636 |  4127362 |      878  10882 |        0 |        0
798.07/798.26	c  798s |      24 |  4583624 |  4136562 |      878  10902 |        0 |        0
800.06/800.28	c  800s |      24 |  4594184 |  4146162 |      878  10922 |        0 |        0
802.16/802.30	c  802s |      24 |  4605255 |  4156262 |      878  10943 |        0 |        0
804.16/804.31	c  804s |      24 |  4615181 |  4165362 |      878  10962 |        0 |        0
806.17/806.33	c  806s |      24 |  4625426 |  4174862 |      878  10981 |        0 |        0
808.17/808.34	c  808s |      24 |  4634876 |  4183662 |      878  11000 |        0 |        0
810.17/810.35	c  810s |      24 |  4645184 |  4193162 |      878  11019 |        0 |        0
812.17/812.35	c  812s |      24 |  4655092 |  4202262 |      878  11038 |        0 |        0
814.17/814.36	c  814s |      24 |  4665122 |  4211362 |      878  11057 |        0 |        0
816.18/816.38	c  816s |      24 |  4674649 |  4220162 |      878  11076 |        0 |        0
818.17/818.39	c  818s |      24 |  4684976 |  4229762 |      878  11095 |        0 |        0
820.27/820.40	c  820s |      24 |  4695169 |  4239162 |      878  11115 |        0 |        0
822.27/822.41	c  822s |      24 |  4705067 |  4248462 |      878  11134 |        0 |        0
824.26/824.41	c  824s |      24 |  4714243 |  4257062 |      878  11152 |        0 |        0
826.26/826.41	c  826s |      24 |  4723272 |  4265462 |      878  11170 |        0 |        0
828.27/828.42	c  828s |      24 |  4733117 |  4274462 |      878  11189 |        0 |        0
830.26/830.43	c  830s |      24 |  4743113 |  4283662 |      878  11208 |        0 |        0
832.26/832.44	c  832s |      24 |  4752895 |  4292662 |      878  11226 |        0 |        0
834.26/834.46	c  834s |      24 |  4762508 |  4301362 |      878  11244 |        0 |        0
836.26/836.47	c  836s |      24 |  4771110 |  4309262 |      878  11261 |        0 |        0
838.26/838.48	c  838s |      24 |  4780870 |  4318262 |      878  11280 |        0 |        0
840.27/840.49	c  840s |      24 |  4790351 |  4327062 |      878  11298 |        0 |        0
842.36/842.50	c  842s |      24 |  4799733 |  4335762 |      878  11316 |        0 |        0
844.36/844.52	c  844s |      24 |  4809158 |  4344462 |      878  11334 |        0 |        0
846.36/846.52	c  846s |      24 |  4818642 |  4353262 |      878  11353 |        0 |        0
848.36/848.54	c  848s |      24 |  4829112 |  4362962 |      878  11373 |        0 |        0
850.36/850.56	c  850s |      24 |  4839220 |  4372162 |      878  11392 |        0 |        0
852.37/852.58	c  852s |      24 |  4849868 |  4381762 |      878  11412 |        0 |        0
854.36/854.58	c  854s |      24 |  4861805 |  4392162 |      878  11434 |        0 |        0
856.36/856.59	c  856s |      24 |  4873517 |  4402462 |      878  11456 |        0 |        0
858.36/858.59	c  858s |      24 |  4884765 |  4412562 |      878  11477 |        0 |        0
860.36/860.59	c  860s |      24 |  4896342 |  4422762 |      878  11498 |        0 |        0
862.36/862.59	c  862s |      24 |  4907198 |  4432562 |      878  11519 |        0 |        0
864.36/864.60	c  864s |      24 |  4918044 |  4442462 |      878  11540 |        0 |        0
866.46/866.62	c  866s |      24 |  4928892 |  4452362 |      878  11561 |        0 |        0
868.46/868.62	c  868s |      24 |  4939054 |  4461762 |      878  11581 |        0 |        0
870.45/870.63	c  870s |      24 |  4949887 |  4471362 |      878  11601 |        0 |        0
872.45/872.63	c  872s |      24 |  4959384 |  4479962 |      878  11619 |        0 |        0
874.46/874.64	c  874s |      24 |  4970003 |  4489562 |      878  11639 |        0 |        0
876.45/876.66	c  876s |      24 |  4980934 |  4499462 |      878  11659 |        0 |        0
878.45/878.68	c  878s |      24 |  4992463 |  4509762 |      878  11681 |        0 |        0
880.45/880.69	c  880s |      24 |  5003833 |  4520062 |      878  11703 |        0 |        0
882.55/882.70	c  882s |      24 |  5014752 |  4529962 |      878  11724 |        0 |        0
884.56/884.72	c  884s |      24 |  5026183 |  4540362 |      878  11745 |        0 |        0
886.57/886.73	c  886s |      24 |  5037401 |  4550462 |      878  11767 |        0 |        0
888.56/888.73	c  888s |      24 |  5048159 |  4560062 |      878  11787 |        0 |        0
890.56/890.74	c  890s |      24 |  5059578 |  4570062 |      878  11808 |        0 |        0
892.56/892.75	c  892s |      24 |  5070554 |  4580062 |      878  11829 |        0 |        0
894.56/894.76	c  894s |      24 |  5081287 |  4589862 |      878  11849 |        0 |        0
896.56/896.77	c  896s |      24 |  5092781 |  4599962 |      878  11871 |        0 |        0
898.56/898.78	c  898s |      24 |  5105359 |  4610562 |      878  11893 |        0 |        0
900.56/900.79	c  900s |      24 |  5116950 |  4620762 |      878  11915 |        0 |        0
902.66/902.80	c  902s |      24 |  5127321 |  4630162 |      878  11934 |        0 |        0
904.66/904.81	c  904s |      24 |  5138415 |  4640262 |      878  11955 |        0 |        0
906.66/906.83	c  906s |      24 |  5148500 |  4649562 |      878  11975 |        0 |        0
908.65/908.83	c  908s |      24 |  5158892 |  4659062 |      878  11995 |        0 |        0
910.66/910.84	c  910s |      24 |  5170465 |  4669262 |      878  12016 |        0 |        0
912.65/912.85	c  912s |      24 |  5182337 |  4679462 |      878  12038 |        0 |        0
914.65/914.87	c  914s |      24 |  5194087 |  4689762 |      878  12060 |        0 |        0
916.65/916.88	c  916s |      24 |  5205051 |  4699462 |      878  12080 |        0 |        0
918.65/918.89	c  918s |      24 |  5216326 |  4709362 |      878  12101 |        0 |        0
920.75/920.91	c  920s |      24 |  5227346 |  4719162 |      878  12121 |        0 |        0
922.76/922.92	c  922s |      24 |  5238180 |  4728962 |      878  12142 |        0 |        0
924.75/924.94	c  924s |      24 |  5248845 |  4738762 |      878  12162 |        0 |        0
926.75/926.95	c  926s |      24 |  5260030 |  4748662 |      878  12183 |        0 |        0
928.75/928.96	c  928s |      24 |  5270954 |  4758562 |      878  12204 |        0 |        0
930.75/930.97	c  930s |      24 |  5281716 |  4768262 |      878  12224 |        0 |        0
932.76/932.99	c  932s |      24 |  5292680 |  4778062 |      878  12245 |        0 |        0
934.75/935.00	c  934s |      24 |  5303038 |  4787462 |      878  12264 |        0 |        0
936.85/937.00	c  936s |      24 |  5313851 |  4797262 |      878  12285 |        0 |        0
938.85/939.02	c  939s |      24 |  5325205 |  4807562 |      878  12307 |        0 |        0
940.85/941.04	c  941s |      24 |  5335925 |  4817362 |      878  12327 |        0 |        0
942.85/943.04	c  943s |      24 |  5346637 |  4827062 |      878  12347 |        0 |        0
944.85/945.05	c  945s |      24 |  5356782 |  4836462 |      878  12367 |        0 |        0
946.85/947.05	c  947s |      24 |  5367641 |  4846362 |      878  12388 |        0 |        0
948.84/949.06	c  949s |      24 |  5378495 |  4856262 |      878  12409 |        0 |        0
950.84/951.06	c  951s |      24 |  5388500 |  4865562 |      878  12428 |        0 |        0
952.84/953.07	c  953s |      24 |  5399216 |  4875362 |      878  12449 |        0 |        0
954.84/955.08	c  955s |      24 |  5410176 |  4885362 |      878  12469 |        0 |        0
956.85/957.09	c  957s |      24 |  5420366 |  4894662 |      878  12488 |        0 |        0
958.94/959.11	c  959s |      24 |  5431448 |  4904562 |      878  12509 |        0 |        0
960.94/961.12	c  961s |      24 |  5442776 |  4914762 |      878  12531 |        0 |        0
962.94/963.13	c  963s |      24 |  5453849 |  4924662 |      878  12552 |        0 |        0
964.94/965.13	c  965s |      24 |  5464465 |  4934362 |      878  12572 |        0 |        0
966.94/967.14	c  967s |      24 |  5475994 |  4944762 |      878  12594 |        0 |        0
968.95/969.16	c  969s |      24 |  5487796 |  4955362 |      878  12616 |        0 |        0
970.94/971.17	c  971s |      24 |  5498738 |  4965162 |      878  12637 |        0 |        0
972.94/973.17	c  973s |      24 |  5509936 |  4975262 |      878  12658 |        0 |        0
974.94/975.18	c  975s |      24 |  5520429 |  4984862 |      878  12678 |        0 |        0
976.94/977.19	c  977s |      24 |  5531562 |  4994862 |      878  12699 |        0 |        0
979.04/979.20	c  979s |      24 |  5542608 |  5004862 |      878  12720 |        0 |        0
981.04/981.22	c  981s |      24 |  5553508 |  5014762 |      878  12741 |        0 |        0
983.04/983.23	c  983s |      24 |  5564282 |  5024462 |      878  12761 |        0 |        0
985.04/985.24	c  985s |      24 |  5574575 |  5033762 |      966  12780 |        0 |        0
987.04/987.25	c  987s |      24 |  5585048 |  5043162 |      966  12797 |        0 |        0
989.04/989.25	c  989s |      24 |  5594831 |  5052062 |      966  12814 |        0 |        0
991.04/991.25	c  991s |      24 |  5604358 |  5060962 |      966  12831 |        0 |        0
992.04/992.21	c  992s |      25 |  5608799 |  5065098 |      966  12839 |        0 |        0
994.03/994.21	c  994s |      25 |  5620732 |  5075598 |      966  12859 |        0 |        0
996.03/996.23	c  996s |      25 |  5631281 |  5085098 |      966  12878 |        0 |        0
998.03/998.23	c  998s |      25 |  5641794 |  5094698 |      966  12896 |        0 |        0
1000.03/1000.23	c 1000s |      25 |  5652531 |  5104498 |      966  12915 |        0 |        0
1002.04/1002.23	c 1002s |      25 |  5663672 |  5114598 |      966  12934 |        0 |        0
1004.03/1004.25	c 1004s |      25 |  5674732 |  5124598 |      966  12953 |        0 |        0
1006.04/1006.27	c 1006s |      25 |  5685820 |  5134598 |      966  12972 |        0 |        0
1008.04/1008.28	c 1008s |      25 |  5697012 |  5144698 |      966  12992 |        0 |        0
1010.14/1010.31	c 1010s |      25 |  5708052 |  5154598 |      966  13011 |        0 |        0
1012.14/1012.32	c 1012s |      25 |  5718684 |  5164198 |      966  13029 |        0 |        0
1014.15/1014.33	c 1014s |      25 |  5730147 |  5174498 |      966  13049 |        0 |        0
1016.14/1016.35	c 1016s |      25 |  5741762 |  5184698 |      966  13068 |        0 |        0
1018.14/1018.37	c 1018s |      25 |  5752983 |  5194798 |      966  13088 |        0 |        0
1020.14/1020.37	c 1020s |      25 |  5764179 |  5205098 |      966  13107 |        0 |        0
1022.14/1022.39	c 1022s |      25 |  5775161 |  5214998 |      966  13126 |        0 |        0
1024.24/1024.41	c 1024s |      25 |  5785791 |  5224598 |      966  13145 |        0 |        0
1026.24/1026.42	c 1026s |      25 |  5796864 |  5234698 |      966  13164 |        0 |        0
1028.23/1028.44	c 1028s |      25 |  5807678 |  5244498 |      966  13183 |        0 |        0
1030.23/1030.46	c 1030s |      25 |  5817856 |  5253898 |      966  13201 |        0 |        0
1032.23/1032.46	c 1032s |      25 |  5827614 |  5262898 |      966  13218 |        0 |        0
1034.23/1034.47	c 1034s |      25 |  5837424 |  5272098 |      966  13236 |        0 |        0
1036.23/1036.47	c 1036s |      25 |  5847956 |  5281598 |      966  13254 |        0 |        0
1038.24/1038.49	c 1038s |      25 |  5858974 |  5291598 |      966  13273 |        0 |        0
1040.33/1040.50	c 1040s |      25 |  5868958 |  5300798 |      966  13291 |        0 |        0
1042.33/1042.51	c 1042s |      25 |  5880195 |  5310998 |      966  13310 |        0 |        0
1044.33/1044.52	c 1044s |      25 |  5890755 |  5320698 |      966  13329 |        0 |        0
1046.33/1046.54	c 1046s |      25 |  5901574 |  5330498 |      966  13348 |        0 |        0
1048.33/1048.56	c 1048s |      25 |  5911403 |  5339498 |      966  13365 |        0 |        0
1050.34/1050.57	c 1050s |      25 |  5921817 |  5348998 |      966  13383 |        0 |        0
1052.33/1052.59	c 1052s |      25 |  5931343 |  5357898 |      966  13400 |        0 |        0
1054.43/1054.60	c 1054s |      25 |  5941245 |  5367098 |      966  13417 |        0 |        0
1056.43/1056.61	c 1056s |      25 |  5951545 |  5376698 |      966  13435 |        0 |        0
1058.43/1058.62	c 1058s |      25 |  5961382 |  5385898 |      966  13453 |        0 |        0
1060.43/1060.62	c 1060s |      25 |  5971712 |  5395398 |      966  13471 |        0 |        0
1062.43/1062.63	c 1062s |      25 |  5981373 |  5404398 |      966  13488 |        0 |        0
1064.43/1064.63	c 1064s |      25 |  5991534 |  5413598 |      966  13506 |        0 |        0
1066.42/1066.65	c 1066s |      25 |  6001885 |  5423098 |      966  13524 |        0 |        0
1068.42/1068.66	c 1068s |      25 |  6012362 |  5432598 |      966  13542 |        0 |        0
1070.42/1070.67	c 1070s |      25 |  6022119 |  5441698 |      966  13559 |        0 |        0
1072.52/1072.70	c 1072s |      25 |  6032790 |  5451298 |      966  13578 |        0 |        0
1074.54/1074.70	c 1074s |      25 |  6043651 |  5461098 |      966  13596 |        0 |        0
1076.53/1076.71	c 1076s |      25 |  6054583 |  5470998 |      966  13615 |        0 |        0
1078.53/1078.71	c 1078s |      25 |  6065539 |  5480898 |      966  13634 |        0 |        0
1080.53/1080.71	c 1080s |      25 |  6075886 |  5490298 |      966  13652 |        0 |        0
1082.53/1082.72	c 1082s |      25 |  6085538 |  5499098 |      966  13669 |        0 |        0
1084.53/1084.73	c 1084s |      25 |  6094991 |  5507898 |      966  13686 |        0 |        0
1086.53/1086.73	c 1086s |      25 |  6104907 |  5517098 |      966  13704 |        0 |        0
1088.53/1088.73	c 1088s |      25 |  6114936 |  5526298 |      966  13721 |        0 |        0
1090.53/1090.75	c 1090s |      25 |  6124227 |  5535098 |      966  13738 |        0 |        0
1092.52/1092.76	c 1092s |      25 |  6134112 |  5544198 |      966  13756 |        0 |        0
1094.52/1094.78	c 1094s |      25 |  6144251 |  5553498 |      966  13773 |        0 |        0
1096.53/1096.79	c 1096s |      25 |  6154227 |  5562698 |      966  13791 |        0 |        0
1098.62/1098.80	c 1098s |      25 |  6164105 |  5571798 |      966  13809 |        0 |        0
1100.62/1100.81	c 1100s |      25 |  6174375 |  5581098 |      966  13826 |        0 |        0
1102.62/1102.82	c 1102s |      25 |  6184270 |  5590098 |      966  13844 |        0 |        0
1104.62/1104.83	c 1104s |      25 |  6194375 |  5599298 |      966  13861 |        0 |        0
1106.62/1106.85	c 1106s |      25 |  6204438 |  5608398 |      966  13879 |        0 |        0
1108.63/1108.87	c 1108s |      25 |  6213587 |  5616798 |      966  13895 |        0 |        0
1110.62/1110.88	c 1110s |      25 |  6223356 |  5625498 |      966  13912 |        0 |        0
1112.62/1112.89	c 1112s |      25 |  6233067 |  5634498 |      966  13929 |        0 |        0
1114.72/1114.91	c 1114s |      25 |  6242996 |  5643698 |      966  13946 |        0 |        0
1116.72/1116.92	c 1116s |      25 |  6252096 |  5652198 |      966  13963 |        0 |        0
1118.72/1118.93	c 1118s |      25 |  6261495 |  5660998 |      966  13980 |        0 |        0
1120.72/1120.95	c 1120s |      25 |  6271803 |  5670498 |      966  13998 |        0 |        0
1122.72/1122.96	c 1122s |      25 |  6282226 |  5679898 |      966  14016 |        0 |        0
1124.72/1124.98	c 1124s |      25 |  6293352 |  5689698 |      966  14035 |        0 |        0
1126.71/1126.99	c 1126s |      25 |  6303106 |  5698498 |      966  14052 |        0 |        0
1128.82/1129.00	c 1128s |      25 |  6312627 |  5707198 |      966  14068 |        0 |        0
1130.82/1131.01	c 1130s |      25 |  6321732 |  5715598 |      966  14084 |        0 |        0
1132.83/1133.03	c 1133s |      25 |  6332694 |  5725598 |      966  14103 |        0 |        0
1134.82/1135.03	c 1135s |      25 |  6343204 |  5735298 |      966  14122 |        0 |        0
1136.82/1137.04	c 1137s |      25 |  6354337 |  5745298 |      966  14141 |        0 |        0
1138.82/1139.05	c 1139s |      25 |  6364844 |  5754898 |      966  14160 |        0 |        0
1140.82/1141.07	c 1141s |      25 |  6375597 |  5764698 |      966  14179 |        0 |        0
1142.83/1143.08	c 1143s |      25 |  6386506 |  5774498 |      966  14198 |        0 |        0
1144.82/1145.10	c 1145s |      25 |  6396653 |  5783798 |      966  14216 |        0 |        0
1146.92/1147.11	c 1147s |      25 |  6406301 |  5792798 |      966  14233 |        0 |        0
1148.92/1149.12	c 1149s |      25 |  6416071 |  5801798 |      966  14250 |        0 |        0
1150.92/1151.12	c 1151s |      25 |  6425564 |  5810498 |      966  14267 |        0 |        0
1152.92/1153.13	c 1153s |      25 |  6436081 |  5819898 |      966  14285 |        0 |        0
1154.93/1155.15	c 1155s |      25 |  6446458 |  5829198 |      966  14303 |        0 |        0
1156.92/1157.16	c 1157s |      25 |  6457195 |  5838898 |      966  14322 |        0 |        0
1158.92/1159.16	c 1159s |      25 |  6468059 |  5848898 |      966  14341 |        0 |        0
1160.92/1161.18	c 1161s |      25 |  6479212 |  5858898 |      966  14360 |        0 |        0
1162.92/1163.19	c 1163s |      25 |  6491205 |  5869298 |      966  14380 |        0 |        0
1164.91/1165.19	c 1165s |      25 |  6502931 |  5879698 |      966  14400 |        0 |        0
1166.92/1167.20	c 1167s |      25 |  6514842 |  5890298 |      966  14421 |        0 |        0
1169.01/1169.21	c 1169s |      25 |  6526707 |  5900998 |      966  14442 |        0 |        0
1171.01/1171.23	c 1171s |      25 |  6538357 |  5911398 |      966  14462 |        0 |        0
1173.01/1173.24	c 1173s |      25 |  6549677 |  5921698 |      966  14481 |        0 |        0
1175.01/1175.26	c 1175s |      25 |  6560420 |  5931598 |      966  14501 |        0 |        0
1177.01/1177.29	c 1177s |      25 |  6572044 |  5941998 |      966  14521 |        0 |        0
1179.02/1179.30	c 1179s |      25 |  6583938 |  5952398 |      966  14541 |        0 |        0
1181.11/1181.32	c 1181s |      25 |  6594959 |  5962398 |      966  14560 |        0 |        0
1183.11/1183.34	c 1183s |      25 |  6606252 |  5972498 |      966  14580 |        0 |        0
1185.11/1185.34	c 1185s |      25 |  6616954 |  5982098 |      966  14598 |        0 |        0
1187.11/1187.35	c 1187s |      25 |  6628173 |  5992198 |      966  14618 |        0 |        0
1189.11/1189.35	c 1189s |      25 |  6639027 |  6001898 |      966  14636 |        0 |        0
1191.11/1191.36	c 1191s |      25 |  6650048 |  6011898 |      966  14656 |        0 |        0
1193.11/1193.37	c 1193s |      25 |  6661615 |  6022098 |      966  14676 |        0 |        0
1195.11/1195.39	c 1195s |      25 |  6672870 |  6032398 |      966  14695 |        0 |        0
1197.11/1197.39	c 1197s |      25 |  6685516 |  6043398 |      966  14717 |        0 |        0
1199.20/1199.40	c 1199s |      25 |  6696762 |  6053598 |      966  14737 |        0 |        0
1201.20/1201.40	c 1201s |      25 |  6708030 |  6063698 |      966  14757 |        0 |        0
1203.21/1203.42	c 1203s |      25 |  6719355 |  6073798 |      966  14776 |        0 |        0
1205.20/1205.42	c 1205s |      25 |  6731820 |  6084698 |      966  14797 |        0 |        0
1207.20/1207.42	c 1207s |      25 |  6744210 |  6095398 |      966  14818 |        0 |        0
1209.21/1209.43	c 1209s |      25 |  6756879 |  6106298 |      966  14839 |        0 |        0
1211.21/1211.44	c 1211s |      25 |  6769342 |  6117098 |      966  14860 |        0 |        0
1213.22/1213.44	c 1213s |      25 |  6780611 |  6126998 |      966  14879 |        0 |        0
1215.21/1215.46	c 1215s |      25 |  6791598 |  6136798 |      966  14898 |        0 |        0
1217.21/1217.46	c 1217s |      25 |  6802505 |  6146598 |      966  14917 |        0 |        0
1219.21/1219.48	c 1219s |      25 |  6813795 |  6156798 |      966  14937 |        0 |        0
1221.21/1221.48	c 1221s |      25 |  6825858 |  6167298 |      966  14957 |        0 |        0
1223.21/1223.49	c 1223s |      25 |  6836862 |  6177298 |      966  14977 |        0 |        0
1225.21/1225.50	c 1225s |      25 |  6848903 |  6187998 |      966  14997 |        0 |        0
1227.31/1227.50	c 1227s |      25 |  6860589 |  6198398 |      966  15017 |        0 |        0
1229.31/1229.51	c 1229s |      25 |  6871906 |  6208598 |      966  15037 |        0 |        0
1231.31/1231.52	c 1231s |      25 |  6883863 |  6218998 |      966  15057 |        0 |        0
1233.31/1233.53	c 1233s |      25 |  6895338 |  6229198 |      966  15077 |        0 |        0
1235.31/1235.54	c 1235s |      25 |  6906740 |  6239398 |      966  15097 |        0 |        0
1237.31/1237.56	c 1237s |      25 |  6917708 |  6249398 |      966  15116 |        0 |        0
1239.30/1239.56	c 1239s |      25 |  6928437 |  6259198 |      966  15135 |        0 |        0
1241.30/1241.57	c 1241s |      25 |  6939252 |  6269098 |      966  15154 |        0 |        0
1243.30/1243.58	c 1243s |      25 |  6950920 |  6279398 |      966  15174 |        0 |        0
1245.30/1245.59	c 1245s |      25 |  6963387 |  6290398 |      966  15195 |        0 |        0
1247.40/1247.60	c 1247s |      25 |  6975575 |  6301298 |      966  15216 |        0 |        0
1249.41/1249.61	c 1249s |      25 |  6986951 |  6311798 |      966  15237 |        0 |        0
1251.40/1251.62	c 1251s |      25 |  6999360 |  6322598 |      966  15257 |        0 |        0
1253.40/1253.64	c 1253s |      25 |  7011669 |  6333398 |      966  15278 |        0 |        0
1255.40/1255.65	c 1255s |      25 |  7023093 |  6343598 |      966  15298 |        0 |        0
1257.40/1257.67	c 1257s |      25 |  7034457 |  6353598 |      966  15318 |        0 |        0
1259.41/1259.69	c 1259s |      25 |  7044611 |  6362998 |      966  15336 |        0 |        0
1261.40/1261.70	c 1261s |      25 |  7054569 |  6372198 |      966  15353 |        0 |        0
1263.50/1263.71	c 1263s |      25 |  7063720 |  6380598 |      966  15370 |        0 |        0
1265.50/1265.72	c 1265s |      25 |  7073396 |  6389398 |      966  15387 |        0 |        0
1267.50/1267.74	c 1267s |      25 |  7083443 |  6398598 |      966  15404 |        0 |        0
1269.49/1269.76	c 1269s |      25 |  7094075 |  6408398 |      966  15423 |        0 |        0
1271.50/1271.77	c 1271s |      25 |  7104541 |  6417998 |      966  15442 |        0 |        0
1273.49/1273.78	c 1273s |      25 |  7115222 |  6427698 |      966  15461 |        0 |        0
1275.49/1275.80	c 1275s |      25 |  7126395 |  6437798 |      966  15480 |        0 |        0
1277.59/1277.80	c 1277s |      25 |  7137628 |  6447898 |      966  15500 |        0 |        0
1279.59/1279.81	c 1279s |      25 |  7148842 |  6458098 |      966  15519 |        0 |        0
1281.60/1281.82	c 1281s |      25 |  7160495 |  6468698 |      966  15540 |        0 |        0
1283.61/1283.83	c 1283s |      25 |  7172617 |  6479598 |      966  15561 |        0 |        0
1285.60/1285.85	c 1285s |      25 |  7185498 |  6490698 |      966  15583 |        0 |        0
1287.60/1287.87	c 1287s |      25 |  7197716 |  6501498 |      966  15604 |        0 |        0
1289.60/1289.87	c 1289s |      25 |  7209112 |  6511798 |      966  15623 |        0 |        0
1291.60/1291.88	c 1291s |      25 |  7220649 |  6522198 |      966  15644 |        0 |        0
1293.60/1293.88	c 1293s |      25 |  7231580 |  6531998 |      966  15662 |        0 |        0
1295.61/1295.89	c 1295s |      25 |  7242797 |  6542198 |      966  15682 |        0 |        0
1297.60/1297.89	c 1297s |      25 |  7254550 |  6552798 |      966  15703 |        0 |        0
1299.70/1299.90	c 1299s |      25 |  7265148 |  6562398 |      966  15721 |        0 |        0
1301.69/1301.90	c 1301s |      25 |  7276301 |  6572598 |      966  15741 |        0 |        0
1303.69/1303.91	c 1303s |      25 |  7287820 |  6582998 |      966  15761 |        0 |        0
1305.69/1305.93	c 1305s |      25 |  7299562 |  6593598 |      966  15781 |        0 |        0
1307.70/1307.93	c 1307s |      25 |  7311316 |  6603998 |      966  15801 |        0 |        0
1309.69/1309.95	c 1309s |      25 |  7322956 |  6614298 |      966  15821 |        0 |        0
1311.69/1311.97	c 1311s |      25 |  7334495 |  6624698 |      966  15841 |        0 |        0
1313.69/1313.97	c 1313s |      25 |  7346199 |  6635198 |      966  15862 |        0 |        0
1315.69/1315.99	c 1315s |      25 |  7357899 |  6645598 |      966  15882 |        0 |        0
1317.69/1317.99	c 1317s |      25 |  7368493 |  6655198 |      966  15900 |        0 |        0
1319.69/1320.00	c 1319s |      25 |  7379449 |  6664998 |      966  15919 |        0 |        0
1321.79/1322.00	c 1321s |      25 |  7390835 |  6675298 |      966  15939 |        0 |        0
1323.79/1324.01	c 1323s |      25 |  7401813 |  6685298 |      966  15959 |        0 |        0
1325.79/1326.01	c 1325s |      25 |  7413890 |  6696098 |      966  15979 |        0 |        0
1327.79/1328.02	c 1328s |      25 |  7426086 |  6706998 |      966  16000 |        0 |        0
1329.79/1330.04	c 1330s |      25 |  7437204 |  6717198 |      966  16020 |        0 |        0
1331.78/1332.04	c 1332s |      25 |  7448271 |  6727098 |      966  16039 |        0 |        0
1333.78/1334.06	c 1334s |      25 |  7459738 |  6737398 |      966  16059 |        0 |        0
1335.78/1336.07	c 1336s |      25 |  7470880 |  6747598 |      966  16079 |        0 |        0
1337.78/1338.09	c 1338s |      25 |  7481632 |  6757498 |      966  16098 |        0 |        0
1339.78/1340.09	c 1340s |      25 |  7492325 |  6767298 |      966  16117 |        0 |        0
1341.79/1342.09	c 1342s |      25 |  7503321 |  6777298 |      966  16136 |        0 |        0
1343.88/1344.11	c 1344s |      25 |  7514336 |  6787198 |      966  16155 |        0 |        0
1345.89/1346.12	c 1346s |      25 |  7524630 |  6796798 |      966  16174 |        0 |        0
1347.89/1348.13	c 1348s |      25 |  7535048 |  6806498 |      966  16193 |        0 |        0
1349.89/1350.15	c 1350s |      25 |  7545465 |  6816198 |      966  16211 |        0 |        0
1351.89/1352.17	c 1352s |      25 |  7556250 |  6826198 |      966  16231 |        0 |        0
1353.90/1354.18	c 1354s |      25 |  7567151 |  6836198 |      966  16250 |        0 |        0
1355.89/1356.18	c 1356s |      25 |  7578734 |  6846598 |      966  16270 |        0 |        0
1357.99/1358.20	c 1358s |      25 |  7589789 |  6856498 |      966  16289 |        0 |        0
1359.99/1360.22	c 1360s |      25 |  7600428 |  6866298 |      966  16308 |        0 |        0
1361.99/1362.24	c 1362s |      25 |  7612094 |  6876698 |      966  16328 |        0 |        0
1363.99/1364.25	c 1364s |      25 |  7623254 |  6886898 |      966  16348 |        0 |        0
1365.99/1366.26	c 1366s |      25 |  7634546 |  6897298 |      966  16368 |        0 |        0
1367.99/1368.28	c 1368s |      25 |  7646436 |  6907898 |      966  16388 |        0 |        0
1369.98/1370.29	c 1370s |      25 |  7656972 |  6917398 |      966  16407 |        0 |        0
1371.98/1372.29	c 1372s |      25 |  7667767 |  6927198 |      966  16425 |        0 |        0
1374.08/1374.31	c 1374s |      25 |  7678210 |  6936698 |      966  16444 |        0 |        0
1376.08/1376.34	c 1376s |      25 |  7688012 |  6945598 |      966  16461 |        0 |        0
1378.09/1378.36	c 1378s |      25 |  7697714 |  6954498 |      966  16478 |        0 |        0
1380.08/1380.37	c 1380s |      25 |  7708444 |  6964098 |      966  16496 |        0 |        0
1382.08/1382.39	c 1382s |      25 |  7719652 |  6974198 |      966  16515 |        0 |        0
1384.18/1384.41	c 1384s |      25 |  7731138 |  6984098 |      966  16535 |        0 |        0
1386.18/1386.42	c 1386s |      25 |  7742484 |  6994098 |      966  16554 |        0 |        0
1388.18/1388.43	c 1388s |      25 |  7753715 |  7003998 |      966  16573 |        0 |        0
1390.18/1390.44	c 1390s |      25 |  7764207 |  7013498 |      966  16591 |        0 |        0
1392.18/1392.45	c 1392s |      25 |  7775416 |  7023498 |      966  16611 |        0 |        0
1394.18/1394.47	c 1394s |      25 |  7787177 |  7033798 |      966  16630 |        0 |        0
1396.17/1396.48	c 1396s |      25 |  7798056 |  7043298 |      966  16649 |        0 |        0
1398.17/1398.48	c 1398s |      25 |  7809023 |  7053198 |      966  16668 |        0 |        0
1400.19/1400.49	c 1400s |      25 |  7820004 |  7063098 |      966  16687 |        0 |        0
1402.18/1402.49	c 1402s |      25 |  7831173 |  7073098 |      966  16706 |        0 |        0
1404.18/1404.49	c 1404s |      25 |  7841756 |  7082798 |      966  16725 |        0 |        0
1406.28/1406.51	c 1406s |      25 |  7852112 |  7092298 |      966  16743 |        0 |        0
1408.28/1408.52	c 1408s |      25 |  7862381 |  7101698 |      966  16761 |        0 |        0
1410.28/1410.53	c 1410s |      25 |  7872519 |  7110998 |      966  16779 |        0 |        0
1412.29/1412.54	c 1412s |      25 |  7882534 |  7120298 |      966  16797 |        0 |        0
1414.28/1414.56	c 1414s |      25 |  7893118 |  7129998 |      966  16816 |        0 |        0
1416.28/1416.58	c 1416s |      25 |  7904222 |  7140098 |      966  16835 |        0 |        0
1418.38/1418.60	c 1418s |      25 |  7914921 |  7149798 |      966  16854 |        0 |        0
1420.38/1420.60	c 1420s |      25 |  7925344 |  7159298 |      966  16872 |        0 |        0
1422.38/1422.61	c 1422s |      25 |  7935590 |  7168598 |      966  16890 |        0 |        0
1424.38/1424.63	c 1424s |      25 |  7946567 |  7178598 |      966  16909 |        0 |        0
1426.38/1426.64	c 1426s |      25 |  7956451 |  7187798 |      966  16927 |        0 |        0
1428.37/1428.66	c 1428s |      25 |  7966629 |  7197198 |      966  16945 |        0 |        0
1430.37/1430.66	c 1430s |      25 |  7977384 |  7206998 |      966  16963 |        0 |        0
1432.37/1432.67	c 1432s |      25 |  7988083 |  7216598 |      966  16982 |        0 |        0
1434.37/1434.68	c 1434s |      25 |  7998001 |  7225698 |      966  16999 |        0 |        0
1436.38/1436.69	c 1436s |      25 |  8008768 |  7235398 |      966  17018 |        0 |        0
1438.37/1438.69	c 1438s |      25 |  8019079 |  7244798 |      966  17036 |        0 |        0
1440.47/1440.72	c 1440s |      25 |  8030586 |  7254998 |      966  17056 |        0 |        0
1442.47/1442.72	c 1442s |      25 |  8041178 |  7264698 |      966  17074 |        0 |        0
1444.47/1444.73	c 1444s |      25 |  8052046 |  7274598 |      966  17093 |        0 |        0
1446.47/1446.74	c 1446s |      25 |  8062892 |  7284598 |      966  17112 |        0 |        0
1448.48/1448.75	c 1448s |      25 |  8073643 |  7294498 |      966  17132 |        0 |        0
1450.47/1450.77	c 1450s |      25 |  8084654 |  7304498 |      966  17151 |        0 |        0
1452.47/1452.78	c 1452s |      25 |  8095895 |  7314498 |      966  17170 |        0 |        0
1454.57/1454.80	c 1454s |      25 |  8106335 |  7323998 |      966  17188 |        0 |        0
1456.57/1456.80	c 1456s |      25 |  8116455 |  7333198 |      966  17206 |        0 |        0
1458.57/1458.81	c 1458s |      25 |  8126920 |  7342798 |      966  17224 |        0 |        0
1460.58/1460.82	c 1460s |      25 |  8137779 |  7352598 |      966  17243 |        0 |        0
1462.57/1462.83	c 1462s |      25 |  8147941 |  7362098 |      966  17261 |        0 |        0
1464.57/1464.84	c 1464s |      25 |  8157814 |  7371198 |      966  17278 |        0 |        0
1466.57/1466.85	c 1466s |      25 |  8167367 |  7380098 |      966  17295 |        0 |        0
1468.57/1468.85	c 1468s |      25 |  8178029 |  7389898 |      966  17314 |        0 |        0
1470.57/1470.86	c 1470s |      25 |  8188406 |  7399398 |      966  17332 |        0 |        0
1472.57/1472.87	c 1472s |      25 |  8199093 |  7409198 |      966  17351 |        0 |        0
1474.56/1474.88	c 1474s |      25 |  8210097 |  7419198 |      966  17370 |        0 |        0
1476.56/1476.88	c 1476s |      25 |  8220463 |  7428698 |      966  17389 |        0 |        0
1478.66/1478.90	c 1478s |      25 |  8231311 |  7438498 |      966  17408 |        0 |        0
1480.66/1480.90	c 1480s |      25 |  8242321 |  7448398 |      966  17427 |        0 |        0
1482.67/1482.91	c 1482s |      25 |  8252937 |  7458198 |      966  17445 |        0 |        0
1484.66/1484.93	c 1484s |      25 |  8263920 |  7468298 |      966  17465 |        0 |        0
1486.66/1486.94	c 1486s |      25 |  8274549 |  7477998 |      966  17483 |        0 |        0
1488.66/1488.94	c 1488s |      25 |  8284923 |  7487498 |      966  17501 |        0 |        0
1490.66/1490.96	c 1490s |      25 |  8295579 |  7497098 |      966  17520 |        0 |        0
1492.67/1492.96	c 1492s |      25 |  8306321 |  7506698 |      966  17538 |        0 |        0
1494.67/1494.98	c 1494s |      25 |  8317150 |  7516498 |      966  17557 |        0 |        0
1496.67/1496.98	c 1496s |      25 |  8328144 |  7526498 |      966  17576 |        0 |        0
1498.67/1498.99	c 1498s |      25 |  8338684 |  7536198 |      966  17594 |        0 |        0
1500.77/1501.01	c 1500s |      25 |  8349141 |  7545898 |     1063  17612 |        0 |        0
1502.76/1503.02	c 1503s |      25 |  8359372 |  7555398 |     1063  17629 |        0 |        0
1504.76/1505.02	c 1505s |      25 |  8369772 |  7564898 |     1063  17646 |        0 |        0
1506.77/1507.03	c 1507s |      25 |  8380398 |  7574698 |     1063  17663 |        0 |        0
1508.76/1509.04	c 1509s |      25 |  8390892 |  7584298 |     1063  17680 |        0 |        0
1510.76/1511.04	c 1511s |      25 |  8401483 |  7593998 |     1063  17697 |        0 |        0
1511.56/1511.80	c 1511s |      26 |  8405586 |  7597752 |     1063  17703 |        0 |        0
1513.56/1513.82	c 1513s |      26 |  8416094 |  7607252 |     1063  17720 |        0 |        0
1515.57/1515.85	c 1515s |      26 |  8426566 |  7616852 |     1063  17737 |        0 |        0
1517.56/1517.86	c 1517s |      26 |  8437191 |  7626452 |     1063  17754 |        0 |        0
1519.56/1519.88	c 1519s |      26 |  8447546 |  7635852 |     1063  17770 |        0 |        0
1521.66/1521.90	c 1521s |      26 |  8457187 |  7644652 |     1063  17785 |        0 |        0
1523.65/1523.90	c 1523s |      26 |  8467008 |  7653652 |     1063  17801 |        0 |        0
1525.65/1525.93	c 1525s |      26 |  8477190 |  7662952 |     1063  17817 |        0 |        0
1527.67/1527.94	c 1527s |      26 |  8487158 |  7672052 |     1063  17833 |        0 |        0
1529.66/1529.96	c 1529s |      26 |  8497154 |  7681252 |     1063  17849 |        0 |        0
1531.66/1531.97	c 1531s |      26 |  8506788 |  7690052 |     1063  17864 |        0 |        0
1533.66/1533.98	c 1533s |      26 |  8517186 |  7699552 |     1063  17881 |        0 |        0
1535.76/1536.00	c 1535s |      26 |  8527561 |  7709052 |     1063  17897 |        0 |        0
1537.76/1538.02	c 1538s |      26 |  8537557 |  7718352 |     1063  17914 |        0 |        0
1539.77/1540.02	c 1540s |      26 |  8547801 |  7727552 |     1063  17930 |        0 |        0
1541.76/1542.03	c 1542s |      26 |  8557523 |  7736352 |     1063  17945 |        0 |        0
1543.76/1544.04	c 1544s |      26 |  8567427 |  7745252 |     1063  17961 |        0 |        0
1545.76/1546.05	c 1546s |      26 |  8576882 |  7753952 |     1063  17976 |        0 |        0
1547.76/1548.05	c 1548s |      26 |  8585656 |  7762152 |     1063  17990 |        0 |        0
1549.76/1550.07	c 1550s |      26 |  8595067 |  7770852 |     1063  18006 |        0 |        0
1551.76/1552.08	c 1552s |      26 |  8604420 |  7779552 |     1063  18021 |        0 |        0
1553.76/1554.09	c 1554s |      26 |  8613870 |  7788252 |     1063  18036 |        0 |        0
1555.85/1556.11	c 1556s |      26 |  8623109 |  7796752 |     1063  18051 |        0 |        0
1557.85/1558.11	c 1558s |      26 |  8632038 |  7805052 |     1063  18065 |        0 |        0
1559.85/1560.12	c 1560s |      26 |  8641072 |  7813552 |     1063  18080 |        0 |        0
1561.86/1562.13	c 1562s |      26 |  8650247 |  7822052 |     1063  18095 |        0 |        0
1563.85/1564.14	c 1564s |      26 |  8659871 |  7831052 |     1063  18111 |        0 |        0
1565.85/1566.16	c 1566s |      26 |  8669441 |  7839952 |     1063  18126 |        0 |        0
1567.85/1568.16	c 1568s |      26 |  8678895 |  7848852 |     1063  18142 |        0 |        0
1569.85/1570.17	c 1570s |      26 |  8688215 |  7857552 |     1063  18157 |        0 |        0
1571.85/1572.19	c 1572s |      26 |  8697389 |  7866152 |     1063  18172 |        0 |        0
1573.96/1574.20	c 1574s |      26 |  8707208 |  7875152 |     1063  18187 |        0 |        0
1575.95/1576.21	c 1576s |      26 |  8716927 |  7884052 |     1063  18203 |        0 |        0
1577.95/1578.22	c 1578s |      26 |  8726901 |  7893152 |     1063  18219 |        0 |        0
1579.95/1580.24	c 1580s |      26 |  8736583 |  7902052 |     1063  18234 |        0 |        0
1581.95/1582.25	c 1582s |      26 |  8746528 |  7911152 |     1063  18250 |        0 |        0
1583.95/1584.25	c 1584s |      26 |  8756600 |  7920452 |     1063  18266 |        0 |        0
1585.96/1586.27	c 1586s |      26 |  8766858 |  7929552 |     1063  18282 |        0 |        0
1587.95/1588.29	c 1588s |      26 |  8776410 |  7938152 |     1063  18297 |        0 |        0
1589.95/1590.29	c 1590s |      26 |  8784887 |  7945852 |     1063  18311 |        0 |        0
1592.05/1592.30	c 1592s |      26 |  8794215 |  7954452 |     1063  18326 |        0 |        0
1594.05/1594.31	c 1594s |      26 |  8803468 |  7962952 |     1063  18341 |        0 |        0
1596.05/1596.32	c 1596s |      26 |  8812647 |  7971352 |     1063  18356 |        0 |        0
1598.06/1598.33	c 1598s |      26 |  8821029 |  7979052 |     1063  18369 |        0 |        0
1600.05/1600.34	c 1600s |      26 |  8829010 |  7986452 |     1063  18382 |        0 |        0
1602.05/1602.36	c 1602s |      26 |  8837266 |  7994152 |     1063  18395 |        0 |        0
1604.05/1604.38	c 1604s |      26 |  8846156 |  8002352 |     1063  18410 |        0 |        0
1606.15/1606.40	c 1606s |      26 |  8856069 |  8011352 |     1063  18425 |        0 |        0
1608.15/1608.41	c 1608s |      26 |  8865499 |  8020052 |     1063  18441 |        0 |        0
1610.16/1610.41	c 1610s |      26 |  8874945 |  8028552 |     1063  18455 |        0 |        0
1612.15/1612.43	c 1612s |      26 |  8884005 |  8036952 |     1063  18470 |        0 |        0
1614.15/1614.44	c 1614s |      26 |  8892645 |  8045052 |     1063  18484 |        0 |        0
1616.15/1616.45	c 1616s |      26 |  8901011 |  8052952 |     1063  18498 |        0 |        0
1618.15/1618.47	c 1618s |      26 |  8909429 |  8060752 |     1063  18511 |        0 |        0
1620.15/1620.47	c 1620s |      26 |  8918186 |  8068752 |     1063  18525 |        0 |        0
1622.15/1622.48	c 1622s |      26 |  8927336 |  8077252 |     1063  18540 |        0 |        0
1624.25/1624.50	c 1624s |      26 |  8935923 |  8085252 |     1063  18554 |        0 |        0
1626.24/1626.52	c 1626s |      26 |  8944886 |  8093552 |     1063  18569 |        0 |        0
1628.24/1628.54	c 1628s |      26 |  8953637 |  8101452 |     1063  18582 |        0 |        0
1630.24/1630.54	c 1630s |      26 |  8962832 |  8109852 |     1063  18597 |        0 |        0
1632.25/1632.55	c 1632s |      26 |  8971014 |  8117552 |     1063  18610 |        0 |        0
1634.24/1634.56	c 1634s |      26 |  8979638 |  8125552 |     1063  18624 |        0 |        0
1636.24/1636.57	c 1636s |      26 |  8988796 |  8133952 |     1063  18639 |        0 |        0
1638.24/1638.58	c 1638s |      26 |  8998111 |  8142352 |     1063  18653 |        0 |        0
1640.24/1640.58	c 1640s |      26 |  9005512 |  8149352 |     1063  18666 |        0 |        0
1642.23/1642.60	c 1642s |      26 |  9014191 |  8157452 |     1063  18680 |        0 |        0
1644.34/1644.62	c 1644s |      26 |  9023704 |  8165952 |     1063  18695 |        0 |        0
1646.33/1646.63	c 1646s |      26 |  9032825 |  8174252 |     1063  18709 |        0 |        0
1648.33/1648.66	c 1648s |      26 |  9042211 |  8182952 |     1063  18724 |        0 |        0
1650.33/1650.66	c 1650s |      26 |  9051636 |  8191652 |     1063  18740 |        0 |        0
1652.33/1652.68	c 1652s |      26 |  9060987 |  8200252 |     1063  18755 |        0 |        0
1654.33/1654.69	c 1654s |      26 |  9071139 |  8209152 |     1063  18770 |        0 |        0
1656.43/1656.71	c 1656s |      26 |  9080834 |  8218052 |     1063  18786 |        0 |        0
1658.43/1658.71	c 1658s |      26 |  9090541 |  8226852 |     1063  18801 |        0 |        0
1660.43/1660.74	c 1660s |      26 |  9100139 |  8235652 |     1063  18816 |        0 |        0
1662.42/1662.75	c 1662s |      26 |  9109880 |  8244552 |     1063  18832 |        0 |        0
1664.42/1664.77	c 1664s |      26 |  9119835 |  8253652 |     1063  18848 |        0 |        0
1666.42/1666.79	c 1666s |      26 |  9129834 |  8262552 |     1063  18863 |        0 |        0
1668.43/1668.79	c 1668s |      26 |  9139724 |  8271452 |     1063  18879 |        0 |        0
1670.52/1670.82	c 1670s |      26 |  9148622 |  8279552 |     1063  18893 |        0 |        0
1672.51/1672.83	c 1672s |      26 |  9157690 |  8287952 |     1063  18908 |        0 |        0
1674.51/1674.84	c 1674s |      26 |  9167624 |  8296852 |     1063  18923 |        0 |        0
1676.51/1676.86	c 1676s |      26 |  9176605 |  8305152 |     1063  18938 |        0 |        0
1678.51/1678.87	c 1678s |      26 |  9186651 |  8314252 |     1063  18954 |        0 |        0
1680.52/1680.88	c 1680s |      26 |  9196592 |  8323452 |     1063  18970 |        0 |        0
1682.51/1682.89	c 1682s |      26 |  9206120 |  8332252 |     1063  18985 |        0 |        0
1684.61/1684.91	c 1684s |      26 |  9215142 |  8340652 |     1063  19000 |        0 |        0
1686.61/1686.92	c 1686s |      26 |  9224464 |  8349152 |     1063  19015 |        0 |        0
1688.61/1688.93	c 1688s |      26 |  9234124 |  8357952 |     1063  19030 |        0 |        0
1690.61/1690.95	c 1690s |      26 |  9243790 |  8366752 |     1063  19045 |        0 |        0
1692.61/1692.96	c 1692s |      26 |  9254166 |  8375852 |     1063  19061 |        0 |        0
1694.60/1694.96	c 1694s |      26 |  9263866 |  8384852 |     1063  19077 |        0 |        0
1696.60/1696.98	c 1696s |      26 |  9272921 |  8393352 |     1063  19092 |        0 |        0
1698.70/1699.00	c 1698s |      26 |  9282177 |  8402052 |     1063  19107 |        0 |        0
1700.70/1701.02	c 1701s |      26 |  9292155 |  8411052 |     1063  19123 |        0 |        0
1702.70/1703.03	c 1703s |      26 |  9301106 |  8419352 |     1063  19137 |        0 |        0
1704.70/1705.06	c 1705s |      26 |  9310006 |  8427652 |     1063  19152 |        0 |        0
1706.70/1707.07	c 1707s |      26 |  9319455 |  8436552 |     1063  19167 |        0 |        0
1708.70/1709.09	c 1709s |      26 |  9328859 |  8445252 |     1063  19182 |        0 |        0
1710.80/1711.10	c 1711s |      26 |  9337305 |  8453252 |     1063  19196 |        0 |        0
1712.79/1713.11	c 1713s |      26 |  9346304 |  8461552 |     1063  19211 |        0 |        0
1714.79/1715.11	c 1715s |      26 |  9354992 |  8469652 |     1063  19225 |        0 |        0
1716.80/1717.12	c 1717s |      26 |  9363575 |  8477752 |     1063  19239 |        0 |        0
1718.79/1719.14	c 1719s |      26 |  9372640 |  8486152 |     1063  19254 |        0 |        0
1720.80/1721.15	c 1721s |      26 |  9381583 |  8494552 |     1063  19268 |        0 |        0
1722.79/1723.15	c 1723s |      26 |  9390031 |  8502452 |     1063  19282 |        0 |        0
1724.79/1725.16	c 1725s |      26 |  9399005 |  8510752 |     1063  19297 |        0 |        0
1726.80/1727.16	c 1727s |      26 |  9407359 |  8518452 |     1063  19310 |        0 |        0
1728.79/1729.16	c 1729s |      26 |  9415355 |  8525852 |     1063  19323 |        0 |        0
1730.79/1731.18	c 1731s |      26 |  9425186 |  8534852 |     1063  19339 |        0 |        0
1732.78/1733.19	c 1733s |      26 |  9434114 |  8543052 |     1063  19353 |        0 |        0
1734.88/1735.20	c 1735s |      26 |  9443233 |  8551452 |     1063  19368 |        0 |        0
1736.88/1737.20	c 1737s |      26 |  9452105 |  8559752 |     1063  19382 |        0 |        0
1738.89/1739.21	c 1739s |      26 |  9461414 |  8568252 |     1063  19397 |        0 |        0
1740.88/1741.21	c 1741s |      26 |  9471051 |  8577052 |     1063  19412 |        0 |        0
1742.87/1743.23	c 1743s |      26 |  9480209 |  8585552 |     1063  19427 |        0 |        0
1744.87/1745.25	c 1745s |      26 |  9489083 |  8593852 |     1063  19441 |        0 |        0
1746.87/1747.28	c 1747s |      26 |  9498284 |  8602252 |     1063  19456 |        0 |        0
1748.87/1749.29	c 1749s |      26 |  9506486 |  8609852 |     1063  19469 |        0 |        0
1750.88/1751.29	c 1751s |      26 |  9515997 |  8618552 |     1063  19484 |        0 |        0
1752.87/1753.30	c 1753s |      26 |  9526290 |  8627552 |     1063  19500 |        0 |        0
1754.97/1755.31	c 1755s |      26 |  9535826 |  8636152 |     1063  19515 |        0 |        0
1756.97/1757.32	c 1757s |      26 |  9544133 |  8643852 |     1063  19528 |        0 |        0
1758.97/1759.34	c 1759s |      26 |  9552946 |  8651952 |     1063  19542 |        0 |        0
1760.96/1761.36	c 1761s |      26 |  9562085 |  8660152 |     1063  19557 |        0 |        0
1762.97/1763.36	c 1763s |      26 |  9571338 |  8668552 |     1063  19571 |        0 |        0
1764.97/1765.37	c 1765s |      26 |  9580243 |  8676752 |     1063  19586 |        0 |        0
1766.97/1767.37	c 1767s |      26 |  9589489 |  8685152 |     1063  19600 |        0 |        0
1768.97/1769.38	c 1769s |      26 |  9599280 |  8693852 |     1063  19615 |        0 |        0
1770.97/1771.39	c 1771s |      26 |  9608651 |  8702452 |     1063  19630 |        0 |        0
1773.07/1773.40	c 1773s |      26 |  9618031 |  8711152 |     1063  19645 |        0 |        0
1775.07/1775.40	c 1775s |      26 |  9627045 |  8719452 |     1063  19660 |        0 |        0
1777.06/1777.41	c 1777s |      26 |  9636486 |  8727952 |     1063  19675 |        0 |        0
1779.06/1779.42	c 1779s |      26 |  9644970 |  8735752 |     1063  19688 |        0 |        0
1781.06/1781.43	c 1781s |      26 |  9654313 |  8744152 |     1063  19703 |        0 |        0
1783.06/1783.45	c 1783s |      26 |  9662615 |  8751852 |     1063  19716 |        0 |        0
1785.07/1785.48	c 1785s |      26 |  9671886 |  8760452 |     1063  19731 |        0 |        0
1787.06/1787.50	c 1787s |      26 |  9680354 |  8768252 |     1063  19745 |        0 |        0
1789.16/1789.50	c 1789s |      26 |  9689962 |  8776852 |     1063  19760 |        0 |        0
1791.16/1791.51	c 1791s |      26 |  9699054 |  8785052 |     1063  19774 |        0 |        0
1793.15/1793.53	c 1793s |      26 |  9707595 |  8792752 |     1063  19788 |        0 |        0
1795.15/1795.53	c 1795s |      26 |  9717690 |  8801952 |     1063  19804 |        0 |        0
1797.16/1797.53	c 1797s |      26 |  9727818 |  8811352 |     1063  19820 |        0 |        0
1799.15/1799.54	c 1799s |      26 |  9738636 |  8821352 |     1063  19837 |        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-4089953-1466035997/watcher-4089953-1466035997 -o /tmp/evaluation-result-4089953-1466035997/solver-4089953-1466035997 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466034195-15725 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089953-1466035997.opb 

pid=15968
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.34 2.26 2.14 4/179 15971
/proc/meminfo: memFree=29368600/32872528 swapFree=1498860/1695084
[pid=15971] ppid=15968 vsize=716220 CPUtime=0 cores=1,3,5,7
/proc/15971/stat : 15971 (toysat) R 15968 15971 6119 0 -1 4202496 2668 0 0 0 0 0 0 0 20 0 4 0 5645492 733409280 3539 33554432000 4194304 16246674 140736055852576 140736055852000 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15971/statm: 179823 3551 441 2943 0 176717 0
[pid=15971/tid=15972] ppid=15968 vsize=733628 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15972/stat : 15972 (toysat) S 15968 15971 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645493 751235072 3609 33554432000 4194304 16246674 140736055852576 140074270305520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15971/tid=15973] ppid=15968 vsize=738748 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15973/stat : 15973 (toysat) S 15968 15971 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645493 756477952 3627 33554432000 4194304 16246674 140736055852576 140074184322288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15971/tid=15974] ppid=15968 vsize=742844 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15974/stat : 15974 (toysat) S 15968 15971 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5645493 760672256 3644 33554432000 4194304 16246674 140736055852576 140074173848752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.34 2.26 2.14 4/179 15971
/proc/meminfo: memFree=29368600/32872528 swapFree=1498860/1695084
[pid=15971] ppid=15968 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/15971/stat : 15971 (toysat) R 15968 15971 6119 0 -1 4202496 28383 0 0 0 5 4 0 0 20 0 4 0 5645492 1247350784 29244 33554432000 4194304 16246674 140736055852576 140736055852000 6836566 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15971/statm: 304529 29257 715 2943 0 301423 0
[pid=15971/tid=15972] ppid=15968 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15972/stat : 15972 (toysat) S 15968 15971 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645493 1247350784 29267 33554432000 4194304 16246674 140736055852576 140074270305520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15971/tid=15973] ppid=15968 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15973/stat : 15973 (toysat) S 15968 15971 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645493 1247350784 29276 33554432000 4194304 16246674 140736055852576 140074184322288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15971/tid=15974] ppid=15968 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15974/stat : 15974 (toysat) S 15968 15971 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5645493 1247350784 29281 33554432000 4194304 16246674 140736055852576 140074173848752 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.200497 s]
/proc/loadavg: 2.34 2.26 2.14 4/179 15971
/proc/meminfo: memFree=29368600/32872528 swapFree=1498860/1695084
[pid=15971] ppid=15968 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/15971/stat : 15971 (toysat) R 15968 15971 6119 0 -1 4202496 55843 0 0 0 12 7 0 0 20 0 4 0 5645492 1247350784 56703 33554432000 4194304 16246674 140736055852576 140736055852000 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15971/statm: 304529 56717 715 2943 0 301423 0
[pid=15971/tid=15972] ppid=15968 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15972/stat : 15972 (toysat) S 15968 15971 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645493 1247350784 56730 33554432000 4194304 16246674 140736055852576 140074270305520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15971/tid=15973] ppid=15968 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15973/stat : 15973 (toysat) S 15968 15971 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645493 1247350784 56736 33554432000 4194304 16246674 140736055852576 140074184322288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15971/tid=15974] ppid=15968 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15974/stat : 15974 (toysat) S 15968 15971 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5645493 1247350784 56742 33554432000 4194304 16246674 140736055852576 140074173848752 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.300452 s]
/proc/loadavg: 2.34 2.26 2.14 4/179 15971
/proc/meminfo: memFree=29368600/32872528 swapFree=1498860/1695084
[pid=15971] ppid=15968 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/15971/stat : 15971 (toysat) R 15968 15971 6119 0 -1 4202496 83271 0 0 0 18 11 0 0 20 0 4 0 5645492 1247350784 84131 33554432000 4194304 16246674 140736055852576 140736055852000 6021007 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15971/statm: 304529 84151 715 2943 0 301423 0
[pid=15971/tid=15972] ppid=15968 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15972/stat : 15972 (toysat) S 15968 15971 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645493 1247350784 84165 33554432000 4194304 16246674 140736055852576 140074270305520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15971/tid=15973] ppid=15968 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15973/stat : 15973 (toysat) S 15968 15971 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645493 1247350784 84174 33554432000 4194304 16246674 140736055852576 140074184322288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15971/tid=15974] ppid=15968 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15974/stat : 15974 (toysat) S 15968 15971 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5645493 1247350784 84182 33554432000 4194304 16246674 140736055852576 140074173848752 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.700374 s]
/proc/loadavg: 2.34 2.26 2.14 4/179 15971
/proc/meminfo: memFree=29368600/32872528 swapFree=1498860/1695084
[pid=15971] ppid=15968 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/15971/stat : 15971 (toysat) R 15968 15971 6119 0 -1 4202496 196110 0 0 0 43 26 0 0 20 0 4 0 5645492 1247350784 196970 33554432000 4194304 16246674 140736055852576 140736055852000 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15971/statm: 304529 196982 715 2943 0 301423 0
[pid=15971/tid=15972] ppid=15968 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15972/stat : 15972 (toysat) S 15968 15971 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645493 1247350784 196990 33554432000 4194304 16246674 140736055852576 140074270305520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15971/tid=15973] ppid=15968 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15973/stat : 15973 (toysat) S 15968 15971 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645493 1247350784 197003 33554432000 4194304 16246674 140736055852576 140074184322288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15971/tid=15974] ppid=15968 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15974/stat : 15974 (toysat) S 15968 15971 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5645493 1247350784 197015 33554432000 4194304 16246674 140736055852576 140074173848752 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.34 2.26 2.14 4/183 15975
/proc/meminfo: memFree=28296576/32872528 swapFree=1498860/1695084
[pid=15971] ppid=15968 vsize=1306180 CPUtime=1.49 cores=1,3,5,7
/proc/15971/stat : 15971 (toysat) R 15968 15971 6119 0 -1 4202496 266874 0 0 0 113 36 0 0 20 0 4 0 5645492 1337528320 267715 33554432000 4194304 16246674 140736055852576 140736055851888 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15971/statm: 326545 267730 791 2943 0 323439 0
[pid=15971/tid=15972] ppid=15968 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15972/stat : 15972 (toysat) S 15968 15971 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645493 1337528320 267737 33554432000 4194304 16246674 140736055852576 140074270305520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15971/tid=15973] ppid=15968 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15973/stat : 15973 (toysat) S 15968 15971 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645493 1337528320 267747 33554432000 4194304 16246674 140736055852576 140074184322288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15971/tid=15974] ppid=15968 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15974/stat : 15974 (toysat) S 15968 15971 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645493 1337528320 267761 33554432000 4194304 16246674 140736055852576 140074173848752 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) 1306180

[startup+3.10041 s]
/proc/loadavg: 2.39 2.27 2.15 3/183 15975
/proc/meminfo: memFree=28208040/32872528 swapFree=1498860/1695084
[pid=15971] ppid=15968 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/15971/stat : 15971 (toysat) R 15968 15971 6119 0 -1 4202496 267404 0 0 0 273 36 0 0 20 0 4 0 5645492 1337528320 268244 33554432000 4194304 16246674 140736055852576 140736055834496 5829000 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15971/statm: 326545 268244 791 2943 0 323439 0
[pid=15971/tid=15972] ppid=15968 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15972/stat : 15972 (toysat) S 15968 15971 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645493 1337528320 268244 33554432000 4194304 16246674 140736055852576 140074270305520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15971/tid=15973] ppid=15968 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15973/stat : 15973 (toysat) S 15968 15971 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645493 1337528320 268244 33554432000 4194304 16246674 140736055852576 140074184322288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15971/tid=15974] ppid=15968 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15974/stat : 15974 (toysat) S 15968 15971 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645493 1337528320 268244 33554432000 4194304 16246674 140736055852576 140074173848752 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.30039 s]
/proc/loadavg: 2.39 2.27 2.15 3/183 15975
/proc/meminfo: memFree=28208580/32872528 swapFree=1498860/1695084
[pid=15971] ppid=15968 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/15971/stat : 15971 (toysat) R 15968 15971 6119 0 -1 4202496 267426 0 0 0 592 37 0 0 20 0 4 0 5645492 1337528320 268266 33554432000 4194304 16246674 140736055852576 140736055835576 5754983 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15971/statm: 326545 268266 791 2943 0 323439 0
[pid=15971/tid=15972] ppid=15968 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15972/stat : 15972 (toysat) S 15968 15971 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645493 1337528320 268266 33554432000 4194304 16246674 140736055852576 140074270305520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15971/tid=15973] ppid=15968 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15973/stat : 15973 (toysat) S 15968 15971 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645493 1337528320 268266 33554432000 4194304 16246674 140736055852576 140074184322288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15971/tid=15974] ppid=15968 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15974/stat : 15974 (toysat) S 15968 15971 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645493 1337528320 268266 33554432000 4194304 16246674 140736055852576 140074173848752 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.40 2.28 2.15 3/183 15975
/proc/meminfo: memFree=28209320/32872528 swapFree=1498860/1695084
[pid=15971] ppid=15968 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/15971/stat : 15971 (toysat) R 15968 15971 6119 0 -1 4202496 267430 0 0 0 1232 37 0 0 20 0 4 0 5645492 1337528320 268270 33554432000 4194304 16246674 140736055852576 140736055834496 6842417 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15971/statm: 326545 268270 793 2943 0 323439 0
[pid=15971/tid=15972] ppid=15968 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15972/stat : 15972 (toysat) S 15968 15971 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645493 1337528320 268270 33554432000 4194304 16246674 140736055852576 140074270305520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15971/tid=15973] ppid=15968 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15973/stat : 15973 (toysat) S 15968 15971 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645493 1337528320 268270 33554432000 4194304 16246674 140736055852576 140074184322288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15971/tid=15974] ppid=15968 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15974/stat : 15974 (toysat) S 15968 15971 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645493 1337528320 268270 33554432000 4194304 16246674 140736055852576 140074173848752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.34 2.27 2.15 3/183 15975
/proc/meminfo: memFree=28210068/32872528 swapFree=1498860/1695084
[pid=15971] ppid=15968 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/15971/stat : 15971 (toysat) R 15968 15971 6119 0 -1 4202496 267437 0 0 0 2512 37 0 0 20 0 4 0 5645492 1337528320 268277 33554432000 4194304 16246674 140736055852576 140736055835576 7249802 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15971/statm: 326545 268277 793 2943 0 323439 0
[pid=15971/tid=15972] ppid=15968 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15972/stat : 15972 (toysat) S 15968 15971 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645493 1337528320 268277 33554432000 4194304 16246674 140736055852576 140074270305520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15971/tid=15973] ppid=15968 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15973/stat : 15973 (toysat) S 15968 15971 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645493 1337528320 268277 33554432000 4194304 16246674 140736055852576 140074184322288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15971/tid=15974] ppid=15968 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15974/stat : 15974 (toysat) S 15968 15971 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645493 1337528320 268277 33554432000 4194304 16246674 140736055852576 140074173848752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.38 2.28 2.16 3/183 15975
/proc/meminfo: memFree=28209580/32872528 swapFree=1498860/1695084
[pid=15971] ppid=15968 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/15971/stat : 15971 (toysat) R 15968 15971 6119 0 -1 4202496 267438 0 0 0 5071 37 0 0 20 0 4 0 5645492 1337528320 268278 33554432000 4194304 16246674 140736055852576 140736055834496 6837276 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15971/statm: 326545 268278 793 2943 0 323439 0
[pid=15971/tid=15972] ppid=15968 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15972/stat : 15972 (toysat) S 15968 15971 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645493 1337528320 268278 33554432000 4194304 16246674 140736055852576 140074270305520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15971/tid=15973] ppid=15968 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15973/stat : 15973 (toysat) S 15968 15971 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645493 1337528320 268278 33554432000 4194304 16246674 140736055852576 140074184322288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15971/tid=15974] ppid=15968 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15974/stat : 15974 (toysat) S 15968 15971 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645493 1337528320 268278 33554432000 4194304 16246674 140736055852576 140074173848752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.31 2.28 2.16 3/183 15976
/proc/meminfo: memFree=28209456/32872528 swapFree=1498860/1695084
[pid=15971] ppid=15968 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/15971/stat : 15971 (toysat) R 15968 15971 6119 0 -1 4202496 267465 0 0 0 10190 38 0 0 20 0 4 0 5645492 1337528320 268305 33554432000 4194304 16246674 140736055852576 140736055834496 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15971/statm: 326545 268305 793 2943 0 323439 0
[pid=15971/tid=15972] ppid=15968 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15972/stat : 15972 (toysat) S 15968 15971 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645493 1337528320 268305 33554432000 4194304 16246674 140736055852576 140074270305520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15971/tid=15973] ppid=15968 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15973/stat : 15973 (toysat) S 15968 15971 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645493 1337528320 268305 33554432000 4194304 16246674 140736055852576 140074184322288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15971/tid=15974] ppid=15968 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15974/stat : 15974 (toysat) S 15968 15971 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645493 1337528320 268305 33554432000 4194304 16246674 140736055852576 140074173848752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/15971/task/15974/stat : 15974 (toysat) S 15968 15971 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645493 1338576896 268490 33554432000 4194304 16246674 140736055852576 140074173848752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.45 2.38 2.28 4/183 16006
/proc/meminfo: memFree=28203232/32872528 swapFree=1498860/1695084
[pid=15971] ppid=15968 vsize=1307204 CPUtime=1302.09 cores=1,3,5,7
/proc/15971/stat : 15971 (toysat) R 15968 15971 6119 0 -1 4202496 267650 0 0 0 130154 55 0 0 20 0 4 0 5645492 1338576896 268490 33554432000 4194304 16246674 140736055852576 140736055834496 5823523 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15971/statm: 326801 268490 795 2943 0 323695 0
[pid=15971/tid=15972] ppid=15968 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15972/stat : 15972 (toysat) S 15968 15971 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645493 1338576896 268490 33554432000 4194304 16246674 140736055852576 140074270305520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15971/tid=15973] ppid=15968 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15973/stat : 15973 (toysat) S 15968 15971 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645493 1338576896 268490 33554432000 4194304 16246674 140736055852576 140074184322288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15971/tid=15974] ppid=15968 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15974/stat : 15974 (toysat) S 15968 15971 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645493 1338576896 268490 33554432000 4194304 16246674 140736055852576 140074173848752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.44 2.39 2.29 3/183 16007
/proc/meminfo: memFree=28203640/32872528 swapFree=1498860/1695084
[pid=15971] ppid=15968 vsize=1307204 CPUtime=1362.09 cores=1,3,5,7
/proc/15971/stat : 15971 (toysat) R 15968 15971 6119 0 -1 4202496 267650 0 0 0 136153 56 0 0 20 0 4 0 5645492 1338576896 268490 33554432000 4194304 16246674 140736055852576 140736055834496 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15971/statm: 326801 268490 795 2943 0 323695 0
[pid=15971/tid=15972] ppid=15968 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15972/stat : 15972 (toysat) S 15968 15971 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645493 1338576896 268490 33554432000 4194304 16246674 140736055852576 140074270305520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15971/tid=15973] ppid=15968 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15973/stat : 15973 (toysat) S 15968 15971 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645493 1338576896 268490 33554432000 4194304 16246674 140736055852576 140074184322288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15971/tid=15974] ppid=15968 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15974/stat : 15974 (toysat) S 15968 15971 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645493 1338576896 268490 33554432000 4194304 16246674 140736055852576 140074173848752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.40 2.38 2.29 3/183 16008
/proc/meminfo: memFree=28203792/32872528 swapFree=1498860/1695084
[pid=15971] ppid=15968 vsize=1307204 CPUtime=1422.08 cores=1,3,5,7
/proc/15971/stat : 15971 (toysat) R 15968 15971 6119 0 -1 4202496 267650 0 0 0 142151 57 0 0 20 0 4 0 5645492 1338576896 268490 33554432000 4194304 16246674 140736055852576 140736055834496 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15971/statm: 326801 268490 795 2943 0 323695 0
[pid=15971/tid=15972] ppid=15968 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15972/stat : 15972 (toysat) S 15968 15971 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645493 1338576896 268490 33554432000 4194304 16246674 140736055852576 140074270305520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15971/tid=15973] ppid=15968 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15973/stat : 15973 (toysat) S 15968 15971 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645493 1338576896 268490 33554432000 4194304 16246674 140736055852576 140074184322288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15971/tid=15974] ppid=15968 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15974/stat : 15974 (toysat) S 15968 15971 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645493 1338576896 268490 33554432000 4194304 16246674 140736055852576 140074173848752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.39 2.39 2.29 3/182 16009
/proc/meminfo: memFree=28203224/32872528 swapFree=1498860/1695084
[pid=15971] ppid=15968 vsize=1307204 CPUtime=1482.06 cores=1,3,5,7
/proc/15971/stat : 15971 (toysat) R 15968 15971 6119 0 -1 4202496 267650 0 0 0 148149 57 0 0 20 0 4 0 5645492 1338576896 268490 33554432000 4194304 16246674 140736055852576 140736055834496 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15971/statm: 326801 268490 795 2943 0 323695 0
[pid=15971/tid=15972] ppid=15968 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15972/stat : 15972 (toysat) S 15968 15971 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645493 1338576896 268490 33554432000 4194304 16246674 140736055852576 140074270305520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15971/tid=15973] ppid=15968 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15973/stat : 15973 (toysat) S 15968 15971 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645493 1338576896 268490 33554432000 4194304 16246674 140736055852576 140074184322288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15971/tid=15974] ppid=15968 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15974/stat : 15974 (toysat) S 15968 15971 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645493 1338576896 268490 33554432000 4194304 16246674 140736055852576 140074173848752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.33 2.37 2.29 3/183 16011
/proc/meminfo: memFree=28203368/32872528 swapFree=1498860/1695084
[pid=15971] ppid=15968 vsize=1307204 CPUtime=1542.07 cores=1,3,5,7
/proc/15971/stat : 15971 (toysat) R 15968 15971 6119 0 -1 4202496 267684 0 0 0 154148 59 0 0 20 0 4 0 5645492 1338576896 268524 33554432000 4194304 16246674 140736055852576 140736055834496 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15971/statm: 326801 268524 795 2943 0 323695 0
[pid=15971/tid=15972] ppid=15968 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15972/stat : 15972 (toysat) S 15968 15971 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645493 1338576896 268524 33554432000 4194304 16246674 140736055852576 140074270305520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15971/tid=15973] ppid=15968 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15973/stat : 15973 (toysat) S 15968 15971 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645493 1338576896 268524 33554432000 4194304 16246674 140736055852576 140074184322288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15971/tid=15974] ppid=15968 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15974/stat : 15974 (toysat) S 15968 15971 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645493 1338576896 268524 33554432000 4194304 16246674 140736055852576 140074173848752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.07
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.41 2.38 2.30 3/183 16012
/proc/meminfo: memFree=28202856/32872528 swapFree=1498860/1695084
[pid=15971] ppid=15968 vsize=1307204 CPUtime=1602.05 cores=1,3,5,7
/proc/15971/stat : 15971 (toysat) R 15968 15971 6119 0 -1 4202496 267686 0 0 0 160145 60 0 0 20 0 4 0 5645492 1338576896 268526 33554432000 4194304 16246674 140736055852576 140736055834496 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15971/statm: 326801 268526 795 2943 0 323695 0
[pid=15971/tid=15972] ppid=15968 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15972/stat : 15972 (toysat) S 15968 15971 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645493 1338576896 268526 33554432000 4194304 16246674 140736055852576 140074270305520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15971/tid=15973] ppid=15968 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15973/stat : 15973 (toysat) S 15968 15971 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645493 1338576896 268526 33554432000 4194304 16246674 140736055852576 140074184322288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15971/tid=15974] ppid=15968 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15974/stat : 15974 (toysat) S 15968 15971 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645493 1338576896 268526 33554432000 4194304 16246674 140736055852576 140074173848752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.32 2.36 2.29 5/184 16016
/proc/meminfo: memFree=28201960/32872528 swapFree=1498860/1695084
[pid=15971] ppid=15968 vsize=1307204 CPUtime=1662.02 cores=1,3,5,7
/proc/15971/stat : 15971 (toysat) R 15968 15971 6119 0 -1 4202496 267712 0 0 0 166142 60 0 0 20 0 4 0 5645492 1338576896 268529 33554432000 4194304 16246674 140736055852576 140736055834496 6042886 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15971/statm: 326801 268529 795 2943 0 323695 0
[pid=15971/tid=15972] ppid=15968 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15972/stat : 15972 (toysat) S 15968 15971 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645493 1338576896 268529 33554432000 4194304 16246674 140736055852576 140074270305520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15971/tid=15973] ppid=15968 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15973/stat : 15973 (toysat) S 15968 15971 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645493 1338576896 268529 33554432000 4194304 16246674 140736055852576 140074184322288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15971/tid=15974] ppid=15968 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15974/stat : 15974 (toysat) S 15968 15971 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645493 1338576896 268529 33554432000 4194304 16246674 140736055852576 140074173848752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.40 2.38 2.30 4/183 16017
/proc/meminfo: memFree=28202400/32872528 swapFree=1498860/1695084
[pid=15971] ppid=15968 vsize=1307204 CPUtime=1721.99 cores=1,3,5,7
/proc/15971/stat : 15971 (toysat) R 15968 15971 6119 0 -1 4202496 267753 0 0 0 172138 61 0 0 20 0 4 0 5645492 1338576896 268529 33554432000 4194304 16246674 140736055852576 140736055834496 5823512 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15971/statm: 326801 268529 795 2943 0 323695 0
[pid=15971/tid=15972] ppid=15968 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15972/stat : 15972 (toysat) S 15968 15971 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645493 1338576896 268529 33554432000 4194304 16246674 140736055852576 140074270305520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15971/tid=15973] ppid=15968 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15973/stat : 15973 (toysat) S 15968 15971 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645493 1338576896 268529 33554432000 4194304 16246674 140736055852576 140074184322288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15971/tid=15974] ppid=15968 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15974/stat : 15974 (toysat) S 15968 15971 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645493 1338576896 268529 33554432000 4194304 16246674 140736055852576 140074173848752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.27 2.33 2.28 3/183 16018
/proc/meminfo: memFree=28201560/32872528 swapFree=1498860/1695084
[pid=15971] ppid=15968 vsize=1307204 CPUtime=1781.96 cores=1,3,5,7
/proc/15971/stat : 15971 (toysat) R 15968 15971 6119 0 -1 4202496 267797 0 0 0 178134 62 0 0 20 0 4 0 5645492 1338576896 268529 33554432000 4194304 16246674 140736055852576 140736055834496 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15971/statm: 326801 268529 795 2943 0 323695 0
[pid=15971/tid=15972] ppid=15968 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15972/stat : 15972 (toysat) S 15968 15971 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645493 1338576896 268529 33554432000 4194304 16246674 140736055852576 140074270305520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15971/tid=15973] ppid=15968 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15973/stat : 15973 (toysat) S 15968 15971 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645493 1338576896 268529 33554432000 4194304 16246674 140736055852576 140074184322288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15971/tid=15974] ppid=15968 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15974/stat : 15974 (toysat) S 15968 15971 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645493 1338576896 268529 33554432000 4194304 16246674 140736055852576 140074173848752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.21 2.32 2.28 4/183 16019
/proc/meminfo: memFree=28202040/32872528 swapFree=1498860/1695084
[pid=15971] ppid=15968 vsize=1307204 CPUtime=1800.05 cores=1,3,5,7
/proc/15971/stat : 15971 (toysat) R 15968 15971 6119 0 -1 4202496 267804 0 0 0 179943 62 0 0 20 0 4 0 5645492 1338576896 268529 33554432000 4194304 16246674 140736055852576 140736055834496 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15971/statm: 326801 268529 795 2943 0 323695 0
[pid=15971/tid=15972] ppid=15968 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15972/stat : 15972 (toysat) S 15968 15971 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645493 1338576896 268529 33554432000 4194304 16246674 140736055852576 140074270305520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15971/tid=15973] ppid=15968 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15973/stat : 15973 (toysat) S 15968 15971 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645493 1338576896 268529 33554432000 4194304 16246674 140736055852576 140074184322288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15971/tid=15974] ppid=15968 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15971/task/15974/stat : 15974 (toysat) S 15968 15971 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645493 1338576896 268529 33554432000 4194304 16246674 140736055852576 140074173848752 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) 1307204

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.45
CPU time (s): 1800.1
CPU user time (s): 1799.44
CPU system time (s): 0.660899
CPU usage (%): 99.9805
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.660899
maximum resident set size= 1074116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267804
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= 134
involuntary context switches= 1933

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5953 second user time and 6.92495 second system time

The end

Begin job on node137 at 2016-06-16 02:13:18
IDJOB=4089953
IDBENCH=107480
IDSOLVER=2542
FILE ID=node137/4089953-1466035997
RUNJOBID= node137-1466034195-15725
PBS_JOBID= 19902808
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= fe4ccff3f6a053c0e2165283056abf6a
RANDOM SEED=1091938640

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29368492 kB
Buffers:           23508 kB
Cached:            91932 kB
SwapCached:         2452 kB
Active:          1061696 kB
Inactive:          40976 kB
Active(anon):     988228 kB
Inactive(anon):     1372 kB
Active(file):      73468 kB
Inactive(file):    39604 kB
Unevictable:     1695084 kB
Mlocked:         1498860 kB
SwapTotal:      67108856 kB
SwapFree:       67099540 kB
Dirty:             33000 kB
Writeback:             0 kB
AnonPages:       2681364 kB
Mapped:            10456 kB
Shmem:                 0 kB
Slab:             568764 kB
SReclaimable:      12256 kB
SUnreclaim:       556508 kB
KernelStack:        1496 kB
PageTables:         9588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2823272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    200704 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node137 at 2016-06-16 02:43:18