0.00/0.00	c 2016-06-16T02:33:30+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-4090044-1466037210.opb"]
0.00/0.01	c use --random-gen="2278874277 4006317914 2989169014 1375405984 1036889570 1796676967 280689240 459453042 1775620903 195430471 1008790539 667003326 1190066888 2001921779 3898355025 958188562 3464777831 1028733169 738537364 2140842738 917977992 2726746305 2788429786 3223232743 1037087715 989602326 2773288968 2136831520 2411346044 1224089554 4053481661 4030660124 2726572767 42553419 1306254917 1612932777 2851491731 164139998 2169269417 3964755265 2346815162 1522128200 2660053572 4287793409 1328554460 3295339986 2490869863 1951019964 2472385108 2930021024 1088796567 875895039 722708177 3442469929 604764188 72243043 327450150 949763408 727941278 2865011454 3453288730 2584464884 1832120191 4289529904 1685565515 3491618071 2649226204 97977197 2575152917 535433919 336102546 1634384086 98526212 1249955805 3445026724 1913717742 1837845360 584486916 3510617622 4176648029 3646430827 2218885122 2974081879 3861355172 194686495 286882997 2988956438 3057788477 1582712831 3706832697 219566582 3959337095 3680752268 4271376938 3896162774 4194309281 1273747810 2033354733 854526323 2039582873 4076763766 1279925369 2906114091 2890835929 3208294102 1321250662 3895225208 3108877072 1354136878 3445712558 364774268 3530309622 1500258130 3570180678 1843561795 2570021613 2066557178 1656523056 2117086991 4235685089 1027663328 2765390020 3008786261 1701233895 1559721881 1682820117 3638825516 372571534 3446455805 889673528 2698466898 860849044 3553859585 2480968520 373658497 263273526 1344300604 2618685830 2764693866 4278011902 300784536 1354429064 721679786 4196989786 3355192588 2523249363 4145213467 4269760660 846221628 964183523 2289169678 1489455313 3807606436 3874827094 2783800113 3204040948 2237723503 2182042747 866790309 1570789890 1427247325 1215083321 3839907291 1804096552 48468609 3620988632 979655610 3729366801 4242092449 995659877 1634443089 462358661 1191853270 2973481326 1812275108 3877218180 2851389323 1941386984 1197540703 145514043 1173950732 2222648949 390185851 2846447150 2179801295 3877860491 2508712492 2513880106 2765083737 3750561304 797550715 3968409575 189575671 3075472978 831344305 2038163025 1442571096 412114026 1302310709 614777955 1341114534 189567104 2339235164 2807743589 2778168647 3090805986 604283914 413515510 2560081825 3867201056 963804282 999528769 175716691 1991042768 1247761532 3306556121 243192487 2522856012 3572807117 2475626885 3436684372 2728156699 255143474 3612283861 281285385 1551043042 34214170 1126936733 1162494204 3937951737 3464266882 1148852134 1994878627 413649438 2250293671 260298049 557259591 3833316274 4253930286 802152003 4263501015 3461625077 3105379683 478980256 2290643232 4180281147 2551214606 2440274049 294844373 2813144117 3280318288 837438921 2736015423 2481959866 1073219799 2062889981 255 362436" option to reproduce the execution
0.00/0.01	c #vars 183
0.00/0.01	c #constraints 61
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      101      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      129 |      100 |      101      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      391 |      250 |      112      0 |        0 |        0
0.00/0.09	c  0.1s |       3 |      738 |      475 |      124      3 |        0 |        0
0.09/0.15	c  0.1s |       4 |     1166 |      813 |      137      6 |        0 |        0
0.19/0.24	c  0.2s |       5 |     1839 |     1320 |      151     10 |        0 |        0
0.29/0.38	c  0.4s |       6 |     2836 |     2081 |      184     15 |        0 |        0
0.59/0.60	c  0.6s |       7 |     4252 |     3223 |      203     23 |        0 |        0
0.89/0.94	c  0.9s |       8 |     6268 |     4936 |      224     34 |        0 |        0
1.29/1.30	c  1.3s |       9 |     9474 |     7506 |      247     50 |        0 |        0
1.89/1.95	c  1.9s |      10 |    13996 |    11361 |      272     72 |        0 |        0
2.79/2.85	c  2.8s |      11 |    20628 |    17144 |      300    102 |        0 |        0
4.19/4.23	c  4.2s |      12 |    31087 |    25819 |      330    145 |        0 |        0
6.19/6.24	c  6.2s |      12 |    45425 |    38419 |      330    204 |        0 |        0
6.29/6.31	c  6.3s |      13 |    45879 |    38832 |      364    205 |        0 |        0
8.29/8.32	c  8.3s |      13 |    59870 |    51132 |      364    259 |        0 |        0
9.39/9.46	c  9.4s |      14 |    68066 |    58352 |      401    291 |        0 |        0
11.39/11.47	c 11.5s |      14 |    84043 |    71852 |      401    347 |        0 |        0
13.39/13.48	c 13.5s |      14 |    99475 |    85152 |      401    403 |        0 |        0
13.89/13.92	c 13.9s |      15 |   102229 |    87632 |      442    413 |        0 |        0
15.89/15.92	c 15.9s |      15 |   116199 |    99932 |      442    459 |        0 |        0
17.89/17.92	c 17.9s |      15 |   129385 |   111832 |      442    503 |        0 |        0
19.89/19.93	c 19.9s |      15 |   143206 |   124032 |      442    548 |        0 |        0
21.09/21.19	c 21.2s |      16 |   151502 |   131552 |      487    575 |        0 |        0
23.09/23.20	c 23.2s |      16 |   166018 |   144152 |      487    619 |        0 |        0
25.18/25.21	c 25.2s |      16 |   179084 |   155752 |      487    659 |        0 |        0
27.18/27.22	c 27.2s |      16 |   191990 |   167252 |      487    699 |        0 |        0
29.18/29.23	c 29.2s |      16 |   205222 |   178952 |      487    740 |        0 |        0
31.18/31.24	c 31.2s |      16 |   218399 |   190552 |      487    780 |        0 |        0
32.38/32.48	c 32.5s |      17 |   226072 |   197432 |      536    804 |        0 |        0
34.38/34.48	c 34.5s |      17 |   240073 |   209732 |      536    844 |        0 |        0
36.38/36.48	c 36.5s |      17 |   253246 |   221532 |      536    883 |        0 |        0
38.39/38.50	c 38.5s |      17 |   266790 |   233532 |      536    923 |        0 |        0
40.48/40.50	c 40.5s |      17 |   279893 |   245232 |      536    962 |        0 |        0
42.48/42.52	c 42.5s |      17 |   292029 |   256232 |      536    999 |        0 |        0
44.48/44.53	c 44.5s |      17 |   305106 |   268032 |      536   1037 |        0 |        0
46.48/46.53	c 46.5s |      17 |   317674 |   279532 |      536   1076 |        0 |        0
48.49/48.54	c 48.5s |      17 |   330784 |   291132 |      536   1114 |        0 |        0
49.49/49.52	c 49.5s |      18 |   336266 |   296252 |      590   1130 |        0 |        0
51.48/51.53	c 51.5s |      18 |   349157 |   307552 |      590   1163 |        0 |        0
53.48/53.54	c 53.5s |      18 |   361498 |   318352 |      590   1194 |        0 |        0
55.48/55.55	c 55.5s |      18 |   373312 |   328852 |      590   1224 |        0 |        0
57.48/57.56	c 57.5s |      18 |   384315 |   338652 |      590   1252 |        0 |        0
59.49/59.58	c 59.6s |      18 |   395093 |   348452 |      590   1281 |        0 |        0
61.48/61.58	c 61.6s |      18 |   406072 |   358352 |      590   1309 |        0 |        0
63.48/63.59	c 63.6s |      18 |   417758 |   368352 |      590   1338 |        0 |        0
65.58/65.61	c 65.6s |      18 |   428484 |   378152 |      590   1366 |        0 |        0
67.58/67.62	c 67.6s |      18 |   439079 |   387652 |      590   1393 |        0 |        0
69.58/69.63	c 69.6s |      18 |   449193 |   397052 |      590   1420 |        0 |        0
71.58/71.63	c 71.6s |      18 |   460909 |   407552 |      590   1450 |        0 |        0
73.57/73.64	c 73.6s |      18 |   472743 |   418252 |      590   1481 |        0 |        0
75.57/75.66	c 75.6s |      18 |   484607 |   428752 |      590   1511 |        0 |        0
77.57/77.67	c 77.7s |      18 |   494860 |   437852 |      590   1537 |        0 |        0
78.97/79.03	c 79.0s |      19 |   502234 |   444482 |      649   1555 |        0 |        0
80.97/81.05	c 81.0s |      19 |   514497 |   455282 |      649   1585 |        0 |        0
82.97/83.06	c 83.1s |      19 |   526118 |   465582 |      649   1612 |        0 |        0
84.97/85.07	c 85.1s |      19 |   537414 |   475782 |      649   1640 |        0 |        0
86.98/87.10	c 87.1s |      19 |   548580 |   485782 |      649   1667 |        0 |        0
89.08/89.10	c 89.1s |      19 |   558817 |   495182 |      649   1692 |        0 |        0
91.07/91.11	c 91.1s |      19 |   568772 |   504282 |      649   1716 |        0 |        0
93.07/93.13	c 93.1s |      19 |   579013 |   513582 |      649   1741 |        0 |        0
95.07/95.13	c 95.1s |      19 |   589674 |   523082 |      649   1766 |        0 |        0
97.07/97.13	c 97.1s |      19 |   599601 |   532082 |      649   1790 |        0 |        0
99.07/99.14	c 99.1s |      19 |   611253 |   542282 |      649   1818 |        0 |        0
101.07/101.15	c  101s |      19 |   622530 |   552482 |      649   1845 |        0 |        0
103.07/103.17	c  103s |      19 |   633777 |   562682 |      649   1873 |        0 |        0
105.07/105.18	c  105s |      19 |   645234 |   572682 |      649   1900 |        0 |        0
107.07/107.18	c  107s |      19 |   656484 |   582582 |      649   1926 |        0 |        0
109.06/109.19	c  109s |      19 |   668600 |   593082 |      649   1954 |        0 |        0
111.17/111.21	c  111s |      19 |   681484 |   604082 |      649   1984 |        0 |        0
113.17/113.21	c  113s |      19 |   693727 |   614582 |      649   2013 |        0 |        0
115.17/115.23	c  115s |      19 |   705333 |   624882 |      649   2041 |        0 |        0
117.17/117.23	c  117s |      19 |   716940 |   634982 |      649   2068 |        0 |        0
119.17/119.25	c  119s |      19 |   729390 |   645882 |      649   2097 |        0 |        0
121.17/121.25	c  121s |      19 |   740521 |   656082 |      649   2124 |        0 |        0
123.18/123.27	c  123s |      19 |   751649 |   666182 |      714   2151 |        0 |        0
123.37/123.41	c  123s |      20 |   752335 |   666827 |      714   2152 |        0 |        0
125.38/125.42	c  125s |      20 |   764799 |   677527 |      714   2179 |        0 |        0
127.37/127.43	c  127s |      20 |   776359 |   687727 |      714   2204 |        0 |        0
129.37/129.44	c  129s |      20 |   787497 |   697627 |      714   2228 |        0 |        0
131.37/131.45	c  131s |      20 |   798928 |   707627 |      714   2253 |        0 |        0
133.37/133.45	c  133s |      20 |   810712 |   717727 |      714   2277 |        0 |        0
135.37/135.45	c  135s |      20 |   823101 |   728027 |      714   2303 |        0 |        0
137.37/137.47	c  137s |      20 |   834950 |   737827 |      714   2328 |        0 |        0
139.37/139.47	c  139s |      20 |   845760 |   747127 |      714   2350 |        0 |        0
141.37/141.49	c  141s |      20 |   857929 |   757127 |      714   2375 |        0 |        0
143.37/143.49	c  143s |      20 |   869193 |   766727 |      714   2399 |        0 |        0
145.46/145.50	c  145s |      20 |   880467 |   776527 |      714   2423 |        0 |        0
147.47/147.52	c  147s |      20 |   890755 |   785627 |      714   2446 |        0 |        0
149.46/149.53	c  149s |      20 |   902546 |   795527 |      714   2470 |        0 |        0
151.46/151.54	c  151s |      20 |   913854 |   805027 |      714   2494 |        0 |        0
153.46/153.54	c  153s |      20 |   925215 |   814727 |      714   2518 |        0 |        0
155.46/155.55	c  155s |      20 |   936823 |   824727 |      714   2542 |        0 |        0
157.46/157.57	c  157s |      20 |   948057 |   834127 |      714   2566 |        0 |        0
159.46/159.58	c  159s |      20 |   958713 |   843227 |      714   2588 |        0 |        0
161.46/161.58	c  161s |      20 |   969452 |   852527 |      714   2611 |        0 |        0
163.45/163.59	c  163s |      20 |   980091 |   861727 |      714   2634 |        0 |        0
165.55/165.60	c  165s |      20 |   990368 |   870827 |      714   2657 |        0 |        0
167.55/167.61	c  167s |      20 |  1001252 |   880327 |      714   2680 |        0 |        0
169.56/169.62	c  169s |      20 |  1010819 |   888927 |      714   2701 |        0 |        0
171.56/171.64	c  171s |      20 |  1021481 |   898027 |      714   2724 |        0 |        0
173.56/173.66	c  173s |      20 |  1032214 |   907427 |      714   2747 |        0 |        0
175.55/175.66	c  175s |      20 |  1042563 |   916827 |      714   2771 |        0 |        0
177.55/177.67	c  177s |      20 |  1053841 |   926627 |      714   2795 |        0 |        0
179.55/179.67	c  179s |      20 |  1064723 |   936127 |      714   2818 |        0 |        0
181.56/181.69	c  181s |      20 |  1074483 |   944827 |      714   2839 |        0 |        0
183.55/183.70	c  183s |      20 |  1084620 |   953627 |      714   2861 |        0 |        0
185.65/185.71	c  185s |      20 |  1093321 |   961427 |      714   2881 |        0 |        0
187.65/187.72	c  187s |      20 |  1103365 |   970327 |      714   2903 |        0 |        0
189.65/189.73	c  189s |      20 |  1112945 |   978827 |      714   2923 |        0 |        0
191.65/191.74	c  191s |      20 |  1123843 |   988227 |      714   2947 |        0 |        0
193.65/193.74	c  193s |      20 |  1135867 |   998827 |      786   2972 |        0 |        0
193.95/194.03	c  194s |      21 |  1137563 |  1000345 |      786   2976 |        0 |        0
195.95/196.03	c  196s |      21 |  1149117 |  1010645 |      786   2999 |        0 |        0
197.95/198.03	c  198s |      21 |  1160099 |  1020545 |      786   3022 |        0 |        0
199.95/200.03	c  200s |      21 |  1171196 |  1030645 |      786   3046 |        0 |        0
201.95/202.03	c  202s |      21 |  1182440 |  1040845 |      786   3070 |        0 |        0
203.95/204.05	c  204s |      21 |  1193736 |  1050945 |      786   3093 |        0 |        0
205.94/206.06	c  206s |      21 |  1205518 |  1061345 |      786   3117 |        0 |        0
207.95/208.07	c  208s |      21 |  1217457 |  1071945 |      786   3142 |        0 |        0
209.94/210.08	c  210s |      21 |  1229354 |  1082545 |      786   3167 |        0 |        0
211.94/212.09	c  212s |      21 |  1241338 |  1093245 |      786   3192 |        0 |        0
214.04/214.10	c  214s |      21 |  1253825 |  1104145 |      786   3217 |        0 |        0
216.04/216.10	c  216s |      21 |  1265494 |  1114445 |      786   3241 |        0 |        0
218.04/218.11	c  218s |      21 |  1277265 |  1124845 |      786   3265 |        0 |        0
220.05/220.13	c  220s |      21 |  1288486 |  1135045 |      786   3289 |        0 |        0
222.04/222.14	c  222s |      21 |  1299631 |  1145245 |      786   3313 |        0 |        0
224.04/224.14	c  224s |      21 |  1309915 |  1154845 |      786   3335 |        0 |        0
226.04/226.15	c  226s |      21 |  1320419 |  1164645 |      786   3358 |        0 |        0
228.04/228.16	c  228s |      21 |  1331366 |  1174745 |      786   3381 |        0 |        0
230.04/230.17	c  230s |      21 |  1342369 |  1184845 |      786   3404 |        0 |        0
232.04/232.19	c  232s |      21 |  1353391 |  1195045 |      786   3428 |        0 |        0
234.14/234.21	c  234s |      21 |  1364539 |  1205245 |      786   3452 |        0 |        0
236.14/236.21	c  236s |      21 |  1375778 |  1215645 |      786   3476 |        0 |        0
238.14/238.23	c  238s |      21 |  1387109 |  1226045 |      786   3500 |        0 |        0
240.14/240.25	c  240s |      21 |  1398115 |  1236045 |      786   3523 |        0 |        0
242.14/242.26	c  242s |      21 |  1408851 |  1245845 |      786   3546 |        0 |        0
244.15/244.26	c  244s |      21 |  1420199 |  1255945 |      786   3569 |        0 |        0
246.14/246.28	c  246s |      21 |  1430886 |  1265645 |      786   3592 |        0 |        0
248.14/248.29	c  248s |      21 |  1441797 |  1275545 |      786   3614 |        0 |        0
250.24/250.31	c  250s |      21 |  1452522 |  1285345 |      786   3637 |        0 |        0
252.24/252.31	c  252s |      21 |  1463170 |  1295045 |      786   3659 |        0 |        0
254.24/254.32	c  254s |      21 |  1473675 |  1304745 |      786   3682 |        0 |        0
256.25/256.32	c  256s |      21 |  1483591 |  1313945 |      786   3703 |        0 |        0
258.24/258.34	c  258s |      21 |  1493704 |  1323245 |      786   3724 |        0 |        0
260.24/260.34	c  260s |      21 |  1504558 |  1333045 |      786   3747 |        0 |        0
262.24/262.35	c  262s |      21 |  1514966 |  1342545 |      786   3769 |        0 |        0
264.23/264.35	c  264s |      21 |  1525396 |  1352045 |      786   3791 |        0 |        0
266.24/266.36	c  266s |      21 |  1535666 |  1361545 |      786   3813 |        0 |        0
268.23/268.37	c  268s |      21 |  1545612 |  1370645 |      786   3835 |        0 |        0
270.23/270.39	c  270s |      21 |  1556131 |  1380345 |      786   3857 |        0 |        0
272.23/272.39	c  272s |      21 |  1566734 |  1390145 |      786   3880 |        0 |        0
274.33/274.41	c  274s |      21 |  1576538 |  1399145 |      786   3900 |        0 |        0
276.33/276.42	c  276s |      21 |  1587122 |  1408745 |      786   3923 |        0 |        0
278.34/278.42	c  278s |      21 |  1597749 |  1418345 |      786   3945 |        0 |        0
280.33/280.43	c  280s |      21 |  1608636 |  1428245 |      786   3968 |        0 |        0
282.33/282.45	c  282s |      21 |  1619624 |  1437945 |      786   3990 |        0 |        0
284.33/284.47	c  284s |      21 |  1630867 |  1447945 |      786   4014 |        0 |        0
286.33/286.49	c  286s |      21 |  1641099 |  1457345 |      786   4035 |        0 |        0
288.43/288.50	c  288s |      21 |  1651588 |  1466645 |      786   4057 |        0 |        0
290.44/290.50	c  290s |      21 |  1661284 |  1475445 |      786   4077 |        0 |        0
292.43/292.53	c  292s |      21 |  1670711 |  1484145 |      786   4098 |        0 |        0
294.43/294.53	c  294s |      21 |  1680122 |  1492845 |      865   4117 |        0 |        0
296.03/296.12	c  296s |      22 |  1688673 |  1500622 |      865   4133 |        0 |        0
298.04/298.13	c  298s |      22 |  1701828 |  1511522 |      865   4157 |        0 |        0
300.03/300.15	c  300s |      22 |  1714898 |  1522522 |      865   4181 |        0 |        0
302.03/302.15	c  302s |      22 |  1726749 |  1532822 |      865   4203 |        0 |        0
304.03/304.15	c  304s |      22 |  1739137 |  1543622 |      865   4226 |        0 |        0
306.03/306.16	c  306s |      22 |  1752268 |  1554822 |      865   4250 |        0 |        0
308.03/308.17	c  308s |      22 |  1765225 |  1565722 |      865   4274 |        0 |        0
310.03/310.17	c  310s |      22 |  1776317 |  1575422 |      865   4295 |        0 |        0
312.03/312.17	c  312s |      22 |  1787287 |  1585122 |      865   4315 |        0 |        0
314.02/314.18	c  314s |      22 |  1797792 |  1594622 |      865   4336 |        0 |        0
316.02/316.19	c  316s |      22 |  1807111 |  1603222 |      865   4354 |        0 |        0
318.12/318.21	c  318s |      22 |  1818637 |  1613222 |      865   4376 |        0 |        0
320.13/320.21	c  320s |      22 |  1829303 |  1623022 |      865   4397 |        0 |        0
322.12/322.23	c  322s |      22 |  1841157 |  1633522 |      865   4419 |        0 |        0
324.12/324.25	c  324s |      22 |  1852561 |  1643522 |      865   4441 |        0 |        0
326.12/326.26	c  326s |      22 |  1863706 |  1653422 |      865   4462 |        0 |        0
328.12/328.27	c  328s |      22 |  1874559 |  1663122 |      865   4483 |        0 |        0
330.12/330.27	c  330s |      22 |  1886167 |  1673122 |      865   4504 |        0 |        0
332.13/332.27	c  332s |      22 |  1897349 |  1682622 |      865   4524 |        0 |        0
334.12/334.27	c  334s |      22 |  1909110 |  1692422 |      865   4544 |        0 |        0
336.12/336.28	c  336s |      22 |  1920256 |  1701822 |      865   4564 |        0 |        0
338.12/338.28	c  338s |      22 |  1931238 |  1711222 |      865   4583 |        0 |        0
340.12/340.30	c  340s |      22 |  1943866 |  1721622 |      865   4605 |        0 |        0
342.22/342.31	c  342s |      22 |  1956181 |  1731922 |      865   4626 |        0 |        0
344.23/344.32	c  344s |      22 |  1968026 |  1741722 |      865   4647 |        0 |        0
346.22/346.32	c  346s |      22 |  1980783 |  1751722 |      865   4668 |        0 |        0
348.22/348.34	c  348s |      22 |  1992138 |  1761022 |      865   4687 |        0 |        0
350.22/350.36	c  350s |      22 |  2003309 |  1770522 |      865   4707 |        0 |        0
352.22/352.37	c  352s |      22 |  2013229 |  1779122 |      865   4725 |        0 |        0
354.23/354.38	c  354s |      22 |  2024789 |  1789022 |      865   4746 |        0 |        0
356.33/356.40	c  356s |      22 |  2036704 |  1798922 |      865   4766 |        0 |        0
358.32/358.41	c  358s |      22 |  2048306 |  1808922 |      865   4787 |        0 |        0
360.32/360.42	c  360s |      22 |  2058405 |  1817822 |      865   4806 |        0 |        0
362.32/362.43	c  362s |      22 |  2068057 |  1826422 |      865   4824 |        0 |        0
364.32/364.43	c  364s |      22 |  2077898 |  1835122 |      865   4842 |        0 |        0
366.33/366.45	c  366s |      22 |  2088697 |  1844322 |      865   4861 |        0 |        0
368.32/368.46	c  368s |      22 |  2099655 |  1853522 |      865   4881 |        0 |        0
370.32/370.47	c  370s |      22 |  2110470 |  1862822 |      865   4900 |        0 |        0
372.32/372.49	c  372s |      22 |  2121329 |  1872222 |      865   4919 |        0 |        0
374.41/374.50	c  374s |      22 |  2131982 |  1881222 |      865   4938 |        0 |        0
376.41/376.51	c  376s |      22 |  2142699 |  1890422 |      865   4958 |        0 |        0
378.42/378.53	c  378s |      22 |  2152347 |  1898822 |      865   4975 |        0 |        0
380.41/380.54	c  380s |      22 |  2160663 |  1906322 |      865   4991 |        0 |        0
382.41/382.56	c  382s |      22 |  2169147 |  1914122 |      865   5007 |        0 |        0
384.41/384.58	c  384s |      22 |  2177985 |  1922022 |      865   5024 |        0 |        0
386.41/386.58	c  386s |      22 |  2187488 |  1930322 |      865   5041 |        0 |        0
388.51/388.60	c  388s |      22 |  2196548 |  1938322 |      865   5058 |        0 |        0
390.52/390.62	c  390s |      22 |  2204903 |  1946022 |      865   5074 |        0 |        0
392.51/392.63	c  392s |      22 |  2212753 |  1953222 |      865   5089 |        0 |        0
394.51/394.64	c  394s |      22 |  2221245 |  1960922 |      865   5105 |        0 |        0
396.51/396.65	c  396s |      22 |  2229521 |  1968622 |      865   5120 |        0 |        0
398.51/398.67	c  398s |      22 |  2238060 |  1976322 |      865   5136 |        0 |        0
400.51/400.68	c  400s |      22 |  2246212 |  1983722 |      865   5152 |        0 |        0
402.51/402.68	c  402s |      22 |  2254394 |  1991122 |      865   5167 |        0 |        0
404.60/404.70	c  404s |      22 |  2263069 |  1998822 |      865   5183 |        0 |        0
406.60/406.71	c  406s |      22 |  2272271 |  2006822 |      865   5200 |        0 |        0
408.61/408.71	c  408s |      22 |  2281632 |  2015022 |      865   5217 |        0 |        0
410.61/410.73	c  410s |      22 |  2290644 |  2022822 |      865   5233 |        0 |        0
412.61/412.73	c  412s |      22 |  2298613 |  2030022 |      865   5248 |        0 |        0
414.62/414.75	c  414s |      22 |  2307816 |  2038222 |      865   5265 |        0 |        0
416.61/416.75	c  416s |      22 |  2318018 |  2047322 |      865   5284 |        0 |        0
418.61/418.77	c  418s |      22 |  2327981 |  2056222 |      865   5302 |        0 |        0
420.61/420.78	c  420s |      22 |  2338456 |  2065222 |      865   5321 |        0 |        0
422.61/422.78	c  422s |      22 |  2348574 |  2074122 |      865   5340 |        0 |        0
424.71/424.80	c  424s |      22 |  2357590 |  2082222 |      865   5357 |        0 |        0
426.71/426.82	c  426s |      22 |  2367437 |  2090822 |      865   5375 |        0 |        0
428.71/428.82	c  428s |      22 |  2377165 |  2099522 |      865   5392 |        0 |        0
430.71/430.83	c  430s |      22 |  2387503 |  2108622 |      865   5411 |        0 |        0
432.70/432.84	c  432s |      22 |  2398583 |  2118022 |      865   5431 |        0 |        0
434.70/434.86	c  434s |      22 |  2408518 |  2126822 |      865   5449 |        0 |        0
436.71/436.86	c  436s |      22 |  2418518 |  2135522 |      865   5467 |        0 |        0
438.70/438.87	c  438s |      22 |  2427638 |  2143522 |      865   5484 |        0 |        0
440.70/440.88	c  440s |      22 |  2436883 |  2151922 |      865   5502 |        0 |        0
442.70/442.89	c  442s |      22 |  2446492 |  2160522 |      865   5519 |        0 |        0
444.80/444.91	c  444s |      22 |  2456596 |  2169422 |      865   5538 |        0 |        0
446.80/446.92	c  446s |      22 |  2465927 |  2177922 |      865   5555 |        0 |        0
448.81/448.93	c  448s |      22 |  2475345 |  2186522 |      865   5573 |        0 |        0
450.80/450.94	c  450s |      22 |  2485820 |  2195822 |      865   5592 |        0 |        0
452.80/452.95	c  452s |      22 |  2495893 |  2204822 |      865   5611 |        0 |        0
454.80/454.97	c  454s |      22 |  2505635 |  2213522 |      865   5629 |        0 |        0
456.80/456.97	c  456s |      22 |  2515412 |  2222222 |      865   5647 |        0 |        0
458.80/458.97	c  458s |      22 |  2524388 |  2230422 |      865   5664 |        0 |        0
460.81/460.99	c  460s |      22 |  2533263 |  2238422 |      952   5680 |        0 |        0
462.90/463.00	c  462s |      22 |  2541334 |  2245822 |      952   5694 |        0 |        0
464.21/464.38	c  464s |      23 |  2546925 |  2251038 |      952   5703 |        0 |        0
466.20/466.39	c  466s |      23 |  2557451 |  2260438 |      952   5721 |        0 |        0
468.30/468.40	c  468s |      23 |  2567140 |  2269238 |      952   5738 |        0 |        0
470.30/470.40	c  470s |      23 |  2577279 |  2278238 |      952   5755 |        0 |        0
472.30/472.41	c  472s |      23 |  2586906 |  2287038 |      952   5771 |        0 |        0
474.30/474.44	c  474s |      23 |  2596987 |  2296238 |      952   5789 |        0 |        0
476.30/476.46	c  476s |      23 |  2606581 |  2304938 |      952   5805 |        0 |        0
478.30/478.46	c  478s |      23 |  2616540 |  2313738 |      952   5822 |        0 |        0
480.30/480.48	c  480s |      23 |  2626200 |  2322338 |      952   5838 |        0 |        0
482.29/482.48	c  482s |      23 |  2635209 |  2330538 |      952   5853 |        0 |        0
484.39/484.50	c  484s |      23 |  2644538 |  2339138 |      952   5870 |        0 |        0
486.39/486.52	c  486s |      23 |  2653840 |  2347638 |      952   5886 |        0 |        0
488.40/488.54	c  488s |      23 |  2663082 |  2356038 |      952   5901 |        0 |        0
490.39/490.55	c  490s |      23 |  2672057 |  2364138 |      952   5917 |        0 |        0
492.39/492.57	c  492s |      23 |  2680489 |  2371838 |      952   5931 |        0 |        0
494.39/494.59	c  494s |      23 |  2689275 |  2379838 |      952   5946 |        0 |        0
496.39/496.59	c  496s |      23 |  2698419 |  2388138 |      952   5962 |        0 |        0
498.49/498.62	c  498s |      23 |  2707188 |  2396238 |      952   5977 |        0 |        0
500.50/500.64	c  500s |      23 |  2715647 |  2404038 |      952   5992 |        0 |        0
502.50/502.65	c  502s |      23 |  2723983 |  2411738 |      952   6007 |        0 |        0
504.50/504.66	c  504s |      23 |  2732098 |  2419138 |      952   6020 |        0 |        0
506.49/506.67	c  506s |      23 |  2740939 |  2427138 |      952   6035 |        0 |        0
508.49/508.69	c  508s |      23 |  2749635 |  2435038 |      952   6050 |        0 |        0
510.49/510.69	c  510s |      23 |  2757482 |  2442338 |      952   6064 |        0 |        0
512.50/512.70	c  512s |      23 |  2765226 |  2449538 |      952   6078 |        0 |        0
514.59/514.70	c  514s |      23 |  2773136 |  2456838 |      952   6091 |        0 |        0
516.59/516.70	c  516s |      23 |  2782230 |  2465138 |      952   6107 |        0 |        0
518.59/518.71	c  518s |      23 |  2790923 |  2473038 |      952   6122 |        0 |        0
520.59/520.73	c  520s |      23 |  2799174 |  2480638 |      952   6136 |        0 |        0
522.59/522.73	c  522s |      23 |  2807438 |  2488238 |      952   6151 |        0 |        0
524.60/524.73	c  524s |      23 |  2815657 |  2495838 |      952   6165 |        0 |        0
526.59/526.75	c  526s |      23 |  2824959 |  2504238 |      952   6181 |        0 |        0
528.59/528.76	c  528s |      23 |  2833324 |  2511938 |      952   6195 |        0 |        0
530.59/530.77	c  530s |      23 |  2841643 |  2519538 |      952   6210 |        0 |        0
532.59/532.77	c  532s |      23 |  2849746 |  2527038 |      952   6224 |        0 |        0
534.68/534.80	c  534s |      23 |  2858287 |  2534838 |      952   6238 |        0 |        0
536.69/536.82	c  536s |      23 |  2866187 |  2542038 |      952   6252 |        0 |        0
538.68/538.82	c  538s |      23 |  2873876 |  2549038 |      952   6265 |        0 |        0
540.68/540.82	c  540s |      23 |  2882022 |  2556538 |      952   6279 |        0 |        0
542.68/542.83	c  542s |      23 |  2890356 |  2564238 |      952   6294 |        0 |        0
544.69/544.87	c  544s |      23 |  2898312 |  2571538 |      952   6308 |        0 |        0
546.69/546.88	c  546s |      23 |  2906253 |  2578838 |      952   6321 |        0 |        0
548.69/548.88	c  548s |      23 |  2913434 |  2585438 |      952   6334 |        0 |        0
550.79/550.90	c  550s |      23 |  2923132 |  2594138 |      952   6350 |        0 |        0
552.79/552.91	c  552s |      23 |  2932336 |  2602338 |      952   6365 |        0 |        0
554.78/554.92	c  554s |      23 |  2941336 |  2610338 |      952   6380 |        0 |        0
556.78/556.95	c  556s |      23 |  2950321 |  2618338 |      952   6396 |        0 |        0
558.79/558.96	c  558s |      23 |  2958371 |  2625638 |      952   6409 |        0 |        0
560.78/560.97	c  560s |      23 |  2966032 |  2632538 |      952   6422 |        0 |        0
562.78/562.98	c  562s |      23 |  2974823 |  2640338 |      952   6437 |        0 |        0
564.88/565.00	c  564s |      23 |  2982889 |  2647838 |      952   6451 |        0 |        0
566.87/567.00	c  566s |      23 |  2990906 |  2655138 |      952   6465 |        0 |        0
568.87/569.01	c  568s |      23 |  2999412 |  2662938 |      952   6479 |        0 |        0
570.88/571.01	c  571s |      23 |  3006941 |  2669938 |      952   6492 |        0 |        0
572.87/573.03	c  573s |      23 |  3013611 |  2676138 |      952   6504 |        0 |        0
574.87/575.05	c  575s |      23 |  3022019 |  2683638 |      952   6518 |        0 |        0
576.87/577.07	c  577s |      23 |  3029450 |  2690438 |      952   6531 |        0 |        0
578.87/579.07	c  579s |      23 |  3037616 |  2697838 |      952   6545 |        0 |        0
580.87/581.07	c  581s |      23 |  3045322 |  2704938 |      952   6558 |        0 |        0
582.87/583.09	c  583s |      23 |  3053424 |  2712338 |      952   6572 |        0 |        0
584.97/585.11	c  585s |      23 |  3061159 |  2719338 |      952   6585 |        0 |        0
586.96/587.12	c  587s |      23 |  3070078 |  2727538 |      952   6601 |        0 |        0
588.96/589.13	c  589s |      23 |  3079297 |  2735838 |      952   6616 |        0 |        0
590.96/591.15	c  591s |      23 |  3088253 |  2743838 |      952   6631 |        0 |        0
592.96/593.17	c  593s |      23 |  3096483 |  2751238 |      952   6645 |        0 |        0
594.97/595.19	c  595s |      23 |  3104713 |  2758838 |      952   6659 |        0 |        0
597.07/597.20	c  597s |      23 |  3113359 |  2766838 |      952   6674 |        0 |        0
599.07/599.22	c  599s |      23 |  3123002 |  2775638 |      952   6691 |        0 |        0
601.06/601.22	c  601s |      23 |  3132527 |  2784138 |      952   6707 |        0 |        0
603.06/603.24	c  603s |      23 |  3141950 |  2792738 |      952   6723 |        0 |        0
605.06/605.25	c  605s |      23 |  3150957 |  2800738 |      952   6738 |        0 |        0
607.07/607.27	c  607s |      23 |  3160134 |  2808838 |      952   6754 |        0 |        0
609.06/609.28	c  609s |      23 |  3168477 |  2816438 |      952   6768 |        0 |        0
611.06/611.28	c  611s |      23 |  3177528 |  2824738 |      952   6784 |        0 |        0
613.16/613.30	c  613s |      23 |  3186495 |  2832938 |      952   6799 |        0 |        0
615.15/615.32	c  615s |      23 |  3195167 |  2840838 |      952   6814 |        0 |        0
617.15/617.34	c  617s |      23 |  3203309 |  2848238 |      952   6828 |        0 |        0
619.16/619.36	c  619s |      23 |  3211284 |  2855438 |      952   6842 |        0 |        0
621.15/621.37	c  621s |      23 |  3219810 |  2863138 |      952   6856 |        0 |        0
623.15/623.38	c  623s |      23 |  3228350 |  2870838 |      952   6871 |        0 |        0
625.14/625.39	c  625s |      23 |  3237297 |  2878838 |      952   6886 |        0 |        0
627.24/627.41	c  627s |      23 |  3246005 |  2886638 |      952   6900 |        0 |        0
629.24/629.43	c  629s |      23 |  3254036 |  2893938 |      952   6914 |        0 |        0
631.25/631.43	c  631s |      23 |  3262758 |  2901838 |      952   6929 |        0 |        0
633.24/633.45	c  633s |      23 |  3271858 |  2910038 |      952   6944 |        0 |        0
635.23/635.47	c  635s |      23 |  3279999 |  2917338 |      952   6958 |        0 |        0
637.24/637.47	c  637s |      23 |  3288631 |  2925138 |      952   6973 |        0 |        0
639.24/639.48	c  639s |      23 |  3297523 |  2933238 |      952   6988 |        0 |        0
641.25/641.49	c  641s |      23 |  3306038 |  2941138 |      952   7003 |        0 |        0
643.24/643.50	c  643s |      23 |  3313950 |  2948538 |      952   7017 |        0 |        0
645.34/645.53	c  645s |      23 |  3322301 |  2956238 |      952   7032 |        0 |        0
647.34/647.55	c  647s |      23 |  3331040 |  2964238 |      952   7046 |        0 |        0
649.34/649.55	c  649s |      23 |  3339186 |  2971738 |      952   7061 |        0 |        0
651.34/651.57	c  651s |      23 |  3346977 |  2978938 |      952   7074 |        0 |        0
653.34/653.58	c  653s |      23 |  3354967 |  2986338 |      952   7088 |        0 |        0
655.33/655.58	c  655s |      23 |  3364495 |  2994938 |      952   7104 |        0 |        0
657.43/657.60	c  657s |      23 |  3373348 |  3002938 |      952   7119 |        0 |        0
659.43/659.62	c  659s |      23 |  3382052 |  3010838 |      952   7134 |        0 |        0
661.43/661.62	c  661s |      23 |  3390285 |  3018238 |      952   7148 |        0 |        0
663.42/663.64	c  663s |      23 |  3398239 |  3025538 |      952   7162 |        0 |        0
665.43/665.64	c  665s |      23 |  3405852 |  3032538 |      952   7175 |        0 |        0
667.42/667.65	c  667s |      23 |  3413202 |  3039338 |      952   7188 |        0 |        0
669.42/669.66	c  669s |      23 |  3420986 |  3046538 |      952   7201 |        0 |        0
671.42/671.67	c  671s |      23 |  3428150 |  3053038 |      952   7213 |        0 |        0
673.42/673.67	c  673s |      23 |  3437294 |  3061438 |      952   7229 |        0 |        0
675.41/675.68	c  675s |      23 |  3446702 |  3070038 |      952   7245 |        0 |        0
677.42/677.70	c  677s |      23 |  3455452 |  3078138 |      952   7261 |        0 |        0
679.51/679.70	c  679s |      23 |  3464175 |  3086038 |      952   7275 |        0 |        0
681.51/681.71	c  681s |      23 |  3472671 |  3093938 |      952   7290 |        0 |        0
683.51/683.72	c  683s |      23 |  3480665 |  3101338 |      952   7304 |        0 |        0
685.50/685.74	c  685s |      23 |  3489290 |  3109338 |      952   7319 |        0 |        0
687.51/687.76	c  687s |      23 |  3498116 |  3117338 |      952   7334 |        0 |        0
689.52/689.78	c  689s |      23 |  3507120 |  3125538 |      952   7349 |        0 |        0
691.51/691.79	c  691s |      23 |  3515465 |  3133138 |      952   7364 |        0 |        0
693.51/693.79	c  693s |      23 |  3523572 |  3140738 |      952   7378 |        0 |        0
695.50/695.80	c  695s |      23 |  3532793 |  3149138 |      952   7394 |        0 |        0
697.60/697.80	c  697s |      23 |  3541584 |  3157138 |      952   7409 |        0 |        0
699.60/699.82	c  699s |      23 |  3550185 |  3165038 |      952   7424 |        0 |        0
701.61/701.84	c  701s |      23 |  3558941 |  3173138 |      952   7439 |        0 |        0
703.60/703.84	c  703s |      23 |  3567928 |  3181438 |      952   7454 |        0 |        0
705.59/705.86	c  705s |      23 |  3576877 |  3189638 |      952   7470 |        0 |        0
707.59/707.88	c  707s |      23 |  3585588 |  3197538 |      952   7485 |        0 |        0
709.69/709.90	c  709s |      23 |  3594948 |  3206038 |      952   7501 |        0 |        0
711.69/711.91	c  711s |      23 |  3604232 |  3214338 |      952   7516 |        0 |        0
713.70/713.93	c  713s |      23 |  3612839 |  3222238 |      952   7531 |        0 |        0
715.69/715.93	c  715s |      23 |  3620924 |  3229738 |      952   7546 |        0 |        0
717.69/717.95	c  717s |      23 |  3628975 |  3237138 |      952   7560 |        0 |        0
719.69/719.97	c  719s |      23 |  3637529 |  3244938 |      952   7574 |        0 |        0
721.68/721.98	c  721s |      23 |  3646289 |  3252938 |      952   7589 |        0 |        0
723.69/723.99	c  723s |      23 |  3654555 |  3260538 |      952   7604 |        0 |        0
725.79/726.00	c  725s |      23 |  3662594 |  3267938 |      952   7618 |        0 |        0
727.79/728.02	c  728s |      23 |  3670678 |  3275438 |      952   7632 |        0 |        0
729.79/730.04	c  730s |      23 |  3679105 |  3283238 |      952   7647 |        0 |        0
731.79/732.05	c  732s |      23 |  3687217 |  3290638 |      952   7660 |        0 |        0
733.79/734.06	c  734s |      23 |  3695560 |  3298438 |      952   7675 |        0 |        0
735.79/736.08	c  736s |      23 |  3703234 |  3305638 |      952   7689 |        0 |        0
737.78/738.10	c  738s |      23 |  3711228 |  3313138 |      952   7703 |        0 |        0
739.88/740.11	c  740s |      23 |  3720004 |  3321338 |      952   7718 |        0 |        0
741.88/742.12	c  742s |      23 |  3729017 |  3329638 |      952   7734 |        0 |        0
743.87/744.12	c  744s |      23 |  3737235 |  3337338 |      952   7748 |        0 |        0
745.87/746.13	c  746s |      23 |  3744961 |  3344538 |      952   7762 |        0 |        0
747.88/748.14	c  748s |      23 |  3753035 |  3351938 |      952   7776 |        0 |        0
749.87/750.15	c  750s |      23 |  3761116 |  3359338 |     1048   7789 |        0 |        0
751.87/752.16	c  752s |      23 |  3769333 |  3366938 |     1048   7802 |        0 |        0
753.87/754.16	c  754s |      23 |  3777389 |  3374338 |     1048   7815 |        0 |        0
754.57/754.87	c  754s |      24 |  3779878 |  3376662 |     1048   7819 |        0 |        0
756.57/756.87	c  756s |      24 |  3789329 |  3385062 |     1048   7833 |        0 |        0
758.56/758.89	c  758s |      24 |  3798274 |  3393162 |     1048   7848 |        0 |        0
760.56/760.89	c  760s |      24 |  3807576 |  3401362 |     1048   7862 |        0 |        0
762.66/762.90	c  762s |      24 |  3816295 |  3409162 |     1048   7876 |        0 |        0
764.66/764.91	c  764s |      24 |  3825654 |  3417462 |     1048   7890 |        0 |        0
766.66/766.91	c  766s |      24 |  3834384 |  3425462 |     1048   7904 |        0 |        0
768.66/768.91	c  768s |      24 |  3843466 |  3433562 |     1048   7918 |        0 |        0
770.66/770.93	c  770s |      24 |  3852935 |  3442062 |     1048   7933 |        0 |        0
772.66/772.96	c  772s |      24 |  3861692 |  3449962 |     1048   7947 |        0 |        0
774.65/774.96	c  774s |      24 |  3870951 |  3458362 |     1048   7961 |        0 |        0
776.65/776.97	c  776s |      24 |  3879554 |  3466262 |     1048   7975 |        0 |        0
778.66/778.99	c  778s |      24 |  3888021 |  3474062 |     1048   7989 |        0 |        0
780.76/781.01	c  780s |      24 |  3896700 |  3482062 |     1048   8003 |        0 |        0
782.75/783.02	c  783s |      24 |  3905659 |  3490062 |     1048   8017 |        0 |        0
784.75/785.02	c  785s |      24 |  3913988 |  3497662 |     1048   8030 |        0 |        0
786.75/787.03	c  787s |      24 |  3923157 |  3505862 |     1048   8044 |        0 |        0
788.75/789.04	c  789s |      24 |  3932682 |  3514262 |     1048   8059 |        0 |        0
790.75/791.07	c  791s |      24 |  3941599 |  3522162 |     1048   8072 |        0 |        0
792.74/793.08	c  793s |      24 |  3949816 |  3529562 |     1048   8085 |        0 |        0
794.74/795.09	c  795s |      24 |  3958490 |  3537362 |     1048   8099 |        0 |        0
796.84/797.10	c  797s |      24 |  3967630 |  3545662 |     1048   8113 |        0 |        0
798.84/799.12	c  799s |      24 |  3976247 |  3553462 |     1048   8127 |        0 |        0
800.84/801.13	c  801s |      24 |  3985112 |  3561462 |     1048   8141 |        0 |        0
802.84/803.15	c  803s |      24 |  3994143 |  3569662 |     1048   8155 |        0 |        0
804.83/805.16	c  805s |      24 |  4003429 |  3577962 |     1048   8170 |        0 |        0
806.83/807.17	c  807s |      24 |  4012738 |  3586162 |     1048   8184 |        0 |        0
808.83/809.19	c  809s |      24 |  4021456 |  3594062 |     1048   8198 |        0 |        0
810.93/811.20	c  811s |      24 |  4030566 |  3602162 |     1048   8212 |        0 |        0
812.93/813.22	c  813s |      24 |  4039543 |  3610062 |     1048   8226 |        0 |        0
814.93/815.24	c  815s |      24 |  4048090 |  3617762 |     1048   8239 |        0 |        0
816.92/817.24	c  817s |      24 |  4057089 |  3625762 |     1048   8253 |        0 |        0
818.92/819.26	c  819s |      24 |  4066242 |  3633862 |     1048   8267 |        0 |        0
820.92/821.27	c  821s |      24 |  4075837 |  3642162 |     1048   8282 |        0 |        0
822.92/823.28	c  823s |      24 |  4084770 |  3650162 |     1048   8296 |        0 |        0
824.93/825.30	c  825s |      24 |  4093181 |  3657762 |     1048   8309 |        0 |        0
827.03/827.31	c  827s |      24 |  4101749 |  3665362 |     1048   8322 |        0 |        0
829.03/829.32	c  829s |      24 |  4109614 |  3672562 |     1048   8335 |        0 |        0
831.03/831.33	c  831s |      24 |  4118420 |  3680462 |     1048   8348 |        0 |        0
833.03/833.35	c  833s |      24 |  4128121 |  3688862 |     1048   8363 |        0 |        0
835.02/835.37	c  835s |      24 |  4138034 |  3697262 |     1048   8378 |        0 |        0
837.02/837.38	c  837s |      24 |  4146580 |  3704962 |     1048   8391 |        0 |        0
839.03/839.40	c  839s |      24 |  4155468 |  3712962 |     1048   8405 |        0 |        0
841.12/841.42	c  841s |      24 |  4164444 |  3721162 |     1048   8420 |        0 |        0
843.12/843.42	c  843s |      24 |  4173969 |  3729562 |     1048   8434 |        0 |        0
845.11/845.43	c  845s |      24 |  4183022 |  3737562 |     1048   8448 |        0 |        0
847.11/847.45	c  847s |      24 |  4191342 |  3745062 |     1048   8462 |        0 |        0
849.11/849.46	c  849s |      24 |  4199890 |  3752762 |     1048   8475 |        0 |        0
851.12/851.48	c  851s |      24 |  4208432 |  3760562 |     1048   8489 |        0 |        0
853.11/853.49	c  853s |      24 |  4216731 |  3768262 |     1048   8502 |        0 |        0
855.21/855.50	c  855s |      24 |  4225633 |  3776362 |     1048   8516 |        0 |        0
857.20/857.50	c  857s |      24 |  4234876 |  3784662 |     1048   8530 |        0 |        0
859.20/859.51	c  859s |      24 |  4243287 |  3792362 |     1048   8544 |        0 |        0
861.20/861.53	c  861s |      24 |  4252289 |  3800562 |     1048   8558 |        0 |        0
863.21/863.54	c  863s |      24 |  4260851 |  3808362 |     1048   8571 |        0 |        0
865.20/865.54	c  865s |      24 |  4268991 |  3815862 |     1048   8584 |        0 |        0
867.20/867.54	c  867s |      24 |  4278159 |  3823962 |     1048   8598 |        0 |        0
869.20/869.56	c  869s |      24 |  4287130 |  3832062 |     1048   8612 |        0 |        0
871.20/871.56	c  871s |      24 |  4296731 |  3840362 |     1048   8627 |        0 |        0
873.20/873.57	c  873s |      24 |  4305191 |  3847962 |     1048   8640 |        0 |        0
875.19/875.57	c  875s |      24 |  4313469 |  3855462 |     1048   8653 |        0 |        0
877.19/877.59	c  877s |      24 |  4321956 |  3863162 |     1048   8667 |        0 |        0
879.19/879.59	c  879s |      24 |  4329933 |  3870562 |     1048   8680 |        0 |        0
881.29/881.62	c  881s |      24 |  4338484 |  3878362 |     1048   8693 |        0 |        0
883.29/883.64	c  883s |      24 |  4346691 |  3885862 |     1048   8706 |        0 |        0
885.29/885.66	c  885s |      24 |  4354881 |  3893262 |     1048   8719 |        0 |        0
887.28/887.67	c  887s |      24 |  4363387 |  3900962 |     1048   8733 |        0 |        0
889.28/889.69	c  889s |      24 |  4371910 |  3908562 |     1048   8746 |        0 |        0
891.39/891.71	c  891s |      24 |  4379458 |  3915462 |     1048   8758 |        0 |        0
893.39/893.73	c  893s |      24 |  4387389 |  3922662 |     1048   8770 |        0 |        0
895.38/895.74	c  895s |      24 |  4396075 |  3930562 |     1048   8784 |        0 |        0
897.39/897.75	c  897s |      24 |  4404520 |  3938262 |     1048   8797 |        0 |        0
899.38/899.76	c  899s |      24 |  4413176 |  3946162 |     1048   8811 |        0 |        0
901.38/901.77	c  901s |      24 |  4421401 |  3953762 |     1048   8824 |        0 |        0
903.38/903.78	c  903s |      24 |  4430860 |  3962162 |     1048   8839 |        0 |        0
905.38/905.79	c  905s |      24 |  4440095 |  3970362 |     1048   8853 |        0 |        0
907.47/907.80	c  907s |      24 |  4448588 |  3978162 |     1048   8867 |        0 |        0
909.48/909.83	c  909s |      24 |  4456774 |  3985662 |     1048   8880 |        0 |        0
911.47/911.84	c  911s |      24 |  4465681 |  3993762 |     1048   8894 |        0 |        0
913.47/913.86	c  913s |      24 |  4474556 |  4001962 |     1048   8908 |        0 |        0
915.47/915.87	c  915s |      24 |  4483270 |  4009862 |     1048   8922 |        0 |        0
917.46/917.89	c  917s |      24 |  4491747 |  4017562 |     1048   8935 |        0 |        0
919.46/919.89	c  919s |      24 |  4500479 |  4025562 |     1048   8949 |        0 |        0
921.47/921.90	c  921s |      24 |  4509331 |  4033562 |     1048   8963 |        0 |        0
923.56/923.90	c  923s |      24 |  4518447 |  4041862 |     1048   8978 |        0 |        0
925.56/925.91	c  925s |      24 |  4527043 |  4049862 |     1048   8992 |        0 |        0
927.56/927.92	c  927s |      24 |  4535825 |  4057962 |     1048   9006 |        0 |        0
929.56/929.93	c  929s |      24 |  4545145 |  4066362 |     1048   9021 |        0 |        0
931.56/931.96	c  931s |      24 |  4554102 |  4074362 |     1048   9035 |        0 |        0
933.57/933.98	c  933s |      24 |  4563117 |  4082362 |     1048   9049 |        0 |        0
935.56/935.99	c  935s |      24 |  4572069 |  4090362 |     1048   9063 |        0 |        0
937.66/938.01	c  937s |      24 |  4580817 |  4098162 |     1048   9076 |        0 |        0
939.66/940.03	c  940s |      24 |  4589323 |  4105762 |     1048   9090 |        0 |        0
941.66/942.04	c  942s |      24 |  4598565 |  4113962 |     1048   9104 |        0 |        0
943.66/944.05	c  944s |      24 |  4607479 |  4121962 |     1048   9118 |        0 |        0
945.66/946.05	c  946s |      24 |  4615714 |  4129462 |     1048   9131 |        0 |        0
947.65/948.07	c  948s |      24 |  4624624 |  4137462 |     1048   9145 |        0 |        0
949.65/950.07	c  950s |      24 |  4633731 |  4145462 |     1048   9159 |        0 |        0
951.65/952.09	c  952s |      24 |  4642153 |  4152962 |     1048   9173 |        0 |        0
953.75/954.11	c  954s |      24 |  4651519 |  4161262 |     1048   9187 |        0 |        0
955.74/956.12	c  956s |      24 |  4660868 |  4169762 |     1048   9202 |        0 |        0
957.75/958.12	c  958s |      24 |  4670416 |  4178362 |     1048   9217 |        0 |        0
959.74/960.15	c  960s |      24 |  4679532 |  4186662 |     1048   9231 |        0 |        0
961.74/962.16	c  962s |      24 |  4688342 |  4194662 |     1048   9245 |        0 |        0
963.74/964.16	c  964s |      24 |  4697003 |  4202562 |     1048   9259 |        0 |        0
965.74/966.17	c  966s |      24 |  4705343 |  4210162 |     1048   9272 |        0 |        0
967.74/968.17	c  968s |      24 |  4713529 |  4217562 |     1048   9285 |        0 |        0
969.74/970.19	c  970s |      24 |  4722327 |  4225562 |     1048   9299 |        0 |        0
971.74/972.20	c  972s |      24 |  4730392 |  4232862 |     1048   9311 |        0 |        0
973.84/974.21	c  974s |      24 |  4738420 |  4240062 |     1048   9324 |        0 |        0
975.83/976.23	c  976s |      24 |  4745726 |  4246862 |     1048   9336 |        0 |        0
977.83/978.25	c  978s |      24 |  4754019 |  4254462 |     1048   9349 |        0 |        0
979.83/980.27	c  980s |      24 |  4762540 |  4262262 |     1048   9362 |        0 |        0
981.83/982.28	c  982s |      24 |  4770063 |  4269262 |     1048   9374 |        0 |        0
983.83/984.28	c  984s |      24 |  4777492 |  4275962 |     1048   9386 |        0 |        0
985.83/986.29	c  986s |      24 |  4785442 |  4283362 |     1048   9399 |        0 |        0
987.93/988.31	c  988s |      24 |  4793324 |  4290762 |     1048   9411 |        0 |        0
989.92/990.32	c  990s |      24 |  4801012 |  4297962 |     1048   9424 |        0 |        0
991.93/992.34	c  992s |      24 |  4808460 |  4304962 |     1048   9436 |        0 |        0
993.92/994.37	c  994s |      24 |  4815981 |  4311962 |     1048   9448 |        0 |        0
995.92/996.38	c  996s |      24 |  4823053 |  4318662 |     1048   9460 |        0 |        0
997.92/998.39	c  998s |      24 |  4831141 |  4326062 |     1048   9472 |        0 |        0
1000.02/1000.40	c 1000s |      24 |  4838988 |  4333262 |     1048   9485 |        0 |        0
1002.02/1002.41	c 1002s |      24 |  4846788 |  4340362 |     1048   9497 |        0 |        0
1004.02/1004.44	c 1004s |      24 |  4854909 |  4347762 |     1048   9510 |        0 |        0
1006.01/1006.46	c 1006s |      24 |  4862848 |  4355162 |     1048   9523 |        0 |        0
1008.01/1008.46	c 1008s |      24 |  4870824 |  4362662 |     1048   9536 |        0 |        0
1010.01/1010.48	c 1010s |      24 |  4879201 |  4370362 |     1048   9549 |        0 |        0
1012.01/1012.49	c 1012s |      24 |  4887308 |  4377662 |     1048   9562 |        0 |        0
1014.10/1014.50	c 1014s |      24 |  4894712 |  4384562 |     1048   9574 |        0 |        0
1016.11/1016.52	c 1016s |      24 |  4901998 |  4391462 |     1048   9585 |        0 |        0
1018.10/1018.55	c 1018s |      24 |  4908813 |  4397862 |     1048   9596 |        0 |        0
1020.10/1020.57	c 1020s |      24 |  4916875 |  4405162 |     1048   9609 |        0 |        0
1022.10/1022.59	c 1022s |      24 |  4924585 |  4412262 |     1048   9621 |        0 |        0
1024.10/1024.59	c 1024s |      24 |  4931894 |  4418962 |     1048   9633 |        0 |        0
1026.19/1026.61	c 1026s |      24 |  4939187 |  4425462 |     1048   9644 |        0 |        0
1028.20/1028.62	c 1028s |      24 |  4947840 |  4433162 |     1048   9658 |        0 |        0
1030.19/1030.62	c 1030s |      24 |  4955860 |  4440362 |     1048   9670 |        0 |        0
1032.19/1032.64	c 1032s |      24 |  4963923 |  4447462 |     1048   9683 |        0 |        0
1034.19/1034.66	c 1034s |      24 |  4971185 |  4453962 |     1048   9694 |        0 |        0
1036.19/1036.66	c 1036s |      24 |  4978564 |  4460562 |     1048   9705 |        0 |        0
1038.19/1038.67	c 1038s |      24 |  4985936 |  4467262 |     1048   9717 |        0 |        0
1040.20/1040.69	c 1040s |      24 |  4993141 |  4473862 |     1048   9728 |        0 |        0
1042.30/1042.70	c 1042s |      24 |  5001717 |  4481662 |     1048   9742 |        0 |        0
1044.29/1044.70	c 1044s |      24 |  5009924 |  4488962 |     1048   9755 |        0 |        0
1046.29/1046.73	c 1046s |      24 |  5018667 |  4496762 |     1048   9768 |        0 |        0
1048.29/1048.74	c 1048s |      24 |  5026383 |  4503762 |     1048   9781 |        0 |        0
1050.29/1050.76	c 1050s |      24 |  5034167 |  4510862 |     1048   9793 |        0 |        0
1052.30/1052.78	c 1052s |      24 |  5041124 |  4517262 |     1048   9804 |        0 |        0
1054.28/1054.78	c 1054s |      24 |  5048639 |  4524062 |     1048   9816 |        0 |        0
1056.28/1056.79	c 1056s |      24 |  5055512 |  4530462 |     1048   9827 |        0 |        0
1058.38/1058.81	c 1058s |      24 |  5062317 |  4536762 |     1048   9838 |        0 |        0
1060.38/1060.81	c 1060s |      24 |  5070377 |  4544162 |     1048   9851 |        0 |        0
1062.38/1062.81	c 1062s |      24 |  5078256 |  4551362 |     1048   9863 |        0 |        0
1064.38/1064.83	c 1064s |      24 |  5085452 |  4558062 |     1048   9875 |        0 |        0
1066.38/1066.85	c 1066s |      24 |  5093207 |  4565262 |     1048   9887 |        0 |        0
1068.38/1068.86	c 1068s |      24 |  5100779 |  4572162 |     1048   9899 |        0 |        0
1070.38/1070.88	c 1070s |      24 |  5108695 |  4579362 |     1048   9912 |        0 |        0
1072.38/1072.89	c 1072s |      24 |  5116418 |  4586362 |     1048   9924 |        0 |        0
1074.38/1074.89	c 1074s |      24 |  5123854 |  4593262 |     1048   9936 |        0 |        0
1076.37/1076.90	c 1076s |      24 |  5130663 |  4599562 |     1048   9947 |        0 |        0
1078.47/1078.90	c 1078s |      24 |  5137349 |  4605862 |     1048   9958 |        0 |        0
1080.47/1080.92	c 1080s |      24 |  5143387 |  4611562 |     1048   9967 |        0 |        0
1082.47/1082.94	c 1082s |      24 |  5150525 |  4618162 |     1048   9979 |        0 |        0
1084.47/1084.95	c 1084s |      24 |  5157460 |  4624562 |     1048   9990 |        0 |        0
1086.47/1086.96	c 1086s |      24 |  5164213 |  4630762 |     1048  10001 |        0 |        0
1088.47/1088.98	c 1088s |      24 |  5171571 |  4637462 |     1048  10012 |        0 |        0
1090.47/1090.98	c 1090s |      24 |  5180006 |  4644962 |     1048  10025 |        0 |        0
1092.56/1093.01	c 1092s |      24 |  5188401 |  4652462 |     1048  10039 |        0 |        0
1094.56/1095.03	c 1095s |      24 |  5195722 |  4659262 |     1048  10050 |        0 |        0
1096.56/1097.05	c 1097s |      24 |  5203023 |  4665862 |     1048  10062 |        0 |        0
1098.56/1099.06	c 1099s |      24 |  5210698 |  4672862 |     1048  10074 |        0 |        0
1100.56/1101.09	c 1101s |      24 |  5217926 |  4679462 |     1048  10086 |        0 |        0
1102.66/1103.10	c 1103s |      24 |  5226253 |  4686862 |     1048  10099 |        0 |        0
1104.65/1105.12	c 1105s |      24 |  5234308 |  4694062 |     1048  10111 |        0 |        0
1106.65/1107.14	c 1107s |      24 |  5241876 |  4700962 |     1048  10123 |        0 |        0
1108.65/1109.17	c 1109s |      24 |  5248998 |  4707462 |     1048  10135 |        0 |        0
1110.66/1111.18	c 1111s |      24 |  5256169 |  4714062 |     1048  10146 |        0 |        0
1112.65/1113.19	c 1113s |      24 |  5264190 |  4721262 |     1048  10159 |        0 |        0
1114.75/1115.20	c 1115s |      24 |  5271774 |  4728262 |     1048  10171 |        0 |        0
1116.75/1117.23	c 1117s |      24 |  5279552 |  4735362 |     1048  10183 |        0 |        0
1118.75/1119.24	c 1119s |      24 |  5287546 |  4742562 |     1048  10196 |        0 |        0
1120.75/1121.24	c 1121s |      24 |  5295832 |  4749862 |     1048  10209 |        0 |        0
1122.76/1123.26	c 1123s |      24 |  5303806 |  4757162 |     1048  10221 |        0 |        0
1124.74/1125.27	c 1125s |      24 |  5312111 |  4764662 |     1048  10234 |        0 |        0
1126.74/1127.27	c 1127s |      24 |  5320433 |  4771962 |     1048  10247 |        0 |        0
1128.74/1129.29	c 1129s |      24 |  5328108 |  4778862 |     1048  10259 |        0 |        0
1130.74/1131.29	c 1131s |      24 |  5336225 |  4786162 |     1048  10272 |        0 |        0
1132.84/1133.32	c 1133s |      24 |  5344379 |  4793462 |     1048  10285 |        0 |        0
1134.84/1135.33	c 1135s |      24 |  5351971 |  4800362 |     1048  10297 |        0 |        0
1136.84/1137.35	c 1137s |      24 |  5359192 |  4806962 |     1048  10308 |        0 |        0
1138.83/1139.36	c 1139s |      24 |  5366510 |  4813562 |     1048  10320 |        0 |        0
1140.83/1141.36	c 1141s |      24 |  5374046 |  4820362 |     1048  10332 |        0 |        0
1142.83/1143.37	c 1143s |      24 |  5381373 |  4826962 |     1048  10343 |        0 |        0
1144.83/1145.38	c 1145s |      24 |  5389016 |  4833762 |     1048  10355 |        0 |        0
1146.84/1147.40	c 1147s |      24 |  5397321 |  4841262 |     1048  10368 |        0 |        0
1148.93/1149.42	c 1149s |      24 |  5405178 |  4848362 |     1048  10381 |        0 |        0
1150.93/1151.45	c 1151s |      24 |  5413203 |  4855662 |     1048  10394 |        0 |        0
1152.93/1153.46	c 1153s |      24 |  5421311 |  4862962 |     1048  10406 |        0 |        0
1154.92/1155.48	c 1155s |      24 |  5429156 |  4870062 |     1048  10419 |        0 |        0
1157.02/1157.50	c 1157s |      24 |  5437450 |  4877562 |     1048  10432 |        0 |        0
1159.03/1159.53	c 1159s |      24 |  5444992 |  4884462 |     1048  10444 |        0 |        0
1161.03/1161.53	c 1161s |      24 |  5452984 |  4891662 |     1048  10457 |        0 |        0
1163.03/1163.53	c 1163s |      24 |  5461138 |  4898962 |     1048  10469 |        0 |        0
1165.02/1165.54	c 1165s |      24 |  5469033 |  4906062 |     1048  10482 |        0 |        0
1167.02/1167.55	c 1167s |      24 |  5476839 |  4913262 |     1048  10494 |        0 |        0
1169.02/1169.57	c 1169s |      24 |  5485430 |  4920862 |     1048  10508 |        0 |        0
1171.03/1171.58	c 1171s |      24 |  5493409 |  4928062 |     1048  10520 |        0 |        0
1173.02/1173.59	c 1173s |      24 |  5501292 |  4935162 |     1048  10533 |        0 |        0
1175.11/1175.61	c 1175s |      24 |  5509378 |  4942362 |     1048  10545 |        0 |        0
1177.11/1177.62	c 1177s |      24 |  5516914 |  4949262 |     1048  10557 |        0 |        0
1179.11/1179.64	c 1179s |      24 |  5524603 |  4956162 |     1048  10569 |        0 |        0
1181.11/1181.67	c 1181s |      24 |  5531906 |  4962862 |     1048  10581 |        0 |        0
1183.12/1183.69	c 1183s |      24 |  5538475 |  4968962 |     1048  10592 |        0 |        0
1185.21/1185.72	c 1185s |      24 |  5546034 |  4975762 |     1048  10604 |        0 |        0
1187.21/1187.74	c 1187s |      24 |  5553921 |  4982862 |     1048  10616 |        0 |        0
1189.21/1189.75	c 1189s |      24 |  5562249 |  4990262 |     1048  10629 |        0 |        0
1191.21/1191.77	c 1191s |      24 |  5570799 |  4997762 |     1048  10642 |        0 |        0
1193.21/1193.78	c 1193s |      24 |  5578632 |  5004862 |     1048  10654 |        0 |        0
1195.21/1195.79	c 1195s |      24 |  5586214 |  5011762 |     1048  10667 |        0 |        0
1197.31/1197.81	c 1197s |      24 |  5593783 |  5018662 |     1048  10679 |        0 |        0
1199.30/1199.82	c 1199s |      24 |  5601122 |  5025462 |     1048  10691 |        0 |        0
1201.30/1201.85	c 1201s |      24 |  5608396 |  5032162 |     1153  10702 |        0 |        0
1203.30/1203.87	c 1203s |      24 |  5615585 |  5038662 |     1153  10712 |        0 |        0
1205.30/1205.87	c 1205s |      24 |  5622867 |  5045362 |     1153  10723 |        0 |        0
1207.31/1207.89	c 1207s |      24 |  5630622 |  5052562 |     1153  10734 |        0 |        0
1209.40/1209.90	c 1209s |      24 |  5638114 |  5059462 |     1153  10745 |        0 |        0
1211.00/1211.59	c 1211s |      25 |  5644239 |  5065098 |     1153  10754 |        0 |        0
1213.10/1213.60	c 1213s |      25 |  5652493 |  5072798 |     1153  10766 |        0 |        0
1215.11/1215.62	c 1215s |      25 |  5660250 |  5080098 |     1153  10778 |        0 |        0
1217.10/1217.63	c 1217s |      25 |  5667852 |  5087298 |     1153  10789 |        0 |        0
1219.10/1219.66	c 1219s |      25 |  5675627 |  5094498 |     1153  10800 |        0 |        0
1221.10/1221.66	c 1221s |      25 |  5682807 |  5101198 |     1153  10811 |        0 |        0
1223.10/1223.67	c 1223s |      25 |  5689844 |  5107798 |     1153  10821 |        0 |        0
1225.10/1225.69	c 1225s |      25 |  5698208 |  5115498 |     1153  10833 |        0 |        0
1227.20/1227.70	c 1227s |      25 |  5706428 |  5123098 |     1153  10845 |        0 |        0
1229.19/1229.72	c 1229s |      25 |  5714510 |  5130498 |     1153  10857 |        0 |        0
1231.19/1231.74	c 1231s |      25 |  5722363 |  5137698 |     1153  10868 |        0 |        0
1233.19/1233.76	c 1233s |      25 |  5729928 |  5144598 |     1153  10879 |        0 |        0
1235.30/1235.80	c 1235s |      25 |  5737782 |  5151698 |     1153  10891 |        0 |        0
1237.30/1237.83	c 1237s |      25 |  5745591 |  5158598 |     1153  10901 |        0 |        0
1239.31/1239.83	c 1239s |      25 |  5753120 |  5165498 |     1153  10912 |        0 |        0
1241.30/1241.85	c 1241s |      25 |  5760314 |  5172098 |     1153  10923 |        0 |        0
1243.30/1243.86	c 1243s |      25 |  5768050 |  5179098 |     1153  10934 |        0 |        0
1245.30/1245.88	c 1245s |      25 |  5775514 |  5185998 |     1153  10945 |        0 |        0
1247.40/1247.90	c 1247s |      25 |  5783362 |  5193298 |     1153  10956 |        0 |        0
1249.40/1249.91	c 1249s |      25 |  5790751 |  5200198 |     1153  10967 |        0 |        0
1251.40/1251.93	c 1251s |      25 |  5798710 |  5207498 |     1153  10979 |        0 |        0
1253.40/1253.95	c 1253s |      25 |  5806599 |  5214698 |     1153  10990 |        0 |        0
1255.40/1255.96	c 1255s |      25 |  5814065 |  5221498 |     1153  11001 |        0 |        0
1257.40/1257.96	c 1257s |      25 |  5820938 |  5227898 |     1153  11011 |        0 |        0
1259.40/1259.98	c 1259s |      25 |  5827979 |  5234398 |     1153  11022 |        0 |        0
1261.40/1262.00	c 1261s |      25 |  5835102 |  5240998 |     1153  11032 |        0 |        0
1263.50/1264.01	c 1263s |      25 |  5842392 |  5247798 |     1153  11043 |        0 |        0
1265.49/1266.03	c 1266s |      25 |  5849109 |  5254098 |     1153  11053 |        0 |        0
1267.49/1268.04	c 1268s |      25 |  5855434 |  5260098 |     1153  11062 |        0 |        0
1269.49/1270.06	c 1270s |      25 |  5862145 |  5266398 |     1153  11072 |        0 |        0
1271.49/1272.07	c 1272s |      25 |  5868961 |  5272798 |     1153  11082 |        0 |        0
1273.49/1274.09	c 1274s |      25 |  5875221 |  5278698 |     1153  11092 |        0 |        0
1275.50/1276.10	c 1276s |      25 |  5882009 |  5284998 |     1153  11102 |        0 |        0
1277.59/1278.11	c 1278s |      25 |  5889187 |  5291598 |     1153  11112 |        0 |        0
1279.59/1280.15	c 1280s |      25 |  5896442 |  5298198 |     1153  11123 |        0 |        0
1281.59/1282.17	c 1282s |      25 |  5903044 |  5304398 |     1153  11132 |        0 |        0
1283.69/1284.20	c 1284s |      25 |  5910227 |  5311098 |     1153  11143 |        0 |        0
1285.69/1286.21	c 1286s |      25 |  5917012 |  5317398 |     1153  11153 |        0 |        0
1287.70/1288.22	c 1288s |      25 |  5923384 |  5323298 |     1153  11162 |        0 |        0
1289.69/1290.24	c 1290s |      25 |  5929928 |  5329398 |     1153  11172 |        0 |        0
1291.69/1292.26	c 1292s |      25 |  5936568 |  5335598 |     1153  11182 |        0 |        0
1293.69/1294.28	c 1294s |      25 |  5942979 |  5341598 |     1153  11191 |        0 |        0
1295.69/1296.29	c 1296s |      25 |  5948863 |  5347098 |     1153  11200 |        0 |        0
1297.79/1298.31	c 1298s |      25 |  5955330 |  5353098 |     1153  11210 |        0 |        0
1299.79/1300.35	c 1300s |      25 |  5961486 |  5358798 |     1153  11219 |        0 |        0
1301.79/1302.37	c 1302s |      25 |  5968370 |  5365298 |     1153  11229 |        0 |        0
1303.79/1304.38	c 1304s |      25 |  5975495 |  5371998 |     1153  11239 |        0 |        0
1305.88/1306.41	c 1306s |      25 |  5982215 |  5378298 |     1153  11249 |        0 |        0
1307.88/1308.43	c 1308s |      25 |  5988860 |  5384498 |     1153  11259 |        0 |        0
1309.88/1310.44	c 1310s |      25 |  5995598 |  5390798 |     1153  11269 |        0 |        0
1311.89/1312.46	c 1312s |      25 |  6002035 |  5396898 |     1153  11279 |        0 |        0
1313.88/1314.50	c 1314s |      25 |  6008547 |  5402998 |     1153  11289 |        0 |        0
1315.98/1316.50	c 1316s |      25 |  6015456 |  5409198 |     1153  11298 |        0 |        0
1317.98/1318.51	c 1318s |      25 |  6021839 |  5415198 |     1153  11308 |        0 |        0
1319.98/1320.53	c 1320s |      25 |  6029254 |  5421998 |     1153  11319 |        0 |        0
1321.98/1322.54	c 1322s |      25 |  6036259 |  5428498 |     1153  11329 |        0 |        0
1323.99/1324.55	c 1324s |      25 |  6042832 |  5434598 |     1153  11339 |        0 |        0
1325.98/1326.59	c 1326s |      25 |  6049480 |  5440798 |     1153  11348 |        0 |        0
1328.08/1328.60	c 1328s |      25 |  6056107 |  5446998 |     1153  11358 |        0 |        0
1330.08/1330.62	c 1330s |      25 |  6062636 |  5452998 |     1153  11368 |        0 |        0
1332.08/1332.63	c 1332s |      25 |  6070168 |  5459898 |     1153  11379 |        0 |        0
1334.09/1334.66	c 1334s |      25 |  6077476 |  5466698 |     1153  11389 |        0 |        0
1336.09/1336.69	c 1336s |      25 |  6083838 |  5472698 |     1153  11399 |        0 |        0
1338.08/1338.70	c 1338s |      25 |  6090566 |  5478998 |     1153  11409 |        0 |        0
1340.18/1340.73	c 1340s |      25 |  6097274 |  5485098 |     1153  11419 |        0 |        0
1342.18/1342.76	c 1342s |      25 |  6103594 |  5490998 |     1153  11428 |        0 |        0
1344.18/1344.78	c 1344s |      25 |  6110097 |  5497098 |     1153  11437 |        0 |        0
1346.28/1346.80	c 1346s |      25 |  6117463 |  5503598 |     1153  11448 |        0 |        0
1348.28/1348.83	c 1348s |      25 |  6123952 |  5509598 |     1153  11457 |        0 |        0
1350.29/1350.84	c 1350s |      25 |  6130771 |  5515898 |     1153  11467 |        0 |        0
1352.28/1352.85	c 1352s |      25 |  6137964 |  5522498 |     1153  11478 |        0 |        0
1354.28/1354.86	c 1354s |      25 |  6145079 |  5528998 |     1153  11488 |        0 |        0
1356.28/1356.88	c 1356s |      25 |  6151933 |  5535298 |     1153  11498 |        0 |        0
1358.28/1358.88	c 1358s |      25 |  6158829 |  5541598 |     1153  11508 |        0 |        0
1360.28/1360.89	c 1360s |      25 |  6165664 |  5547898 |     1153  11518 |        0 |        0
1362.28/1362.90	c 1362s |      25 |  6172381 |  5554098 |     1153  11528 |        0 |        0
1364.38/1364.92	c 1364s |      25 |  6179428 |  5560698 |     1153  11538 |        0 |        0
1366.38/1366.94	c 1366s |      25 |  6185966 |  5566798 |     1153  11548 |        0 |        0
1368.38/1368.95	c 1368s |      25 |  6191943 |  5572398 |     1153  11557 |        0 |        0
1370.38/1370.97	c 1370s |      25 |  6197787 |  5577898 |     1153  11566 |        0 |        0
1372.38/1372.98	c 1372s |      25 |  6204010 |  5583698 |     1153  11575 |        0 |        0
1374.48/1375.01	c 1374s |      25 |  6210427 |  5589698 |     1153  11584 |        0 |        0
1376.47/1377.03	c 1377s |      25 |  6217651 |  5596198 |     1153  11595 |        0 |        0
1378.47/1379.05	c 1379s |      25 |  6224238 |  5602298 |     1153  11604 |        0 |        0
1380.47/1381.05	c 1381s |      25 |  6230395 |  5607998 |     1153  11613 |        0 |        0
1382.47/1383.07	c 1383s |      25 |  6237085 |  5614198 |     1153  11623 |        0 |        0
1384.48/1385.08	c 1385s |      25 |  6244517 |  5621098 |     1153  11634 |        0 |        0
1386.47/1387.10	c 1387s |      25 |  6251982 |  5627898 |     1153  11645 |        0 |        0
1388.57/1389.13	c 1389s |      25 |  6259236 |  5634598 |     1153  11655 |        0 |        0
1390.58/1391.16	c 1391s |      25 |  6266802 |  5641598 |     1153  11666 |        0 |        0
1392.58/1393.19	c 1393s |      25 |  6273834 |  5648098 |     1153  11676 |        0 |        0
1394.68/1395.22	c 1395s |      25 |  6280169 |  5653998 |     1153  11686 |        0 |        0
1396.68/1397.25	c 1397s |      25 |  6286630 |  5659998 |     1153  11695 |        0 |        0
1398.68/1399.26	c 1399s |      25 |  6292795 |  5665798 |     1153  11704 |        0 |        0
1400.68/1401.27	c 1401s |      25 |  6299841 |  5672298 |     1153  11715 |        0 |        0
1402.67/1403.28	c 1403s |      25 |  6306264 |  5678298 |     1153  11724 |        0 |        0
1404.77/1405.30	c 1405s |      25 |  6313173 |  5684598 |     1153  11734 |        0 |        0
1406.77/1407.30	c 1407s |      25 |  6319744 |  5690498 |     1153  11743 |        0 |        0
1408.77/1409.32	c 1409s |      25 |  6326875 |  5696998 |     1153  11754 |        0 |        0
1410.78/1411.34	c 1411s |      25 |  6333947 |  5703498 |     1153  11764 |        0 |        0
1412.77/1413.34	c 1413s |      25 |  6340533 |  5709598 |     1153  11773 |        0 |        0
1414.77/1415.36	c 1415s |      25 |  6346459 |  5715198 |     1153  11782 |        0 |        0
1416.77/1417.37	c 1417s |      25 |  6352034 |  5720398 |     1153  11791 |        0 |        0
1418.87/1419.41	c 1419s |      25 |  6357849 |  5725898 |     1153  11799 |        0 |        0
1420.87/1421.42	c 1421s |      25 |  6363487 |  5731198 |     1153  11808 |        0 |        0
1422.88/1423.43	c 1423s |      25 |  6370703 |  5737898 |     1153  11818 |        0 |        0
1424.87/1425.44	c 1425s |      25 |  6377253 |  5744098 |     1153  11828 |        0 |        0
1426.87/1427.47	c 1427s |      25 |  6383875 |  5750298 |     1153  11838 |        0 |        0
1428.97/1429.50	c 1429s |      25 |  6390033 |  5756098 |     1153  11847 |        0 |        0
1430.97/1431.50	c 1431s |      25 |  6396212 |  5761898 |     1153  11856 |        0 |        0
1432.97/1433.51	c 1433s |      25 |  6402265 |  5767498 |     1153  11865 |        0 |        0
1434.97/1435.52	c 1435s |      25 |  6408206 |  5772998 |     1153  11874 |        0 |        0
1436.97/1437.54	c 1437s |      25 |  6414682 |  5778998 |     1153  11883 |        0 |        0
1438.97/1439.57	c 1439s |      25 |  6421086 |  5784898 |     1153  11892 |        0 |        0
1440.97/1441.59	c 1441s |      25 |  6428221 |  5791498 |     1153  11903 |        0 |        0
1443.06/1443.61	c 1443s |      25 |  6434923 |  5797798 |     1153  11913 |        0 |        0
1445.06/1445.62	c 1445s |      25 |  6441691 |  5804198 |     1153  11923 |        0 |        0
1447.07/1447.64	c 1447s |      25 |  6448007 |  5810098 |     1153  11932 |        0 |        0
1449.06/1449.65	c 1449s |      25 |  6454548 |  5816098 |     1153  11942 |        0 |        0
1451.06/1451.66	c 1451s |      25 |  6461487 |  5822498 |     1153  11952 |        0 |        0
1453.06/1453.66	c 1453s |      25 |  6467955 |  5828398 |     1153  11961 |        0 |        0
1455.06/1455.66	c 1455s |      25 |  6474554 |  5834398 |     1153  11971 |        0 |        0
1457.07/1457.68	c 1457s |      25 |  6481272 |  5840598 |     1153  11981 |        0 |        0
1459.06/1459.69	c 1459s |      25 |  6488428 |  5847098 |     1153  11991 |        0 |        0
1461.06/1461.69	c 1461s |      25 |  6494565 |  5852798 |     1153  12000 |        0 |        0
1463.16/1463.72	c 1463s |      25 |  6501307 |  5858898 |     1153  12009 |        0 |        0
1465.16/1465.73	c 1465s |      25 |  6507320 |  5864498 |     1153  12018 |        0 |        0
1467.16/1467.74	c 1467s |      25 |  6513744 |  5870398 |     1153  12028 |        0 |        0
1469.16/1469.76	c 1469s |      25 |  6520743 |  5876798 |     1153  12038 |        0 |        0
1471.16/1471.77	c 1471s |      25 |  6527289 |  5882798 |     1153  12047 |        0 |        0
1473.16/1473.79	c 1473s |      25 |  6534108 |  5888998 |     1153  12057 |        0 |        0
1475.26/1475.81	c 1475s |      25 |  6540445 |  5894898 |     1153  12066 |        0 |        0
1477.26/1477.82	c 1477s |      25 |  6546239 |  5900298 |     1153  12075 |        0 |        0
1479.26/1479.82	c 1479s |      25 |  6552580 |  5906198 |     1153  12084 |        0 |        0
1481.27/1481.85	c 1481s |      25 |  6560402 |  5913398 |     1153  12095 |        0 |        0
1483.26/1483.86	c 1483s |      25 |  6567914 |  5920198 |     1153  12106 |        0 |        0
1485.26/1485.87	c 1485s |      25 |  6574809 |  5926598 |     1153  12116 |        0 |        0
1487.26/1487.89	c 1487s |      25 |  6581988 |  5933198 |     1153  12127 |        0 |        0
1489.36/1489.90	c 1489s |      25 |  6589902 |  5940198 |     1153  12138 |        0 |        0
1491.36/1491.91	c 1491s |      25 |  6597373 |  5946898 |     1153  12149 |        0 |        0
1493.37/1493.93	c 1493s |      25 |  6603605 |  5952698 |     1153  12158 |        0 |        0
1495.36/1495.95	c 1495s |      25 |  6610407 |  5958898 |     1153  12167 |        0 |        0
1497.36/1497.95	c 1497s |      25 |  6617286 |  5965298 |     1153  12178 |        0 |        0
1499.36/1499.95	c 1499s |      25 |  6623832 |  5971398 |     1153  12187 |        0 |        0
1501.36/1501.97	c 1501s |      25 |  6630897 |  5977998 |     1153  12198 |        0 |        0
1503.36/1503.99	c 1503s |      25 |  6637468 |  5984198 |     1153  12207 |        0 |        0
1505.46/1506.01	c 1505s |      25 |  6644403 |  5990598 |     1153  12218 |        0 |        0
1507.45/1508.03	c 1508s |      25 |  6651526 |  5997098 |     1153  12228 |        0 |        0
1509.45/1510.05	c 1510s |      25 |  6658097 |  6003198 |     1153  12238 |        0 |        0
1511.45/1512.08	c 1512s |      25 |  6664231 |  6008898 |     1153  12247 |        0 |        0
1513.45/1514.09	c 1514s |      25 |  6672094 |  6016098 |     1153  12258 |        0 |        0
1515.55/1516.12	c 1516s |      25 |  6679366 |  6022698 |     1153  12268 |        0 |        0
1517.56/1518.14	c 1518s |      25 |  6686931 |  6029698 |     1153  12279 |        0 |        0
1519.55/1520.15	c 1520s |      25 |  6694040 |  6036298 |     1153  12290 |        0 |        0
1521.55/1522.16	c 1522s |      25 |  6700854 |  6042598 |     1153  12300 |        0 |        0
1523.55/1524.16	c 1524s |      25 |  6708080 |  6049198 |     1153  12310 |        0 |        0
1525.55/1526.19	c 1526s |      25 |  6714593 |  6055198 |     1153  12320 |        0 |        0
1527.55/1528.19	c 1528s |      25 |  6721598 |  6061598 |     1153  12330 |        0 |        0
1529.56/1530.20	c 1530s |      25 |  6728475 |  6067798 |     1153  12340 |        0 |        0
1531.65/1532.22	c 1532s |      25 |  6734722 |  6073598 |     1153  12349 |        0 |        0
1533.65/1534.23	c 1534s |      25 |  6740693 |  6078998 |     1153  12357 |        0 |        0
1535.65/1536.26	c 1536s |      25 |  6748319 |  6085998 |     1153  12368 |        0 |        0
1537.65/1538.27	c 1538s |      25 |  6755504 |  6092598 |     1153  12379 |        0 |        0
1539.65/1540.29	c 1540s |      25 |  6763299 |  6099598 |     1153  12390 |        0 |        0
1541.75/1542.31	c 1542s |      25 |  6770319 |  6106098 |     1153  12400 |        0 |        0
1543.75/1544.31	c 1544s |      25 |  6777655 |  6112798 |     1153  12410 |        0 |        0
1545.75/1546.32	c 1546s |      25 |  6785218 |  6119698 |     1153  12421 |        0 |        0
1547.74/1548.32	c 1548s |      25 |  6792423 |  6126298 |     1153  12432 |        0 |        0
1549.74/1550.33	c 1550s |      25 |  6799319 |  6132698 |     1153  12442 |        0 |        0
1551.74/1552.34	c 1552s |      25 |  6806639 |  6139498 |     1153  12452 |        0 |        0
1553.75/1554.35	c 1554s |      25 |  6814069 |  6146198 |     1153  12463 |        0 |        0
1555.75/1556.35	c 1556s |      25 |  6820485 |  6152098 |     1153  12472 |        0 |        0
1557.75/1558.37	c 1558s |      25 |  6827648 |  6158698 |     1153  12483 |        0 |        0
1559.75/1560.37	c 1560s |      25 |  6834503 |  6164998 |     1153  12493 |        0 |        0
1561.75/1562.38	c 1562s |      25 |  6841240 |  6171098 |     1153  12502 |        0 |        0
1563.75/1564.39	c 1564s |      25 |  6847589 |  6176898 |     1153  12511 |        0 |        0
1565.85/1566.43	c 1566s |      25 |  6854370 |  6183198 |     1153  12521 |        0 |        0
1567.85/1568.44	c 1568s |      25 |  6861162 |  6189498 |     1153  12531 |        0 |        0
1569.85/1570.46	c 1570s |      25 |  6867243 |  6195098 |     1153  12540 |        0 |        0
1571.85/1572.49	c 1572s |      25 |  6873969 |  6201298 |     1153  12550 |        0 |        0
1573.94/1574.52	c 1574s |      25 |  6880604 |  6207398 |     1153  12560 |        0 |        0
1575.94/1576.53	c 1576s |      25 |  6886752 |  6213198 |     1153  12569 |        0 |        0
1577.95/1578.55	c 1578s |      25 |  6893149 |  6219098 |     1153  12578 |        0 |        0
1579.94/1580.55	c 1580s |      25 |  6899676 |  6225098 |     1153  12587 |        0 |        0
1581.94/1582.57	c 1582s |      25 |  6906873 |  6231698 |     1153  12598 |        0 |        0
1583.94/1584.59	c 1584s |      25 |  6913661 |  6238098 |     1153  12608 |        0 |        0
1586.04/1586.60	c 1586s |      25 |  6921621 |  6245398 |     1153  12619 |        0 |        0
1588.04/1588.61	c 1588s |      25 |  6929024 |  6252298 |     1153  12630 |        0 |        0
1590.05/1590.61	c 1590s |      25 |  6936638 |  6259198 |     1153  12641 |        0 |        0
1592.04/1592.62	c 1592s |      25 |  6944203 |  6265998 |     1153  12652 |        0 |        0
1594.04/1594.62	c 1594s |      25 |  6951501 |  6272798 |     1153  12663 |        0 |        0
1596.04/1596.63	c 1596s |      25 |  6958804 |  6279598 |     1153  12673 |        0 |        0
1598.04/1598.64	c 1598s |      25 |  6966830 |  6286898 |     1153  12685 |        0 |        0
1600.04/1600.65	c 1600s |      25 |  6974416 |  6293798 |     1153  12696 |        0 |        0
1602.04/1602.66	c 1602s |      25 |  6981551 |  6300398 |     1153  12706 |        0 |        0
1604.04/1604.66	c 1604s |      25 |  6988786 |  6307098 |     1153  12717 |        0 |        0
1606.03/1606.68	c 1606s |      25 |  6995766 |  6313498 |     1153  12727 |        0 |        0
1608.03/1608.69	c 1608s |      25 |  7002960 |  6320098 |     1153  12737 |        0 |        0
1610.13/1610.71	c 1610s |      25 |  7009267 |  6325998 |     1153  12747 |        0 |        0
1612.14/1612.72	c 1612s |      25 |  7016132 |  6332498 |     1153  12757 |        0 |        0
1614.13/1614.73	c 1614s |      25 |  7022644 |  6338698 |     1153  12767 |        0 |        0
1616.13/1616.76	c 1616s |      25 |  7028683 |  6344398 |     1153  12776 |        0 |        0
1618.13/1618.78	c 1618s |      25 |  7034967 |  6350198 |     1153  12785 |        0 |        0
1620.13/1620.79	c 1620s |      25 |  7041201 |  6356098 |     1153  12794 |        0 |        0
1622.23/1622.81	c 1622s |      25 |  7047789 |  6362198 |     1153  12804 |        0 |        0
1624.25/1624.84	c 1624s |      25 |  7054240 |  6368198 |     1153  12814 |        0 |        0
1626.24/1626.84	c 1626s |      25 |  7060626 |  6373998 |     1153  12823 |        0 |        0
1628.24/1628.85	c 1628s |      25 |  7067384 |  6380298 |     1153  12833 |        0 |        0
1630.24/1630.88	c 1630s |      25 |  7073915 |  6386398 |     1153  12842 |        0 |        0
1632.24/1632.88	c 1632s |      25 |  7080731 |  6392598 |     1153  12852 |        0 |        0
1634.34/1634.93	c 1634s |      25 |  7087181 |  6398498 |     1153  12862 |        0 |        0
1636.34/1636.95	c 1636s |      25 |  7094285 |  6405098 |     1153  12872 |        0 |        0
1638.34/1638.96	c 1638s |      25 |  7101115 |  6411498 |     1153  12882 |        0 |        0
1640.34/1641.00	c 1640s |      25 |  7108104 |  6417998 |     1153  12892 |        0 |        0
1642.44/1643.01	c 1642s |      25 |  7114835 |  6424198 |     1153  12902 |        0 |        0
1644.44/1645.04	c 1645s |      25 |  7121365 |  6430198 |     1153  12912 |        0 |        0
1646.44/1647.07	c 1647s |      25 |  7127613 |  6435998 |     1153  12921 |        0 |        0
1648.54/1649.10	c 1649s |      25 |  7133773 |  6441698 |     1153  12930 |        0 |        0
1650.54/1651.12	c 1651s |      25 |  7140037 |  6447398 |     1153  12939 |        0 |        0
1652.53/1653.13	c 1653s |      25 |  7145928 |  6452898 |     1153  12948 |        0 |        0
1654.53/1655.16	c 1655s |      25 |  7152550 |  6458998 |     1153  12957 |        0 |        0
1656.53/1657.16	c 1657s |      25 |  7158482 |  6464498 |     1153  12966 |        0 |        0
1658.53/1659.17	c 1659s |      25 |  7164474 |  6470098 |     1153  12975 |        0 |        0
1660.63/1661.20	c 1661s |      25 |  7170360 |  6475598 |     1153  12984 |        0 |        0
1662.64/1663.22	c 1663s |      25 |  7176035 |  6480898 |     1153  12992 |        0 |        0
1664.63/1665.25	c 1665s |      25 |  7182546 |  6486998 |     1153  13002 |        0 |        0
1666.63/1667.26	c 1667s |      25 |  7189302 |  6493198 |     1153  13011 |        0 |        0
1668.63/1669.28	c 1669s |      25 |  7195776 |  6499098 |     1153  13021 |        0 |        0
1670.63/1671.29	c 1671s |      25 |  7201846 |  6504598 |     1153  13029 |        0 |        0
1672.72/1673.32	c 1673s |      25 |  7207821 |  6510098 |     1153  13038 |        0 |        0
1674.73/1675.33	c 1675s |      25 |  7213229 |  6515198 |     1153  13046 |        0 |        0
1676.72/1677.34	c 1677s |      25 |  7220771 |  6522098 |     1153  13057 |        0 |        0
1678.72/1679.36	c 1679s |      25 |  7227868 |  6528698 |     1153  13067 |        0 |        0
1680.73/1681.38	c 1681s |      25 |  7235437 |  6535498 |     1153  13078 |        0 |        0
1682.83/1683.40	c 1683s |      25 |  7242390 |  6541798 |     1153  13088 |        0 |        0
1684.83/1685.43	c 1685s |      25 |  7249299 |  6548198 |     1153  13098 |        0 |        0
1686.84/1687.43	c 1687s |      25 |  7256022 |  6554298 |     1153  13108 |        0 |        0
1688.83/1689.47	c 1689s |      25 |  7262650 |  6560298 |     1153  13117 |        0 |        0
1690.83/1691.47	c 1691s |      25 |  7268790 |  6565998 |     1153  13126 |        0 |        0
1692.83/1693.50	c 1693s |      25 |  7275389 |  6572098 |     1153  13136 |        0 |        0
1694.93/1695.50	c 1695s |      25 |  7281679 |  6577898 |     1153  13145 |        0 |        0
1696.93/1697.52	c 1697s |      25 |  7288368 |  6584098 |     1153  13155 |        0 |        0
1698.93/1699.53	c 1699s |      25 |  7295336 |  6590598 |     1153  13165 |        0 |        0
1700.93/1701.55	c 1701s |      25 |  7301766 |  6596598 |     1153  13175 |        0 |        0
1702.93/1703.58	c 1703s |      25 |  7308834 |  6603198 |     1153  13185 |        0 |        0
1705.03/1705.60	c 1705s |      25 |  7316103 |  6609798 |     1153  13196 |        0 |        0
1707.03/1707.62	c 1707s |      25 |  7322757 |  6615898 |     1153  13205 |        0 |        0
1709.03/1709.63	c 1709s |      25 |  7329276 |  6621898 |     1153  13215 |        0 |        0
1711.03/1711.64	c 1711s |      25 |  7335744 |  6627798 |     1153  13224 |        0 |        0
1713.02/1713.66	c 1713s |      25 |  7343649 |  6634998 |     1153  13236 |        0 |        0
1715.02/1715.67	c 1715s |      25 |  7350619 |  6641398 |     1153  13246 |        0 |        0
1717.12/1717.70	c 1717s |      25 |  7357743 |  6647898 |     1153  13256 |        0 |        0
1719.12/1719.72	c 1719s |      25 |  7364694 |  6654398 |     1153  13266 |        0 |        0
1721.12/1721.73	c 1721s |      25 |  7370722 |  6660098 |     1153  13275 |        0 |        0
1723.13/1723.76	c 1723s |      25 |  7377673 |  6666598 |     1153  13285 |        0 |        0
1725.12/1725.79	c 1725s |      25 |  7384247 |  6672498 |     1153  13295 |        0 |        0
1727.22/1727.81	c 1727s |      25 |  7390452 |  6678298 |     1153  13304 |        0 |        0
1729.22/1729.83	c 1729s |      25 |  7396300 |  6683798 |     1153  13313 |        0 |        0
1731.22/1731.84	c 1731s |      25 |  7402087 |  6689298 |     1153  13321 |        0 |        0
1733.22/1733.86	c 1733s |      25 |  7408403 |  6695198 |     1153  13330 |        0 |        0
1735.22/1735.87	c 1735s |      25 |  7414452 |  6700898 |     1153  13339 |        0 |        0
1737.32/1737.90	c 1737s |      25 |  7420622 |  6706698 |     1153  13348 |        0 |        0
1739.32/1739.92	c 1739s |      25 |  7426739 |  6712298 |     1153  13357 |        0 |        0
1741.32/1741.94	c 1741s |      25 |  7433497 |  6718498 |     1153  13367 |        0 |        0
1743.32/1743.95	c 1743s |      25 |  7440478 |  6724898 |     1153  13377 |        0 |        0
1745.31/1745.98	c 1745s |      25 |  7446981 |  6730998 |     1153  13387 |        0 |        0
1747.32/1747.99	c 1747s |      25 |  7453035 |  6736498 |     1153  13396 |        0 |        0
1749.41/1750.01	c 1749s |      25 |  7459182 |  6742298 |     1153  13405 |        0 |        0
1751.41/1752.03	c 1752s |      25 |  7465165 |  6747898 |     1153  13413 |        0 |        0
1753.41/1754.07	c 1754s |      25 |  7470764 |  6753198 |     1153  13422 |        0 |        0
1755.51/1756.11	c 1756s |      25 |  7476230 |  6758398 |     1153  13430 |        0 |        0
1757.51/1758.13	c 1758s |      25 |  7481887 |  6763698 |     1153  13438 |        0 |        0
1759.52/1760.16	c 1760s |      25 |  7487962 |  6769398 |     1153  13447 |        0 |        0
1761.51/1762.17	c 1762s |      25 |  7493210 |  6774398 |     1153  13455 |        0 |        0
1763.51/1764.19	c 1764s |      25 |  7498683 |  6779598 |     1153  13463 |        0 |        0
1765.51/1766.19	c 1766s |      25 |  7504735 |  6785298 |     1153  13472 |        0 |        0
1767.62/1768.20	c 1768s |      25 |  7510430 |  6790698 |     1153  13481 |        0 |        0
1769.62/1770.21	c 1770s |      25 |  7516613 |  6796498 |     1153  13490 |        0 |        0
1771.62/1772.23	c 1772s |      25 |  7523836 |  6803198 |     1153  13501 |        0 |        0
1773.62/1774.25	c 1774s |      25 |  7530674 |  6809598 |     1153  13511 |        0 |        0
1775.62/1776.29	c 1776s |      25 |  7537278 |  6815798 |     1153  13521 |        0 |        0
1777.72/1778.30	c 1778s |      25 |  7544293 |  6822398 |     1153  13531 |        0 |        0
1779.72/1780.32	c 1780s |      25 |  7551237 |  6828998 |     1153  13541 |        0 |        0
1781.72/1782.34	c 1782s |      25 |  7557867 |  6835298 |     1153  13551 |        0 |        0
1783.72/1784.36	c 1784s |      25 |  7564360 |  6841398 |     1153  13561 |        0 |        0
1785.72/1786.38	c 1786s |      25 |  7571216 |  6847798 |     1153  13571 |        0 |        0
1787.72/1788.39	c 1788s |      25 |  7578253 |  6854298 |     1153  13581 |        0 |        0
1789.81/1790.42	c 1790s |      25 |  7585098 |  6860698 |     1153  13592 |        0 |        0
1791.81/1792.44	c 1792s |      25 |  7591911 |  6866998 |     1153  13602 |        0 |        0
1793.81/1794.45	c 1794s |      25 |  7599300 |  6873798 |     1153  13612 |        0 |        0
1795.82/1796.46	c 1796s |      25 |  7605704 |  6879798 |     1153  13622 |        0 |        0
1797.81/1798.47	c 1798s |      25 |  7613546 |  6886798 |     1153  13633 |        0 |        0
1799.81/1800.48	c 1800s |      25 |  7621256 |  6893598 |     1153  13644 |        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-4090044-1466037210/watcher-4090044-1466037210 -o /tmp/evaluation-result-4090044-1466037210/solver-4090044-1466037210 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466033607-11971 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4090044-1466037210.opb 

