0.00/0.00	c 2016-06-15T22:40:42+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-4089225-1466023242.opb"]
0.00/0.01	c use --random-gen="2991806424 1848767213 2230563282 955546414 2600560723 1873737802 993982762 3141058658 2622502007 3687974831 1435250708 4214265012 2933655205 136933794 3749939355 1661644500 2956128092 1774197223 1923476316 3809940163 4266834127 2085756752 2577099133 3115631291 2666171688 1852968018 4071143011 661593819 719817754 466010331 2468111692 788008629 3489277504 2750312537 1141452920 277190101 516478357 2474852052 2567456379 1028121872 413451315 2374985194 2703588493 2398434789 4178684963 2987577280 2781597149 4067329762 826776971 1906756283 1499705303 2715482159 237765284 3983905355 3781173476 2162159623 1438284304 3993274240 3236219088 111519274 1661836309 560129866 3765002497 3920683391 2381017609 2314049411 1502640572 2654500253 2648950922 235990089 4128675656 3700803628 555854710 730102938 3336155749 1317459171 1299697529 3383429017 2339627663 1224737340 1746622666 960394491 3340914096 4247023284 3966991862 164783163 2782749491 2456101995 90114140 721636938 1841422105 1009628374 651017545 20571042 1997422279 1743153872 4150917552 1062169474 44363208 701552914 1525031062 777397415 3321942708 2783900616 2124719573 1429495970 4247004830 639562072 2602114397 2627665693 281304698 1317622436 1037257279 3108681355 2009058014 2059168492 1369295532 2700938655 1011028474 952787442 2752316314 975476712 2932961593 1814622247 3372510520 2829600672 903329141 4213159806 1893808383 903716661 3120843269 3904989026 1324324845 210507557 900098647 898336659 838307002 833636845 997240026 329513503 2565197190 488157414 3393315307 3836453521 943849886 1565430511 2068135902 3874456778 2064503128 3929051564 1902881695 1417707113 2899009498 1327421709 1028920161 4251787512 345028685 3756778456 898475448 289310533 3771218282 3488395700 2245069416 1430812248 1392112968 838635320 820808650 102725782 4074543070 3968165771 3701349092 1090203444 3175493286 2321859454 3303588383 1052076138 1318817713 4114407609 37053416 2494871529 1973842932 3673791855 4211324543 212108572 2450419230 1856379206 966110041 240302291 652760640 2476771865 470828268 1889085287 1244269705 3752066911 2528699275 4171991875 2703015938 867112356 3095794536 3910740867 1485104441 2530487591 965226841 3013900127 2881186531 2151257786 3005416482 219743888 506624078 3020115860 3843499823 3677081183 1832245571 1854641045 525150250 818256089 135465853 4071855125 3327188708 4141596420 3481326337 1904348768 3666469989 2353954853 4086140967 4269258165 2913432587 1809356731 4213751206 1174895615 1107479278 1674518584 2186220612 492673659 2555681760 642656560 2698362241 388421603 4183345800 2057101344 3195583685 2978275842 1906251455 1955865959 3835183511 2253875694 484504636 4159435412 3511645014 1869831162 773828617 2161611438 2526412009 171572342 3812763037 3194050384 255 362436" option to reproduce the execution
0.00/0.01	c #vars 168
0.00/0.01	c #constraints 337
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      168      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      179 |      100 |      168      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      411 |      250 |      185      0 |        0 |        0
0.09/0.11	c  0.1s |       3 |      714 |      475 |      204      2 |        0 |        0
0.09/0.18	c  0.2s |       4 |     1130 |      813 |      225      4 |        0 |        0
0.29/0.30	c  0.3s |       5 |     1715 |     1320 |      248      7 |        0 |        0
0.39/0.49	c  0.5s |       6 |     2559 |     2081 |      301     12 |        0 |        0
0.69/0.76	c  0.7s |       7 |     3786 |     3223 |      332     18 |        0 |        0
0.99/1.05	c  1.0s |       8 |     5578 |     4936 |      366     26 |        0 |        0
1.39/1.48	c  1.5s |       9 |     8261 |     7506 |      403     37 |        0 |        0
1.99/2.07	c  2.1s |      10 |    12213 |    11361 |      444     53 |        0 |        0
2.99/3.00	c  3.0s |      11 |    18160 |    17144 |      489     75 |        0 |        0
4.40/4.45	c  4.4s |      12 |    27096 |    25819 |      538    106 |        0 |        0
6.39/6.45	c  6.4s |      12 |    39302 |    37719 |      538    145 |        0 |        0
6.59/6.64	c  6.6s |      13 |    40436 |    38832 |      592    148 |        0 |        0
8.59/8.66	c  8.6s |      13 |    52617 |    50732 |      592    184 |        0 |        0
9.89/9.95	c  9.9s |      14 |    60546 |    58352 |      652    206 |        0 |        0
11.89/11.96	c 11.9s |      14 |    72680 |    69952 |      652    238 |        0 |        0
13.88/13.97	c 14.0s |      14 |    84399 |    81252 |      652    269 |        0 |        0
14.98/15.09	c 15.1s |      15 |    91044 |    87632 |      718    286 |        0 |        0
17.08/17.10	c 17.1s |      15 |   103072 |    99132 |      718    315 |        0 |        0
19.08/19.12	c 19.1s |      15 |   115012 |   110232 |      718    343 |        0 |        0
21.08/21.12	c 21.1s |      15 |   126573 |   121332 |      718    371 |        0 |        0
22.88/22.99	c 23.0s |      16 |   137222 |   131552 |      790    397 |        0 |        0
24.98/25.00	c 25.0s |      16 |   148850 |   142552 |      790    422 |        0 |        0
26.98/27.01	c 27.0s |      16 |   160274 |   153552 |      790    448 |        0 |        0
28.98/29.02	c 29.0s |      16 |   171334 |   164252 |      790    473 |        0 |        0
30.98/31.02	c 31.0s |      16 |   182674 |   174952 |      790    497 |        0 |        0
32.99/33.03	c 33.0s |      16 |   194044 |   185852 |      790    523 |        0 |        0
34.98/35.04	c 35.0s |      16 |   205695 |   196852 |      870    548 |        0 |        0
35.08/35.14	c 35.1s |      17 |   206282 |   197432 |      870    549 |        0 |        0
37.08/37.15	c 37.1s |      17 |   217866 |   208532 |      870    573 |        0 |        0
39.08/39.15	c 39.1s |      17 |   229131 |   219432 |      870    596 |        0 |        0
41.08/41.16	c 41.1s |      17 |   240344 |   230232 |      870    619 |        0 |        0
43.08/43.17	c 43.2s |      17 |   251471 |   241032 |      870    641 |        0 |        0
45.09/45.18	c 45.2s |      17 |   262392 |   251632 |      870    664 |        0 |        0
47.08/47.18	c 47.2s |      17 |   273622 |   262232 |      870    686 |        0 |        0
49.08/49.18	c 49.2s |      17 |   284681 |   272832 |      870    709 |        0 |        0
51.18/51.20	c 51.2s |      17 |   295506 |   283332 |      870    731 |        0 |        0
53.18/53.21	c 53.2s |      17 |   306371 |   293932 |      870    753 |        0 |        0
53.58/53.66	c 53.6s |      18 |   308726 |   296252 |      958    758 |        0 |        0
55.58/55.68	c 55.7s |      18 |   320828 |   307252 |      958    779 |        0 |        0
57.58/57.69	c 57.7s |      18 |   332219 |   318152 |      958    800 |        0 |        0
59.58/59.70	c 59.7s |      18 |   343117 |   328652 |      958    821 |        0 |        0
61.59/61.70	c 61.7s |      18 |   354644 |   339452 |      958    842 |        0 |        0
63.68/63.71	c 63.7s |      18 |   365661 |   350052 |      958    862 |        0 |        0
65.68/65.71	c 65.7s |      18 |   377033 |   360852 |      958    883 |        0 |        0
67.68/67.71	c 67.7s |      18 |   388103 |   371252 |      958    904 |        0 |        0
69.68/69.73	c 69.7s |      18 |   399411 |   382052 |      958    925 |        0 |        0
71.68/71.74	c 71.7s |      18 |   409961 |   392352 |      958    944 |        0 |        0
73.69/73.75	c 73.7s |      18 |   420770 |   402852 |      958    965 |        0 |        0
75.68/75.78	c 75.8s |      18 |   431832 |   413552 |      958    986 |        0 |        0
77.68/77.78	c 77.8s |      18 |   442708 |   424152 |      958   1006 |        0 |        0
79.67/79.78	c 79.8s |      18 |   453341 |   434452 |      958   1026 |        0 |        0
81.67/81.71	c 81.7s |      19 |   463795 |   444482 |     1054   1045 |        0 |        0
83.68/83.72	c 83.7s |      19 |   475215 |   455382 |     1054   1064 |        0 |        0
85.67/85.73	c 85.7s |      19 |   486462 |   466282 |     1054   1084 |        0 |        0
87.67/87.74	c 87.7s |      19 |   497477 |   476982 |     1054   1102 |        0 |        0
89.67/89.74	c 89.7s |      19 |   508628 |   487682 |     1054   1121 |        0 |        0
91.67/91.74	c 91.7s |      19 |   519816 |   498182 |     1054   1140 |        0 |        0
93.67/93.74	c 93.7s |      19 |   530933 |   508682 |     1054   1159 |        0 |        0
95.68/95.75	c 95.7s |      19 |   541937 |   519182 |     1054   1177 |        0 |        0
97.67/97.77	c 97.8s |      19 |   552748 |   529682 |     1054   1196 |        0 |        0
99.67/99.78	c 99.8s |      19 |   563585 |   539982 |     1054   1214 |        0 |        0
101.67/101.79	c  101s |      19 |   574733 |   550682 |     1054   1234 |        0 |        0
103.77/103.81	c  103s |      19 |   585566 |   561082 |     1054   1252 |        0 |        0
105.77/105.81	c  105s |      19 |   596288 |   571382 |     1054   1270 |        0 |        0
107.78/107.82	c  107s |      19 |   607376 |   581882 |     1054   1289 |        0 |        0
109.77/109.82	c  109s |      19 |   618334 |   592282 |     1054   1307 |        0 |        0
111.77/111.83	c  111s |      19 |   629164 |   602582 |     1054   1326 |        0 |        0
113.78/113.84	c  113s |      19 |   639962 |   612782 |     1054   1344 |        0 |        0
115.78/115.85	c  115s |      19 |   650669 |   623082 |     1054   1362 |        0 |        0
117.78/117.85	c  117s |      19 |   661003 |   633082 |     1054   1380 |        0 |        0
119.77/119.87	c  119s |      19 |   671665 |   643282 |     1054   1398 |        0 |        0
121.77/121.87	c  121s |      19 |   682193 |   653182 |     1054   1416 |        0 |        0
123.77/123.87	c  123s |      19 |   692610 |   663082 |     1160   1433 |        0 |        0
124.57/124.60	c  124s |      20 |   696452 |   666827 |     1160   1439 |        0 |        0
126.48/126.60	c  126s |      20 |   707616 |   677327 |     1160   1456 |        0 |        0
128.57/128.61	c  128s |      20 |   718757 |   687727 |     1160   1473 |        0 |        0
130.57/130.62	c  130s |      20 |   729883 |   698327 |     1160   1490 |        0 |        0
132.57/132.63	c  132s |      20 |   740984 |   708827 |     1160   1507 |        0 |        0
134.57/134.64	c  134s |      20 |   751623 |   719027 |     1160   1524 |        0 |        0
136.57/136.65	c  136s |      20 |   762575 |   729527 |     1160   1541 |        0 |        0
138.58/138.65	c  138s |      20 |   773436 |   739727 |     1160   1557 |        0 |        0
140.57/140.67	c  140s |      20 |   784302 |   749927 |     1160   1574 |        0 |        0
142.57/142.68	c  142s |      20 |   795298 |   760227 |     1160   1590 |        0 |        0
144.67/144.70	c  144s |      20 |   805821 |   770327 |     1160   1607 |        0 |        0
146.67/146.70	c  146s |      20 |   816686 |   780727 |     1160   1624 |        0 |        0
148.67/148.71	c  148s |      20 |   827489 |   791027 |     1160   1640 |        0 |        0
150.67/150.73	c  150s |      20 |   838749 |   801327 |     1160   1657 |        0 |        0
152.66/152.74	c  152s |      20 |   849744 |   811427 |     1160   1674 |        0 |        0
154.66/154.75	c  154s |      20 |   860214 |   821427 |     1160   1690 |        0 |        0
156.66/156.76	c  156s |      20 |   870825 |   831327 |     1160   1706 |        0 |        0
158.66/158.77	c  158s |      20 |   881582 |   841727 |     1160   1723 |        0 |        0
160.67/160.78	c  160s |      20 |   891909 |   851727 |     1160   1739 |        0 |        0
162.66/162.80	c  162s |      20 |   902480 |   861727 |     1160   1755 |        0 |        0
164.76/164.80	c  164s |      20 |   912849 |   871527 |     1160   1771 |        0 |        0
166.76/166.81	c  166s |      20 |   923120 |   881327 |     1160   1787 |        0 |        0
168.76/168.81	c  168s |      20 |   933683 |   891327 |     1160   1803 |        0 |        0
170.77/170.82	c  170s |      20 |   944169 |   901427 |     1160   1820 |        0 |        0
172.77/172.82	c  172s |      20 |   954534 |   911427 |     1160   1836 |        0 |        0
174.77/174.84	c  174s |      20 |   964845 |   921327 |     1160   1852 |        0 |        0
176.77/176.84	c  176s |      20 |   975071 |   931027 |     1160   1868 |        0 |        0
178.77/178.85	c  178s |      20 |   985074 |   940727 |     1160   1883 |        0 |        0
180.77/180.86	c  180s |      20 |   995759 |   950927 |     1160   1900 |        0 |        0
182.76/182.87	c  182s |      20 |  1006271 |   961127 |     1160   1916 |        0 |        0
184.77/184.87	c  184s |      20 |  1016727 |   971227 |     1160   1933 |        0 |        0
186.76/186.88	c  186s |      20 |  1026987 |   981227 |     1160   1949 |        0 |        0
188.76/188.89	c  188s |      20 |  1037100 |   990927 |     1160   1965 |        0 |        0
190.76/190.81	c  190s |      21 |  1046907 |  1000345 |     1276   1979 |        0 |        0
192.76/192.82	c  192s |      21 |  1057540 |  1010445 |     1276   1994 |        0 |        0
194.77/194.84	c  194s |      21 |  1067829 |  1020245 |     1276   2009 |        0 |        0
196.76/196.86	c  196s |      21 |  1078624 |  1030445 |     1276   2024 |        0 |        0
198.76/198.87	c  198s |      21 |  1088933 |  1040345 |     1276   2038 |        0 |        0
200.76/200.88	c  200s |      21 |  1099168 |  1050145 |     1276   2053 |        0 |        0
202.76/202.89	c  202s |      21 |  1109696 |  1060245 |     1276   2068 |        0 |        0
204.86/204.91	c  204s |      21 |  1120135 |  1070245 |     1276   2083 |        0 |        0
206.86/206.91	c  206s |      21 |  1130363 |  1080045 |     1276   2097 |        0 |        0
208.86/208.92	c  208s |      21 |  1140659 |  1089845 |     1276   2112 |        0 |        0
210.86/210.93	c  210s |      21 |  1150860 |  1099545 |     1276   2126 |        0 |        0
212.85/212.93	c  212s |      21 |  1160961 |  1109145 |     1276   2140 |        0 |        0
214.85/214.93	c  214s |      21 |  1171372 |  1119145 |     1276   2155 |        0 |        0
216.86/216.94	c  216s |      21 |  1181640 |  1129145 |     1276   2170 |        0 |        0
218.86/218.95	c  218s |      21 |  1192280 |  1139245 |     1276   2185 |        0 |        0
220.85/220.97	c  220s |      21 |  1202682 |  1149045 |     1276   2200 |        0 |        0
222.85/222.99	c  222s |      21 |  1212868 |  1158845 |     1276   2214 |        0 |        0
224.95/225.00	c  224s |      21 |  1222746 |  1168445 |     1276   2228 |        0 |        0
226.95/227.02	c  226s |      21 |  1232319 |  1177845 |     1276   2242 |        0 |        0
228.95/229.03	c  229s |      21 |  1242563 |  1187845 |     1276   2257 |        0 |        0
230.96/231.04	c  231s |      21 |  1253339 |  1197945 |     1276   2272 |        0 |        0
232.95/233.05	c  233s |      21 |  1263447 |  1207745 |     1276   2287 |        0 |        0
234.95/235.07	c  235s |      21 |  1273855 |  1217845 |     1276   2302 |        0 |        0
236.95/237.08	c  237s |      21 |  1284226 |  1227745 |     1276   2316 |        0 |        0
238.95/239.08	c  239s |      21 |  1294349 |  1237545 |     1276   2331 |        0 |        0
240.96/241.09	c  241s |      21 |  1304157 |  1247145 |     1276   2345 |        0 |        0
242.96/243.10	c  243s |      21 |  1314174 |  1256645 |     1276   2359 |        0 |        0
245.06/245.11	c  245s |      21 |  1323982 |  1266145 |     1276   2373 |        0 |        0
247.06/247.11	c  247s |      21 |  1333895 |  1275745 |     1276   2388 |        0 |        0
249.05/249.13	c  249s |      21 |  1343656 |  1285145 |     1276   2402 |        0 |        0
251.05/251.15	c  251s |      21 |  1354092 |  1295245 |     1276   2416 |        0 |        0
253.06/253.15	c  253s |      21 |  1364191 |  1304845 |     1276   2431 |        0 |        0
255.05/255.15	c  255s |      21 |  1374343 |  1314745 |     1276   2445 |        0 |        0
257.05/257.15	c  257s |      21 |  1384567 |  1324645 |     1276   2460 |        0 |        0
259.05/259.18	c  259s |      21 |  1394660 |  1334345 |     1276   2475 |        0 |        0
261.05/261.18	c  261s |      21 |  1404781 |  1344145 |     1276   2489 |        0 |        0
263.05/263.19	c  263s |      21 |  1415121 |  1353845 |     1276   2504 |        0 |        0
265.05/265.19	c  265s |      21 |  1425305 |  1363545 |     1276   2518 |        0 |        0
267.15/267.21	c  267s |      21 |  1435541 |  1373045 |     1276   2532 |        0 |        0
269.15/269.22	c  269s |      21 |  1445497 |  1382545 |     1276   2546 |        0 |        0
271.14/271.23	c  271s |      21 |  1455064 |  1391745 |     1276   2560 |        0 |        0
273.14/273.24	c  273s |      21 |  1465179 |  1401545 |     1276   2574 |        0 |        0
275.14/275.26	c  275s |      21 |  1475002 |  1410945 |     1276   2588 |        0 |        0
277.15/277.27	c  277s |      21 |  1484856 |  1420245 |     1276   2602 |        0 |        0
279.14/279.29	c  279s |      21 |  1494583 |  1429345 |     1276   2616 |        0 |        0
281.24/281.30	c  281s |      21 |  1504892 |  1439045 |     1276   2630 |        0 |        0
283.25/283.30	c  283s |      21 |  1514887 |  1448745 |     1276   2644 |        0 |        0
285.25/285.32	c  285s |      21 |  1525226 |  1458545 |     1276   2659 |        0 |        0
287.25/287.33	c  287s |      21 |  1535274 |  1468345 |     1276   2673 |        0 |        0
289.26/289.33	c  289s |      21 |  1545339 |  1478145 |     1276   2688 |        0 |        0
291.25/291.34	c  291s |      21 |  1555290 |  1487745 |     1276   2702 |        0 |        0
293.25/293.35	c  293s |      21 |  1564988 |  1497145 |     1404   2715 |        0 |        0
293.95/294.07	c  294s |      22 |  1568581 |  1500622 |     1404   2720 |        0 |        0
295.95/296.07	c  296s |      22 |  1578876 |  1510422 |     1404   2733 |        0 |        0
297.95/298.08	c  298s |      22 |  1589044 |  1520022 |     1404   2746 |        0 |        0
300.04/300.10	c  300s |      22 |  1599482 |  1529822 |     1404   2759 |        0 |        0
302.04/302.11	c  302s |      22 |  1609617 |  1539622 |     1404   2772 |        0 |        0
304.04/304.12	c  304s |      22 |  1619596 |  1549322 |     1404   2785 |        0 |        0
306.04/306.13	c  306s |      22 |  1629804 |  1559022 |     1404   2799 |        0 |        0
308.05/308.14	c  308s |      22 |  1640518 |  1569022 |     1404   2812 |        0 |        0
310.04/310.14	c  310s |      22 |  1650591 |  1578722 |     1404   2825 |        0 |        0
312.04/312.15	c  312s |      22 |  1660595 |  1588322 |     1404   2838 |        0 |        0
314.04/314.15	c  314s |      22 |  1670711 |  1598022 |     1404   2851 |        0 |        0
316.04/316.16	c  316s |      22 |  1680982 |  1607822 |     1404   2864 |        0 |        0
318.04/318.17	c  318s |      22 |  1690950 |  1617322 |     1404   2877 |        0 |        0
320.04/320.18	c  320s |      22 |  1701145 |  1627222 |     1404   2891 |        0 |        0
322.04/322.19	c  322s |      22 |  1711160 |  1636822 |     1404   2904 |        0 |        0
324.14/324.21	c  324s |      22 |  1721178 |  1646322 |     1404   2916 |        0 |        0
326.14/326.23	c  326s |      22 |  1731227 |  1655822 |     1404   2929 |        0 |        0
328.14/328.24	c  328s |      22 |  1741169 |  1665422 |     1404   2942 |        0 |        0
330.13/330.25	c  330s |      22 |  1751177 |  1674922 |     1404   2955 |        0 |        0
332.14/332.26	c  332s |      22 |  1761049 |  1684322 |     1404   2968 |        0 |        0
334.14/334.26	c  334s |      22 |  1771259 |  1693922 |     1404   2981 |        0 |        0
336.14/336.26	c  336s |      22 |  1781566 |  1703722 |     1404   2994 |        0 |        0
338.14/338.28	c  338s |      22 |  1791838 |  1713622 |     1404   3007 |        0 |        0
340.14/340.28	c  340s |      22 |  1801774 |  1723122 |     1404   3020 |        0 |        0
342.15/342.28	c  342s |      22 |  1811915 |  1732622 |     1404   3033 |        0 |        0
344.14/344.29	c  344s |      22 |  1821675 |  1742022 |     1404   3046 |        0 |        0
346.24/346.30	c  346s |      22 |  1831427 |  1751522 |     1404   3059 |        0 |        0
348.24/348.30	c  348s |      22 |  1841260 |  1760722 |     1404   3071 |        0 |        0
350.24/350.32	c  350s |      22 |  1851057 |  1770122 |     1404   3084 |        0 |        0
352.24/352.33	c  352s |      22 |  1860772 |  1779522 |     1404   3096 |        0 |        0
354.25/354.35	c  354s |      22 |  1870444 |  1788722 |     1404   3109 |        0 |        0
356.24/356.36	c  356s |      22 |  1880105 |  1798022 |     1404   3121 |        0 |        0
358.24/358.37	c  358s |      22 |  1889698 |  1807322 |     1404   3134 |        0 |        0
360.24/360.39	c  360s |      22 |  1899724 |  1816922 |     1404   3147 |        0 |        0
362.24/362.39	c  362s |      22 |  1909654 |  1826222 |     1404   3159 |        0 |        0
364.33/364.40	c  364s |      22 |  1919776 |  1835722 |     1404   3172 |        0 |        0
366.34/366.41	c  366s |      22 |  1929752 |  1845022 |     1404   3185 |        0 |        0
368.33/368.44	c  368s |      22 |  1939525 |  1854522 |     1404   3198 |        0 |        0
370.33/370.44	c  370s |      22 |  1949281 |  1863922 |     1404   3210 |        0 |        0
372.33/372.45	c  372s |      22 |  1959139 |  1873422 |     1404   3223 |        0 |        0
374.33/374.46	c  374s |      22 |  1968758 |  1882622 |     1404   3236 |        0 |        0
376.33/376.46	c  376s |      22 |  1978200 |  1891822 |     1404   3248 |        0 |        0
378.34/378.48	c  378s |      22 |  1987781 |  1901022 |     1404   3261 |        0 |        0
380.33/380.49	c  380s |      22 |  1997238 |  1910022 |     1404   3273 |        0 |        0
382.43/382.52	c  382s |      22 |  2006989 |  1919122 |     1404   3285 |        0 |        0
384.43/384.52	c  384s |      22 |  2016309 |  1927822 |     1404   3297 |        0 |        0
386.43/386.52	c  386s |      22 |  2026549 |  1937622 |     1404   3310 |        0 |        0
388.43/388.54	c  388s |      22 |  2036695 |  1947522 |     1404   3323 |        0 |        0
390.43/390.54	c  390s |      22 |  2046878 |  1957222 |     1404   3336 |        0 |        0
392.43/392.56	c  392s |      22 |  2056822 |  1966622 |     1404   3349 |        0 |        0
394.43/394.56	c  394s |      22 |  2066980 |  1976222 |     1404   3362 |        0 |        0
396.43/396.56	c  396s |      22 |  2076926 |  1985922 |     1404   3375 |        0 |        0
398.43/398.57	c  398s |      22 |  2086896 |  1995522 |     1404   3388 |        0 |        0
400.43/400.58	c  400s |      22 |  2096764 |  2004922 |     1404   3401 |        0 |        0
402.42/402.58	c  402s |      22 |  2106522 |  2014222 |     1404   3414 |        0 |        0
404.42/404.58	c  404s |      22 |  2116262 |  2023722 |     1404   3426 |        0 |        0
406.42/406.59	c  406s |      22 |  2125879 |  2033122 |     1404   3439 |        0 |        0
408.42/408.59	c  408s |      22 |  2135938 |  2042722 |     1404   3452 |        0 |        0
410.52/410.60	c  410s |      22 |  2145676 |  2052222 |     1404   3465 |        0 |        0
412.53/412.61	c  412s |      22 |  2155463 |  2061622 |     1404   3478 |        0 |        0
414.52/414.62	c  414s |      22 |  2165398 |  2071122 |     1404   3490 |        0 |        0
416.52/416.62	c  416s |      22 |  2175421 |  2080722 |     1404   3503 |        0 |        0
418.52/418.62	c  418s |      22 |  2185259 |  2090022 |     1404   3516 |        0 |        0
420.52/420.63	c  420s |      22 |  2195022 |  2099422 |     1404   3529 |        0 |        0
422.52/422.64	c  422s |      22 |  2204743 |  2108822 |     1404   3541 |        0 |        0
424.53/424.66	c  424s |      22 |  2214507 |  2118222 |     1404   3554 |        0 |        0
426.52/426.67	c  426s |      22 |  2224537 |  2127922 |     1404   3567 |        0 |        0
428.52/428.69	c  428s |      22 |  2234508 |  2137422 |     1404   3580 |        0 |        0
430.52/430.69	c  430s |      22 |  2244174 |  2146722 |     1404   3593 |        0 |        0
432.53/432.70	c  432s |      22 |  2253918 |  2156122 |     1404   3605 |        0 |        0
434.63/434.71	c  434s |      22 |  2263395 |  2165322 |     1404   3618 |        0 |        0
436.63/436.71	c  436s |      22 |  2272830 |  2174422 |     1404   3630 |        0 |        0
438.63/438.72	c  438s |      22 |  2282294 |  2183722 |     1404   3643 |        0 |        0
440.63/440.72	c  440s |      22 |  2291650 |  2192822 |     1404   3655 |        0 |        0
442.63/442.73	c  442s |      22 |  2301815 |  2202422 |     1404   3668 |        0 |        0
444.63/444.73	c  444s |      22 |  2311724 |  2211922 |     1404   3681 |        0 |        0
446.63/446.74	c  446s |      22 |  2321763 |  2221122 |     1404   3693 |        0 |        0
448.62/448.76	c  448s |      22 |  2331320 |  2230322 |     1404   3706 |        0 |        0
450.62/450.78	c  450s |      22 |  2340878 |  2239522 |     1545   3718 |        0 |        0
452.62/452.79	c  452s |      22 |  2350649 |  2248922 |     1545   3729 |        0 |        0
453.13/453.26	c  453s |      23 |  2352815 |  2251038 |     1545   3732 |        0 |        0
455.12/455.26	c  455s |      23 |  2363164 |  2261038 |     1545   3744 |        0 |        0
457.12/457.28	c  457s |      23 |  2373206 |  2270738 |     1545   3756 |        0 |        0
459.12/459.29	c  459s |      23 |  2382929 |  2280138 |     1545   3768 |        0 |        0
461.22/461.31	c  461s |      23 |  2392894 |  2289838 |     1545   3780 |        0 |        0
463.22/463.31	c  463s |      23 |  2402718 |  2299238 |     1545   3791 |        0 |        0
465.23/465.33	c  465s |      23 |  2412393 |  2308638 |     1545   3803 |        0 |        0
467.22/467.35	c  467s |      23 |  2422219 |  2318138 |     1545   3814 |        0 |        0
469.22/469.37	c  469s |      23 |  2432136 |  2327838 |     1545   3826 |        0 |        0
471.22/471.37	c  471s |      23 |  2441785 |  2337138 |     1545   3838 |        0 |        0
473.22/473.38	c  473s |      23 |  2451391 |  2346538 |     1545   3849 |        0 |        0
475.23/475.39	c  475s |      23 |  2460892 |  2355738 |     1545   3861 |        0 |        0
477.33/477.41	c  477s |      23 |  2470606 |  2365138 |     1545   3872 |        0 |        0
479.32/479.43	c  479s |      23 |  2480003 |  2374238 |     1545   3884 |        0 |        0
481.32/481.43	c  481s |      23 |  2489791 |  2383638 |     1545   3895 |        0 |        0
483.32/483.44	c  483s |      23 |  2499725 |  2393138 |     1545   3907 |        0 |        0
485.32/485.45	c  485s |      23 |  2509316 |  2402438 |     1545   3918 |        0 |        0
487.32/487.45	c  487s |      23 |  2518855 |  2411638 |     1545   3930 |        0 |        0
489.32/489.45	c  489s |      23 |  2528374 |  2420838 |     1545   3941 |        0 |        0
491.32/491.48	c  491s |      23 |  2538192 |  2430238 |     1545   3953 |        0 |        0
493.32/493.48	c  493s |      23 |  2547640 |  2439338 |     1545   3964 |        0 |        0
495.42/495.50	c  495s |      23 |  2557090 |  2448438 |     1545   3975 |        0 |        0
497.41/497.50	c  497s |      23 |  2566416 |  2457338 |     1545   3986 |        0 |        0
499.42/499.52	c  499s |      23 |  2575902 |  2466638 |     1545   3997 |        0 |        0
501.41/501.54	c  501s |      23 |  2585931 |  2476338 |     1545   4009 |        0 |        0
503.41/503.55	c  503s |      23 |  2595847 |  2485838 |     1545   4021 |        0 |        0
505.41/505.56	c  505s |      23 |  2605308 |  2494738 |     1545   4032 |        0 |        0
507.41/507.57	c  507s |      23 |  2614787 |  2503838 |     1545   4043 |        0 |        0
509.41/509.58	c  509s |      23 |  2624447 |  2513238 |     1545   4055 |        0 |        0
511.42/511.59	c  511s |      23 |  2634059 |  2522638 |     1545   4066 |        0 |        0
513.41/513.59	c  513s |      23 |  2643511 |  2531838 |     1545   4078 |        0 |        0
515.51/515.60	c  515s |      23 |  2652955 |  2541038 |     1545   4089 |        0 |        0
517.51/517.61	c  517s |      23 |  2662411 |  2550138 |     1545   4100 |        0 |        0
519.51/519.62	c  519s |      23 |  2672055 |  2559538 |     1545   4112 |        0 |        0
521.51/521.63	c  521s |      23 |  2681502 |  2568738 |     1545   4123 |        0 |        0
523.52/523.65	c  523s |      23 |  2691229 |  2578038 |     1545   4135 |        0 |        0
525.51/525.66	c  525s |      23 |  2700530 |  2587038 |     1545   4146 |        0 |        0
527.51/527.67	c  527s |      23 |  2710326 |  2596438 |     1545   4157 |        0 |        0
529.51/529.69	c  529s |      23 |  2719935 |  2605738 |     1545   4169 |        0 |        0
531.61/531.71	c  531s |      23 |  2729337 |  2614938 |     1545   4180 |        0 |        0
533.61/533.73	c  533s |      23 |  2738965 |  2624338 |     1545   4192 |        0 |        0
535.62/535.73	c  535s |      23 |  2748381 |  2633438 |     1545   4203 |        0 |        0
537.61/537.74	c  537s |      23 |  2757922 |  2642738 |     1545   4214 |        0 |        0
539.61/539.76	c  539s |      23 |  2767389 |  2651938 |     1545   4226 |        0 |        0
541.61/541.76	c  541s |      23 |  2776821 |  2661138 |     1545   4237 |        0 |        0
543.61/543.79	c  543s |      23 |  2786394 |  2670438 |     1545   4249 |        0 |        0
545.71/545.81	c  545s |      23 |  2796216 |  2679938 |     1545   4260 |        0 |        0
547.72/547.81	c  547s |      23 |  2805621 |  2689038 |     1545   4272 |        0 |        0
549.71/549.82	c  549s |      23 |  2814983 |  2698138 |     1545   4283 |        0 |        0
551.71/551.84	c  551s |      23 |  2824596 |  2707438 |     1545   4294 |        0 |        0
553.71/553.85	c  553s |      23 |  2834178 |  2716638 |     1545   4306 |        0 |        0
555.71/555.86	c  555s |      23 |  2843483 |  2725538 |     1545   4317 |        0 |        0
557.71/557.88	c  557s |      23 |  2853141 |  2734838 |     1545   4328 |        0 |        0
559.70/559.88	c  559s |      23 |  2862462 |  2743938 |     1545   4339 |        0 |        0
561.70/561.89	c  561s |      23 |  2871615 |  2752838 |     1545   4350 |        0 |        0
563.80/563.92	c  563s |      23 |  2881094 |  2762038 |     1545   4362 |        0 |        0
565.80/565.93	c  565s |      23 |  2890727 |  2771438 |     1545   4373 |        0 |        0
567.80/567.94	c  567s |      23 |  2900520 |  2781038 |     1545   4385 |        0 |        0
569.81/569.96	c  569s |      23 |  2909998 |  2790338 |     1545   4396 |        0 |        0
571.80/571.96	c  571s |      23 |  2919432 |  2799438 |     1545   4408 |        0 |        0
573.80/573.97	c  573s |      23 |  2929001 |  2808738 |     1545   4419 |        0 |        0
575.80/575.98	c  575s |      23 |  2938523 |  2818038 |     1545   4430 |        0 |        0
577.80/577.99	c  577s |      23 |  2948139 |  2827338 |     1545   4442 |        0 |        0
579.90/580.01	c  579s |      23 |  2957665 |  2836738 |     1545   4454 |        0 |        0
581.91/582.03	c  582s |      23 |  2967122 |  2846038 |     1545   4465 |        0 |        0
583.90/584.05	c  584s |      23 |  2976674 |  2855338 |     1545   4476 |        0 |        0
585.90/586.05	c  586s |      23 |  2985958 |  2864438 |     1545   4488 |        0 |        0
587.90/588.07	c  588s |      23 |  2995482 |  2873738 |     1545   4499 |        0 |        0
589.90/590.09	c  590s |      23 |  3005131 |  2883138 |     1545   4511 |        0 |        0
592.00/592.11	c  592s |      23 |  3014763 |  2892438 |     1545   4522 |        0 |        0
594.00/594.11	c  594s |      23 |  3023908 |  2901238 |     1545   4533 |        0 |        0
595.99/596.13	c  596s |      23 |  3033604 |  2910438 |     1545   4544 |        0 |        0
597.99/598.14	c  598s |      23 |  3042984 |  2919638 |     1545   4556 |        0 |        0
599.99/600.15	c  600s |      23 |  3052577 |  2929038 |     1545   4567 |        0 |        0
601.99/602.15	c  602s |      23 |  3062128 |  2938338 |     1545   4579 |        0 |        0
603.99/604.16	c  604s |      23 |  3071638 |  2947538 |     1545   4590 |        0 |        0
606.00/606.17	c  606s |      23 |  3080780 |  2956538 |     1545   4601 |        0 |        0
608.00/608.17	c  608s |      23 |  3090041 |  2965538 |     1545   4613 |        0 |        0
610.00/610.17	c  610s |      23 |  3099109 |  2974338 |     1545   4623 |        0 |        0
612.00/612.19	c  612s |      23 |  3108425 |  2983438 |     1545   4635 |        0 |        0
614.10/614.21	c  614s |      23 |  3117749 |  2992638 |     1545   4646 |        0 |        0
616.10/616.21	c  616s |      23 |  3127095 |  3001838 |     1545   4657 |        0 |        0
618.11/618.23	c  618s |      23 |  3136359 |  3010938 |     1545   4669 |        0 |        0
620.10/620.24	c  620s |      23 |  3145705 |  3020138 |     1545   4680 |        0 |        0
622.10/622.27	c  622s |      23 |  3154904 |  3029138 |     1545   4691 |        0 |        0
624.10/624.27	c  624s |      23 |  3163768 |  3037838 |     1545   4702 |        0 |        0
626.10/626.27	c  626s |      23 |  3173506 |  3047238 |     1545   4713 |        0 |        0
628.10/628.28	c  628s |      23 |  3183192 |  3056638 |     1545   4725 |        0 |        0
630.10/630.28	c  630s |      23 |  3192729 |  3065738 |     1545   4736 |        0 |        0
632.20/632.30	c  632s |      23 |  3202377 |  3075138 |     1545   4748 |        0 |        0
634.20/634.31	c  634s |      23 |  3211913 |  3084438 |     1545   4759 |        0 |        0
636.20/636.32	c  636s |      23 |  3221439 |  3093538 |     1545   4770 |        0 |        0
638.19/638.33	c  638s |      23 |  3230925 |  3102738 |     1545   4782 |        0 |        0
640.20/640.34	c  640s |      23 |  3240312 |  3111938 |     1545   4793 |        0 |        0
642.19/642.35	c  642s |      23 |  3249722 |  3121038 |     1545   4804 |        0 |        0
644.19/644.36	c  644s |      23 |  3259241 |  3130038 |     1545   4815 |        0 |        0
646.19/646.37	c  646s |      23 |  3268643 |  3139238 |     1545   4827 |        0 |        0
648.19/648.39	c  648s |      23 |  3277984 |  3148338 |     1545   4838 |        0 |        0
650.29/650.41	c  650s |      23 |  3287646 |  3157738 |     1545   4849 |        0 |        0
652.30/652.42	c  652s |      23 |  3297076 |  3166838 |     1545   4861 |        0 |        0
654.29/654.44	c  654s |      23 |  3306189 |  3175638 |     1545   4872 |        0 |        0
656.29/656.45	c  656s |      23 |  3315234 |  3184238 |     1545   4882 |        0 |        0
658.29/658.45	c  658s |      23 |  3324717 |  3193438 |     1545   4894 |        0 |        0
660.29/660.46	c  660s |      23 |  3334152 |  3202538 |     1545   4905 |        0 |        0
662.29/662.47	c  662s |      23 |  3343522 |  3211538 |     1545   4916 |        0 |        0
664.29/664.48	c  664s |      23 |  3352730 |  3220438 |     1545   4927 |        0 |        0
666.39/666.50	c  666s |      23 |  3361927 |  3229438 |     1545   4938 |        0 |        0
668.39/668.50	c  668s |      23 |  3371171 |  3238338 |     1545   4949 |        0 |        0
670.39/670.51	c  670s |      23 |  3380487 |  3247338 |     1545   4960 |        0 |        0
672.38/672.53	c  672s |      23 |  3390139 |  3256738 |     1545   4972 |        0 |        0
674.38/674.55	c  674s |      23 |  3399483 |  3265838 |     1545   4983 |        0 |        0
676.39/676.57	c  676s |      23 |  3408824 |  3274938 |     1545   4994 |        0 |        0
678.38/678.58	c  678s |      23 |  3417936 |  3283838 |     1545   5005 |        0 |        0
680.38/680.59	c  680s |      23 |  3427163 |  3292838 |     1545   5016 |        0 |        0
682.48/682.60	c  682s |      23 |  3436564 |  3301938 |     1545   5027 |        0 |        0
684.48/684.60	c  684s |      23 |  3445734 |  3310838 |     1545   5038 |        0 |        0
686.48/686.62	c  686s |      23 |  3455650 |  3320538 |     1545   5050 |        0 |        0
688.49/688.63	c  688s |      23 |  3465406 |  3330138 |     1545   5062 |        0 |        0
690.48/690.64	c  690s |      23 |  3474980 |  3339538 |     1545   5074 |        0 |        0
692.49/692.66	c  692s |      23 |  3484572 |  3348938 |     1545   5085 |        0 |        0
694.49/694.67	c  694s |      23 |  3494062 |  3358138 |     1700   5096 |        0 |        0
696.49/696.67	c  696s |      23 |  3503054 |  3366938 |     1700   5106 |        0 |        0
698.49/698.67	c  698s |      23 |  3512471 |  3376138 |     1700   5116 |        0 |        0
698.59/698.79	c  698s |      24 |  3513024 |  3376662 |     1700   5117 |        0 |        0
700.69/700.81	c  700s |      24 |  3522911 |  3386162 |     1700   5127 |        0 |        0
702.68/702.83	c  702s |      24 |  3532313 |  3395162 |     1700   5138 |        0 |        0
704.68/704.84	c  704s |      24 |  3541594 |  3404062 |     1700   5148 |        0 |        0
706.68/706.86	c  706s |      24 |  3551191 |  3413162 |     1700   5158 |        0 |        0
708.68/708.86	c  708s |      24 |  3560877 |  3422362 |     1700   5168 |        0 |        0
710.68/710.87	c  710s |      24 |  3570259 |  3431562 |     1700   5178 |        0 |        0
712.69/712.88	c  712s |      24 |  3579767 |  3440562 |     1700   5189 |        0 |        0
714.78/714.90	c  714s |      24 |  3589293 |  3449762 |     1700   5199 |        0 |        0
716.78/716.92	c  716s |      24 |  3599313 |  3459262 |     1700   5210 |        0 |        0
718.77/718.92	c  718s |      24 |  3609365 |  3468762 |     1700   5220 |        0 |        0
720.77/720.93	c  720s |      24 |  3619139 |  3478262 |     1700   5231 |        0 |        0
722.78/722.94	c  722s |      24 |  3628830 |  3487662 |     1700   5241 |        0 |        0
724.78/724.96	c  724s |      24 |  3638294 |  3496662 |     1700   5252 |        0 |        0
726.77/726.96	c  726s |      24 |  3647823 |  3505862 |     1700   5262 |        0 |        0
728.77/728.98	c  728s |      24 |  3657275 |  3514962 |     1700   5272 |        0 |        0
730.87/731.00	c  730s |      24 |  3666636 |  3524062 |     1700   5282 |        0 |        0
732.87/733.00	c  732s |      24 |  3676043 |  3533262 |     1700   5293 |        0 |        0
734.86/735.01	c  734s |      24 |  3685427 |  3542462 |     1700   5303 |        0 |        0
736.87/737.01	c  736s |      24 |  3694953 |  3551662 |     1700   5313 |        0 |        0
738.86/739.02	c  739s |      24 |  3704328 |  3560562 |     1700   5323 |        0 |        0
740.86/741.05	c  741s |      24 |  3713703 |  3569562 |     1700   5334 |        0 |        0
742.86/743.05	c  743s |      24 |  3723007 |  3578662 |     1700   5344 |        0 |        0
744.85/745.07	c  745s |      24 |  3732357 |  3587562 |     1700   5354 |        0 |        0
746.86/747.07	c  747s |      24 |  3741404 |  3596262 |     1700   5364 |        0 |        0
748.85/749.10	c  749s |      24 |  3751216 |  3605562 |     1700   5374 |        0 |        0
750.95/751.10	c  751s |      24 |  3761227 |  3615162 |     1700   5385 |        0 |        0
752.95/753.12	c  753s |      24 |  3770855 |  3624562 |     1700   5395 |        0 |        0
754.96/755.12	c  755s |      24 |  3780319 |  3633862 |     1700   5406 |        0 |        0
756.96/757.12	c  757s |      24 |  3789755 |  3642962 |     1700   5416 |        0 |        0
758.97/759.14	c  759s |      24 |  3799187 |  3652262 |     1700   5427 |        0 |        0
760.96/761.16	c  761s |      24 |  3808731 |  3661462 |     1700   5437 |        0 |        0
762.96/763.17	c  763s |      24 |  3818358 |  3670662 |     1700   5447 |        0 |        0
764.95/765.18	c  765s |      24 |  3827720 |  3679662 |     1700   5457 |        0 |        0
767.05/767.20	c  767s |      24 |  3836888 |  3688562 |     1700   5467 |        0 |        0
769.05/769.22	c  769s |      24 |  3846532 |  3697762 |     1700   5478 |        0 |        0
771.06/771.24	c  771s |      24 |  3855909 |  3706662 |     1700   5488 |        0 |        0
773.05/773.26	c  773s |      24 |  3865219 |  3715662 |     1700   5498 |        0 |        0
775.05/775.26	c  775s |      24 |  3874242 |  3724462 |     1700   5508 |        0 |        0
777.05/777.27	c  777s |      24 |  3883627 |  3733462 |     1700   5518 |        0 |        0
779.05/779.27	c  779s |      24 |  3892996 |  3742462 |     1700   5528 |        0 |        0
781.05/781.29	c  781s |      24 |  3902455 |  3751662 |     1700   5538 |        0 |        0
783.06/783.29	c  783s |      24 |  3911540 |  3760462 |     1700   5548 |        0 |        0
785.14/785.31	c  785s |      24 |  3920776 |  3769362 |     1700   5558 |        0 |        0
787.14/787.31	c  787s |      24 |  3929758 |  3777962 |     1700   5568 |        0 |        0
789.14/789.33	c  789s |      24 |  3938912 |  3786762 |     1700   5578 |        0 |        0
791.14/791.34	c  791s |      24 |  3948619 |  3795962 |     1700   5588 |        0 |        0
793.14/793.37	c  793s |      24 |  3958125 |  3805162 |     1700   5599 |        0 |        0
795.15/795.38	c  795s |      24 |  3967540 |  3814362 |     1700   5609 |        0 |        0
797.24/797.40	c  797s |      24 |  3976923 |  3823562 |     1700   5619 |        0 |        0
799.24/799.41	c  799s |      24 |  3986291 |  3832662 |     1700   5629 |        0 |        0
801.24/801.41	c  801s |      24 |  3995572 |  3841662 |     1700   5640 |        0 |        0
803.23/803.41	c  803s |      24 |  4004843 |  3850562 |     1700   5650 |        0 |        0
805.23/805.42	c  805s |      24 |  4013939 |  3859362 |     1700   5660 |        0 |        0
807.24/807.42	c  807s |      24 |  4023328 |  3868562 |     1700   5670 |        0 |        0
809.23/809.44	c  809s |      24 |  4032706 |  3877662 |     1700   5680 |        0 |        0
811.23/811.45	c  811s |      24 |  4041584 |  3886162 |     1700   5690 |        0 |        0
813.23/813.46	c  813s |      24 |  4050810 |  3895062 |     1700   5700 |        0 |        0
815.23/815.47	c  815s |      24 |  4060179 |  3904062 |     1700   5710 |        0 |        0
817.23/817.49	c  817s |      24 |  4069573 |  3913162 |     1700   5720 |        0 |        0
819.33/819.50	c  819s |      24 |  4078850 |  3922162 |     1700   5730 |        0 |        0
821.32/821.52	c  821s |      24 |  4087904 |  3930962 |     1700   5740 |        0 |        0
823.32/823.54	c  823s |      24 |  4097705 |  3940362 |     1700   5751 |        0 |        0
825.32/825.55	c  825s |      24 |  4107327 |  3949562 |     1700   5761 |        0 |        0
827.31/827.56	c  827s |      24 |  4116758 |  3958662 |     1700   5771 |        0 |        0
829.32/829.59	c  829s |      24 |  4126307 |  3967862 |     1700   5782 |        0 |        0
831.31/831.59	c  831s |      24 |  4135541 |  3976762 |     1700   5792 |        0 |        0
833.41/833.61	c  833s |      24 |  4144567 |  3985362 |     1700   5801 |        0 |        0
835.41/835.62	c  835s |      24 |  4153785 |  3994162 |     1700   5811 |        0 |        0
837.41/837.63	c  837s |      24 |  4162888 |  4003062 |     1700   5821 |        0 |        0
839.41/839.63	c  839s |      24 |  4171996 |  4011862 |     1700   5831 |        0 |        0
841.42/841.63	c  841s |      24 |  4181272 |  4020862 |     1700   5841 |        0 |        0
843.40/843.64	c  843s |      24 |  4190243 |  4029562 |     1700   5851 |        0 |        0
845.40/845.65	c  845s |      24 |  4199525 |  4038462 |     1700   5861 |        0 |        0
847.40/847.66	c  847s |      24 |  4208909 |  4047662 |     1700   5871 |        0 |        0
849.41/849.67	c  849s |      24 |  4218447 |  4056762 |     1700   5882 |        0 |        0
851.41/851.69	c  851s |      24 |  4227748 |  4065862 |     1700   5892 |        0 |        0
853.52/853.71	c  853s |      24 |  4237020 |  4074862 |     1700   5902 |        0 |        0
855.51/855.71	c  855s |      24 |  4246220 |  4083762 |     1700   5912 |        0 |        0
857.51/857.73	c  857s |      24 |  4255398 |  4092562 |     1700   5922 |        0 |        0
859.51/859.74	c  859s |      24 |  4264511 |  4101462 |     1700   5932 |        0 |        0
861.51/861.76	c  861s |      24 |  4273595 |  4110262 |     1700   5942 |        0 |        0
863.50/863.76	c  863s |      24 |  4282913 |  4119262 |     1700   5952 |        0 |        0
865.51/865.77	c  865s |      24 |  4292190 |  4128262 |     1700   5962 |        0 |        0
867.50/867.78	c  867s |      24 |  4301574 |  4137262 |     1700   5972 |        0 |        0
869.50/869.80	c  869s |      24 |  4310621 |  4146062 |     1700   5982 |        0 |        0
871.60/871.80	c  871s |      24 |  4319818 |  4154962 |     1700   5992 |        0 |        0
873.60/873.82	c  873s |      24 |  4328939 |  4163762 |     1700   6002 |        0 |        0
875.60/875.84	c  875s |      24 |  4338047 |  4172562 |     1700   6012 |        0 |        0
877.60/877.85	c  877s |      24 |  4347036 |  4181162 |     1700   6021 |        0 |        0
879.60/879.85	c  879s |      24 |  4355797 |  4189662 |     1700   6031 |        0 |        0
881.60/881.86	c  881s |      24 |  4365122 |  4198762 |     1700   6041 |        0 |        0
883.59/883.87	c  883s |      24 |  4374448 |  4207762 |     1700   6051 |        0 |        0
885.59/885.88	c  885s |      24 |  4383559 |  4216562 |     1700   6061 |        0 |        0
887.60/887.89	c  887s |      24 |  4392638 |  4225262 |     1700   6071 |        0 |        0
889.59/889.89	c  889s |      24 |  4401637 |  4233762 |     1700   6081 |        0 |        0
891.59/891.89	c  891s |      24 |  4410413 |  4242362 |     1700   6090 |        0 |        0
893.69/893.91	c  893s |      24 |  4419341 |  4250962 |     1700   6100 |        0 |        0
895.69/895.91	c  895s |      24 |  4428874 |  4260162 |     1700   6110 |        0 |        0
897.69/897.91	c  897s |      24 |  4438575 |  4269562 |     1700   6121 |        0 |        0
899.69/899.92	c  899s |      24 |  4448262 |  4278862 |     1700   6131 |        0 |        0
901.69/901.94	c  901s |      24 |  4457851 |  4288062 |     1700   6142 |        0 |        0
903.68/903.96	c  903s |      24 |  4467338 |  4297162 |     1700   6152 |        0 |        0
905.68/905.96	c  905s |      24 |  4476966 |  4306362 |     1700   6162 |        0 |        0
907.68/907.97	c  907s |      24 |  4486565 |  4315562 |     1700   6173 |        0 |        0
909.68/909.98	c  909s |      24 |  4495723 |  4324462 |     1700   6183 |        0 |        0
911.69/912.00	c  911s |      24 |  4505011 |  4333462 |     1700   6193 |        0 |        0
913.78/914.00	c  913s |      24 |  4514421 |  4342462 |     1700   6203 |        0 |        0
915.78/916.01	c  915s |      24 |  4523723 |  4351362 |     1700   6213 |        0 |        0
917.77/918.02	c  918s |      24 |  4532985 |  4360262 |     1700   6223 |        0 |        0
919.77/920.03	c  920s |      24 |  4542482 |  4369362 |     1700   6233 |        0 |        0
921.77/922.04	c  922s |      24 |  4551734 |  4378362 |     1700   6243 |        0 |        0
923.78/924.04	c  924s |      24 |  4560933 |  4387162 |     1700   6253 |        0 |        0
925.77/926.05	c  926s |      24 |  4569883 |  4395862 |     1700   6263 |        0 |        0
927.77/928.06	c  928s |      24 |  4578974 |  4404562 |     1700   6273 |        0 |        0
929.77/930.07	c  930s |      24 |  4588823 |  4414062 |     1700   6283 |        0 |        0
931.77/932.08	c  932s |      24 |  4598260 |  4423262 |     1700   6294 |        0 |        0
933.86/934.10	c  934s |      24 |  4607292 |  4432062 |     1700   6304 |        0 |        0
935.76/936.10	c  936s |      24 |  4616581 |  4441062 |     1700   6314 |        0 |        0
937.86/938.10	c  938s |      24 |  4625727 |  4449962 |     1700   6324 |        0 |        0
939.86/940.12	c  940s |      24 |  4635179 |  4459162 |     1700   6334 |        0 |        0
941.86/942.13	c  942s |      24 |  4644716 |  4468362 |     1700   6344 |        0 |        0
943.86/944.14	c  944s |      24 |  4653704 |  4476962 |     1700   6354 |        0 |        0
945.86/946.14	c  946s |      24 |  4663019 |  4486062 |     1700   6364 |        0 |        0
947.85/948.15	c  948s |      24 |  4672206 |  4494862 |     1700   6374 |        0 |        0
949.85/950.17	c  950s |      24 |  4681478 |  4503762 |     1700   6384 |        0 |        0
951.85/952.18	c  952s |      24 |  4690735 |  4512762 |     1700   6394 |        0 |        0
953.95/954.20	c  954s |      24 |  4699964 |  4521662 |     1700   6404 |        0 |        0
955.95/956.21	c  956s |      24 |  4708969 |  4530462 |     1700   6414 |        0 |        0
957.95/958.22	c  958s |      24 |  4718060 |  4539262 |     1700   6424 |        0 |        0
959.95/960.22	c  960s |      24 |  4726949 |  4547862 |     1700   6434 |        0 |        0
961.94/962.22	c  962s |      24 |  4735752 |  4556462 |     1700   6444 |        0 |        0
963.94/964.23	c  964s |      24 |  4745023 |  4565362 |     1700   6454 |        0 |        0
965.94/966.23	c  966s |      24 |  4754586 |  4574662 |     1700   6464 |        0 |        0
967.94/968.25	c  968s |      24 |  4764153 |  4583962 |     1700   6475 |        0 |        0
969.95/970.26	c  970s |      24 |  4773521 |  4593062 |     1700   6485 |        0 |        0
971.94/972.27	c  972s |      24 |  4782766 |  4601962 |     1700   6495 |        0 |        0
973.93/974.27	c  974s |      24 |  4791965 |  4610762 |     1700   6505 |        0 |        0
975.93/976.29	c  976s |      24 |  4801245 |  4619762 |     1700   6515 |        0 |        0
978.03/978.30	c  978s |      24 |  4810772 |  4628462 |     1700   6525 |        0 |        0
980.04/980.31	c  980s |      24 |  4819825 |  4637262 |     1700   6535 |        0 |        0
982.05/982.33	c  982s |      24 |  4828975 |  4646162 |     1700   6545 |        0 |        0
984.04/984.35	c  984s |      24 |  4838169 |  4655062 |     1700   6555 |        0 |        0
986.04/986.37	c  986s |      24 |  4847216 |  4663862 |     1700   6565 |        0 |        0
988.04/988.37	c  988s |      24 |  4856381 |  4672762 |     1700   6575 |        0 |        0
990.03/990.38	c  990s |      24 |  4865578 |  4681362 |     1700   6584 |        0 |        0
992.04/992.39	c  992s |      24 |  4874575 |  4689962 |     1700   6594 |        0 |        0
994.03/994.39	c  994s |      24 |  4883701 |  4698662 |     1700   6604 |        0 |        0
996.13/996.42	c  996s |      24 |  4893163 |  4707362 |     1700   6614 |        0 |        0
998.13/998.44	c  998s |      24 |  4902343 |  4716162 |     1700   6623 |        0 |        0
1000.13/1000.44	c 1000s |      24 |  4911198 |  4724762 |     1700   6633 |        0 |        0
1002.13/1002.44	c 1002s |      24 |  4920144 |  4733362 |     1700   6643 |        0 |        0
1004.13/1004.46	c 1004s |      24 |  4929472 |  4742362 |     1700   6653 |        0 |        0
1006.12/1006.48	c 1006s |      24 |  4938710 |  4751262 |     1700   6663 |        0 |        0
1008.12/1008.49	c 1008s |      24 |  4948245 |  4760062 |     1700   6673 |        0 |        0
1010.12/1010.49	c 1010s |      24 |  4957409 |  4768862 |     1700   6683 |        0 |        0
1012.22/1012.50	c 1012s |      24 |  4966616 |  4777562 |     1700   6693 |        0 |        0
1014.22/1014.52	c 1014s |      24 |  4975854 |  4786462 |     1700   6703 |        0 |        0
1016.23/1016.52	c 1016s |      24 |  4984900 |  4795162 |     1700   6712 |        0 |        0
1018.22/1018.54	c 1018s |      24 |  4994037 |  4803862 |     1700   6722 |        0 |        0
1020.22/1020.55	c 1020s |      24 |  5002933 |  4812462 |     1700   6732 |        0 |        0
1022.21/1022.56	c 1022s |      24 |  5012026 |  4821262 |     1700   6742 |        0 |        0
1024.21/1024.58	c 1024s |      24 |  5020981 |  4829962 |     1700   6752 |        0 |        0
1026.31/1026.60	c 1026s |      24 |  5029907 |  4838562 |     1700   6761 |        0 |        0
1028.32/1028.61	c 1028s |      24 |  5039623 |  4847562 |     1700   6771 |        0 |        0
1030.32/1030.62	c 1030s |      24 |  5048792 |  4856262 |     1700   6781 |        0 |        0
1032.32/1032.62	c 1032s |      24 |  5057911 |  4864962 |     1700   6791 |        0 |        0
1034.31/1034.62	c 1034s |      24 |  5066962 |  4873662 |     1700   6801 |        0 |        0
1036.31/1036.64	c 1036s |      24 |  5076047 |  4882362 |     1700   6811 |        0 |        0
1038.31/1038.65	c 1038s |      24 |  5085048 |  4890962 |     1700   6820 |        0 |        0
1040.32/1040.67	c 1040s |      24 |  5094049 |  4899462 |     1700   6830 |        0 |        0
1042.31/1042.67	c 1042s |      24 |  5102891 |  4907862 |     1700   6840 |        0 |        0
1044.31/1044.68	c 1044s |      24 |  5112000 |  4916362 |     1700   6849 |        0 |        0
1046.41/1046.70	c 1046s |      24 |  5120760 |  4924762 |     1700   6859 |        0 |        0
1048.41/1048.71	c 1048s |      24 |  5129636 |  4933162 |     1700   6868 |        0 |        0
1050.41/1050.72	c 1050s |      24 |  5138423 |  4941562 |     1700   6878 |        0 |        0
1052.42/1052.73	c 1052s |      24 |  5147814 |  4950662 |     1700   6888 |        0 |        0
1054.40/1054.74	c 1054s |      24 |  5157390 |  4959862 |     1700   6898 |        0 |        0
1056.40/1056.76	c 1056s |      24 |  5166816 |  4968862 |     1700   6908 |        0 |        0
1058.40/1058.76	c 1058s |      24 |  5176028 |  4977762 |     1700   6918 |        0 |        0
1060.40/1060.79	c 1060s |      24 |  5185084 |  4986262 |     1700   6928 |        0 |        0
1062.50/1062.80	c 1062s |      24 |  5194416 |  4994862 |     1700   6937 |        0 |        0
1064.50/1064.82	c 1064s |      24 |  5203377 |  5003362 |     1700   6947 |        0 |        0
1066.49/1066.84	c 1066s |      24 |  5212406 |  5012062 |     1700   6957 |        0 |        0
1068.49/1068.85	c 1068s |      24 |  5221270 |  5020562 |     1700   6966 |        0 |        0
1070.49/1070.85	c 1070s |      24 |  5230284 |  5029362 |     1871   6976 |        0 |        0
1072.49/1072.85	c 1072s |      24 |  5238980 |  5037762 |     1871   6985 |        0 |        0
1074.49/1074.85	c 1074s |      24 |  5247395 |  5045962 |     1871   6993 |        0 |        0
1076.49/1076.87	c 1076s |      24 |  5256430 |  5054662 |     1871   7002 |        0 |        0
1078.49/1078.87	c 1078s |      24 |  5265356 |  5063362 |     1871   7011 |        0 |        0
1078.89/1079.27	c 1079s |      25 |  5267113 |  5065098 |     1871   7013 |        0 |        0
1080.88/1081.28	c 1081s |      25 |  5276330 |  5073898 |     1871   7022 |        0 |        0
1082.88/1083.29	c 1083s |      25 |  5285724 |  5082798 |     1871   7031 |        0 |        0
1084.98/1085.31	c 1085s |      25 |  5294981 |  5091698 |     1871   7040 |        0 |        0
1086.99/1087.32	c 1087s |      25 |  5304231 |  5100598 |     1871   7049 |        0 |        0
1088.98/1089.32	c 1089s |      25 |  5313528 |  5109698 |     1871   7058 |        0 |        0
1090.99/1091.33	c 1091s |      25 |  5322746 |  5118698 |     1871   7068 |        0 |        0
1092.98/1093.33	c 1093s |      25 |  5331916 |  5127498 |     1871   7077 |        0 |        0
1094.98/1095.34	c 1095s |      25 |  5340944 |  5136298 |     1871   7086 |        0 |        0
1096.98/1097.36	c 1097s |      25 |  5350215 |  5145198 |     1871   7095 |        0 |        0
1098.98/1099.37	c 1099s |      25 |  5359404 |  5154098 |     1871   7104 |        0 |        0
1100.98/1101.38	c 1101s |      25 |  5368823 |  5163298 |     1871   7113 |        0 |        0
1102.99/1103.39	c 1103s |      25 |  5377742 |  5171898 |     1871   7122 |        0 |        0
1104.97/1105.40	c 1105s |      25 |  5386632 |  5180398 |     1871   7131 |        0 |        0
1107.07/1107.40	c 1107s |      25 |  5395263 |  5188698 |     1871   7139 |        0 |        0
1109.07/1109.41	c 1109s |      25 |  5404336 |  5197398 |     1871   7148 |        0 |        0
1111.07/1111.42	c 1111s |      25 |  5413634 |  5206398 |     1871   7157 |        0 |        0
1113.07/1113.43	c 1113s |      25 |  5422649 |  5215198 |     1871   7166 |        0 |        0
1115.08/1115.44	c 1115s |      25 |  5431375 |  5223698 |     1871   7175 |        0 |        0
1117.07/1117.45	c 1117s |      25 |  5440699 |  5232598 |     1871   7184 |        0 |        0
1119.07/1119.46	c 1119s |      25 |  5449705 |  5241298 |     1871   7193 |        0 |        0
1121.07/1121.48	c 1121s |      25 |  5458746 |  5249798 |     1871   7202 |        0 |        0
1123.07/1123.48	c 1123s |      25 |  5467486 |  5258098 |     1871   7210 |        0 |        0
1125.17/1125.50	c 1125s |      25 |  5476765 |  5267098 |     1871   7220 |        0 |        0
1127.17/1127.53	c 1127s |      25 |  5485863 |  5275898 |     1871   7229 |        0 |        0
1129.16/1129.54	c 1129s |      25 |  5494828 |  5284398 |     1871   7237 |        0 |        0
1131.16/1131.54	c 1131s |      25 |  5503764 |  5292998 |     1871   7246 |        0 |        0
1133.16/1133.56	c 1133s |      25 |  5512580 |  5301598 |     1871   7255 |        0 |        0
1135.16/1135.56	c 1135s |      25 |  5521277 |  5310098 |     1871   7264 |        0 |        0
1137.17/1137.58	c 1137s |      25 |  5530026 |  5318698 |     1871   7272 |        0 |        0
1139.16/1139.60	c 1139s |      25 |  5538664 |  5326898 |     1871   7281 |        0 |        0
1141.26/1141.60	c 1141s |      25 |  5547440 |  5335298 |     1871   7289 |        0 |        0
1143.25/1143.61	c 1143s |      25 |  5556132 |  5343698 |     1871   7298 |        0 |        0
1145.25/1145.64	c 1145s |      25 |  5565021 |  5352098 |     1871   7307 |        0 |        0
1147.25/1147.64	c 1147s |      25 |  5574105 |  5360998 |     1871   7316 |        0 |        0
1149.26/1149.64	c 1149s |      25 |  5582989 |  5369698 |     1871   7325 |        0 |        0
1151.25/1151.67	c 1151s |      25 |  5591821 |  5378298 |     1871   7334 |        0 |        0
1153.25/1153.68	c 1153s |      25 |  5600603 |  5386898 |     1871   7342 |        0 |        0
1155.25/1155.68	c 1155s |      25 |  5609410 |  5395498 |     1871   7351 |        0 |        0
1157.25/1157.69	c 1157s |      25 |  5618079 |  5403898 |     1871   7360 |        0 |        0
1159.25/1159.70	c 1159s |      25 |  5626699 |  5412298 |     1871   7368 |        0 |        0
1161.26/1161.70	c 1161s |      25 |  5635093 |  5420398 |     1871   7377 |        0 |        0
1163.34/1163.70	c 1163s |      25 |  5643958 |  5428998 |     1871   7385 |        0 |        0
1165.34/1165.71	c 1165s |      25 |  5652604 |  5437398 |     1871   7394 |        0 |        0
1167.34/1167.74	c 1167s |      25 |  5661098 |  5445698 |     1871   7403 |        0 |        0
1169.34/1169.74	c 1169s |      25 |  5669780 |  5454198 |     1871   7411 |        0 |        0
1171.34/1171.74	c 1171s |      25 |  5678673 |  5462898 |     1871   7420 |        0 |        0
1173.34/1173.76	c 1173s |      25 |  5687639 |  5471698 |     1871   7429 |        0 |        0
1175.34/1175.76	c 1175s |      25 |  5696467 |  5480298 |     1871   7438 |        0 |        0
1177.34/1177.77	c 1177s |      25 |  5705506 |  5488798 |     1871   7447 |        0 |        0
1179.34/1179.79	c 1179s |      25 |  5714631 |  5497598 |     1871   7456 |        0 |        0
1181.44/1181.81	c 1181s |      25 |  5723554 |  5506198 |     1871   7465 |        0 |        0
1183.43/1183.82	c 1183s |      25 |  5732478 |  5514798 |     1871   7473 |        0 |        0
1185.44/1185.84	c 1185s |      25 |  5741359 |  5523398 |     1871   7482 |        0 |        0
1187.43/1187.87	c 1187s |      25 |  5750008 |  5531698 |     1871   7491 |        0 |        0
1189.43/1189.87	c 1189s |      25 |  5758801 |  5540198 |     1871   7499 |        0 |        0
1191.43/1191.89	c 1191s |      25 |  5767550 |  5548598 |     1871   7508 |        0 |        0
1193.52/1193.92	c 1193s |      25 |  5776081 |  5556898 |     1871   7517 |        0 |        0
1195.52/1195.93	c 1195s |      25 |  5784860 |  5565398 |     1871   7525 |        0 |        0
1197.53/1197.94	c 1197s |      25 |  5793787 |  5573998 |     1871   7534 |        0 |        0
1199.52/1199.95	c 1199s |      25 |  5802423 |  5582398 |     1871   7543 |        0 |        0
1201.52/1201.96	c 1201s |      25 |  5810949 |  5590698 |     1871   7551 |        0 |        0
1203.52/1203.97	c 1203s |      25 |  5820259 |  5599798 |     1871   7560 |        0 |        0
1205.52/1205.99	c 1205s |      25 |  5829330 |  5608598 |     1871   7569 |        0 |        0
1207.53/1207.99	c 1207s |      25 |  5838195 |  5617198 |     1871   7578 |        0 |        0
1209.63/1210.00	c 1209s |      25 |  5847111 |  5625898 |     1871   7587 |        0 |        0
1211.62/1212.01	c 1211s |      25 |  5855881 |  5634398 |     1871   7596 |        0 |        0
1213.61/1214.02	c 1214s |      25 |  5864700 |  5642998 |     1871   7605 |        0 |        0
1215.61/1216.02	c 1216s |      25 |  5873484 |  5651398 |     1871   7613 |        0 |        0
1217.61/1218.04	c 1218s |      25 |  5882163 |  5659898 |     1871   7622 |        0 |        0
1219.62/1220.04	c 1220s |      25 |  5890657 |  5668098 |     1871   7630 |        0 |        0
1221.61/1222.05	c 1222s |      25 |  5899007 |  5676098 |     1871   7639 |        0 |        0
1223.61/1224.06	c 1224s |      25 |  5907854 |  5684698 |     1871   7647 |        0 |        0
1225.61/1226.07	c 1226s |      25 |  5916722 |  5693198 |     1871   7656 |        0 |        0
1227.61/1228.09	c 1228s |      25 |  5925446 |  5701698 |     1871   7665 |        0 |        0
1229.71/1230.10	c 1230s |      25 |  5934209 |  5710098 |     1871   7674 |        0 |        0
1231.71/1232.11	c 1232s |      25 |  5942816 |  5718398 |     1871   7682 |        0 |        0
1233.70/1234.11	c 1234s |      25 |  5951436 |  5726598 |     1871   7690 |        0 |        0
1235.70/1236.13	c 1236s |      25 |  5960088 |  5734998 |     1871   7699 |        0 |        0
1237.70/1238.14	c 1238s |      25 |  5968743 |  5743298 |     1871   7708 |        0 |        0
1239.70/1240.16	c 1240s |      25 |  5977244 |  5751498 |     1871   7716 |        0 |        0
1241.70/1242.18	c 1242s |      25 |  5985871 |  5759698 |     1871   7724 |        0 |        0
1243.70/1244.19	c 1244s |      25 |  5994304 |  5767798 |     1871   7733 |        0 |        0
1245.69/1246.19	c 1246s |      25 |  6002861 |  5776098 |     1871   7741 |        0 |        0
1247.79/1248.20	c 1248s |      25 |  6011613 |  5784598 |     1871   7750 |        0 |        0
1249.79/1250.21	c 1250s |      25 |  6020176 |  5792898 |     1871   7759 |        0 |        0
1251.79/1252.22	c 1252s |      25 |  6028593 |  5801098 |     1871   7767 |        0 |        0
1253.79/1254.24	c 1254s |      25 |  6037006 |  5809198 |     1871   7775 |        0 |        0
1255.79/1256.25	c 1256s |      25 |  6045370 |  5817298 |     1871   7784 |        0 |        0
1257.79/1258.27	c 1258s |      25 |  6054398 |  5826098 |     1871   7793 |        0 |        0
1259.78/1260.29	c 1260s |      25 |  6063569 |  5834998 |     1871   7802 |        0 |        0
1261.78/1262.29	c 1262s |      25 |  6072355 |  5843498 |     1871   7810 |        0 |        0
1263.88/1264.30	c 1264s |      25 |  6081092 |  5851998 |     1871   7819 |        0 |        0
1265.88/1266.31	c 1266s |      25 |  6089768 |  5860398 |     1871   7828 |        0 |        0
1267.89/1268.34	c 1268s |      25 |  6098827 |  5869098 |     1871   7837 |        0 |        0
1269.88/1270.34	c 1270s |      25 |  6107780 |  5877598 |     1871   7845 |        0 |        0
1271.88/1272.36	c 1272s |      25 |  6116501 |  5885898 |     1871   7854 |        0 |        0
1273.87/1274.36	c 1274s |      25 |  6124718 |  5893898 |     1871   7862 |        0 |        0
1275.87/1276.38	c 1276s |      25 |  6133246 |  5902098 |     1871   7870 |        0 |        0
1277.97/1278.40	c 1278s |      25 |  6141962 |  5910598 |     1871   7879 |        0 |        0
1279.98/1280.41	c 1280s |      25 |  6150703 |  5919098 |     1871   7888 |        0 |        0
1281.97/1282.44	c 1282s |      25 |  6159548 |  5927598 |     1871   7897 |        0 |        0
1283.97/1284.45	c 1284s |      25 |  6168399 |  5936098 |     1871   7905 |        0 |        0
1285.97/1286.46	c 1286s |      25 |  6176973 |  5944398 |     1871   7914 |        0 |        0
1287.97/1288.47	c 1288s |      25 |  6185331 |  5952598 |     1871   7922 |        0 |        0
1289.98/1290.47	c 1290s |      25 |  6193883 |  5960898 |     1871   7931 |        0 |        0
1291.97/1292.47	c 1292s |      25 |  6202537 |  5969298 |     1871   7939 |        0 |        0
1294.07/1294.50	c 1294s |      25 |  6211044 |  5977598 |     1871   7948 |        0 |        0
1296.07/1296.50	c 1296s |      25 |  6219263 |  5985598 |     1871   7956 |        0 |        0
1298.07/1298.51	c 1298s |      25 |  6227650 |  5993598 |     1871   7964 |        0 |        0
1300.07/1300.52	c 1300s |      25 |  6235643 |  6001298 |     1871   7972 |        0 |        0
1302.08/1302.54	c 1302s |      25 |  6243811 |  6009198 |     1871   7980 |        0 |        0
1304.07/1304.56	c 1304s |      25 |  6252478 |  6017298 |     1871   7989 |        0 |        0
1306.07/1306.58	c 1306s |      25 |  6261261 |  6025898 |     1871   7997 |        0 |        0
1308.07/1308.59	c 1308s |      25 |  6269887 |  6034198 |     1871   8006 |        0 |        0
1310.16/1310.61	c 1310s |      25 |  6278425 |  6042498 |     1871   8014 |        0 |        0
1312.16/1312.61	c 1312s |      25 |  6286919 |  6050698 |     1871   8023 |        0 |        0
1314.17/1314.63	c 1314s |      25 |  6295420 |  6058898 |     1871   8031 |        0 |        0
1316.16/1316.64	c 1316s |      25 |  6303718 |  6066998 |     1871   8040 |        0 |        0
1318.16/1318.65	c 1318s |      25 |  6312209 |  6075298 |     1871   8048 |        0 |        0
1320.16/1320.65	c 1320s |      25 |  6320719 |  6083598 |     1871   8057 |        0 |        0
1322.16/1322.66	c 1322s |      25 |  6329207 |  6091798 |     1871   8065 |        0 |        0
1324.16/1324.69	c 1324s |      25 |  6337769 |  6100098 |     1871   8074 |        0 |        0
1326.16/1326.70	c 1326s |      25 |  6346174 |  6108298 |     1871   8082 |        0 |        0
1328.26/1328.71	c 1328s |      25 |  6354584 |  6116398 |     1871   8090 |        0 |        0
1330.26/1330.72	c 1330s |      25 |  6362775 |  6124398 |     1871   8099 |        0 |        0
1332.26/1332.73	c 1332s |      25 |  6371326 |  6132798 |     1871   8107 |        0 |        0
1334.25/1334.75	c 1334s |      25 |  6379798 |  6140998 |     1871   8116 |        0 |        0
1336.25/1336.75	c 1336s |      25 |  6388149 |  6148798 |     1871   8124 |        0 |        0
1338.26/1338.76	c 1338s |      25 |  6396793 |  6156998 |     1871   8132 |        0 |        0
1340.25/1340.79	c 1340s |      25 |  6405518 |  6165398 |     1871   8141 |        0 |        0
1342.35/1342.82	c 1342s |      25 |  6414367 |  6173598 |     1871   8149 |        0 |        0
1344.35/1344.83	c 1344s |      25 |  6422663 |  6181698 |     1871   8157 |        0 |        0
1346.35/1346.84	c 1346s |      25 |  6430759 |  6189598 |     1871   8165 |        0 |        0
1348.35/1348.84	c 1348s |      25 |  6439387 |  6197798 |     1871   8174 |        0 |        0
1350.36/1350.86	c 1350s |      25 |  6447909 |  6205998 |     1871   8182 |        0 |        0
1352.35/1352.88	c 1352s |      25 |  6456391 |  6214198 |     1871   8191 |        0 |        0
1354.45/1354.90	c 1354s |      25 |  6464905 |  6222498 |     1871   8199 |        0 |        0
1356.45/1356.92	c 1356s |      25 |  6473477 |  6230698 |     1871   8208 |        0 |        0
1358.44/1358.93	c 1358s |      25 |  6481708 |  6238698 |     1871   8216 |        0 |        0
1360.44/1360.95	c 1360s |      25 |  6489545 |  6246398 |     1871   8224 |        0 |        0
1362.45/1362.96	c 1362s |      25 |  6497740 |  6254298 |     1871   8232 |        0 |        0
1364.44/1364.97	c 1364s |      25 |  6506464 |  6262598 |     1871   8240 |        0 |        0
1366.44/1366.97	c 1366s |      25 |  6515255 |  6270998 |     1871   8249 |        0 |        0
1368.44/1368.98	c 1368s |      25 |  6523920 |  6279298 |     1871   8257 |        0 |        0
1370.54/1371.00	c 1370s |      25 |  6532522 |  6287498 |     1871   8266 |        0 |        0
1372.54/1373.02	c 1373s |      25 |  6541267 |  6295898 |     1871   8274 |        0 |        0
1374.56/1375.04	c 1375s |      25 |  6550057 |  6304398 |     1871   8283 |        0 |        0
1376.55/1377.05	c 1377s |      25 |  6558568 |  6312598 |     1871   8292 |        0 |        0
1378.55/1379.07	c 1379s |      25 |  6567138 |  6320898 |     1871   8300 |        0 |        0
1380.65/1381.10	c 1381s |      25 |  6575719 |  6329198 |     1871   8309 |        0 |        0
1382.65/1383.10	c 1383s |      25 |  6584178 |  6337398 |     1871   8317 |        0 |        0
1384.65/1385.12	c 1385s |      25 |  6592688 |  6345698 |     1871   8325 |        0 |        0
1386.65/1387.13	c 1387s |      25 |  6601226 |  6353998 |     1871   8334 |        0 |        0
1388.64/1389.14	c 1389s |      25 |  6609632 |  6362098 |     1871   8342 |        0 |        0
1390.64/1391.14	c 1391s |      25 |  6617906 |  6369998 |     1871   8350 |        0 |        0
1392.65/1393.16	c 1393s |      25 |  6626823 |  6378598 |     1871   8359 |        0 |        0
1394.65/1395.17	c 1395s |      25 |  6635266 |  6386798 |     1871   8368 |        0 |        0
1396.65/1397.19	c 1397s |      25 |  6643874 |  6395098 |     1871   8376 |        0 |        0
1398.64/1399.20	c 1399s |      25 |  6652230 |  6403198 |     1871   8384 |        0 |        0
1400.74/1401.20	c 1401s |      25 |  6660569 |  6411398 |     1871   8393 |        0 |        0
1402.74/1403.21	c 1403s |      25 |  6669076 |  6419698 |     1871   8401 |        0 |        0
1404.74/1405.23	c 1405s |      25 |  6677450 |  6427898 |     1871   8410 |        0 |        0
1406.74/1407.24	c 1407s |      25 |  6685765 |  6435998 |     1871   8418 |        0 |        0
1408.75/1409.24	c 1409s |      25 |  6694254 |  6444298 |     1871   8426 |        0 |        0
1410.74/1411.25	c 1411s |      25 |  6702866 |  6452598 |     1871   8435 |        0 |        0
1412.74/1413.26	c 1413s |      25 |  6710896 |  6460498 |     1871   8443 |        0 |        0
1414.74/1415.27	c 1415s |      25 |  6718794 |  6468198 |     1871   8451 |        0 |        0
1416.74/1417.28	c 1417s |      25 |  6727039 |  6476198 |     1871   8459 |        0 |        0
1418.74/1419.29	c 1419s |      25 |  6735762 |  6484698 |     1871   8468 |        0 |        0
1420.85/1421.31	c 1421s |      25 |  6744433 |  6493098 |     1871   8477 |        0 |        0
1422.84/1423.31	c 1423s |      25 |  6752810 |  6501298 |     1871   8485 |        0 |        0
1424.84/1425.31	c 1425s |      25 |  6761245 |  6509398 |     1871   8493 |        0 |        0
1426.84/1427.32	c 1427s |      25 |  6769513 |  6517398 |     1871   8501 |        0 |        0
1428.84/1429.34	c 1429s |      25 |  6777939 |  6525498 |     1871   8510 |        0 |        0
1430.84/1431.34	c 1431s |      25 |  6786182 |  6533498 |     1871   8518 |        0 |        0
1432.84/1433.35	c 1433s |      25 |  6794459 |  6541598 |     1871   8526 |        0 |        0
1434.83/1435.37	c 1435s |      25 |  6802838 |  6549798 |     1871   8535 |        0 |        0
1436.83/1437.39	c 1437s |      25 |  6811414 |  6558198 |     1871   8543 |        0 |        0
1438.93/1439.40	c 1439s |      25 |  6819723 |  6566298 |     1871   8552 |        0 |        0
1440.93/1441.43	c 1441s |      25 |  6828229 |  6574498 |     1871   8560 |        0 |        0
1442.93/1443.44	c 1443s |      25 |  6836414 |  6582398 |     1871   8568 |        0 |        0
1444.94/1445.46	c 1445s |      25 |  6844625 |  6590298 |     1871   8576 |        0 |        0
1446.93/1447.49	c 1447s |      25 |  6852883 |  6598398 |     1871   8585 |        0 |        0
1449.03/1449.50	c 1449s |      25 |  6861220 |  6606598 |     1871   8593 |        0 |        0
1451.03/1451.51	c 1451s |      25 |  6869525 |  6614698 |     1871   8601 |        0 |        0
1453.03/1453.52	c 1453s |      25 |  6877403 |  6622398 |     1871   8609 |        0 |        0
1455.03/1455.52	c 1455s |      25 |  6885493 |  6630298 |     1871   8617 |        0 |        0
1457.04/1457.53	c 1457s |      25 |  6894331 |  6638798 |     1871   8626 |        0 |        0
1459.03/1459.55	c 1459s |      25 |  6903014 |  6647298 |     1871   8635 |        0 |        0
1461.03/1461.55	c 1461s |      25 |  6911684 |  6655598 |     1871   8643 |        0 |        0
1463.03/1463.56	c 1463s |      25 |  6920033 |  6663398 |     1871   8651 |        0 |        0
1465.03/1465.56	c 1465s |      25 |  6928192 |  6671198 |     1871   8659 |        0 |        0
1467.04/1467.56	c 1467s |      25 |  6936605 |  6679398 |     1871   8668 |        0 |        0
1469.03/1469.56	c 1469s |      25 |  6944662 |  6687098 |     1871   8676 |        0 |        0
1471.03/1471.59	c 1471s |      25 |  6953001 |  6695198 |     1871   8684 |        0 |        0
1473.13/1473.61	c 1473s |      25 |  6961465 |  6703398 |     1871   8692 |        0 |        0
1475.12/1475.61	c 1475s |      25 |  6969831 |  6711498 |     1871   8701 |        0 |        0
1477.12/1477.61	c 1477s |      25 |  6977951 |  6719498 |     1871   8709 |        0 |        0
1479.13/1479.61	c 1479s |      25 |  6986135 |  6727498 |     1871   8717 |        0 |        0
1481.12/1481.61	c 1481s |      25 |  6994443 |  6735598 |     1871   8725 |        0 |        0
1483.12/1483.63	c 1483s |      25 |  7002658 |  6743698 |     1871   8734 |        0 |        0
1485.12/1485.64	c 1485s |      25 |  7010869 |  6751698 |     1871   8742 |        0 |        0
1487.13/1487.66	c 1487s |      25 |  7019657 |  6760298 |     1871   8751 |        0 |        0
1489.13/1489.68	c 1489s |      25 |  7027944 |  6768398 |     1871   8759 |        0 |        0
1491.14/1491.68	c 1491s |      25 |  7036306 |  6776498 |     1871   8767 |        0 |        0
1493.23/1493.70	c 1493s |      25 |  7044686 |  6784598 |     1871   8776 |        0 |        0
1495.23/1495.70	c 1495s |      25 |  7053276 |  6792798 |     1871   8784 |        0 |        0
1497.23/1497.72	c 1497s |      25 |  7061913 |  6801198 |     1871   8793 |        0 |        0
1499.22/1499.75	c 1499s |      25 |  7070298 |  6809298 |     1871   8801 |        0 |        0
1501.22/1501.76	c 1501s |      25 |  7078284 |  6817098 |     1871   8809 |        0 |        0
1503.23/1503.76	c 1503s |      25 |  7086461 |  6825098 |     1871   8817 |        0 |        0
1505.22/1505.76	c 1505s |      25 |  7094785 |  6833198 |     1871   8825 |        0 |        0
1507.22/1507.76	c 1507s |      25 |  7102932 |  6841198 |     1871   8834 |        0 |        0
1509.22/1509.77	c 1509s |      25 |  7111353 |  6849398 |     1871   8842 |        0 |        0
1511.22/1511.77	c 1511s |      25 |  7119502 |  6857298 |     1871   8850 |        0 |        0
1513.23/1513.79	c 1513s |      25 |  7128064 |  6865698 |     1871   8859 |        0 |        0
1515.33/1515.81	c 1515s |      25 |  7136360 |  6873798 |     1871   8867 |        0 |        0
1517.32/1517.82	c 1517s |      25 |  7144499 |  6881798 |     1871   8875 |        0 |        0
1519.32/1519.84	c 1519s |      25 |  7152694 |  6889798 |     1871   8884 |        0 |        0
1521.32/1521.85	c 1521s |      25 |  7161211 |  6898098 |     1871   8892 |        0 |        0
1523.32/1523.87	c 1523s |      25 |  7169533 |  6906198 |     1871   8900 |        0 |        0
1525.33/1525.88	c 1525s |      25 |  7177876 |  6914298 |     1871   8909 |        0 |        0
1527.32/1527.90	c 1527s |      25 |  7186202 |  6922398 |     1871   8917 |        0 |        0
1529.42/1529.91	c 1529s |      25 |  7194361 |  6930398 |     1871   8925 |        0 |        0
1531.42/1531.93	c 1531s |      25 |  7202927 |  6938798 |     1871   8934 |        0 |        0
1533.42/1533.93	c 1533s |      25 |  7211155 |  6946798 |     1871   8942 |        0 |        0
1535.42/1535.95	c 1535s |      25 |  7219063 |  6954298 |     1871   8950 |        0 |        0
1537.42/1537.97	c 1537s |      25 |  7227460 |  6962298 |     1871   8958 |        0 |        0
1539.42/1539.97	c 1539s |      25 |  7235769 |  6970098 |     1871   8966 |        0 |        0
1541.42/1541.99	c 1541s |      25 |  7243850 |  6977998 |     1871   8974 |        0 |        0
1543.52/1544.00	c 1543s |      25 |  7251860 |  6985798 |     1871   8982 |        0 |        0
1545.51/1546.03	c 1546s |      25 |  7260263 |  6993898 |     1871   8991 |        0 |        0
1547.51/1548.05	c 1548s |      25 |  7268608 |  7002098 |     1871   8999 |        0 |        0
1549.52/1550.07	c 1550s |      25 |  7277043 |  7010398 |     1871   9008 |        0 |        0
1551.51/1552.08	c 1552s |      25 |  7285275 |  7018398 |     1871   9016 |        0 |        0
1553.61/1554.10	c 1554s |      25 |  7293440 |  7026398 |     1871   9024 |        0 |        0
1555.61/1556.10	c 1556s |      25 |  7301475 |  7034198 |     1871   9032 |        0 |        0
1557.62/1558.12	c 1558s |      25 |  7309540 |  7042098 |     1871   9040 |        0 |        0
1559.62/1560.14	c 1560s |      25 |  7318086 |  7050498 |     1871   9049 |        0 |        0
1561.63/1562.14	c 1562s |      25 |  7326945 |  7059198 |     1871   9058 |        0 |        0
1563.62/1564.15	c 1564s |      25 |  7335605 |  7067698 |     1871   9066 |        0 |        0
1565.62/1566.17	c 1566s |      25 |  7344224 |  7075998 |     1871   9075 |        0 |        0
1567.62/1568.18	c 1568s |      25 |  7352646 |  7084198 |     1871   9083 |        0 |        0
1569.72/1570.20	c 1570s |      25 |  7361158 |  7092498 |     1871   9092 |        0 |        0
1571.72/1572.22	c 1572s |      25 |  7369719 |  7100898 |     1871   9100 |        0 |        0
1573.72/1574.22	c 1574s |      25 |  7377886 |  7108898 |     1871   9108 |        0 |        0
1575.71/1576.23	c 1576s |      25 |  7386484 |  7117198 |     1871   9117 |        0 |        0
1577.71/1578.24	c 1578s |      25 |  7395034 |  7125598 |     1871   9126 |        0 |        0
1579.71/1580.25	c 1580s |      25 |  7403417 |  7133798 |     1871   9134 |        0 |        0
1581.71/1582.28	c 1582s |      25 |  7411755 |  7141998 |     1871   9142 |        0 |        0
1583.71/1584.28	c 1584s |      25 |  7420385 |  7150198 |     1871   9151 |        0 |        0
1585.72/1586.29	c 1586s |      25 |  7428754 |  7158198 |     1871   9159 |        0 |        0
1587.81/1588.30	c 1588s |      25 |  7436891 |  7166098 |     1871   9167 |        0 |        0
1589.81/1590.31	c 1590s |      25 |  7445428 |  7174298 |     1871   9175 |        0 |        0
1591.81/1592.32	c 1592s |      25 |  7454063 |  7182698 |     1871   9184 |        0 |        0
1593.81/1594.33	c 1594s |      25 |  7462885 |  7191298 |     1871   9193 |        0 |        0
1595.81/1596.34	c 1596s |      25 |  7471480 |  7199698 |     1871   9202 |        0 |        0
1597.82/1598.35	c 1598s |      25 |  7480141 |  7208098 |     1871   9210 |        0 |        0
1599.81/1600.38	c 1600s |      25 |  7488549 |  7216298 |     1871   9219 |        0 |        0
1601.81/1602.39	c 1602s |      25 |  7497135 |  7224698 |     1871   9227 |        0 |        0
1603.81/1604.39	c 1604s |      25 |  7505318 |  7232598 |     1871   9235 |        0 |        0
1605.91/1606.41	c 1606s |      25 |  7513697 |  7240798 |     1871   9244 |        0 |        0
1607.91/1608.41	c 1608s |      25 |  7522059 |  7248998 |     1871   9252 |        0 |        0
1609.92/1610.42	c 1610s |      25 |  7530309 |  7257098 |     1871   9260 |        0 |        0
1611.91/1612.43	c 1612s |      25 |  7538830 |  7265298 |     1871   9269 |        0 |        0
1613.91/1614.44	c 1614s |      25 |  7547168 |  7273398 |     1871   9277 |        0 |        0
1615.91/1616.47	c 1616s |      25 |  7555557 |  7281598 |     1871   9286 |        0 |        0
1617.91/1618.47	c 1618s |      25 |  7563870 |  7289698 |     1871   9294 |        0 |        0
1619.92/1620.47	c 1620s |      25 |  7572155 |  7297898 |     1871   9302 |        0 |        0
1621.91/1622.48	c 1622s |      25 |  7580577 |  7306098 |     1871   9311 |        0 |        0
1623.91/1624.48	c 1624s |      25 |  7588325 |  7313298 |     1871   9318 |        0 |        0
1626.01/1626.51	c 1626s |      25 |  7596536 |  7320898 |     1871   9326 |        0 |        0
1628.01/1628.53	c 1628s |      25 |  7605222 |  7329198 |     1871   9334 |        0 |        0
1630.01/1630.54	c 1630s |      25 |  7613591 |  7337298 |     1871   9343 |        0 |        0
1632.01/1632.55	c 1632s |      25 |  7621924 |  7345298 |     1871   9351 |        0 |        0
1634.00/1634.56	c 1634s |      25 |  7630264 |  7353298 |     1871   9359 |        0 |        0
1636.00/1636.57	c 1636s |      25 |  7638739 |  7361498 |     1871   9367 |        0 |        0
1638.00/1638.59	c 1638s |      25 |  7647034 |  7369498 |     1871   9376 |        0 |        0
1640.10/1640.60	c 1640s |      25 |  7655418 |  7377598 |     1871   9384 |        0 |        0
1642.10/1642.61	c 1642s |      25 |  7663719 |  7385698 |     1871   9392 |        0 |        0
1644.11/1644.62	c 1644s |      25 |  7671882 |  7393698 |     1871   9401 |        0 |        0
1646.10/1646.63	c 1646s |      25 |  7680051 |  7401698 |     1871   9409 |        0 |        0
1648.10/1648.63	c 1648s |      25 |  7688029 |  7409498 |     1871   9417 |        0 |        0
1650.10/1650.65	c 1650s |      25 |  7696249 |  7417398 |     1871   9425 |        0 |        0
1652.10/1652.66	c 1652s |      25 |  7704428 |  7425398 |     1871   9433 |        0 |        0
1654.10/1654.68	c 1654s |      25 |  7712478 |  7433298 |     1871   9441 |        0 |        0
1656.21/1656.70	c 1656s |      25 |  7720777 |  7441398 |     1871   9450 |        0 |        0
1658.20/1658.71	c 1658s |      25 |  7728949 |  7449398 |     1871   9458 |        0 |        0
1660.20/1660.73	c 1660s |      25 |  7737155 |  7457398 |     1871   9466 |        0 |        0
1662.20/1662.74	c 1662s |      25 |  7745380 |  7465398 |     1871   9474 |        0 |        0
1664.20/1664.76	c 1664s |      25 |  7753606 |  7473398 |     1871   9482 |        0 |        0
1666.20/1666.78	c 1666s |      25 |  7761803 |  7481398 |     1871   9491 |        0 |        0
1668.20/1668.80	c 1668s |      25 |  7770440 |  7489798 |     1871   9499 |        0 |        0
1670.29/1670.82	c 1670s |      25 |  7778756 |  7497898 |     1871   9508 |        0 |        0
1672.29/1672.83	c 1672s |      25 |  7786866 |  7505798 |     1871   9516 |        0 |        0
1674.30/1674.84	c 1674s |      25 |  7795331 |  7513898 |     1871   9524 |        0 |        0
1676.30/1676.87	c 1676s |      25 |  7803659 |  7521898 |     1871   9532 |        0 |        0
1678.30/1678.89	c 1678s |      25 |  7811837 |  7529898 |     1871   9541 |        0 |        0
1680.31/1680.89	c 1680s |      25 |  7820432 |  7538098 |     1871   9549 |        0 |        0
1682.40/1682.92	c 1682s |      25 |  7828831 |  7546298 |     2059   9557 |        0 |        0
1684.40/1684.95	c 1684s |      25 |  7837242 |  7554498 |     2059   9565 |        0 |        0
1686.40/1686.97	c 1686s |      25 |  7845403 |  7562498 |     2059   9572 |        0 |        0
1688.40/1688.98	c 1688s |      25 |  7853677 |  7570498 |     2059   9580 |        0 |        0
1690.50/1691.00	c 1690s |      25 |  7861807 |  7578398 |     2059   9587 |        0 |        0
1692.51/1693.02	c 1693s |      25 |  7869946 |  7586398 |     2059   9594 |        0 |        0
1694.50/1695.03	c 1695s |      25 |  7878113 |  7594298 |     2059   9602 |        0 |        0
1695.30/1695.89	c 1695s |      26 |  7881699 |  7597752 |     2059   9605 |        0 |        0
1697.40/1697.91	c 1697s |      26 |  7890774 |  7606452 |     2059   9613 |        0 |        0
1699.40/1699.93	c 1699s |      26 |  7899415 |  7614952 |     2059   9621 |        0 |        0
1701.40/1701.93	c 1701s |      26 |  7908086 |  7623452 |     2059   9629 |        0 |        0
1703.40/1703.94	c 1703s |      26 |  7916648 |  7631852 |     2059   9637 |        0 |        0
1705.40/1705.95	c 1705s |      26 |  7925293 |  7640252 |     2059   9645 |        0 |        0
1707.40/1707.96	c 1707s |      26 |  7933907 |  7648652 |     2059   9653 |        0 |        0
1709.40/1709.96	c 1709s |      26 |  7942266 |  7656852 |     2059   9660 |        0 |        0
1711.40/1711.98	c 1711s |      26 |  7950704 |  7664952 |     2059   9668 |        0 |        0
1713.40/1713.99	c 1713s |      26 |  7959063 |  7673052 |     2059   9675 |        0 |        0
1715.39/1716.00	c 1715s |      26 |  7967127 |  7680852 |     2059   9683 |        0 |        0
1717.49/1718.01	c 1717s |      26 |  7975309 |  7688852 |     2059   9690 |        0 |        0
1719.49/1720.04	c 1720s |      26 |  7983506 |  7696852 |     2059   9698 |        0 |        0
1721.49/1722.06	c 1722s |      26 |  7991705 |  7704852 |     2059   9705 |        0 |        0
1723.49/1724.08	c 1724s |      26 |  7999958 |  7712952 |     2059   9713 |        0 |        0
1725.50/1726.08	c 1726s |      26 |  8008175 |  7720952 |     2059   9720 |        0 |        0
1727.49/1728.10	c 1728s |      26 |  8016435 |  7728952 |     2059   9728 |        0 |        0
1729.59/1730.13	c 1730s |      26 |  8024598 |  7736952 |     2059   9735 |        0 |        0
1731.59/1732.13	c 1732s |      26 |  8033314 |  7745352 |     2059   9743 |        0 |        0
1733.59/1734.13	c 1734s |      26 |  8041625 |  7753452 |     2059   9751 |        0 |        0
1735.59/1736.16	c 1736s |      26 |  8050031 |  7761652 |     2059   9758 |        0 |        0
1737.60/1738.17	c 1738s |      26 |  8058351 |  7769852 |     2059   9766 |        0 |        0
1739.59/1740.17	c 1740s |      26 |  8066650 |  7777952 |     2059   9774 |        0 |        0
1741.59/1742.18	c 1742s |      26 |  8074992 |  7786052 |     2059   9781 |        0 |        0
1743.69/1744.20	c 1744s |      26 |  8083167 |  7793952 |     2059   9788 |        0 |        0
1745.69/1746.21	c 1746s |      26 |  8091248 |  7801752 |     2059   9796 |        0 |        0
1747.69/1748.22	c 1748s |      26 |  8099868 |  7810152 |     2059   9804 |        0 |        0
1749.69/1750.24	c 1750s |      26 |  8108498 |  7818552 |     2059   9811 |        0 |        0
1751.68/1752.25	c 1752s |      26 |  8117010 |  7826852 |     2059   9819 |        0 |        0
1753.68/1754.26	c 1754s |      26 |  8125482 |  7835152 |     2059   9827 |        0 |        0
1755.68/1756.29	c 1756s |      26 |  8133748 |  7843252 |     2059   9835 |        0 |        0
1757.68/1758.29	c 1758s |      26 |  8142185 |  7851452 |     2059   9842 |        0 |        0
1759.78/1760.30	c 1760s |      26 |  8150523 |  7859552 |     2059   9850 |        0 |        0
1761.79/1762.32	c 1762s |      26 |  8158801 |  7867652 |     2059   9857 |        0 |        0
1763.78/1764.33	c 1764s |      26 |  8166680 |  7875352 |     2059   9865 |        0 |        0
1765.78/1766.34	c 1766s |      26 |  8174948 |  7883352 |     2059   9872 |        0 |        0
1767.78/1768.34	c 1768s |      26 |  8183099 |  7891352 |     2059   9880 |        0 |        0
1769.78/1770.34	c 1770s |      26 |  8191503 |  7899552 |     2059   9887 |        0 |        0
1771.78/1772.36	c 1772s |      26 |  8199769 |  7907652 |     2059   9895 |        0 |        0
1773.79/1774.38	c 1774s |      26 |  8208132 |  7915852 |     2059   9902 |        0 |        0
1775.78/1776.39	c 1776s |      26 |  8216239 |  7923752 |     2059   9910 |        0 |        0
1777.88/1778.42	c 1778s |      26 |  8224630 |  7931952 |     2059   9918 |        0 |        0
1779.88/1780.42	c 1780s |      26 |  8233198 |  7940252 |     2059   9925 |        0 |        0
1781.88/1782.44	c 1782s |      26 |  8241818 |  7948652 |     2059   9933 |        0 |        0
1783.88/1784.44	c 1784s |      26 |  8250279 |  7956952 |     2059   9941 |        0 |        0
1785.88/1786.46	c 1786s |      26 |  8258744 |  7965252 |     2059   9949 |        0 |        0
1787.88/1788.46	c 1788s |      26 |  8267272 |  7973552 |     2059   9956 |        0 |        0
1789.88/1790.48	c 1790s |      26 |  8275508 |  7981552 |     2059   9964 |        0 |        0
1791.98/1792.51	c 1792s |      26 |  8283958 |  7989752 |     2059   9972 |        0 |        0
1793.98/1794.51	c 1794s |      26 |  8292129 |  7997652 |     2059   9979 |        0 |        0
1795.98/1796.51	c 1796s |      26 |  8300315 |  8005552 |     2059   9986 |        0 |        0
1797.98/1798.52	c 1798s |      26 |  8308653 |  8013652 |     2059   9994 |        0 |        0
1799.97/1800.54	c 1800s |      26 |  8317055 |  8021852 |     2059  10002 |        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-4089225-1466023242/watcher-4089225-1466023242 -o /tmp/evaluation-result-4089225-1466023242/solver-4089225-1466023242 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466019588-9689 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089225-1466023242.opb 

