0.00/0.00	c 2016-06-15T22:39:01+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-4089183-1466023140.opb"]
0.00/0.01	c use --random-gen="1851613782 1283301889 4214788951 714977091 1792152651 2008997625 2365351640 220113054 3389909611 489610517 2191315483 2188158729 4290312023 1282118630 3074442983 633979558 479668966 3620797203 2102099984 2482544912 1045788828 2745696717 1195490502 2905215130 2491940130 2658001768 1162891851 1652706563 3129684100 1632323145 1891258207 1472131183 4124779845 725174107 1213973788 2565489207 2576174813 3296900794 1634792502 2085607248 60556867 3266849334 679820350 3310841506 3402877999 638800170 1207189219 1923248178 2773472585 472210523 803173885 2272714396 334127076 107266924 616751355 1990121143 3296688011 1663729960 1591252912 3531907097 1484000485 2607069015 696501392 158827363 4072445566 2780365469 115449447 90472039 683017723 1580621424 1289004922 592241419 2575700655 4287121350 3034999416 4266998629 750974380 2212145744 3705455477 1519316256 3742245380 266261526 3528294669 2645646742 1513134798 186427841 2690060859 3565241428 3136592463 2761161073 2144963261 3790089216 191637612 3563638475 772855260 930600943 1763980087 3574102011 945162763 2672239066 262564070 2706619615 1618428727 3940471616 1152324102 295424621 233377602 2695395879 2681560492 3469903752 3666788531 427256967 3225852714 2278728781 829766912 1242250018 3744596191 4025280069 2996933762 993423169 3080377029 3392328094 448895319 2099478286 2875932999 2478604073 3572574978 3155112455 2241891446 1830933173 4082958991 766017427 1500767475 1443631736 827618681 1727280085 712983606 286377256 303444489 1281860107 2092050245 3490772073 890678240 2279159935 3101164706 894540073 274261297 4184536941 1720450394 3291032172 2657118897 3833559859 106591874 1566042108 2276935131 2560968235 3283800306 572228870 1204212454 1756134336 2456598642 858660454 1185744675 2349118607 2867657304 2711441688 1929628635 910936442 1376858192 2296366351 3764842404 31502822 673842718 2700199977 348776623 3059608415 564626647 4034566515 2896109948 1649804135 1224681032 2223593169 111115373 583043679 887739483 3811588074 4134077636 3677212630 1314149386 182391157 1900205430 3848336114 2719696786 1086176287 624522229 1826856015 928846233 1739765163 2187106994 1069546417 2437043788 2696907396 3196630832 954371389 3828160636 1526386743 529814659 2403556568 107538441 2631752178 3532836621 1248819906 1856782377 803726382 109049011 537262935 464362048 2396116010 2041575671 933174408 2671840955 1809654132 3917540088 2830559307 1059751493 1502402902 3752034944 3238624889 3218690019 3535900498 3372117754 2948509629 2558846723 1142527589 1023141605 3509913179 163433323 147367204 752603876 3211940423 1602513444 1616677893 615110964 1156772380 2166735603 1701936672 2013791345 2870111026 799943499 2977862942 85705493 314052344 2644413050 778562251 3692006572 3603271757 255 362436" option to reproduce the execution
0.00/0.01	c #vars 90
0.00/0.01	c #constraints 181
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       90      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      139 |      100 |       90      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      329 |      250 |      100      2 |        0 |        0
0.00/0.07	c  0.1s |       3 |      596 |      475 |      111      5 |        0 |        0
0.08/0.11	c  0.1s |       4 |      974 |      813 |      123      9 |        0 |        0
0.08/0.18	c  0.2s |       5 |     1525 |     1320 |      136     15 |        0 |        0
0.19/0.27	c  0.3s |       6 |     2343 |     2081 |      165     23 |        0 |        0
0.39/0.41	c  0.4s |       7 |     3531 |     3223 |      182     34 |        0 |        0
0.58/0.63	c  0.6s |       8 |     5293 |     4936 |      201     50 |        0 |        0
0.88/0.92	c  0.9s |       9 |     7929 |     7506 |      222     71 |        0 |        0
1.19/1.25	c  1.2s |      10 |    11899 |    11361 |      245    101 |        0 |        0
1.69/1.76	c  1.7s |      11 |    17802 |    17144 |      270    142 |        0 |        0
2.49/2.50	c  2.5s |      12 |    26673 |    25819 |      297    198 |        0 |        0
3.59/3.63	c  3.6s |      13 |    40100 |    38832 |      327    276 |        0 |        0
5.29/5.35	c  5.3s |      14 |    60048 |    58352 |      360    384 |        0 |        0
7.29/7.36	c  7.3s |      14 |    83254 |    80952 |      360    498 |        0 |        0
7.89/7.95	c  7.9s |      15 |    90164 |    87632 |      397    532 |        0 |        0
9.89/9.95	c  9.9s |      15 |   113504 |   110032 |      397    635 |        0 |        0
11.78/11.89	c 11.9s |      16 |   135632 |   131552 |      437    735 |        0 |        0
13.78/13.89	c 13.9s |      16 |   158314 |   153552 |      437    828 |        0 |        0
15.88/15.90	c 15.9s |      16 |   180999 |   175452 |      437    920 |        0 |        0
17.88/17.90	c 17.9s |      16 |   203510 |   197352 |      481   1013 |        0 |        0
17.88/17.91	c 17.9s |      17 |   203588 |   197432 |      481   1013 |        0 |        0
19.89/19.91	c 19.9s |      17 |   226164 |   219232 |      481   1098 |        0 |        0
21.88/21.92	c 21.9s |      17 |   248910 |   241232 |      481   1183 |        0 |        0
23.88/23.93	c 23.9s |      17 |   271912 |   263532 |      481   1270 |        0 |        0
25.88/25.93	c 25.9s |      17 |   294454 |   285432 |      481   1355 |        0 |        0
26.88/26.94	c 26.9s |      18 |   305713 |   296252 |      530   1396 |        0 |        0
28.88/28.94	c 28.9s |      18 |   327611 |   317252 |      530   1470 |        0 |        0
30.90/30.95	c 30.9s |      18 |   349859 |   338352 |      530   1546 |        0 |        0
32.89/32.95	c 32.9s |      18 |   371866 |   359352 |      530   1620 |        0 |        0
34.89/34.96	c 34.9s |      18 |   394249 |   380352 |      530   1695 |        0 |        0
36.89/36.96	c 36.9s |      18 |   416731 |   401552 |      530   1770 |        0 |        0
38.89/38.97	c 39.0s |      18 |   438605 |   422552 |      530   1845 |        0 |        0
40.89/40.97	c 41.0s |      18 |   460593 |   443552 |      583   1919 |        0 |        0
40.99/41.06	c 41.0s |      19 |   461553 |   444482 |      583   1922 |        0 |        0
42.99/43.07	c 43.1s |      19 |   483137 |   465182 |      583   1989 |        0 |        0
44.98/45.07	c 45.1s |      19 |   504538 |   485582 |      583   2055 |        0 |        0
46.98/47.08	c 47.1s |      19 |   526057 |   506282 |      583   2122 |        0 |        0
48.98/49.08	c 49.1s |      19 |   547787 |   526982 |      583   2189 |        0 |        0
50.98/51.08	c 51.1s |      19 |   569557 |   547782 |      583   2256 |        0 |        0
52.98/53.09	c 53.1s |      19 |   590962 |   568282 |      583   2322 |        0 |        0
54.99/55.09	c 55.1s |      19 |   612757 |   588782 |      583   2389 |        0 |        0
57.08/57.10	c 57.1s |      19 |   634366 |   609382 |      583   2456 |        0 |        0
59.08/59.11	c 59.1s |      19 |   655858 |   629982 |      583   2523 |        0 |        0
61.08/61.12	c 61.1s |      19 |   677341 |   650482 |      583   2589 |        0 |        0
62.69/62.73	c 62.7s |      20 |   694539 |   666827 |      642   2640 |        0 |        0
64.68/64.73	c 64.7s |      20 |   716510 |   687427 |      642   2701 |        0 |        0
66.68/66.74	c 66.7s |      20 |   738514 |   707827 |      642   2762 |        0 |        0
68.68/68.74	c 68.7s |      20 |   760687 |   728527 |      642   2823 |        0 |        0
70.68/70.74	c 70.7s |      20 |   782396 |   749027 |      642   2883 |        0 |        0
72.68/72.74	c 72.7s |      20 |   804085 |   769227 |      642   2943 |        0 |        0
74.67/74.75	c 74.7s |      20 |   825730 |   789627 |      642   3004 |        0 |        0
76.67/76.75	c 76.7s |      20 |   847424 |   810227 |      642   3065 |        0 |        0
78.67/78.75	c 78.7s |      20 |   869049 |   830627 |      642   3125 |        0 |        0
80.67/80.76	c 80.7s |      20 |   891084 |   851027 |      642   3186 |        0 |        0
82.67/82.76	c 82.8s |      20 |   912753 |   871627 |      642   3247 |        0 |        0
84.68/84.77	c 84.8s |      20 |   934982 |   892427 |      642   3309 |        0 |        0
86.67/86.77	c 86.8s |      20 |   956665 |   912827 |      642   3369 |        0 |        0
88.68/88.78	c 88.8s |      20 |   978047 |   933227 |      642   3429 |        0 |        0
90.68/90.78	c 90.8s |      20 |   999199 |   953727 |      642   3491 |        0 |        0
92.68/92.78	c 92.8s |      20 |  1020635 |   974127 |      642   3551 |        0 |        0
94.69/94.79	c 94.8s |      20 |  1042094 |   994527 |      707   3611 |        0 |        0
95.28/95.36	c 95.3s |      21 |  1048224 |  1000345 |      707   3627 |        0 |        0
97.28/97.36	c 97.3s |      21 |  1069381 |  1020545 |      707   3681 |        0 |        0
99.28/99.36	c 99.4s |      21 |  1090441 |  1040745 |      707   3736 |        0 |        0
101.28/101.37	c  101s |      21 |  1111545 |  1060745 |      707   3790 |        0 |        0
103.28/103.38	c  103s |      21 |  1133414 |  1081045 |      707   3845 |        0 |        0
105.28/105.38	c  105s |      21 |  1154181 |  1101045 |      707   3899 |        0 |        0
107.27/107.39	c  107s |      21 |  1175320 |  1121045 |      707   3954 |        0 |        0
109.37/109.40	c  109s |      21 |  1196725 |  1141345 |      707   4009 |        0 |        0
111.37/111.41	c  111s |      21 |  1218588 |  1161845 |      707   4064 |        0 |        0
113.38/113.41	c  113s |      21 |  1240064 |  1182045 |      707   4119 |        0 |        0
115.37/115.41	c  115s |      21 |  1261373 |  1202245 |      707   4174 |        0 |        0
117.37/117.41	c  117s |      21 |  1282642 |  1222545 |      707   4229 |        0 |        0
119.37/119.42	c  119s |      21 |  1303867 |  1242745 |      707   4284 |        0 |        0
121.37/121.43	c  121s |      21 |  1325780 |  1263345 |      707   4340 |        0 |        0
123.37/123.44	c  123s |      21 |  1346795 |  1283445 |      707   4394 |        0 |        0
125.37/125.44	c  125s |      21 |  1368031 |  1303745 |      707   4449 |        0 |        0
127.37/127.44	c  127s |      21 |  1389390 |  1324145 |      707   4504 |        0 |        0
129.37/129.44	c  129s |      21 |  1410770 |  1344545 |      707   4559 |        0 |        0
131.37/131.45	c  131s |      21 |  1432634 |  1365045 |      707   4615 |        0 |        0
133.36/133.46	c  133s |      21 |  1454505 |  1385445 |      707   4670 |        0 |        0
135.37/135.46	c  135s |      21 |  1475685 |  1405445 |      707   4724 |        0 |        0
137.36/137.47	c  137s |      21 |  1497322 |  1425745 |      707   4780 |        0 |        0
139.36/139.47	c  139s |      21 |  1518911 |  1445545 |      707   4833 |        0 |        0
141.36/141.47	c  141s |      21 |  1540991 |  1465745 |      707   4887 |        0 |        0
143.36/143.47	c  143s |      21 |  1562810 |  1486045 |      707   4942 |        0 |        0
144.87/144.92	c  144s |      22 |  1578281 |  1500622 |      778   4979 |        0 |        0
146.87/146.93	c  146s |      22 |  1599274 |  1520222 |      778   5027 |        0 |        0
148.87/148.94	c  148s |      22 |  1621252 |  1539722 |      778   5076 |        0 |        0
150.87/150.95	c  150s |      22 |  1641863 |  1559222 |      778   5124 |        0 |        0
152.88/152.95	c  152s |      22 |  1662707 |  1579122 |      778   5173 |        0 |        0
154.87/154.95	c  154s |      22 |  1683408 |  1598822 |      778   5221 |        0 |        0
156.87/156.96	c  156s |      22 |  1705394 |  1618622 |      778   5270 |        0 |        0
158.87/158.96	c  158s |      22 |  1727189 |  1638322 |      778   5319 |        0 |        0
160.86/160.97	c  160s |      22 |  1749476 |  1657622 |      778   5367 |        0 |        0
162.87/162.98	c  162s |      22 |  1770552 |  1677322 |      778   5415 |        0 |        0
164.86/164.98	c  164s |      22 |  1791955 |  1696822 |      778   5464 |        0 |        0
166.86/166.98	c  166s |      22 |  1813374 |  1716422 |      778   5512 |        0 |        0
168.86/168.99	c  168s |      22 |  1834855 |  1736222 |      778   5561 |        0 |        0
170.86/170.99	c  170s |      22 |  1855887 |  1756022 |      778   5610 |        0 |        0
172.96/173.00	c  172s |      22 |  1876559 |  1775622 |      778   5659 |        0 |        0
174.97/175.00	c  174s |      22 |  1897905 |  1795022 |      778   5707 |        0 |        0
176.97/177.01	c  176s |      22 |  1919296 |  1814322 |      778   5754 |        0 |        0
178.97/179.01	c  178s |      22 |  1940683 |  1834022 |      778   5803 |        0 |        0
180.97/181.02	c  181s |      22 |  1962083 |  1853722 |      778   5852 |        0 |        0
182.97/183.02	c  183s |      22 |  1984228 |  1873522 |      778   5901 |        0 |        0
184.96/185.03	c  185s |      22 |  2007390 |  1893522 |      778   5951 |        0 |        0
186.97/187.04	c  187s |      22 |  2030873 |  1913222 |      778   5999 |        0 |        0
188.96/189.04	c  189s |      22 |  2052615 |  1932822 |      778   6047 |        0 |        0
190.96/191.05	c  191s |      22 |  2073632 |  1952422 |      778   6096 |        0 |        0
192.96/193.05	c  193s |      22 |  2094410 |  1971622 |      778   6143 |        0 |        0
194.96/195.06	c  195s |      22 |  2115570 |  1991322 |      778   6192 |        0 |        0
196.97/197.06	c  197s |      22 |  2137751 |  2011022 |      778   6241 |        0 |        0
198.96/199.06	c  199s |      22 |  2159419 |  2030622 |      778   6289 |        0 |        0
200.96/201.07	c  201s |      22 |  2181771 |  2050422 |      778   6338 |        0 |        0
202.96/203.07	c  203s |      22 |  2202156 |  2069822 |      778   6386 |        0 |        0
204.96/205.07	c  205s |      22 |  2223141 |  2089322 |      778   6434 |        0 |        0
206.96/207.08	c  207s |      22 |  2244373 |  2108822 |      778   6482 |        0 |        0
208.96/209.09	c  209s |      22 |  2265542 |  2128522 |      778   6531 |        0 |        0
210.96/211.09	c  211s |      22 |  2287154 |  2148122 |      778   6579 |        0 |        0
213.05/213.10	c  213s |      22 |  2308855 |  2167722 |      778   6628 |        0 |        0
215.06/215.10	c  215s |      22 |  2330094 |  2187322 |      778   6677 |        0 |        0
217.06/217.11	c  217s |      22 |  2352758 |  2206822 |      778   6725 |        0 |        0
219.06/219.12	c  219s |      22 |  2374181 |  2226422 |      778   6773 |        0 |        0
221.07/221.12	c  221s |      22 |  2394322 |  2245422 |      856   6818 |        0 |        0
221.66/221.70	c  221s |      23 |  2400219 |  2251038 |      856   6830 |        0 |        0
223.66/223.71	c  223s |      23 |  2420147 |  2269838 |      856   6873 |        0 |        0
225.66/225.71	c  225s |      23 |  2440272 |  2288538 |      856   6915 |        0 |        0
227.67/227.71	c  227s |      23 |  2460037 |  2307238 |      856   6957 |        0 |        0
229.66/229.71	c  229s |      23 |  2480454 |  2325838 |      856   6999 |        0 |        0
231.66/231.72	c  231s |      23 |  2500612 |  2344938 |      856   7042 |        0 |        0
233.66/233.73	c  233s |      23 |  2520606 |  2363838 |      856   7084 |        0 |        0
235.65/235.74	c  235s |      23 |  2541552 |  2383138 |      856   7128 |        0 |        0
237.66/237.75	c  237s |      23 |  2561994 |  2402238 |      856   7171 |        0 |        0
239.65/239.75	c  239s |      23 |  2582507 |  2421338 |      856   7214 |        0 |        0
241.65/241.76	c  241s |      23 |  2602818 |  2440438 |      856   7257 |        0 |        0
243.65/243.76	c  243s |      23 |  2623121 |  2459638 |      856   7300 |        0 |        0
245.65/245.77	c  245s |      23 |  2642878 |  2478638 |      856   7343 |        0 |        0
247.65/247.78	c  247s |      23 |  2662496 |  2497438 |      856   7385 |        0 |        0
249.65/249.78	c  249s |      23 |  2682465 |  2516538 |      856   7428 |        0 |        0
251.65/251.79	c  251s |      23 |  2702330 |  2535638 |      856   7471 |        0 |        0
253.65/253.79	c  253s |      23 |  2722815 |  2554738 |      856   7514 |        0 |        0
255.75/255.80	c  255s |      23 |  2743240 |  2574038 |      856   7558 |        0 |        0
257.75/257.81	c  257s |      23 |  2763332 |  2592938 |      856   7600 |        0 |        0
259.75/259.82	c  259s |      23 |  2783528 |  2612138 |      856   7644 |        0 |        0
261.76/261.82	c  261s |      23 |  2804160 |  2631238 |      856   7687 |        0 |        0
263.75/263.82	c  263s |      23 |  2824839 |  2650438 |      856   7730 |        0 |        0
265.75/265.82	c  265s |      23 |  2845219 |  2669538 |      856   7774 |        0 |        0
267.75/267.83	c  267s |      23 |  2865151 |  2688538 |      856   7816 |        0 |        0
269.75/269.83	c  269s |      23 |  2885715 |  2707538 |      856   7859 |        0 |        0
271.76/271.84	c  271s |      23 |  2905694 |  2726438 |      856   7901 |        0 |        0
273.75/273.85	c  273s |      23 |  2926206 |  2745738 |      856   7945 |        0 |        0
275.75/275.86	c  275s |      23 |  2946903 |  2765038 |      856   7988 |        0 |        0
277.75/277.87	c  277s |      23 |  2966957 |  2783638 |      856   8030 |        0 |        0
279.75/279.88	c  279s |      23 |  2987574 |  2802338 |      856   8072 |        0 |        0
281.75/281.88	c  281s |      23 |  3007526 |  2820938 |      856   8114 |        0 |        0
283.75/283.89	c  283s |      23 |  3027625 |  2839838 |      856   8156 |        0 |        0
285.74/285.89	c  285s |      23 |  3047708 |  2859038 |      856   8200 |        0 |        0
287.85/287.90	c  287s |      23 |  3068124 |  2878338 |      856   8243 |        0 |        0
289.85/289.90	c  289s |      23 |  3089311 |  2897838 |      856   8287 |        0 |        0
291.85/291.91	c  291s |      23 |  3110079 |  2917138 |      856   8331 |        0 |        0
293.85/293.91	c  293s |      23 |  3130975 |  2936538 |      856   8375 |        0 |        0
295.85/295.91	c  295s |      23 |  3151662 |  2955938 |      856   8418 |        0 |        0
297.85/297.92	c  297s |      23 |  3171429 |  2975038 |      856   8461 |        0 |        0
299.85/299.92	c  299s |      23 |  3191339 |  2994238 |      856   8505 |        0 |        0
301.85/301.93	c  301s |      23 |  3211353 |  3013438 |      856   8548 |        0 |        0
303.84/303.94	c  303s |      23 |  3231537 |  3032538 |      856   8591 |        0 |        0
305.85/305.94	c  305s |      23 |  3251451 |  3051738 |      856   8634 |        0 |        0
307.84/307.94	c  307s |      23 |  3272217 |  3071038 |      856   8678 |        0 |        0
309.84/309.94	c  309s |      23 |  3292690 |  3090438 |      856   8722 |        0 |        0
311.84/311.95	c  311s |      23 |  3313429 |  3109738 |      856   8765 |        0 |        0
313.84/313.95	c  313s |      23 |  3333670 |  3129038 |      856   8809 |        0 |        0
315.84/315.96	c  315s |      23 |  3354035 |  3148338 |      856   8853 |        0 |        0
317.85/317.96	c  317s |      23 |  3374524 |  3167438 |      856   8896 |        0 |        0
319.84/319.97	c  319s |      23 |  3395321 |  3187138 |      856   8940 |        0 |        0
321.84/321.98	c  321s |      23 |  3416045 |  3206538 |      856   8984 |        0 |        0
323.84/323.98	c  323s |      23 |  3436341 |  3225338 |      856   9026 |        0 |        0
325.84/325.99	c  325s |      23 |  3457412 |  3244438 |      856   9069 |        0 |        0
327.85/327.99	c  327s |      23 |  3477786 |  3263438 |      856   9112 |        0 |        0
329.84/330.00	c  329s |      23 |  3498662 |  3282638 |      856   9155 |        0 |        0
331.94/332.01	c  331s |      23 |  3519356 |  3301838 |      856   9198 |        0 |        0
333.94/334.01	c  333s |      23 |  3541102 |  3321438 |      856   9243 |        0 |        0
335.94/336.01	c  336s |      23 |  3562108 |  3340838 |      856   9286 |        0 |        0
337.94/338.01	c  338s |      23 |  3582939 |  3360438 |      942   9329 |        0 |        0
339.54/339.69	c  339s |      24 |  3600319 |  3376662 |      942   9362 |        0 |        0
341.64/341.70	c  341s |      24 |  3620375 |  3395562 |      942   9401 |        0 |        0
343.64/343.71	c  343s |      24 |  3640560 |  3414462 |      942   9440 |        0 |        0
345.63/345.72	c  345s |      24 |  3660747 |  3433262 |      942   9478 |        0 |        0
347.64/347.73	c  347s |      24 |  3680927 |  3452462 |      942   9518 |        0 |        0
349.63/349.73	c  349s |      24 |  3702319 |  3471862 |      942   9558 |        0 |        0
351.63/351.73	c  351s |      24 |  3722195 |  3490662 |      942   9596 |        0 |        0
353.63/353.74	c  353s |      24 |  3742191 |  3508962 |      942   9634 |        0 |        0
355.63/355.74	c  355s |      24 |  3761728 |  3527562 |      942   9672 |        0 |        0
357.63/357.74	c  357s |      24 |  3781518 |  3546362 |      942   9711 |        0 |        0
359.64/359.75	c  359s |      24 |  3801251 |  3565262 |      942   9749 |        0 |        0
361.63/361.75	c  361s |      24 |  3820749 |  3583662 |      942   9787 |        0 |        0
363.63/363.76	c  363s |      24 |  3840751 |  3602362 |      942   9826 |        0 |        0
365.63/365.77	c  365s |      24 |  3861416 |  3621162 |      942   9864 |        0 |        0
367.63/367.77	c  367s |      24 |  3881984 |  3640162 |      942   9903 |        0 |        0
369.64/369.78	c  369s |      24 |  3902582 |  3658962 |      942   9942 |        0 |        0
371.63/371.79	c  371s |      24 |  3923257 |  3677662 |      942   9980 |        0 |        0
373.63/373.79	c  373s |      24 |  3944069 |  3696262 |      942  10019 |        0 |        0
375.73/375.80	c  375s |      24 |  3964543 |  3714962 |      942  10057 |        0 |        0
377.73/377.80	c  377s |      24 |  3984640 |  3733962 |      942  10096 |        0 |        0
379.73/379.81	c  379s |      24 |  4004555 |  3752762 |      942  10135 |        0 |        0
381.74/381.81	c  381s |      24 |  4025528 |  3771762 |      942  10174 |        0 |        0
383.74/383.82	c  383s |      24 |  4046082 |  3790862 |      942  10213 |        0 |        0
385.74/385.82	c  385s |      24 |  4066318 |  3809862 |      942  10252 |        0 |        0
387.73/387.83	c  387s |      24 |  4087988 |  3829362 |      942  10292 |        0 |        0
389.73/389.83	c  389s |      24 |  4108712 |  3848662 |      942  10332 |        0 |        0
391.73/391.84	c  391s |      24 |  4128792 |  3867262 |      942  10370 |        0 |        0
393.74/393.85	c  393s |      24 |  4148992 |  3886262 |      942  10409 |        0 |        0
395.73/395.86	c  395s |      24 |  4169510 |  3905462 |      942  10449 |        0 |        0
397.73/397.86	c  397s |      24 |  4190349 |  3924762 |      942  10488 |        0 |        0
399.73/399.86	c  399s |      24 |  4210070 |  3943462 |      942  10526 |        0 |        0
401.73/401.87	c  401s |      24 |  4230123 |  3962262 |      942  10565 |        0 |        0
403.73/403.88	c  403s |      24 |  4250017 |  3981062 |      942  10603 |        0 |        0
405.73/405.88	c  405s |      24 |  4269631 |  3999662 |      942  10642 |        0 |        0
407.73/407.89	c  407s |      24 |  4290054 |  4018562 |      942  10681 |        0 |        0
409.82/409.90	c  409s |      24 |  4309743 |  4037262 |      942  10719 |        0 |        0
411.82/411.90	c  411s |      24 |  4329975 |  4056162 |      942  10758 |        0 |        0
413.82/413.90	c  413s |      24 |  4350422 |  4075262 |      942  10797 |        0 |        0
415.83/415.91	c  415s |      24 |  4370463 |  4094362 |      942  10837 |        0 |        0
417.82/417.92	c  417s |      24 |  4390928 |  4113762 |      942  10877 |        0 |        0
419.82/419.92	c  419s |      24 |  4411126 |  4133162 |      942  10917 |        0 |        0
421.82/421.93	c  421s |      24 |  4430963 |  4152262 |      942  10956 |        0 |        0
423.83/423.93	c  423s |      24 |  4451240 |  4171662 |      942  10996 |        0 |        0
425.83/425.93	c  425s |      24 |  4471758 |  4190962 |      942  11035 |        0 |        0
427.84/427.94	c  427s |      24 |  4492730 |  4210462 |      942  11075 |        0 |        0
429.83/429.95	c  429s |      24 |  4512989 |  4229162 |      942  11114 |        0 |        0
431.83/431.95	c  431s |      24 |  4534586 |  4247962 |      942  11152 |        0 |        0
433.83/433.96	c  433s |      24 |  4554689 |  4266962 |      942  11191 |        0 |        0
435.82/435.97	c  435s |      24 |  4574579 |  4285862 |      942  11230 |        0 |        0
437.83/437.97	c  437s |      24 |  4595111 |  4304762 |      942  11269 |        0 |        0
439.82/439.98	c  439s |      24 |  4615696 |  4323862 |      942  11308 |        0 |        0
441.82/441.98	c  441s |      24 |  4636421 |  4342862 |      942  11348 |        0 |        0
443.82/443.98	c  443s |      24 |  4657273 |  4361962 |      942  11387 |        0 |        0
445.82/445.99	c  445s |      24 |  4677601 |  4381062 |      942  11426 |        0 |        0
447.82/447.99	c  447s |      24 |  4697841 |  4400062 |      942  11465 |        0 |        0
449.83/449.99	c  449s |      24 |  4718521 |  4418962 |      942  11504 |        0 |        0
451.82/451.99	c  451s |      24 |  4738877 |  4437662 |      942  11543 |        0 |        0
453.82/453.99	c  453s |      24 |  4759169 |  4456662 |      942  11582 |        0 |        0
455.92/456.00	c  455s |      24 |  4779924 |  4475862 |      942  11621 |        0 |        0
457.92/458.01	c  457s |      24 |  4800732 |  4495362 |      942  11662 |        0 |        0
459.92/460.01	c  459s |      24 |  4821807 |  4514762 |      942  11702 |        0 |        0
461.93/462.01	c  461s |      24 |  4843703 |  4534362 |      942  11742 |        0 |        0
463.92/464.02	c  464s |      24 |  4864347 |  4553262 |      942  11781 |        0 |        0
465.92/466.02	c  466s |      24 |  4884767 |  4572262 |      942  11820 |        0 |        0
467.92/468.02	c  468s |      24 |  4906010 |  4591462 |      942  11860 |        0 |        0
469.92/470.03	c  470s |      24 |  4927018 |  4611162 |      942  11900 |        0 |        0
471.92/472.03	c  472s |      24 |  4948005 |  4630362 |      942  11940 |        0 |        0
473.91/474.04	c  474s |      24 |  4968193 |  4649362 |      942  11979 |        0 |        0
475.92/476.04	c  476s |      24 |  4988781 |  4668362 |      942  12018 |        0 |        0
477.92/478.05	c  478s |      24 |  5009165 |  4687462 |      942  12057 |        0 |        0
479.92/480.05	c  480s |      24 |  5029795 |  4707062 |      942  12097 |        0 |        0
481.92/482.06	c  482s |      24 |  5050872 |  4726362 |      942  12137 |        0 |        0
483.93/484.07	c  484s |      24 |  5071910 |  4746262 |      942  12178 |        0 |        0
485.92/486.08	c  486s |      24 |  5091971 |  4765262 |      942  12217 |        0 |        0
487.92/488.08	c  488s |      24 |  5111922 |  4784062 |      942  12255 |        0 |        0
489.92/490.09	c  490s |      24 |  5131323 |  4802662 |      942  12293 |        0 |        0
491.92/492.09	c  492s |      24 |  5151313 |  4820962 |      942  12331 |        0 |        0
493.92/494.09	c  494s |      24 |  5172535 |  4839962 |      942  12370 |        0 |        0
496.02/496.10	c  496s |      24 |  5192123 |  4858462 |      942  12408 |        0 |        0
498.02/498.11	c  498s |      24 |  5212235 |  4877562 |      942  12447 |        0 |        0
500.02/500.12	c  500s |      24 |  5232427 |  4896662 |      942  12486 |        0 |        0
502.02/502.12	c  502s |      24 |  5252057 |  4915562 |      942  12525 |        0 |        0
504.02/504.12	c  504s |      24 |  5272432 |  4935162 |      942  12565 |        0 |        0
506.02/506.13	c  506s |      24 |  5292562 |  4954562 |      942  12605 |        0 |        0
508.01/508.13	c  508s |      24 |  5312653 |  4973862 |      942  12645 |        0 |        0
510.01/510.14	c  510s |      24 |  5333281 |  4993462 |      942  12686 |        0 |        0
512.01/512.14	c  512s |      24 |  5354209 |  5013162 |      942  12726 |        0 |        0
514.01/514.15	c  514s |      24 |  5374620 |  5032362 |     1037  12765 |        0 |        0
516.01/516.16	c  516s |      24 |  5394687 |  5051462 |     1037  12800 |        0 |        0
517.41/517.58	c  517s |      25 |  5408852 |  5065098 |     1037  12826 |        0 |        0
519.41/519.58	c  519s |      25 |  5428059 |  5083198 |     1037  12860 |        0 |        0
521.41/521.58	c  521s |      25 |  5447224 |  5101298 |     1037  12893 |        0 |        0
523.41/523.59	c  523s |      25 |  5466501 |  5119398 |     1037  12927 |        0 |        0
525.51/525.60	c  525s |      25 |  5486030 |  5138098 |     1037  12962 |        0 |        0
527.50/527.60	c  527s |      25 |  5506070 |  5157098 |     1037  12998 |        0 |        0
529.50/529.60	c  529s |      25 |  5525482 |  5175298 |     1037  13032 |        0 |        0
531.51/531.61	c  531s |      25 |  5545224 |  5193898 |     1037  13067 |        0 |        0
533.52/533.62	c  533s |      25 |  5564626 |  5212498 |     1037  13102 |        0 |        0
535.51/535.62	c  535s |      25 |  5584351 |  5231398 |     1037  13137 |        0 |        0
537.51/537.62	c  537s |      25 |  5604205 |  5250198 |     1037  13173 |        0 |        0
539.51/539.62	c  539s |      25 |  5623273 |  5268598 |     1037  13207 |        0 |        0
541.51/541.63	c  541s |      25 |  5643012 |  5287398 |     1037  13242 |        0 |        0
543.51/543.63	c  543s |      25 |  5662869 |  5306198 |     1037  13278 |        0 |        0
545.52/545.64	c  545s |      25 |  5683183 |  5325198 |     1037  13313 |        0 |        0
547.51/547.65	c  547s |      25 |  5702665 |  5343498 |     1037  13348 |        0 |        0
549.51/549.66	c  549s |      25 |  5721962 |  5361698 |     1037  13382 |        0 |        0
551.51/551.67	c  551s |      25 |  5741985 |  5380098 |     1037  13416 |        0 |        0
553.51/553.67	c  553s |      25 |  5761325 |  5398298 |     1037  13450 |        0 |        0
555.51/555.68	c  555s |      25 |  5781155 |  5417098 |     1037  13485 |        0 |        0
557.51/557.69	c  557s |      25 |  5801364 |  5436098 |     1037  13521 |        0 |        0
559.51/559.69	c  559s |      25 |  5821324 |  5454898 |     1037  13556 |        0 |        0
561.60/561.70	c  561s |      25 |  5841361 |  5473598 |     1037  13591 |        0 |        0
563.60/563.70	c  563s |      25 |  5861282 |  5491898 |     1037  13625 |        0 |        0
565.60/565.71	c  565s |      25 |  5881401 |  5510598 |     1037  13660 |        0 |        0
567.61/567.71	c  567s |      25 |  5901818 |  5529398 |     1037  13696 |        0 |        0
569.60/569.72	c  569s |      25 |  5922634 |  5548098 |     1037  13731 |        0 |        0
571.60/571.72	c  571s |      25 |  5942721 |  5567098 |     1037  13766 |        0 |        0
573.60/573.72	c  573s |      25 |  5963025 |  5586298 |     1037  13802 |        0 |        0
575.60/575.73	c  575s |      25 |  5982612 |  5604998 |     1037  13837 |        0 |        0
577.60/577.73	c  577s |      25 |  6001833 |  5623298 |     1037  13871 |        0 |        0
579.61/579.74	c  579s |      25 |  6020828 |  5641598 |     1037  13905 |        0 |        0
581.60/581.75	c  581s |      25 |  6040366 |  5660198 |     1037  13940 |        0 |        0
583.60/583.76	c  583s |      25 |  6060635 |  5678798 |     1037  13975 |        0 |        0
585.60/585.76	c  585s |      25 |  6080724 |  5697498 |     1037  14010 |        0 |        0
587.60/587.76	c  587s |      25 |  6100923 |  5716298 |     1037  14045 |        0 |        0
589.60/589.77	c  589s |      25 |  6121425 |  5735198 |     1037  14081 |        0 |        0
591.60/591.77	c  591s |      25 |  6141185 |  5753598 |     1037  14115 |        0 |        0
593.59/593.78	c  593s |      25 |  6161093 |  5772198 |     1037  14150 |        0 |        0
595.59/595.79	c  595s |      25 |  6181224 |  5790998 |     1037  14185 |        0 |        0
597.60/597.79	c  597s |      25 |  6201975 |  5809898 |     1037  14221 |        0 |        0
599.70/599.80	c  599s |      25 |  6222952 |  5829098 |     1037  14257 |        0 |        0
601.61/601.80	c  601s |      25 |  6243595 |  5848098 |     1037  14293 |        0 |        0
603.70/603.80	c  603s |      25 |  6263649 |  5867098 |     1037  14328 |        0 |        0
605.70/605.81	c  605s |      25 |  6284301 |  5886198 |     1037  14364 |        0 |        0
607.70/607.81	c  607s |      25 |  6303429 |  5904598 |     1037  14399 |        0 |        0
609.70/609.83	c  609s |      25 |  6323879 |  5923698 |     1037  14435 |        0 |        0
611.70/611.83	c  611s |      25 |  6343559 |  5942598 |     1037  14470 |        0 |        0
613.70/613.83	c  613s |      25 |  6363568 |  5961398 |     1037  14506 |        0 |        0
615.70/615.84	c  615s |      25 |  6383527 |  5980098 |     1037  14541 |        0 |        0
617.69/617.85	c  617s |      25 |  6404015 |  5998698 |     1037  14576 |        0 |        0
619.69/619.86	c  619s |      25 |  6424388 |  6017798 |     1037  14611 |        0 |        0
621.69/621.86	c  621s |      25 |  6444939 |  6036898 |     1037  14647 |        0 |        0
623.70/623.87	c  623s |      25 |  6465269 |  6056098 |     1037  14684 |        0 |        0
625.69/625.88	c  625s |      25 |  6485457 |  6074898 |     1037  14719 |        0 |        0
627.69/627.88	c  627s |      25 |  6505682 |  6093598 |     1037  14754 |        0 |        0
629.69/629.89	c  629s |      25 |  6526190 |  6112798 |     1037  14790 |        0 |        0
631.79/631.90	c  631s |      25 |  6546589 |  6131998 |     1037  14826 |        0 |        0
633.79/633.91	c  633s |      25 |  6567478 |  6151398 |     1037  14862 |        0 |        0
635.80/635.91	c  635s |      25 |  6587582 |  6170198 |     1037  14897 |        0 |        0
637.80/637.92	c  637s |      25 |  6607300 |  6188198 |     1037  14931 |        0 |        0
639.80/639.92	c  639s |      25 |  6626337 |  6205998 |     1037  14964 |        0 |        0
641.80/641.92	c  641s |      25 |  6645354 |  6223798 |     1037  14997 |        0 |        0
643.80/643.93	c  643s |      25 |  6664190 |  6241698 |     1037  15031 |        0 |        0
645.79/645.93	c  645s |      25 |  6683465 |  6259698 |     1037  15064 |        0 |        0
647.80/647.93	c  647s |      25 |  6702269 |  6277498 |     1037  15098 |        0 |        0
649.79/649.93	c  649s |      25 |  6721108 |  6295298 |     1037  15131 |        0 |        0
651.79/651.94	c  651s |      25 |  6740383 |  6313498 |     1037  15165 |        0 |        0
653.79/653.94	c  653s |      25 |  6759461 |  6331698 |     1037  15199 |        0 |        0
655.79/655.95	c  655s |      25 |  6778647 |  6349698 |     1037  15233 |        0 |        0
657.80/657.96	c  657s |      25 |  6798002 |  6367698 |     1037  15266 |        0 |        0
659.79/659.97	c  659s |      25 |  6817656 |  6385998 |     1037  15300 |        0 |        0
661.79/661.97	c  661s |      25 |  6836706 |  6404398 |     1037  15335 |        0 |        0
663.79/663.98	c  663s |      25 |  6856044 |  6422898 |     1037  15369 |        0 |        0
665.79/665.99	c  665s |      25 |  6875011 |  6440798 |     1037  15403 |        0 |        0
667.78/667.99	c  667s |      25 |  6894409 |  6458998 |     1037  15437 |        0 |        0
669.79/669.99	c  669s |      25 |  6913543 |  6476998 |     1037  15470 |        0 |        0
671.78/672.00	c  671s |      25 |  6932740 |  6494998 |     1037  15504 |        0 |        0
673.88/674.00	c  673s |      25 |  6952283 |  6513298 |     1037  15538 |        0 |        0
675.89/676.01	c  675s |      25 |  6971747 |  6531598 |     1037  15573 |        0 |        0
677.89/678.01	c  678s |      25 |  6991865 |  6550198 |     1037  15607 |        0 |        0
679.89/680.02	c  680s |      25 |  7010969 |  6568398 |     1037  15642 |        0 |        0
681.90/682.02	c  682s |      25 |  7030502 |  6586698 |     1037  15676 |        0 |        0
683.89/684.02	c  684s |      25 |  7049667 |  6604798 |     1037  15710 |        0 |        0
685.89/686.04	c  686s |      25 |  7069045 |  6623298 |     1037  15744 |        0 |        0
687.89/688.04	c  688s |      25 |  7088487 |  6641898 |     1037  15779 |        0 |        0
689.89/690.04	c  690s |      25 |  7107675 |  6660298 |     1037  15814 |        0 |        0
691.89/692.05	c  692s |      25 |  7126816 |  6678898 |     1037  15849 |        0 |        0
693.89/694.06	c  694s |      25 |  7146540 |  6697798 |     1037  15884 |        0 |        0
695.89/696.07	c  696s |      25 |  7165979 |  6716698 |     1037  15920 |        0 |        0
697.89/698.08	c  698s |      25 |  7185595 |  6735598 |     1037  15955 |        0 |        0
699.89/700.08	c  700s |      25 |  7204972 |  6753998 |     1037  15990 |        0 |        0
701.89/702.08	c  702s |      25 |  7224957 |  6772498 |     1037  16024 |        0 |        0
703.89/704.09	c  704s |      25 |  7244588 |  6791198 |     1037  16059 |        0 |        0
705.88/706.09	c  706s |      25 |  7264577 |  6810098 |     1037  16095 |        0 |        0
707.98/708.10	c  708s |      25 |  7284800 |  6829098 |     1037  16131 |        0 |        0
709.98/710.10	c  710s |      25 |  7304502 |  6847798 |     1037  16166 |        0 |        0
711.98/712.11	c  712s |      25 |  7324875 |  6867098 |     1037  16202 |        0 |        0
713.98/714.12	c  714s |      25 |  7344105 |  6885398 |     1037  16237 |        0 |        0
715.99/716.12	c  716s |      25 |  7363441 |  6903798 |     1037  16271 |        0 |        0
717.98/718.13	c  718s |      25 |  7382407 |  6922098 |     1037  16305 |        0 |        0
719.98/720.14	c  720s |      25 |  7401604 |  6940298 |     1037  16340 |        0 |        0
721.98/722.14	c  722s |      25 |  7421311 |  6958998 |     1037  16375 |        0 |        0
723.98/724.14	c  724s |      25 |  7440489 |  6977398 |     1037  16409 |        0 |        0
725.98/726.15	c  726s |      25 |  7460259 |  6995898 |     1037  16444 |        0 |        0
727.98/728.15	c  728s |      25 |  7480138 |  7014798 |     1037  16480 |        0 |        0
729.97/730.15	c  730s |      25 |  7499674 |  7033198 |     1037  16514 |        0 |        0
731.97/732.16	c  732s |      25 |  7520338 |  7052398 |     1037  16550 |        0 |        0
733.97/734.17	c  734s |      25 |  7539696 |  7070898 |     1037  16585 |        0 |        0
735.97/736.18	c  736s |      25 |  7559829 |  7089498 |     1037  16620 |        0 |        0
737.98/738.18	c  738s |      25 |  7579691 |  7108298 |     1037  16655 |        0 |        0
739.97/740.19	c  740s |      25 |  7599549 |  7127098 |     1037  16691 |        0 |        0
741.97/742.19	c  742s |      25 |  7619638 |  7145898 |     1037  16726 |        0 |        0
743.96/744.19	c  744s |      25 |  7639791 |  7164798 |     1037  16762 |        0 |        0
746.06/746.20	c  746s |      25 |  7659307 |  7183498 |     1037  16797 |        0 |        0
748.07/748.20	c  748s |      25 |  7679408 |  7202698 |     1037  16833 |        0 |        0
750.08/750.21	c  750s |      25 |  7699021 |  7220998 |     1037  16867 |        0 |        0
752.07/752.22	c  752s |      25 |  7719225 |  7239398 |     1037  16901 |        0 |        0
754.07/754.22	c  754s |      25 |  7739641 |  7258098 |     1037  16936 |        0 |        0
756.07/756.23	c  756s |      25 |  7759628 |  7276798 |     1037  16972 |        0 |        0
758.07/758.24	c  758s |      25 |  7780660 |  7295498 |     1037  17007 |        0 |        0
760.07/760.24	c  760s |      25 |  7800891 |  7314298 |     1037  17042 |        0 |        0
762.06/762.24	c  762s |      25 |  7821855 |  7333398 |     1037  17078 |        0 |        0
764.06/764.26	c  764s |      25 |  7842170 |  7352298 |     1037  17113 |        0 |        0
766.06/766.26	c  766s |      25 |  7862417 |  7370798 |     1037  17148 |        0 |        0
768.06/768.26	c  768s |      25 |  7883124 |  7389798 |     1037  17184 |        0 |        0
770.05/770.27	c  770s |      25 |  7903330 |  7408798 |     1037  17219 |        0 |        0
772.06/772.27	c  772s |      25 |  7923613 |  7427698 |     1037  17255 |        0 |        0
774.05/774.28	c  774s |      25 |  7944552 |  7446998 |     1037  17291 |        0 |        0
776.05/776.29	c  776s |      25 |  7964705 |  7465998 |     1037  17326 |        0 |        0
778.05/778.29	c  778s |      25 |  7984997 |  7484798 |     1037  17362 |        0 |        0
780.04/780.29	c  780s |      25 |  8005392 |  7503898 |     1037  17398 |        0 |        0
782.14/782.30	c  782s |      25 |  8025625 |  7522798 |     1037  17433 |        0 |        0
784.15/784.31	c  784s |      25 |  8044862 |  7541098 |     1037  17467 |        0 |        0
786.14/786.32	c  786s |      25 |  8063815 |  7558898 |     1141  17497 |        0 |        0
788.15/788.33	c  788s |      25 |  8083117 |  7577098 |     1141  17528 |        0 |        0
790.15/790.33	c  790s |      25 |  8102249 |  7595398 |     1141  17560 |        0 |        0
790.35/790.58	c  790s |      26 |  8104695 |  7597752 |     1141  17564 |        0 |        0
792.34/792.59	c  792s |      26 |  8124231 |  7616052 |     1141  17595 |        0 |        0
794.44/794.60	c  794s |      26 |  8143481 |  7634252 |     1141  17626 |        0 |        0
796.44/796.60	c  796s |      26 |  8163208 |  7652252 |     1141  17656 |        0 |        0
798.45/798.61	c  798s |      26 |  8182258 |  7669952 |     1141  17686 |        0 |        0
800.44/800.62	c  800s |      26 |  8201450 |  7687652 |     1141  17717 |        0 |        0
802.44/802.63	c  802s |      26 |  8220828 |  7705452 |     1141  17747 |        0 |        0
804.44/804.63	c  804s |      26 |  8240137 |  7723152 |     1141  17777 |        0 |        0
806.44/806.64	c  806s |      26 |  8260017 |  7741152 |     1141  17808 |        0 |        0
808.44/808.65	c  808s |      26 |  8280054 |  7759252 |     1141  17839 |        0 |        0
810.43/810.65	c  810s |      26 |  8300632 |  7777252 |     1141  17870 |        0 |        0
812.43/812.65	c  812s |      26 |  8320265 |  7795152 |     1141  17900 |        0 |        0
814.43/814.66	c  814s |      26 |  8339834 |  7813252 |     1141  17931 |        0 |        0
816.43/816.66	c  816s |      26 |  8359643 |  7831552 |     1141  17962 |        0 |        0
818.43/818.67	c  818s |      26 |  8380121 |  7849952 |     1141  17994 |        0 |        0
820.43/820.67	c  820s |      26 |  8400212 |  7868252 |     1141  18025 |        0 |        0
822.43/822.68	c  822s |      26 |  8420349 |  7886752 |     1141  18056 |        0 |        0
824.42/824.68	c  824s |      26 |  8440399 |  7904952 |     1141  18087 |        0 |        0
826.42/826.69	c  826s |      26 |  8459318 |  7922952 |     1141  18118 |        0 |        0
828.42/828.69	c  828s |      26 |  8478603 |  7941152 |     1141  18149 |        0 |        0
830.52/830.70	c  830s |      26 |  8498017 |  7959652 |     1141  18181 |        0 |        0
832.53/832.71	c  832s |      26 |  8517326 |  7978052 |     1141  18212 |        0 |        0
834.53/834.71	c  834s |      26 |  8536738 |  7996552 |     1141  18244 |        0 |        0
836.53/836.72	c  836s |      26 |  8556363 |  8015152 |     1141  18276 |        0 |        0
838.53/838.72	c  838s |      26 |  8576148 |  8033752 |     1141  18307 |        0 |        0
840.52/840.73	c  840s |      26 |  8595063 |  8051752 |     1141  18338 |        0 |        0
842.53/842.74	c  842s |      26 |  8614173 |  8069652 |     1141  18368 |        0 |        0
844.52/844.75	c  844s |      26 |  8633225 |  8087852 |     1141  18399 |        0 |        0
846.52/846.75	c  846s |      26 |  8652568 |  8105952 |     1141  18430 |        0 |        0
848.52/848.76	c  848s |      26 |  8672156 |  8124252 |     1141  18461 |        0 |        0
850.52/850.76	c  850s |      26 |  8691654 |  8142652 |     1141  18493 |        0 |        0
852.52/852.77	c  852s |      26 |  8710726 |  8160752 |     1141  18523 |        0 |        0
854.52/854.78	c  854s |      26 |  8729753 |  8179152 |     1141  18555 |        0 |        0
856.51/856.79	c  856s |      26 |  8749176 |  8197652 |     1141  18586 |        0 |        0
858.51/858.79	c  858s |      26 |  8768600 |  8216152 |     1141  18618 |        0 |        0
860.61/860.80	c  860s |      26 |  8788546 |  8234452 |     1141  18649 |        0 |        0
862.61/862.81	c  862s |      26 |  8808605 |  8253052 |     1141  18681 |        0 |        0
864.61/864.82	c  864s |      26 |  8828431 |  8271452 |     1141  18712 |        0 |        0
866.61/866.82	c  866s |      26 |  8848064 |  8290152 |     1141  18744 |        0 |        0
868.61/868.83	c  868s |      26 |  8867726 |  8308952 |     1141  18776 |        0 |        0
870.60/870.83	c  870s |      26 |  8887536 |  8327752 |     1141  18808 |        0 |        0
872.60/872.84	c  872s |      26 |  8906757 |  8346252 |     1141  18840 |        0 |        0
874.60/874.84	c  874s |      26 |  8925838 |  8364452 |     1141  18871 |        0 |        0
876.61/876.85	c  876s |      26 |  8945071 |  8382552 |     1141  18902 |        0 |        0
878.61/878.86	c  878s |      26 |  8964278 |  8400752 |     1141  18933 |        0 |        0
880.60/880.86	c  880s |      26 |  8983797 |  8418752 |     1141  18963 |        0 |        0
882.60/882.87	c  882s |      26 |  9003237 |  8436952 |     1141  18994 |        0 |        0
884.60/884.87	c  884s |      26 |  9023625 |  8455252 |     1141  19026 |        0 |        0
886.60/886.87	c  886s |      26 |  9043776 |  8473752 |     1141  19057 |        0 |        0
888.61/888.88	c  888s |      26 |  9063258 |  8492252 |     1141  19089 |        0 |        0
890.59/890.88	c  890s |      26 |  9082622 |  8510852 |     1141  19120 |        0 |        0
892.59/892.89	c  892s |      26 |  9102398 |  8529452 |     1141  19152 |        0 |        0
894.69/894.90	c  894s |      26 |  9123027 |  8548352 |     1141  19185 |        0 |        0
896.69/896.91	c  896s |      26 |  9142831 |  8567052 |     1141  19217 |        0 |        0
898.69/898.92	c  898s |      26 |  9162617 |  8585452 |     1141  19248 |        0 |        0
900.69/900.93	c  900s |      26 |  9183053 |  8604052 |     1141  19280 |        0 |        0
902.69/902.93	c  902s |      26 |  9202878 |  8622552 |     1141  19311 |        0 |        0
904.69/904.93	c  904s |      26 |  9222394 |  8641252 |     1141  19343 |        0 |        0
906.69/906.94	c  906s |      26 |  9242318 |  8660152 |     1141  19376 |        0 |        0
908.68/908.94	c  908s |      26 |  9262489 |  8678952 |     1141  19408 |        0 |        0
910.69/910.95	c  910s |      26 |  9282891 |  8697652 |     1141  19440 |        0 |        0
912.68/912.95	c  912s |      26 |  9302733 |  8715852 |     1141  19471 |        0 |        0
914.68/914.96	c  914s |      26 |  9323605 |  8734352 |     1141  19502 |        0 |        0
916.68/916.96	c  916s |      26 |  9343732 |  8753152 |     1141  19534 |        0 |        0
918.68/918.97	c  918s |      26 |  9363522 |  8771852 |     1141  19566 |        0 |        0
920.68/920.98	c  920s |      26 |  9383397 |  8790652 |     1141  19599 |        0 |        0
922.68/922.98	c  922s |      26 |  9403880 |  8809652 |     1141  19631 |        0 |        0
924.67/924.99	c  924s |      26 |  9423517 |  8828152 |     1141  19663 |        0 |        0
926.77/927.00	c  926s |      26 |  9443979 |  8846752 |     1141  19694 |        0 |        0
928.77/929.00	c  928s |      26 |  9463912 |  8865552 |     1141  19726 |        0 |        0
930.78/931.01	c  930s |      26 |  9484107 |  8884452 |     1141  19759 |        0 |        0
932.78/933.01	c  933s |      26 |  9504578 |  8903152 |     1141  19791 |        0 |        0
934.78/935.01	c  935s |      26 |  9525659 |  8921952 |     1141  19823 |        0 |        0
936.78/937.02	c  937s |      26 |  9547097 |  8941152 |     1141  19856 |        0 |        0
938.78/939.02	c  939s |      26 |  9567551 |  8959952 |     1141  19888 |        0 |        0
940.77/941.03	c  941s |      26 |  9588896 |  8978852 |     1141  19920 |        0 |        0
942.77/943.03	c  943s |      26 |  9609265 |  8997752 |     1141  19953 |        0 |        0
944.78/945.04	c  945s |      26 |  9629967 |  9016852 |     1141  19986 |        0 |        0
946.77/947.04	c  947s |      26 |  9650476 |  9035852 |     1141  20018 |        0 |        0
948.76/949.05	c  949s |      26 |  9671116 |  9054952 |     1141  20051 |        0 |        0
950.76/951.05	c  951s |      26 |  9691246 |  9073452 |     1141  20083 |        0 |        0
952.76/953.06	c  953s |      26 |  9712668 |  9092752 |     1141  20116 |        0 |        0
954.76/955.07	c  955s |      26 |  9734001 |  9112252 |     1141  20149 |        0 |        0
956.77/957.08	c  957s |      26 |  9754134 |  9131152 |     1141  20182 |        0 |        0
958.76/959.08	c  959s |      26 |  9774094 |  9149652 |     1141  20213 |        0 |        0
960.76/961.09	c  961s |      26 |  9793401 |  9167852 |     1141  20244 |        0 |        0
962.85/963.10	c  963s |      26 |  9812958 |  9186352 |     1141  20276 |        0 |        0
964.85/965.11	c  965s |      26 |  9833485 |  9205152 |     1141  20308 |        0 |        0
966.85/967.12	c  967s |      26 |  9853269 |  9223752 |     1141  20339 |        0 |        0
968.86/969.12	c  969s |      26 |  9873378 |  9242652 |     1141  20372 |        0 |        0
970.85/971.13	c  971s |      26 |  9893486 |  9261452 |     1141  20404 |        0 |        0
972.85/973.13	c  973s |      26 |  9914257 |  9280052 |     1141  20435 |        0 |        0
974.85/975.14	c  975s |      26 |  9935091 |  9298352 |     1141  20467 |        0 |        0
976.85/977.15	c  977s |      26 |  9956121 |  9316852 |     1141  20498 |        0 |        0
978.87/979.16	c  979s |      26 |  9976533 |  9335652 |     1141  20530 |        0 |        0
980.85/981.16	c  981s |      26 |  9997356 |  9354452 |     1141  20563 |        0 |        0
982.85/983.16	c  983s |      26 | 10018005 |  9373352 |     1141  20595 |        0 |        0
984.85/985.17	c  985s |      26 | 10039184 |  9392352 |     1141  20627 |        0 |        0
986.85/987.17	c  987s |      26 | 10060023 |  9411252 |     1141  20659 |        0 |        0
988.85/989.18	c  989s |      26 | 10080844 |  9430352 |     1141  20692 |        0 |        0
990.86/991.18	c  991s |      26 | 10102046 |  9449452 |     1141  20725 |        0 |        0
992.85/993.18	c  993s |      26 | 10123141 |  9468652 |     1141  20758 |        0 |        0
994.85/995.19	c  995s |      26 | 10144509 |  9487752 |     1141  20791 |        0 |        0
996.85/997.19	c  997s |      26 | 10165268 |  9507052 |     1141  20824 |        0 |        0
998.95/999.20	c  999s |      26 | 10186310 |  9526452 |     1141  20857 |        0 |        0
1000.94/1001.20	c 1001s |      26 | 10207539 |  9545752 |     1141  20890 |        0 |        0
1002.95/1003.20	c 1003s |      26 | 10228813 |  9564952 |     1141  20923 |        0 |        0
1004.94/1005.21	c 1005s |      26 | 10249496 |  9584452 |     1141  20956 |        0 |        0
1006.94/1007.21	c 1007s |      26 | 10270200 |  9603652 |     1141  20989 |        0 |        0
1008.94/1009.22	c 1009s |      26 | 10290812 |  9622852 |     1141  21022 |        0 |        0
1010.94/1011.22	c 1011s |      26 | 10311511 |  9642152 |     1141  21055 |        0 |        0
1012.94/1013.22	c 1013s |      26 | 10332565 |  9661652 |     1141  21088 |        0 |        0
1014.94/1015.22	c 1015s |      26 | 10354193 |  9681452 |     1141  21122 |        0 |        0
1016.94/1017.23	c 1017s |      26 | 10375258 |  9700752 |     1141  21155 |        0 |        0
1018.93/1019.23	c 1019s |      26 | 10397564 |  9720452 |     1141  21189 |        0 |        0
1020.93/1021.24	c 1021s |      26 | 10419144 |  9740452 |     1141  21223 |        0 |        0
1022.93/1023.24	c 1023s |      26 | 10439760 |  9759952 |     1141  21256 |        0 |        0
1024.93/1025.25	c 1025s |      26 | 10459914 |  9778752 |     1141  21288 |        0 |        0
1026.92/1027.26	c 1027s |      26 | 10479780 |  9797252 |     1141  21320 |        0 |        0
1028.93/1029.26	c 1029s |      26 | 10499668 |  9816152 |     1141  21352 |        0 |        0
1030.93/1031.26	c 1031s |      26 | 10519215 |  9834652 |     1141  21383 |        0 |        0
1032.93/1033.27	c 1033s |      26 | 10539241 |  9853552 |     1141  21416 |        0 |        0
1034.93/1035.28	c 1035s |      26 | 10559401 |  9872552 |     1141  21448 |        0 |        0
1036.93/1037.28	c 1037s |      26 | 10578885 |  9890752 |     1141  21479 |        0 |        0
1038.93/1039.29	c 1039s |      26 | 10599516 |  9909152 |     1141  21511 |        0 |        0
1041.02/1041.30	c 1041s |      26 | 10619789 |  9928052 |     1141  21543 |        0 |        0
1043.02/1043.30	c 1043s |      26 | 10640075 |  9946752 |     1141  21575 |        0 |        0
1045.02/1045.31	c 1045s |      26 | 10659826 |  9965352 |     1141  21607 |        0 |        0
1047.03/1047.31	c 1047s |      26 | 10679757 |  9984252 |     1141  21639 |        0 |        0
1049.02/1049.32	c 1049s |      26 | 10700006 | 10003152 |     1141  21671 |        0 |        0
1051.02/1051.32	c 1051s |      26 | 10720825 | 10022252 |     1141  21703 |        0 |        0
1053.01/1053.33	c 1053s |      26 | 10741732 | 10041752 |     1141  21737 |        0 |        0
1055.01/1055.33	c 1055s |      26 | 10762104 | 10061052 |     1141  21770 |        0 |        0
1057.02/1057.34	c 1057s |      26 | 10782354 | 10080352 |     1141  21802 |        0 |        0
1059.03/1059.35	c 1059s |      26 | 10802882 | 10099852 |     1141  21836 |        0 |        0
1061.01/1061.35	c 1061s |      26 | 10823575 | 10119352 |     1141  21869 |        0 |        0
1063.01/1063.36	c 1063s |      26 | 10844291 | 10138852 |     1141  21902 |        0 |        0
1065.01/1065.37	c 1065s |      26 | 10864933 | 10158652 |     1141  21936 |        0 |        0
1067.01/1067.38	c 1067s |      26 | 10886302 | 10178652 |     1141  21970 |        0 |        0
1069.02/1069.38	c 1069s |      26 | 10906552 | 10197852 |     1141  22003 |        0 |        0
1071.01/1071.39	c 1071s |      26 | 10927176 | 10217452 |     1141  22037 |        0 |        0
1073.01/1073.39	c 1073s |      26 | 10947937 | 10236952 |     1141  22070 |        0 |        0
1075.11/1075.40	c 1075s |      26 | 10969069 | 10256852 |     1141  22104 |        0 |        0
1077.10/1077.40	c 1077s |      26 | 10990654 | 10276652 |     1141  22138 |        0 |        0
1079.10/1079.41	c 1079s |      26 | 11011768 | 10296452 |     1141  22172 |        0 |        0
1081.11/1081.42	c 1081s |      26 | 11032891 | 10316352 |     1141  22206 |        0 |        0
1083.10/1083.43	c 1083s |      26 | 11053646 | 10336052 |     1141  22240 |        0 |        0
1085.10/1085.44	c 1085s |      26 | 11073290 | 10354752 |     1141  22271 |        0 |        0
1087.10/1087.44	c 1087s |      26 | 11092878 | 10373552 |     1141  22303 |        0 |        0
1089.10/1089.44	c 1089s |      26 | 11112738 | 10392552 |     1141  22336 |        0 |        0
1091.09/1091.45	c 1091s |      26 | 11132565 | 10411452 |     1141  22368 |        0 |        0
1093.10/1093.45	c 1093s |      26 | 11153079 | 10430852 |     1141  22401 |        0 |        0
1095.09/1095.45	c 1095s |      26 | 11173457 | 10450152 |     1141  22434 |        0 |        0
1097.09/1097.46	c 1097s |      26 | 11193218 | 10469152 |     1141  22466 |        0 |        0
1099.09/1099.46	c 1099s |      26 | 11213396 | 10488452 |     1141  22499 |        0 |        0
1101.09/1101.47	c 1101s |      26 | 11233595 | 10507852 |     1141  22532 |        0 |        0
1103.10/1103.48	c 1103s |      26 | 11253633 | 10527252 |     1141  22565 |        0 |        0
1105.09/1105.48	c 1105s |      26 | 11273994 | 10546852 |     1141  22599 |        0 |        0
1107.09/1107.49	c 1107s |      26 | 11294513 | 10566652 |     1141  22633 |        0 |        0
1109.09/1109.49	c 1109s |      26 | 11315388 | 10586452 |     1141  22667 |        0 |        0
1111.09/1111.49	c 1111s |      26 | 11336070 | 10606052 |     1141  22700 |        0 |        0
1113.09/1113.49	c 1113s |      26 | 11357250 | 10625252 |     1141  22733 |        0 |        0
1115.09/1115.50	c 1115s |      26 | 11378356 | 10645152 |     1141  22767 |        0 |        0
1117.19/1117.50	c 1117s |      26 | 11399519 | 10665052 |     1141  22801 |        0 |        0
1119.18/1119.50	c 1119s |      26 | 11420445 | 10684552 |     1141  22834 |        0 |        0
1121.18/1121.51	c 1121s |      26 | 11441127 | 10703952 |     1141  22867 |        0 |        0
1123.18/1123.51	c 1123s |      26 | 11461423 | 10723352 |     1141  22900 |        0 |        0
1125.18/1125.52	c 1125s |      26 | 11481696 | 10742552 |     1141  22933 |        0 |        0
1127.19/1127.53	c 1127s |      26 | 11502317 | 10761952 |     1141  22966 |        0 |        0
1129.18/1129.53	c 1129s |      26 | 11523366 | 10781452 |     1141  23000 |        0 |        0
1131.17/1131.54	c 1131s |      26 | 11544207 | 10801252 |     1141  23034 |        0 |        0
1133.17/1133.55	c 1133s |      26 | 11564764 | 10820952 |     1141  23067 |        0 |        0
1135.17/1135.55	c 1135s |      26 | 11585581 | 10840952 |     1141  23102 |        0 |        0
1137.18/1137.55	c 1137s |      26 | 11605955 | 10860552 |     1141  23135 |        0 |        0
1139.17/1139.56	c 1139s |      26 | 11626747 | 10880552 |     1141  23169 |        0 |        0
1141.17/1141.57	c 1141s |      26 | 11647829 | 10900152 |     1141  23203 |        0 |        0
1143.17/1143.57	c 1143s |      26 | 11669275 | 10920252 |     1141  23237 |        0 |        0
1145.17/1145.58	c 1145s |      26 | 11690830 | 10940152 |     1141  23272 |        0 |        0
1147.17/1147.58	c 1147s |      26 | 11712628 | 10960152 |     1141  23306 |        0 |        0
1149.17/1149.58	c 1149s |      26 | 11734285 | 10980352 |     1141  23340 |        0 |        0
1151.16/1151.58	c 1151s |      26 | 11755922 | 11000652 |     1141  23375 |        0 |        0
1153.16/1153.58	c 1153s |      26 | 11776353 | 11019552 |     1141  23407 |        0 |        0
1155.16/1155.59	c 1155s |      26 | 11797236 | 11038752 |     1141  23440 |        0 |        0
1157.26/1157.60	c 1157s |      26 | 11819308 | 11058452 |     1141  23474 |        0 |        0
1159.26/1159.60	c 1159s |      26 | 11840646 | 11077852 |     1141  23507 |        0 |        0
1161.15/1161.60	c 1161s |      26 | 11861855 | 11097152 |     1141  23540 |        0 |        0
1163.25/1163.61	c 1163s |      26 | 11883111 | 11116652 |     1141  23573 |        0 |        0
1165.25/1165.62	c 1165s |      26 | 11904135 | 11136552 |     1141  23607 |        0 |        0
1167.25/1167.62	c 1167s |      26 | 11924994 | 11156252 |     1141  23641 |        0 |        0
1169.25/1169.63	c 1169s |      26 | 11946627 | 11176152 |     1141  23675 |        0 |        0
1171.25/1171.63	c 1171s |      26 | 11967809 | 11196052 |     1141  23709 |        0 |        0
1173.25/1173.64	c 1173s |      26 | 11988857 | 11215952 |     1141  23743 |        0 |        0
1175.25/1175.65	c 1175s |      26 | 12010218 | 11235952 |     1141  23778 |        0 |        0
1177.25/1177.66	c 1177s |      26 | 12032206 | 11256352 |     1141  23813 |        0 |        0
1179.25/1179.66	c 1179s |      26 | 12054358 | 11276752 |     1141  23848 |        0 |        0
1181.25/1181.67	c 1181s |      26 | 12076051 | 11297052 |     1141  23882 |        0 |        0
1183.26/1183.68	c 1183s |      26 | 12096839 | 11316952 |     1256  23916 |        0 |        0
1185.25/1185.68	c 1185s |      26 | 12117534 | 11336452 |     1256  23946 |        0 |        0
1187.25/1187.69	c 1187s |      26 | 12138309 | 11356252 |     1256  23977 |        0 |        0
1189.25/1189.69	c 1189s |      26 | 12159400 | 11376352 |     1256  24009 |        0 |        0
1191.34/1191.70	c 1191s |      26 | 12181305 | 11396552 |     1256  24040 |        0 |        0
1191.34/1191.72	c 1191s |      27 | 12181509 | 11396733 |     1256  24041 |        0 |        0
1193.34/1193.72	c 1193s |      27 | 12201842 | 11415533 |     1256  24070 |        0 |        0
1195.35/1195.72	c 1195s |      27 | 12221586 | 11434033 |     1256  24098 |        0 |        0
1197.34/1197.72	c 1197s |      27 | 12242027 | 11452733 |     1256  24127 |        0 |        0
1199.34/1199.73	c 1199s |      27 | 12262761 | 11471533 |     1256  24157 |        0 |        0
1201.34/1201.74	c 1201s |      27 | 12283462 | 11490233 |     1256  24186 |        0 |        0
1203.34/1203.75	c 1203s |      27 | 12303363 | 11508933 |     1256  24215 |        0 |        0
1205.34/1205.75	c 1205s |      27 | 12323394 | 11527933 |     1256  24244 |        0 |        0
1207.33/1207.76	c 1207s |      27 | 12343756 | 11547133 |     1256  24274 |        0 |        0
1209.33/1209.76	c 1209s |      27 | 12364446 | 11566133 |     1256  24303 |        0 |        0
1211.33/1211.77	c 1211s |      27 | 12384672 | 11585333 |     1256  24333 |        0 |        0
1213.33/1213.78	c 1213s |      27 | 12404950 | 11604333 |     1256  24363 |        0 |        0
1215.33/1215.78	c 1215s |      27 | 12425195 | 11623433 |     1256  24392 |        0 |        0
1217.34/1217.79	c 1217s |      27 | 12446028 | 11642833 |     1256  24423 |        0 |        0
1219.43/1219.80	c 1219s |      27 | 12466618 | 11662033 |     1256  24452 |        0 |        0
1221.43/1221.81	c 1221s |      27 | 12487402 | 11681033 |     1256  24482 |        0 |        0
1223.43/1223.81	c 1223s |      27 | 12507961 | 11700333 |     1256  24512 |        0 |        0
1225.43/1225.82	c 1225s |      27 | 12529053 | 11719933 |     1256  24542 |        0 |        0
1227.43/1227.83	c 1227s |      27 | 12548968 | 11738833 |     1256  24572 |        0 |        0
1229.43/1229.83	c 1229s |      27 | 12568639 | 11757533 |     1256  24601 |        0 |        0
1231.43/1231.83	c 1231s |      27 | 12588208 | 11776333 |     1256  24630 |        0 |        0
1233.43/1233.84	c 1233s |      27 | 12607791 | 11794933 |     1256  24659 |        0 |        0
1235.43/1235.85	c 1235s |      27 | 12628280 | 11814033 |     1256  24688 |        0 |        0
1237.43/1237.85	c 1237s |      27 | 12648397 | 11832733 |     1256  24717 |        0 |        0
1239.43/1239.86	c 1239s |      27 | 12668832 | 11851833 |     1256  24747 |        0 |        0
1241.42/1241.86	c 1241s |      27 | 12689140 | 11870633 |     1256  24776 |        0 |        0
1243.42/1243.87	c 1243s |      27 | 12709186 | 11889733 |     1256  24806 |        0 |        0
1245.42/1245.87	c 1245s |      27 | 12729569 | 11909333 |     1256  24836 |        0 |        0
1247.42/1247.87	c 1247s |      27 | 12750475 | 11928933 |     1256  24867 |        0 |        0
1249.42/1249.88	c 1249s |      27 | 12771190 | 11948333 |     1256  24897 |        0 |        0
1251.42/1251.89	c 1251s |      27 | 12791346 | 11967433 |     1256  24927 |        0 |        0
1253.51/1253.90	c 1253s |      27 | 12811344 | 11986433 |     1256  24956 |        0 |        0
1255.51/1255.90	c 1255s |      27 | 12831617 | 12005433 |     1256  24986 |        0 |        0
1257.51/1257.90	c 1257s |      27 | 12852163 | 12024533 |     1256  25016 |        0 |        0
1259.51/1259.90	c 1259s |      27 | 12872372 | 12043833 |     1256  25046 |        0 |        0
1261.51/1261.91	c 1261s |      27 | 12892963 | 12063233 |     1256  25076 |        0 |        0
1263.51/1263.92	c 1263s |      27 | 12913545 | 12082733 |     1256  25106 |        0 |        0
1265.50/1265.92	c 1265s |      27 | 12934257 | 12102133 |     1256  25136 |        0 |        0
1267.50/1267.93	c 1267s |      27 | 12955830 | 12122133 |     1256  25168 |        0 |        0
1269.50/1269.94	c 1269s |      27 | 12976450 | 12141133 |     1256  25197 |        0 |        0
1271.50/1271.95	c 1271s |      27 | 12997365 | 12160133 |     1256  25227 |        0 |        0
1273.50/1273.95	c 1273s |      27 | 13017659 | 12179233 |     1256  25256 |        0 |        0
1275.50/1275.95	c 1275s |      27 | 13038311 | 12198433 |     1256  25286 |        0 |        0
1277.51/1277.96	c 1277s |      27 | 13059469 | 12218033 |     1256  25317 |        0 |        0
1279.51/1279.96	c 1279s |      27 | 13080529 | 12237933 |     1256  25348 |        0 |        0
1281.50/1281.96	c 1281s |      27 | 13101330 | 12257533 |     1256  25378 |        0 |        0
1283.50/1283.97	c 1283s |      27 | 13122116 | 12277233 |     1256  25409 |        0 |        0
1285.51/1285.97	c 1285s |      27 | 13142971 | 12296933 |     1256  25440 |        0 |        0
1287.50/1287.98	c 1287s |      27 | 13163181 | 12316433 |     1256  25470 |        0 |        0
1289.50/1289.98	c 1289s |      27 | 13184094 | 12336433 |     1256  25501 |        0 |        0
1291.49/1291.98	c 1291s |      27 | 13204476 | 12356133 |     1256  25532 |        0 |        0
1293.49/1293.99	c 1293s |      27 | 13224817 | 12375733 |     1256  25563 |        0 |        0
1295.50/1295.99	c 1295s |      27 | 13245534 | 12395733 |     1256  25594 |        0 |        0
1297.49/1298.00	c 1297s |      27 | 13266535 | 12415833 |     1256  25625 |        0 |        0
1299.59/1300.00	c 1299s |      27 | 13286870 | 12434933 |     1256  25655 |        0 |        0
1301.59/1302.01	c 1301s |      27 | 13307000 | 12453633 |     1256  25684 |        0 |        0
1303.59/1304.01	c 1303s |      27 | 13327906 | 12472533 |     1256  25713 |        0 |        0
1305.59/1306.02	c 1306s |      27 | 13349174 | 12491533 |     1256  25743 |        0 |        0
1307.59/1308.02	c 1308s |      27 | 13370106 | 12510433 |     1256  25772 |        0 |        0
1309.59/1310.03	c 1310s |      27 | 13390423 | 12529333 |     1256  25802 |        0 |        0
1311.58/1312.04	c 1312s |      27 | 13410666 | 12548033 |     1256  25831 |        0 |        0
1313.58/1314.04	c 1314s |      27 | 13430930 | 12566933 |     1256  25860 |        0 |        0
1315.58/1316.04	c 1316s |      27 | 13451548 | 12585933 |     1256  25889 |        0 |        0
1317.58/1318.04	c 1318s |      27 | 13471833 | 12604733 |     1256  25919 |        0 |        0
1319.59/1320.05	c 1320s |      27 | 13492321 | 12623733 |     1256  25948 |        0 |        0
1321.58/1322.06	c 1322s |      27 | 13513132 | 12642933 |     1256  25978 |        0 |        0
1323.58/1324.07	c 1324s |      27 | 13533921 | 12662133 |     1256  26008 |        0 |        0
1325.58/1326.07	c 1326s |      27 | 13554108 | 12681333 |     1256  26037 |        0 |        0
1327.58/1328.08	c 1328s |      27 | 13574547 | 12700833 |     1256  26068 |        0 |        0
1329.59/1330.09	c 1330s |      27 | 13594945 | 12720333 |     1256  26098 |        0 |        0
1331.58/1332.10	c 1332s |      27 | 13615282 | 12739833 |     1256  26129 |        0 |        0
1333.68/1334.10	c 1334s |      27 | 13635843 | 12759533 |     1256  26159 |        0 |        0
1335.68/1336.11	c 1336s |      27 | 13656565 | 12779233 |     1256  26190 |        0 |        0
1337.68/1338.12	c 1338s |      27 | 13676951 | 12798733 |     1256  26220 |        0 |        0
1339.68/1340.12	c 1340s |      27 | 13697580 | 12817833 |     1256  26250 |        0 |        0
1341.68/1342.13	c 1342s |      27 | 13718738 | 12837533 |     1256  26281 |        0 |        0
1343.67/1344.13	c 1344s |      27 | 13740420 | 12857533 |     1256  26312 |        0 |        0
1345.67/1346.13	c 1346s |      27 | 13761027 | 12876833 |     1256  26342 |        0 |        0
1347.67/1348.14	c 1348s |      27 | 13781723 | 12896233 |     1256  26372 |        0 |        0
1349.67/1350.14	c 1350s |      27 | 13802790 | 12916133 |     1256  26403 |        0 |        0
1351.67/1352.15	c 1352s |      27 | 13824000 | 12936333 |     1256  26435 |        0 |        0
1353.67/1354.15	c 1354s |      27 | 13844863 | 12956333 |     1256  26466 |        0 |        0
1355.67/1356.16	c 1356s |      27 | 13866850 | 12976633 |     1256  26497 |        0 |        0
1357.66/1358.16	c 1358s |      27 | 13887647 | 12996433 |     1256  26528 |        0 |        0
1359.66/1360.17	c 1360s |      27 | 13908787 | 13016433 |     1256  26560 |        0 |        0
1361.66/1362.17	c 1362s |      27 | 13929117 | 13035433 |     1256  26589 |        0 |        0
1363.67/1364.17	c 1364s |      27 | 13950000 | 13054733 |     1256  26619 |        0 |        0
1365.66/1366.18	c 1366s |      27 | 13971116 | 13074433 |     1256  26650 |        0 |        0
1367.66/1368.19	c 1368s |      27 | 13991949 | 13094333 |     1256  26681 |        0 |        0
1369.76/1370.20	c 1370s |      27 | 14013238 | 13114333 |     1256  26712 |        0 |        0
1371.76/1372.20	c 1372s |      27 | 14035110 | 13134533 |     1256  26743 |        0 |        0
1373.76/1374.20	c 1374s |      27 | 14056739 | 13154833 |     1256  26775 |        0 |        0
1375.77/1376.21	c 1376s |      27 | 14078241 | 13175133 |     1256  26807 |        0 |        0
1377.77/1378.22	c 1378s |      27 | 14099900 | 13195433 |     1256  26838 |        0 |        0
1379.77/1380.23	c 1380s |      27 | 14121355 | 13215633 |     1256  26870 |        0 |        0
1381.77/1382.24	c 1382s |      27 | 14142837 | 13235933 |     1256  26901 |        0 |        0
1383.77/1384.25	c 1384s |      27 | 14162723 | 13254833 |     1256  26931 |        0 |        0
1385.77/1386.25	c 1386s |      27 | 14182486 | 13273833 |     1256  26960 |        0 |        0
1387.77/1388.25	c 1388s |      27 | 14202439 | 13292833 |     1256  26989 |        0 |        0
1389.77/1390.25	c 1390s |      27 | 14222405 | 13311933 |     1256  27019 |        0 |        0
1391.77/1392.25	c 1392s |      27 | 14242167 | 13330633 |     1256  27048 |        0 |        0
1393.76/1394.27	c 1394s |      27 | 14261444 | 13349033 |     1256  27077 |        0 |        0
1395.76/1396.27	c 1396s |      27 | 14281120 | 13367833 |     1256  27106 |        0 |        0
1397.77/1398.28	c 1398s |      27 | 14302094 | 13386833 |     1256  27135 |        0 |        0
1399.76/1400.29	c 1400s |      27 | 14322285 | 13405933 |     1256  27165 |        0 |        0
1401.76/1402.29	c 1402s |      27 | 14342316 | 13425033 |     1256  27194 |        0 |        0
1403.86/1404.30	c 1404s |      27 | 14361997 | 13443833 |     1256  27224 |        0 |        0
1405.86/1406.30	c 1406s |      27 | 14381774 | 13462633 |     1256  27253 |        0 |        0
1407.86/1408.31	c 1408s |      27 | 14401995 | 13481733 |     1256  27282 |        0 |        0
1409.87/1410.31	c 1410s |      27 | 14421834 | 13500733 |     1256  27312 |        0 |        0
1411.86/1412.32	c 1412s |      27 | 14442092 | 13519833 |     1256  27342 |        0 |        0
1413.86/1414.33	c 1414s |      27 | 14463012 | 13539233 |     1256  27372 |        0 |        0
1415.86/1416.34	c 1416s |      27 | 14483225 | 13558533 |     1256  27402 |        0 |        0
1417.86/1418.34	c 1418s |      27 | 14503416 | 13577833 |     1256  27432 |        0 |        0
1419.86/1420.35	c 1420s |      27 | 14524575 | 13597433 |     1256  27462 |        0 |        0
1421.86/1422.35	c 1422s |      27 | 14545504 | 13617233 |     1256  27493 |        0 |        0
1423.86/1424.36	c 1424s |      27 | 14565593 | 13636333 |     1256  27523 |        0 |        0
1425.86/1426.36	c 1426s |      27 | 14585877 | 13655433 |     1256  27553 |        0 |        0
1427.85/1428.37	c 1428s |      27 | 14606174 | 13674833 |     1256  27583 |        0 |        0
1429.85/1430.38	c 1430s |      27 | 14626321 | 13693933 |     1256  27613 |        0 |        0
1431.86/1432.39	c 1432s |      27 | 14647416 | 13713633 |     1256  27643 |        0 |        0
1433.85/1434.40	c 1434s |      27 | 14667947 | 13733333 |     1256  27674 |        0 |        0
1435.95/1436.40	c 1436s |      27 | 14689396 | 13753533 |     1256  27705 |        0 |        0
1437.95/1438.40	c 1438s |      27 | 14710450 | 13773033 |     1256  27736 |        0 |        0
1439.96/1440.40	c 1440s |      27 | 14732249 | 13793033 |     1256  27767 |        0 |        0
1441.96/1442.40	c 1442s |      27 | 14752733 | 13811933 |     1256  27796 |        0 |        0
1443.96/1444.41	c 1444s |      27 | 14772942 | 13830933 |     1256  27826 |        0 |        0
1445.96/1446.41	c 1446s |      27 | 14793532 | 13850033 |     1256  27855 |        0 |        0
1447.96/1448.42	c 1448s |      27 | 14814010 | 13869533 |     1256  27886 |        0 |        0
1449.96/1450.43	c 1450s |      27 | 14834980 | 13889433 |     1256  27917 |        0 |        0
1451.96/1452.43	c 1452s |      27 | 14856027 | 13909533 |     1256  27948 |        0 |        0
1453.96/1454.44	c 1454s |      27 | 14876601 | 13929233 |     1256  27979 |        0 |        0
1455.96/1456.44	c 1456s |      27 | 14898276 | 13949433 |     1256  28010 |        0 |        0
1457.95/1458.44	c 1458s |      27 | 14919304 | 13969333 |     1256  28041 |        0 |        0
1459.95/1460.44	c 1460s |      27 | 14940510 | 13988933 |     1256  28072 |        0 |        0
1461.95/1462.45	c 1462s |      27 | 14961668 | 14008933 |     1256  28103 |        0 |        0
1463.95/1464.45	c 1464s |      27 | 14983266 | 14029233 |     1256  28135 |        0 |        0
1465.96/1466.46	c 1466s |      27 | 15004813 | 14049633 |     1256  28167 |        0 |        0
1467.95/1468.47	c 1468s |      27 | 15026081 | 14069033 |     1256  28197 |        0 |        0
1469.95/1470.47	c 1470s |      27 | 15048183 | 14088533 |     1256  28227 |        0 |        0
1471.95/1472.48	c 1472s |      27 | 15069410 | 14108233 |     1256  28258 |        0 |        0
1473.95/1474.49	c 1474s |      27 | 15090484 | 14127833 |     1256  28288 |        0 |        0
1475.94/1476.49	c 1476s |      27 | 15111401 | 14147333 |     1256  28319 |        0 |        0
1477.95/1478.50	c 1478s |      27 | 15132632 | 14167233 |     1256  28350 |        0 |        0
1480.04/1480.50	c 1480s |      27 | 15154042 | 14187333 |     1256  28381 |        0 |        0
1482.04/1482.50	c 1482s |      27 | 15174655 | 14207033 |     1256  28412 |        0 |        0
1484.04/1484.50	c 1484s |      27 | 15196366 | 14227033 |     1256  28443 |        0 |        0
1486.05/1486.51	c 1486s |      27 | 15217374 | 14246733 |     1256  28474 |        0 |        0
1488.05/1488.51	c 1488s |      27 | 15239428 | 14267233 |     1256  28506 |        0 |        0
1490.06/1490.51	c 1490s |      27 | 15261675 | 14288133 |     1256  28538 |        0 |        0
1492.05/1492.53	c 1492s |      27 | 15281971 | 14307133 |     1256  28568 |        0 |        0
1494.05/1494.53	c 1494s |      27 | 15302582 | 14326033 |     1256  28597 |        0 |        0
1496.05/1496.54	c 1496s |      27 | 15322674 | 14345033 |     1256  28626 |        0 |        0
1498.05/1498.55	c 1498s |      27 | 15343264 | 14363533 |     1256  28655 |        0 |        0
1500.05/1500.55	c 1500s |      27 | 15363306 | 14382433 |     1256  28684 |        0 |        0
1502.04/1502.56	c 1502s |      27 | 15383602 | 14401333 |     1256  28714 |        0 |        0
1504.04/1504.57	c 1504s |      27 | 15405033 | 14420633 |     1256  28744 |        0 |        0
1506.04/1506.57	c 1506s |      27 | 15425475 | 14439533 |     1256  28773 |        0 |        0
1508.04/1508.58	c 1508s |      27 | 15445702 | 14458933 |     1256  28803 |        0 |        0
1510.04/1510.58	c 1510s |      27 | 15465587 | 14477933 |     1256  28833 |        0 |        0
1512.05/1512.58	c 1512s |      27 | 15485482 | 14497133 |     1256  28862 |        0 |        0
1514.04/1514.58	c 1514s |      27 | 15505791 | 14516533 |     1256  28893 |        0 |        0
1516.04/1516.59	c 1516s |      27 | 15526045 | 14535333 |     1256  28922 |        0 |        0
1518.05/1518.59	c 1518s |      27 | 15546035 | 14554033 |     1256  28951 |        0 |        0
1520.05/1520.59	c 1520s |      27 | 15566681 | 14573033 |     1256  28980 |        0 |        0
1522.15/1522.60	c 1522s |      27 | 15587313 | 14592033 |     1256  29010 |        0 |        0
1524.15/1524.61	c 1524s |      27 | 15607433 | 14611033 |     1256  29039 |        0 |        0
1526.15/1526.61	c 1526s |      27 | 15627450 | 14630033 |     1256  29069 |        0 |        0
1528.14/1528.61	c 1528s |      27 | 15647754 | 14649033 |     1256  29098 |        0 |        0
1530.14/1530.61	c 1530s |      27 | 15668114 | 14668433 |     1256  29129 |        0 |        0
1532.14/1532.61	c 1532s |      27 | 15688273 | 14687733 |     1256  29159 |        0 |        0
1534.15/1534.61	c 1534s |      27 | 15708999 | 14707233 |     1256  29189 |        0 |        0
1536.14/1536.62	c 1536s |      27 | 15729924 | 14726933 |     1256  29219 |        0 |        0
1538.14/1538.63	c 1538s |      27 | 15749659 | 14745733 |     1256  29249 |        0 |        0
1540.14/1540.64	c 1540s |      27 | 15769287 | 14764333 |     1256  29277 |        0 |        0
1542.14/1542.64	c 1542s |      27 | 15789186 | 14783233 |     1256  29307 |        0 |        0
1544.14/1544.65	c 1544s |      27 | 15809339 | 14802333 |     1256  29337 |        0 |        0
1546.15/1546.67	c 1546s |      27 | 15829701 | 14821833 |     1256  29367 |        0 |        0
1548.14/1548.68	c 1548s |      27 | 15849898 | 14840933 |     1256  29397 |        0 |        0
1550.14/1550.69	c 1550s |      27 | 15870739 | 14860733 |     1256  29428 |        0 |        0
1552.14/1552.69	c 1552s |      27 | 15891666 | 14880533 |     1256  29458 |        0 |        0
1554.24/1554.70	c 1554s |      27 | 15911904 | 14899733 |     1256  29488 |        0 |        0
1556.24/1556.71	c 1556s |      27 | 15932815 | 14919233 |     1256  29519 |        0 |        0
1558.24/1558.72	c 1558s |      27 | 15953161 | 14938533 |     1256  29549 |        0 |        0
1560.24/1560.72	c 1560s |      27 | 15973519 | 14957933 |     1256  29579 |        0 |        0
1562.24/1562.72	c 1562s |      27 | 15994572 | 14978033 |     1256  29610 |        0 |        0
1564.24/1564.73	c 1564s |      27 | 16014722 | 14997233 |     1256  29640 |        0 |        0
1566.24/1566.73	c 1566s |      27 | 16034894 | 15016633 |     1256  29670 |        0 |        0
1568.24/1568.74	c 1568s |      27 | 16055023 | 15036233 |     1256  29700 |        0 |        0
1570.23/1570.74	c 1570s |      27 | 16075603 | 15055833 |     1256  29731 |        0 |        0
1572.23/1572.75	c 1572s |      27 | 16096298 | 15075333 |     1256  29761 |        0 |        0
1574.23/1574.76	c 1574s |      27 | 16116482 | 15094633 |     1256  29791 |        0 |        0
1576.23/1576.76	c 1576s |      27 | 16136954 | 15114333 |     1256  29822 |        0 |        0
1578.23/1578.77	c 1578s |      27 | 16157533 | 15134133 |     1256  29852 |        0 |        0
1580.24/1580.78	c 1580s |      27 | 16178213 | 15153933 |     1256  29883 |        0 |        0
1582.23/1582.78	c 1582s |      27 | 16199019 | 15173833 |     1256  29914 |        0 |        0
1584.23/1584.78	c 1584s |      27 | 16219937 | 15193233 |     1256  29944 |        0 |        0
1586.23/1586.78	c 1586s |      27 | 16241093 | 15213233 |     1256  29976 |        0 |        0
1588.23/1588.79	c 1588s |      27 | 16262441 | 15233633 |     1256  30007 |        0 |        0
1590.24/1590.79	c 1590s |      27 | 16283984 | 15254233 |     1256  30039 |        0 |        0
1592.23/1592.80	c 1592s |      27 | 16305222 | 15274433 |     1256  30071 |        0 |        0
1594.33/1594.81	c 1594s |      27 | 16325198 | 15293533 |     1256  30100 |        0 |        0
1596.33/1596.81	c 1596s |      27 | 16345654 | 15313233 |     1256  30131 |        0 |        0
1598.33/1598.82	c 1598s |      27 | 16366419 | 15332833 |     1256  30161 |        0 |        0
1600.33/1600.82	c 1600s |      27 | 16387160 | 15352733 |     1256  30192 |        0 |        0
1602.33/1602.83	c 1602s |      27 | 16407782 | 15372233 |     1256  30223 |        0 |        0
1604.33/1604.83	c 1604s |      27 | 16428334 | 15391833 |     1256  30253 |        0 |        0
1606.32/1606.84	c 1606s |      27 | 16449060 | 15411333 |     1256  30284 |        0 |        0
1608.32/1608.84	c 1608s |      27 | 16469314 | 15430733 |     1256  30314 |        0 |        0
1610.33/1610.85	c 1610s |      27 | 16489744 | 15450233 |     1256  30344 |        0 |        0
1612.33/1612.85	c 1612s |      27 | 16510921 | 15470133 |     1256  30375 |        0 |        0
1614.34/1614.85	c 1614s |      27 | 16531684 | 15490033 |     1256  30406 |        0 |        0
1616.33/1616.86	c 1616s |      27 | 16552745 | 15510033 |     1256  30437 |        0 |        0
1618.33/1618.86	c 1618s |      27 | 16574359 | 15530133 |     1256  30468 |        0 |        0
1620.33/1620.87	c 1620s |      27 | 16596569 | 15550533 |     1256  30500 |        0 |        0
1622.33/1622.87	c 1622s |      27 | 16617633 | 15570333 |     1256  30531 |        0 |        0
1624.33/1624.87	c 1624s |      27 | 16638912 | 15590633 |     1256  30562 |        0 |        0
1626.33/1626.88	c 1626s |      27 | 16660138 | 15611033 |     1256  30594 |        0 |        0
1628.33/1628.89	c 1628s |      27 | 16681907 | 15631333 |     1256  30626 |        0 |        0
1630.33/1630.89	c 1630s |      27 | 16701605 | 15649733 |     1256  30654 |        0 |        0
1632.42/1632.90	c 1632s |      27 | 16720769 | 15668133 |     1256  30683 |        0 |        0
1634.42/1634.91	c 1634s |      27 | 16740394 | 15686933 |     1256  30712 |        0 |        0
1636.43/1636.92	c 1636s |      27 | 16760311 | 15706133 |     1256  30742 |        0 |        0
1638.42/1638.92	c 1638s |      27 | 16781328 | 15725633 |     1256  30772 |        0 |        0
1640.42/1640.93	c 1640s |      27 | 16801486 | 15744833 |     1256  30802 |        0 |        0
1642.42/1642.94	c 1642s |      27 | 16822520 | 15764733 |     1256  30833 |        0 |        0
1644.42/1644.94	c 1644s |      27 | 16843370 | 15784633 |     1256  30864 |        0 |        0
1646.42/1646.95	c 1646s |      27 | 16864837 | 15805033 |     1256  30895 |        0 |        0
1648.42/1648.95	c 1648s |      27 | 16885454 | 15824433 |     1256  30925 |        0 |        0
1650.43/1650.96	c 1650s |      27 | 16906621 | 15844333 |     1256  30956 |        0 |        0
1652.43/1652.96	c 1652s |      27 | 16927996 | 15864433 |     1256  30988 |        0 |        0
1654.43/1654.96	c 1654s |      27 | 16949893 | 15884833 |     1256  31020 |        0 |        0
1656.43/1656.97	c 1656s |      27 | 16971004 | 15904733 |     1256  31051 |        0 |        0
1658.43/1658.97	c 1658s |      27 | 16992559 | 15924833 |     1256  31082 |        0 |        0
1660.42/1660.98	c 1660s |      27 | 17014194 | 15945033 |     1256  31113 |        0 |        0
1662.42/1662.99	c 1662s |      27 | 17035898 | 15965533 |     1256  31145 |        0 |        0
1664.42/1664.99	c 1664s |      27 | 17057229 | 15985833 |     1256  31177 |        0 |        0
1666.42/1666.99	c 1666s |      27 | 17079082 | 16006633 |     1256  31209 |        0 |        0
1668.42/1668.99	c 1668s |      27 | 17101008 | 16027033 |     1256  31241 |        0 |        0
1670.43/1671.00	c 1670s |      27 | 17123170 | 16047233 |     1256  31273 |        0 |        0
1672.52/1673.00	c 1672s |      27 | 17145041 | 16067533 |     1256  31304 |        0 |        0
1674.52/1675.00	c 1674s |      27 | 17167308 | 16088033 |     1256  31336 |        0 |        0
1676.52/1677.01	c 1676s |      27 | 17190213 | 16108733 |     1256  31368 |        0 |        0
1678.52/1679.02	c 1679s |      27 | 17213265 | 16129233 |     1256  31400 |        0 |        0
1680.52/1681.03	c 1681s |      27 | 17236237 | 16150533 |     1256  31433 |        0 |        0
1682.52/1683.04	c 1683s |      27 | 17257504 | 16169433 |     1256  31463 |        0 |        0
1684.52/1685.04	c 1685s |      27 | 17277958 | 16188333 |     1256  31492 |        0 |        0
1686.52/1687.04	c 1687s |      27 | 17299474 | 16207433 |     1256  31522 |        0 |        0
1688.52/1689.05	c 1689s |      27 | 17320749 | 16226633 |     1256  31551 |        0 |        0
1690.52/1691.05	c 1691s |      27 | 17341876 | 16245533 |     1256  31581 |        0 |        0
1692.52/1693.06	c 1693s |      27 | 17363760 | 16264833 |     1256  31611 |        0 |        0
1694.52/1695.07	c 1695s |      27 | 17384436 | 16284033 |     1256  31641 |        0 |        0
1696.52/1697.08	c 1697s |      27 | 17405646 | 16303033 |     1256  31670 |        0 |        0
1698.52/1699.08	c 1699s |      27 | 17427202 | 16322233 |     1256  31700 |        0 |        0
1700.52/1701.08	c 1701s |      27 | 17448366 | 16341533 |     1256  31730 |        0 |        0
1702.52/1703.09	c 1703s |      27 | 17469715 | 16360933 |     1256  31760 |        0 |        0
1704.52/1705.10	c 1705s |      27 | 17490283 | 16380033 |     1256  31789 |        0 |        0
1706.61/1707.11	c 1707s |      27 | 17510729 | 16399333 |     1256  31819 |        0 |        0
1708.61/1709.11	c 1709s |      27 | 17531933 | 16418733 |     1256  31850 |        0 |        0
1710.61/1711.13	c 1711s |      27 | 17552591 | 16438233 |     1256  31880 |        0 |        0
1712.61/1713.13	c 1713s |      27 | 17573569 | 16457133 |     1256  31909 |        0 |        0
1714.61/1715.13	c 1715s |      27 | 17594126 | 16476433 |     1256  31939 |        0 |        0
1716.62/1717.14	c 1717s |      27 | 17615520 | 16496133 |     1256  31970 |        0 |        0
1718.61/1719.15	c 1719s |      27 | 17636459 | 16515733 |     1256  32000 |        0 |        0
1720.61/1721.15	c 1721s |      27 | 17657452 | 16535233 |     1256  32030 |        0 |        0
1722.61/1723.15	c 1723s |      27 | 17678616 | 16555033 |     1256  32061 |        0 |        0
1724.61/1725.16	c 1725s |      27 | 17699482 | 16574233 |     1256  32091 |        0 |        0
1726.61/1727.16	c 1727s |      27 | 17720049 | 16593633 |     1256  32121 |        0 |        0
1728.61/1729.17	c 1729s |      27 | 17741287 | 16613433 |     1256  32152 |        0 |        0
1730.61/1731.17	c 1731s |      27 | 17761884 | 16633233 |     1256  32183 |        0 |        0
1732.61/1733.18	c 1733s |      27 | 17783036 | 16653333 |     1256  32214 |        0 |        0
1734.61/1735.18	c 1735s |      27 | 17804091 | 16673133 |     1256  32245 |        0 |        0
1736.61/1737.19	c 1737s |      27 | 17824914 | 16692633 |     1256  32275 |        0 |        0
1738.62/1739.20	c 1739s |      27 | 17845823 | 16712133 |     1256  32305 |        0 |        0
1740.71/1741.20	c 1741s |      27 | 17866850 | 16732133 |     1256  32337 |        0 |        0
1742.71/1743.20	c 1743s |      27 | 17887623 | 16751933 |     1256  32367 |        0 |        0
1744.71/1745.20	c 1745s |      27 | 17908779 | 16771533 |     1256  32398 |        0 |        0
1746.71/1747.21	c 1747s |      27 | 17929010 | 16790733 |     1256  32428 |        0 |        0
1748.71/1749.22	c 1749s |      27 | 17949812 | 16810333 |     1256  32458 |        0 |        0
1750.71/1751.23	c 1751s |      27 | 17971093 | 16830533 |     1256  32490 |        0 |        0
1752.71/1753.23	c 1753s |      27 | 17992577 | 16851033 |     1256  32522 |        0 |        0
1754.71/1755.24	c 1755s |      27 | 18014478 | 16871633 |     1256  32554 |        0 |        0
1756.71/1757.25	c 1757s |      27 | 18036125 | 16891533 |     1256  32585 |        0 |        0
1758.70/1759.25	c 1759s |      27 | 18056518 | 16910833 |     1256  32615 |        0 |        0
1760.71/1761.25	c 1761s |      27 | 18077153 | 16930633 |     1256  32646 |        0 |        0
1762.70/1763.25	c 1763s |      27 | 18097871 | 16950333 |     1256  32676 |        0 |        0
1764.70/1765.26	c 1765s |      27 | 18118165 | 16969833 |     1256  32707 |        0 |        0
1766.70/1767.27	c 1767s |      27 | 18137085 | 16987933 |     1382  32733 |        0 |        0
1768.71/1769.27	c 1769s |      27 | 18157368 | 17007333 |     1382  32760 |        0 |        0
1770.71/1771.28	c 1771s |      27 | 18179020 | 17027633 |     1382  32789 |        0 |        0
1772.71/1773.28	c 1773s |      27 | 18200188 | 17047733 |     1382  32818 |        0 |        0
1774.71/1775.29	c 1775s |      27 | 18220926 | 17067533 |     1382  32846 |        0 |        0
1776.81/1777.30	c 1777s |      27 | 18241793 | 17087533 |     1382  32874 |        0 |        0
1777.51/1778.07	c 1778s |      28 | 18249747 | 17095205 |     1382  32885 |        0 |        0
1779.51/1780.08	c 1780s |      28 | 18270050 | 17114405 |     1382  32912 |        0 |        0
1781.51/1782.09	c 1782s |      28 | 18289011 | 17132505 |     1382  32938 |        0 |        0
1783.50/1784.09	c 1784s |      28 | 18308253 | 17150805 |     1382  32963 |        0 |        0
1785.60/1786.10	c 1786s |      28 | 18328362 | 17169305 |     1382  32989 |        0 |        0
1787.60/1788.11	c 1788s |      28 | 18347764 | 17187605 |     1382  33015 |        0 |        0
1789.60/1790.12	c 1790s |      28 | 18367158 | 17206005 |     1382  33041 |        0 |        0
1791.60/1792.13	c 1792s |      28 | 18386518 | 17224305 |     1382  33067 |        0 |        0
1793.61/1794.13	c 1794s |      28 | 18406102 | 17242405 |     1382  33093 |        0 |        0
1795.60/1796.14	c 1796s |      28 | 18426147 | 17260905 |     1382  33119 |        0 |        0
1797.60/1798.15	c 1798s |      28 | 18445999 | 17279205 |     1382  33145 |        0 |        0
1799.60/1800.15	c 1800s |      28 | 18465853 | 17297905 |     1382  33171 |        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-4089183-1466023140/watcher-4089183-1466023140 -o /tmp/evaluation-result-4089183-1466023140/solver-4089183-1466023140 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466013843-5838 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089183-1466023140.opb 