pid=12454
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.20 2.20 2.18 3/179 12457
/proc/meminfo: memFree=29333884/32872528 swapFree=1401752/1579580
[pid=12457] ppid=12454 vsize=751036 CPUtime=0 cores=1,3,5,7
/proc/12457/stat : 12457 (toysat) R 12454 12457 5813 0 -1 4202496 2809 0 0 0 0 0 0 0 20 0 4 0 5766691 769060864 2658 33554432000 4194304 16246674 140737163575312 140737163574736 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12457/statm: 188527 2666 441 2943 0 185421 0
[pid=12457/tid=12458] ppid=12454 vsize=769468 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12458/stat : 12458 (toysat) S 12454 12457 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5766691 787935232 2727 33554432000 4194304 16246674 140737163575312 140533056908528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12457/tid=12459] ppid=12454 vsize=773564 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12459/stat : 12459 (toysat) S 12454 12457 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5766691 792129536 2746 33554432000 4194304 16246674 140737163575312 140533046418672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12457/tid=12460] ppid=12454 vsize=777660 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12460/stat : 12460 (toysat) S 12454 12457 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5766691 796323840 2762 33554432000 4194304 16246674 140737163575312 140533035945136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100157 s]
/proc/loadavg: 2.20 2.20 2.18 3/179 12457
/proc/meminfo: memFree=29333884/32872528 swapFree=1401752/1579580
[pid=12457] ppid=12454 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/12457/stat : 12457 (toysat) R 12454 12457 5813 0 -1 4202496 29863 0 0 0 5 4 0 0 20 0 4 0 5766691 1247350784 29702 33554432000 4194304 16246674 140737163575312 140737163574736 5668673 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12457/statm: 304529 29711 715 2943 0 301423 0
[pid=12457/tid=12458] ppid=12454 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12458/stat : 12458 (toysat) S 12454 12457 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5766691 1247350784 29718 33554432000 4194304 16246674 140737163575312 140533056908528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12457/tid=12459] ppid=12454 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12459/stat : 12459 (toysat) S 12454 12457 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5766691 1247350784 29728 33554432000 4194304 16246674 140737163575312 140533046418672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12457/tid=12460] ppid=12454 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12460/stat : 12460 (toysat) S 12454 12457 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5766691 1247350784 29738 33554432000 4194304 16246674 140737163575312 140533035945136 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.200524 s]
/proc/loadavg: 2.20 2.20 2.18 3/179 12457
/proc/meminfo: memFree=29333884/32872528 swapFree=1401752/1579580
[pid=12457] ppid=12454 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/12457/stat : 12457 (toysat) R 12454 12457 5813 0 -1 4202496 57945 0 0 0 10 9 0 0 20 0 4 0 5766691 1247350784 57783 33554432000 4194304 16246674 140737163575312 140737163574736 5675010 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12457/statm: 304529 57793 715 2943 0 301423 0
[pid=12457/tid=12458] ppid=12454 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12458/stat : 12458 (toysat) S 12454 12457 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5766691 1247350784 57806 33554432000 4194304 16246674 140737163575312 140533056908528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12457/tid=12459] ppid=12454 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12459/stat : 12459 (toysat) S 12454 12457 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5766691 1247350784 57814 33554432000 4194304 16246674 140737163575312 140533046418672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12457/tid=12460] ppid=12454 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12460/stat : 12460 (toysat) S 12454 12457 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5766691 1247350784 57821 33554432000 4194304 16246674 140737163575312 140533035945136 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.300507 s]
/proc/loadavg: 2.20 2.20 2.18 3/179 12457
/proc/meminfo: memFree=29333884/32872528 swapFree=1401752/1579580
[pid=12457] ppid=12454 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/12457/stat : 12457 (toysat) R 12454 12457 5813 0 -1 4202496 86136 0 0 0 17 12 0 0 20 0 4 0 5766691 1247350784 85976 33554432000 4194304 16246674 140737163575312 140737163574736 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12457/statm: 304529 85989 715 2943 0 301423 0
[pid=12457/tid=12458] ppid=12454 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12458/stat : 12458 (toysat) S 12454 12457 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5766691 1247350784 85995 33554432000 4194304 16246674 140737163575312 140533056908528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12457/tid=12459] ppid=12454 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12459/stat : 12459 (toysat) S 12454 12457 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5766691 1247350784 86000 33554432000 4194304 16246674 140737163575312 140533046418672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12457/tid=12460] ppid=12454 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12460/stat : 12460 (toysat) S 12454 12457 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5766691 1247350784 86007 33554432000 4194304 16246674 140737163575312 140533035945136 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.700373 s]
/proc/loadavg: 2.20 2.20 2.18 3/179 12457
/proc/meminfo: memFree=29333884/32872528 swapFree=1401752/1579580
[pid=12457] ppid=12454 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/12457/stat : 12457 (toysat) R 12454 12457 5813 0 -1 4202496 200819 0 0 0 41 28 0 0 20 0 4 0 5766691 1247350784 200657 33554432000 4194304 16246674 140737163575312 140737163574736 5667979 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12457/statm: 304529 200666 715 2943 0 301423 0
[pid=12457/tid=12458] ppid=12454 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12458/stat : 12458 (toysat) S 12454 12457 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5766691 1247350784 200671 33554432000 4194304 16246674 140737163575312 140533056908528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12457/tid=12459] ppid=12454 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12459/stat : 12459 (toysat) S 12454 12457 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5766691 1247350784 200684 33554432000 4194304 16246674 140737163575312 140533046418672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12457/tid=12460] ppid=12454 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12460/stat : 12460 (toysat) S 12454 12457 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5766691 1247350784 200697 33554432000 4194304 16246674 140737163575312 140533035945136 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.50038 s]
/proc/loadavg: 2.20 2.20 2.18 4/183 12461
/proc/meminfo: memFree=28353400/32872528 swapFree=1401752/1579580
[pid=12457] ppid=12454 vsize=1306180 CPUtime=1.49 cores=1,3,5,7
/proc/12457/stat : 12457 (toysat) R 12454 12457 5813 0 -1 4202496 266584 0 0 0 112 37 0 0 20 0 4 0 5766691 1337528320 266402 33554432000 4194304 16246674 140737163575312 140737163574624 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12457/statm: 326545 266413 790 2943 0 323439 0
[pid=12457/tid=12458] ppid=12454 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12458/stat : 12458 (toysat) S 12454 12457 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5766691 1337528320 266420 33554432000 4194304 16246674 140737163575312 140533056908528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12457/tid=12459] ppid=12454 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12459/stat : 12459 (toysat) S 12454 12457 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5766691 1337528320 266427 33554432000 4194304 16246674 140737163575312 140533046418672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12457/tid=12460] ppid=12454 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12460/stat : 12460 (toysat) S 12454 12457 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5766691 1337528320 266436 33554432000 4194304 16246674 140737163575312 140533035945136 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.10039 s]
/proc/loadavg: 2.20 2.20 2.18 4/183 12461
/proc/meminfo: memFree=28265732/32872528 swapFree=1401752/1579580
[pid=12457] ppid=12454 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/12457/stat : 12457 (toysat) R 12454 12457 5813 0 -1 4202496 267410 0 0 0 272 37 0 0 20 0 4 0 5766691 1337528320 267228 33554432000 4194304 16246674 140737163575312 140737163557184 13808322 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12457/statm: 326545 267228 790 2943 0 323439 0
[pid=12457/tid=12458] ppid=12454 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12458/stat : 12458 (toysat) S 12454 12457 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5766691 1337528320 267228 33554432000 4194304 16246674 140737163575312 140533056908528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12457/tid=12459] ppid=12454 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12459/stat : 12459 (toysat) S 12454 12457 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5766691 1337528320 267228 33554432000 4194304 16246674 140737163575312 140533046418672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12457/tid=12460] ppid=12454 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12460/stat : 12460 (toysat) S 12454 12457 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5766691 1337528320 267228 33554432000 4194304 16246674 140737163575312 140533035945136 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.26 2.21 2.19 4/183 12461
/proc/meminfo: memFree=28265388/32872528 swapFree=1401752/1579580
[pid=12457] ppid=12454 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/12457/stat : 12457 (toysat) R 12454 12457 5813 0 -1 4202496 267433 0 0 0 592 37 0 0 20 0 4 0 5766691 1337528320 267251 33554432000 4194304 16246674 140737163575312 140737163558312 5662195 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12457/statm: 326545 267251 790 2943 0 323439 0
[pid=12457/tid=12458] ppid=12454 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12458/stat : 12458 (toysat) S 12454 12457 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5766691 1337528320 267251 33554432000 4194304 16246674 140737163575312 140533056908528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12457/tid=12459] ppid=12454 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12459/stat : 12459 (toysat) S 12454 12457 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5766691 1337528320 267251 33554432000 4194304 16246674 140737163575312 140533046418672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12457/tid=12460] ppid=12454 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12460/stat : 12460 (toysat) S 12454 12457 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5766691 1337528320 267251 33554432000 4194304 16246674 140737163575312 140533035945136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.24 2.20 2.19 3/183 12461
/proc/meminfo: memFree=28265060/32872528 swapFree=1401752/1579580
[pid=12457] ppid=12454 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/12457/stat : 12457 (toysat) R 12454 12457 5813 0 -1 4202496 267459 0 0 0 1232 37 0 0 20 0 4 0 5766691 1337528320 267277 33554432000 4194304 16246674 140737163575312 140737163558312 6012036 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12457/statm: 326545 267277 791 2943 0 323439 0
[pid=12457/tid=12458] ppid=12454 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12458/stat : 12458 (toysat) S 12454 12457 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5766691 1337528320 267277 33554432000 4194304 16246674 140737163575312 140533056908528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12457/tid=12459] ppid=12454 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12459/stat : 12459 (toysat) S 12454 12457 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5766691 1337528320 267277 33554432000 4194304 16246674 140737163575312 140533046418672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12457/tid=12460] ppid=12454 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12460/stat : 12460 (toysat) S 12454 12457 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5766691 1337528320 267277 33554432000 4194304 16246674 140737163575312 140533035945136 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.19 2.19 2.18 3/183 12461
/proc/meminfo: memFree=28265212/32872528 swapFree=1401752/1579580
[pid=12457] ppid=12454 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/12457/stat : 12457 (toysat) R 12454 12457 5813 0 -1 4202496 267460 0 0 0 2511 37 0 0 20 0 4 0 5766691 1337528320 267278 33554432000 4194304 16246674 140737163575312 140737163557184 5667620 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12457/statm: 326545 267278 791 2943 0 323439 0
[pid=12457/tid=12458] ppid=12454 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12458/stat : 12458 (toysat) S 12454 12457 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5766691 1337528320 267278 33554432000 4194304 16246674 140737163575312 140533056908528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12457/tid=12459] ppid=12454 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12459/stat : 12459 (toysat) S 12454 12457 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5766691 1337528320 267278 33554432000 4194304 16246674 140737163575312 140533046418672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12457/tid=12460] ppid=12454 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12460/stat : 12460 (toysat) S 12454 12457 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5766691 1337528320 267278 33554432000 4194304 16246674 140737163575312 140533035945136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.26 2.21 2.19 4/183 12461
/proc/meminfo: memFree=28265212/32872528 swapFree=1401752/1579580
[pid=12457] ppid=12454 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/12457/stat : 12457 (toysat) R 12454 12457 5813 0 -1 4202496 267463 0 0 0 5070 38 0 0 20 0 4 0 5766691 1337528320 267281 33554432000 4194304 16246674 140737163575312 140737163557184 13950711 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12457/statm: 326545 267281 793 2943 0 323439 0
[pid=12457/tid=12458] ppid=12454 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12458/stat : 12458 (toysat) S 12454 12457 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5766691 1337528320 267281 33554432000 4194304 16246674 140737163575312 140533056908528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12457/tid=12459] ppid=12454 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12459/stat : 12459 (toysat) S 12454 12457 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5766691 1337528320 267281 33554432000 4194304 16246674 140737163575312 140533046418672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12457/tid=12460] ppid=12454 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12460/stat : 12460 (toysat) S 12454 12457 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5766691 1337528320 267281 33554432000 4194304 16246674 140737163575312 140533035945136 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.18 2.19 2.18 3/183 12462
/proc/meminfo: memFree=28264492/32872528 swapFree=1401752/1579580
[pid=12457] ppid=12454 vsize=1306180 CPUtime=102.27 cores=1,3,5,7
/proc/12457/stat : 12457 (toysat) R 12454 12457 5813 0 -1 4202496 267485 0 0 0 10189 38 0 0 20 0 4 0 5766691 1337528320 267303 33554432000 4194304 16246674 140737163575312 140737163557184 5667424 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12457/statm: 326545 267303 794 2943 0 323439 0
[pid=12457/tid=12458] ppid=12454 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12458/stat : 12458 (toysat) S 12454 12457 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5766691 1337528320 267303 33554432000 4194304 16246674 140737163575312 140533056908528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12457/tid=12459] ppid=12454 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12459/stat : 12459 (toysat) S 12454 12457 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5766691 1337528320 267303 33554432000 4194304 16246674 140737163575312 140533046418672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12457/tid=12460] ppid=12454 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12460/stat : 12460 (toysat) S 12454 12457 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5766691 1337528320 267303 33554432000 4194304 16246674 140737163575312 140533035945136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1306180


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