pid=10470
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.53 2.39 2.28 3/182 10473
/proc/meminfo: memFree=29322660/32872528 swapFree=1481856/1661728
[pid=10473] ppid=10470 vsize=709052 CPUtime=0 cores=1,3,5,7
/proc/10473/stat : 10473 (toysat) R 10470 10473 6232 0 -1 4202496 2645 0 0 0 0 0 0 0 20 0 4 0 4370611 726069248 3005 33554432000 4194304 16246674 140733692731632 140733692731056 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10473/statm: 178031 3015 441 2943 0 174925 0
[pid=10473/tid=10474] ppid=10470 vsize=727484 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10474/stat : 10474 (toysat) S 10470 10473 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4370611 744943616 3074 33554432000 4194304 16246674 140733692731632 139750875835632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10473/tid=10475] ppid=10470 vsize=731580 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10475/stat : 10475 (toysat) S 10470 10473 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4370611 749137920 3091 33554432000 4194304 16246674 140733692731632 139750865345776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10473/tid=10476] ppid=10470 vsize=735676 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10476/stat : 10476 (toysat) S 10470 10473 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4370611 753332224 3108 33554432000 4194304 16246674 140733692731632 139750786722992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 2.53 2.39 2.28 3/182 10473
/proc/meminfo: memFree=29322660/32872528 swapFree=1481856/1661728
[pid=10473] ppid=10470 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/10473/stat : 10473 (toysat) R 10470 10473 6232 0 -1 4202496 29876 0 0 0 5 4 0 0 20 0 4 0 4370611 1247350784 30226 33554432000 4194304 16246674 140733692731632 140733692731056 5589685 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10473/statm: 304529 30241 711 2943 0 301423 0
[pid=10473/tid=10474] ppid=10470 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10474/stat : 10474 (toysat) S 10470 10473 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4370611 1247350784 30253 33554432000 4194304 16246674 140733692731632 139750875835632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10473/tid=10475] ppid=10470 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10475/stat : 10475 (toysat) S 10470 10473 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4370611 1247350784 30264 33554432000 4194304 16246674 140733692731632 139750865345776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10473/tid=10476] ppid=10470 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10476/stat : 10476 (toysat) S 10470 10473 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4370611 1247350784 30275 33554432000 4194304 16246674 140733692731632 139750786722992 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.200533 s]
/proc/loadavg: 2.53 2.39 2.28 3/182 10473
/proc/meminfo: memFree=29322660/32872528 swapFree=1481856/1661728
[pid=10473] ppid=10470 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/10473/stat : 10473 (toysat) R 10470 10473 6232 0 -1 4202496 59735 0 0 0 11 8 0 0 20 0 4 0 4370611 1247350784 60084 33554432000 4194304 16246674 140733692731632 140733692731056 13929603 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10473/statm: 304529 60096 711 2943 0 301423 0
[pid=10473/tid=10474] ppid=10470 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10474/stat : 10474 (toysat) S 10470 10473 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4370611 1247350784 60108 33554432000 4194304 16246674 140733692731632 139750875835632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10473/tid=10475] ppid=10470 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10475/stat : 10475 (toysat) S 10470 10473 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4370611 1247350784 60118 33554432000 4194304 16246674 140733692731632 139750865345776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10473/tid=10476] ppid=10470 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10476/stat : 10476 (toysat) S 10470 10473 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4370611 1247350784 60129 33554432000 4194304 16246674 140733692731632 139750786722992 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.300447 s]
/proc/loadavg: 2.53 2.39 2.28 3/182 10473
/proc/meminfo: memFree=29322660/32872528 swapFree=1481856/1661728
[pid=10473] ppid=10470 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/10473/stat : 10473 (toysat) R 10470 10473 6232 0 -1 4202496 89356 0 0 0 16 13 0 0 20 0 4 0 4370611 1247350784 89706 33554432000 4194304 16246674 140733692731632 140733692731056 6021133 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10473/statm: 304529 89721 711 2943 0 301423 0
[pid=10473/tid=10474] ppid=10470 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10474/stat : 10474 (toysat) S 10470 10473 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4370611 1247350784 89731 33554432000 4194304 16246674 140733692731632 139750875835632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10473/tid=10475] ppid=10470 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10475/stat : 10475 (toysat) S 10470 10473 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4370611 1247350784 89742 33554432000 4194304 16246674 140733692731632 139750865345776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10473/tid=10476] ppid=10470 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10476/stat : 10476 (toysat) S 10470 10473 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4370611 1247350784 89749 33554432000 4194304 16246674 140733692731632 139750786722992 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.700435 s]
/proc/loadavg: 2.53 2.39 2.28 3/182 10473
/proc/meminfo: memFree=29322660/32872528 swapFree=1481856/1661728
[pid=10473] ppid=10470 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/10473/stat : 10473 (toysat) R 10470 10473 6232 0 -1 4202496 209417 0 0 0 40 29 0 0 20 0 4 0 4370611 1247350784 209767 33554432000 4194304 16246674 140733692731632 140733692713536 12474890 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10473/statm: 304529 209780 711 2943 0 301423 0
[pid=10473/tid=10474] ppid=10470 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10474/stat : 10474 (toysat) S 10470 10473 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4370611 1247350784 209786 33554432000 4194304 16246674 140733692731632 139750875835632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10473/tid=10475] ppid=10470 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10475/stat : 10475 (toysat) S 10470 10473 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4370611 1247350784 209794 33554432000 4194304 16246674 140733692731632 139750865345776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10473/tid=10476] ppid=10470 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10476/stat : 10476 (toysat) S 10470 10473 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4370611 1247350784 209805 33554432000 4194304 16246674 140733692731632 139750786722992 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.50043 s]
/proc/loadavg: 2.53 2.39 2.28 3/186 10477
/proc/meminfo: memFree=28339228/32872528 swapFree=1481856/1661728
[pid=10473] ppid=10470 vsize=1305156 CPUtime=1.49 cores=1,3,5,7
/proc/10473/stat : 10473 (toysat) R 10470 10473 6232 0 -1 4202496 267166 0 0 0 112 37 0 0 20 0 4 0 4370611 1336479744 267495 33554432000 4194304 16246674 140733692731632 140733692730944 12483317 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10473/statm: 326289 267495 788 2943 0 323183 0
[pid=10473/tid=10474] ppid=10470 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10474/stat : 10474 (toysat) S 10470 10473 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4370611 1336479744 267495 33554432000 4194304 16246674 140733692731632 139750875835632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10473/tid=10475] ppid=10470 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10475/stat : 10475 (toysat) S 10470 10473 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4370611 1336479744 267495 33554432000 4194304 16246674 140733692731632 139750865345776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10473/tid=10476] ppid=10470 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10476/stat : 10476 (toysat) S 10470 10473 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4370611 1336479744 267495 33554432000 4194304 16246674 140733692731632 139750786722992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10042 s]
/proc/loadavg: 2.53 2.39 2.28 3/186 10477
/proc/meminfo: memFree=28251436/32872528 swapFree=1481856/1661728
[pid=10473] ppid=10470 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/10473/stat : 10473 (toysat) R 10470 10473 6232 0 -1 4202496 267471 0 0 0 272 37 0 0 20 0 4 0 4370611 1337528320 267800 33554432000 4194304 16246674 140733692731632 140733692713536 6020640 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10473/statm: 326545 267800 788 2943 0 323439 0
[pid=10473/tid=10474] ppid=10470 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10474/stat : 10474 (toysat) S 10470 10473 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4370611 1337528320 267800 33554432000 4194304 16246674 140733692731632 139750875835632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10473/tid=10475] ppid=10470 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10475/stat : 10475 (toysat) S 10470 10473 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4370611 1337528320 267800 33554432000 4194304 16246674 140733692731632 139750865345776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10473/tid=10476] ppid=10470 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10476/stat : 10476 (toysat) S 10470 10473 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4370611 1337528320 267800 33554432000 4194304 16246674 140733692731632 139750786722992 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.30044 s]
/proc/loadavg: 2.57 2.40 2.28 3/186 10477
/proc/meminfo: memFree=28250872/32872528 swapFree=1481856/1661728
[pid=10473] ppid=10470 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/10473/stat : 10473 (toysat) R 10470 10473 6232 0 -1 4202496 267483 0 0 0 592 37 0 0 20 0 4 0 4370611 1337528320 267812 33554432000 4194304 16246674 140733692731632 140733692713536 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10473/statm: 326545 267812 791 2943 0 323439 0
[pid=10473/tid=10474] ppid=10470 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10474/stat : 10474 (toysat) S 10470 10473 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4370611 1337528320 267812 33554432000 4194304 16246674 140733692731632 139750875835632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10473/tid=10475] ppid=10470 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10475/stat : 10475 (toysat) S 10470 10473 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4370611 1337528320 267812 33554432000 4194304 16246674 140733692731632 139750865345776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10473/tid=10476] ppid=10470 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10476/stat : 10476 (toysat) S 10470 10473 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4370611 1337528320 267812 33554432000 4194304 16246674 140733692731632 139750786722992 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.53 2.40 2.28 4/186 10477
/proc/meminfo: memFree=28250296/32872528 swapFree=1481856/1661728
[pid=10473] ppid=10470 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/10473/stat : 10473 (toysat) R 10470 10473 6232 0 -1 4202496 267556 0 0 0 1232 37 0 0 20 0 4 0 4370611 1337528320 267885 33554432000 4194304 16246674 140733692731632 140733692713536 5545832 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10473/statm: 326545 267885 791 2943 0 323439 0
[pid=10473/tid=10474] ppid=10470 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10474/stat : 10474 (toysat) S 10470 10473 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4370611 1337528320 267885 33554432000 4194304 16246674 140733692731632 139750875835632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10473/tid=10475] ppid=10470 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10475/stat : 10475 (toysat) S 10470 10473 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4370611 1337528320 267885 33554432000 4194304 16246674 140733692731632 139750865345776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10473/tid=10476] ppid=10470 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10476/stat : 10476 (toysat) S 10470 10473 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4370611 1337528320 267885 33554432000 4194304 16246674 140733692731632 139750786722992 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.41 2.38 2.27 3/185 10477
/proc/meminfo: memFree=28249992/32872528 swapFree=1481856/1661728
[pid=10473] ppid=10470 vsize=1307204 CPUtime=25.48 cores=1,3,5,7
/proc/10473/stat : 10473 (toysat) R 10470 10473 6232 0 -1 4202496 267683 0 0 0 2511 37 0 0 20 0 4 0 4370611 1338576896 268012 33554432000 4194304 16246674 140733692731632 140733692713536 12483403 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10473/statm: 326801 268012 791 2943 0 323695 0
[pid=10473/tid=10474] ppid=10470 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10474/stat : 10474 (toysat) S 10470 10473 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4370611 1338576896 268012 33554432000 4194304 16246674 140733692731632 139750875835632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10473/tid=10475] ppid=10470 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10475/stat : 10475 (toysat) S 10470 10473 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4370611 1338576896 268012 33554432000 4194304 16246674 140733692731632 139750865345776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10473/tid=10476] ppid=10470 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10476/stat : 10476 (toysat) S 10470 10473 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4370611 1338576896 268012 33554432000 4194304 16246674 140733692731632 139750786722992 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) 1307204