pid=7120
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.49 2.44 2.29 4/179 7123
/proc/meminfo: memFree=29471420/32872528 swapFree=1369816/1516984
[pid=7123] ppid=7120 vsize=780732 CPUtime=0 cores=0,2,4,6
/proc/7123/stat : 7123 (toysat) R 7120 7123 5822 0 -1 4202496 2926 0 0 0 0 0 0 0 20 0 4 0 4360542 799469568 2775 33554432000 4194304 16246674 140735657914368 140735657913792 13903272 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7123/statm: 195951 2783 441 2943 0 192845 0
[pid=7123/tid=7124] ppid=7120 vsize=799164 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7124/stat : 7124 (toysat) S 7120 7123 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4360542 818343936 2846 33554432000 4194304 16246674 140735657914368 139764243082480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7123/tid=7125] ppid=7120 vsize=803260 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7125/stat : 7125 (toysat) S 7120 7123 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4360542 822538240 2863 33554432000 4194304 16246674 140735657914368 139764232592624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7123/tid=7126] ppid=7120 vsize=807356 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7126/stat : 7126 (toysat) S 7120 7123 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4360542 826732544 2879 33554432000 4194304 16246674 140735657914368 139764222119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100128 s]
/proc/loadavg: 2.49 2.44 2.29 4/179 7123
/proc/meminfo: memFree=29471420/32872528 swapFree=1369816/1516984
[pid=7123] ppid=7120 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/7123/stat : 7123 (toysat) R 7120 7123 5822 0 -1 4202496 28757 0 0 0 5 3 0 0 20 0 4 0 4360542 1247350784 28595 33554432000 4194304 16246674 140735657914368 140735657913792 5726649 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7123/statm: 304529 28605 711 2943 0 301423 0
[pid=7123/tid=7124] ppid=7120 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7124/stat : 7124 (toysat) S 7120 7123 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4360542 1247350784 28610 33554432000 4194304 16246674 140735657914368 139764243082480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7123/tid=7125] ppid=7120 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7125/stat : 7125 (toysat) S 7120 7123 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4360542 1247350784 28620 33554432000 4194304 16246674 140735657914368 139764232592624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7123/tid=7126] ppid=7120 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7126/stat : 7126 (toysat) S 7120 7123 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4360542 1247350784 28630 33554432000 4194304 16246674 140735657914368 139764222119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200471 s]
/proc/loadavg: 2.49 2.44 2.29 4/179 7123
/proc/meminfo: memFree=29471420/32872528 swapFree=1369816/1516984
[pid=7123] ppid=7120 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/7123/stat : 7123 (toysat) R 7120 7123 5822 0 -1 4202496 56564 0 0 0 12 7 0 0 20 0 4 0 4360542 1247350784 56402 33554432000 4194304 16246674 140735657914368 140735657913792 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7123/statm: 304529 56413 711 2943 0 301423 0
[pid=7123/tid=7124] ppid=7120 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7124/stat : 7124 (toysat) S 7120 7123 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4360542 1247350784 56422 33554432000 4194304 16246674 140735657914368 139764243082480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7123/tid=7125] ppid=7120 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7125/stat : 7125 (toysat) S 7120 7123 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4360542 1247350784 56433 33554432000 4194304 16246674 140735657914368 139764232592624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7123/tid=7126] ppid=7120 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7126/stat : 7126 (toysat) S 7120 7123 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4360542 1247350784 56442 33554432000 4194304 16246674 140735657914368 139764222119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300429 s]
/proc/loadavg: 2.49 2.44 2.29 4/179 7123
/proc/meminfo: memFree=29471420/32872528 swapFree=1369816/1516984
[pid=7123] ppid=7120 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/7123/stat : 7123 (toysat) R 7120 7123 5822 0 -1 4202496 84755 0 0 0 18 11 0 0 20 0 4 0 4360542 1247350784 84593 33554432000 4194304 16246674 140735657914368 140735657896256 5662594 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7123/statm: 304529 84606 711 2943 0 301423 0
[pid=7123/tid=7124] ppid=7120 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7124/stat : 7124 (toysat) S 7120 7123 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4360542 1247350784 84617 33554432000 4194304 16246674 140735657914368 139764243082480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7123/tid=7125] ppid=7120 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7125/stat : 7125 (toysat) S 7120 7123 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4360542 1247350784 84623 33554432000 4194304 16246674 140735657914368 139764232592624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7123/tid=7126] ppid=7120 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7126/stat : 7126 (toysat) S 7120 7123 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4360542 1247350784 84629 33554432000 4194304 16246674 140735657914368 139764222119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700346 s]
/proc/loadavg: 2.49 2.44 2.29 4/179 7123
/proc/meminfo: memFree=29471420/32872528 swapFree=1369816/1516984
[pid=7123] ppid=7120 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/7123/stat : 7123 (toysat) R 7120 7123 5822 0 -1 4202496 197895 0 0 0 43 26 0 0 20 0 4 0 4360542 1247350784 197733 33554432000 4194304 16246674 140735657914368 140735657896256 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7123/statm: 304529 197747 712 2943 0 301423 0
[pid=7123/tid=7124] ppid=7120 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7124/stat : 7124 (toysat) S 7120 7123 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4360542 1247350784 197753 33554432000 4194304 16246674 140735657914368 139764243082480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7123/tid=7125] ppid=7120 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7125/stat : 7125 (toysat) S 7120 7123 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4360542 1247350784 197758 33554432000 4194304 16246674 140735657914368 139764232592624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7123/tid=7126] ppid=7120 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7126/stat : 7126 (toysat) S 7120 7123 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4360542 1247350784 197764 33554432000 4194304 16246674 140735657914368 139764222119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50037 s]
/proc/loadavg: 2.49 2.44 2.29 4/183 7127
/proc/meminfo: memFree=28491200/32872528 swapFree=1369816/1516984
[pid=7123] ppid=7120 vsize=1305156 CPUtime=1.49 cores=0,2,4,6
/proc/7123/stat : 7123 (toysat) R 7120 7123 5822 0 -1 4202496 267301 0 0 0 114 35 0 0 20 0 4 0 4360542 1336479744 267119 33554432000 4194304 16246674 140735657914368 140735657896256 5976032 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7123/statm: 326289 267119 789 2943 0 323183 0
[pid=7123/tid=7124] ppid=7120 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7124/stat : 7124 (toysat) S 7120 7123 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4360542 1336479744 267119 33554432000 4194304 16246674 140735657914368 139764243082480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7123/tid=7125] ppid=7120 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7125/stat : 7125 (toysat) S 7120 7123 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4360542 1336479744 267119 33554432000 4194304 16246674 140735657914368 139764232592624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7123/tid=7126] ppid=7120 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7126/stat : 7126 (toysat) S 7120 7123 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4360542 1336479744 267119 33554432000 4194304 16246674 140735657914368 139764222119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10036 s]
/proc/loadavg: 2.49 2.44 2.29 4/183 7127
/proc/meminfo: memFree=28402788/32872528 swapFree=1369816/1516984
[pid=7123] ppid=7120 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/7123/stat : 7123 (toysat) R 7120 7123 5822 0 -1 4202496 267405 0 0 0 274 35 0 0 20 0 4 0 4360542 1337528320 267223 33554432000 4194304 16246674 140735657914368 140735657896256 5822972 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7123/statm: 326545 267223 789 2943 0 323439 0
[pid=7123/tid=7124] ppid=7120 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7124/stat : 7124 (toysat) S 7120 7123 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4360542 1337528320 267223 33554432000 4194304 16246674 140735657914368 139764243082480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7123/tid=7125] ppid=7120 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7125/stat : 7125 (toysat) S 7120 7123 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4360542 1337528320 267223 33554432000 4194304 16246674 140735657914368 139764232592624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7123/tid=7126] ppid=7120 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7126/stat : 7126 (toysat) S 7120 7123 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4360542 1337528320 267223 33554432000 4194304 16246674 140735657914368 139764222119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30035 s]
/proc/loadavg: 2.61 2.46 2.30 3/183 7127
/proc/meminfo: memFree=28402304/32872528 swapFree=1369816/1516984
[pid=7123] ppid=7120 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/7123/stat : 7123 (toysat) R 7120 7123 5822 0 -1 4202496 267413 0 0 0 594 35 0 0 20 0 4 0 4360542 1337528320 267231 33554432000 4194304 16246674 140735657914368 140735657896256 12483286 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7123/statm: 326545 267231 789 2943 0 323439 0
[pid=7123/tid=7124] ppid=7120 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7124/stat : 7124 (toysat) S 7120 7123 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4360542 1337528320 267231 33554432000 4194304 16246674 140735657914368 139764243082480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7123/tid=7125] ppid=7120 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7125/stat : 7125 (toysat) S 7120 7123 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4360542 1337528320 267231 33554432000 4194304 16246674 140735657914368 139764232592624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7123/tid=7126] ppid=7120 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7126/stat : 7126 (toysat) S 7120 7123 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4360542 1337528320 267231 33554432000 4194304 16246674 140735657914368 139764222119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.56 2.45 2.30 3/183 7127
/proc/meminfo: memFree=28401964/32872528 swapFree=1369816/1516984
[pid=7123] ppid=7120 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/7123/stat : 7123 (toysat) R 7120 7123 5822 0 -1 4202496 267465 0 0 0 1233 35 0 0 20 0 4 0 4360542 1337528320 267283 33554432000 4194304 16246674 140735657914368 140735657896256 12875392 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7123/statm: 326545 267283 789 2943 0 323439 0
[pid=7123/tid=7124] ppid=7120 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7124/stat : 7124 (toysat) S 7120 7123 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4360542 1337528320 267283 33554432000 4194304 16246674 140735657914368 139764243082480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7123/tid=7125] ppid=7120 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7125/stat : 7125 (toysat) S 7120 7123 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4360542 1337528320 267283 33554432000 4194304 16246674 140735657914368 139764232592624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7123/tid=7126] ppid=7120 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7126/stat : 7126 (toysat) S 7120 7123 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4360542 1337528320 267283 33554432000 4194304 16246674 140735657914368 139764222119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.58 2.46 2.30 3/183 7127
/proc/meminfo: memFree=28401592/32872528 swapFree=1369816/1516984
[pid=7123] ppid=7120 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/7123/stat : 7123 (toysat) R 7120 7123 5822 0 -1 4202496 267469 0 0 0 2513 35 0 0 20 0 4 0 4360542 1337528320 267287 33554432000 4194304 16246674 140735657914368 140735657896256 13927272 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7123/statm: 326545 267287 791 2943 0 323439 0
[pid=7123/tid=7124] ppid=7120 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7124/stat : 7124 (toysat) S 7120 7123 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4360542 1337528320 267287 33554432000 4194304 16246674 140735657914368 139764243082480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7123/tid=7125] ppid=7120 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7125/stat : 7125 (toysat) S 7120 7123 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4360542 1337528320 267287 33554432000 4194304 16246674 140735657914368 139764232592624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7123/tid=7126] ppid=7120 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7126/stat : 7126 (toysat) S 7120 7123 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4360542 1337528320 267287 33554432000 4194304 16246674 140735657914368 139764222119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.54 2.46 2.31 3/183 7128
/proc/meminfo: memFree=28400188/32872528 swapFree=1369816/1516984
[pid=7123] ppid=7120 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/7123/stat : 7123 (toysat) R 7120 7123 5822 0 -1 4202496 267486 0 0 0 5072 36 0 0 20 0 4 0 4360542 1337528320 267304 33554432000 4194304 16246674 140735657914368 140735657896256 12483303 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7123/statm: 326545 267304 791 2943 0 323439 0
[pid=7123/tid=7124] ppid=7120 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7124/stat : 7124 (toysat) S 7120 7123 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4360542 1337528320 267304 33554432000 4194304 16246674 140735657914368 139764243082480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7123/tid=7125] ppid=7120 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7125/stat : 7125 (toysat) S 7120 7123 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4360542 1337528320 267304 33554432000 4194304 16246674 140735657914368 139764232592624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7123/tid=7126] ppid=7120 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7126/stat : 7126 (toysat) S 7120 7123 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4360542 1337528320 267304 33554432000 4194304 16246674 140735657914368 139764222119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.46 2.45 2.31 4/184 7132
/proc/meminfo: memFree=28398472/32872528 swapFree=1369816/1516984
[pid=7123] ppid=7120 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/7123/stat : 7123 (toysat) R 7120 7123 5822 0 -1 4202496 267625 0 0 0 10191 37 0 0 20 0 4 0 4360542 1338576896 267443 33554432000 4194304 16246674 140735657914368 140735657897368 13943668 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7123/statm: 326801 267443 791 2943 0 323695 0
[pid=7123/tid=7124] ppid=7120 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7124/stat : 7124 (toysat) S 7120 7123 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4360542 1338576896 267443 33554432000 4194304 16246674 140735657914368 139764243082480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7123/tid=7125] ppid=7120 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7125/stat : 7125 (toysat) S 7120 7123 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4360542 1338576896 267443 33554432000 4194304 16246674 140735657914368 139764232592624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7123/tid=7126] ppid=7120 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7126/stat : 7126 (toysat) S 7120 7123 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4360542 1338576896 267443 33554432000 4194304 16246674 140735657914368 139764222119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/7123/task/7126/stat : 7126 (toysat) S 7120 7123 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4360542 1340674048 268420 33554432000 4194304 16246674 140735657914368 139764222119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1309252