/proc/12457/task/12460/stat : 12460 (toysat) S 12454 12457 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5766691 1338576896 267745 33554432000 4194304 16246674 140737163575312 140533035945136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.17 2.24 2.19 3/183 12541
/proc/meminfo: memFree=28257200/32872528 swapFree=1401752/1579580
[pid=12457] ppid=12454 vsize=1307204 CPUtime=1301.79 cores=1,3,5,7
/proc/12457/stat : 12457 (toysat) R 12454 12457 5813 0 -1 4202496 268139 0 0 0 130121 58 0 0 20 0 4 0 5766691 1338576896 267745 33554432000 4194304 16246674 140737163575312 140737163557184 13198385 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12457/statm: 326801 267745 795 2943 0 323695 0
[pid=12457/tid=12458] ppid=12454 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12458/stat : 12458 (toysat) S 12454 12457 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5766691 1338576896 267745 33554432000 4194304 16246674 140737163575312 140533056908528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12457/tid=12459] ppid=12454 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12459/stat : 12459 (toysat) S 12454 12457 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5766691 1338576896 267745 33554432000 4194304 16246674 140737163575312 140533046418672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12457/tid=12460] ppid=12454 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12460/stat : 12460 (toysat) S 12454 12457 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5766691 1338576896 267745 33554432000 4194304 16246674 140737163575312 140533035945136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.24 2.25 2.20 3/183 12542
/proc/meminfo: memFree=28256984/32872528 swapFree=1401752/1579580
[pid=12457] ppid=12454 vsize=1307204 CPUtime=1361.78 cores=1,3,5,7
/proc/12457/stat : 12457 (toysat) R 12454 12457 5813 0 -1 4202496 268139 0 0 0 136119 59 0 0 20 0 4 0 5766691 1338576896 267745 33554432000 4194304 16246674 140737163575312 140737163557184 5722960 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12457/statm: 326801 267745 795 2943 0 323695 0
[pid=12457/tid=12458] ppid=12454 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12458/stat : 12458 (toysat) S 12454 12457 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5766691 1338576896 267745 33554432000 4194304 16246674 140737163575312 140533056908528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12457/tid=12459] ppid=12454 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12459/stat : 12459 (toysat) S 12454 12457 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5766691 1338576896 267745 33554432000 4194304 16246674 140737163575312 140533046418672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12457/tid=12460] ppid=12454 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12460/stat : 12460 (toysat) S 12454 12457 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5766691 1338576896 267745 33554432000 4194304 16246674 140737163575312 140533035945136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.29 2.26 2.20 3/183 12543
/proc/meminfo: memFree=28256776/32872528 swapFree=1401752/1579580
[pid=12457] ppid=12454 vsize=1307204 CPUtime=1421.78 cores=1,3,5,7
/proc/12457/stat : 12457 (toysat) R 12454 12457 5813 0 -1 4202496 268168 0 0 0 142118 60 0 0 20 0 4 0 5766691 1338576896 267774 33554432000 4194304 16246674 140737163575312 140737163557184 5515736 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12457/statm: 326801 267774 795 2943 0 323695 0
[pid=12457/tid=12458] ppid=12454 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12458/stat : 12458 (toysat) S 12454 12457 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5766691 1338576896 267774 33554432000 4194304 16246674 140737163575312 140533056908528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12457/tid=12459] ppid=12454 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12459/stat : 12459 (toysat) S 12454 12457 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5766691 1338576896 267774 33554432000 4194304 16246674 140737163575312 140533046418672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12457/tid=12460] ppid=12454 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12460/stat : 12460 (toysat) S 12454 12457 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5766691 1338576896 267774 33554432000 4194304 16246674 140737163575312 140533035945136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.22 2.24 2.19 3/183 12544
/proc/meminfo: memFree=28256672/32872528 swapFree=1401752/1579580
[pid=12457] ppid=12454 vsize=1307204 CPUtime=1481.76 cores=1,3,5,7
/proc/12457/stat : 12457 (toysat) R 12454 12457 5813 0 -1 4202496 268168 0 0 0 148115 61 0 0 20 0 4 0 5766691 1338576896 267774 33554432000 4194304 16246674 140737163575312 140737163557184 13950184 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12457/statm: 326801 267774 795 2943 0 323695 0
[pid=12457/tid=12458] ppid=12454 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12458/stat : 12458 (toysat) S 12454 12457 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5766691 1338576896 267774 33554432000 4194304 16246674 140737163575312 140533056908528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12457/tid=12459] ppid=12454 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12459/stat : 12459 (toysat) S 12454 12457 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5766691 1338576896 267774 33554432000 4194304 16246674 140737163575312 140533046418672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12457/tid=12460] ppid=12454 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12460/stat : 12460 (toysat) S 12454 12457 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5766691 1338576896 267774 33554432000 4194304 16246674 140737163575312 140533035945136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.28 2.26 2.20 4/183 12546
/proc/meminfo: memFree=28256824/32872528 swapFree=1401752/1579580
[pid=12457] ppid=12454 vsize=1307204 CPUtime=1541.75 cores=1,3,5,7
/proc/12457/stat : 12457 (toysat) R 12454 12457 5813 0 -1 4202496 268168 0 0 0 154114 61 0 0 20 0 4 0 5766691 1338576896 267774 33554432000 4194304 16246674 140737163575312 140737163557184 13191520 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12457/statm: 326801 267774 795 2943 0 323695 0
[pid=12457/tid=12458] ppid=12454 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12458/stat : 12458 (toysat) S 12454 12457 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5766691 1338576896 267774 33554432000 4194304 16246674 140737163575312 140533056908528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12457/tid=12459] ppid=12454 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12459/stat : 12459 (toysat) S 12454 12457 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5766691 1338576896 267774 33554432000 4194304 16246674 140737163575312 140533046418672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12457/tid=12460] ppid=12454 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12460/stat : 12460 (toysat) S 12454 12457 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5766691 1338576896 267774 33554432000 4194304 16246674 140737163575312 140533035945136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.16 2.22 2.18 4/184 12550
/proc/meminfo: memFree=28256372/32872528 swapFree=1401752/1579580
[pid=12457] ppid=12454 vsize=1307204 CPUtime=1601.74 cores=1,3,5,7
/proc/12457/stat : 12457 (toysat) R 12454 12457 5813 0 -1 4202496 268168 0 0 0 160112 62 0 0 20 0 4 0 5766691 1338576896 267774 33554432000 4194304 16246674 140737163575312 140737163557184 5724446 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12457/statm: 326801 267774 795 2943 0 323695 0
[pid=12457/tid=12458] ppid=12454 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12458/stat : 12458 (toysat) S 12454 12457 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5766691 1338576896 267774 33554432000 4194304 16246674 140737163575312 140533056908528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12457/tid=12459] ppid=12454 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12459/stat : 12459 (toysat) S 12454 12457 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5766691 1338576896 267774 33554432000 4194304 16246674 140737163575312 140533046418672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12457/tid=12460] ppid=12454 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12460/stat : 12460 (toysat) S 12454 12457 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5766691 1338576896 267774 33554432000 4194304 16246674 140737163575312 140533035945136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.30 2.24 2.19 3/185 12574
/proc/meminfo: memFree=28255356/32872528 swapFree=1401752/1579580
[pid=12457] ppid=12454 vsize=1307204 CPUtime=1661.73 cores=1,3,5,7
/proc/12457/stat : 12457 (toysat) R 12454 12457 5813 0 -1 4202496 268168 0 0 0 166110 63 0 0 20 0 4 0 5766691 1338576896 267774 33554432000 4194304 16246674 140737163575312 140737163557184 5677667 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12457/statm: 326801 267774 795 2943 0 323695 0
[pid=12457/tid=12458] ppid=12454 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12458/stat : 12458 (toysat) S 12454 12457 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5766691 1338576896 267774 33554432000 4194304 16246674 140737163575312 140533056908528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12457/tid=12459] ppid=12454 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12459/stat : 12459 (toysat) S 12454 12457 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5766691 1338576896 267774 33554432000 4194304 16246674 140737163575312 140533046418672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12457/tid=12460] ppid=12454 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12460/stat : 12460 (toysat) S 12454 12457 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5766691 1338576896 267774 33554432000 4194304 16246674 140737163575312 140533035945136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.30 2.24 2.19 3/184 12575
/proc/meminfo: memFree=28255772/32872528 swapFree=1401752/1579580
[pid=12457] ppid=12454 vsize=1307204 CPUtime=1721.72 cores=1,3,5,7
/proc/12457/stat : 12457 (toysat) R 12454 12457 5813 0 -1 4202496 268168 0 0 0 172108 64 0 0 20 0 4 0 5766691 1338576896 267774 33554432000 4194304 16246674 140737163575312 140737163557184 5822252 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12457/statm: 326801 267774 795 2943 0 323695 0
[pid=12457/tid=12458] ppid=12454 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12458/stat : 12458 (toysat) S 12454 12457 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5766691 1338576896 267774 33554432000 4194304 16246674 140737163575312 140533056908528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12457/tid=12459] ppid=12454 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12459/stat : 12459 (toysat) S 12454 12457 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5766691 1338576896 267774 33554432000 4194304 16246674 140737163575312 140533046418672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12457/tid=12460] ppid=12454 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12460/stat : 12460 (toysat) S 12454 12457 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5766691 1338576896 267774 33554432000 4194304 16246674 140737163575312 140533035945136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.30 2.26 2.19 3/184 12576
/proc/meminfo: memFree=28255800/32872528 swapFree=1401752/1579580
[pid=12457] ppid=12454 vsize=1307204 CPUtime=1781.72 cores=1,3,5,7
/proc/12457/stat : 12457 (toysat) R 12454 12457 5813 0 -1 4202496 268168 0 0 0 178107 65 0 0 20 0 4 0 5766691 1338576896 267774 33554432000 4194304 16246674 140737163575312 140737163557184 6012041 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12457/statm: 326801 267774 795 2943 0 323695 0
[pid=12457/tid=12458] ppid=12454 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12458/stat : 12458 (toysat) S 12454 12457 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5766691 1338576896 267774 33554432000 4194304 16246674 140737163575312 140533056908528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12457/tid=12459] ppid=12454 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12459/stat : 12459 (toysat) S 12454 12457 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5766691 1338576896 267774 33554432000 4194304 16246674 140737163575312 140533046418672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12457/tid=12460] ppid=12454 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12460/stat : 12460 (toysat) S 12454 12457 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5766691 1338576896 267774 33554432000 4194304 16246674 140737163575312 140533035945136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.24 2.24 2.19 3/184 12576
/proc/meminfo: memFree=28256016/32872528 swapFree=1401752/1579580
[pid=12457] ppid=12454 vsize=1307204 CPUtime=1800.01 cores=1,3,5,7
/proc/12457/stat : 12457 (toysat) R 12454 12457 5813 0 -1 4202496 268168 0 0 0 179936 65 0 0 20 0 4 0 5766691 1338576896 267774 33554432000 4194304 16246674 140737163575312 140737163557184 13191765 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12457/statm: 326801 267774 795 2943 0 323695 0
[pid=12457/tid=12458] ppid=12454 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12458/stat : 12458 (toysat) S 12454 12457 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5766691 1338576896 267774 33554432000 4194304 16246674 140737163575312 140533056908528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12457/tid=12459] ppid=12454 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12459/stat : 12459 (toysat) S 12454 12457 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5766691 1338576896 267774 33554432000 4194304 16246674 140737163575312 140533046418672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12457/tid=12460] ppid=12454 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12457/task/12460/stat : 12460 (toysat) S 12454 12457 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5766691 1338576896 267774 33554432000 4194304 16246674 140737163575312 140533035945136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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 12457 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 0.6529
maximum resident set size= 1071096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268168
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= 482
involuntary context switches= 3118

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.46432 second user time and 7.08692 second system time