[startup+51.1006 s]
/proc/loadavg: 2.34 2.36 2.27 3/185 10477
/proc/meminfo: memFree=28250168/32872528 swapFree=1481856/1661728
[pid=10473] ppid=10470 vsize=1308228 CPUtime=51.08 cores=1,3,5,7
/proc/10473/stat : 10473 (toysat) R 10470 10473 6232 0 -1 4202496 268036 0 0 0 5071 37 0 0 20 0 4 0 4370611 1339625472 268365 33554432000 4194304 16246674 140733692731632 140733692713536 6837024 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10473/statm: 327057 268365 791 2943 0 323951 0
[pid=10473/tid=10474] ppid=10470 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10474/stat : 10474 (toysat) S 10470 10473 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4370611 1339625472 268365 33554432000 4194304 16246674 140733692731632 139750875835632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10473/tid=10475] ppid=10470 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10475/stat : 10475 (toysat) S 10470 10473 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4370611 1339625472 268365 33554432000 4194304 16246674 140733692731632 139750865345776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10473/tid=10476] ppid=10470 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10476/stat : 10476 (toysat) S 10470 10473 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4370611 1339625472 268365 33554432000 4194304 16246674 140733692731632 139750786722992 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) 1308228

[startup+102.301 s]
/proc/loadavg: 2.31 2.35 2.27 3/185 10478
/proc/meminfo: memFree=28250028/32872528 swapFree=1481856/1661728
[pid=10473] ppid=10470 vsize=1308228 CPUtime=102.28 cores=1,3,5,7
/proc/10473/stat : 10473 (toysat) R 10470 10473 6232 0 -1 4202496 268041 0 0 0 10190 38 0 0 20 0 4 0 4370611 1339625472 268370 33554432000 4194304 16246674 140733692731632 140733692713536 5707826 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10473/statm: 327057 268370 792 2943 0 323951 0
[pid=10473/tid=10474] ppid=10470 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10474/stat : 10474 (toysat) S 10470 10473 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4370611 1339625472 268370 33554432000 4194304 16246674 140733692731632 139750875835632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10473/tid=10475] ppid=10470 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10475/stat : 10475 (toysat) S 10470 10473 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4370611 1339625472 268370 33554432000 4194304 16246674 140733692731632 139750865345776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10473/tid=10476] ppid=10470 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10476/stat : 10476 (toysat) S 10470 10473 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4370611 1339625472 268370 33554432000 4194304 16246674 140733692731632 139750786722992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1308228


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