[startup+1362.3 s]
/proc/loadavg: 2.24 2.23 2.25 4/184 7186
/proc/meminfo: memFree=28384004/32872528 swapFree=1369816/1516984
[pid=7123] ppid=7120 vsize=1309252 CPUtime=1361.86 cores=0,2,4,6
/proc/7123/stat : 7123 (toysat) R 7120 7123 5822 0 -1 4202496 268775 0 0 0 136123 63 0 0 20 0 4 0 4360542 1340674048 268420 33554432000 4194304 16246674 140735657914368 140735657896256 6009912 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7123/statm: 327313 268420 793 2943 0 324207 0
[pid=7123/tid=7124] ppid=7120 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7124/stat : 7124 (toysat) S 7120 7123 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4360542 1340674048 268420 33554432000 4194304 16246674 140735657914368 139764243082480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7123/tid=7125] ppid=7120 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7125/stat : 7125 (toysat) S 7120 7123 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4360542 1340674048 268420 33554432000 4194304 16246674 140735657914368 139764232592624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7123/tid=7126] ppid=7120 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7126/stat : 7126 (toysat) S 7120 7123 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4360542 1340674048 268420 33554432000 4194304 16246674 140735657914368 139764222119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1309252

[startup+1422.3 s]
/proc/loadavg: 2.26 2.23 2.25 3/183 7187
/proc/meminfo: memFree=28384268/32872528 swapFree=1369816/1516984
[pid=7123] ppid=7120 vsize=1309252 CPUtime=1421.86 cores=0,2,4,6
/proc/7123/stat : 7123 (toysat) R 7120 7123 5822 0 -1 4202496 268775 0 0 0 142122 64 0 0 20 0 4 0 4360542 1340674048 268420 33554432000 4194304 16246674 140735657914368 140735657896256 5721768 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7123/statm: 327313 268420 793 2943 0 324207 0
[pid=7123/tid=7124] ppid=7120 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7124/stat : 7124 (toysat) S 7120 7123 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4360542 1340674048 268420 33554432000 4194304 16246674 140735657914368 139764243082480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7123/tid=7125] ppid=7120 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7125/stat : 7125 (toysat) S 7120 7123 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4360542 1340674048 268420 33554432000 4194304 16246674 140735657914368 139764232592624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7123/tid=7126] ppid=7120 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7126/stat : 7126 (toysat) S 7120 7123 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4360542 1340674048 268420 33554432000 4194304 16246674 140735657914368 139764222119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1309252