The end

Begin job on node139 at 2016-06-16 02:33:30
IDJOB=4090044
IDBENCH=107493
IDSOLVER=2542
FILE ID=node139/4090044-1466037210
RUNJOBID= node139-1466033607-11971
PBS_JOBID= 19902810
Free space on /tmp= 71612 MiB

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

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

MD5SUM BENCH= 37251e4e7c04466a4ed88cfa764e8439
RANDOM SEED=844263584

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29334948 kB
Buffers:           26200 kB
Cached:           150652 kB
SwapCached:         8924 kB
Active:          1145368 kB
Inactive:         111612 kB
Active(anon):    1074132 kB
Inactive(anon):     8356 kB
Active(file):      71236 kB
Inactive(file):   103256 kB
Unevictable:     1579580 kB
Mlocked:         1401752 kB
SwapTotal:      67108856 kB
SwapFree:       67093328 kB
Dirty:             16516 kB
Writeback:             0 kB
AnonPages:       2651904 kB
Mapped:            10916 kB
Shmem:                 0 kB
Slab:             568428 kB
SReclaimable:      12476 kB
SUnreclaim:       555952 kB
KernelStack:        1480 kB
PageTables:         9012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2796436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1245184 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= 71596 MiB
End job on node139 at 2016-06-16 03:03:30