/proc/10473/task/10476/stat : 10476 (toysat) S 10470 10473 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4370611 1345916928 270208 33554432000 4194304 16246674 140733692731632 139750786722992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1314372

[startup+1302.3 s]
/proc/loadavg: 2.20 2.26 2.26 3/185 10530
/proc/meminfo: memFree=28229540/32872528 swapFree=1481856/1661728
[pid=10473] ppid=10470 vsize=1314372 CPUtime=1301.87 cores=1,3,5,7
/proc/10473/stat : 10473 (toysat) R 10470 10473 6232 0 -1 4202496 270017 0 0 0 130133 54 0 0 20 0 4 0 4370611 1345916928 270208 33554432000 4194304 16246674 140733692731632 140733692714632 5553792 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10473/statm: 328593 270208 792 2943 0 325487 0
[pid=10473/tid=10474] ppid=10470 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10474/stat : 10474 (toysat) S 10470 10473 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4370611 1345916928 270208 33554432000 4194304 16246674 140733692731632 139750875835632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10473/tid=10475] ppid=10470 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10475/stat : 10475 (toysat) S 10470 10473 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4370611 1345916928 270208 33554432000 4194304 16246674 140733692731632 139750865345776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10473/tid=10476] ppid=10470 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10476/stat : 10476 (toysat) S 10470 10473 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4370611 1345916928 270208 33554432000 4194304 16246674 140733692731632 139750786722992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1314372