[startup+1482.3 s]
/proc/loadavg: 2.14 2.20 2.24 4/183 7188
/proc/meminfo: memFree=28381172/32872528 swapFree=1369816/1516984
[pid=7123] ppid=7120 vsize=1313348 CPUtime=1481.84 cores=0,2,4,6
/proc/7123/stat : 7123 (toysat) R 7120 7123 5822 0 -1 4202496 269554 0 0 0 148119 65 0 0 20 0 4 0 4360542 1344868352 269199 33554432000 4194304 16246674 140735657914368 140735657896256 5721717 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7123/statm: 328337 269199 793 2943 0 325231 0
[pid=7123/tid=7124] ppid=7120 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7124/stat : 7124 (toysat) S 7120 7123 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4360542 1344868352 269199 33554432000 4194304 16246674 140735657914368 139764243082480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7123/tid=7125] ppid=7120 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7125/stat : 7125 (toysat) S 7120 7123 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4360542 1344868352 269199 33554432000 4194304 16246674 140735657914368 139764232592624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7123/tid=7126] ppid=7120 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7126/stat : 7126 (toysat) S 7120 7123 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4360542 1344868352 269199 33554432000 4194304 16246674 140735657914368 139764222119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1313348

[startup+1542.31 s]
/proc/loadavg: 2.25 2.22 2.24 3/183 7238
/proc/meminfo: memFree=28391768/32872528 swapFree=1369816/1516984
[pid=7123] ppid=7120 vsize=1313348 CPUtime=1541.85 cores=0,2,4,6
/proc/7123/stat : 7123 (toysat) R 7120 7123 5822 0 -1 4202496 269554 0 0 0 154118 67 0 0 20 0 4 0 4360542 1344868352 269199 33554432000 4194304 16246674 140735657914368 140735657896256 12875633 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7123/statm: 328337 269199 793 2943 0 325231 0
[pid=7123/tid=7124] ppid=7120 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7124/stat : 7124 (toysat) S 7120 7123 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4360542 1344868352 269199 33554432000 4194304 16246674 140735657914368 139764243082480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7123/tid=7125] ppid=7120 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7125/stat : 7125 (toysat) S 7120 7123 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4360542 1344868352 269199 33554432000 4194304 16246674 140735657914368 139764232592624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7123/tid=7126] ppid=7120 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7126/stat : 7126 (toysat) S 7120 7123 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4360542 1344868352 269199 33554432000 4194304 16246674 140735657914368 139764222119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1313348