[startup+1362.3 s]
/proc/loadavg: 2.24 2.26 2.26 3/185 10531
/proc/meminfo: memFree=28229216/32872528 swapFree=1481856/1661728
[pid=10473] ppid=10470 vsize=1315396 CPUtime=1361.85 cores=1,3,5,7
/proc/10473/stat : 10473 (toysat) R 10470 10473 6232 0 -1 4202496 270307 0 0 0 136131 54 0 0 20 0 4 0 4370611 1346965504 270464 33554432000 4194304 16246674 140733692731632 140733692713536 13191794 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10473/statm: 328849 270464 792 2943 0 325743 0
[pid=10473/tid=10474] ppid=10470 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10474/stat : 10474 (toysat) S 10470 10473 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4370611 1346965504 270464 33554432000 4194304 16246674 140733692731632 139750875835632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10473/tid=10475] ppid=10470 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10475/stat : 10475 (toysat) S 10470 10473 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4370611 1346965504 270464 33554432000 4194304 16246674 140733692731632 139750865345776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10473/tid=10476] ppid=10470 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10476/stat : 10476 (toysat) S 10470 10473 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4370611 1346965504 270464 33554432000 4194304 16246674 140733692731632 139750786722992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.22 2.25 2.26 3/185 10532
/proc/meminfo: memFree=28228888/32872528 swapFree=1481856/1661728
[pid=10473] ppid=10470 vsize=1315396 CPUtime=1421.85 cores=1,3,5,7
/proc/10473/stat : 10473 (toysat) R 10470 10473 6232 0 -1 4202496 270307 0 0 0 142130 55 0 0 20 0 4 0 4370611 1346965504 270464 33554432000 4194304 16246674 140733692731632 140733692713536 5721406 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10473/statm: 328849 270464 792 2943 0 325743 0
[pid=10473/tid=10474] ppid=10470 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10474/stat : 10474 (toysat) S 10470 10473 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4370611 1346965504 270464 33554432000 4194304 16246674 140733692731632 139750875835632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10473/tid=10475] ppid=10470 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10475/stat : 10475 (toysat) S 10470 10473 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4370611 1346965504 270464 33554432000 4194304 16246674 140733692731632 139750865345776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10473/tid=10476] ppid=10470 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10476/stat : 10476 (toysat) S 10470 10473 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4370611 1346965504 270464 33554432000 4194304 16246674 140733692731632 139750786722992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 2.15 2.23 2.25 3/185 10533
/proc/meminfo: memFree=28227952/32872528 swapFree=1481856/1661728
[pid=10473] ppid=10470 vsize=1316420 CPUtime=1481.82 cores=1,3,5,7
/proc/10473/stat : 10473 (toysat) R 10470 10473 6232 0 -1 4202496 270549 0 0 0 148127 55 0 0 20 0 4 0 4370611 1348014080 270706 33554432000 4194304 16246674 140733692731632 140733692713536 5513584 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10473/statm: 329105 270706 792 2943 0 325999 0
[pid=10473/tid=10474] ppid=10470 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10474/stat : 10474 (toysat) S 10470 10473 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4370611 1348014080 270706 33554432000 4194304 16246674 140733692731632 139750875835632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10473/tid=10475] ppid=10470 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10475/stat : 10475 (toysat) S 10470 10473 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4370611 1348014080 270706 33554432000 4194304 16246674 140733692731632 139750865345776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10473/tid=10476] ppid=10470 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10476/stat : 10476 (toysat) S 10470 10473 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4370611 1348014080 270706 33554432000 4194304 16246674 140733692731632 139750786722992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1316420