[startup+1602.3 s]
/proc/loadavg: 2.33 2.25 2.25 3/183 7288
/proc/meminfo: memFree=28388296/32872528 swapFree=1369816/1516984
[pid=7123] ppid=7120 vsize=1313348 CPUtime=1601.83 cores=0,2,4,6
/proc/7123/stat : 7123 (toysat) R 7120 7123 5822 0 -1 4202496 269554 0 0 0 160116 67 0 0 20 0 4 0 4360542 1344868352 269199 33554432000 4194304 16246674 140735657914368 140735657897368 5545796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7123/statm: 328337 269199 793 2943 0 325231 0
[pid=7123/tid=7124] ppid=7120 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7124/stat : 7124 (toysat) S 7120 7123 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4360542 1344868352 269199 33554432000 4194304 16246674 140735657914368 139764243082480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7123/tid=7125] ppid=7120 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7125/stat : 7125 (toysat) S 7120 7123 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4360542 1344868352 269199 33554432000 4194304 16246674 140735657914368 139764232592624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7123/tid=7126] ppid=7120 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7126/stat : 7126 (toysat) S 7120 7123 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4360542 1344868352 269199 33554432000 4194304 16246674 140735657914368 139764222119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1313348

[startup+1662.3 s]
/proc/loadavg: 2.33 2.27 2.26 3/183 7289
/proc/meminfo: memFree=28386804/32872528 swapFree=1369816/1516984
[pid=7123] ppid=7120 vsize=1313348 CPUtime=1661.82 cores=0,2,4,6
/proc/7123/stat : 7123 (toysat) R 7120 7123 5822 0 -1 4202496 269799 0 0 0 166113 69 0 0 20 0 4 0 4360542 1344868352 269444 33554432000 4194304 16246674 140735657914368 140735657896256 5677277 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7123/statm: 328337 269444 793 2943 0 325231 0
[pid=7123/tid=7124] ppid=7120 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7124/stat : 7124 (toysat) S 7120 7123 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4360542 1344868352 269444 33554432000 4194304 16246674 140735657914368 139764243082480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7123/tid=7125] ppid=7120 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7125/stat : 7125 (toysat) S 7120 7123 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4360542 1344868352 269444 33554432000 4194304 16246674 140735657914368 139764232592624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7123/tid=7126] ppid=7120 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7126/stat : 7126 (toysat) S 7120 7123 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4360542 1344868352 269444 33554432000 4194304 16246674 140735657914368 139764222119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1313348

[startup+1722.3 s]
/proc/loadavg: 2.31 2.27 2.26 4/183 7290
/proc/meminfo: memFree=28386068/32872528 swapFree=1369816/1516984
[pid=7123] ppid=7120 vsize=1313348 CPUtime=1721.81 cores=0,2,4,6
/proc/7123/stat : 7123 (toysat) R 7120 7123 5822 0 -1 4202496 269799 0 0 0 172112 69 0 0 20 0 4 0 4360542 1344868352 269444 33554432000 4194304 16246674 140735657914368 140735657896256 12478944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7123/statm: 328337 269444 793 2943 0 325231 0
[pid=7123/tid=7124] ppid=7120 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7124/stat : 7124 (toysat) S 7120 7123 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4360542 1344868352 269444 33554432000 4194304 16246674 140735657914368 139764243082480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7123/tid=7125] ppid=7120 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7125/stat : 7125 (toysat) S 7120 7123 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4360542 1344868352 269444 33554432000 4194304 16246674 140735657914368 139764232592624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7123/tid=7126] ppid=7120 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7126/stat : 7126 (toysat) S 7120 7123 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4360542 1344868352 269444 33554432000 4194304 16246674 140735657914368 139764222119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1313348

[startup+1782.3 s]
/proc/loadavg: 2.33 2.28 2.27 3/183 7291
/proc/meminfo: memFree=28385820/32872528 swapFree=1369816/1516984
[pid=7123] ppid=7120 vsize=1313348 CPUtime=1781.8 cores=0,2,4,6
/proc/7123/stat : 7123 (toysat) R 7120 7123 5822 0 -1 4202496 269799 0 0 0 178109 71 0 0 20 0 4 0 4360542 1344868352 269444 33554432000 4194304 16246674 140735657914368 140735657896256 12483204 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7123/statm: 328337 269444 793 2943 0 325231 0
[pid=7123/tid=7124] ppid=7120 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7124/stat : 7124 (toysat) S 7120 7123 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4360542 1344868352 269444 33554432000 4194304 16246674 140735657914368 139764243082480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7123/tid=7125] ppid=7120 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7125/stat : 7125 (toysat) S 7120 7123 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4360542 1344868352 269444 33554432000 4194304 16246674 140735657914368 139764232592624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7123/tid=7126] ppid=7120 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7126/stat : 7126 (toysat) S 7120 7123 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4360542 1344868352 269444 33554432000 4194304 16246674 140735657914368 139764222119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1313348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.31 2.28 2.27 3/183 7292
/proc/meminfo: memFree=28385324/32872528 swapFree=1369816/1516984
[pid=7123] ppid=7120 vsize=1313348 CPUtime=1800 cores=0,2,4,6
/proc/7123/stat : 7123 (toysat) R 7120 7123 5822 0 -1 4202496 269799 0 0 0 179929 71 0 0 20 0 4 0 4360542 1344868352 269444 33554432000 4194304 16246674 140735657914368 140735657896256 13191438 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7123/statm: 328337 269444 793 2943 0 325231 0
[pid=7123/tid=7124] ppid=7120 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7124/stat : 7124 (toysat) S 7120 7123 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4360542 1344868352 269444 33554432000 4194304 16246674 140735657914368 139764243082480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7123/tid=7125] ppid=7120 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7125/stat : 7125 (toysat) S 7120 7123 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4360542 1344868352 269444 33554432000 4194304 16246674 140735657914368 139764232592624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7123/tid=7126] ppid=7120 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7126/stat : 7126 (toysat) S 7120 7123 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4360542 1344868352 269444 33554432000 4194304 16246674 140735657914368 139764222119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1313348

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