[startup+1542.31 s]
/proc/loadavg: 2.34 2.26 2.26 3/185 10535
/proc/meminfo: memFree=28227816/32872528 swapFree=1481856/1661728
[pid=10473] ppid=10470 vsize=1316420 CPUtime=1541.82 cores=1,3,5,7
/proc/10473/stat : 10473 (toysat) R 10470 10473 6232 0 -1 4202496 270549 0 0 0 154126 56 0 0 20 0 4 0 4370611 1348014080 270706 33554432000 4194304 16246674 140733692731632 140733692713536 13191272 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10473/statm: 329105 270706 792 2943 0 325999 0
[pid=10473/tid=10474] ppid=10470 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10474/stat : 10474 (toysat) S 10470 10473 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4370611 1348014080 270706 33554432000 4194304 16246674 140733692731632 139750875835632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10473/tid=10475] ppid=10470 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10475/stat : 10475 (toysat) S 10470 10473 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4370611 1348014080 270706 33554432000 4194304 16246674 140733692731632 139750865345776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10473/tid=10476] ppid=10470 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10476/stat : 10476 (toysat) S 10470 10473 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4370611 1348014080 270706 33554432000 4194304 16246674 140733692731632 139750786722992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1316420

[startup+1602.3 s]
/proc/loadavg: 2.34 2.27 2.26 3/185 10536
/proc/meminfo: memFree=28227800/32872528 swapFree=1481856/1661728
[pid=10473] ppid=10470 vsize=1316420 CPUtime=1601.81 cores=1,3,5,7
/proc/10473/stat : 10473 (toysat) R 10470 10473 6232 0 -1 4202496 270563 0 0 0 160123 58 0 0 20 0 4 0 4370611 1348014080 270720 33554432000 4194304 16246674 140733692731632 140733692713536 5823230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10473/statm: 329105 270720 792 2943 0 325999 0
[pid=10473/tid=10474] ppid=10470 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10474/stat : 10474 (toysat) S 10470 10473 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4370611 1348014080 270720 33554432000 4194304 16246674 140733692731632 139750875835632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10473/tid=10475] ppid=10470 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10475/stat : 10475 (toysat) S 10470 10473 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4370611 1348014080 270720 33554432000 4194304 16246674 140733692731632 139750865345776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10473/tid=10476] ppid=10470 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10476/stat : 10476 (toysat) S 10470 10473 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4370611 1348014080 270720 33554432000 4194304 16246674 140733692731632 139750786722992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1316420