[startup+1800.5 s]
/proc/loadavg: 2.31 2.28 2.27 3/183 7292
/proc/meminfo: memFree=28385324/32872528 swapFree=1369816/1516984
[pid=7123] ppid=7120 vsize=1313348 CPUtime=1800 cores=0,2,4,6
/proc/7123/stat : 7123 (toysat) R 7120 7123 5822 0 -1 4202496 269799 0 0 0 179929 71 0 0 20 0 4 0 4360542 1344868352 269444 33554432000 4194304 16246674 140735657914368 140735657896256 13191438 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7123/statm: 328337 269444 793 2943 0 325231 0
[pid=7123/tid=7124] ppid=7120 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7124/stat : 7124 (toysat) S 7120 7123 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4360542 1344868352 269444 33554432000 4194304 16246674 140735657914368 139764243082480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7123/tid=7125] ppid=7120 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7125/stat : 7125 (toysat) S 7120 7123 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4360542 1344868352 269444 33554432000 4194304 16246674 140735657914368 139764232592624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7123/tid=7126] ppid=7120 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7123/task/7126/stat : 7126 (toysat) S 7120 7123 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4360542 1344868352 269444 33554432000 4194304 16246674 140735657914368 139764222119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1313348

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.01
CPU user time (s): 1799.3
CPU system time (s): 0.71789
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 1313348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.3
system time used= 0.71789
maximum resident set size= 1077776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269799
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= 445
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.46832 second user time and 7.03393 second system time

The end

Begin job on node129 at 2016-06-15 22:39:01
IDJOB=4089183
IDBENCH=107370
IDSOLVER=2542
FILE ID=node129/4089183-1466023140
RUNJOBID= node129-1466013843-5838
PBS_JOBID= 19902811
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 4898c620f3888c6d81d6a7d880f53326
RANDOM SEED=1440666868

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29471592 kB
Buffers:           17016 kB
Cached:            74924 kB
SwapCached:        20176 kB
Active:          1130928 kB
Inactive:          51904 kB
Active(anon):    1073400 kB
Inactive(anon):    20104 kB
Active(file):      57528 kB
Inactive(file):    31800 kB
Unevictable:     1516984 kB
Mlocked:         1369816 kB
SwapTotal:      67108856 kB
SwapFree:       67081528 kB
Dirty:             16348 kB
Writeback:             0 kB
AnonPages:       2591836 kB
Mapped:            10288 kB
Shmem:                 0 kB
Slab:             566308 kB
SReclaimable:      10560 kB
SUnreclaim:       555748 kB
KernelStack:        1464 kB
PageTables:         8952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2735228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    149504 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node129 at 2016-06-15 23:09:01