[startup+1662.3 s]
/proc/loadavg: 2.30 2.27 2.26 3/185 10537
/proc/meminfo: memFree=28227780/32872528 swapFree=1481856/1661728
[pid=10473] ppid=10470 vsize=1316420 CPUtime=1661.8 cores=1,3,5,7
/proc/10473/stat : 10473 (toysat) R 10470 10473 6232 0 -1 4202496 270563 0 0 0 166122 58 0 0 20 0 4 0 4370611 1348014080 270720 33554432000 4194304 16246674 140733692731632 140733692713536 5822416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10473/statm: 329105 270720 792 2943 0 325999 0
[pid=10473/tid=10474] ppid=10470 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10474/stat : 10474 (toysat) S 10470 10473 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4370611 1348014080 270720 33554432000 4194304 16246674 140733692731632 139750875835632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10473/tid=10475] ppid=10470 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10475/stat : 10475 (toysat) S 10470 10473 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4370611 1348014080 270720 33554432000 4194304 16246674 140733692731632 139750865345776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10473/tid=10476] ppid=10470 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10476/stat : 10476 (toysat) S 10470 10473 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4370611 1348014080 270720 33554432000 4194304 16246674 140733692731632 139750786722992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1316420

[startup+1722.3 s]
/proc/loadavg: 2.33 2.28 2.27 3/185 10538
/proc/meminfo: memFree=28227640/32872528 swapFree=1481856/1661728
[pid=10473] ppid=10470 vsize=1316420 CPUtime=1721.79 cores=1,3,5,7
/proc/10473/stat : 10473 (toysat) R 10470 10473 6232 0 -1 4202496 270563 0 0 0 172120 59 0 0 20 0 4 0 4370611 1348014080 270720 33554432000 4194304 16246674 140733692731632 140733692713536 5546509 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10473/statm: 329105 270720 792 2943 0 325999 0
[pid=10473/tid=10474] ppid=10470 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10474/stat : 10474 (toysat) S 10470 10473 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4370611 1348014080 270720 33554432000 4194304 16246674 140733692731632 139750875835632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10473/tid=10475] ppid=10470 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10475/stat : 10475 (toysat) S 10470 10473 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4370611 1348014080 270720 33554432000 4194304 16246674 140733692731632 139750865345776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10473/tid=10476] ppid=10470 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10476/stat : 10476 (toysat) S 10470 10473 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4370611 1348014080 270720 33554432000 4194304 16246674 140733692731632 139750786722992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1316420

[startup+1782.3 s]
/proc/loadavg: 2.22 2.25 2.26 3/186 10591
/proc/meminfo: memFree=28238664/32872528 swapFree=1481856/1661728
[pid=10473] ppid=10470 vsize=1316420 CPUtime=1781.78 cores=1,3,5,7
/proc/10473/stat : 10473 (toysat) R 10470 10473 6232 0 -1 4202496 270563 0 0 0 178119 59 0 0 20 0 4 0 4370611 1348014080 270720 33554432000 4194304 16246674 140733692731632 140733692713536 7252931 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10473/statm: 329105 270720 792 2943 0 325999 0
[pid=10473/tid=10474] ppid=10470 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10474/stat : 10474 (toysat) S 10470 10473 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4370611 1348014080 270720 33554432000 4194304 16246674 140733692731632 139750875835632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10473/tid=10475] ppid=10470 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10475/stat : 10475 (toysat) S 10470 10473 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4370611 1348014080 270720 33554432000 4194304 16246674 140733692731632 139750865345776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10473/tid=10476] ppid=10470 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10476/stat : 10476 (toysat) S 10470 10473 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4370611 1348014080 270720 33554432000 4194304 16246674 140733692731632 139750786722992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1316420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.22 2.25 2.26 3/186 10592
/proc/meminfo: memFree=28238828/32872528 swapFree=1481856/1661728
[pid=10473] ppid=10470 vsize=1316420 CPUtime=1800.07 cores=1,3,5,7
/proc/10473/stat : 10473 (toysat) R 10470 10473 6232 0 -1 4202496 270563 0 0 0 179948 59 0 0 20 0 4 0 4370611 1348014080 270720 33554432000 4194304 16246674 140733692731632 140733692713536 6012147 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10473/statm: 329105 270720 792 2943 0 325999 0
[pid=10473/tid=10474] ppid=10470 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10474/stat : 10474 (toysat) S 10470 10473 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4370611 1348014080 270720 33554432000 4194304 16246674 140733692731632 139750875835632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10473/tid=10475] ppid=10470 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10475/stat : 10475 (toysat) S 10470 10473 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4370611 1348014080 270720 33554432000 4194304 16246674 140733692731632 139750865345776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10473/tid=10476] ppid=10470 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10476/stat : 10476 (toysat) S 10470 10473 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4370611 1348014080 270720 33554432000 4194304 16246674 140733692731632 139750786722992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1316420

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 10473 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.09
CPU user time (s): 1799.49
CPU system time (s): 0.598908
CPU usage (%): 99.9713
Max. virtual memory (cumulated for all children) (KiB): 1316420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.598908
maximum resident set size= 1082880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270563
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= 440
involuntary context switches= 1860

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.95 second user time and 16.0146 second system time

The end

Begin job on node134 at 2016-06-15 22:40:42
IDJOB=4089225
IDBENCH=107376
IDSOLVER=2542
FILE ID=node134/4089225-1466023242
RUNJOBID= node134-1466019588-9689
PBS_JOBID= 19902814
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 4e99f92911c5936a9db3be1adf3910dd
RANDOM SEED=1218084353

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
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		: 2667.020
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:        29323040 kB
Buffers:           18276 kB
Cached:            77976 kB
SwapCached:        17304 kB
Active:          1137448 kB
Inactive:          48040 kB
Active(anon):    1073664 kB
Inactive(anon):    17948 kB
Active(file):      63784 kB
Inactive(file):    30092 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67083696 kB
Dirty:             16348 kB
Writeback:             0 kB
AnonPages:       2742000 kB
Mapped:            10476 kB
Shmem:                 0 kB
Slab:             566644 kB
SReclaimable:      10672 kB
SUnreclaim:       555972 kB
KernelStack:        1544 kB
PageTables:         9832 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2878244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    190464 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node134 at 2016-06-15 23:10:43